问一个泛函的问题?若xn弱收敛到x,怎么证x属于span(xn:n>=1)的闭包啊?