第二题我们注意到 lim f_n(x) ->无穷 其实就是 对任意 k,存在N, n>N 有 f_n(x)>k 所以 第一个集合= 交(k从1到无穷){存在N, n>N 有 f_n(x)>k }
我们又注意到下限集的内涵正是如此:
对于任意集合列{A_n}他的下限集 并(N=1到无穷) (交(n=N到无穷) A_n) = {x:x不属于至多有限个集合}(注:这点很容易看出来 因为从定义知道 x属于下限集当且仅当存在t x属于 (交(n=t到无穷) A_n )也即n>=t 均有 x属于A_n)
综合这两点
我们取 A_n = {x: f_n(x)>k}
则其下限集为并(N=1到无穷) (交(n=N到无穷) A_n) ={x:存在N, n>N 有 f_n(x)>k }
这时候再用 交(k从1到无穷){存在N, n>N 有 f_n(x)>k }即为对任意k 均有此 得所求