泛函分析基础4-巴拿赫空间中的基本定理3：共轭算子

3共轭算子
设 $X,Y$ 是 两个赋范线性空间， $X^{\prime }$ 和 $Y^{\prime }$ 分
别是 $X$ 和 $Y$ 的 共轭空间， $T$ 是 $X$ 到 $Y$ 中 的
有界线性算子今对任意 $g\in Y^{\prime },$ 可以如下定义 $X$ 上的泛函
$f:$
$f(x)=g(Tx),$
这个泛函 $f$ 显然是线性的，由于
$|f(x)|=|g(Tx)|⩽\Vert g\Vert \Vert Tx\Vert ⩽\Vert g\Vert \Vert T\Vert \Vert x\Vert ,$
故 $f$ 也是有界线性泛函，即 $f\in X^{\prime }.$ 于是我们建立起了
$g\mapsto f$ 的对应，即由 $T$ 派生出一个
从 $Y^{\prime }$ 到 $X^{\prime }$ 的 算子
$T^{\ast }:T^{\ast }g=f.$ 称 $T^{\times }$ 为 $T$ 的 共轭算子
定理有界线性算子 $T$ 的共轭算子 $T^{\ast }$ 也是有界线性算子，并且
$\Vert T^{\ast }\Vert =\Vert T\Vert .$
证明对任何 $g_1,g_2\in Y^{\prime }$ 及数
$\alpha ,\beta ,$ 由 $T^{\times }$ 的定义，有
$T^{\times }\left(\alpha g_1+\beta g_2\right)(x)=\left(\alpha g_1+\beta g_2\right)(Tx)=\alpha g_1(Tx)+\beta g_2(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