Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

THU_BFA: 泛函分析基础:学习指导和习题详解

本项目是清华大学研究生课程“基础泛函分析”的非官方学习指导和习题详解,主要参考教材为《泛函分析基础》(步尚全,清华大学出版社)

内容

  • 各章主要定义与定理
  • 各章后部分习题
  • 额外习题

构建

本项目使用 mdBook 构建,并依赖 mdbook-katex 渲染数学公式,因此需要先安装 mdBook 和 mdbook-katex,然后执行以下命令构建:

mdbook build

目前使用的是 mdbook@0.5.1 与 mdbook-katex@0.10.0-alpha 版本。

贡献

欢迎任何形式的贡献,包括但不限于:

  • 发现错误并提出 issue 或在 discussions 中讨论
  • 增补内容并提交 pull request
  • 为习题提供解答

版权

如无特殊说明,本项目中的内容均采用 CC BY-SA 4.0 协议发布。

度量空间

以下内容由 DeepSeek v3.2 Speciale 辅助整理

1. 度量空间的定义及例子

定义(度量)

设 为集合, 是映射。若满足以下四条公理:

  1. 非负性:;
  2. 非退化性:;
  3. 对称性:;
  4. 三角不等式:,

则称 是 上的一个度量(或距离),并称序对 为度量空间。在不引起混淆时,也简称 为度量空间。

若 ,则 限制在 上也是 上的度量,此时 称为 的子空间。

常见例子

  • 数集:,。
  • 上的 -度量:对 ,; 时,。
  • 连续函数空间: 上定义 。
  • 离散度量空间:。
  • 数列空间:
    • :所有数列,;
    • :有界数列,;
    • ():-阶可和数列,。
  • 乘积空间: 的乘积 上可定义 。

Hölder 不等式和 Minkowski 不等式

定理 1.1 (Hölder 不等式) 设 且 ,,,则 且 当 时也有类似不等式:若 ,则

定理 1.2 (Minkowski 不等式) 设 ,,则 Minkowski 不等式保证了 满足三角不等式,从而 是度量空间。

广义三角不等式

由度量公理可推出:,

2. 开集和闭集

设 为度量空间。

球

  • 开球:,其中 , 。
  • 闭球:。
  • 球面:。

内点、内部、开集

  • 内点: 称为 的内点,若存在 使得 。
  • 内部: 称为 的内部。
  • 开集:若 ,则称 是开集。

开集的性质

  1. 和 是开集。
  2. 任意多个开集的并是开集。
  3. 有限多个开集的交是开集。

闭集

  • 闭集: 称为闭集,如果其补集 是开集。

闭集的性质

  1. 和 是闭集。
  2. 任意多个闭集的交是闭集。
  3. 有限多个闭集的并是闭集。

聚点、导集、闭包

  • 聚点: 称为 的聚点,如果 ,有 。
  • 导集: 称为 的导集。
  • 闭包: 称为 的闭包。

定理 2.1 设 是度量空间,,则

  1. 当且仅当存在序列 使得 。
  2. 是闭集当且仅当 ,也当且仅当对于任意收敛序列 ,若 ,则 。
  3. 是包含 的最小闭集。

连续映射

设 是度量空间,映射 。

  • 连续映射:称 在 处连续,若 ,当 时,有 。若 在 上每一点都连续,则称 是连续映射。

连续映射的等价刻画:

  • 连续 对于 中任意开集 ,其原像 是 中的开集。
  • 连续 对于 中任意闭集 ,其原像 是 中的闭集。

稠密与可分

  • 稠密: 称为稠密的,如果 。等价地, 使得 。
  • 可分: 称为可分的,如果存在可数子集 且在 中稠密。

性质:若 可分,则其任意子空间 (赋予子空间度量)也是可分的。

3. 收敛性、完备性及紧性

收敛序列

  • 收敛:序列 收敛于 ,若 ,记作 。

收敛与闭包的关系已在定理 2.1 中给出。

柯西列与完备性

  • 柯西列:序列 称为柯西列,如果 ,使得当 时,有 。
  • 完备:若 中每个柯西列都收敛(收敛到 中的点),则称 是完备的度量空间。

定理 3.1 设 是完备度量空间,,则

  • 若 完备,则 是 中的闭集。
  • 反之,若 是闭集,则 完备。

等价度量

  • 等价度量:设 和 是集合 上的两个度量。如果存在常数 使得 则称 和 是等价的。

等价度量产生相同的开集、闭集、收敛序列和连续映射。

紧性

  • 紧度量空间:度量空间 称为紧的,如果 中任意序列都有收敛子列(子列收敛到 中的点)。
  • 紧集: 称为紧集,如果子空间 是紧的。
  • 相对紧集: 称为相对紧的,如果 是紧集(等价地, 中任意序列都有在 中收敛的子列)。

-网与完全有界性

  • -网:设 ,。若对任意 ,存在 使得 ,即 ,则称 是 的一个 -网。
  • 完全有界集: 称为完全有界的,如果对任意 ,存在 的有限 -网。

完全有界集必是有界集。

定理 3.2(紧集的性质)设 是度量空间。

  1. 若 是紧集,则 是有界闭集。
  2. 若 是紧空间,则 是紧集当且仅当 是闭集。
  3. 相对紧 紧。
  4. 完全有界 中任意序列都有柯西子列。
  5. 若 相对紧,则 完全有界;反之,若 完备且 完全有界,则 相对紧。
  6. 是紧集当且仅当 完备且完全有界。

最佳逼近元

  • 最佳逼近元:设 ,。若存在 使得 则称 为 在 中的最佳逼近元。

4. Banach 不动点定理及其应用

压缩映射

  • 压缩映射:设 是度量空间,映射 。若存在常数 满足 ,使得 则称 是( 上的)压缩映射, 称为压缩系数。

Banach 不动点定理(压缩映射原理)

定理 4.1 (Banach 不动点定理) 设 是非空完备度量空间, 是压缩映射,则 在 中存在唯一的不动点,即存在唯一的 使得 。而且,对任意初始点 ,迭代序列 收敛到 ,其中 表示 的 次复合。

定理 4.2 设 是非空完备度量空间,。若存在正整数 使得 是压缩映射,则 有唯一的不动点。

习题 1.1

求证 定义了 上的度量。 能定义 上的度量吗?证明你的结论。

解答

根据定义,验证 是否满足度量的四个条件:

  1. 非负性:
  2. 非退化性:
  3. 对称性:
  4. 三角不等式:

故 是度量。

对于 ,前三个条件都满足,但是不满足三角不等式,例如取 ,则 ,故 不是度量。

习题 1.2

设 为度量空间 . 求证

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:由度量 的三角不等式,对任意 ,有 移项即得 同理, 移项得 综合 和 ,便有

习题 1.3

设 为由 0 和 1 构成的三元序组之集, 即 若 , 定义 为 和 不同分量的个数. 求证: 为 上的度量. 是否可在 元序组之集 或者 上定义类似的度量?

解答

解答使用 DeepSeek v3.2 Speciale 生成

设 ,对 ,定义
则 满足度量公理:

  1. 非负性:显然 。
  2. 同一性: 对所有 有 。
  3. 对称性:,因为 。
  4. 三角不等式:对任意 ,考虑每个坐标 。
    若 ,则 ;
    若 ,则 不能同时等于 和 ,故 。
    因此对每个 有

    对 求和即得

故 是 上的度量。

对于一般的 元序组之集 ,完全类似地定义
上述验证过程逐字适用(只需将下标范围改为 ),因此 也是度量。所以可以在 元序组之集上定义同样的度量。

习题 1.4

设 为度量空间, 令 . 求证: 和 都是 上的度量.

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 是度量

非负性:,故 。
若 ,则 ,从而 ;反之若 ,则 ,这迫使 (因为 ),于是 。

对称性:,所以

三角不等式:需证 。
首先注意函数 ()是单调不减的。由 的三角不等式: 因此 下面证明对任意非负实数 有

  • 若 ,则 。此时必有 且 ,故 ,从而 。
  • 若 ,则 。而 显然成立(因为 且至少有一项不小于 或两项之和至少为 )。严格地:若 ,则必有 且 ,从而 ,与 矛盾。故 。

于是 恒成立。取 得 结合前面不等式即得 综上, 是 上的度量。


2. 是度量

记 ,。显然 ,,且 严格单调递增(导数 )。

非负性:因 ,故 。
若 ,则 ,从而 ;若 ,则 ,由 的性质知 ,于是 。

对称性:,所以

三角不等式:需证 。
由 的三角不等式有 因 单调递增,故 下面证明对任意非负实数 有

直接验证差: 计算其分子(通分后): 通分得公分母 ,分子为 展开: 相减: 因此 ,即 ,等号当且仅当 或 时成立。

取 ,则 于是 综上, 是 上的度量。


因此, 和 均为 上的度量。

习题 1.5

设 为度量空间, 为非空子集. 若 , 令 求证:

  1. 任给 有

  2. 当且仅当 ;

  3. 若 为闭集, 则 当且仅当 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

  1. 对任意 ,由下确界的定义,对任意的 ,存在 使得

    利用三角不等式有

    因为 ,故

    从而

    令 得 . 交换 与 的位置可得

    因此

  2. 充分性:若 ,则对任意 存在 使得 ,即 ,故 是 的接触点,。
    必要性:若 ,则对任意 存在 使得 ,从而 . 由 的任意性知 。
    综上,。

  3. 因为 是闭集,故 . 利用 (2) 的结论,

    而 ,所以 等价于 . 因此

习题 1.6

设 为度量空间, 求证: 为开集当且仅当 可以表示成 中某些开球的并集.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 ((X,d)) 为度量空间,(M \subset X)。

充分性((\Leftarrow)):若 (M) 可表示成若干开球的并集,即存在指标集 (I) 使得

其中每个 (B(x_i, r_i) = { y\in X \mid d(x_i,y) < r_i }) 为开球。
在度量空间中,每个开球都是开集(证明见注)。而开集的任意并仍为开集,因此 (M) 是开集。

必要性((\Rightarrow)):若 (M) 是开集,则对任意 (x\in M),存在 (\varepsilon_x > 0) 使得

考虑集族 ({ B(x, \varepsilon_x) \mid x\in M }),显然

且对每个 (x\in M) 有 (x \in B(x, \varepsilon_x)),故

从而 (M = \bigcup_{x\in M} B(x, \varepsilon_x)),即 (M) 可表示为 (X) 中某些开球的并集。

注:开球是开集的证明——任取 (y \in B(x,r)),令 (\delta = r - d(x,y) > 0),则对任意 (z \in B(y,\delta)),有

故 (z \in B(x,r)),即 (B(y,\delta) \subseteq B(x,r))。因此 (B(x,r)) 为开集。

综上,命题得证。

习题 1.7

设 为度量空间 的子集, 求证: 为 的聚点当且仅当任取 , 开球 中总有无穷多个 中的点.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 设 是度量空间,,.


必要性():假设 是 的聚点,即对任意 ,有 . 任取 ,要证 中含有 的无穷多个点. 用反证法.

假设 中只含有 的有限个点. 记 由于 是聚点,必有 ,否则 ,矛盾. 同时 是有限集. 令 取 ,则 . 于是 ,并且对任意 有 ,故 . 因此 但这与 是 的聚点矛盾. 所以假设不成立,即 中含有 的无穷多个点.


充分性():若对任意 , 中都含有 的无穷多个点,则特别地, 中也含有 的点(因为无穷多个点不可能全是 ),于是 从而 是 的聚点.


综上,命题得证.

习题 1.8

求下述集合的闭包:

  1. 中的整数集 ;
  2. 中的有理数集 ;
  3. 复平面 C 的单位开圆盘 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答


1. 中的整数集 的闭包

在 的标准拓扑下是闭集。因为其补集 是开区间的并集,故为开集。因此 本身是闭的,从而闭包 。


2. 中的有理数集 的闭包

有理数集 在 中稠密:对任意 及任意 ,存在有理数 使得 ,即 的任意邻域都包含 中的点。因此 中每一点都是 的聚点,故 。另一方面,(闭包是空间的子集),所以 。


3. 复平面 的单位开圆盘 的闭包

记闭单位圆盘 。

  • 是闭集:因为函数 连续,且 ,而 是 中的闭集,故 是闭集。
  • 在 中稠密:对任意 ,若 ,则 ;若 ,取序列 ,则 且 。因此 。
  • :因为 且 是闭的,所以 。

综上,。


习题 1.9

设 为度量空间, 为 的子集. 求证:

  1. ;

  2. ;

  3. ;

  4. .

举例说明第二个和第四个包含关系可以是严格的.

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答

设 为度量空间,。


1. 证明 。

首先,由于 ,故 ;同理 ,从而 。

另一方面, 和 都是闭集,有限个闭集的并仍是闭集,因此 是闭集。又 ,而 是包含 的最小闭集,故 。

综上,。


2. 证明 。

因为 ,由闭包的单调性有 ;同理 ,故 。

该包含关系可以是严格的。例如取 ,,,则 ,,而 ,,,因此 。


3. 证明 。

若 ,则存在 使得 ,从而 且 ,因此 且 ,即 。

反之,若 ,则存在 使得 ,。取 ,则 且 ,故 ,即 。

因此等式成立。


4. 证明 。

若 ,则 或 。当 时,存在 使 ,故 ;当 时同理。因此 。

该包含关系可以是严格的。例如取 ,,,则 ,,。而 ,,显然 但 ,因此 。

证毕。

习题 1.10

举例说明: 无穷多个开集的交集末必还是开集, 无穷多个闭集的并集也末必还是闭集.

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答

\subsection*{1. 无穷多个开集的交集未必是开集} 考虑实数空间 装备通常的欧氏拓扑。对每个正整数 ,定义 每个 都是一个开区间,因此是 中的开集。考察这些开集的交集: 若 ,则对一切 有 ,从而 ,故 。因此 。集合 不是 中的开集,因为它不包含任何开区间:对任意 , 不仅含有 还含有其他点,故 。所以无穷多个开集的交集可以不是开集。

\subsection*{2. 无穷多个闭集的并集未必是闭集} 仍取 为基本空间。对每个正整数 ,定义 在度量空间中,单点集是闭集(因为它的补集是开集),故每个 都是闭集。考虑它们的并集: 注意到 是 的一个聚点:对任意 ,取 ,则 且 ,所以 是 的聚点。然而 ,因此 不包含它的所有聚点,从而 不是闭集。这就说明了无穷多个闭集的并集可以不是闭集。

习题 1.11

在 上赋予度量 , 考虑集合 . 求证: 为闭集. 若在 上赋予度量 还是闭集吗? 证明你的结论.

解答

解答使用 DeepSeek v3.2 Speciale 生成

在 上赋予度量 考虑集合


1. 在 度量下 是闭集

定义点赋值映射 为 . 对任意 , 故 是(Lipschitz)连续的. 由于 是 中的闭集, 其原像 是 中的闭集 (连续映射保持闭集的原像为闭). 因此在 度量下 是闭集.


2. 在 度量下 不是闭集

构造函数列 使得 , 但 , 从而 不包含它的极限点, 故 不是闭集.

对每个 , 令 显然 , 且 , 故 .

计算 与零函数 的 距离: 因此 在 度量下收敛于零函数 . 但零函数满足 , 故 .

所以存在 中的序列 收敛到 中的一点 , 而 不属于 , 这表明 不是闭集.


结论: 在一致收敛度量 下 是闭集; 在 度量 下 不是闭集.

习题 1.12

设 : 任取 , 都有 . 求证: 在 中为闭集.

解答

解答使用 DeepSeek v3.2 Speciale 生成

设 。欲证 在 中是闭集。

对每个固定的 ,考虑坐标映射 ,。由于 故 是有界线性泛函,从而连续。

设 且 按 范数,即 。由 的连续性,对每个 有 特别地,对任意 ,取 ,则 对所有 成立,故极限 。因此 。

由定义, 是 中的闭集。

习题 1.13

设 为度量空间, . 称 为 的边界. 求证:

  1. 总为闭集;

  2. 当且仅当任给 , , ;

  3. .

求下述集合的边界:

  1. 中的开区间 ;

  2. 中的半开半闭区间 ;

  3. 中的有理数集 ;

  4. 复平面 的单位开圆盘 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 证明 总是闭集

证明:由于 (因为 当且仅当存在 使 ,这等价于 不是 的接触点,即 ),故 。于是 与 均为闭集,它们的交 也是闭集。∎

2. 证明 当且仅当对任意 , 且

证明:
(必要性)若 ,则 且 。由 ,对任意 ,。由 ,不存在 使 ,因此对任意 , 不包含于 ,即 。

(充分性)假设对任意 , 且 。由 知 。若 ,则存在 使 ,从而 ,与假设矛盾,故 。因此 。∎

3. 证明

证明:利用 (见第1步)。对 应用相同表达式得 ∎


求下列集合的边界

  1. 中的开区间
    是开集,故 ;闭包 。所以 。

  2. 中的半开半闭区间
    内部 ,闭包 ,故 。

  3. 中的有理数集
    ,,所以 。

  4. 复平面 的单位开圆盘
    是开集,故 ;闭包 。因此 (单位圆周)。

习题 1.14

若 为度量空间 的柯西列, 求证: 为 中的柯西列.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 由于 和 都是度量空间 中的 Cauchy 列,故对任意 ,存在 ,使得当 时有 对任意 ,由三角不等式得 从而 交换 的位置可得 因此 结合 Cauchy 列的条件,当 时, 所以 是 中的 Cauchy 列。

习题 1.15

若 , 设 . 求证 :

  1. 为 上的度量;

  2. 不为完备度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 证明 为 上的度量

记 ,则 是严格单调递增的连续函数。定义 。验证度量公理:

  • 非负性:对任意 ,,故 。
  • 同一性:。由于 是单射, 当且仅当 。因此 。
  • 对称性:。
  • 三角不等式:对任意 ,

因此 满足所有度量公理,是 上的一个度量。

2. 证明 不是完备度量空间

考虑数列 ()。下面证明 是 中的 Cauchy 序列,但不收敛。

  • Cauchy 性:对任意 ,因为 ,所以数列 是 (通常度量)中的 Cauchy 序列。因此存在 ,使得对所有 有 ,即 。故 是 Cauchy 序列。

  • 不收敛性:假设存在 使得 ,即 。因为 ,所以 必须等于 。但 恒成立,矛盾。因此 在 中不收敛。

于是存在一个 Cauchy 序列不收敛,故 不是完备度量空间。

习题 1.16

任取 , 令 . 求证: 为 上的度量, 不为完备度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

解: 考虑集合 (非零整数集),定义映射 为 下面证明 是 上的度量,且 不是完备度量空间。


一、 是 上的度量

  1. 非负性:对任意 , 显然成立。

  2. 对称性:.

  3. 恒等性:若 ,则 ;反之,若 ,则 ,从而 ,由于 且函数 在 上是单射,故 。

  4. 三角不等式:对任意 ,由绝对值不等式得

综上, 满足度量的四条公理,因此 是一个度量空间。


二、 不是完备的

构造序列 ,其中 (取正整数项,显然 )。下证该序列是 Cauchy 列但不收敛。

  • Cauchy 列:任给 ,取 ,则对任意 有 故 是 Cauchy 列。

  • 不收敛:假设 收敛于某点 ,即 。由定义, 令 ,则 ,从而 若极限为 ,必须 ,但 是非零整数,,矛盾。因此 在 中不收敛。

存在 Cauchy 列不收敛,故度量空间 不是完备的。 ∎

习题 1.17

设 为闭区间 上连续可导实函数的全体, 若 , 令

求证:

  1. 为 上的度量;

  2. 为完备度量空间;

  3. 有理系数多项式之集在 中稠密, 进而证明 为可分度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 为度量

对任意 :

  • 非负性: 显然。
  • 同一性: 当且仅当 且 ,即 对所有 ,故 。
  • 对称性: 由绝对值对称性。
  • 三角不等式: 取上确界得 ,,相加即得 。

故 是 上的度量。


2. 完备

设 是 ‑Cauchy 列,则 , 使 时 ,从而 因此 和 均为 中的 Cauchy 列。因 完备,存在连续函数 使得

固定 ,对任意 , 令 ,由一致收敛可在积分号下取极限,得 因 连续,右端是 的可微函数,故 可微且 ,从而 。

由一致收敛, 所以 。故任意 Cauchy 列收敛,空间完备。


3. 有理系数多项式稠密与可分性

稠密性:任取 ,,取 。

  • 由 Weierstrass 逼近定理及有理系数多项式在 中的稠密性,存在有理系数多项式 使得
  • 取有理数 满足 。

定义多项式 有理系数,积分后系数仍为有理数, 有理,故 为有理系数多项式。

计算: 对函数值, 故 因此 ,从而 所以有理系数多项式之集在 中稠密。

可分性:全体有理系数多项式构成可数集(因为每个多项式由有限个有理系数唯一决定,可数并可数),且在该空间中稠密,故 是可分度量空间。

习题 1.18

设 为度量空间, 令 . 求证: 为完备度量空间当且仅当 为完备度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 我们分三步进行.

1. ‑柯西序列与 ‑柯西序列等价

设 是 中的一个序列.

  • 若 是 中的 Cauchy 序列, 则对任意 , 存在 , 当 时 . 由于 , 故 , 所以 也是 中的 Cauchy 序列.

  • 若 是 中的 Cauchy 序列, 任给 , 取 . 由 的 Cauchy 性, 存在 , 当 时 . 注意到 且函数 在 上严格递增, 因此 从而 是 中的 Cauchy 序列.

2. ‑收敛与 ‑收敛等价

设 .

  • 若 , 则因 , 得 .
  • 若 , 则当 充分大时 , 从而

因此, 在两种度量下序列收敛到同一点是等价的.

3. 完备性等价

  • 假设 完备. 任取 中的 Cauchy 序列 . 由第1步知它也是 中的 Cauchy 序列, 故存在 使得 . 再据第2步, , 即 在 中收敛. 所以 完备.

  • 假设 完备. 任取 中的 Cauchy 序列 , 由第1步它也是 中的 Cauchy 序列, 于是存在 使得 . 由第2步得 , 故 完备.

综上, 完备当且仅当 完备.

习题 1.19

设 , 在 和 上都赋度量 . 求证: 与 等距同构.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:
定义映射 (T\colon C[a,b]\to C[0,1]) 如下:对任意 (f\in C[a,b]),令
因 (t\mapsto a+(b-a)t) 连续,(f) 连续,故 (Tf\in C[0,1])。

1. (T) 是双射
构造 (S\colon C[0,1]\to C[a,b]) 为
则对任意 (f\in C[a,b]) 和 (g\in C[0,1]), 故 (S=T^{-1}),(T) 为双射。

2. (T) 是等距
对任意 (f,g\in C[a,b]),

因此,(T) 是 ((C[a,b],d_\infty)) 到 ((C[0,1],d_\infty)) 的等距同构(且为线性映射)。故 (C[a,b]) 与 (C[0,1]) 等距同构。∎

习题 1.20

设 为度量空间, . 求证: 在 中稠密当且仅当任给 , 有

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 为度量空间,. 记 为 的闭包.


()
假设 在 中稠密,即 .
任取 ,需证 .
显然 ,故只需证 .
对任意 ,由 知 . 根据闭包的定义,对上述 ,存在 使得 ,即 .
因此 ,从而 .
故 成立.


()
假设对任意 均有 .
要证 ,即证任意 都属于 .
任取 和 . 由假设 ,故 必属于某个 ,其中 ,即存在 使得 .
这意味着 ,从而 .
由于 是任意的,根据闭包的等价描述,.
由 的任意性知 ,即 在 中稠密.


综上, 在 中稠密当且仅当对任给 ,.

习题 1.21

求证: 均为可分度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明


1. 空间定义

  • :所有满足 的实(或复)数列 构成的线性空间,赋予范数 ,相应的度量为 。
  • :所有实(或复)数列 构成的线性空间,赋予度量
    易验证 是 上的一个度量,且 在该度量下是完备的(Fréchet 空间)。

2. 的可分性

记 为有理数集(若为复空间则取 ,它也是可数集)。定义

是可数个有限长有理数组的并,故 可数。往证 在 中稠密。

任取 及 。因为 ,存在 使得当 时 。对每个 ,选取 满足 (有理数的稠密性)。构造 。

  • 当 时,;
  • 当 时,。

因此 ,即 在 中稠密。故 是可分度量空间。


3. 的可分性

仍取 为有理数集,定义

可数。下证 在度量 下稠于 。

任取 及 。由于级数 收敛,可取 使得

对每个 ,因有理数稠密,可选 使得

(这是可行的:令 充分小,则左方可任意小。)
构造 。

计算距离

  • 第一项估计:因为 ,
  • 第二项估计:由于 ,

于是 ,故 在 中稠密。因此 也是可分度量空间。


综上, 和 均为可分度量空间。∎

习题 1.22

在 上赋予度量 , 设 . 求证 : 为 的完备度量子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:已知赋予度量 (d_\infty) 的连续函数空间 (C[a,b]) 是完备的度量空间(一致收敛的连续函数极限仍是连续函数)。
考虑子集 (Y = { x \in C[a,b] : x(a) = x(b) })。下证 (Y) 是 (C[a,b]) 的闭子集。

设 ({x_n} \subseteq Y) 且 (x_n \xrightarrow{d_\infty} x),即 (x_n) 一致收敛于某个 (x \in C[a,b])。由于一致收敛蕴含逐点收敛,对任意 (t \in [a,b]) 有 (x_n(t) \to x(t)),特别地

因为对每个 (n) 都有 (x_n(a) = x_n(b)),取极限得 (x(a) = x(b)),故 (x \in Y)。因此 (Y) 是 (C[a,b]) 的闭子集。

完备度量空间的闭子空间仍是完备的,所以 ((Y, d_\infty)) 是完备的度量子空间。 ∎

习题 1.23

设 为完备度量空间, 非空子集 的直径定义为 设 为非空闭集, 且任取 , , 又设 . 求证: 为单点集. 举例说明条件 是必要的.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:任取 。由于 ,故当 时 ,从而

因为 ,所以 是 Cauchy 列。由 的完备性,存在 使得 。

下证 。固定 ,当 时 ,即 是 中收敛于 的序列。 是闭集,故 。由 的任意性知 。

再证唯一性。若 ,则对任意 有 ,于是

令 得 ,从而 。因此 恰含一个点。


举例说明条件 是必要的:取 (完备度量空间),令

每个 是非空闭集,且 。但 ,不趋于 。此时 ,不是单点集。
(也可考虑 ,此时 ,而 包含无穷多点。)
由此可见条件 不可去掉。

习题 1.24

设 为度量空间, 求证: 为有界集当且仅当任取 , 存在 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 为度量空间,. 按定义, 称为有界集是指存在 和 ,使得 .


  • (有界 对任意 存在包含球)

若 有界,则存在 及 满足 . 任取 ,令

对任意 ,由三角不等式得

故 . 因此 . 这说明对任意 都存在 使得 .

  • (对任意 存在包含球 有界)

若对任意 都存在 使得 ,特别地,取定一个 ,则存在 使得 . 这正是有界集的定义,故 有界.


综上, 为有界集当且仅当对任意 均存在 使得 .

习题 1.25

设 为定义在 上的所有有界函数. 若 , 定义 求证:

  1. 为 上的度量;

  2. 赋子度量 为 的闭集;

  3. 为不可分度量空间;

  4. 为完备度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 为 上的度量

任取 。

  • 非负性: 对所有 成立,故 。若 ,则 ;反之,若 ,则对每个 有 ,即 ,故 。
  • 对称性:。
  • 三角不等式:对任意 , 两边取上确界得 。

因此 是 上的度量。


2. 为 的闭集

设 且 于 ,即 。则 一致收敛于 。由数学分析中的经典结论:一致收敛的连续函数序列的极限函数连续,故 。下面给出严格证明:

任取 ,,存在 使得 时 。取定 ,由于 连续,存在 使得当 时 。于是当 时, 故 在 连续,因此 。所以 是 的闭子集。


3. 为不可分度量空间

假设 可分,则存在可数稠密子集 。构造一簇不可数个函数:对每个 ,定义 显然 ,且当 时,,故 。

因为 稠密,对每个 可选 使得 。若 ,则 从而 。于是 是从不可数集 到可数集 的单射,矛盾。因此 不可分。


4. 为完备度量空间

设 是 中的 Cauchy 序列,即对任意 ,存在 使得当 时 。于是对每个固定的 , 故 是 中的 Cauchy 序列,从而收敛。定义函数 。

先证 一致收敛于 。对上述 及 ,令 得 因此 ,即 。故 。

再证 有界。取 ,存在 使 ,于是 故 。

综上所述, 中的每个 Cauchy 序列都收敛于 中元素,所以 是完备度量空间。

习题 1.26

设 和 为度量空间, , , 映射 满足 : 任取 , 都有 . 求证: 为连续映射.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设任意 (x_0 \in X),要证 (T) 在 (x_0) 处连续。任取 (\varepsilon > 0),分两种情况。

  1. 若 (C = 0)
    此时对任意 (x \in X) 有

    故 (d_Y(Tx, Tx_0)=0 < \varepsilon)。取 (\delta = 1)(或任意正数),当 (d_X(x, x_0) < \delta) 时,均有 (d_Y(Tx, Tx_0) < \varepsilon)。因此 (T) 在 (x_0) 处连续。

  2. 若 (C > 0)
    取 (\delta = \left(\dfrac{\varepsilon}{C}\right)^{1/\alpha} > 0)。则当 (d_X(x, x_0) < \delta) 时,

    故 (T) 在 (x_0) 处连续。

由 (x_0) 的任意性,(T) 是 (X) 到 (Y) 的连续映射。∎

习题 1.27

设 为度量空间, 为映射. 求证: 为连续映射当且仅当任取 , 都有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:


1. 若 连续,则对任意 有 。

任取 ,由于 是度量空间,存在序列 使得 。
由 的连续性得 。因为 ,所以 是 中序列的极限,故 。
因此 。


2. 若对任意 有 ,则 连续。

用反证法。假设 在某点 处不连续,则存在 ,使得对任意 ,总存在 满足

取 ,可选取点列 ,使得

令 。由于 ,故 。由题设条件得 因此 属于 的闭包。在度量空间中,一点属于集合的闭包当且仅当存在该集合中的序列收敛于该点,所以存在 中的序列收敛于 。但 ,从而存在子列 收敛于 。然而由构造, 这与收敛性矛盾。因此假设不成立, 在每点都连续。


综上, 连续当且仅当对任意 有 。

习题 1.28

设 . 求证: 的子集 为紧集.

解答

解答使用 DeepSeek v3.2 Speciale 生成

解. 我们分两种情况讨论:当 时 是紧集;当 时 不是紧集(给出反例)。以下设 为实序列空间,范数为 。


1. 的情形

步骤 1:证明 是闭集.

设 且 于 。对每个固定的 ,坐标映射 是连续线性泛函(因为由 Hölder 不等式 )。故 。由 取极限得 。又 ,所以 。因此 闭。

步骤 2:证明 完全有界.

任给 。因为 ,级数 收敛,故存在 使得

考虑有限维空间 中的紧集 在 的 范数下是紧的,因此存在有限集 使得 是 的 -网,即对任意 ,存在 满足

对每个 ,定义序列 为 由于 且 ,有 。现证 是 的有限 -网。

任取 ,记 。选取 使 ,并令 。则 第一项 ;第二项由 得 故 ,即 。因此 完全有界。

步骤 3:紧性.

是完备度量空间,而 是闭且完全有界的,所以 是紧集。


2. 的情形

此时 不是紧集。构造反例如下:对 ,定义 为 显然 ,且只有有限项非零,故 。但 所以 无界。在度量空间中紧集必是有界的,因此 不可能是紧集。


注. 原题条件为 ,但实际结论对 不成立;当 时 为紧集。

习题 1.29

设 为度量空间, 求证:

  1. 有限个紧集的并集还为紧集;

  2. 具有下述性质的集合 为紧集 : 任取 为一族开集, 使得 , 总存在有限个下标 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 有限个紧集的并集还为紧集

证明:在度量空间 中,我们采用序列紧的定义:集合 称为紧集,如果 中任意序列都有在 中收敛的子序列。

设 均为紧集,记 。任取序列 ,由抽屉原理,存在某个 使得无限多个 属于 。将这些项按原次序排列得到 中的一个子序列。因为 紧,该子序列又有子序列 收敛于某点 。于是 就是 在 中收敛的子序列,故 是紧集。


2. 具有下述性质的集合 为紧集:
 任取一族开集 使得 ,总存在有限个下标 使得 。

证明:我们证明此性质蕴含序列紧,从而 是紧集(按序列紧定义)。

反设 不是序列紧,则存在序列 没有收敛的子序列。令 ,则 是无限集且没有聚点(若有聚点 ,则可从 中取出收敛于 的子列,矛盾)。

由于 无聚点,对每个 可选取半径 使得

  • 若 ,则 ;
  • 若 ,则 。

开集族 构成 的一个开覆盖。由题设条件,存在有限个点 使得 但每个球 至多包含 中的一个点(若球心 )或不包含 的点(若 ),因此这些有限个球的并至多包含 中 个点。然而 是无限集且 ,矛盾。

所以假设不成立, 必为序列紧集,从而是紧集。

习题 1.30

设 为度量空间, 为非空子集. 求证:

  1. 为有界集当且仅当 ;

  2. 若 为紧集, 则存在 , 使得 ;

  3. 举例说明当 为有界闭集时 (2) 中的结论不成立.

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 证明 有界当且仅当 .

  • 必要性:若 有界,则存在 及 使得 . 对任意 , 故 , 即 .

  • 充分性:若 , 取定 , 则对任意 有 , 从而 . 因此 有界.

2. 若 为紧集, 证明存在 使得 .

因 紧, 乘积空间 亦紧 (度量空间中有限个紧集的乘积是紧的). 距离函数 连续 (度量本身连续). 连续函数在紧集上必达到最大值, 故存在 使得

3. 有界闭集 且 不可达的例子.

取 , 配备通常的欧氏距离 . 令

  • 有界性:显然 , 故 有界.
  • 闭性:在 中 是闭集 (它包含了唯一的极限点 ). 因为 , 所以 , 由子空间拓扑知 是 中的闭集. 亦可直接论证: 若 在 中收敛于 , 则在 中亦收敛于 ; 但 在 中的极限点只有 , 故该序列只能是最终常值的, 从而 .
  • 直径计算: 因为取 , 时 .
  • 不可达性:对任意 , [ \Bigl|\Bigl(1-\frac1m\Bigr)-\Bigl(1-\frac1n\Bigr)\Bigr|=\Bigl|\frac1n-\frac1m\Bigr|<1. ] 事实上, 若 则 , , 差 ; 若 , 则 . 因此不存在 使得 , 即 在 中不可达.

此例表明, 当 仅为有界闭集 (非紧) 时, (2) 的结论未必成立.

习题 1.31

设 为度量空间, 为非空子集. 定义 和 的距离为 求证:

  1. 若 为 的所有非空子集所构成的集合, 一般不是 上的度量;

  2. 若 为紧集, 为闭集, 则 当且仅当 ;

  3. 举例说明当 为有界闭集时(2) 中的结论不成立;

  4. 若 均为紧集, 存在 , , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 证明 一般不是 上的度量

只需指出 不满足度量公理中的“ ”。
取 ,,。则 与 均为非空子集,且 ,故 。
但 ,因此 而 。
这表明 不能作为 上的度量。

2. 设 紧, 闭,则

  • :若 ,则对任意 有 ,特别地不存在 同时属于 ,故 。
  • :假设 但 。由下确界定义,存在序列 , 使得 。
    因 紧, 有收敛子列 。由三角不等式 [ d(y_{n_k},x_0)\le d(y_{n_k},x_{n_k})+d(x_{n_k},x_0)\to 0, ] 故 。由于 是闭集,其极限 属于 ,从而 ,与 矛盾。
    因此必有 。

3. 有界闭集情形下结论不成立的例子

取 ,赋予通常欧氏距离。令

  • 在 中是有界闭集: 有界显然;在子空间拓扑下 ,而 是 中的闭集,故 为 中的闭集。
  • 也是闭集(同理 )。
  • 。
  • 但 :取 (当 时 ),,则 ,故下确界为 。
    因此 为有界闭集(非紧), 为闭集, 但 ,表明 (2) 的结论在无紧性假设时不成立。

4. 若 均为紧集,则存在 使

由于 紧,其乘积 为紧空间(赋予乘积拓扑,度量可用例如 )。
距离函数 是连续的(因为 )。
连续函数在紧集上必能达到最小值,故存在 使得 因此结论成立。

习题 1.32

设 , . 求证: 为相对紧集当且仅当 为有界集, 且任取 , 存 在 , 使得任给 , 都有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

设 ,。以下证明 是相对紧的当且仅当 有界且满足一致尾小条件:对任意 ,存在 使得对任意 有

由于 是完备的度量空间,集合相对紧等价于完全有界(即预紧)。以下证明均使用这一等价性质。


必要性(相对紧 有界且一致尾小)

设 相对紧,则 完全有界且显然有界。任取 ,令 。由完全有界性,存在有限子集 使得 对每个 ,因 ,故存在 使得 取 ,则对任意 有 。

对任意 ,选取 满足 ,则 从而 故一致尾小条件成立。


充分性(有界且一致尾小 相对紧)

假设 有界,且对任意 存在 使得

欲证 完全有界。给定 ,取 使得对一切 有 即 。

考虑投影 (或 ),,并令 。因 有界,存在 使 对所有 成立,于是对任意 有 故 是有限维空间 中的有界集。有限维空间中的有界集完全有界,因此存在有限个点 使得 其中 表示 中以 -范数度量的球。

对每个 ,定义 为

现在验证 构成 的一个 -网。任取 ,令 ,则存在 使得 。于是 其中第一个不等式利用了三角不等式:将 分解为前 坐标之差(尾部为零)与尾部 之和。

因此 完全有界,从而相对紧。


综上,命题得证。

习题 1.33

设 . 求证: 为相对紧集当且仅当 为有界集, 且任取 , 存在 , 使得任给 , 都有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

我们考虑 中的子集 ,并探讨其相对紧性(即闭包紧)与下述条件的关系: 注意到该条件实际上强制 (每个序列的尾部一致小,故收敛到 )。在此前提下,我们有:

  • 充分性:若条件成立,则 是 中的相对紧集。
  • 必要性:一般 中相对紧集未必满足该条件(反例见后),但若附加 ,则必要性成立。通常教材中该定理的完整表述是针对 子空间的。

下面给出严谨的证明及反例。


1. 预备知识

记 为有界序列空间,范数 。 为收敛于 的序列构成的闭子空间。在完备度量空间中,一个集合相对紧当且仅当它全有界(即对任意 存在有限的 -网)。


2. 充分性证明(条件 相对紧)

假设: 有界,且

证:任取 。

  1. 由条件 (1),存在 使得对每个 有 。
  2. 定义截断算子 , 当 , 当 。则 。
  3. 考虑有限维截断集 (或 ),赋予 范数 。由于 有界,存在 使得 对所有 ,故 是有界集,从而在有限维空间中是全有界的。因此存在 的有限 -网 。
  4. 将每个 零延拓为 中的序列 :(),()。
  5. 对任意 ,取 使得 ,则 [ |x - z^{(j)}|\infty = \max\Bigl{\max{1\le n\le N}|x_n - a^{(j)}n|,\ \sup{n> N}|x_n|\Bigr} < \max{\varepsilon/2,\ \varepsilon/2} = \varepsilon. ] 故 是 的有限 -网。
  6. 因此 全有界。由于 完备,全有界集必定相对紧。

3. 必要性证明(在 中成立)

假设: 且 在 中相对紧(等价于在 中相对紧,因 闭)。则 有界,且条件 (1) 成立。

证:

  • 相对紧集必有界,故 有界。
  • 记 (在 中的闭包),则 是紧集且 ( 闭)。
  • 给定 ,用半径 的开球覆盖 ,由紧性存在有限子覆盖: [ K\subset\bigcup_{i=1}^{k} B(y^{(i)},\varepsilon/3),\quad y^{(i)}\in K. ]
  • 每个 ,故存在 使得 。令 。
  • 对任意 ,存在 使得 。则当 时, [ |x_n| \le |x_n - y^{(i)}_n| + |y^{(i)}_n| < \varepsilon/3 + \varepsilon/3 = 2\varepsilon/3 < \varepsilon. ] 因此 对所有 一致成立。必要性得证。

4. 反例:一般 中必要性不成立

取 ,其中 。

  • 是单点集,故为紧集(特别地相对紧),且有界。
  • 但对 ,无论 取多大,总有 ,即条件 (1) 不满足。

这表明在 中,相对紧集不一定满足所述尾条件。因此原命题中的等价关系对于 并不成立;但若将 限制在 中,则等价性成立。事实上,条件 (1) 本身已蕴含 ,故充分性部分不需要额外假设 ;而必要性部分则需此假设(如上述证明)。


5. 总结

  • 若 有界且满足 使 对所有 一致成立,则 相对紧。
  • 反之,若 相对紧且 ,则该条件成立;对于一般的 ,条件并非必要。

习题 1.34

设 . 求证: 为相对紧集当且仅当对任取的 , 存在 , 使得任给 , 都有

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 为所有数列构成的空间,赋予乘积拓扑(即由坐标投影 给出的最弱拓扑)。在此拓扑下, 是 Hausdorff 空间且是可度量化的 Fréchet 空间。


必要性:若 相对紧,则其闭包 是紧集。对每个固定的 ,投影映射 (或 )连续,故 是 中的紧集,从而有界。于是存在 ,使得对任意 均有 。


充分性:若对每个 存在 ,使得一切 满足 。定义闭区间 (若数域为 ,则取圆盘 ,仍为紧集),则 是 (或 )中的紧集。由 Tychonoff 定理,乘积 在乘积拓扑下是紧集。因每个 是闭集, 作为闭集的乘积也是 中的闭集(对任一不在 中的点,存在某个坐标不在 中,其原像为开集且与 不交,故 的补集开,即 闭)。

由条件知 ,因此 ( 闭)。于是 是紧集 的闭子集( 在 中闭,而 是 Hausdorff 空间 的紧子集,故 闭, 且 闭,从而 作为 的闭子集是紧的)。所以 相对紧。


综上, 相对紧当且仅当存在一列非负实数 ,使得对任意 和任意 均有 。

习题 1.35

设 为非空紧度量空间, 映射 满足: 任取 , , 都有 . 求证: 有唯一的不动点.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 首先, 由条件可知 是非扩张的: 对任意 , 若 则 ; 若 则由已知 , 从而 . 因此 是 Lipschitz 常数为 的映射, 故 一致连续, 当然连续.

定义连续函数 为 . 因 是紧度量空间, 在某点 达到最小值, 记 .

下证 . 若 , 则 . 取 , 由于 , 由条件得 这与 是最小值矛盾. 故 , 于是 , 即 , 所以 , 是 的不动点.

再证唯一性. 设 均为 的不动点. 若 , 则由条件 矛盾. 故 , 不动点唯一.

综上所述, 在 上有唯一不动点.

习题 1.36

设 固定, 求证: 存在唯一的 , 使得

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 考虑映射 (T: C[0,1] \to C[0,1]) 定义为

由于 (v\in C[0,1]) 且 (\cos) 连续,复合后 (Tx) 仍是 ([0,1]) 上的连续函数,故 (T) 是良定义的。

在 (C[0,1]) 上赋予上确界范数 (|x| = \max_{t\in[0,1]} |x(t)|),这是一个 Banach 空间。

对任意 (x, y\in C[0,1]),由中值不等式 (|\cos u - \cos v| \le |u-v|)(因为 (\cos’ = -\sin) 满足 (|-\sin\xi| \le 1)),有

因此 (T) 是一个压缩系数为 (1/3) 的压缩映射。

由 Banach 不动点定理(压缩映射原理),在完备度量空间 (C[0,1]) 中,(T) 存在唯一的不动点 (x),即

这就证明了满足方程的唯一连续函数 (x) 存在。 ∎

习题 1.37

举例说明 Banach 不动点定理中度量空间 的完备性假设是必要条件.

解答

解答使用 DeepSeek v3.2 Speciale 生成

考虑度量空间 ,其中 ,(通常的欧氏度量)。

  • 不是完备的:序列 是 中的 Cauchy 列,但它在 中收敛到 ,而 ,因此在 中不收敛。

定义映射 为 。

  • 是压缩映射:对任意 ,
    [ d(Tx, Ty) = |x/2 - y/2| = \frac{1}{2}|x - y| = \frac{1}{2} d(x, y), ]
    取常数 ,满足压缩条件。
  • 没有不动点:若存在 使得 ,则 ,推出 。但 ,矛盾。

因此,在 Banach 不动点定理中,度量空间 的完备性假设是不可或缺的。

习题 1.38

设 固定, 取定 , 对于 , 令 求证 . 取 , , 求 , 并给出 的一个上界.

解答

解答使用 DeepSeek v3.2 Speciale 生成

1. 证明

给定 , , 定义

  • 下界:由算术–几何平均不等式,对任意 ,

    又 , 故对所有 有 .

  • 单调递减:当 时,

    所以 单调递减.

  • 收敛性:单调递减有下界 , 故极限 存在. 在递推式两边取极限得

    因 , 故 . 即 .


2. 取 , , 求

利用递推公式直接计算(精确分数):


3. 的一个上界

记 (). 由递推式可得
因为 (已证), 故 , 从而
反复应用此不等式可得 (归纳法)

对于 , , , , 于是
该上界对任意 成立, 且当 时等号成立.

(注:也可利用更精确的估计
,
但上述形式已足够.)


解答完毕.

赋范空间

以下内容由 DeepSeek v3.2 Speciale 辅助整理

线性空间和维数

定义(线性空间)
设 是非空集合, 是实数域 或复数域 。在 上定义了加法 和数乘 ,满足以下公理():

  1. ;
  2. ;
  3. 存在 使得 ;
  4. 存在 使得 ;
  5. ;
  6. ;
  7. ;
  8. 。

则称 是 上的线性空间(或称向量空间)。

定义(线性子空间)
设 是线性空间 的子集。如果对任意 和 都有 ,则称 是 的线性子空间。

定义(线性组合与生成子空间)
设 非空。 中元素的有限线性组合的全体称为 的生成子空间,记作 : 它是包含 的最小线性子空间。

定义(线性无关与线性相关)
中有限个元素 称为线性无关,若 蕴涵 。否则称为线性相关。无限子集 线性无关,如果它的任意有限子集线性无关。

定义(有限维与无穷维)
若存在正整数 使得 中有 个线性无关的向量,但任意 个向量都线性相关,则称 是有限维的, 称为 的维数,记作 。如果这样的 不存在,则称 是无穷维的,记 。

定义(Hamel 基)
设 是 的线性无关子集。如果 ,则称 是 的一个 Hamel 基。

定理(Hamel 基存在性)
设 是线性空间,, 是 的任意线性无关子集。则存在 的 Hamel 基 ,使得 。特别地,任何非零线性空间都有 Hamel 基。


赋范空间和 Banach 空间

定义(范数)
设 是 上的线性空间。函数 称为 上的范数,如果满足:

  1. 非负性:,;
  2. 非退化性:;
  3. 齐次性:,;
  4. 三角不等式:,。

有序对 称为赋范空间。在不引起混淆时,简称 为赋范空间。

诱导度量
对赋范空间 ,定义 ,则 是 上的度量,称为由范数诱导的度量。它具有性质:

  • 平移不变性:;
  • 齐次性:。

定义(Banach 空间)
如果赋范空间 在诱导度量下是完备度量空间,则称 为 Banach 空间。

定义(线性算子)
设 是 上的线性空间。映射 称为线性算子,如果

  • ,
  • , 对所有 成立。

定义(等距同构)
若线性算子 是双射且满足 对所有 成立,则称 是等距同构,此时称 与 等距同构。

定义(Schauder 基)
设 是赋范空间。序列 称为 的 Schauder 基,如果对每个 ,存在唯一的标量序列 ,使得 (级数按范数收敛)。


有限维赋范空间

定义(等价范数)
设 和 是线性空间 上的两个范数。如果存在常数 ,使得 则称 与 等价。

引理(线性无关组的范数下界)
设 是赋范空间, 线性无关。则存在常数 ,使得对任意 ,

定理(有限维空间上范数等价)
有限维线性空间上的任意两个范数等价。

推论(有限维赋范空间的完备性)
任何有限维赋范空间都是 Banach 空间。

推论(有限维子空间的闭性)
赋范空间 的有限维线性子空间 是 的闭子集。

定理(有限维空间中的紧性)
在有限维赋范空间中,子集 是紧集当且仅当 是有界闭集。


有界线性算子

定义(有界线性算子)
设 是赋范空间, 是线性算子。如果存在常数 ,使得 则称 是有界线性算子。记 为所有从 到 的有界线性算子的集合。

定义(算子范数)
对于 ,其算子范数定义为

定理(有界性与连续性的等价)
设 是赋范空间, 是线性算子。下列陈述等价:

  1. 在 处连续;
  2. 在某一点连续;
  3. 是连续映射;
  4. 是有界线性算子。

定理(零空间闭)
若 ,则零空间 是 的闭线性子空间。

定理(有界线性算子空间的完备性)
设 是赋范空间, 是 Banach 空间,则 按算子范数构成 Banach 空间。

定理(延拓定理)
设 是赋范空间, 是 Banach 空间, 是稠密线性子空间,。则存在唯一的 使得 ,并且 。


有界线性泛函及其表示

定义(线性泛函)
设 是 上的线性空间。线性算子 称为 上的线性泛函。

定义(代数对偶空间)
上所有线性泛函的集合记作 ,称为 的代数对偶空间。

定义(拓扑对偶空间 / 对偶空间 / 共轭空间)
设 是赋范空间。 上所有有界线性泛函的集合 记作 ,称为 的拓扑对偶空间(简称对偶空间或共轭空间)。

常见赋范空间的对偶空间(等距同构意义下)

  • ;
  • ,其中 ,;
  • (这里 ,范数为 );
  • ;
  • 对于 ,,其中 。

(注: 表示等距同构。)

习题 2.1

判定下述 的哪些子集构成 的线性子空间(这里 ).

  1. 所有满足 , 且 的 ;

  2. 所有满足 的 ;

  3. 所有满足 且 的 ;

  4. 所有满足 的 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解 的子集 是线性子空间当且仅当 ,且对加法和数乘封闭,即

  • ;
  • 对任意 ,有 ;
  • 对任意 和 ,有 。

以下逐一判定。


1.

  • 零向量: 满足 且 ,故 。
  • 加法封闭:任取 ,则
    [ \boldsymbol{u}+\boldsymbol{v}=(u_1+v_1,\ u_1+v_1,\ 0), ]
    满足 且 ,故 。
  • 数乘封闭:任取 ,,则
    [ \alpha\boldsymbol{u}=(\alpha u_1,\ \alpha u_1,\ 0), ]
    满足 且 ,故 。

因此 是 的线性子空间。


2.

  • 零向量: 应满足 ,即 ,不成立,故 。

不满足子空间的基本要求,因此 不是线性子空间。

(亦可验证加法或数乘不封闭,但无需再证。)


3.

  • 零向量: 满足 且 ,故 。
  • 加法封闭:任取 ,则 ,。
    于是 ,,故 。
  • 数乘封闭:取 ,令 ,则
    [ \alpha\boldsymbol{u}=(-1,1,0), ]
    此时 ,不满足 ,故 。

数乘不封闭,因此 不是线性子空间。


4.

  • 零向量: 满足 ,故 。
  • 加法封闭:任取 ,即 ,。
    则
    [ (\boldsymbol{u}+\boldsymbol{v})_1+(\boldsymbol{u}+\boldsymbol{v})_2-(\boldsymbol{u}+\boldsymbol{v})_3=(u_1+v_1)+(u_2+v_2)-(u_3+v_3)=(u_1+u_2-u_3)+(v_1+v_2-v_3)=0, ]
    故 。
  • 数乘封闭:任取 ,,则
    [ (\alpha u_1)+(\alpha u_2)-(\alpha u_3)=\alpha(u_1+u_2-u_3)=\alpha\cdot0=0, ]
    故 。

因此 是 的线性子空间。


结论:构成 线性子空间的集合是 1 和 4。

习题 2.2

设 为 维复线性空间, 为 的 Hamel 基, 将 视为实线性空间 , 求 的 Hamel 基.

解答

解答使用 DeepSeek v3.2 Speciale 生成

设 (X) 是 (n) 维复线性空间,({e_1,\dots,e_n}) 是 (X) 的一组基(Hamel 基)。将 (X) 视为实线性空间 (X_{\mathbb{R}})(即只允许实数标量乘法)。则 (X_{\mathbb{R}}) 的一组 Hamel 基为 其中 (i) 是虚数单位。此时 (X_{\mathbb{R}}) 的维数为 (2n)。

证明:
任取 (x\in X),由于 ({e_k}) 是复基,存在复数 (\alpha_k = a_k + i b_k) ((a_k,b_k\in\mathbb{R})) 使得 因此 ({e_k, i e_k}) 张成 (X_{\mathbb{R}})。

设实数 (\lambda_k,\mu_k\in\mathbb{R}) 满足 由于 (X) 是复线性空间,可将上式改写为 因为 ({e_k}) 在复数域上线性无关,故 (\lambda_k + i\mu_k = 0) 对所有 (k) 成立,从而 (\lambda_k = \mu_k = 0)。这表明 ({e_k, i e_k}) 在实数域上线性无关。

综上,该集合是 (X_{\mathbb{R}}) 的一组 Hamel 基,基数为 (2n)。∎

习题 2.3

设 为线性空间, 为线性算子且为单射. 求证: 在 中线性无关当且仅当 在 中线性无关.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

(必要性)假设 在 中线性无关。设标量 满足 。由 的线性性, 因为 是单射,其核 ,故 。再利用 的线性无关性,得 。因此 线性无关。

(充分性)假设 在 中线性无关。设标量 满足 。应用 得 由 的线性无关性,必有 。故 线性无关。

综上,命题得证。

习题 2.4

给定闭区间 , 考虑所有次数小于等于 的实系数多项式所构成的集合 . 证明: 在通常多项式的加法和多项式与实数的乘法运算下, 为实线性空间. 求 的一个 Hamel 基. 若多项式的系数取复数, 证明: 相应的多项式集合 是复线性空间. 是 的线性子空间吗?

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答


1. 为实线性空间

设 ,即所有次数不超过 的实系数多项式构成的集合。在通常的多项式加法与实数数乘下:

  • 加法:,
  • 数乘:。

验证线性空间的公理:

  • 封闭性:对任意 ,设 ,则 ,系数 ,且次数不超过 ,故 。对任意 ,,系数 ,次数不变,故 。

  • 加法结合律、交换律:多项式的加法满足结合律与交换律,因此成立。

  • 零元:零多项式 (系数全为零)属于 ,且对任意 有 。

  • 负元:对任意 ,取 ,满足 。

  • 数乘结合律: 由实数乘法结合律保证。

  • 数乘单位元:。

  • 分配律:,,由多项式运算性质直接得到。

所有公理成立,因此 是一个实线性空间。


2. 的一个 Hamel 基

取向量组 。

  • 线性无关性:若 (恒为零多项式),则所有系数 。
  • 张成空间:任意 可写为 ,即被该组线性表出。

故 构成 的一组 Hamel 基。空间 的维数为 。


3. 为复线性空间

设 ,即次数不超过 的复系数多项式集合。加法与数乘的定义同上,但数乘的标量取自 。

封闭性:系数之和、复数倍仍为复数,故 ,。线性空间的其他公理与实数情形完全相同,因为复数集 也是一个域,且多项式运算满足相应性质。因此 是一个复线性空间。


4. 是否为 的线性子空间?

(实系数多项式可视为系数虚部为零的复系数多项式)。然而, 是复线性空间,其数乘标量域为 。要成为 的(复)线性子空间, 必须对复数数乘封闭,即

取 (虚数单位),,则 ,其系数为虚数,故 。因此 对复数数乘不封闭,从而 不是 的线性子空间。


注:若将 视为实线性空间(限制数乘于实数),则 是 的一个实线性子空间,但原题中 定义为复线性空间,故按通常意义不成立。

习题 2.5

举例说明线性空间的线性子空间的并集不一定还是线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

取 为实数域上的二维向量空间。定义

和 均为 的线性子空间(满足加法和数乘封闭,且包含零向量 )。

考虑它们的并集 。取 ,,则

但 既不在 中(因为第二个分量不为 ),也不在 中(因为第一个分量不为 ),故 。因此 对加法不封闭,不是 的线性子空间。

此例说明线性空间的线性子空间的并集不一定还是线性子空间。

习题 2.6

考虑 , 其中 . 求证: 集合 线性无关.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是互不相同的正整数,(或 )满足 欲证所有 。

固定某个 ,将上式两边乘以 并在 上积分,得 由于三角函数的正交性: 因此上式中只有当 时积分非零,即 故 。由 的任意性知 。所以 是线性无关集。

习题 2.7

设 为赋范空间, 求证:

(1) 任给 ;

(2)若 为定点, 则 为开集当且仅当 为开集;

(3)若 为定点, 则 为闭集当且仅当 为闭集;

(4) 若 中至少有一个为开集, 则 也为开集;

(5) 若 , 则 0 为 的内点.

解答

解答使用 DeepSeek v3.2 Speciale 生成

(1) 证明:设 ,则存在 , 使得 。由闭包定义,存在序列 , 满足 ,。令 ,则

故 ,因此 。所以 。

(2) 证明:定义平移映射 ,它是等距同胚(因为 ,且逆为 )。由于同胚保持开集性质, 开当且仅当 开。也可直接论证:若 开,对任意 ,存在 使得 ,则 ,故 开;反之,若 开,则 同样为开集。因此结论成立。

(3) 证明:平移同胚也保持闭集。若 闭,任取序列 且 ,则存在 使得 。于是 。由 闭知 ,故 ,因此 闭。反之,若 闭,则 同样闭。得证。

(4) 证明:不妨设 是开集( 开时类似)。任取 ,其中 ,。由 开,存在 使得 。现对任意 ,有 。令 ,则 ,故 。于是 。因此 ,即 为内点。由于 任意, 是开集。

(5) 证明:因为 ,存在 及 使得 。则对任意 ,有 。注意到 ,且 ,故 。因此 ,即 是 的内点。

习题 2.8

设 为赋范空间, 为 的凸子集, 且 . 求证: 为凸集, 且

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 (1) 是凸集.

任取 , 则存在 使得 , (取公共的 ). 对任意 , 令 . 要证 . 对任意 满足 , 有 , . 由 的凸性, 故 , 即 为 的内点. 因此 是凸集.

(2) 证明 .

显然 蕴含 . 下证 .

因 , 取定 . 任取 , 则存在序列 使得 . 定义 先证每个 属于 . 利用如下引理:

引理 设 为凸集, , . 则对任意 , 点 属于 .

引理证明 由 , 存在 使得 . 取 . 任取 , 即 . 令 , 则 , 故 . 于是 所以 , 即 .

应用引理, 取 , 则 满足 . 因此 .

再证 . 因为 而 推出 有界, 故 , 从而 . 因此 .

综上, .

习题 2.9

设 为赋范空间 . 若 , 求证 : .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

加法收敛性:
因 ,对任意 ,存在 使当 时 。
因 ,存在 使当 时 。
取 ,则当 时有

故 。

数乘收敛性:
由 知 有界,即存在 使 对所有 成立。

对任意 :

  • 因 ,存在 使当 时 ;
  • 因 ,存在 使当 时 。

取 ,则当 时,有

(当 时第二项为 ,不等式依然成立。)

因此 。

证毕。

习题 2.10

设 为赋范空间, 为 的线性子空间, 求证: 仍为 的线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 设 是一个赋范空间, 是线性子空间。记 为 在 中的闭包。欲证 是 的线性子空间,即验证:

  1. (显然,因为 );
  2. 对任意的 和任意标量 (实数或复数),有 。

由于 ,存在序列 使得
因为 是线性子空间,对每个 ,。由赋范空间中加法和数乘的连续性(或直接估计)可得
当 时。因此 ,故 是 中序列的极限,从而属于 。

这就证明了 对线性运算封闭,所以 是 的线性子空间。

习题 2.11

设 和 为赋范空间, 设 为 与 的笛卡儿乘积, 在 上定义 求证:

(1)上面定义的 为 上的范数;

(2) 和 为 Banach 空间当且仅当 为 Banach 空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明. (1) 验证 满足范数的三条公理.

  • 正定性: 对任意 , 由定义 . 若 , 则 , 故 ; 反之若 , 则 , 从而 且 , 于是 , 即 .

  • 齐次性: 对任意标量 ,

  • 三角不等式: 对任意 , 记 , . 由 中的三角不等式, 于是 注意到 , 所以 ; 同理 . 因此 从而三角不等式成立.

综上, 是 上的范数.

(2) 证明 和 均为 Banach 空间 为 Banach 空间.

  • 必要性 (): 设 和 完备. 取 中的 Cauchy 序列 . 对任意 , 存在 , 当 时, 从而 且 . 故 是 中的 Cauchy 列, 是 中的 Cauchy 列. 由完备性, 存在 使得 , . 于是 即 于 , 故 完备, 为 Banach 空间.

  • 充分性 (): 设 完备. 先证 完备. 取 中的 Cauchy 序列 . 考虑 中的序列 . 对任意 , 由 的 Cauchy 性, 存在 , 当 时 , 于是 故 是 中的 Cauchy 列. 由 完备, 存在 使得 . 这意味着 从而 且 , 故 , 于 . 所以 完备. 类似地, 考虑序列 可证 完备.

综上所述, (2) 得证.

习题 2.12

设 和 为赋范空间, 设 为 与 的笛卡儿乘积, 若 , 在 上定义 求证:

(1) 上面定义的 为 上的范数;

(2) 若 , 则 与 为等价范数, 且均与上题定义的范数 - 等价.

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答

(1) 证明 是 上的范数。

设 ,定义

需要验证范数的三条公理:

  • 非负性:显然 。

  • 正定性:若 ,则 ,故 ,从而 , ;反之,若 ,则 。

  • 齐次性:对任意标量 ,

  • 三角不等式:任取 ,记 由 中范数的三角不等式, 于是 对非负实数 ,应用 上的 Minkowski 不等式()可得 因此 即三角不等式成立。

综上, 是 上的范数。

(2) 证明范数等价性。

首先,由上题(或通常定义)记

步骤 1: 与 等价。
设 , ,则 显然 两边开 次方即得 故 因此 与 等价。

步骤 2:对任意 , 与 等价。
由 (1) 知 和 均与 等价,而等价关系具有传递性,故 与 等价。

亦可直接给出显式不等式。利用有限维空间 上 -范数的经典比较关系:对 ,有 应用于 , ,若 ,则 若 ,则 因此总存在正常数 (依赖于 )使得 即两范数等价。

综上,结论得证。

习题 2.13

设 为定义在 上, 满足 的连续函数全体, 令 求证: 为 上的范数, 且 为 Banach 空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明


1. 是 上的范数

首先, 是线性空间:若 ,(或 ),则 连续,且

故 。

其次,验证 是良定义的。对 ,由 知存在 使当 时 。在紧集 上连续函数 必达到最大值 。若 则 ,显然最大值存在。若 ,则因外部 (取 足够大使 时 ),可知整体上确界 必在 内达到,故最大值存在且有限。因此定义合理。

现验证范数公理:

  • 正定性: 显然;若 ,则 对所有 ,即 ;反之 时 。
  • 齐次性:对任意标量 ,
  • 三角不等式:

故 是 上的范数。


2. 是 Banach 空间

设 是 Cauchy 列,即对任意 ,存在 使得当 时
则对每个固定的 ,数列 是 Cauchy 数列,由 (或 )的完备性,存在极限 。由一致 Cauchy 条件可得一致收敛:对上述 ,当 时,
故 ,即 一致收敛于 。

一致收敛保持连续性,所以 是连续函数。还需证明 ,即 。给定 ,取 使 。因 ,存在 使得当 时 。于是当 时,
故 ,因此 。

综上, 中任意 Cauchy 列都收敛到 中的一个元素,所以空间是完备的,即 Banach 空间。

习题 2.14

求证 上的 和 不为等价范数.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 考虑连续函数空间 上的范数

首先,对任意 有 即存在常数 使 总成立。

若 与 等价,则也存在常数 使得 下面构造一列函数 导出矛盾。

对每个 ,定义 是连续的,且 。计算其 范数: 于是 当 。

若存在所述 ,则应有 令 得 ,与 矛盾。故这样的 不存在,从而两个范数不等价。

习题 2.15

设 为空间 中除有限个坐标之外均为 0 的元素全体构成的子空间, 求证: 为 的线性子空间, 但 不为 Banach 空间. 给出 的一个完备化.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

1. 是 的线性子空间

记 为所有有界实(或复)数列构成的 Banach 空间,范数为 .
定义
即仅有有限个坐标非零的序列全体.

  • 零元:零序列 显然属于 .
  • 加法封闭:设 ,则存在 使得当 时 ,当 时 . 取 ,则当 时 ,故 .
  • 数乘封闭:设 ,(或 ),则存在 使得 时 ,从而 ,故 .

因此 是 的线性子空间,且赋予 范数后成为一个赋范空间.


2. 不是 Banach 空间

需证 在范数 下不完备. 构造 中的一个 Cauchy 序列,使其极限不在 中.

取
显然每个 . 对于 ,
故 是 中的 Cauchy 列.

假设存在 使得 . 由于 是完备的,该 Cauchy 列在 中有极限,且极限必为逐点极限. 对每个固定的 ,当 时 ,从而
于是 . 但 有无限多个非零项,故 ,矛盾. 因此 中的 Cauchy 列 在 中无极限,从而 不完备,不是 Banach 空间.


3. 的一个完备化

考虑空间
仍赋予范数 . 则 是 的闭子空间(易证收敛到零的序列的极限仍属于 ),而 完备,故 是 Banach 空间.

在 中稠密:任取 ,对每个 定义 为 的前 项截断:
由于 ,对任意 存在 使得当 时 . 取 ,则
故 在 下. 因此 在 中稠密.

反之,若 且能被 中的序列逼近,则必有 (证明与上述完备性讨论类似). 故 就是 在 中的闭包.

由于 是完备的且 在其中稠密,依完备化的定义, 构成 的一个完备化.

(注:完备化在等距同构意义下唯一,这里给出的 正是 的完备化.)

习题 2.16

举例说明在赋范空间中, 由条件 , 推不出级数 的收敛性.

解答

解答使用 DeepSeek v3.2 Speciale 生成

我们考虑如下的赋范空间:设 为所有只有有限个非零项的实数列组成的线性空间,即 赋予范数 是一个赋范空间(但不完备)。

定义序列 如下: 一般地, 的第 个分量为 ,其余分量为 ,即 ,其中 是第 个标准基向量。

计算范数和: 因此条件 成立。

现在考虑级数 的部分和 对于任意 , 故 是 中的 Cauchy 列。

若级数收敛,则存在 使得 。由于 ,只有有限个非零分量,设其非零分量的最大下标为 。则对任意 ,有 。取 ,考虑第 个坐标(): 当 充分大时,由收敛性知 应趋于 。但对固定的 ,取 ,则 。由于 可以任意大, 对所有 成立,令 可知 不能趋于 ,矛盾。

更直接地,若 存在,则对每个坐标 ,应有 ,因此 ,但这个序列有无限多个非零项,不属于 ,矛盾。

因此级数 在 中不收敛。从而,在赋范空间中,绝对收敛(即 )不能保证级数收敛。

习题 2.17

设 为赋范空间, 求证: 为 Banach 空间当且仅当 的单位球面 为完备度量空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 是 Banach 空间,即 完备。范数映射 是连续的,而 , 是 中的闭集,因此 是 的闭子集。完备度量空间的闭子集仍是完备的,故 作为度量子空间是完备的。

假设 完备。任取 中的柯西列 ,欲证 收敛。

考虑实数序列 ,由不等式 知它是 中的柯西列。 完备,故存在极限 。

情形 1:。此时对任意 ,存在 使得 时 ,从而 ,即 ,序列收敛。

情形 2:。因 ,可取 使得当 时 。定义 (),则 。下证 是 中的柯西列。

对任意 ,有 由于 收敛于 ,故存在 使 ,且 ,从而 。又 是柯西列,所以 也是柯西列(因为它收敛于 )。给定 ,存在 ,当 时, 于是 故 是柯西列。由 完备,存在 使得 。

现 ,,从而 即 。因此 收敛。

综合情形 1 和 2, 中任意柯西列均收敛,故 是 Banach 空间。

习题 2.18

设 为赋范空间, 为非零有界线性算子. 求证: 任取 , , 都有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

由于 ,根据算子范数的定义有

对任意 ,若 ,则 ;若 ,取 ,则 ,从而

即 。因此对任意 成立

因为 非零,所以 。现取 满足 ,则由 (1) 得

故 ,结论得证。

注意:当 时 ,而 ,此时不等式 不成立,因此必须要求 非零。

习题 2.19

设 为赋范空间, 为一一映射. 若存在常数 , 使得 求证: 且 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:因为 是一一映射(双射),所以存在逆算子 ,并且 是线性的。对任意 ,设 ,则 。由条件可得 因此 。这说明 是有界线性算子,且其算子范数满足

习题 2.20

设 定义为 求证: 为单射. 求 . 问 为有界线性算子吗?

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明与解答


1. 为单射

设 满足 ,即对任意 , 令 ,由于 连续,根据微积分基本定理, 在 上可微且 对一切 成立。因 ,故 ,从而 对任意 成立,即 。因此 是单射。


2. 值域

先观察:对任意 ,令 ,则 由 连续知 连续可微且 ,故 且 。所以

反之,任取 满足 ,定义 ,则 ,并且 即 。综上, 通常简记为 ,其中 视为 的子空间。


3. 的有界性

因 是单射,其逆算子 存在。对任意 ,由 得 ,故 即 是求导算子。

考虑函数列 ,其中 显然 且 ,故 。计算范数( 的范数为 ):

若 是有界线性算子,则存在常数 使得对任意 有 特别地,对每个 应有 ,这与 可任意大矛盾。因此 不是有界算子。


综上所述, 为单射,,而其逆算子 无界。

习题 2.21

设 为赋范空间, 为线性算子. 求证: 不为连续映射当且仅当存在 , 使得 , 但 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 和 为赋范空间, 为线性算子。


充分性(⇐):
若存在序列 使得 但 ,则 不连续。
这是因为若 连续,则由 可得 ,从而 ,与 矛盾。


必要性(⇒):
设 不连续。对线性算子而言,连续性等价于有界性,故 无界,即

特别地,对每个 ,取 ,存在 , ,使得

令 ,则 ,且

再定义

于是

而

因此存在序列 满足 且 。


综上, 不是连续映射当且仅当存在 使得 而 。 ∎

习题 2.22

在 上定义线性泛函 求证: . 求 . 问: 存在 , 使得 吗?

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:首先验证 是线性泛函,显然。下面证明 有界,并求其范数。

对任意 ,有 故 是有界线性泛函,且 。

为证 ,构造一列函数 ()如下: 易见 。计算 \begin{align*} \int_{-1}^0 x_n(t),\mathrm{d}t &=\int_{-1}^{-1/n}1,\mathrm{d}t+\int_{-1/n}^0(-nt),\mathrm{d}t = \left(1-\frac1n\right) + \frac{1}{2n}=1-\frac{1}{2n},\ \int_0^1 x_n(t),\mathrm{d}t &=\int_0^{1/n}(-nt),\mathrm{d}t+\int_{1/n}^1(-1),\mathrm{d}t = -\frac{1}{2n}+\left(-1+\frac1n\right)=-1+\frac{1}{2n}. \end{align*} 于是 因此 ,从而 。结合上界得 。

是否存在 使得 且 ?
假设存在这样的 。记 则 。由于 ,,故 。等号成立必须满足 , 且 与 异号。

由 及 知 。又因 且 连续,若存在 使 ,则由连续性知存在邻域上 ,从而积分严格小于 。因此必须在整个 上 。同理,在 上也有 。

连续函数在闭区间上只取 ,故在 上 恒为 或恒为 ;在 上也恒为 或恒为 。若 ,则 在 上恒为 ;若 ,则恒为 。同理 。为使 与 异号,必须一端为 另一端为 。但此时 在 处左、右极限分别为 ,不相等,与 在 处连续矛盾。因此这样的 不存在。

综上所述,,,但不存在范数为 的连续函数 使 。

习题 2.23

上的线性泛函 称为正泛函, 如果任取 满足任取 , , 都有 . 求证: 为正线性泛函当且仅当 为连续线性泛函且 , 此处 表示 上恒为 1 的连续函数.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 为区间 上的实值连续函数空间,赋予上确界范数 , 为线性泛函。


设 为正线性泛函。

由于常数函数 满足 ,故 。

对任意 ,记 。则对每个 有 ,从而 由正性得 故 因此 有界(连续),且 。另一方面,由范数定义, 而 ,所以 。


设 连续且 。

若 ,则 ,显然为正泛函。下设 ,从而 。

用反证法。假设存在 满足 ,但 。由于 , 不恒为零,故 。取 ,构造 因为 ,所以 ,从而 。

计算 由于 ,,于是 。但由范数定义,对任意 应有 ,特别地 ,矛盾。

因此假设不成立,故对一切非负连续函数 都有 ,即 为正线性泛函。


综上, 为正线性泛函当且仅当 连续且 。

习题 2.24

设 . 任取 , 定义 . 求证 : , 且 . 求 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 设 。

  1. 且 有界线性:
    对任意 , 故 ,且 。线性性是显然的:对 和 , 因此 ,且 。

  2. 求 :
    下证 。任给 ,由 知存在 使得 。取 ,即第 个分量为 、其余为 的序列,则 ,且 从而 。由算子范数定义, 令 即得 。

    结合 ,得到 。

习题 2.25

设 为赋范空间, , 假设 为 Banach 空间. 求证: 也为 Banach 空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:
设 为赋范空间且 , 按算子范数构成 Banach 空间. 下证 完备.

  1. 选取非零元及连续线性泛函
    由于 , 取 , . 不妨设 (否则用 代替).
    考虑一维子空间 上的线性泛函 . 易见 . 由 Hahn-Banach 定理, 存在 延拓 且 , 特别地 .

  2. 利用 的 Cauchy 列构造 的 Cauchy 列
    设 是一个 Cauchy 列. 对每个 , 定义算子 为
    显然是线性的, 且对任意 有 , 故 且 . 又由 得 , 所以 .

    对任意 , 因为 是 Cauchy 列, 所以 是 中的 Cauchy 列.

  3. 利用 的完备性得到极限算子
    由假设 是 Banach 空间, 故存在 使得 .

  4. 得出 收敛
    由于算子范数收敛蕴含逐点收敛, 特别取 得
    因此 于 中.

  5. 结论
    中任意 Cauchy 列均收敛, 故 是完备的, 即为 Banach 空间. ∎

习题 2.26

在 上赋予范数 , 令 求证: . 求 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 首先验证 是线性泛函。对任意 和 , 故 是线性的。

其次证明 有界(即连续)。对任意 , 因此 是有界线性泛函,且 。

最后计算 的确切值。取函数列 ,。显然 ,并且 计算 于是 令 得 。结合 即得 。

综上所述, 且 。

习题 2.27

设 为赋范空间, . 求证: 当且仅当存在非零常数 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
设 为赋范空间, 是连续线性泛函。


充分性
若存在非零常数 使得 ,则对任意 有 。因此 故 。


必要性
假设 。分情况讨论。

  1. 的情形
    此时 ,由条件 ,从而 对所有 成立,即 。取任意非零 ,有 。

  2. 的情形
    类似可得 ,取非零 即得 。

  3. 且 的情形
    由于 ,存在 使得 。令 对任意 ,构造 则 即 。由 得 ,故 。于是 因此 。若 ,则 ,与 矛盾,故 。

综合上述情形,总有非零常数 使 。∎

习题 2.28

设 为 维线性空间, 为 的真线性子空间, . 求证: 存在 上的线性泛函 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 由于 是 维线性空间, 为其真子空间,故 。取 的一组基 。因 ,向量组 线性无关(否则 可由 的基线性表示,矛盾)。将其扩充为 的一组基

定义 ( 或 )如下:在基上规定 并线性延拓至整个 ,即对任意 令 。

显然 是线性泛函。若 ,则 可表为 ,此时 ,故 ,即 。又 。因此满足要求的线性泛函存在。

习题 2.29

设 为赋范空间 . 若 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

由 知存在 使得 , 令 则 , 因此集合 非空, 是良定义的.

先证 : 对任意 , 有 , 故 , 从而下确界 .

再证 : 由对偶范数定义 , 存在序列 , , 使得 . 因为 , 故当 充分大时 . 令 , 则 , 即 , 且 由于 是 中元素范数的下确界, 对每个 有 , 从而

综合两方面得 , 即 .

习题 2.30

在 上分别赋予范数 和 , 考虑 , .

(1) 求证: . 求 ;

(2) 求证: . 求 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答

(1) 考虑空间 赋以范数 。定义算子 。

有界性:对任意 , 故 ,即 有界且 。

算子范数:下证 。对任意正整数 ,取 ,构造连续函数 满足:

  • ,
  • ,
  • 。

(例如,令 当 ,在 上用线性连接使其连续,再乘以常数使 范数为 。)于是 从而 因此 ,结合上界得 。


(2) 现在考虑 ,其中 。

有界性:对任意 ,由 Cauchy–Schwarz 不等式, 故 有界且 。

算子范数:取函数 ,则 ,且 计算 于是 因此 ,结合上界得 。


综上所述,

习题 2.31

设 为无穷维赋范空间, 为非零赋范空间. 求证: 存在线性算子 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

由于 是无穷维赋范空间,可以取出一列线性无关的向量 。对每个 归一化,令

则 仍线性无关且 。

取 中任意非零元 。

构造线性泛函 ( 或 )如下:
将 扩充为 的一个 Hamel 基 (这需要选择公理,例如 Zorn 引理)。定义

对任意 ,将其唯一表示为 中有限个元素的线性组合,并令 为相应的线性组合(即线性扩张)。由线性扩张的唯一性知 是良定义的线性泛函。

由于对每个 有 且 ,因此

即 不是有界的。

现在定义算子 为

显然 是线性的。并且对每个 ,

因为 ,所以

从而 。故 不是有界线性算子,即 。

∎

习题 2.32

设 为赋范空间, 为 的非空子集. 定义 的零化子为 求证: 为 的闭线性子空间. 求 和 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:
首先证明 是 的线性子空间。
任取 及标量 ,则对任意 ,
故 ,因此 是线性子空间。

再证 是闭的。
设 且 于 (即按算子范数收敛)。
对任意 ,由范数收敛可得
从而 。但 ,故 ,即 ,因此 。
所以 是闭的。

求值:

  • ,满足此条件的只有零泛函,故 。
  • ,而任何线性泛函在 处均为 ,故 。

习题 2.33

设 为赋范空间, 为 的非空子集, 令 : 任取 , 都有 . 求证: 为 的闭线性子空间. 求 和 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

首先证明 是 的线性子空间。

  • ,因为对任意 ,,故 。
  • 若 ,(标量域),则对任意 有 ,。于是

    故 。因此 是线性子空间。

再证明 是闭的。
设 且 。对任意 ,由于 连续,有

因此 ,故 是闭的。

计算:

  • 。
    由 Hahn-Banach 定理,若 ,则存在 使得 。从而只有 满足条件,故 。
  • 。
    条件“对任意 ,”空真成立,故所有 均满足,因此 。

∎

习题 2.34

设 为 维赋范空间, 为其 维线性子空间, 且 . 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 由于 是有限维赋范空间,其代数对偶 (即所有线性泛函)与连续对偶重合,且 . 记 的零化子为 取 的一组基 ,将其扩充为 的一组基 . 设 为相应的对偶基,即满足 (). 则对 ,由于任意 可表为 的线性组合,而 在这些向量上取零,故 .

现证 构成 的基. 首先它们线性无关(作为对偶基的子集). 其次任取 ,因 是 的基,存在标量 使 . 对每个 ,计算 而 蕴含 ,故 . 于是 ,即 可由 线性表示. 因此 是 的一组基,从而 这就完成了证明.

内积空间和 Hilbert 空间

以下内容由 DeepSeek v3.2 Speciale 辅助整理

内积空间

定义(内积)

设 为数域 ( 或 ) 上的线性空间,映射 称为内积,若满足:

  1. ;
  2. ;
  3. ;
  4. ;
  5. .

则称 为内积空间。

性质

  • 关于第二个变量共轭线性:。
  • 由内积诱导范数: 是 上的范数,称为诱导范数。

定理(Schwarz不等式和三角不等式)

设 是内积空间,则对任意 :

  1. Schwarz不等式:,等号成立当且仅当 与 线性相关。
  2. 三角不等式:,等号成立当且仅当 或 ()。

定理(平行四边形等式和极化恒等式)

  • 平行四边形等式:。
  • 极化恒等式:
    • 若 :;
    • 若 :。

一个赋范空间 的范数可由某个内积诱导当且仅当范数满足平行四边形等式。

定义(Hilbert空间)

若内积空间 在诱导范数下是完备的(即为 Banach 空间),则称 为 Hilbert 空间。

定理(内积的连续性)

设 是内积空间,若 , (在诱导范数下),则 。

定义(等距同构)

设 是内积空间,线性映射 是等距同构,若 是一一映射且保持内积:,此时称 与 等距同构。

定理(内积空间的完备化)

任何内积空间 都存在一个 Hilbert 空间 作为完备化,即存在 的稠密线性子空间 与 等距同构,且 在等距同构意义下唯一。


正交补及正交投影

定义(正交)

设 是内积空间,,若 ,则称 与 正交,记作 。对于子集 ,若 有 ,则称 与 正交,记作 。定义 的正交补为

总是 的闭线性子空间。

定义(凸集)

的子集 称为凸集,如果对任意 和 ,有 。

定理(最佳逼近存在唯一性)

设 是内积空间, 是 的非空凸集,且 在 诱导的度量下完备。则对任意 ,存在唯一的 ,使得

特别地,若 是 Hilbert 空间, 是 的闭凸集(例如闭线性子空间),则上述结论成立。

定理(正交分解定理)

设 是 Hilbert 空间, 是 的闭线性子空间。则对任意 ,存在唯一的 和 ,使得 。即 (直和)。

同时, 是 在 上的最佳逼近元:,且 。

正交投影

设 是 Hilbert 空间, 是 的闭子空间。定义映射 ,,其中 是 在 上的唯一最佳逼近元(正交分解中的分量)。称 为 到 上的正交投影算子。

性质:

  • 是有界线性算子,且 ,当 时 。
  • (幂等)。
  • ,。
  • 。
  • 若 是 的非空子集,则 。

完全集

设 是赋范空间,。若 ,则称 为 的完全集(即其线性张成稠密)。

定理:在 Hilbert 空间 中, 为完全集 。


标准正交集与标准正交基

定义(标准正交集)

设 是内积空间,集合 称为标准正交集,如果满足:

  • 对任意 ,;
  • 对任意 ,,有 。

若 可数,则称其为标准正交序列;若 有限,则称其为标准正交组。

标准正交集是线性无关集。

Bessel 不等式

设 是内积空间 中的标准正交序列,则对任意 ,

定义(标准正交基)

设 是 Hilbert 空间, 是 的标准正交集。若 ,则称 为 的一个标准正交基(或完全的标准正交集)。

定理(标准正交基的等价刻画)

设 是 Hilbert 空间, 是 的标准正交集,则以下条件等价:

  1. 是 的标准正交基;
  2. 对任意 ,有 (级数按范数收敛,且至多可数项非零);
  3. 对任意 ,有 ;
  4. 对任意 ,有 (Parseval 等式)。

当 可分时,标准正交基至多是可数的。

Gram-Schmidt 正交化方法

设 是内积空间 中的线性无关序列,则存在标准正交序列 ,使得对每个 , 构造公式:

定理(可分 Hilbert 空间的结构)

每个可分的无穷维 Hilbert 空间 都与 等距同构。具体地,若 是 的一个标准正交基,则映射 定义为 是一个等距同构。


Hilbert 空间上有界线性泛函的表示

Riesz 表示定理

设 是 Hilbert 空间,( 上的有界线性泛函)。则存在唯一的 ,使得对任意 , 并且 。

共轭双线性泛函

设 是 上的线性空间,映射 称为共轭双线性泛函,如果:

  • 对第一个变量线性:,;
  • 对第二个变量共轭线性:,。

其范数定义为:

定理(有界共轭双线性泛函的表示)

设 是 Hilbert 空间, 是有界共轭双线性泛函。则存在唯一的 ,使得对任意 , 并且 。

伴随算子

设 是 Hilbert 空间,。存在唯一的算子 ,称为 的伴随算子,满足对任意 ,

性质:设 ,,,则

  1. ;
  2. ;
  3. ;
  4. ;
  5. ;
  6. 。

另外,正交投影算子 满足 (自伴)且 。

习题 3.1

设 为实内积空间, . 求证: 当且仅当勾股定理对 成立, 即 . 举例说明若 为复内积空间, 则上述结论一般不成立.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明(实内积空间):

设 是实内积空间,。

若 ,即 ,则

因为实内积满足对称性 。故勾股定理成立。

反之,若 ,则由展开得

从而 ,即 ,因此 。

综上,在实内积空间中, 当且仅当 。

复内积空间中的反例:

考虑 ,赋予标准内积 。取 , 。

计算内积:,故 与 不正交。

计算范数:,,。

因此 ,勾股定理成立。

这表明在复内积空间中,即使勾股定理成立,也不能推出 ,故结论一般不成立。

习题 3.2

设 为内积空间 . 证明 Applonius 恒等式:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 上的内积为 ,诱导的范数为 。对任意 ,计算等式的两边。

左边:

右边:令 ,则

将这两部分相加:

比较左边与右边的表达式,两者完全相同,故 恒等式得证。

习题 3.3

若 为有限维线性空间, 为 的 Hamel 基. 求证: 上的内积由 唯一确定. 问: 能以完全任意方式选取 吗?

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是有限维线性空间,, 是 的一组 Hamel 基。对任意 ,存在唯一坐标 ,(, 或 )。由内积的线性与共轭线性(实情形为双线性), 因此,一旦知道所有 ,则任意两个向量的内积均可通过上式算出,故 上的内积由 唯一确定。

能否任意选取 ?
不能。因为内积必须满足公理,从而 必须满足:

  1. 共轭对称性:,即 ;
  2. 正定性:对任意不全为零的 ,有

换言之,矩阵 必须是 Hermitian 正定矩阵(实情形为对称正定矩阵)。
反之,若给定矩阵 满足上述条件,则通过 定义的二元函数是 上的一个内积,且满足 。因此 不能完全任意,必须满足 Hermitian 正定性。

习题 3.4

设 为内积空间 . 求证: 当且仅当 , 且 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
(必要性)若 ,则由范数的连续性有 ,由内积的连续性有 。

(充分性)设 且 。则 由于 ,且 ,而 是实数,故 。于是 因此 。

习题 3.5

设 为内积空间 . 求证下述命题相互等价:

(1) ;

(2) 任取 ;

(3) 任取 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

设 为内积空间,内积记为 ,范数为 。对任意 ,由内积性质可得


1. 和

若 ,则 ,从而 ,代入上式得 因此对任意 有 且 ,即 (2) 和 (3) 成立。


2.

假设对任意 有 。若 ,则 显然成立;下设 。由展开式得 记 。若 ,取 (),代入上式得 由于 ,故 对所有 成立。但取 时 ,矛盾。因此 ,即 ,从而 ,亦即 。


3.

假设对任意 有 。平方后相减得 即 对所有 成立。特别地,取 ,则 故 ,从而 ,即 。


综上,命题 (1)、(2)、(3) 相互等价。

习题 3.6

设 为内积空间, 为非空子集, 且 . 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:由于 ,即对任意 有 。

首先证明 。任取 ,则存在有限个 和标量 ( 为实数域或复数域)使得 。由内积在第二个变量上的线性性可得 故 与 中任意向量正交。

其次证明 。任取 ,则存在序列 使得 。对每个 有 。由内积的连续性(或直接由 Cauchy–Schwarz 不等式) 所以 。因此 。

综上,。

习题 3.7

设 为复内积空间, 为线性算子, 且任取 . 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

对任意 ,由条件 对所有 成立。

  1. 利用
    故得

  2. 利用
    由内积的性质(第一个变量线性,第二个变量共轭线性)有
    且 ,故
    代入得
    即

将 (2) 代入 (1):

由于 是任意的,上式表明 与所有向量正交,从而 。再由 的任意性得 。∎

习题 3.8

为 Hilbert 空间, 为 的闭线性子空间. 求证: 为 上某个非零有界线性泛函的零空间当且仅当 为 的一维线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 设 是 Hilbert 空间, 是闭线性子空间。

充分性:若 ,其中 ,则由 Riesz 表示定理,存在唯一的非零向量 使得 对所有 成立。于是 因为 ,其正交补为 ,即一维子空间。

必要性:若 是一维子空间,则存在非零向量 使得 。由于 是闭的,由正交分解定理有 ,且 。因此 定义泛函 , 是 上的有界线性泛函,且 ,故 。而 从而 是非零有界线性泛函 的零空间。

综上,命题得证。

习题 3.9

在 上赋子内积 其中 . 考虑 的子集 求证: 为完备凸集. 求出 中具有最小范数的向量.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明凸性:
对任意 和 ,

故 , 因此 是凸集.

证明完备性:
定义线性泛函 为 .
在赋予欧几里得范数的 中, 是连续的.
因为单点集 是 中的闭集, 所以原像 是 中的闭集.
是有限维内积空间, 故完备, 其闭子集 也完备.
所以 是完备凸集.

求最小范数向量:
对任意 , 由 Cauchy–Schwarz 不等式,
因而 .
等号成立当且仅当存在常数 使得 对所有 成立, 且 , 故 .
于是向量

满足 , 且是 中唯一具有最小范数的向量.

习题 3.10

设 为 上实值连续函数空间, 为所有 上实值连续奇函数所构成的空间, 为所有 上实值连续偶函数所构成的空间. 求证: 若 上赋予内积 求证: 上面的直和为正交直和.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

  1. 直和分解

    任取 ,定义
    由于 连续, 和 也是连续函数。容易验证
    故 ,,且 。
    因此 。

    再证 。若 既是奇函数又是偶函数,则对任意 , 从而 ,故 。于是两个子空间的交仅含零函数,因此和是直和:

  2. 正交性

    上赋予内积 。
    任取 (奇函数),(偶函数)。考虑内积
    令 。由奇偶性得
    故 是奇函数。积分区间 关于原点对称,奇函数的积分为零,即
    因此 ,这表明 。

    结合直和分解与正交性,即得
    为正交直和。

习题 3.11

证明 : 任给 , 有 为 的闭线性子空间. 求 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

首先, 显然是 的线性子空间:零序列属于 ;若 ,则对任意 有 ,从而 ,故 。


是闭的。

考虑坐标投影 ( 或 ),。由于 , 是有界线性泛函,因此连续。
若 且 于 ,则由连续性得对每个 有 。特别对 ,由 得 ,所以 。故 是闭子空间。

(也可直接由 , 为闭集,得 闭。)


求 。

记内积 。
设 ,即对任意 有 。
对任意 ,由于 ,故 中的向量由奇数坐标自由决定:对任意序列 ,存在 使 (例如取 的奇数坐标为 ,偶数坐标为 )。因此条件等价于 特别取 (第 个标准基向量,即 ),则得到 ,从而 对所有 成立。

反之,若 满足 (对所有 ),则对任意 , 故 。

因此

即 由所有奇数项为零的 序列构成。

习题 3.12

设 为内积空间, 为非空子集. 求证:

(1) 若 , 则 ;

(2) 若 , 则 ;

(3) ;

(4) .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解 设 为内积空间, 对任意子集 , 定义 .

(1) 若 , 则 .

证明 任取 , 则对任意 有 . 由于 , 对任意 必有 , 从而 , 故 . 因此 .

(2) 若 (即 , ), 则 .

证明 对任意 , 由 知对任意 有 , 故 , 从而 . 同理, 对任意 , 对所有 成立, 故 , 即 .

(3) .

证明 任取 , 则 且 . 于是对任意 有 , 对任意 有 . 对任意 , 属于 或 , 总有 , 故 . 因此包含关系成立.

(4) .

证明 任取 . 若 , 则对任意 有 . 特别地, 对任意 (必有 ), 有 , 故 . 若 , 类似地, 对任意 ( ) 有 , 故 . 两种情形下均有 , 因此包含关系成立.

习题 3.13

设 为内积空间, 为完全集. 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
由于 为完全集,即 在 中稠密。任取 ,则对任意 有 ,由内积的线性性可知对任意 也有 。

由稠密性,存在序列 使得 (按 的范数)。对内积使用连续性(由 Cauchy–Schwarz 不等式保证):
故 。但 对所有 成立,从而 ,即 ,因此 。

这就证明了 ,而 显然,所以 。∎

习题 3.14

设 为 Hilbert 空间, , 且存在 , 使得 求证 : 为一一映射, 且 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 由条件 及 Cauchy–Schwarz 不等式 可得

1. 是单射. 若 ,则由 (1) 得 ,故 ,即 ,所以 是单射.

2. 是闭子空间. 设 收敛于 ,记 . 由 (1), 故 是 Cauchy 列. 因 完备,存在 使 . 由 的连续性得 ,从而 ,因此 闭.

3. 在 中稠密. 假设存在非零 使得 ,即对一切 有 . 取 ,则 ,与条件 矛盾. 故 ,从而 在 中稠密.

结合 2 与 3 得 ,所以 是满射. 因此 是双射,逆算子 存在且线性.

4. 有界且 . 对任意 ,存在唯一 使 ,由 (1) 得 故 有界且 .

综上, 为一一映射, 且 .

习题 3.15

设 为 Hilbert 空间, 为其闭线性子空间, . 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

由于 是 Hilbert 空间 的闭线性子空间, 故有正交分解 . 对任意 , 存在唯一的 , , 使得 , 且 是 在 上的正交投影.

一方面, 对任意 , 因为 , 正交. 当 时取等, 故

另一方面, 考虑集合 . 对任意满足条件的 , 由 , 知 , 于是 由 Cauchy-Schwarz 不等式, 若 , 取 , , 则有 ; 若 , 则对任意 均有 . 因此

综上,

习题 3.16

设 为 Hilbert 空间, 为非空子集. 求证: 为 中包含 的最小闭线性子空间, 即若 为 的闭线性子空间, 且 , 则必有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

首先,对任意子集 , 是 的闭线性子空间。这是因为对每个 ,映射 连续,故 为闭集;且容易验证 是线性子空间。从而 与 均为 的闭线性子空间。

其次,证明 。任取 ,对任意 ,由正交补的定义有 ,因此 。故 。

最后,证明 是最小的具有此性质的闭线性子空间。设 是 的闭线性子空间,且 。则

  • 由 可得 (若 ,则对任意 有 ,特别地对 也成立,故 )。
  • 对包含关系 取正交补,得到 (一般地,若 ,则 ;再取正交补即得 )。
  • 由于 是闭线性子空间,根据投影定理有 ,从而 。

因此 。

综上所述, 是 中包含 的最小闭线性子空间。

习题 3.17

求证: Hilbert 空间 的线性子空间 为闭集当且仅当 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 为 Hilbert 空间, 为线性子空间。回顾正交补的定义: 它是一个闭线性子空间。进一步,对于任意子集 恒有 ,且 与 均为闭集。


1. 是闭集

因为 是闭集,而 作为正交补也是闭集。若 ,则 等于一个闭集,故 是闭的。


2. 是闭集

  • 包含关系 :对任意 及 ,由定义 ,所以 。
  • 包含关系 :任取 。由于 是闭线性子空间,投影定理给出唯一分解 计算内积 另一方面,因 而 ,有 。于是 ,即 ,从而 。
    故 。

综上得 。


由以上两部分即证: 为闭集当且仅当 。

习题 3.18

求最小值: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

最小值问题归结为求 在区间 上关于 内积到二次多项式空间 的正交投影。令 ,需求

定义内积 ,则法方程为

计算各内积:

故法方程化为

解得 ,并由第一、三式得 。最佳逼近多项式为

此时残差平方范数为

因此所求最小值为 。

习题 3.19

设 为 Hilbert 空间, 为其线性子空间, 为 Banach 空间, . 求证: 存在 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 由于 为 Hilbert 空间, 为线性子空间, 为 Banach 空间, 是有界线性算子,即 。

第一步:将 连续延拓到 上。
因为 未必闭,但 是 的闭子空间。任取 ,存在 使得 。由于 有界,故一致连续,且 完备,可定义

该极限存在且与逼近序列的选取无关。易证 为线性算子,且对任意 有 。此外,

所以 ;又因为 是 的延拓,故 ,从而 。因此 且保持范数。

第二步:利用正交投影定义 。
因为 是 Hilbert 空间, 为闭子空间,故有正交分解 。记 为到 的正交投影。定义

显然 是线性的。

第三步:验证 。
若 ,则 ,从而 ,故 是 的延拓。

第四步:证明 。
一方面,因为 是 的延拓,所以 。
另一方面,对任意 ,设 ,其中 ,,则 ,从而 。于是

故 。综上 。

因此 满足要求。 ∎

习题 3.20

设 为 Hilbert 空间, 和 均为 的标准正交集, 满足 且 为标准正交基. 求证: 也为标准正交基.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 定义算子 如下:对任意 ,由于 是标准正交基,有 令 因为 是标准正交集,由 Bessel 不等式知级数收敛且 故 是等距算子。

考虑 ,计算其在基向量 上的作用: 由条件 上式左端正是算子 的 Hilbert–Schmidt 范数 的平方 ,因此 。

对于任意有界线性算子 ,有算子范数估计 (取单位向量 ,则 )。于是

因为 ,Neumann 级数 收敛,其极限为 ,故 可逆。又 是等距,从而 是酉算子(满射)。因此

由于 已是标准正交集且其闭线性张成等于全空间,所以 是 的标准正交基。

习题 3.21

在实连续函数空间 上考虑内积 对 , 考虑 . 利用 Gram-Schmidt 标准正交化方法将 标准正交化.

解答

解答使用 DeepSeek v3.2 Speciale 生成

对函数 , , 应用 Gram–Schmidt 标准正交化过程。

第一步: 取 ,
计算 。

第二步: 计算 ,
其中 ,故 。
计算 。

第三步: 计算 ,
,
,
,
所以 。
计算 。

第四步: 标准化,得到标准正交函数组:

可以化简 为:

容易验证 ()。

习题 3.22

设 为 Hilbert 空间, 为 的标准正交序列, 且 . 求证 当且仅当存在 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 为 Hilbert 空间, 为标准正交序列,记 为其有限线性组合全体。需证:对任意 ,


必要性():假设 。令 此为 在子空间 上的正交投影。由正交投影的性质,对任意 有

因为 在 中稠密,故对任意 ,存在 使得 。设 用到的基向量下标的最大值为 ,则 。于是对任意 ,,从而 这表明 ,即 取 即得所需表示。


充分性():若 ,令部分和 显然 。由级数收敛的定义, 于 。因此 是 中序列的极限,故 。


综上,命题得证。

习题 3.23

设 为内积空间, 任取 , 定义 , 则有 . 求证: 若映射 为从 到 的满射, 则 为 Hilbert 空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 是内积空间,定义映射 为


第一步: 是等距映射

对任意 , 是线性泛函且
故 。
当 时,取 ,则
从而 。
因此 ; 时显然成立。所以 是等距映射,特别地它是单射。


第二步: 是满射

由题设, 为满射,故 是双射。


第三步: 是 Banach 空间

对偶空间 (有界线性泛函全体,赋以算子范数)总是完备的,与 是否完备无关。因此 是 Banach 空间。


第四步: 的完备性

任取 中的 Cauchy 序列 。由 等距知 是 中的 Cauchy 序列。因为 完备,存在 使得 (按范数)。
满射,故有 满足 。再利用等距性:
所以 。因此 是完备的赋范空间。


结论

是完备的内积空间,从而是 Hilbert 空间。∎

习题 3.24

设 为 Hilbert 空间, . 若 , 使得 , 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:任取 ,要证 ,即对任意 有 。

由伴随算子的定义,对于 恒有

因 ,由条件 可知 。又 ,故 。从而 即 ,亦即 。

由 的任意性得 。证毕。

习题 3.25

在习题 24 中, 设 均为闭线性子空间, 求证: 当且仅当

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 是 Hilbert 空间, 是 的闭线性子空间,。


必要性 ()
假设 。取任意 ,则对任意 有

因为 ,故 ,而 ,所以 。从而 对所有 成立,即 。由 的任意性得 。


充分性 ()
假设 。由于 是闭子空间,有 。要证 ,只需证明对任意 和任意 均有 。

任取 和 ,则

因为 ,由假设 ,而 ,故 。于是 ,所以 。由 的任意性得 。


综上所述, 当且仅当 。

习题 3.26

设 为 Hilbert 空间, . 求证: 为 的闭线性子空间, 为单射, 且 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 为 Hilbert 空间,,。以下分三步进行论证。


1. 证明 对一切 成立,从而 是单射。

对任意 ,计算 由于 是自伴算子,,且它为实数,故 。于是 开方得 。特别地,若 ,则 ,从而 ,故 是单射。


2. 证明 是 的闭线性子空间。

首先, 为线性算子,故 是 的线性子空间。下证其闭性。

设 收敛于某 ,则存在 使得 。由于 是 Cauchy 列,由 及 得 故 也是 Cauchy 列。 完备,存在 使 。由 的连续性, 因而 。所以 是闭集。


3. 证明 。

为单射,故存在逆算子 ,且对任意 ,有唯一的 满足 。由 得 即 是有界线性算子,且 。因此 。


综上,命题得证。

习题 3.27

在 Hilbert 空间 上考虑右移算子 , 即任取 , 有 求伴随算子 及 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解
在 上,右移算子 定义为 这是一个有界线性算子,且 。

伴随算子
对任意 ,记 ,计算内积: 若定义左移算子 为 ,则 由伴随算子的唯一性,得 ,即

定义域
由于 有界,其伴随 的定义域为全空间 ,故

值域
任取 ,构造 ,则 因此 ,即 。

范数
一方面,对任意 , 故 。
另一方面,取 ,则 且 所以 。
综上,

习题 3.28

设 为复 Hilbert 空间, 称为正规算子, 如果 . 求证 为正规算子当且仅当任取 , 有 成立.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

() 设 为正规算子,即 。对任意 ,有

因为 ,故 ,从而 。

() 设对任意 ,,则对任意 有

于是对任意 ,

注意到 是自伴算子:因为 ,,所以 。在复 Hilbert 空间中,若自伴算子 满足 对所有 成立,则 。下面给出论证:

对任意 ,考虑极化恒等式

由 得

从而 对任意 成立,故 。因此 ,即 为正规算子。

综上,命题得证。

习题 3.29

设 为复 Hilbert 空间, 为正规算子. 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 由于 是正规算子,即 。考虑 ,则 。容易验证 也是正规的: 由 得 。

对于正规算子 ,有 对所有 成立。这是因为

于是

因此 当且仅当 ,即 当且仅当 。从而

证毕。

赋范空间中的基本定理

以下内容由 DeepSeek v3.2 Speciale 辅助整理

Hahn-Banach 定理

次线性泛函

设 为线性空间,函数 称为次线性泛函,如果满足:

  1. ;
  2. .

半范数

设 为线性空间,函数 称为半范数,如果满足:

  1. ;
  2. ;
  3. .

实线性空间上的 Hahn-Banach 定理

设 为实线性空间, 为 上的次线性泛函, 为 的线性子空间, 满足
则存在 使得 ,且

复线性泛函的表示

设 为复线性空间,,记 ,则 ( 视为实线性空间)且
反之,给定 ,由上式定义的 属于 .

半范数控制的 Hahn-Banach 定理

设 为 或 上的线性空间, 为 上的半范数, 为 的线性子空间, 满足
则存在 使得 ,且

赋范空间上的保范延拓定理

设 为赋范空间, 为 的线性子空间,( 上的连续线性泛函)。则存在 使得 ,且 .

非零连续线性泛函的存在性

设 为赋范空间,,. 则存在 使得 且 .

推论
设 为非零赋范空间,,则

共轭算子

设 为赋范空间,. 定义 为
则 ,且 .

典范映射与自反空间

定义 为
是线性等距嵌入(),称为典范嵌入. 若 是满射,则称 为自反空间.

可分性的传递

设 为赋范空间,若 可分,则 可分.


一致有界性定理

一致有界性定理(共鸣定理)

设 是 Banach 空间, 是赋范空间,. 如果对每个 有
则


强收敛与弱收敛

强收敛

在赋范空间 中,序列 强收敛于 (记作 )是指 .

弱收敛

在赋范空间 中,序列 弱收敛于 (记作 )是指

弱*收敛

在对偶空间 中,序列 弱*收敛于 (记作 )是指


开映射定理和闭图像定理

开映射

设 为拓扑空间,映射 称为开映射,如果 中任意开集 的像 是 中的开集.

开映射定理

设 是 Banach 空间, 为满射,则 是开映射. 特别地,若 是双射,则 .

等价范数定理

设 是线性空间, 和 是 上的两个范数,且 与 都是 Banach 空间. 若存在 使得
则存在 使得
即两个范数等价.

闭算子

设 为赋范空间, 为线性算子,定义域 . 称 为闭算子,如果其图像
是 中的闭集.

闭图像定理

设 是 Banach 空间, 是闭线性子空间, 是闭算子,则 是有界线性算子(即连续).


在逼近论中的应用

(本章最后简要讨论了 Hahn-Banach 定理在逼近论中的若干应用,例如最佳逼近的存在性等.)

习题 1

设 为赋范空间 上的次线性泛函,满足 ,且在 处连续,求证: 为连续映射

解答

为次线性泛函,即 且 ,其中 。

已知 在 处连续,即 ,使得 , 时,。

对于任意 ,有

故 在 处连续,故 为连续映射。

习题 2

设 为线性空间,,使得任取 ,有 。求证: 为 上的半范数。

解答

回顾半范数定义: 满足

对比题设,只须证明 1 也成立

取 ,易得 。再取 ,则 ,因此任一对 中至少有一个非负。

又 ,故 ,故 为 上的半范数。

习题 4.3

设 固定, 考虑 的线性子空间 及 上的线性泛函 . 求出所有 到 上的线性延拓及相应线性泛函的范数, 其中 赋予范数 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答

设 上赋予 Euclid 范数 ,则它是一个 Hilbert 空间,其内积为 。由 Riesz 表示定理,任意连续线性泛函 均存在唯一的 使得 ,且 。

子空间 ,其上的泛函 已给出。设 为 到 上的任一线性延拓,则存在 使得

限制在 上须满足

因此 , ,而 可取任意实数。记 ,则延拓后的泛函为

相应泛函的范数为

因此, 到 上的所有线性延拓由参数 给出,每个延拓的范数如上式。

习题 4

设 为赋范空间, 为 的线性子空间,。求证: 当且仅当任取 时,。

解答

充分性

,故 。

,则 连续,故 。

。

必要性

假设 ,则 。

由 Hahn-Banach 定理,。这与 矛盾。

构造这一泛函可见 is in the closure of iff there is no bounded linear functional on

习题 5

设 为可分赋范空间,求证:存在 单位球面的可数子集 ,使得任取 ,有 。

解答

记 为 的单位球面。

可分,即 为可数集,且

由 Hahn-Banach 定理,。

构造集合 ,则 为可数集 为可数集,且 。故 为 的可数子集。

。

,即 。

由 的任意性,。

习题 6

设 为赋范空间,。求证: 当且仅当 为 的闭线性子空间。

解答

充分性

,故 ,故 为 的线性子空间。

,由 知 连续,故 ,故 ,故 为 的闭线性子空间。

必要性

为 的闭线性子空间,故 。

若 ,则 。

若 ,则 不稠密,故 。

假设 ,则 不是有界集,进而 不是有界集。

。取 ,则 ,由 可任意大,故 可任意小,故 。

又 ,即 ,与 矛盾。

故 。

习题 7

设 为赋范空间, 为 的非空子集,求证:若 ,则 。

解答

设 ,则 。

由 Hahn-Banach 定理,。

由 ,,其中 。则有

由 ,则 。进而 ,由 的任意性,,故 。这与假设矛盾,故 。

习题 4.8

设 为赋范空间, 为 的线性子空间, , 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:记 。
任取 满足 且 。对任意 ,由于 ,有
从而
上式对每个 都成立,故
由于 是满足条件的任意泛函,对上式取上确界得
即
不等式得证。

习题 4.9

考虑 的线性子空间 . 求证: 任取 在 中无最佳逼近元.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明. 定义线性泛函 (或 )为 因为 ,对任意 有 故 连续且 。取 (前 项为 ),则 ,且 所以 。

设 ,则 是 的闭线性子空间。任取 ,记 。下面证明 。

下界:对任意 ,,于是 故 。

上界:对每个 ,令 (前 项为 ),则 且 。取 则 ,即 。于是 因此 。综上 。

现假设存在 使 。令 ,则 ,且 。记 ,,并记 ,则 ,,且 于是 故两个不等式均取等号。

由第一个等号 可知,存在常数 使得 对所有 成立(即所有 具有相同的辐角);特别地,在实数情形下所有 同号。

由第二个等号 ,并注意到 且 ,若存在某个 使 ,则 矛盾。因此对一切 ,。

结合两点,得 (实数情形为 且符号一致),即 为常数序列。但 要求 ,这与 矛盾。

因此假设不成立,不存在 使得 ,即 在 中无最佳逼近元。∎

习题 4.10

设 为赋范空间, 为 的线性子空间, 令 . 若 为 的闭线性子空间, 且 . 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 设 为赋范空间, 为 的线性子空间,记 若 ,定义其预零化子为 容易验证 恒成立。

以下引理是 Hahn–Banach 定理的直接推论:

引理 若 是 的闭线性子空间,则 。

引理的证明:只需证 。取 ,因 闭,故 。由 Hahn–Banach 定理(保范延拓),存在 满足 ,,且 。于是 而 ,从而 。因此 。

现在设 为 的闭线性子空间,且 。若假设 ,则 由引理知 ,,故 ,与已知矛盾。所以 。 ∎

习题 4.11

设赋范空间 包含 个线性无关的元素, 求证: 也包含至少 个线性无关的元素.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 为 中 个线性无关的元素。令 ,则 是 的有限维子空间,因而是闭子空间。在 上,任意线性泛函自动连续。

对每个 ,定义 ( 或 )如下:对任意 ,令 由于 线性无关,表示系数唯一,故 是良定义的线性泛函,且在有限维空间 上连续。

由 Hahn–Banach 定理,存在连续线性泛函 使得 (且可保持范数,但此处延拓存在性已足够)。

现证 在 中线性无关。设有标量 使得 则对任意 ,。特别地,取 (),得 因此 对所有 成立,故 线性无关。从而 包含至少 个线性无关的元素。∎

习题 4.12

设 为赋范空间 的非空子集, 求证: 在 中为完全集当且仅当在 上恒为 0 的 在 上也恒为 0.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 非空,记 为其生成的线性子空间。
称为完全的,即 。


必要性():
若 ,取 满足 。由于 为线性泛函, 推出 。
又 连续,而 在 中稠密,故对任意 存在 使 ,从而

因此 。


充分性():
假设对任意 ,若 则 。
用反证法:若 不稠密,即 ,则存在 。
由于 是 的闭线性子空间,且 ,故 。
考虑子空间 ( 为实数域或复数域),并在 上定义线性泛函

对任意 ,

从而 ,故 有界。
由 Hahn-Banach 定理, 可延拓为 ,且 ,。
特别地,。按假设应有 ,但 ,矛盾。
因此 ,即 为完全集。


综上,结论成立。

习题 13

设 为赋范空间, 为其共轭算子。求证:。

解答

记 ,则 。

故 。

习题 14

设 为度量空间,求证: 为无处稠密子集当且仅当 为 的稠密子集。

解答

充分性

无处稠密,即 无内点。

假设 不稠密,即 使得 ,即 ,即 为 的内点,与 无内点矛盾。

故 稠密。

必要性

稠密,即 。

假设 不是无处稠密子集,即 为内点,则 ,与 稠密矛盾。

故 为无处稠密子集。

习题 15

证明:非空完备度量空间的第一范畴子集的余集必为第二范畴子集

解答

记 为非空完备度量空间。

为第一范畴子集,即 ,其中 为无处稠密子集。

,其并为 ,故第一范畴子集的并仍为第一范畴子集。

由 Baire 定理, 本身为第二范畴的,故 ,其余集 必为第二范畴子集。

习题 16

设 为赋范空间 中的一列元,任给 , 都为纯量有界列。求证: 为有界列。

解答

考虑典范映射 ,其中 。

为 Banach 空间,且 ,故由一致有界性原理,。

由典范映射的性质,,故 ,即 为有界列。

习题 17

设 为 Banach 空间, 为赋范空间, 为一列有界线性算子,设任取 , 都是 中的 Cauchy 列。求证:存在常数 ,使得任取 ,。

解答

为 中的 Cauchy 列,即 。

故 ,即 有界。

为 Banach 空间,故由一致有界性原理,,即 ,使得 ,。

习题 18

在上题中又设 为 Banach 空间,求证:存在 使得任取 , 且 。

解答

为 中的 Cauchy 列, 为 Banach 空间,故 ,使得 。

由于极限唯一,故可定义 。下证 。

,有

故 为线性算子。再验证其有界。

为 Cauchy 列,则为有界列,即 。又由一致有界性原理,。

故 。即 。

习题 19

设 为 Banach 空间, 为赋范空间, 为一列有界线性算子。证明下述命题相互等价:

  1. 存在
  2. 任取 为 中的有界列
  3. 任取 为纯量有界列

解答

1 2

。

故 为有界列。

2 3

由 ,且 ,故 为纯量有界列。

3 1

考虑典范映射 ,其中 。则由 为纯量有界列,有 为纯量有界列。

为 Banach 空间,则由一致有界性原理,。

由典范映射的性质,,则 。

仍为 Banach 空间,故由一致有界性原理,。

从而存在 。

习题 4.20

设 为赋范空间, . 求证 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:令 ,其闭包记为 。由于每个 都是集合 中的元素,显然 。已知 ,即对任意 ,存在 使得当 时 。特别地,取 ,则有 且 。这表明 可以被 中的点任意逼近,因此 属于 的闭包,即 。故

习题 4.21

设 为赋范空间, . 求证: 存在 为 的线性组合, 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是赋范空间, 满足 (即对任意 有 )。要证存在 的有限线性组合(事实上可取为凸组合) 使得 (依范数收敛)。

记 为序列的凸包, 为其范数闭包。下证 。

若不然,。由于 是闭凸集,根据 Hahn-Banach 严格分离定理,存在连续线性泛函 和实数 使得 特别地,对每个 有 。但由弱收敛性知 ,从而 这与 矛盾。故 。

由闭包的定义,存在序列 满足 。而 中的元素都是有限个 的凸组合,即对每个 存在正整数 和非负系数 满足 ,使得 这就得到了所需的线性组合序列 ,且其强收敛于 。∎

习题 4.22

设 . 求证: 点点收敛到 , 即任取 , 有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:对于任意固定的 ,定义线性泛函 (或 )为 由于 因此 是有界线性泛函,且 ;取常值函数 ,则 ,故 ,从而 。

已知 弱收敛于 ,即对任意 ,有 。特别地,取 ,得到 因此,对每个 ,,即 点点收敛到 。

习题 4.23

设 为赋范空间, . 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
因为 ,所以 是有界线性算子,存在常数 使得对任意 有

已知 ,即 。
由 的线性性,

从而

因此 在 中。
∎

习题 4.24

设 为赋范空间 , 假设 , 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 是赋范空间,,,且 ,,(即 ,,)。

(1) 证明 。

由范数的三角不等式, 因为 ,,所以右端趋于 ,从而 即 。

(2) 证明 。

考虑分解 再次利用三角不等式及范数的齐次性, 由于 ,数列 有界,即存在 使得对所有 有 。于是 已知 ,,故右端趋于 ,从而 即 。

习题 4.25

设 为可分 Banach 空间, 为有界集. 求证: 中任意序列均有子列弱星收敛到 中某元.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是可分 Banach 空间, 为有界集。任取序列 ,需证存在子列 及 ,使得对任意 有 (即弱收敛)。

1. 准备工作
因 可分,存在可数稠密子集 。又 有界,故存在常数 ,使得 对所有 成立。

2. 对角线法选取子列
考虑数列 ,它是有界数列(),从而存在收敛子列。记该子列为 ,即 是 的子列且 存在。

对 ,从 中又可取出子列 ,使得 存在,且由于 是 的子列,它在 上依然收敛。

依此类推,对每个 ,可构造子列 ,满足:

  • 是 的子列(约定 ),
  • 对每个 ,极限 存在。

现取对角线子列 ()。对任意固定的 ,当 时, 属于第 次抽取的子列 中,因此 收敛。于是,子列 在稠密子集 上逐点收敛。

3. 证明 在每点 收敛
任取 和 。由稠密性,存在 使得 。因为 收敛,故是 Cauchy 列,存在 ,当 时 于是对 , 所以 是 Cauchy 数列,从而收敛。记

4. 验证

  • 线性:对任意 和 ,
  • 有界性:对任意 , 故 ,从而 。

5. 弱收敛性
由 的定义,对任意 有 ,即子列 弱收敛于 。

综上, 中任意序列都存在弱收敛子列,且极限属于 。

习题 4.26

设 为赋范空间, 为闭线性算子, 求证:

(1) 为 的闭线性子空间;

(2)若 为一一映射, 则 也为闭线性算子;

(3) 将 的紧集映射到 的闭集;

(4) 中紧集通过 的逆像为 的闭集.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明. 设 为赋范空间, 为闭线性算子, 即其图 是乘积空间 中的闭集. 乘积空间赋予范数 (或任何等价范数), 此时收敛等价于按分量收敛.


(1) 核 显然是 的线性子空间. 为证其闭, 取 且 于 . 由于 , 故 . 因为 闭, 必有 , 即 , 从而 . 故 是闭子空间.


(2) 若 是单射, 则逆算子 存在且为线性算子. 我们证明 也是闭算子. 考虑其图 设 且 于 . 则 , , . 由于 闭, 由 且 得 , 从而 , 即 . 因此 闭, 故 为闭线性算子.


(3) 设 为紧集. 欲证 为 中闭集. 取 且 于 . 则存在 使 . 因为 紧, 存在子列 和 满足 . 由 知 . 于是 闭蕴涵 , 即 . 故 闭.


(4) 设 为紧集. 欲证 为 中闭集. 取 且 于 . 则 . 由于 紧, 存在子列 和 使 . 又 , 从而 由 闭得 , 故 , 即 . 因此 闭.


以上完成了全部证明.

习题 27

设 为 Hilbert 空间, 为线性算子,满足 。求证:。

解答

由 为 Hilbert 空间,任意收敛列 ,,并记 。下证 。

从而 为闭算子,由闭图像定理,。

习题 28

设 为 Banach 空间, 为 的闭线性子空间,假设任取 ,存在唯一的 使得 。求证:存在 使得 。

解答

由 ,则 。

定义 。

由 为 Banach 空间, 为闭线性子空间,有 也为 Banach 空间, 为 Banach 空间。

由 的唯一性与存在性, 为双射。

由开映射定理,。则有

从而 。

习题 4.29

设 为赋范空间, 为线性算子, 求证: 为闭算子当且仅当任取 , 都有 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 为赋范空间, 为线性算子(定义域为全空间 )。

必要性:若 为闭算子,即图 在 中闭。任取序列 满足 且 。由于 且 ,而 闭,故 ,从而 (线性算子必有 )。因此 。

充分性:假设对任意 ,若 且 ,则必有 。为证 闭,任取 使得 且 。令 ,则 。由 的线性性, 因为 且 为常向量,故 。对序列 ()应用假设条件,得到其像的极限必为零,即 ,所以 。这说明只要 且 ,就有 ,因此 闭, 为闭算子。

综上,所述等价性成立。

习题 4.30

设 为赋范空间 为闭算子. 求证: 为闭算子.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:
设 。要证 是闭算子,只需证明:对任意 ,若 于 且 于 ,则 且 。

因为 是有界线性算子,故 连续。由 得 。又已知 ,于是 现在 , 且 。由于 是闭算子,根据闭算子的定义有 且 。从而 ,且 。

因此 是闭算子。

习题 4.31

设 为 Banach 空间, 为赋范空间, 为线性子空间, 为闭算子, 假设 为一一映射且 , 求证: 为 的闭线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:显然 是 的线性子空间。只需证明它是闭的。

设 且 。由于 是单射,存在唯一的 使得 。因 是有界线性算子,故存在常数 使得 于是对任意 有 由于 收敛,它是 Cauchy 列,从而 也是 中的 Cauchy 列。 是 Banach 空间,故存在 使得 。

考虑序对 ( 是 的图像)。由 是闭算子, 在 中闭。而 ,因此 。这意味着 且 ,所以 。

这就证明了 是闭集。∎

习题 4.32

设 为 Banach 空间, 为线性子空间, 为线性算子. 求证下述命题相互等价:

(1)存在闭算子 , 使得 (此时称 为 的闭延拓);

(2) 若 , 则 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明.
记 为 的图. 由于 是线性的, 是 的线性子空间. 其闭包 在 中为闭线性子空间 (因为赋范空间中线性子空间的闭包仍是线性子空间).

下证 (1) (2).


假设 蕴含 . 因为 是闭线性子空间, 由该单值性条件可知 是一个线性算子的图. 具体地, 定义

并对每个 , 令 , 其中 是唯一满足 的元素 (唯一性由条件 保证). 易验证 是 的线性子空间且 是线性算子. 由构造 , 故 的图是闭集, 即 是闭算子. 此外, 对任意 , , 从而 且 , 因此 是 的闭延拓. 这就得到 (1).


设存在闭算子 使得 . 由于 是线性算子, 有 , 故 . 若 , 则必有 , 所以条件 (2) 成立.

综上, (1) 与 (2) 等价.

习题 4.33

设 为 Banach 空间, 为有界线性算子且为单射. 求证: 为有界线性算子当且仅当 为 的闭线性子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:
设 为 的值域。因 是单射,逆映射 存在且为线性算子。下面证明 有界当且仅当 是 的闭子空间。


必要性():若 有界,则存在常数 使得对任意 有 。于是对任意 ,

现证 闭。取 且 ,需证 。令 ,则 且 由于 收敛,故为 Cauchy 列,从而 是 中的 Cauchy 列。因 完备,存在 使 。由 的连续性得 。但 ,由极限唯一性知 。所以 是闭集。


充分性():若 是 的闭线性子空间,则 也是 Banach 空间(作为完备空间的闭子空间)。考虑算子 ,它是有界线性算子(因 且 ),并且是单射和满射。由开映射定理(或逆算子定理), 是开映射,故其逆 有界线性。


综上, 有界当且仅当 闭。

习题 4.34

设 为 Banach 空间, 为有界线性算子且为一一映射. 求证: 存在常数 , 使得

解答

解答使用 DeepSeek v3.2 Speciale 生成

由于 和 均为 Banach 空间, 且为双射(一一映射),根据逆算子定理(开映射定理的直接推论), 的逆算子 ,即存在常数 使得

对任意 ,令 ,则 从而

又因为 有界,存在常数 使得

取 ,即得

习题 35

设 为 Banach 空间, 为线性算子。设任给 ,对每个 ,都有 。求证 。

解答

考虑使用闭图像定理,故先须证明 为闭算子。

,须证明 。

取 ,则 ,,。

又 ,故 。

从而 为闭算子,由闭图像定理,。

习题 36

设 为 Banach 空间 中的序列,任取 ,都有 。求证:存在常数 使得 。

解答

考虑典范映射 ,其中 。

令 ,其中 ,即 ,则有

则 。由典范映射的性质,,故 。

取 ,则有

再令 , 即为所求。

习题 37

设 为数列,假设任取 ,级数 均收敛。求证 。

解答

定义一列泛函 ,现证 。

,有

再证其有界性:

故 有界,且 。

取 ,其中 在第 位,则 ,且 ,故 ,即 。

综上,。

,由一致有界性原理,。

故 ,即 。

习题 4.38

设 为自反 Banach 空间, 为 的闭线性子空间. 求证: 也为自反 Banach 空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明.
设 为自反 Banach 空间, 为闭线性子空间. 记 与 分别为典范嵌入: 已知 是等距同构, 是等距嵌入. 要证 自反, 只需证 是满射.

令 为包含映射, 则 为线性等距. 其对偶算子 定义为 即 . 由 Hahn–Banach 定理, 任意 均可延拓为 上的有界线性泛函, 故 是满射.

考虑 的双重对偶算子 : 为线性等距嵌入. 直接计算可知下图交换: 即对任意 和 , 故 .

任取 , 令 . 由于 自反, 存在唯一 使得 . 以下证明 且 .

第一步: .
对任意 满足 (即 ), 有 若 , 因 闭, 由 Hahn–Banach 定理存在 使 但 , 矛盾. 故 .

第二步: .
对任意 , 由 满射, 取 满足 . 则 因为 且 , 有 . 于是 即 .

因此 是满射, 从而为等距同构. 故 是自反 Banach 空间.

习题 4.39

设 为自反 Banach 空间, 为 的闭线性子空间. 求证: 商空间 也为自反 Banach 空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 为自反 Banach 空间, 为闭线性子空间,记商映射 ,,商范数为 。

首先回忆对偶关系:,其中 。具体地,对任意 ,定义 为 ,则映射 是等距同构。

第一步:构造等距 。
考虑包含映射 。其对偶 为限制算子:。由于 自反,自然嵌入 是等距同构。定义 为 ,即 易见 是线性有界算子。由 Hahn‑Banach 定理的推论, 故 。此外,(因为 )。因此 诱导出等距线性同构 即 对所有 成立。

第二步:证明 是满射。
任取 。因为 是 的闭子空间,由 Hahn‑Banach 延拓定理,存在 使得 且 ,即 。利用 的自反性,存在 满足 。于是 故 是满射,从而是等距同构 。

第三步:识别双对偶。
由 ,可得 (具体地,若 为标准等距同构,则其伴随 也是等距同构)。直接验证可知 等于自然嵌入 :对任意 和 ,设 ,则 因此 。由于 和 均为等距同构, 也是等距同构,即 是满射。这就证明了 是自反 Banach 空间。

习题 40

设 为 Banach 空间,,假设任取 ,都有 。求证:存在 ,使得任取 ,有 。

解答

取 ,则 ,有

故 。由一致有界性原理,。

,有

令 ,则 即为所求。

习题 4.41

设 为赋范空间, 为线性算子, 也为线性算子. 假设任取 , 有 . 求证: 均为有界线性算子.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 设 为赋范空间, 与 均为线性算子,且满足


1. 是有界算子

首先证明 是闭算子。取序列 使得
其中 , . 对任意 , 由 在 中(依范数)可知 ;由 在 中可知 . 但 , 故 因此 , 从而 的图像是闭的。

由于 和 均为 Banach 空间(对偶空间总是完备的),闭图像定理表明闭线性算子 是有界的,即存在常数 使得


2. 是有界算子

对任意 , 由 Hahn-Banach 定理, 利用条件 及 的有界性可得 因此 是有界线性算子,且 .


综上, 和 均为有界线性算子。

习题 4.42

设 为严格凸赋范空间. 求证: 任取 满足 及 , 均有 成立.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 设 为严格凸赋范空间,即对任意满足 且 的 均有

任取 满足 , 以及 .欲证 .

采用反证法.假设存在 使得 定义函数 为 范数是凸函数,故 是凸函数,且 , .

由凸性,对任意 及 有

现在 .我们断言:此时必有 对所有 成立.若不然,存在 使得 . 分两种情况讨论.

  • 情形一:.取 ,则 . 由凸性, 因为 且 ,右端 ,从而 ,矛盾.

  • 情形二:.取 ,则 . 由凸性, 同理,右端 ,导致 ,矛盾.

因此 对所有 成立.特别地,取 得 但这与严格凸的定义( 时中点范数应严格小于 )矛盾.

故假设不成立,从而对任意 均有

∎

习题 4.43

设 为严格凸赋范空间. 求证: 如果 的非零元 满足 , 则必存在正数 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

由于 且 ,故 。由 Hahn-Banach 定理,存在 使得 且 利用条件得 又由 ,,故 从而等号处处成立。因此 且 ,这表明复数 与 同向(即存在 使 )。结合 可知 与 均为正实数,故

令 , ,则 且 , 。若 ,则由 的严格凸性有 但 ,且 ,故 从而 ,矛盾。因此必有 ,即 取 ,即得 。

习题 4.44

设 为赋范空间, 假设任取 的非零元 满足 , 必存在正数 , 使得 . 求证: 为严格凸的.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

要证 是严格凸的, 按定义需证:对任意 , 且 , 必有 .

采用反证法. 若 不是严格凸的, 则存在 , , , 但 .
由范数的正齐次性, , 故 . 而 , 所以 均为非零元, 由题目条件, 存在正数 使得 .
两边取范数得 , 即 , 所以 . 于是 , 与 矛盾.

因此假设不成立, 是严格凸的.

习题 4.45

求证: Chebyshev 多项式 是微分方程 的一个解.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

令 ,其中 ,则切比雪夫多项式定义为 。
计算关于 的一阶和二阶导数(利用参数 ):

  • ,
    ,

故

  • 再求二阶导数: 先计算
    于是
    整理得

现在代入微分方程
注意到 ,并利用上面求得的 , , :

将三项相加:

因此 满足给定的微分方程。

习题 4.46

求证: Chebyshev 多项式 的所有零点均是实数, 总在 中, 且均为单重的.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是第一类 Chebyshev 多项式,它满足递推关系
由归纳法可验证恒等式

令 ,并设 ,则 ,从而
即
取 ,得到 个不同的 ,对应的
是实数且 。直接计算得
故每个 都是 的零点。

由于 是 次多项式,它至多有 个零点(计重数)。现已经找到 个互异的实零点,因此这些就是 的全部零点,且每个都是单重的。

综上所述,Chebyshev 多项式 的所有零点均为实数,全在区间 中,且均为单重零点。

习题 4.47

求证: Chebyshev 多项式 与 没有公共零点.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是第一类切比雪夫多项式,由递推关系定义: (此递推可由三角恒等式 得到。)

当 时, 无零点,故 与 显然没有公共零点。

现设 。假设存在 使得 且 。由递推关系 代入假设得 ,即 。

重复此过程:利用 和 ,由递推关系 可得 ,故 。依次类推,最终可得到 且 。但 恒不为零,矛盾。

因此假设不成立,故对任意 , 与 没有公共零点。

习题 4.48

设区间 的分划 的结点为 . 求证: 存在唯一的 个三次样条 , 使得 问: 在线性空间 中线性无关吗?

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:
设分划 ,记 。考虑满足边界条件 的三次样条函数全体构成的线性空间

对任意给定的数组 ,我们欲寻找 使得 。令 。利用分段三次 Hermite 插值公式,在区间 上可表示为

计算导数并利用一阶导数在内部结点连续及边界条件 ,可得关于 的线性方程组:

该方程组的系数矩阵为 三对角矩阵。由于 ,容易验证矩阵是严格对角占优的:

  • 第一行对角元 ,非对角元之和为 ,故 ;
  • 内部第 行对角元 ,非对角元之和 ,故 ;
  • 最后一行对角元 ,非对角元之和 ,故 。

严格对角占优矩阵可逆,因此方程组 (2) 对任意右端项有唯一解 。将解代入 (1) 即得满足要求的唯一三次样条 。

特别地,取 ( 固定,),则存在唯一的 使得

这就证明了符合条件的三次样条 存在且唯一。


线性无关性:考虑集合 (若 表示更大的三次样条空间,结论同样成立)。设 (零函数),则对任意结点 有

从而 。故 线性无关。

习题 4.49

若区间 上的三次样条 为三阶连续可导函数, 求证: 必为多项式.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
设 是区间 上的三次样条函数。即存在划分 使得 在每个子区间 上为次数不超过 的多项式,且 (二阶导数连续)。又已知 (三阶导数连续)。

  1. 三阶导数为常数
    在每个开区间 上, 是三次多项式,故其三阶导数 在该区间上为常数,记作 。由于 在 上连续,特别地在节点 处有 左极限等于 ,右极限等于 ,因此 。递推可得所有 相等,记公共常数为 。从而在整个 上

  2. 二阶导数为线性函数
    由 (1) 式积分,在 上有 其中 为常数。因 连续,在节点 处满足 故 。于是所有 相等,记公共常数为 。因此

  3. 一阶导数和函数本身为多项式
    对 (2) 积分,并利用 的连续性可得 在整个 上为二次多项式;再积分一次并利用 的连续性可得 为三次多项式(若 )或更低次多项式。总之, 在 上是一个多项式。

综上,若三次样条 具有连续的三阶导数,则 必为多项式。∎

习题 4.50

在 的相邻子区间上, 样条函数用同一个多项式来表示是可能的, 试举例说明. 对应于区间 的分划 , 求 的满足条件 (4.47) 及(4.51) 的三次样条函数 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

第一部分:举例说明

在区间 上取分划 ,定义函数

在每个子区间 和 上都是同一个一次多项式 。它属于 (其二阶导数恒为零),因此是一个三次样条函数(一次多项式可视为三次多项式的特例)。这说明样条函数在相邻子区间上可以用同一个多项式表示。


第二部分:求样条函数

考虑区间 ,分划 ,函数 。按教材条件,

  • (4.47) 为 插值条件:;
  • (4.51) 为 自然边界条件:。
    同时 是三次样条,即 且在每一子区间上为三次多项式。

设在 上 ,
在 上 。

1. 插值条件

2. 连续性条件

3. 自然边界条件


求解未知系数
由 (2)、(3) 得 , 。

导数表达式:
, ;
, 。

由 (5):;由 (6):。

令 , 。

条件 (7):。
条件 (8):。

将 代入 (1) 和 (4):

(1)
代入 :,
合并 项:,得

(4)
代入 :,
即

联立 (A)、(B):相加得 ;代入 (B) 得 。
于是 , , , 。

因此

即在整个区间上

该函数显然满足所有插值、连续性和自然边界条件。由于三个节点 , , 共线,自然三次样条退化为线性函数,这也与第一部分的举例相呼应。

线性算子的谱论

以下内容由 DeepSeek v3.2 Speciale 辅助整理

5.1 基本概念及例子

5.1.1 基本定义

设 为非零复 Banach 空间, 是 的线性子空间, 是闭线性算子。对 ,记 。

  1. 特征值与点谱
    称为 的特征值(本征值),如果存在 , ,使得 。此时 称为相应于 的特征向量。所有特征值组成的集合称为 的点谱,记作 。

  2. 正则值与预解集
    若 是一一映射,则称 为 的正则值。全体正则值之集称为 的预解集,记作 。
    注:若 ,则 是闭算子,且由闭图像定理可知 。记 ,称为 的预解式。

  3. 连续谱与剩余谱
    设 (即 是单射但不满)。

    • 若 ,则称 为 的连续谱点,其全体记作 。
    • 若 ,则称 为 的剩余谱点,其全体记作 。
  4. 谱
    定义 的谱为 。
    易见 (不交并),且 两两不交。

5.1.2 例子

例 1(乘法算子)
取 (范数 ),定义 。则

  • ,,,
  • ,。

例 2(对角算子)
取 ,设 严格单调递减趋于 ,定义

则

  • ,
  • ,,
  • 。

5.1.3 预解式及其性质

定义(预解式)
对 , 称为 的预解式。

定理 1(预解式等式)
对任意 ,有

引理 1(von Neumann)
设 且 ,则 在 中可逆,且

定理 2(预解集为开集)
是 的开集。从而 是 的闭集。

证明思路
取 ,当 时,利用恒等式

及引理 1 证明 可逆,从而 。

定理 3(预解式的解析性)
映射 是 上的解析 -值函数,且

证明概要
利用预解式等式可得差商表达式

由 在 处的连续性(由定理 2 估计)知极限存在,导数为 。

5.1.4 向量值解析函数

为表述定理 3,需引入向量值解析概念。

定义(向量值连续与解析)
设 是开集,。

  • 在 连续:,当 时 。
  • 在 可导:存在 ,使得

    记 。若 在 上处处可导,则称 在 上解析。

注 若 解析,则对任意 , 是通常的复解析函数。

习题 5.1

设 固定, 考虑 上的算子 , 求 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

我们考虑复值连续函数空间 ,赋予上确界范数 。算子 定义为 ,其中 是固定的函数。下面求 的谱 。

定理:。

证明:记 。因为 连续且 紧,所以 是 中的紧集(从而是闭集)。

  1. 若 ,则 (预解集)。
    由于 ,对任意 有 。定义函数 。由于 是连续正函数,在紧集 上有正的最小值,故 连续且有界。定义乘法算子 为 。容易验证 是有界线性算子,并且

    即 。因此 。

  2. 若 ,则 。
    存在 使得 。考虑常值函数 。假设存在 满足 ,即

    则在 处有 ,矛盾。因此方程无解,说明 不在 的值域中,从而 不是满射,故 。
    (注:即使 为常数 ,此时 ,上述论证同样成立:当 时,,显然不可逆。)

综合 1 和 2 即得 。

结论:乘法算子 的谱恰为连续函数 的值域。

习题 5.2

设 . 求一个有界线性算子 , 使得 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

设 为定义在 上的复值连续函数空间,赋予上确界范数 。
定义算子 如下:

其中 。

1. 线性性: 对任意 和 ,

故 线性。

2. 有界性: 对任意 ,

因此 有界,且 。

3. 谱的计算: 记 为 的谱。
对任意 ,算子 为乘法算子:

  • 若 :
    则对任意 ,(当 为实数且不在 时, 恒不为零;当 有非零虚部时,其模恒为正)。
    此时 是 上的连续函数,因而有界。定义乘法算子 为

    容易验证 是 的有界逆算子,故 (预解集)。

  • 若 :
    由 的连续性及 ,存在 使得 。
    对任意 ,有 ,因此 的值域包含于子空间

    由于存在函数 满足 (例如 ), 不在该值域中,故 不是满射,从而不可逆(不存在有界逆)。因此 。

综上所述,。

习题 5.3

设 . 求证: 当 时, .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明
设 是 Banach 空间 上的有界线性算子,即 。当 时, 可逆,且其逆算子(预解式)可表示为 Neumann 级数:

对上述级数取范数估计:

其中最后一步利用了几何级数求和公式,并需要 。当 时,上式右端趋于 ,因此

即 按算子范数收敛到零算子。证毕。

习题 5.4

设 , 且 . 求证: 当 足够大时, , 且

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

设 为 Banach 空间, 且 。取 ,记 。

第一步:证明当 充分大时 。

注意到 因为 ,所以 故存在正整数 ,使得当 时 。此时算子 可逆,其逆由 Neumann 级数给出: 且满足估计 于是 可逆,且逆算子为 因此 对一切 成立。

第二步:证明预解式依算子范数收敛。

对于 ,计算 利用 Neumann 级数展开, 从而 当 时,,故上式右端趋于 ,即 在算子范数意义下成立。

习题 5.5

设 定义为 求证:

(1) 若 , 则 ;

(2) 若 , 则 , 此时求出相应的特征空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

解. 设 为左平移算子,即 容易验证 是线性算子且 (取 可得 ,而对任意 有 )。


(1) 设 ,证明 (预解集)。

第一步:证明 是单射。
若 ,则 对一切 成立,即 。递推得 。若 ,则 (因 ),与 矛盾。故 ,从而 。因此 为单射。

第二步:证明 是满射且其逆有界。
对任意 ,定义序列 如下: 由于 ,该级数绝对收敛: 故 且 。直接验证 : 因此 , 是满射。由构造知 有界且 从而 。

(注:亦可利用 Neumann 级数:因 ,级数 按范数收敛,给出 。)


(2) 设 ,证明 (点谱)并求特征空间。

考虑特征方程 ,即 从而 对一切 成立。递推得 取 ,则序列 。当 时, 故 且非零。因此 是特征值,。

特征空间由所有形如 的向量组成,即 特别地,当 时,,特征空间为 。

综上所述,结论得证。

习题 5.6

设 定义为 若 , 此时 还是 的特征值吗?

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答

若 ,则 不是 的特征值。证明如下:

设 满足 ,即 比较分量得 对任意 成立。递推可得 于是 若 ,则 发散,故要使级数收敛必须 ,从而 对所有 成立,即 。因此不存在非零的 满足 , 不是 的特征值。

习题 5.7

设 为 的特征值. 求证: 的某个 次方根是 的特征值.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 满足 ,即 。考虑多项式 ,在复数域上可分解为 其中 为 的 次方根(即 )。将 代入多项式,由多项式函数的演算可得 且各因子 彼此可交换。

假设对于每个 ,算子 都是单射。由于它们可交换,我们归纳地证明其乘积也是单射:若 单射且 ,则 单射(因为 ,而 单射故 ,又 单射得 )。因此 为单射。但 且 ,这与单射性矛盾。

从而存在某个 使得 不是单射,即存在非零向量 满足 ,亦即 。故 是 的特征值,而 是 的一个 次方根。证毕。

习题 5.8

设 满足 . 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:由于 且 , 是非平凡的幂等算子(投影)。下面分两步证明 。


第一步:。

设 ,我们构造 。注意到 ,且在 上 ,在 上 。定义 直接计算可得对任意 , 类似地 ,故 。因此当 时, 可逆,从而 。于是 。


第二步:。

  • :若 ,则 可逆。在等式 两边左乘 得 ,与 矛盾。故 。

  • :若 ,则 可逆。由 左乘 得 ,与 矛盾。故 。


综合第一步和第二步,即得 。

习题 5.9

设 . 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:采用预解式的定义 (此时 当且仅当 可逆)。由于 且 ,则 和 均为有界线性算子。

由逆算子的性质,

考虑

提取公因式 和 ,得

因为 ,所以

这就完成了证明。

习题 5.10

设 为多项式. 证明下述命题相互等价:

(1) 任取 , 存在唯一的 满足 ;

(2) 任给 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明: 以下设 为 Banach 空间,, 为一多项式.

首先指出,条件 (1) 等价于 可逆.事实上,若 (1) 成立,则 为双射,由逆算子定理知 ,故 可逆;反之,若 可逆,则对任意 存在唯一 满足方程.因此以下只需证

为证此,先建立一个引理.

引理:设 且 .若 可逆,则 和 均可逆.

引理的证明:令 ,则 .由 知 有右逆 ;由 知 有左逆 .现证 也可逆.因 ,故 是单射:若 ,则 推出 .又 ,由 单射得 ,即 .于是 也是 的左逆,从而 可逆.既然 可逆且 可逆,则 可逆(注意 与 交换).引理证毕.

利用引理可立即得到:若 两两交换且乘积 可逆,则每个 可逆(对 归纳即得).

现在证明谱映射定理:

设 ,将多项式 分解为

其中 为 的根(重根按重数列出).于是

由于诸因子 彼此交换,根据上述推广的引理, 可逆当且仅当每个 可逆.因此

而 满足 ,故 .反之,若 且 ,则 必为某个 ,从而 不可逆,得 .这就证明了 .

现在完成等价性证明:

  • 若 可逆,则 .由谱映射定理 ,即对任意 有 ,此即 (2).
  • 若对任意 有 ,则 ,故 可逆,从而 (1) 成立.

综上,命题 (1) 与 (2) 等价.

习题 5.11

设 为非零复 Banach 空间, . 若存在 , 使得 , 则称 为幂零算子. 若 为幂零算子, 求 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

解 由于 是幂零算子,存在正整数 使得 。

方法一(谱半径)
对任意 有 ,从而谱半径
谱 中任意数的模不大于 ,故 。
若 可逆,则由 可得 ,递推可得 ,进而 ,与 矛盾,所以 。因此

方法二(直接构造逆)
当 时,因为 ,Neumann 级数截断为有限和:
容易验证它是有界算子且确实为 的逆,故 。因此 。

综上,幂零算子 的谱为 。

习题 5.12

考虑 的子集 为一一映射 . 求证: 为 的开集.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:设 是 Banach 空间.对任意 , 是双射.由开映射定理, 是开映射,从而其逆算子 存在且连续,故 .取 (若 ,结论平凡成立).

对任意 满足 ,令 ,则 因此 可逆,其逆由 Neumann 级数给出: 于是 可逆,且 ,从而 是双射,即 .

这说明以 为中心、 为半径的开球包含于 ,故 是 中的开集.∎

习题 5.13

设 , 且 . 求证:

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

首先回忆谱半径的定义:对于 ,


1. 证明 .

利用谱半径的极限表达式。对任意 ,有 从而 取 次根并令 ,得到 因为 ,. 同理,由 可得 . 故 .


2. 证明 .

由于 ,容易用归纳法证明对任意 有 . 事实上, 显然;假设 ,则 其中用到了 与 可交换(由 可得 与 的各次幂均交换). 因此 取 次根: 令 ,利用谱半径的极限公式即得


综上所述,在 的条件下有

习题 5.14

设 . 求证 :

(1) 任取 ;

(2) 存在 , 使得 , 且任取 ,

解答

解答使用 DeepSeek v3.2 Speciale 生成

(1) 对任意 ,若 ,则 。于是 故 。因此 。

(2) 记 。对 令 。由 (1) 知 ,且 是闭子空间(因 连续)。假设结论不成立,即对每个 均有 。则由 Riesz 引理,对每个 存在 使得 且 。

现取 。注意到:

  • ,故 ;
  • (因 ),从而 ,且 。 因此 。

由于 ,有 于是 记 。因 且 ,得 。从而 故 中任意两项的距离不小于 ,它没有 Cauchy 子列,因而没有收敛子列。但 是紧算子, 有界, 必有收敛子列,矛盾。所以存在 使得 。

下证对任意 有 。由 出发: 取 ,则 ,于是 ,即 。从而 ,故 。因此 ,结合 (由 (1))得 ,进而 。重复此推理可知对任意 均有 ,即 这就完成了证明。

习题 5.15

设 . 求证:

(1) 任取 ;

(2) 存在 , 使得 , 且任取 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

记 ,其中 为恒等算子。由于 是紧算子且 , 是 Fredholm 算子,且 。对任意正整数 , 可展开为 ,其中 为紧算子(因为它是 的多项式,而紧算子的多项式仍为紧算子)。从而 也是 Fredholm 算子,且 。故对每个 , 是有限维的, 是闭子空间,并且


(1)
对任意 ,
若 ,则存在 使得 ,因此 。
从而 。


(2)

第一步:核链的稳定性

考虑核空间的升链
假设对所有 都有 (真包含)。
对每个 , 是有限维闭子空间,且 是其真闭子空间。由 Riesz 引理,存在 满足 且 。

取 ,考察 。
注意到若 ,则 ,因为 。
于是 ,(因 ),从而 。

计算
移项得
由于 且 ,括号内的向量属于 ,记作 。因此
从而 对一切 成立。这说明 没有 Cauchy 子列,更不可能有收敛子列。
但 有界, 是紧算子,故 必有收敛子列,矛盾。

因此假设不成立,存在正整数 使得 。
进而可证对任意 有 (归纳:若 ,则 且反向包含显然,故相等)。

第二步:值域链的稳定性

由 Fredholm 性质,。记 。由第一步知存在 使得 。

另一方面,由 (1) 有 。于是对 ,
但 ,故必须 ;否则,若 是 的真子空间,由于二者均为闭子空间且余维有限,将导致 ,矛盾。

特别地,取 得 。
再对 归纳:若 ,则由包含关系 及 同样推出相等。故对任意 有 。

将 换回 即得所证。

习题 5.16

考虑 上的算子 . 求证: 不为紧算子.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明 构造一列有界连续函数 使得 没有收敛子列。

对 ,令

则 ,且当 时 (端点相接但内部互不相交)。定义 为

这是一个三角形函数,在区间中点 处取最大值 ,在 外恒为零。显然 ,故 为 中的有界序列。

对于算子 ,。由于 的支撑集含于 ,且这些区间互不相交,当 时 与 的支撑集也不相交。于是对任意 和任意 ,有 ,从而

现在估计 。在区间中点 处,,故

因此对任意 有

这表明 中任意两项的距离均大于 ,因而它没有 Cauchy 子列,从而也不可能存在收敛子列。由于 有界而 无收敛子列, 不是紧算子。

习题 5.17

设 为紧算子, 且 . 求证 : .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明. 由于 , 是幂等算子. 首先证明值域 是闭的: 设 且 , 则

故 , 因此 是 的闭子空间.

记 为 的单位闭球, 为 的单位闭球. 因为 闭, 也是 中的闭集.

对任意 , 由 知存在 使 , 从而

又 表明 , 因此 . 故 .

因为 是紧算子, 是相对紧集. 作为其子集, 也是相对紧的. 又 是闭集, 所以 是紧集.

在赋范空间中, 一个子空间的单位闭球是紧集当且仅当该子空间是有限维的 (Riesz 引理). 由此得 .

习题 5.18

设 为 的线性子空间, . 称 为 的不变子空间, 若 . 求证:

(1) 的特征空间均是 的不变子空间;

(2)若 为 的不变子空间, 则 也是 的不变子空间;

(3) 任取 和 都是 的不变子空间;

(4) 若 , 使得 , 则 和 均是 的不变子空间.

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

(1) 设 是 的一个特征值,特征空间 。
对任意 ,有 。 计算

故 ,即 。因此 , 是 的不变子空间。

(2) 若 为 的不变子空间,则 。 有界,故连续。任取 ,存在序列 使 。由 的连续性,
因 且 ,有 ,从而 是 中点的极限,故 。
此外,在赋范空间中线性子空间的闭包仍为线性子空间,所以 也是 的不变子空间。

(3) 固定 。

  • 零空间 :若 ,则 。于是

    故 ,即 。

  • 值域 :若 ,则存在 使得 。那么

    因为 。故 。

因此 与 均为 的不变子空间。

(4) 设 且 。

  • 零空间 :取 ,则 。由交换性,

    所以 ,即 。

  • 值域 :取 ,则存在 使 。利用交换性,

    故 。

因此 与 都是 的不变子空间。 ∎

习题 5.19

设 为 的不变闭子空间, 设 . 求证:

(1) 若 为紧算子, 则 也为紧算子;

(2) 若 为自伴算子, 则 也为自伴算子;

(3) ;

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明

(1) 设 为 Banach 空间, 是紧算子。任取 中的有界序列 ,则 也是 中的有界序列。由 的紧性知,存在子列 使得 在 中收敛于某 。由于 是 的不变子空间且为闭集,有 ,且极限 属于 。因此 在 中收敛,故 是紧算子。

(2) 设 是 Hilbert 空间,内积记为 ,且 。对于任意 ,有 所以 是对称算子。由于 是定义在 Hilbert 空间 上的有界线性算子,对称性等价于自伴性,因此 是自伴算子。

(3) 若 ,则存在非零元 使得 ,即 。这表明 是 的特征值,故 。因此 。

习题 5.20

设 是 Hilbert 空间, . 求证: 为到 某一闭子空间的正交投影当且仅当 为自伴算子且 为幂等的, 即 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:


(⇒) 设 是 到某个闭子空间 的正交投影算子,即对任意 , 是 在 上的正交投影。由正交投影的性质知 是线性有界算子。下证 满足 且 。

  1. 幂等性:任取 ,分解 ,其中 ,,则 。因为 ,其正交投影仍是 ,故 ,从而 。

  2. 自伴性:任取 ,作分解 ,,其中 ,。则 因为 ;又 因为 。因此 对一切 成立,即 。


(⇐) 设 满足 且 。令

第一步:证明 是闭子空间。
由于 幂等,容易验证 :

  • 若 ,则存在 使 ,于是 ,故 ;
  • 若 ,则 。
    而 连续,其核 是闭集,因此 是闭子空间。

第二步:证明 。
利用 的自伴性:对任意 , 故 。

第三步:验证 是到 的正交投影。
对任意 ,分解 由 知 ,故 ;同时 ,即 。根据第二步,,所以 。这表明 被分解为 中的向量 与 中的向量 之和,且分解是正交的。由正交投影的唯一性, 就是 在闭子空间 上的正交投影。因此 。


综上, 是到 的某一闭子空间的正交投影当且仅当 自伴且幂等。

习题 5.21

设 是 Hilbert 空间, 为 的闭线性子空间, 为从 到 上的正交投影. 求: 和 .

解答

解答使用 DeepSeek v3.2 Speciale 生成

对于 Hilbert 空间 的闭子空间 ,记 为正交投影算子。考虑数值范围 并定义

由于 是自伴算子,。对任意单位向量 ,作正交分解 ,其中 ,则 。因为 ,所以 。

分情形讨论:

  1. (零子空间):此时 。对任意单位向量 ,,故 ,从而 。

  2. (全空间):此时 。对任意单位向量 ,,故 ,从而 。

  3. :此时 和 均含有非零向量。

    • 取单位向量 ,则 ,故 。
    • 取单位向量 ,则 ,故 。
    • 对任意 ,选择单位向量 ,令 ,则 ,且 ,从而 。因此 。

    于是 ,故 。

综上所述:

  • 若 ,则 ;
  • 若 ,则 ;
  • 否则 。

在非退化的常见情形( 既非零也非全空间)下,有 。

习题 5.22

设 为非零 Hilbert 空间, 为自伴紧算子. 求证: .

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

设 为 Hilbert 空间, 是自伴紧算子。

若 ,则任取非零向量 有 ,故 ,从而 。

若 ,则 。由于 自伴,有 (此式可由自伴算子的谱半径公式或直接估计得到:,并且利用单位球面上的向量可使 任意接近 ,再注意 和 的自伴性即得。)

由 (1) 存在单位向量序列 () 使得 选取子列(仍记作 )使得 收敛,记其极限为 ,则 。此外,由不等式 及两端的极限均为 ,可得 。

现在估计 令 ,右侧趋于 ,故

因为 是紧算子, 有界,所以 有收敛子列。由 (2) 易见相应的 子列也收敛:设 ,则由 (2) 有 。由于 ,得到 ,且 ,故 。

在关系 中取极限,利用 的连续性得 即 。因此 是 的非零特征值,从而 。

综上所述,无论 是否为零算子,其点谱均非空。∎

习题 5.23

考虑上的有界线性算子: 其中 为有界列, . 求证: 任取 . 问 : 在什么情形下有 ?

解答

解答使用 DeepSeek v3.2 Speciale 生成

解答


1. 证明

对每个 ,取标准基向量 (第 个分量为 )。由于
故 是 的特征值,对应的特征向量为 。因此 对一切 成立。


2. 算子 的谱

记 ,并令 为 在 中的闭包。
由于 且 有界, 是有界自伴算子,其谱 是 的非空紧子集。

断言 。

证明


  • 任取 ,则存在子列 使得 。
    考虑向量 ,则 ,且
    因此 属于 的近似点谱,而近似点谱含于谱集,故 。


  • 若 ,则存在 使得 对所有 成立。
    定义算子 为 。
    由于 , 是有界线性算子且 。
    直接验证:对任意 ,令 ,则 且 ;反之,若 ,则必有 。
    因此 ,即 。从而 。

综上,。


3. 的条件

由 ,,可知 。
因此 当且仅当 ,亦即集合 在区间 中稠密。

等价表述:对任意 和任意 ,存在 使得 。


注 若 在 中不稠密,则 是 ,它是 的真闭子集(例如有限集、可数离散集、Cantor 集等),此时 。

习题 5.24

设 为 Hilbert 空间, 为 的完全标准正交序列. 求证: 为自伴算子当且仅当

解答

解答使用 DeepSeek v3.2 Speciale 生成

证明:

必要性:若 自伴,即 ,则对任意 , 故等式成立。

充分性:假设对任意 有 。
对任意固定的 ,考虑向量 。对任意 , 其中第二个等号用到了伴随的定义 。
因此, 与所有 正交。由于 是完全标准正交序列,其线性张成在 中稠密,故正交于所有 的唯一向量是零向量,即 。从而

对任意 ,由完全性,存在有限线性组合 使得 。由 和 的有界性(连续性)得 因此 ,即 为自伴算子。∎

额外习题

这里是一些额外的习题,出处不详。

2009

2010

2011

2012

2013

2018

2022

2023

2024

2009-1

见 2022-1

2009-2

见 2022-2

2009-3

为赋范空间, 均为线性算子。任取 有 ,求证: 都是有界线性算子。

解答

为 Banach 空间,任取 中的收敛列 。由 ,则 ,故 ,进而由闭图像定理, 为有界线性算子。

考虑典范映射 ,其中 。

则 ,由一致有界性原理,,即 。

2009-5

见 2022-4

2009-6

见 2012-6

2010-1

设 为内积空间,证明 且 。

解答

充分性

由 ,则 ,即 。

由 ,则 ,则 。

必要性

由 ,则 ,,故上式进一步有

从而 。

2010-2

,且 ,有 ,定义 。证明:

  1. 是 上的范数
  2. 完备当且仅当 完备

解答

1. 是 上的范数

验证范数的四条性质:

,非负性成立

,非退化性成立

,齐次性成立

,三角不等式成立

故 是 上的范数。

2. 完备当且仅当 完备

充分性

设 为 Cauchy 序列,则 ,即 。

则 ,说明 也是 中的 Cauchy 序列。由 完备,。

对于 ,只要 ,就有 ,取定 并令 ,则有 ,再令 有 。

再由 Minkowski 不等式:

这说明 ,且收敛,故 完备。

必要性

TODO

2010-3

设 可分,证明存在 使得 ,且 。

解答

考虑典范映射 ,其中 。

可分,故其非零。,有 ,则 ,故 。进一步取 ,则 。

由 Hahn-Banach 定理,,即 。

综上,,即 。

2010-4

完备, 为单射。证明 的像集是闭集有且仅有 有界线性

解答

见 2013-5。

2010-5

是两个线性赋范空间,。证明:

  1. 有界线性
  2. 有界线性

解答

1. 有界线性

先验证 线性:

再证 有界:

为 Banach 空间,任取 中的收敛列 。由 ,则 ,故 ,进而由闭图像定理, 为有界线性算子。

2. 有界线性

先验证 线性:

考虑典范映射 ,其中 。

,则 ,故

故

故 为有界线性算子。

2010-6

是定义在 上的可测函数, 可积,只要 是 阶可积。证明: 是 阶可积,其中 。

2011-1

为非空集合, 为定义在 上的有界线性泛函,,定义 。求证:

  1. 为 上的范数
  2. 是 Banach 空间

解答

见 2013-4

2011-2

是一个定义在复数域上的度量空间,, 是 的子集,且满足 ,证明:

  1. 为闭集 为闭集

解答

1.

设 ,则 。,则有 。故有 ,即 ,即 。

反之,设 ,则 使得 。则 ,故 ,即 ,即 。

综上,。

2. 为闭集 为闭集

充分性

取 中的收敛列 ,须证 。

由 ,故 。则 ,进而 。

由 ,可得 ,即 收敛至 。由 为闭集,可得 ,即 。

Thanks to @thulanxc

必要性

为闭集,即 。则 ,故 ,即 为闭集。

2011-3

是一个非空紧集, 的算子,且满足 。令 ,证明:

  1. 为 上的连续函数
  2. 中有唯一不动点

解答

1. 为 上的连续函数

由 ,故 为 Lipschitz 映射,连续。

对于任意的 ,取 ,考虑 的 ,有

故 为 上的连续函数。

2. 中有唯一不动点

为非空紧集,故 完备且完全有界。

由 为 上的连续函数,故 在 上有最小值,设为 。

假设 ,则

由 为最小值,故 ,即 ,与题设矛盾。

故 ,即 为不动点。

再验证其唯一性,设 也为不动点,则

这与题设 矛盾,故 为唯一不动点。

2011-4

为 Banach 空间, 存在,定义 。求证:

  1. 存在一个常数 满足
  2. 是线性泛函
  3. ,且
  4. 举例说明,如果 不是 Banach 空间,则 3 不成立

解答

1. 存在一个常数 满足

为收敛列,则有 ,由一致有界原理,。

2. 是线性泛函

,有

故 是线性泛函。

3. ,且

由 2 知 为线性泛函,下证 有界。

,有

故 ,即 。

4. 举例说明,如果 不是 Banach 空间,则 3 不成立

考虑 与 ,则 不是 Banach 空间。

取 ,下面验证

,有

故 为线性泛函。

故 ,为有界线性泛函,且 。显然 无界,故 。

2011-5

为 Hilbert 空间, 为有界线性算子,且满足 ,其中 为大于 0 的常数。定义 ,证明:

  1. 为单射
  2. 为 的闭子空间
  3. 在 中稠密,并由此证明 为双射
  4. 有界,且满足

解答

1. 为单射

欲证 为单射,只需证 。

假设 ,则有 ,与 矛盾。

故 ,即 为单射。

2. 为 的闭子空间

,故 。

下证 为闭集。

任取 ,则有 。且 为 Cauchy 列,即 。

。

故 ,即 为 Cauchy 列。

由 为 Hilbert 空间,故 为完备度量空间,故 。则 。

故 为 的闭子空间。

3. 在 中稠密,并由此证明 为双射

欲证 在 中稠密,只需证 ,便可由 知 在 中稠密。

设 ,则 。

则 ,故 ,即 。

故 ,即 在 中稠密。

由 1 知 为单射,只须证 为满射。由 在 中稠密,,故 ,则 为满射。

综上, 为双射。

4. 有界,且满足

由 3 知 为双射,且 为 Hilbert 空间,由开映射定理,。

2012-1

设 为内积空间, 为 上线性算子,满足 ,试证明 均为有界线性算子,且 。

解答

注:闭图像定理需要 和诱导范数构成 Banach 空间。也许应该先证明这一点,但还没想到怎么证明。

分析可能是题目有误,参见 2018-1。

取 中的序列 ,则

故 ,即 为闭算子。由闭图像定理, 为有界线性算子。同理可证 为有界线性算子。

由 为内积空间,其上的诱导范数 ,则

故 。同理可证 ,故 。

2012-2

设 为赋范空间, 为其中一列元素。求证:

  1. 是一个可分赋范空间
  2. 可分 \iff 为赋范空间存在元列 ,对于 ,有 时必有

解答

1. 是一个可分赋范空间

可分,即 中存在至多可数稠密子集。下面考虑 的情形。

取 中的子集 ,则 为有理数系数的有限线性组合,并记 。

下面证 在 中稠密。设 ,则 ,有 ,使得 。

由 ,有 ,其中 。

由 在 中的稠密性, 使得 ,则对于 ,有

故 且 。

由 选取的任意性, 在 中稠密。

又由 为有理数系数的有限线性组合,故 为至多可数集, 为至多可数集的可数并,故 为至多可数集。

故 为可分赋范空间。

2. 可分 \iff 为赋范空间存在元列 ,对于 ,有 时必有

充分性

可分,即 中存在至多可数的稠密子集,不妨取至多可数集 ,

由 为有界线性泛函,故 连续,进而有

故 。

必要性

设 为赋范空间存在元列 ,对于 ,有 时必有 。

假设 ,由 Hahn-Banach 定理,,使得 。这与 时必有 矛盾。

故 ,故 可分。

2012-4

若 是 Banach 空间 中的序列,且对任意 ,有 有界,证明 有界。

解答

考虑典范映射 ,其中 。

依题设,,故 ,即 有界。

由一致有界性定理,,即 。

由典范映射的性质,,故 。

故 有界。

2012-5

为非空集合, 为定义在 上的有界线性泛函,,定义 。求证: 为 上的范数,且构成完备的赋范空间。

解答

验证范数的四条性质:

  1. ,非负性成立
  2. ,非退化性成立
  3. ,齐次性成立
  4. ,三角不等式成立

综上, 为 上的范数。

只须证明由范数诱导的度量 使之成为完备度量空间即可。

考虑 中的 Cauchy 序列 ,即 。

,故 为 中的 Cauchy 序列。

为完备度量空间,故 。

下证 ,且 。

,故 为 上的复值函数。又 ,进一步 ,故 ,故 。

,故 。

综上, 是 Banach 空间。

2012-6

为纯量点列, 收敛,构造 为有限和泛函。求证:

  1. ,并求出

2013-1

设 为内积空间,,求证:

  1. 当且仅当任取 ,都有
  2. 当 为实空间时, 当且仅当
  3. 举例说明当 为复空间时,2. 中结论一般不成立

解答

1. 当且仅当任取 ,都有

充分性

已知 ,则 。

内积空间上诱导范数 ,则

代入 ,得

同理可得 。

故 。

必要性

已知 ,则

由 的任意性,只须取 和 即可得到 ,即 。

2. 当 为实空间时, 当且仅当

充分性

已知 ,则 。

必要性

已知 ,则

由 ,得 。

3. 举例说明当 为复空间时,2. 中结论一般不成立

只须找到 不为实数的例子即可。

取 ,则 ,,但 。

2013-2

设 为一数列,又设任给 ,级数 均收敛。

  1. 任给 及 ,令 ,求证:,并求出 。
  2. 求证

解答

1. 任给 及 ,令 ,求证:,并求出 。

由题设,,故需验证 为线性泛函,且有界。

先验证 为线性泛函:

再验证 有界:

,故 有界。

故 。下面求 。

取一列 ,其中 在第 位,则 ,且 ,故 ,即 。

综上,。

2. 求证

由题设和 1.,,故 有界,即 。

由 1.,,故 ,即 ,故 。

2013-1

设 为 上复值连续函数的全体,其上赋予范数 。任取 ,定义 为 。求证:

  1. ,并求
  2. 对于 及 ,求出函数 的具体表达式

2013-4

设 为非空集合,令 为所有定义在 上的有界复值函数的全体。任给 ,定义 。求证:

  1. 为 上的范数
  2. 是 Banach 空间

解答

1. 为 上的范数

验证范数的四条性质:

  1. ,非负性成立
  2. ,非退化性成立
  3. ,齐次性成立
  4. ,三角不等式成立

综上, 为 上的范数。

2. 是 Banach 空间

只须证明由范数诱导的度量 使之成为完备度量空间即可。

考虑 中的 Cauchy 序列 ,即 。

,故 为 中的 Cauchy 序列。

为完备度量空间,故 。

下证 ,且 。

,故 为 上的复值函数。又 ,进一步 ,故 ,故 。

,故 。

综上, 是 Banach 空间。

2013-5

设 为 Banach 空间, 为单射。令 为 的值域。求证: 在 中为闭子空间当且仅当 为有界线性算子。

解答

充分性

在 中为闭子空间,即 为 Banach 空间。则 对于 为满射,且 为单射,故 为双射。由开映射定理, 为有界线性算子。

必要性

设 为 中的 Cauchy 序列,则有 ,又由 为单射,。

由 为 Cauchy 序列,,则

由 为有界线性算子,则 也为 Cauchy 序列,故 。

由 为连续线性算子,,又 ,故 ,即 。故 为闭子空间。

2013-6

设 为 Banach 空间, 为线性算子,假设任取 满足 ,任取 都有 。求证:。

解答

考虑典范映射 ,有 。由 ,得 。由一致有界性原理,。又由典范映射的性质,,故 ,即 ,故 。


为 Banach 空间,只须证明 为闭算子。

,由 ,有 ,故 ,即 ,故 为闭算子。

由闭图像定理, 为有界线性算子。

Thanks to @Timothy-Liuxf

2018-1

设 为 Hilbert 空间, 和 都为从 到 的算子,任意 ,都有 。求证:

  1. 和 都为线性算子
  2. 为单射当且仅当 在 中稠密
  3. 和 都为有界线性算子

解答

1. 和 都为线性算子

先验证 为线性算子:

再验证 为线性算子:

2. 为单射当且仅当 在 中稠密

充分性

假设 不稠密,即 。则由 Hahn-Banach 定理, 使得 且 。

见 is in the closure of iff there is no bounded linear functional on

则 ,即 没有唯一解,即 不为单射。

必要性

在 中稠密,即 ,即 。

取 ,则 ,即 。

,则 使得 ,则 ,即 ,即 为单射。

3. 和 都为有界线性算子

,有

故 ,即 闭,进而 为闭算子。由闭图像定理, 为有界线性算子。

同理可证 为有界线性算子。

2018-2

设 为 Banach 空间, 为线性算子。设 足以区分 中任意两元素,即 若对于 都有 ,则 。对于任意 。求证:

解答

假设 ,则 且 ,即 ,由 足以区分 中任意两元素,,即 为闭算子。由闭图像定理, 为有界线性算子。

2018-3

在 上赋予范数 。若 ,令

求证:

  1. 都是 上的线性泛函
  2. ,求出

解答

1. 都是 上的线性泛函

先验证 为线性泛函:

再验证 为线性泛函:

2.

假设 ,则 。

取 ,则 。

而 ,与 矛盾,故 。

3. ,求出

故 且 ,下面求 。

取 ,则 。计算 :

故有 ,即 ,故 。

2018-4

设 为 Banach 空间, 为赋范空间,。设任取 在 中存在,记 。求证:

  1. ,且存在常数 ,使得任取 都有

解答

1. ,且存在常数 ,使得任取 都有

已知 ,则 。

由一致有界性原理,。

2.

由 1.,。令 ,则 ,即 。又 可取到 ,故 。

2018-5

设 为可分赋范空间,求证:存在一列 ,使得 。

解答

为可分赋范空间,故其非零。,有 ,即 ,故 。进一步取 ,则 。

又由 Hahn-Banach 定理,,即 。

综上,。

2022-1

设 为复 Hilbert 空间,。我们称 为正规算子,若等式 成立。求证:

  1. 若任给 ,都有 ,则
  2. 为正规的当且仅当任取 ,都有
  3. 举例说明当 为实 Hilbert 空间时,第一问的结论一般不成立。

提示:对于第一问,当 时,可以考虑 和 两个向量。

解答

1. 若任给 ,都有 ,则

取 ,则有

又有

联立上面两式,得

由 选取的任意性,得 。

2. 为正规的当且仅当任取 ,都有

充分性

由 为正规算子,得 ,故

故 。

必要性

由 ,得

故 ,即 为正规算子。

3. 举例说明当 为实 Hilbert 空间时,第一问的结论一般不成立。

考虑 和旋转 矩阵 ,则对于 ,有

但 。

2022-2

设 为赋范空间, 为 上给定的非零有界线性泛函,令 ,求证:

  1. 为 的非空凸子集
  2. 若 ,则 为满射但不为单射,进而证明 不为有界集

解答

1. 为 的非空凸子集

先证 非空。

由 为非零有界线性泛函,故 ,再令 ,则 ,故 ,故 非空。

再证 为凸集。

取 ,则有

故 ,故 为凸集。

2. 若 ,则 为满射但不为单射,进而证明 不为有界集

,故 ,且 线性无关。

类似 1.,可构造 对应的 ,且 线性无关。

,故 ,且 ,故 不为单射。

再证 为满射。

取 使得 ,则 ,故 为满射。

再证 不为有界集。

由 ,故可取线性无关的 ,且可适当选取使 。

若 ,则 ,故 ,且 可以任意大,故 不为有界集。

若 ,则 ,可类似上面的证明,故 不为有界集。

3.

,有

故 。

2022-3

设 为可分无穷维 Hilbert 空间,,且存在 的完全标准正交集 ,使得 。定义 的 Hilbert-Schmidt 范数为 。求证

  1. ,其中 为 的伴随算子
  2. 若 为 的另一个完全标准正交集,则

解答

1. ,其中 为 的伴随算子

为 的伴随算子,即 。

2. 若 为 的另一个完全标准正交集,则

也为完全标准正交集,故 ,其中 。

3.

取 ,则 ,其中 。

2022-4

设 及 均为赋范空间,令 为 与 的笛卡尔乘积。对 ,定义 ,求证:

  1. 为 上的范数
  2. 为 Banach 空间当且仅当 及 均为 Banach 空间

解答

1. 为 上的范数

验证 为 上的范数,只需验证 满足范数的四条性质:

  1. ,非负性显然成立
  2. ,非退化性成立
  3. ,齐次性成立
  4. ,三角不等式成立

综上, 为 上的范数。

2. 为 Banach 空间当且仅当 及 均为 Banach 空间

充分性

为 Banach 空间,即诱导度量 为完备度量空间。即 中的 Cauchy 列均收敛。

考虑 中的 Cauchy 列 ,,,使得 ,有 。下面展开 :

故 和 分别构成 中的 Cauchy 列。

又由 收敛,即 ,使得 ,有 。下面展开 :

故 和 分别收敛于 。

由 选取的任意性, 均为完备度量空间,即为 Banach 空间。

必要性

均为 Banach 空间,即诱导度量 均为完备度量空间。即 中的 Cauchy 列均收敛。

取 中的 Cauchy 列 ,则 ,使得 ,有 。

组合两序列构成 ,则 ,使得 ,有 。故 为 中的 Cauchy 列。

收敛,即 ,使得 ,使得 ,有 。

故 ,使得 ,有 。故 收敛于 。

由 选取的任意性, 为完备度量空间,即为 Banach 空间。

2022-5

设 为 Banach 空间, 为单射。令 为 的值域。求证: 在 中为闭子空间当且仅当 的逆映射 为有界线性算子。

解答

详见 2013-5。

2022-6

给出压缩映射的定义,并叙述 Banach 不动点定理

解答

设 为度量空间,,若 ,使得 ,有 ,则称 为压缩映射。

设 为非空完备度量空间, 为压缩映射,则 在 上有唯一不动点。

2023-1

见 2018-1

2023-2

见 2012-2

2023-3

见 2013-4

2023-4

设 为一数列,又设任给 ,级数 均收敛。

  1. 任给 及 ,令 ,求证:,并求出 。
  2. 求证

2023-5

设 为赋范空间, 为 的非空凸子集。给定 , 为 中的两个最佳逼近元。求证:

  1. 最佳逼近元组成凸子集
  2. 存在 , 且
  3. 存在
  4. 不是内积空间

解答

  1. 令

    ,

    而由于 为凸集,故 ,故

    因此

    故 也是 在 中的最佳逼近元

    故 在 中的最佳逼近元是 中的凸子集

  2. 令 ,。则 ,故 。而

    ,

    因此 , 即为所求

  3. 因为

    故由 Hahn-Banach 定理,存在 ,满足 且

    故

    而 ,

    令 ,,

    则 ,即 ,

    由 知 ,又

    可知 ,故

    即

  4. 内积空间需满足 ,均有

    取 ,,则 ,

    则

    而

    且由于 ,故 ,,故

    故

    故平行四边形等式不成立

    故 不为内积空间

2024-1

设 、 为赋范空间,、 为给定映射,设 ,有 ,证明:

  1. 均为线性算子;
  2. 均为有界算子。

解答

与 2009-3 类似

2024-2

为 Banach 空间,,证明:

  1. 若 ,则 为 中的柯西列;
  2. 若 ,则 在 中可逆。即 ,使得 ;
  3. 集合 可逆,即 ,使得 为 中的开集。

解答

2024-3

设 为 Banach 空间, 为 的闭线性子空间,假设任取 ,存在唯一的 ,使得 。证明:存在常数 ,使得 ,有 。

解答

2024-4

见 2011-5

2024-5

设 ,为所有定义在 上的实值连续函数合集,定义范数,,令 ,证明:,并求 。

解答

与 2018-3 第 1、3 问类似进行绝对值放缩,可证明 ,进而 ;取 在 上大于零,在 上恒等于零,即可证明 ,进而 。

2024-6

叙述 Banach 不动点定理。

解答

见 2022-6