泛函分析笔记10：Hahn-Banach定理与共轭算子

3.5Hahn-banach定理

定义 4.15： 设F是一个非空集合，\prec为 $\mathcal{F}$ 上的一个二 元关系。如果
(1) $\forall \alpha \in \mathcal{F}$ 有 $\alpha \prec \alpha$; (反身性)
(2) $\alpha \prec \beta ,\beta \prec \gamma ⟹\alpha \prec \gamma$; (传递性)
(3) $\alpha \prec \beta ,\beta \prec \alpha ⟹\alpha =\beta$; (反对称性)
则称$\prec$ 为 $\mathcal{F}$ 上的一个半序, 称 $(\mathcal{F},\prec )$ 为半序集。 如果 $\forall \alpha ,\beta \in \mathcal{F}$, 有 $\alpha \prec \beta$ 或 $\beta \prec \alpha$ 成立, 则称 $(\mathcal{F},\prec )$ 为全序集。

设 $(\mathcal{F},\prec )$ 为半序集 $\alpha \in \mathcal{F}$, 如果 $\mathcal{F}$ 中没有比 $\alpha$ 大的 元 (即若 $\alpha \prec \beta$, 则 $\alpha =\beta$ ), 则称 $\alpha$ 为极大元。
设 $A\subseteq \mathcal{F},\beta \in \mathcal{F}$, 如果 $\forall \alpha \in A$ 有 $\alpha \prec \beta$, 则称 $\beta$ 为 $A$ 的一个上界。
注: 极大元不一定是最大元, 即使存在也末必唯 -。

引理 4.16: (Zorn) 设 $(\mathcal{F},\prec )$ 为半序集, 且其中任一全序 子集在$\mathcal{F}$中均有上界, 则 $\mathcal{F}$ 有极大元。

定理 4.17: (Hahn-Banach定理)设 $X$ 为实线性空间, $M\subseteq$ $X$ 为子空间, $p(x)$ 为 $X$ 上的次加、正齐性泛函, $f$ 是 $M$ 上的线性泛函且 $f(x)\le p(x),\forall x\in M$ 。则存在 $X$ 上的 线性泛函 $F$ 使 $F(x)=f(x),\forall x\in M$ 且 $F(x)\le p(x),\forall x\in X$。

注：$F$不唯一

定理 4.18： 设 $X$ 为复线性空间, $M\subseteq X$ 为复子空 间, $p(x)$ 为 $X$ 上的次加、绝对齐性泛函, $f$ 为 $M$ 上的 复线性泛函且 $|f(x)|\le p(x),\forall x\in M$ 。则存在 $X$ 上的复 线性泛函 $g$ 使 ${g|}_M=f$ 以及 $|g(x)|\le p(x),\forall x\in X$ 。

记号：$X^{\ast }=\mathcal{B}(X,\mathbb{K})$（有界线性泛函全体）是$X$的共轭空间

定理 4.19：（保范延拓定理）设 $X$ 赋范, $M\subseteq X$ 为子空间, $f\in M^{\ast }$, 则 存在 $g\in X^{\ast }$ 使 ${g|}_M=f$ 且 $\Vert g\Vert =\Vert f{\Vert }_M$ 。

推论：设$X$是赋范空间，则$X^{\ast }\ne \varnothing$

推论：$\mathcal{B}(X,X_1)$是Banach空间$⟺$$X_1$是Banach空间。

3.6共轭算子与共轭空间

设 $T\in B\left(X,X_1\right)$, 对任意 $f\in X_1^{\ast }$ 定义 $T^{\ast }(f)=f\circ T$, 即
$$T^{\ast }(f)(x)=f(Tx)=f\circ T(x),\forall x\in X$$
则 $T^{\ast }(f)\in X^{\ast }$, 所以 $T^{\ast }$ 是一个从 $X_1^{\ast }$ 到 $X^{\ast }$ 的映射。 事实上, $T^{\ast }$ 是有界线性算子, 称之为 $T$ 的共轭算子。

定理 4.20：
(1) 设 $T\in B\left(X,X_1\right)$, 则 $T^{\ast }\in B\left(X_1^{\ast },X^{\ast }\right)$ 且 $\Vert T^{\ast }\Vert =$ $\Vert T\Vert$;
(2) ${\left(T_1+T_2\right)}^{\ast }=T_1^{\ast }+T_2^{\ast },(\alpha T{)}^{\ast }=\alpha T^{\ast }$;
(3) $(ST{)}^{\ast }=T^{\ast }{S}^{\ast }$;
(4) $T$ 有有界逆 $⟹T^{\ast }$ 也有有界逆且 ${\left(T^{\ast }\right)}^{-1}={\left(T^{-1}\right)}^{\ast }$ 。