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 渲染数学公式,因此需要先安装 mdBookmdbook-katex,然后执行以下命令构建:

mdbook build

目前使用的是 mdbook@0.5.1mdbook-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. 存在 使得

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

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

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

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

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

定义(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, ]

因此 的线性子空间。


结论:构成 线性子空间的集合是 14

习题 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 空间,。存在唯一的算子 ,称为 伴随算子,满足对任意

性质:设 ,则

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

习题 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. .

半范数

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

  1. .

实线性空间上的 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

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. 内积空间需满足 ,均有

    ,则

    且由于 ,故 ,,故

    故平行四边形等式不成立

    不为内积空间