问答题
设‖·‖是C[a,b]上的完备范数使得若‖xn-x‖→0,则对每个t∈[a,b],xn(t)→x(t)。证明‖·‖等价于上确界范数‖·‖∞
【正确答案】设X1表示C[a,b]赋有给定的范数‖·‖,X2表示C[a,b]赋有上确界范数‖·‖∞。它们都是Banach空间。考虑恒等映射I:X2→X1。则,是线性的。为了证它的图像是闭的。设在X2中xn→n在X1中I(xn)→y,即当n→∞时有‖xn-x‖∞→0且‖I(x)-y‖→O。所以
‖xn-y‖=‖I(xn)-y‖→0
由题设条件知对每个t有xn(t)→y(t)。由于
|xn(t)-x(t)|≤‖xn-x‖∞→0,
从而对每个t∈[a,b]均有y(t)=x(t)。因此y=x=I(x)。这就证明了I的图像是闭的。由闭图像定理知I是连续的。所以存在α>0使得对所有x有‖Ix‖≤α‖x‖∞类似地,知存在β>0使得对所有x有‖x‖∞≤β‖x‖。这就证明了要证的结果。
【答案解析】