共轭空间-黎永锦.docxVIP

第4章共轭空间 纯数学使我们能够发现概念和联系这些概念的规律  , 这些概念和规律给了我们理解自然现象的钥匙 A. Einstein ( 爱因斯坦  . ) (1879-1955, 美国物理学家  ) S. Banach  在  1929  年引进了  Banach  空间的共轭空间这一概念  , 这个思想  H . Hahn 在  1927  年也引进过  , 但  S. Banach  的工作更完全些  , 共轭空间就是已知赋范的空间  X  上的 全体线性连续泛函所组成的线性空间  X * ,  它在范数  || f ||  sup| f (x) | 下是  Banach  空间 . ||x|| 1 对于具体的赋范线性空间  , 弄清这些赋范空间上的线性连续泛函的一般形式是非常有用的  . 另外 , 赋范空间  X  的性质与它的共轭空间  X *  的性质有着密切的联系  , 因此可以通过共轭空 间 X *  的性质来研究赋范空间  X  的性质  . 4.1 共轭空间 由 Hahn Banach 定理可知 ,对赋范线性空间 X,若X { },则X* { } ,另外 ,对于 任意赋范空间 X , X 的共轭空间 X * 一定是完备的 . ( Rn )* Rn n 定 理 4.1.1 f 当且仅当有 ( 1 , , n ) , 使得 f ( x) i xi , 对任意 i 1 n 1 ( x1, , xn ) Rn 成立 . |2)2 . 且此时有 || f || ( | i i 1 证明 若存在 ( 1 , , n ) Rn ,使得 n Rn f ( x) i xi , 对任意 x ( xi ) 成立 . i 1 则 f 是 R n 上的线性泛函 ,且 n n | f (x) | | i xi | | xi || i | i 1 i 1 n 1 n 1 ( | i |2 ) 2 ( | xi |2 ) 2 i 1 i 1 n 1 ( | i |2 ) 2 || x || i 1 因此 f 是 R n 上的线性连续泛函 ,即 f (Rn )* . 反之 ,若 f 为 R n 上的线性连续泛函 ,则对 ei ( 0, , 0,1, 0, , 0) Rn ,有 n n n f ( x) f ( xi ei ) xi f (ei ) i xi i 1 i 1 i 1 这里 i f (ei ) , ( i ) Rn . n Rn 设 f 0 , f ( x) i xi ,对任意 ( xi ) 成立 ,由 i 1 n 1 | i |2 ) 2 | f ( x) | ( || x || i 1 可知 n 1 |2)2 || f || ( | i i 1 取 xi i n n 1 ,可知 x ( xi ) R ,且 || x || 1. ( | i |2 ) 2 i 1 因此 n i 2 /( n 1 n 1 || f || f ( x) | i |2 ) 2 ( | i |2 ) 2 i 1 i 1 i 1 所以 n 1 || f || ( | i |2)2 i 1 由上面定理可以看出 ( Rn )* 与 R n 是几乎一样 ,为了刻画这样的 “一样” 关系 ,下面引进保 范同构的概念 . 定义 4.1.1 设 X 和 Y 都是赋范空间 ,若 T 是 X 到 Y 的线性算子 ,T 是双射 ,并且对于任意 x X ,有 || Tx || || x || ,则称 T 是 X 到 Y 的保范同构 ,亦称 X 与 Y 是保范同构的 . 明显地 ,若 X 与 Y 是保范同构的 ,则 X 和 Y 具有几乎一样的性质 ,因而可将与看成是一致 的. 由上面定理的证明可以看出 ,若定义 ( K n ) * 到 K n 的线性算子为 Tf ( f ( e1 ), f ( e2 ), , f (en )) , 则 T 是 ( K ) * 到 K n 的保范同构 , ( R n )* Rn 的形式 . n 因此可以把上面定理写成 定理 4.1.2 f c* 当且仅当存在 ( i ) l1 ,使得 f ( x) i xi 对所有 x ( xi ) c0 成 0 i 1 立,且此时 ,有 || f || i 1 | i | . 证明 若 f c0* ,则对 ei (0, ,1, 0, ) c0 ,有 f ( x) f ( xi ei ) xi f (ei ) 对任意 x ( xi ) c0 成立 . i 1 i 1 令( i ) ( f (ei