3共轭算子
设 X , Y X , Y X,Y 是 两个赋范线性空间, X ′ X ^ { \prime } X′ 和 Y ′ Y ^ { \prime } Y′ 分
别是 X X X 和 Y Y Y 的 共轭空间, T T T 是 X X X 到 Y Y Y 中 的
有界线性算子今对任意 g ∈ Y ′ , g \in Y ^ { \prime } , g∈Y′, 可以如下定义 X X X 上的泛函
f : f : f:
f ( x ) = g ( T x ) , f ( x ) = g ( T x ) , f(x)=g(Tx),
这个泛函 f f f 显然是线性的,由于
∣ f ( x ) ∣ = ∣ g ( T x ) ∣ ⩽ ∥ g ∥ ∥ T x ∥ ⩽ ∥ g ∥ ∥ T ∥ ∥ x ∥ , | f ( x ) | = | g ( T x ) | \leqslant \| g \| \| T x \| \leqslant \| g \| \| T \| \| x \| , ∣f(x)∣=∣g(Tx)∣⩽∥g∥∥Tx∥⩽∥g∥∥T∥∥x∥,
故 f f f 也是有界线性泛函,即 f ∈ X ′ . f \in X ^ { \prime } . f∈X′. 于是我们建立起了
g ↦ f g \mapsto f g↦f 的对应,即由 T T T 派生出一个
从 Y ′ Y ^ { \prime } Y′ 到 X ′ X ^ { \prime } X′ 的 算子
T ∗ : T ∗ g = f . T ^ { * } : T ^ { * } g = f . T∗:T∗g=f. 称 T × T ^ { \times } T× 为 T T T 的 共轭算子
定理有界线性算子 T T T 的共轭算子 T ∗ T ^ { * } T∗ 也是有界线性算子,并且
∥ T ∗ ∥ = ∥ T ∥ . \left\| T ^ { * } \right\| = \| T \| . ∥T∗∥=∥T∥.
证明对任何 g 1 , g 2 ∈ Y ′ g _ { 1 } , g _ { 2 } \in Y ^ { \prime } g1,g2∈Y′ 及数
α , β , \alpha , \beta , α,β, 由 T × T ^ { \times } T× 的定义,有
T × ( α g 1 + β g 2 ) ( x ) = ( α g 1 + β g 2 ) ( T x ) = α g 1 ( T x ) + β g 2 ( T x ) T ^ { \times } \left( \alpha g _ { 1 } + \beta g _ { 2 } \right) ( x ) = \left( \alpha g _ { 1 } + \beta g _ { 2 } \right) ( T x ) = \alpha g _ { 1 } ( T x ) + \beta g _ { 2 } ( T x ) T×(αg1+βg2)(x)=(αg1+βg2)(Tx)=αg1(Tx)+βg2(Tx)
= α T x g 1 ( x ) + β T x g 2 ( x ) = ( α T x g 1 + β T x g 2 ) ( x ) , x ∈ X , = \alpha T ^ { x } g _ { 1 } ( x ) + \beta T ^ { x } g _ { 2 } ( x ) = \left( \alpha T ^ { x } g _ { 1 } + \beta T ^ { x } g _ { 2 } \right) ( x ) , x \in X , =αTxg1(x)+βTxg2(x)=(αT
泛函分析基础4-巴拿赫空间中的基本定理3:共轭算子
最新推荐文章于 2024-06-15 22:21:58 发布