5 6 希尔伯特空间中的强收敛与弱收敛

1. 公式
   观察依据

   幻灯片文字：“设 H 为一个希尔伯特空间。”

H

希尔伯特空间，即序列与极限所处的背景空间。

希尔伯特空间

1. 公式
   观察依据

   幻灯片文字在强收敛与弱收敛的定义中使用了 ($x_n$)。

2. 声音
   观察依据

   主讲人说：“X n 是一个强收敛于 L 的序列。”

($x_n$)

希尔伯特空间 H 中的一个序列，其收敛类型正在被讨论。

H 中的序列

1. 公式
   观察依据

   幻灯片文字将极限写作 ||$x_n - l$|| 和 <l,v> 中的 l。

2. 声音
   观察依据

   主讲人将极限读作 L。

1. 屏幕上显示的符号为小写 l，而语音听似大写 L。

l

序列 ($x_n$) 在 H 中的候选极限点。

H 中的一个元素

1. 公式
   观察依据

   强收敛幻灯片显示 || $x_n - l$ || = 0。

|| $\cdot$ ||

希尔伯特空间 H 上的范数，用于度量元素之间的距离。

定义在 H 上

1. 公式
   观察依据

   弱收敛幻灯片陈述：对所有 $v \in H$，$\lim _{n\to \infty } <x_n$,v> = <l,v>。

2. 声音
   观察依据

   讲师说“对 H 中任意 V”。

v

H 中的任一元素，代表弱收敛内积表述中的检验向量。

H 的元素

1. 公式
   观察依据

   弱收敛幻灯片使用 <$x_n$,v> 和 <l,v>。

2. 声音
   观察依据

   讲师称其为“$X_n$ 与 V 的内积”。

< $\cdot$ , $\cdot$ >

希尔伯特空间 H 上的内积。

定义在 $H \times H$ 上

1. 公式
   观察依据

   幻灯片文字：“我们注意到 $x_n \to l$”。

$\rightarrow$

表示序列强收敛于极限的记号。

收敛记号

1. 公式
   观察依据

   幻灯片文字：“我们记 $x_n$ ⇀ l”。

2. 声音
   观察依据

   主讲人将其描述为‘此处是半个箭头’，并将其与完整箭头作对比。

$\rightharpoonup$

表示序列弱收敛于极限的记号。

收敛记号

1. 公式
   观察依据

   序列 ($x_n$) 出现在证明幻灯片、命题幻灯片以及紧性幻灯片上。

2. 声音
   观察依据

   主讲人反复将 $x_n$ 称为正在讨论的序列。

($x_n$)

H 中的一个序列。

以 n 为指标、取值于 H 的序列。

1. 公式
   观察依据

   幻灯片指出，在强到弱收敛的证明中，以及在弱收敛加范数收敛的命题中，($x_n$) 均收敛于 l。

2. 声音
   观察依据

   主讲人称该序列收敛于 l。

l

序列 ($x_n$) 在 H 中的候选极限向量。

H 中的一个元素。

1. 公式
   观察依据

   幻灯片写明‘设 H 是一个希尔伯特空间’，并使用 H 中的向量 v。

2. 声音
   观察依据

   主讲人明确说道：‘设 H 是一个希尔伯特空间。’

H

一个希尔伯特空间，即所讨论序列与向量所在的环境空间。

一个希尔伯特空间。

1. 公式
   观察依据

   证明幻灯片上写着‘那么对任意 H 中的 v’，并使用了〈$x_n$,v〉、〈l,v〉和||v||。

2. 声音
   观察依据

   讲师在讲解柯西-施瓦茨不等式界时读出了 v 的范数。

v

H 中任取的一个测试向量，用于通过内积刻画弱收敛。

H 中的任意元素。

1. 公式
   观察依据

   幻灯片标题：“强收敛”；正文：“序列 ($x_n$) 强收敛于 l，当且仅当 $\lim _{n\to \infty }$ || $x_n - l$ || = 0。

2. 声音
   观察依据

   主讲人指出：X n 是强收敛于 L 的序列，当且仅当 X n 减去 L 的范数趋于零。

希尔伯特空间 H 中的序列 ($x_n$) 强收敛于 l，是指 $x_n$ 与 l 之差的范数随 n 趋于无穷而趋于零。这记作 $x_n \to l$。

1. H 是一个希尔伯特空间

2. ($x_n$) 是 H 中的一个序列

3. l 是 H 中的一个元素

1. 公式
   观察依据

   幻灯片标题：“弱收敛”；正文：“序列 ($x_n$) 弱收敛于 l，当且仅当对所有 $v \in H$，有 $\lim _{n\to \infty }$ 〈$x_n$, v〉 = 〈l, v〉。”

2. 声音
   观察依据

   主讲人解释道：弱收敛意味着将对偶空间中的任意函数作用于该序列，所得结果等于该函数作用于极限 l；借助里斯定理，这一条件转化为内积形式。

设 ($x_n$) 是希尔伯特空间 H 中的一个序列，若对 H 中任一元素 v，当 n 趋于无穷时，$x_n$ 与 v 的内积收敛于 l 与 v 的内积，则称 ($x_n$) 弱收敛于 l。记作 $x_n$ ⇀ l。

1. H 是一个希尔伯特空间

2. ($x_n$) 是 H 中的一个序列

3. l 是 H 中的一个元素

1. 希尔伯特空间中的强收敛

1. 声音
   观察依据

   主讲人说：“对偶空间中的任意函数……由于里斯定理，均可与空间 H 中的某个元素一一对应。”

2. 公式
   观察依据

   幻灯片底部文字：“（经里斯定理调整后的定义）”

在希尔伯特空间中，任一连续线性泛函（即对偶空间中的元素）均可通过内积与空间自身的一个元素唯一对应。这使得原本借助对偶空间函数定义的弱收敛，可改写为借助 H 中向量的内积来定义。

1. H 是一个希尔伯特空间

1. 希尔伯特空间中的弱收敛

1. 公式
   观察依据

   证明幻灯片开头写道：‘设 ($x_n$) 是强收敛于 l 的序列’。

2. 声音
   观察依据

   主讲人说：‘它是强收敛的，$x_n$ 强收敛于 l’。

本片段中，强收敛指按范数收敛：当 n 趋于无穷大时，量 ||$x_n-l$|| 趋于0。证明正是利用这一事实，迫使内积估计中的上界消失。

1. 序列 ($x_n$) 位于希尔伯特空间 H 中。

2. 极限 l 是 H 中的一个元素。

1. ($x_n$)
2. l
3. H
4. ||.||

1. 公式
   观察依据

   证明幻灯片的结论行是：‘因此，对所有 $v \in H$，有 $\lim _{n \to \infty } <x_n$,v> = <l,v>’。

2. 声音
   观察依据

   主讲人指出，这意味着 $x_n$ 弱收敛于 l。

此处用所有标量内积 ⟨xₙ, v⟩ 对任意测试向量 $v \in H$ 的收敛性来刻画弱收敛。证明得出：若对每个 v 都有 lim ⟨xₙ, v⟩ = ⟨l, v⟩，则 (xₙ) 弱收敛于 l。

1. 该命题必须对 H 中每一个 v 成立。

2. 所处空间是一个希尔伯特空间 H。

1. ($x_n$)
2. l
3. H
4. v
5. <.,.>

1. 公式
   观察依据

   所展示的不等式链包含 |⟨xₙ − l, v⟩| ≤ ||xₙ − l|| ||v||。

2. 声音
   观察依据

   讲者将右端读作 xₙ 减 l 的范数乘以 v 的范数。

该证明用范数的乘积来控制内积之差的绝对值。这一关键不等式将强收敛转化为标量量 ⟨xₙ, v⟩ 的收敛。

1. xₙ、l、v 均为希尔伯特空间 H 中的元素。

1. <.,.>
2. ||.||
3. v

1. 公式
   观察依据

   紧性幻灯片上写道：‘设 (xₙ) 是 H 中的一个有界序列。（即范数 ||xₙ||_H 有界）’

2. 声音
   观察依据

   讲者说：‘如果我在 H 中有一个有界序列。’

在紧性幻灯片中，($x_n$) 的有界性被明确解释为它在 H 中的范数有界。这是应用所引用的紧性结论之前所需的假设条件。

1. ($x_n$) 是 H 中的一个序列。

1. ($x_n$)
2. H
3. ||.||

1. 公式
   观察依据

   幻灯片标题：“强收敛到弱收敛”；正文：“命题（旧知识）设 H 是一个希尔伯特空间。任何强收敛于 l 的序列也弱收敛于 l。”

2. 声音
   观察依据

   主讲人陈述道：“任何到 L 的强收敛都是到 L 的弱收敛。这是旧知识。”

在希尔伯特空间 H 中，任何强收敛于极限 l 的序列也弱收敛于同一极限 l。

1. H 是一个希尔伯特空间

2. ($x_n$) 是 H 中的一个序列

3. ($x_n$) 强收敛于 l

对 H 中的所有序列 ($x_n$) 以及 H 中的所有极限 l。

1. 公式
   观察依据

   幻灯片标题为‘强收敛到弱收敛’，证明以‘因此，对所有 $v \in H$，$\lim _{n \to \infty } <x_n$,v> = <l,v>’结束，并随后标注‘证毕’。

2. 声音
   观察依据

   主讲人得出结论：$x_n$ 弱收敛于 l。

若 ($x_n$) 在希尔伯特空间 H 中强收敛于 l，则 ($x_n$) 在 H 中弱收敛于 l。

1. H 是一个希尔伯特空间。

2. ($x_n$) 是 H 中的一个序列。

3. ||$x_n - l$|| 趋近于0。

对每个 $v \in H$，$\lim _{n \to \infty } <x_n$,v> = <l,v>。

1. 公式
   观察依据

   命题幻灯片陈述如下：设 H 是一个希尔伯特空间；设 ($x_n$) 是一个弱收敛于 l 的序列；进一步假设 ||$x_n$|| 收敛于 ||l||。则 ($x_n$) 强收敛于 l。

2. 声音
   观察依据

   主讲人强调：弱收敛加上范数的收敛可推出强收敛。

在希尔伯特空间 H 中，若 ($x_n$) 弱收敛于 l 且 ||$x_n$|| 收敛于 ||l||，则 ($x_n$) 强收敛于 l。

1. H 是一个希尔伯特空间。

2. ($x_n$) 弱收敛于 l。

3. ||$x_n$|| 趋近于 ||l||。

结论是整个序列 ($x_n$) 强收敛于 l。

1. 公式
   观察依据

   紧性幻灯片指出：借助角谷定理，可从 H 中提取一个在 H 中弱收敛的子列。

2. 声音
   观察依据

   讲者指出，对 H 中的有界序列，可提取一个在 H 中弱收敛的子列。

1. 屏幕上未展开‘角谷定理’这一经典名称的全称。

2. 该幻灯片未显示子列表示法或弱极限符号。

希尔伯特空间 H 中的每个有界序列都存在一个在 H 中弱收敛的子列。

1. H 是一个希尔伯特空间。

2. ($x_n$) 在 H 中有界，即 ||$x_n$||_H 有界。

($x_n$) 存在一个在 H 中弱收敛的子列。

1. 公式
   观察依据

   幻灯片正文逐步构建证明：|〈$x_n$,v〉 - 〈l,v〉| = |〈$x_n-l$,v〉| ≤ ||$x_n-l$|| ||v||。

2. 声音
   观察依据

   主讲人叙述步骤：“对 H 中任意 v，$x_n$ 与 v 的内积减去 l 与 v 的内积，等于 $x_n$ 减 l 与 v 的内积……该值小于等于……”

1. 极限为零这一最终结论在片段结束前未被明确写出或口述。

1. 公式

   $$|\langle x_n, v \rangle - \langle l, v \rangle|$$
   解释

   从任意 $v \in H$ 对应的内积的绝对差值出发。

   步骤依据

   弱收敛的定义要求证明该差值趋于零。

   视频直接表达
2. 公式

   $$= |\langle x_n - l, v \rangle|$$
   解释

   将内积之差改写为差向量的内积。

   步骤依据

   内积关于第一个变量的线性性。

   视频直接表达
3. 公式

   $$\leq || x_n - l || \, || v ||$$
   解释

   用范数乘积来界定内积的绝对值。

   步骤依据

   柯西-施瓦茨不等式。

   视频直接表达

由于强收敛推出 ||$x_n - l$|| → 0，右侧趋于 0，从而对所有 v 都有 |<$x_n$,v> - <l,v>| → 0，故 $x_n$ ⇀ l。（最后的取极限步骤在视频片段中是隐含的，未完全展示。）

1. 公式
   观察依据

   证明幻灯片展示了完整的推导链：|<$x_n$,v> - <l,v>| = |<$x_n-l$,v>| <= ||$x_n-l$|| ||v||，然后是结论行。

2. 声音
   观察依据

   主讲人解释说，右边趋于零，是因为 $x_n$ 在 H 中强收敛于 l，因此内积之差也趋于零。

1. 公式

   $$\left|\langle x_n, v\rangle - \langle l, v\rangle\right|$$
   解释

   从 $x_n$ 与 l 分别与 H 中任一测试向量 v 做内积所得标量之差的绝对值出发。

   步骤依据

   该量的极限需被证为 0，才能完成弱收敛的证明。

   视频直接表达
2. 公式

   $$= \left|\langle x_n-l, v\rangle\right|$$
   解释

   将内积之差改写为差向量 $x_n-l$ 与 v 的内积。

   步骤依据

   内积关于其第一个变量具有线性性。

   视频直接表达
3. 公式

   $$\le \|x_n-l\|\,\|v\|$$
   解释

   用两个范数的乘积来界定所得内积的绝对值。

   步骤依据

   希尔伯特空间中的柯西-施瓦茨不等式。

   视频直接表达
4. 公式

   $$\|x_n-l\| \to 0$$
   解释

   由于该序列被假设强收敛于 l，范数距离 ||$x_n-l$|| 趋于0。

   步骤依据

   证明假设中所用的强收敛定义。

   视频直接表达
5. 公式

   $$\lim_{n \to \infty} \langle x_n, v\rangle = \langle l, v\rangle$$
   解释

   由于 v 是固定的且 ||v|| 有限，上界趋于0，因此对 H 中每一个 v，原绝对差趋于0。

   步骤依据

   由所展示的估计式及弱收敛定义得出的夹逼型结论。

   视频直接表达

因此 ($x_n$) 弱收敛于 l，从而完成了从强收敛到弱收敛的证明。

1. 动画
   观察依据

   绿色注释出现在 ||$x_n-l$|| 下方，标有 n -> 无穷大 和 0；随后出现结论行，最后显示 QED。

2. 公式
   观察依据

   最终幻灯片状态包含完整证明及结论句：'故对 H 中所有 v，lim_{n -> 无穷大} <$x_n$,v> = <l,v>。'

1. 公式

   $$$$
   解释

   已写出的不等式链保留在屏幕上，同时在 ||$x_n-l$|| 下方添加绿色极限注释。

   步骤依据

   动画标出柯西-施瓦茨上界中趋于0的因子。

   视频直接表达
2. 公式

   $$$$
   解释

   添加极限注释后，幻灯片补充一句：对 H 中所有 v，<$x_n$,v> 的极限等于 <l,v>。

   步骤依据

   这记录了前述估计式在弱收敛定义下的推论。

   视频直接表达
3. 公式

   $$$$
   解释

   最后，在结论行下方添加「QED」。

   步骤依据

   这在视觉上表明证明已经完成。

   视频直接表达

这一视觉序列将代数估计转化为形式化的结论：强收敛蕴含弱收敛。

1. 动画
   观察依据

   视频依次呈现多张幻灯片：标题页、强收敛、弱收敛、强收敛到弱收敛、证明。

1. 标题页

2. 强收敛幻灯片

3. 弱收敛幻灯片

4. 命题幻灯片

5. 证明幻灯片

1. 文字在幻灯片上依次呈现，逐步构建定义与证明。

1. 讲师始终位于屏幕左侧。

视觉结构引导观众从定义出发，过渡到命题及其证明。

1. 图示
   观察依据

   一张白色幻灯片，标题为「强收敛到弱收敛」，显示标题「证明」、关于 ($x_n$) 的假设、H 中向量 v 的全称量词，以及由三行组成的不等式链。

2. 动画
   观察依据

   约在6秒时，||$x_n-l$|| 下方出现绿色批注，显示 $n \to \infty$ 和0；约在20秒时，结论行出现；约在28秒时，出现 QED。

1. 标题「强收敛到弱收敛」

2. 标题「证明」

3. 序列假设「($x_n$) 是一个强收敛于 l 的序列」

4. 全称量词「对任意 $v \in H$」

5. 涉及内积与范数的不等式链

6. 绿色极限批注

7. 结论行

8. 证毕

1. 基础证明文本从一开始即可见。

2. 一个绿色注释，标记 $n \to \infty$ 且 0 添加在 ||$x_n - l$|| 下方，位于 6 秒处。

3. 结论‘因此，对所有 $v \in H$，$\lim _{n \to \infty } <x_n$,v> = <l,v>’约在20秒处出现。

4. ‘证毕’约在28秒处出现。

1. 本片段中，希尔伯特空间设定 H 保持不变。

2. 在对 n 取极限的过程中，任意测试向量 v 保持固定。

3. 代数推导链一旦写出，便持续保留在屏幕上。

该幻灯片以视觉方式编码了证明策略：将弱收敛目标归约为内积差，用柯西–施瓦茨不等式对其进行估计，再利用强收敛迫使该上界趋近于0。

1. 图示
   观察依据

   讲师站在一张标题为‘强收敛到弱收敛’的幻灯片旁，其标题为‘命题’，并有四行文字依次呈现。

2. 动画
   观察依据

   各行文字依次出现：首先是希尔伯特空间假设，其次是弱收敛至 l，然后是范数收敛，最后是强收敛结论。

1. 身穿西装的讲师

2. 标题“强收敛到弱收敛”

3. 标题“命题”

4. 文字行：“设 H 是一个希尔伯特空间。”

5. 文字行：“设 ($x_n$) 是一个弱收敛于 l 的序列。”

6. 文字行：“进一步假设 ||$x_n$|| 收敛于 ||l||。”

7. 文字行：“则 ($x_n$) 强收敛于 l。”

1. 该幻灯片首先仅显示标题与小标题。

2. 随后出现希尔伯特空间假设。

3. 接着加入弱收敛假设。

4. 最后加入额外的范数收敛假设。

5. 结论行最后添加。

1. 主题仍是弱收敛与强收敛之间的关系。

2. 沿用前一个证明中的相同符号 H、($x_n$) 和 l。

文字分阶段呈现，强调仅靠弱收敛本身并不充分；额外的假设 〔||$x_n$|| -> ||l||〕 才使结论升级为强收敛。

1. 图示
   观察依据

   一张新幻灯片出现，标题为“紧性”，讲师仍位于左侧。

2. 动画
   观察依据

   文字分阶段构建：希尔伯特空间假设、有界序列假设、括号内说明有界范数，然后是卡库塔尼定理的结论。

1. 标题“紧性”

2. 文字：“设 H 是一个希尔伯特空间。”

3. 文字：“设 ($x_n$) 是 H 中的一个有界序列。”

4. 括号内文字：“（即范数 〔||$x_n$||_H〕 有界）”

5. 文字：“借助卡库塔尼定理，可从中提取一个在 H 中弱收敛的子列。”

1. 标题从“强收敛到弱收敛”变为“紧性”。

2. 在引用定理之前，先引入有界性假设。

3. 关于范数的括号内说明出现在“有界序列”这一行之后。

4. 最后调用角谷定理（Kakutani Theorem）的那行内容排在末尾。

1. 所处空间仍为希尔伯特空间 H。

2. 序列记号 ($x_n$) 延续自前面的幻灯片。

本页幻灯片的主题从比较不同收敛模式转向一个紧性原理：H 中的有界性保证存在一个弱收敛子列。

1. 声音
   观察依据

   讲师明确指出全箭头符号与半箭头符号之间的区别。

2. 公式
   观察依据

   幻灯片中用 → 表示强收敛，用 ⇀ 表示弱收敛。

误认为标准箭头（→）与半箭头（⇀）代表同一种收敛。

全箭头（→）表示强收敛（范数收敛），而半箭头（⇀）表示弱收敛（内积收敛）。

1. 声音
   观察依据

   主讲人指出，弱收敛到强收敛无法以这种方式成立；弱收敛序列未必是强收敛的。

2. 公式
   观察依据

   该命题额外增加了假设：||$x_n$|| 收敛于 ||l||，然后才得出强收敛的结论。

人们或许会认为，既然强收敛蕴含弱收敛，那么其逆命题也应在不附加额外假设的情况下成立。

主讲人明确指出：弱收敛序列未必是强收敛的；只有当弱收敛再辅以范数收敛于极限的范数时，才能推出强收敛。

1. 公式
   观察依据

   该证明利用 ||$x_n - l$|| → 0，迫使柯西-施瓦茨上界趋近于 0。

2. 声音
   观察依据

   讲师指出，该项趋于零，是因为 $x_n$ 强收敛于 l。

从强收敛到弱收敛的推导，直接依赖于强收敛的定义，即按范数收敛于 0。

1. 公式
   观察依据

   所展示不等式链中的中间不等式，正是柯西-施瓦茨估计。

该证明借助柯西-施瓦茨不等式，将内积之差控制为两个范数的乘积。

1. 公式
   观察依据

   结论行恰好符合弱收敛的定义条件。

2. 声音
   观察依据

   讲师将该结论识别为弱收敛于 l。

该推导最终验证的，正是定义弱收敛的那个条件。

1. 公式
   观察依据

   第一张幻灯片证明了强收敛蕴含弱收敛，而后续命题则讨论在弱收敛加上范数收敛时，何时可推出强收敛。

2. 声音
   观察依据

   讲师将有效的推理方向与无效的逆命题进行了对比。

该片段将强收敛到弱收敛这一恒成立的蕴含关系，与需要额外附加范数收敛假设才成立的反向蕴含关系进行了对比。

1. 公式
   观察依据

   紧性幻灯片首先定义了 ($x_n$) 的有界性，然后引用角谷定理，从中提取出一个弱收敛子列。

序列在 H 中的有界性是应用所引述的角谷定理前所需的前提条件。

1. 公式
   观察依据

   该定理的结论提到存在一个子列“在 H 中弱收敛”，所用的弱收敛模式与前文定义的一致。

紧性定理以弱收敛形式陈述，因此它将前述定义应用于子列，而非整个序列。

1. 公式
   观察依据

   幻灯片定义强收敛。

1. 希尔伯特空间中的强收敛

1. 公式
   观察依据

   幻灯片定义了弱收敛。

1. 希尔伯特空间中的弱收敛

1. 公式
   观察依据

   命题与证明的幻灯片。

1. 强收敛蕴含弱收敛
2. 强收敛蕴含弱收敛的证明

1. 声音
   观察依据

   主讲人提到了里斯定理。

1. 里斯表示定理的应用

1. 公式
   观察依据

   幻灯片标题与证明直接回答了这个问题。

2. 声音
   观察依据

   主讲人解释了为何内积之差趋于0。

1. 强收敛于 l
2. 弱收敛于 l
3. 内积差的柯西–施瓦茨估计
4. 强收敛蕴含弱收敛。
5. 强收敛蕴含弱收敛的证明

1. 公式
   观察依据

   证明中展示了不等式 |<$x_n-l$,v>| <= ||$x_n-l$|| ||v||。

1. 内积差的柯西–施瓦茨估计
2. 强收敛蕴含弱收敛的证明

1. 声音
   观察依据

   主讲人指出，若无额外假设，弱收敛无法推出强收敛。

2. 公式
   观察依据

   该命题补充了范数收敛作为缺失的前提条件。

1. 弱收敛加上范数收敛意味着强收敛
2. 弱收敛并不自动蕴含强收敛。

1. 公式
   观察依据

   该命题幻灯片明确写出：“进一步假设 ||$x_n$|| 收敛于 ||l||”。

2. 声音
   观察依据

   主讲人强调，这一额外假设非常重要。

1. 弱收敛加上范数收敛意味着强收敛

1. 公式
   观察依据

   紧性幻灯片指出，由Kakutani定理可知，H中的有界序列必存在一个弱收敛子列。

2. 声音
   观察依据

   主讲人口头重复了这一结论。

1. 希尔伯特空间中的有界序列
2. 希尔伯特空间中有界序列的角谷定理