6 共轭算子与自共轭算子.pptVIP

机动 目录 上页 下页 返回 结束 第*页 共轭算子与自共轭算子 引例1 实Rn空间中的共轭算子 分析: (1) 作映射A: Rn?Rm，则A是有界线性算子， 且A的表现形式为一个m?n矩阵： ? x = (x1,…xn)?Rn, (2) 定义在Rm上的有界线性泛函极为y*, Rm的共轭空间记(Rm)*, 即 (Rm)*={y*|y*为Rm上的有界线性泛函} ?(Rm)*=Rm (Rm是实的Hilbert空间，因而是自共轭的） ??y*?(Rm)*, ?y=(y1,…,ym)?Rm, 使得 (Riesz表现定理) ? y*= y (在等距共轭线性同构意义下), 且 其中 (3) 不难证明，x*=A*y*是Rn上的有界线性泛函，从而算子A*: (Rm)*?(Rn)*， A*y*=x*是一个有界线性算子，称A*为A 的共轭算子。 (4) 结论：在欧氏空间中, 算子A: Rn?Rm, Ax =y 表现为一个m?n矩阵A=(aij)m?n， A的共轭算子A*: (Rm)*?(Rn)*, A*y*=x* ，则表现为矩阵 A=(aij)m?n的转置矩阵AT=(aji)n?m 求实Rn空间中的共轭算子的过程图示 将实Rn空间中的共轭算子进行推广，将得到Banach空间的共轭算子的概念和Hilbert空间的自共轭算子概念 1 巴拿赫空间中的共轭算子的概念 定义1 (共轭算子) 设X、Y是线性赋范空间，T: X?Y是有界线性 算子，即T?B(X,Y)，X*、Y*是分别是X、Y的共轭空间， 则对?y*?Y*, ?x*?X*唯一, 使得 x*(x)=y*(Tx), ||x*||?||T|| ||y*|| (?x?X) 从而定义了一个从Y*到X*的有界线性算子T*: T*: Y*?X* , T*y*=x* 则称T*?B(Y*,X*) 为T?B(X,Y)的共轭算子(或伴随算子), 并有 T*y*(x)=x*(x)=y*(Tx) 定义2 (二次共轭算子) ?T?B(X,Y)，T*?B(Y*,X*), 有 T**?B(X**,Y**), 使T**x**(y*)=x**(T*y*) (?y*?Y) 则称T** 为T*的共轭算子，或称为T的二次共轭算子。 3) T**与T的关系： 在讨论X和X**的关系是得到如下关系： ?x?X, x*?X*?x**(x*)=x*(x), ||x**||X**=||x||X, X?X** ??T?B(X,Y)，T*?B(Y*,X*), 有T**?B(X**,Y**): T**x**(y*)=x**(T*y*)=T*y*(x)=y*(Tx)=(Tx)**(y*) (?x?X, y*?Y*,有T*y*?X*,Tx?Y) ? (Tx)**=T**x** 4) 若把X嵌入到X**，把Y嵌入到Y**, 即X?X**, Y?Y**,则可视x**=x, Tx=(Tx)**= T**x**=T**x? T**x=Tx, ?x?X. 注: 1) T与T*之间具有一定的对称关系 2) 线性赋范空间中的共轭算子的图示： ||x*||?||T|| ||y*|| T*y*(x)=x*(x)=y*(Tx) 2 巴拿赫空间中的共轭算子的性质 定理1 设X、Y是线性赋范空间，T: X?Y是有界线性算子，X*、 Y*分别是X、Y的共轭空间，T*: Y*?X* 为T的共轭算子， 则T* 一定是有界线性算子，且||T*||=||T|| 证 1) 证明T*: Y*?X*是线性算子。 T*(y*+v*)(x)=(y*+v*)(Tx)=y*(Tx)+v*(Tx)=T*y*(x)+T*v*(x) T*(?y*)(x)=?y*(Tx)=?T*y* 2) 证明T*: Y*?X*是有界算子。 ||T*y*||=||x*||?||T|| ||y*||?T*