用户: Solution/ 习题: 泛函分析续论

教材: 算子理论基础 (第二版) 郭坤宇

1Riesz 函数演算

若不加说明, 表示有单位元 的 Banach 代数. 表示 Banach 空间.

1.

如果 , , 则对任何的 都有 .

证明. 的一个邻域且 上解析, 在 中选取正定向闭合曲线组 , 使得 , 则有 Riesz 函数演算由于其中 的任意分划, , 故只需验证即可, 这是 的直接推论.

2.

(i)

. 则对 .

(ii)

.

(iii)

如果 , 并且 的每个分支上不恒为零, 则 .

(iv)

如果 的每个分支上都不为常数, 则 .

3.

是 Hilbert 空间, . 则有 , 其中 .

4.

是 Hilbert 空间, . 若 正规, 则 正规.

证明. 由第 1 题有 , 进而 (不难说明 ) , 接着用第 3 题的结论即可.

5.

是 Banach 代数, 是其真理想, . 证明 .

证明. 的一个邻域且 , 在真理想 中从而不可逆, 即 . 由于 , 存在 使得 , 从而 .

6.

, 上可逆, , 则 .

证明. 可逆意味着 , 则 是良定的. 设 的一个邻域且 上解析, 中正定向闭合曲线组使得 , 则有

7.

, 其中 . 设 的开邻域, 且 两两不交. 记 的特征函数, 则 是幂等元, 且 . 证明

(i)

.

(ii)

.

(iii)

相似于矩阵 , 阶数为 , 且 .

(iv)

, 则

8.

, 若存在多项式 使得 , 则

(i)

;

(ii)

有极小多项式 ;

(iii)

某邻域 上的解析函数, 验证存在多项式 满足 , 以及 上的解析函数 , 使得 .

证明. (i) 是由于 .

(ii) 显然.

(iii) 的 是把 的极点 处的 Laurent 展开式的主部减掉, 即也就是

9.

. 设 是一个代数同态, 满足:

(i)

;

(ii)

;

(iii)

上的开集, . 上解析函数且在其紧子集上一致收敛至 , 则成立 .

证明 .

10.

是 Banach 代数, . 表示代数 中的闭包. 证明:

(i)

是一个交换 Banach 代数.

(ii)

. 其中 表示 在代数 中的谱.

(iii)

对任何 .

(iv)

代数 的极大理想空间通过如下给定对应与 的谱 一致:

11.

是 Banach 空间 上一个拟线性算子:. 证明

2连续函数代数的表示

P173.2

定义酉算子 . 给出 的谱及谱分解.

证:

对于 Schwartz 函数 , . 记 , 为相应的乘法算子. 则在 中, . 从而 .
定义谱测度 , 的可测子集. 则用简单函数逼近可知,

P173.4

是可分 Hilbert 空间, 证明集 的端点正是投影.

证:

显然为端点. 下面考虑投影 , 假设 ,
我们通过证明 来证明 , 从而导出矛盾.
, 因此 . 由于 , 可见 .
, 类似上述情形可以证明 .
对于这一集合的端点 , 要证 为投影, 只需证 . 注意到 , 由 , 可见 . 由于 为端点, 从而 , 即证.

P173.5

如果 是正规算子, 证明 有分解 , 这里 是一个酉算子.

证:

定义 , 则 . 作 Borel 函数演算, 可见 , 由 , 可见 为酉算子.

P185.7

证:

定义 . 记 , 则由函数演算, . 下面证明这给出了极分解:
首先, 显然有 ,
, 可见 . 因此 . 即 给出了极分解.

P185.8

von Neumann 代数 中投影算子的线性组合全体在 中按范数稠密.

证:

中元素可写成自伴元的线性组合, 因此只需考虑自伴算子
下面我们证明 , 如果我们证明了此, 用简单函数逼近可知 .
由 von Neumann 代数的定义, 只需证 . 任取 , 则 , 从而 , 即 .

P160.1

如果 的一个态 的端点, 称 是纯的. 证明: 如果 是交换的, 那么 是纯的当且仅当 是可乘的.

证:

由 Gelfand–Naimark 定理, 可设 , 其中 为紧 Hausdorff 空间. 由 Riesz 表示定理, 可知 即为 上的正则 Borel 概率测度全体, 则我们断言任一 是单点支撑的 Dirac 测度.
否则, 支撑在至少两个点, 由 Urysohn 引理, 可以找连续函数分离这两个点, 从而可以证明 不是端点.(细节留给读者)
我们知道, 上的可乘线性泛函全体正是 , 从而完成了证明.

P161.4

-代数, 则 当且仅当对于每一个态 .

证:

”: 由于 , 且态分离点, 可见 .
考虑由 生成的 -代数 , 这是一个交换 -代数, 由定理 4.4.9, .
由于 上的可乘线性泛函可以延拓为 上的态, 从而对于可乘泛函 , 从而 , 即证.

P161.5

如果 的正规元, 证明: , 这里 表示 的闭凸包.

证:

由于 上的态可以延拓为 上的态, 且 上的态限制在 上也成为 上的态, 因此 .
由 P160 习题 1 及 Krein–Milman 定理, , 从而 .

P184.1

是 Hilbert 空间 上重数为 的单向移位, 证明: , 这里 表示由 生成的 -代数的 WOT-闭包.

证:

, 我们断言 如果我们证明了此, 则由 von Neumann 定理, .
交换, 从而 上取值可知 其中 .
这意味着 即证.

P173.6

是一个谱测度空间, 上一个复的可测函数. 令证明:
(i) 的一个稠子空间;
(ii) 如果 , 那么(iii) 如果 是有界的, 并且记 , 那么 .

证:

(i) 记
由于 , 于是 . 下面只需证明 , 即 .
可见(ii) 只需证明此不等式对简单函数成立, 进一步, 只需证对 成立.

即证.
(iii) 对 可测, 即证.

P174.7

在习题 6 的基础上证明: 对每个复的可测函数 , 在 Hilbert 空间 上存在唯一的闭的稠定算子 , 其定义域是 , 该算子由下式唯一确定: 且此算子满足

证:

, 定义由习题 6 知 是有界共轭线性算子, 从而由 Riesz 表示定理知, 存在 使得不难看出 为线性算子.

, 则下面我们证明 弱收敛到 . 若能证明此, 则可见 考虑即证.
下证 是闭算子. 即若 , 要证 .
(1) 对 , 其中小于等于号利用了 Fatou 引理. 从而 .
(2) 即要证
类似 (1) 中分析可知,由于 为 Cauchy 列, 可见 .

P153

(顶上的练习) 称形如 的函数为 上的三角多项式, 记 为三角多项式全体在最大模范数下的完备化, 在复共轭下 成为交换的 -代数. 证明其极大理想空间 上有自然的群结构, 且 作为其子群是一个稠子群.

证:

, 赋予点态收敛拓扑.
下证 同胚于 .
, 对于 , 设 , 其中 为多项式的未定元.
不难验证 ; 由于 为酉元, 可见 . 从而 良定.
验证 连续: 对于 中的网 , 我们有 , 从而 , 即 连续.
验证单射: 若 , 则对任一三角多项式 , , 可见 .
验证满射: 对于 , 要找 使得 . 由 的定义可见 , 从而可以得到 在三角多项式全体上的取值, 下面要证明: 对于三角多项式 , , 从而将 延拓为 上的可乘泛函, 这需要用到如下的 Kronecker 定理:
对于 , 映射 . 若 -线性无关, 则 中稠密.
. 不难发现存在 -线性无关且 . (可以先找极大 -无关组, 再提取公因子来实现).
, , 存在 使得 . 注意到从而可见存在不依赖于 的常数 , 使得 , 于是可见 . 由 的任意性即证.
紧且 为 Hausdorff 空间, 可见 为同胚.

P156.6

参考 https://www.bilibili.com/read/cv11150434?spm_id_from=333.999.0.0