泛函分析基础10-巴拿赫空间中的基本定理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 }$ 的定义，有

$$\begin{array}{r}{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)\\ =\alpha T^x{g}_1(x)+\beta T^x{g}_2(x)=\end{array}$$