在这一节中,我们将研究无限维可分希尔伯特空间 H H H 上的全连续算子 A A A的谱性质并导出:当 A A A 是自伴全连续算子时, A A A 的 谱分解式
由第八章 S \mathrm { S } S 3中的定理1, F ( H ) \mathscr { F } ( H ) F(H) 是 B ( H ) \mathscr { B } ( H ) B(H) 的一个理想.现设 F ∈ Z ( H ) , F \in \mathscr { Z } ( H ) , F∈Z(H),根据第九章习题17, F ∗ ∈ Z ( H ) F ^ { * } \in \mathscr { Z } ( H ) F∗∈Z(H) 并且对 B ( F ) \mathscr { B } ( F ) B(F) 中的任意一组规范正交基 { f 1 , f 2 , ⋯ , f n } \left\{ f _ { 1 } , f _ { 2 } , \cdots , f _ { n } \right\} { f1,f2,⋯,fn} 存在 x 1 , x _ { 1 } , x1, x 2 , ⋯ x n ∈ H , x _ { 2 } , \cdots x _ { n } \in H , x2,⋯xn∈H, 使得 F x = ∑ j = 1 n f j ⟨ x , x j ⟩ , ∀ x ∈ H , F x = \sum _ { j = 1 } ^ { n } f _ { j } \left\langle x , x _ { j } \right\rangle , \forall x \in H , Fx=∑j=1nfj⟨x,xj⟩,∀x∈H,这里, n = dim B ( F ) ; n = \operatorname { d i m } \mathscr { B } ( F ) ; n=dimB(F); 同时由本章 8 8 8 3中的例3可知, F F F 还 是一个全连续算子.设 ∣ e k ∣ \left| e _ { k } \right| ∣ek∣ 为H的一组规范正交基.由于
f m = ∑ k = 1 n ⟨ f m , e k ⟩ e k , m = 1 , 2 , ⋯ , n , f _ { m } = \sum _ { k = 1 } ^ { n } \left\langle f _ { m } , e _ { k } \right\rangle e _ { k } , m = 1 , 2 , \cdots , n , fm=k=1∑n⟨fm,ek⟩ek,m=1,2,⋯,n,
故
∑ m = 1 ∞ ⟨ F e m , e m ⟩ = ∑ m = 1 ∞ ∑ k = 1 n ⟨ e m , x k ⟩ ⟨ f k , e m ⟩ = ∑ k = 1 n ⟨ f k , x k ⟩ , \sum _ { m = 1 } ^ { \infty } \left\langle F e _ { m } , e _ { m } \right\rangle = \sum _ { m = 1 } ^ { \infty } \sum _ { k = 1 } ^ { n } \left\langle e _ { m } , x _ { k } \right\rangle \left\langle f _ { k } , e _ { m } \right\rangle = \sum _ { k = 1 } ^ { n } \left\langle f _ { k } , x _ { k } \right\rangle , m=1∑∞⟨Fem,em⟩=m=1∑∞k=1∑n⟨em,xk⟩⟨fk,em⟩=k=1∑n⟨fk,xk⟩,
即 ∑ m = 1 ∞ ⟨ F e m , e m ⟩ \sum _ { m = 1 } ^ { \infty } \left\langle F e _ { m } , e _ { m } \right\rangle ∑m=1∞⟨Fem,em⟩与规范正交基 { e k } \left\{ e _ { k } \right\} { ek}的选取无关.于是我们有下面的定义:
定义1
设 { e k } \left\{ e _ { k } \right\} { ek} 为 H H H 的任意一组规范正交基,定义 F ( H ) \mathscr { F } ( H ) F(H) 上 的线性泛函 τ \tau τ 为 τ ( T ) = ∑ k = 1 ∞ ⟨ T e k , e k ⟩ , \tau ( T ) = \sum _ { k = 1 } ^ { \infty } \left\langle T e _ { k } , e _ { k } \right\rangle , τ(T)=∑k=1∞⟨Tek,ek⟩,任意 T ∈ F ( H ) . T \in \mathscr { F } ( H ) . T∈F(H).
显然,当 H = C n , A = ( a i j ) n × 0 H = \mathbf { C } ^ { n } , A = \left( a _ { i j } \right) _ { n \times 0 } H=Cn,A=(aij)n×0为 H H H 上的线性算子时, τ ( A ) = ∑ k = 1 n a k k \tau ( A ) = \sum _ { k = 1 } ^ { n } a _ { k k } τ(A)=∑k=1nakk 是 A A A 的迹.因而当 H H H 是 可分无限维时,我们也称 τ \tau τ 为 F ( H ) \mathscr { F } ( H ) F(H) 上的迹。
定理1
上述的迹 τ \tau τ 具有下列性质:
(1)设 V V V 是 H H H 中的 n n n 维子空间, P P P 是 H H H 到 V V V 的正交投影算子,则 τ ( P ) = n ; \tau ( P ) = n ; τ(P)=n;
(2)设 T ∈ Z ( H ) , B ∈ B ( H ) , T \in \mathscr { Z } ( H ) , B \in \mathscr { B } ( H ) , T∈Z(H),B∈B(H), 则 τ ( T B ) = τ ( B T ) . \tau ( T B ) = \tau ( B T ) . τ(TB)=τ(BT).
证明留作习题
S \mathrm { S } S 3例4中, L 2 [ a , b ] L ^ { 2 } [ a , b ] L2[a,b]上一类积分算子是有限秩算子列极限.一般情况如下:
引理1
设 A A A 是 H H H 上的全连续算子.则对任意 ε > 0 \varepsilon > 0 ε>0 存在 A e ∈ F ( H ) A _ { e } \in \mathscr { F } ( H ) Ae∈F(H) 使得 ∥ A − A e ∥ < ε . \left\| A - A _ { e } \right\| < \varepsilon . ∥A−Ae∥<ε.
证明
设 S S S 为 H H H 中的单位球面.因 A S ‾ \overline { A S } AS 为 H H H中的紧子集且 A S ‾ ⊂ ⋃ y ∈ A S U ( y , ε 2 ) . \overline { A S } \subset \bigcup _ { y \in A S } U \left( y , \frac { \varepsilon } { 2 } \right) . AS⊂⋃y∈ASU(y,2ε).故有 y 1 , y _ { 1 } , y1, y 2 , ⋯ y i ∈ A S ‾ y _ { 2 } , \cdots y _ { i } \in \overline { A S } y2,⋯yi∈AS 使得 A S ‾ ⊂ ⋃ j = 1 i U ( y j , ε 2 ) . \overline { A S } \subset \bigcup _ { j = 1 } ^ { i } U \left( y _ { j } , \frac { \varepsilon } { 2 } \right) . AS⊂⋃j=1iU(yj,2ε).设 V = span { y 1 , y 2 , ⋯ , y s } V = \operatorname { s p a n } \left\{ y _ { 1 } , y _ { 2 } , \cdots , y _ { s } \right\} V=span{
y1,y2,⋯,ys}并取 V V V 中一组规范正交基 f 1 , f 2 , ⋯ , f m ( m ⩽ s ) . f _ { 1 } , f _ { 2 } , \cdots , f _ { m } ( m \leqslant s ) . f1,f2,⋯,fm(m⩽s). 令 A e x = ∑ j = 1 m f j ⟨ x , A ∗ f j ⟩ , A _ { e } x = \sum _ { j = 1 } ^ { m } f _ { j } \left\langle x , A ^ { * } f _ { j } \right\rangle , Aex=∑j=1mfj⟨x,A∗fj⟩,任意 x ∈ H . x \in H . x∈H. 则 A e ∈ Z ( H ) . A _ { e } \in \mathscr { Z } ( H ) . Ae∈Z(H). 任取 x ∈ S , x \in S , x∈S, 则有 i i i使得 A x ∈ U ( y j , ε 2 ) . A x \in U \left( y _ { j } , \frac { \varepsilon } { 2 } \right) . Ax∈U(yj,2ε).由于 y i = ∑ j = 1 m f j ⟨ y i , f j ⟩ , y _ { i } = \sum _ { j = 1 } ^ { m } f _ { j } \left\langle y _ { i } , f _ { j } \right\rangle , yi=∑j=1mfj⟨yi,fj⟩,故
A e x − y i = ∑ j = 1 m f j ⟨ A e x − y i , f j ⟩ , ∥ A s x − y i ∥ 2 = ∑ j = 1 m ∣ ⟨ A x − y i , f j ⟩ ∣ 2 ⩽ ∥ A x − y i ∥ 2 < ( ε 2 ) 2 , \begin{aligned} A _ { e } x - y _ { i } = \sum _ { j = 1 } ^ { m } f _ { j } \left\langle A _ { e } x - y _ { i } , f _ { j } \right\rangle , \\ \left\| A _ { s } x - y _ { i } \right\| ^ { 2 } = \sum _ { j = 1 } ^ { m } \left| \left\langle A x - y _ { i } , f _ { j } \right\rangle \right| ^ { 2 } \leqslant \left\| A x - y _ { i } \right\| ^ { 2 } < \left( \frac { \varepsilon } { 2 } \right) ^ { 2 } , \end{aligned} Aex−yi=j=1∑mfj⟨Aex−yi,fj⟩,∥Asx−yi∥2=j=1∑m∣⟨Ax−yi,fj⟩∣2⩽∥Ax−yi∥2<(2ε)2,
从而
∥ A x − A e x ∥ ⩽ ∥ A x − y i ∥ + ∥ y i − A e x ∥ < ε , \left\| A x - A _ { e } x \right\| \leqslant \left\| A x - y _ { i } \right\| + \left\| y _ { i } - A _ { e } x \right\| < \varepsilon , ∥Ax−Aex∥⩽∥Ax−yi∥+∥yi−Aex∥<ε,
于是 ∥ A − A e ∥ < ε . \left\| A - A _ { e } \right\| < \varepsilon . ∥A−Ae∥<ε.
推论1
设 A A A 是全连续算子, I I I 为 H H H 上 的单位算子,则
(1) R ( I + A ) \mathscr { R } ( I + A ) R(I+A) 闭且 dim N ( I + A ) < ∞ , dim N ( I + A ∗ ) < ∞ ; \operatorname { d i m } \mathscr { N } ( I + A ) < \infty , \operatorname { d i m } \mathscr { N } \left( I + A ^ { * } \right) < \infty ; dimN(I+A)<∞,dimN(I+A∗)<∞;
(2) N ( I + A ) = { 0 } ⇒ N ( I + A ∗ ) = { 0 } . \mathscr { N } ( I + A ) = \{ 0 \} \Rightarrow \mathscr { N } \left( I + A ^ { * } \right) = \{ 0 \} . N(I+A)={
0}⇒N(I+A∗)={
0}.
证明
令 T = I + A . T = I + A . T=I+A. 由引理1,存在 F 0 ∈ I ( H ) F _ { 0 } \in \mathscr { I } ( H ) F0∈I(H)使得 ∥ A − F 0 ∥ < 1. \left\| A - F _ { 0 } \right\| < 1 . ∥A−F0∥<1. 于是由本章第2节的定理1可知, G = I + ( A − F 0 ) G = I + \left( A - F _ { 0 } \right) G=I+(A−F0) 在 B ( H ) \mathscr { B } ( H ) B(H) 中可逆.令 F = G − 1 F 0 ∈ I ( H ) . F = G ^ { - 1 } F _ { 0 } \in \mathscr { I } ( H ) .