知识总结—分析学（2）

知识总结—分析学（2）

$C^{\ast }$ 代数

定义与性质

为了定义 $C^{\ast }$ 代数，我们复习一下代数、Banach 代数等的定义。

定义【代数】

设 $\mathcal{A}$ 是一个线性空间，对 $\mathcal{A}$ 中任意两个元素 $x,y$，规定乘积 $xy\in \mathcal{A}$，满足对 $\forall x,y,z\in \mathcal{A}$ 和 $\forall$ 数 $\alpha$，有

（1）结合律：$x(yz)=(xy)z$；

（2）分配律：$x(y+z)=xy+xz,(x+y)z=xz+yz$；

（3）$\alpha (xy)=(\alpha x)y=x(\alpha y)$；

则称 $\mathcal{A}$ 是一个代数；如果存在 $e\in \mathcal{A}$，使得
$$ex=xe=x,\forall x\in \mathcal{A}$$
就称 $e$ 是代数 $\mathcal{A}$​ 的一个单位元。

注：线性空间主要控制了加法结构，而代数则在加法结构的基础上控制了乘法结构。

定义【Banach 代数】

设 $\mathcal{A}$​ 是一个赋范线性空间，同时又是一个代数，而且
$$\Vert xy\Vert \le \Vert x\Vert \Vert y\Vert ,\forall x,y\in \mathcal{A}$$
则称 $\mathcal{A}$ 是一个赋范代数，完备的赋范代数称为 Banach 代数。

注：Banach 性质始终是对赋范线性空间的完备性的要求，只不过由于代数相比线性空间多了乘法结果，所以对范数也加了关于乘法结果的要求，以保证乘法运算的连续性。

定义【对合】

设 $\mathcal{A}$ 是一个代数，映射 $\ast :\mathcal{A}\to \mathcal{A}$ 称为一个对合，指 $\forall x,y\in \mathcal{A},\alpha ,\beta \in K$，有
$$\begin{gathered} (\alpha x+\beta y{)}^{\ast }=\bar{\alpha }{x}^{\ast }+\hat{\beta }{y}^{\ast } \\ (xy{)}^{\ast }=y^{\ast }{x}^{\ast } \\ (x^{\ast }{)}^{\ast }=x \end{gathered}$$
如果 $x\in \mathcal{A}$，且 $x^{\ast }=x$，则称 $x$ 为 $\mathcal{A}$​ 中的 Hermite 元或自半元。

定义【C*代数】

设 $\mathcal{A}$ 是具有对合的 Banach 代数，如果
$$\Vert x^{\ast }x\Vert =\Vert x{\Vert }^2,\forall x\in \mathcal{A}$$
则称 $\mathcal{A}$ 为 $C^{\ast }$ 代数。

投影算子

定义

$M$ 是 Hilbert 空间 $H$ 的闭子空间，$H$ 到 $M$ 的投影算子指映射 $P:H\to M,x\mapsto Px$，使得
$$x-Px\perp M,\forall x\in H$$
定理

设 $P_M,P_L$ 分别是 Hilbert 空间 $H$ 到其闭子空间 $L$ 和 $M$ 上的投影，则 $P_L+P_M$ 是投影算子的充要条件是 $L\perp M$，即 $P_L{P}_M=0$.

谱测度与谱积分

谱测度和谱积分两个概念都是针对算子进行的，但需要我们熟知的测度和积分来作为桥梁进行定义，即谱测度—>测度—>积分—>谱积分，下面我们展示其过程。

谱测度—>测度

定义

设 $\mathcal{R}$ 是 $\Omega$ 的某些子集组成的 $\sigma$-代数，$H$ 为复 Hilbert 空间，$\mathcal{P}$ 是 $H$ 上的投影算子全体，如果算子值函数 $E:\mathcal{R}\to \mathcal{P}$ 满足：

（1）$E(\Omega )=I$；

（2）若 { S n } ⊂ R \{S_n\}\subset\mathscr{R} {Sn​}⊂R，且 $S_n$ 互不相交，则
$$E({\cup }_{n=1}^{\infty }{S}_n)=(s)\sum _{n=1}^{\infty }E(S_n)$$
则称 $(\Omega ,\mathcal{R},E)$ 为谱测度空间，$E$ 为 $\mathcal{R}$ 上的谱测度。

但为了能够基于测度定义积分，我们还需要根据以上的谱测度进一步定义测度：设 $(\Omega ,\mathcal{R},E)$ 是谱测度空间，$x,y\in H$，则 $\mathcal{R}$ 上集函数
$$E_{x,x}(S)=(E(S)x,x),S\in \mathcal{R}$$
是 $\mathcal{R}$ 上的全有限测度；
$$E_{x,y}(S)=(E(S)x,y),S\in \mathcal{R}$$
是 $\mathcal{R}$ 上的广义测度，记可测函数 $f$ 关于广义测度 $E_{x,y}$ 的积分为 ${\int }_{\Omega }fd{E}_{x,y}$​.

测度—>积分，积分—>谱积分

设 $(\Omega ,\mathcal{R},E)$ 为谱测度空间，可测函数 $f$ 满足：
$$\Vert f{\Vert }_{\infty }=\underset{E(S)=0}{\inf }\underset{\lambda \in \Omega -S}{\sup }|f(\lambda )|<+\infty$$
则称 $f$ 为本性有界函数，称 $\Vert f{\Vert }_{\infty }$ 为 $f$ 的本性最大模，本性有界函数全体记作 $B(\Omega ,\mathcal{R},E)$.

定义

设 $(\Omega ,\mathcal{R},E)$ 为谱测度空间，$f\in B(\Omega ,\mathcal{R},E)$，算子 $T\in B(H)$ 满足：
$$(Tx,y)={\int }_{\Omega }fd{E}_{x,y},\forall x,y\in H$$
则称 $T$ 为 $f$ 关于 $E$ 的谱积分，记
$$T={\int }_{\Omega }fdE$$
定理

设 $(\Omega ,\mathcal{R},E)$ 为谱测度空间，则

（1）设 $f\in B(\Omega ,\mathcal{R},E)$，则必存在唯一的 $T\in B(H)$，使得 $T={\int }_{\Omega }fdE$，即
$$(Tx,y)={\int }_{\Omega }fd{E}_{x,y},\forall x,y\in H$$
且 $\Vert T\Vert \le \Vert f{\Vert }_{\infty }$​.

以下是谱积分性质

（2）线性：对 $\forall f,g\in B(\Omega ,\mathcal{R},E),\alpha ,\beta \in K$，有
$${\int }_{\Omega }(\alpha f+\beta g)dE=\alpha {\int }_{\Omega }fdE+\beta {\int }_{\Omega }gdE$$
（3）Hermite 性：对 $f\in B(\Omega ,\mathcal{R},E)$，有
$$\left[{\int }_{\Omega }fdE\right]\ast ={\int }_{\Omega }\bar{f}dE$$
（4）有界性：对 $f\in B(\Omega ,\mathcal{R},E)$，有
$$\Vert {\int }_{\Omega }fdE\Vert \le \Vert f{\Vert }_{\infty }$$
（5）设 $S\in \mathcal{R}$，${\chi }_S$ 为 $S$ 的特征函数，则
$${\int }_{\Omega }{\chi }_{S}dE=E(S)$$
（6）$\forall f,g\in B(\Omega ,\mathcal{R},E)$，${\int }_{\Omega }fdE$ 与 ${\int }_{\Omega }gdE$ 可交换，且
$${\int }_{\Omega }fdE\cdot {\int }_{\Omega }gdE={\int }_{\Omega }f\cdot gdE$$

正规算子的谱分解定理

定理

设 $H$ 为复 Hilbert 空间，正规算子 $N\in B(H)$，则存在 $\sigma (N)$ 的 Borel 子集组成的 $\sigma$ 代数 $\mathcal{R}$ 上唯一的谱测度 $E$，使得对一切 $f\in B(\sigma (N))$，
$$f(N)={\int }_{\sigma (N)}fdE$$
特别地，$N={\int }_{\sigma (N)}\lambda dE$.

推论

设 $A$ 为 Hilbert 空间上有界自伴算子，则有谱系 { E λ } \{E_{\lambda}\} {Eλ​}，使得
$$A={\int }_{-\infty }^{+\infty }\lambda d{E}_{\lambda }$$
【证明】：由于 $A$ 是自伴算子，故 $\sigma (A)\subset \mathbb{R}$，记
$$E_{\lambda }=E((-\infty ,\lambda ]\cap \sigma (A))$$
则 { E λ } \{E_{\lambda}\} {Eλ​} 便是谱系，且 $A={\int }_{\sigma (A)}\lambda dE={\int }_{-\infty }^{+\infty }\lambda d{E}_{\lambda }$.