用户: Yao/泛函分析

1Banach 代数

定理 1.1. 可除 Banach 代数 等距同构于 .

证明. 假设存在 , 则 , 是有界全纯函数.

推论 1.2. 对含幺交换 Banach 代数 , .

证明. 范数 使 成为可除 Banach 代数.

定义 1.3. 同态 .

是双射.

通过这个对应, 把 的弱 拓扑移植到 上, 即 的基为 , 可以验证 紧空间.

定义 1.4. 的 Gelfand 表示是连续同态 .

引理 1.5. .

定理 1.6. 紧空间 , 令 , 有 的同胚.

定义 1.7. 是代数 的对合是指 .

Hermite 元 是指 .

含幺 Banach 代数 若有对合使 , 称 代数.

定理 1.8. 紧空间 , 设 的闭子代数, 若 含幺、对复共轭封闭 (即 ( 则存在 使 ) , 那么 .

引理 1.9. 对 Hermite 元 , 是实值函数.

定理 1.10. 是交换 代数, 那么 Gelfand 表示是满等距 同构, 即 .

是 Hilbert 空间 上的有界正常算子 () , 记 的闭包, 为其极大理想的空间.

命题 1.11. , 且 与之通过 同胚.

由此可以把 等同于 , 于是能对函数 定义算子 , 如下图.由 Riesz 表示定理, 存在 上的复 Borel 测度 使对任何 记有界 Borel 函数全体 , 的范数为 , 由另一种 Riesz 表示定理, 存在唯一的 使 同态 的扩张, 且有以下结论.

命题 1.12.

.

, 若 a.e., 且 一致有界, 则 .

, 若 , 则 .

命题 1.13. 自伴等价于 ; 正 ( 自伴且 ) 等价于 .

定义 1.14. 是投影算子, 若 自伴且 .

命题 1.15. 是投影算子, 是投影算子等价于 , 是投影算子等价于 , 是投影算子等价于 的部分算子 (即 ) .

定义 1.16. 谱族 .

可以写其中 . 进一步有下面的谱分解定理.

定理 1.17. 在 Lebesgue 积分及算子范数意义下成立.

定义 1.18. 的谱 分为以下三者:

点谱 ,

连续谱 ,

剩余谱 .

命题 1.19. 对正常算子 , , , .

定义 1.20. 正常算子 的谱 又分为以下二者:

本质谱 ,

离散谱 .

命题 1.21. 对正常算子 , .

2无界算子

定义 2.1. 闭算子 是指 的图 的闭集.

能延拓为某图像为 的算子, 则记之为 , 称 为可闭化的.

, 称 为稠定算子.

命题 2.2. 可闭化当且仅当对 .

定义 2.3. 对稠定算子 , 记 , 的共轭算子为 .

命题 2.4. 是闭的, 且若 .

命题 2.5. 对稠定算子 , 可闭化当且仅当 稠定, 此时 .

定义 2.6. 对稠定算子 , 对称是指 (即 ) , 自伴是指 (即 ) , 本质自伴是指 可闭化且 自伴.

定理 2.7. Cayley 变换是指 上的 .

Cayley 反变换为 .

定理 2.8. 上的对称算子, 以下等价:

自伴,

闭且 ,

.

定理 2.9. 上的对称算子, 以下等价:

本质自伴,

,

.

定理 2.10. 上的自伴算子, 存在唯一的谱族 使 .

定理 2.11. 上的无界正常算子, 存在唯一的谱族 使 .

定理 2.12. 上的闭对称算子, 则 .

定义 2.13. 上式直和的后两者的维数记为 , 称为 的亏指数.

命题 2.14. 上的闭对称算子, 则 的子集, 最后一种情况当且仅当 是自伴的.

定理 2.15. 闭对称算子 有自伴扩张当且仅当 .

定理 2.16. 上的对称算子, (即 ) , 则 有自伴扩张且 .

命题 2.17. 设可闭化算子 紧的, , 存在 使 .

定理 2.18. 设对称算子 关于自伴算子 的界 , 则 自伴;
设对称算子 关于本质自伴算子 的界 , 则 本质自伴.

定理 2.19. 设对称算子 是自伴算子 紧的, 有 .

3算子半群

定义 3.1. 是 Banach 空间, 是强连续半群是指:
, 其生成元是 .

命题 3.2. 是稠定的闭算子, 且 .

定义 3.3. 若所有 , 则称 是压缩半群.

引理 3.4. 是压缩半群 的生成元, 则 , 且 .

定理 3.5. 稠定闭算子 是某压缩半群 的生成元, 当且仅当 .

定理 3.6. 稠定闭算子 是某强连续半群 的生成元, 当且仅当存在 使 且存在 使 与所有 .

命题 3.7. 是压缩半群 的生成元, 则 .

定理 3.8. 稠定闭算子 是某强连续半群 的生成元, 当且仅当 耗散 (即 存在其规范切泛函 使 ) 且 .

命题 3.9. 是压缩半群 的生成元, 则 是压缩半群 的生成元.

定理 3.10. 稠定闭算子 是某强连续酉算子群 的生成元, 当且仅当存在自伴算子 使 , 此时 .