泛函分析18 | 紧算子

1. 公式
   观察依据

   黑板上写下 `T:`，然后写下 `T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m$`，并标注 `线性`。

2. 声音
   观察依据

   讲师说：“我们来考察一个从 $F^n$ 到 $F^m$ 的算子。”

T

作为紧算子有限维模型使用的线性算子。

从 $\mathbb{F}^n$ 到 $\mathbb{F}^m$ 的线性映射。

1. 公式
   观察依据

   定义域空间在 `T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m$` 中写作 `$\mathbb{F}^n$`。

2. 声音
   观察依据

   讲师提到“有限维向量空间”，并特别指出“从 $F^n$ 到 $F^m$”。

$\mathbb{F}^n$

模型算子 T 的有限维源空间。

域 $\mathbb{F}$ 上的赋范向量空间，维数为 n。

1. 公式
   观察依据

   陪域空间在 `T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m$` 中写作 `$\mathbb{F}^m$`。

2. 声音
   观察依据

   讲师称该算子“从 $F^n$ 到 $F^m$”，随后又提到“我们这个有限维赋范空间 $F^m$”。

$\mathbb{F}^m$

模型算子 T 的有限维目标空间。

域 $\mathbb{F}$ 上的赋范向量空间，维数为 m。

1. 公式
   观察依据

   单词 `linear` 写在 `T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m$` 旁边。

2. 声音
   观察依据

   讲师说：“此处，有限性的类比就是有限维向量空间之间的线性算子。”

$\text{linear}$

假设 T 是一个线性算子。

适用于 T。

1. 公式
   观察依据

   蓝色箭头同时指向 `$\mathbb{F}^n$` 和 `$\mathbb{F}^m$`，并标注为 `standard norm`。

2. 声音
   观察依据

   讲师说：“在两边我们都可以直接选用通常的欧几里得范数，即标准范数。”

$\text{standard norm}$

在两个有限维空间上所选取的范数；讲师补充说明，相关结论并不依赖于这一特定选择。

$\mathbb{F}^n$ 和 $\mathbb{F}^m$ 上的范数。

1. 公式
   观察依据

   黑板上写出 `$T[B_1(0)] \subseteq \mathbb{F}^m$`，随后又写出 `$I[B_1(0)] = B_1(0)$`。

2. 声音
   观察依据

   讲师说：“单位球在 T 下的像是一有界集”，随后针对恒等映射说道：“它仍保持为单位球。”

$B_1(0)$

以0为中心、半径为1的单位球。

相应赋范空间（$\mathbb{F}^n$ 或 $\ell^p(\mathbb{N})$）的子集。

1. 公式
   观察依据

   在 `$T[B_1(0)]$` 上方画一条横线，得到 `$\overline{T[B_1(0)]}$`；随后在 `$B_1(0)$` 上方画一条横线，得到 `$\overline{B_1(0)}$`。

2. 声音
   观察依据

   讲师说：“我们对这个集合取闭包时，就得到这个结果”，以及“这意味着我们只需在这个集合上方加一条横线。”

$\overline{(\cdot)}$

集合的拓扑闭包。

应用于赋范空间的子集。

1. 公式
   观察依据

   黑板上写出 `I: $\ell^p(\mathbb{N}) \longrightarrow \ell^p$($\mathbb{N)}$, $\quad p \in$ [1, $\infty$),`，其下方写有 `$x \longmapsto x$`。

2. 声音
   观察依据

   讲师说：“我们来考虑 Lp 中的恒等算子”，以及“恒等算子的意思就是：取一个序列 x，并把它映到它自身。”

1. 音频中读作“Lp”，而屏幕上显示的公式是 `$\ell^p(\mathbb{N})$`。

I

序列空间 $\ell^p(\mathbb{N})$ 上的恒等算子。

从 $\ell^p(\mathbb{N})$ 到其自身的线性映射。

1. 公式
   观察依据

   反例行明确将 `$\ell^p(\mathbb{N})$` 同时写作定义域与陪域。

2. 声音
   观察依据

   讲师将该例子介绍为“Lp 中的恒等算子”。

1. 口语中的缩略语不如书面记号精确。

$\ell^p(\mathbb{N})$

用于非紧反例的序列空间。

以自然数集 ℕ 为指标集的巴拿赫序列空间。

1. 公式
   观察依据

   黑板在定义 I 后写下 `p ∈ [1, $\infty$)`。

2. 声音
   观察依据

   除提及 Lp 外，未听到关于 p 的单独口述解释。

p

序列空间 ℓ^p(ℕ) 的指数参数。

p 属于区间1到正无穷。

1. 公式
   观察依据

   黑板在恒等算子下方写下 `x ⟼ x`。

2. 声音
   观察依据

   讲师说：“我们取一个序列 x，并将其映射到它自身。”

x

ℓ^p(ℕ) 中的任一元素（序列）。

x 属于 ℓ^p(ℕ)。

1. 公式
   观察依据

   定义行将$(X,\|\cdot\|_X)$和$(Y,\|\cdot\|_Y)$写作两个赋范空间。

2. 声音
   观察依据

   主讲人指出，我们需要两个赋范空间，且它们通常为巴拿赫空间。

(X,\|$\cdot$\|_X), (Y,\|$\cdot$\|_Y)

定义紧算子时所用的两个赋范空间。

赋范空间；主讲人指出它们通常为巴拿赫空间。

1. 公式
   观察依据

   黑板显示 `$\overline{T[B_1(0)]}$ ⊆ $\mathbb{F}^m \quad \text{compact}$`。

2. 声音
   观察依据

   讲师说：“当我们考察单位球的像、对其取闭包，且该闭包是紧集时，我们就称该算子为紧算子。”

视频通过考察单位球在算子作用下的行为来定义紧算子：先取单位球在此算子下的像，再对该像取闭包；若该闭像是紧集，则称该算子为紧算子。在有限维模型情形中，这一性质被证明自动成立。

1. 该算子作用于赋范空间之间。

2. 检验集合是单位球 $B_1(0)$。

3. 先取像，再取闭包。

1. 单位球 $B_1(0)$
2. 集合的闭包运算。
3. 有限维赋范空间中，闭且有界的子集是紧集。

1. 公式
   观察依据

   黑板上写有 `T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m \quad \text{linear}$`，并标注“标准范数”。

2. 声音
   观察依据

   讲师说：“此处，有限性的类比对象是有限维向量空间之间的线性算子。”

在抽象定义紧算子之前，课程先以有限维空间之间的线性映射作为直观原型。其思想在于：紧算子推广了有限维空间上算子的行为。

1. T 是线性的。

2. 定义域与值域均为有限维赋范空间。

1. 线性算子

1. 公式
   观察依据

   黑板上写有 `$\Rightarrow T \text{ 是连续的 / 有界的}$`。

2. 声音
   观察依据

   讲师说：“对线性算子而言，连续性等价于有界性。”

讲座指出，在线性算子的背景下，连续性与有界性含义相同。随后利用这一事实推断出单位球在该算子下的像集是有界的。

1. 该算子是线性的。

2. 所涉空间均为赋范空间。

1. 线性算子
2. 单位球 $B_1(0)$

1. 公式
   观察依据

   黑板上写着：『⇒ $T[B_1(0)]$ ⊆ 𝔽^m　有界』。

2. 声音
   观察依据

   讲师说：“换言之，单位球在 T 下的像集是一个有界集。”

一旦得知 T 的连续性／有界性，讲座便得出结论：T 作用于单位球所得的像集在目标空间中是有界的。这提供了有限维空间中紧性所需的两个要素之一。

1. T 是有界／连续的。

2. $B_1(0)$ 是定义域中的单位球。

1. 对线性算子而言，连续性等价于有界性。
2. 单位球 $B_1(0)$

1. 公式
   观察依据

   黑板将 `$T[B_1(0)]$` 升级为 `$\overline{T[B_1(0)]}$`，并标注其为『紧的』。

2. 声音
   观察依据

   讲师说：“这是实现紧性所需条件的一半”，然后在取闭包后说：“我们得到的集合在 $F^m$ 中总是紧的。”

讲座利用了有限维空间的一个性质：有界性加上闭性可推出紧性。由于 $T[B_1(0)]$ 已经是有界的，对其取闭包后，它就在 𝔽^m 中成为紧集。

1. 所在空间是有限维的。

2. 该集合是有界的。

3. 该集合是闭的（此处通过取闭包实现）。

1. 有界线性算子将单位球映为一个有界集。
2. 集合的闭包运算。

1. 公式
   观察依据

   在 `$T[B_1(0)]$` 和之后的 `$B_1(0)$` 上方画了横线。

2. 声音
   观察依据

   讲师说：“我们对这个集合取闭包时，就得到……”，以及“这意味着我们只需在这个集合上方加一条横线。”

讲座反复使用集合的闭包，记作集合上方加一横线。闭包这一步骤将原本仅有有界性的像集，转变为既有闭性又有有界性的集合；而在有限维空间中，这样的集合就是紧集。

1. A 是某个拓扑空间或赋范空间的子集。

1. 公式
   观察依据

   符号 `$B_1(0)$` 出现在 `$T[B_1(0)]$` 和 `$I[B_1(0)] = B_1(0)$` 中。

2. 声音
   观察依据

   主讲人称其为“单位球”。

以0为中心的单位球，是用于刻画紧算子的基本测试集。讲座中将算子 T 作用于 $B_1(0)$，随后将恒等算子作用于 $B_1(0)$。

1. 定义在赋范空间内部。

1. 公式
   观察依据

   在“T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m$”旁写有“线性”一词。

2. 声音
   观察依据

   主讲人说：“有限维向量空间之间的线性算子”，以及“对线性算子而言，连续性与有界性含义相同”。

整个讨论围绕线性算子展开。线性是结构假设，它使得讲座能够运用连续性与有界性之间的等价关系。

1. T 保持向量加法与标量乘法。

1. 公式
   观察依据

   书面定义：设$(X,\|\cdot\|_X)$、$(Y,\|\cdot\|_Y)$为两个赋范空间。有界线性算子$T:X\to Y$称为紧算子，当且仅当$\overline{T[B_1(0)]}\subseteq Y$是紧集。

2. 声音
   观察依据

   讲话者引入形式定义，并用语言陈述紧性条件。

赋范空间之间的有界线性算子称为紧算子，当且仅当单位球的像的闭包在目标空间中是紧集。讲话者强调，该条件在目标空间为有限维时自动成立，但在无限维情形下具有实质意义。

1. $(X,\|\cdot\|_X)$和$(Y,\|\cdot\|_Y)$是赋范空间。

2. $T:X\to Y$是有界线性算子。

3. 要求$T[B_1(0)]$在$Y$中的闭包是紧的。

1. 公式
   观察依据

   书写示例：积分算子$T_k:C([0,1])\to C([0,1])$，绿色注释为“配备上确界范数$\|\cdot\|_\infty$”，以及$(T_k f)(s):=\int_0^1 k(s,t)f(t)\,dt$对应$k\in C([0,1]\times[0,1])$。

2. 声音
   观察依据

   讲话者表示，他们将考察一个定义在连续函数上的积分算子，该算子把$[0,1]$上的一个函数映射为同一空间中的另一个函数，并采用上确界范数。

该片段介绍了一个具体的算子族$T_k$，它通过对固定连续核函数$k(s,t)$与输入函数$f(t)$在$t\in[0,1]$上的乘积进行积分，作用于连续函数；输出为函数$s\mapsto (T_k f)(s)$。

1. 对应的式子为：$f\in C([0,1])$。

2. 对应的式子为：$k\in C([0,1]\times[0,1])$。

3. $C([0,1])$配备上确界范数$\|\cdot\|_\infty$。

4. 对应的式子为：$s\in[0,1]$。

1. 紧算子的定义

1. 公式
   观察依据

   书写事实：$k$一致连续；存在$\forall \varepsilon>0\ \exists \delta>0\ \forall (s_1,t_1),(s_2,t_2)$使得$\|(s_1,t_1)-(s_2,t_2)\|<\delta \Rightarrow |k(s_1,t_1)-k(s_2,t_2)|<\varepsilon$。

2. 声音
   观察依据

   主讲人指出一个重要事实：由于$k$定义在紧集上，它不仅连续，而且一致连续，随后写出了其定义。

由于核函数$k$在紧正方形$[0,1]\times[0,1]$上连续，因此它是一致连续的。该片段明确给出了ε-δ定义，并指出输入距离是在$\mathbb R^2$中度量的，而输出距离是$\mathbb R$中的绝对值。

1. 对应的式子为：$k\in C([0,1]\times[0,1])$。

2. 定义域$[0,1]\times[0,1]$是紧的。

1. $C([0,1])$上的积分算子。

1. 公式
   观察依据

   $T_k$ : C([0，1]) $\to C$([0，1]）

2. 公式
   观察依据

   （$T_k$ 作用于 f）在 s 处的值定义为：k 关于 t 从 0 到 1 对 f 在 t 处的值的积分

积分算子 $T_k$ 将一个连续函数 f 映射为另一个连续函数，该函数定义为对核函数 $k(s,t)$ 与 $f(t)$ 的乘积在 t 上从 0 到 1 进行积分。

1. k 属于 $C([0,1] \times [0,1])$

2. f 属于区间0到1上的连续函数空间

1. 公式
   观察依据

   黑板上在“T: $\mathbb{F}^n \longrightarrow \mathbb{F}^m \quad \text{线性}$”正下方直接写出“⇒ T 连续／有界”。

2. 声音
   观察依据

   主讲人说：“第一步证明起来并不困难。它告诉我们：有限维赋范空间之间的线性算子总是连续的。”

若 T 是有限维赋范空间之间的线性算子，则 T 连续（等价地，有界）。

1. T 是线性的。

2. 定义域与陪域均为有限维赋范空间。

对所有有限维赋范空间之间的线性算子 T。

1. 公式
   观察依据

   黑板上将“连续／有界”写作一个联合结论。

2. 声音
   观察依据

   讲师说：“对线性算子而言，连续等价于有界。”

对线性算子而言，连续性等价于有界性。

1. 该算子是线性的。

2. 这些空间是赋范空间。

对所有赋范空间之间的线性算子。

1. 公式
   观察依据

   在写出 `$T[B_1(0)] \subseteq \mathbb{F}^m \quad \text{bounded}$` 后，讲师添加一条横线，并将结果标注为 `compact`。

2. 声音
   观察依据

   讲师说：“你看，这是你实现紧性所需条件的一半”，然后，在取闭包之后，“我们得到一个在 $F^m$ 中总是紧的集合。”

在有限维赋范空间中，每个闭且有界的集合都是紧的。

1. 背景空间是有限维的。

2. 该集合是闭的。

3. 该集合是有界的。

对有限维赋范空间的所有子集而言。

1. 公式
   观察依据

   黑板上写着 `$\overline{I[B_1(0)]} = \overline{B_1(0)}$`，并标注为“ℓ^p(ℕ) 中的闭单位球”，随后注明“不紧”。

2. 声音
   观察依据

   讲师说：“它是闭且有界的，但不是紧的。因此，我们这里所面对的算子不能称为紧算子。”

1. 口述时读作“Lp”，而书面记号为 `$\ell^p(\mathbb{N})$`。

对 p ∈ [1,$\infty$)，ℓ^p(ℕ) 上的恒等算子 I 不是紧算子，因为 ℓ^p(ℕ) 中的闭单位球不是紧的。

1. I：ℓ^p(ℕ) → ℓ^p(ℕ) 是恒等映射。

2. p 属于区间1到正无穷。

考虑 ℓ^p(ℕ) 上的恒等算子，其中 p ∈ [1, $\infty$)。

1. 声音
   观察依据

   主讲人说，若$Y$是有限维赋范空间，“此处并无特别之处”，但在无限维情形下，它确实具有特殊性。

1. 该片段并未证明有限维情形下的命题，仅以口头方式强调了这种对比。

对于映入有限维赋范空间的有界线性算子，$\overline{T[B_1(0)]}$上的紧性条件自动满足；而在无限维情形下，该条件则构成一个实质性的限制。

1. $T:X\to Y$是有界且线性的。

2. 在第一种情形下，$Y$是有限维的。

3. 在作为对比的情形下，$Y$是无限维的。

定义在具有指定目标维数的有界线性算子上的全称命题。

1. 声音
   观察依据

   主讲人指出一个重要事实：$k$定义在紧集上，因此它不仅连续，而且一致连续。

2. 公式
   观察依据

   黑板上写着“事实：$k$一致连续”，随后给出ε-δ条件。

若$k\in C([0,1]\times[0,1])$，则$k$在$[0,1]\times[0,1]$上一致连续。

1. $k$在$[0,1]\times[0,1]$上连续。

对每个$\varepsilon>0$，存在$\delta>0$，使得对定义域中所有$(s_1,t_1),(s_2,t_2)$，该蕴含关系成立。

1. 声音
   观察依据

   我们现在知道该函数确实是连续的，因此此处所写的算子是良定义的。

积分算子 $T_k$ 是良定义的，它将连续函数映射为连续函数。

1. k 属于矩形区域0到1与0到1上的连续函数空间

2. f 属于区间0到1上的连续函数空间

对任意 f 属于区间0到1上的连续函数空间

1. 声音
   观察依据

   通过上述计算，我们已证明集合 A 确实是一致等度连续的。

集合 A 定义为积分算子 $T_k$ 作用于单位球所得的像，该集合是一致等度连续的。

1. k 属于矩形区域0到1与0到1上的连续函数空间

2. A 定义为 $T_k$ 作用在球 $B(0)$ 上的像

对任意 g 属于 A

1. 公式
   观察依据

   黑板先显示$\forall \varepsilon>0\ \exists \delta>0\ \forall s_1,s_2\in[0,1]\ \forall g\in A:\ |s_1-s_2|<\delta\Rightarrow |g(s_1)-g(s_2)|<\varepsilon$，然后写‘$\Rightarrow T_k[B_1(0)]$是一致等度连续的’。

2. 声音
   观察依据

   开场句说‘在此处应用Arzelà-Ascoli定理’，后续结论再次强调该集合是一致等度连续的。

集合$T_k[B_1(0)]$是等度一致连续的。

1. 所展示的核估计已在本课早先部分建立。

2. 对应的式子为：$A=T_k[B_1(0)]$。

对任意 $ε > 0$，存在 $δ > 0$，使得对任意 $s_1$, $s_2 \in [0, 1]$ 及任意 $g \in A$

1. 公式
   观察依据

   黑板上证明了$\|T_k\|\le \sup_{s\in[0,1]}\int_0^1 |k(s,t)|\,dt$。

2. 声音
   观察依据

   说话人说：‘因为这样我们就知道$T_k$是一个有界算子。’

算子$T_k$是有界的，其算子范数由$\sup_{s\in[0,1]}\int_0^1 |k(s,t)|\,dt$控制。

1. 在所展示的范数计算中，$\|f\|_\infty=1$。

2. 核$k$满足$\sup_{s\in[0,1]}\int_0^1 |k(s,t)|\,dt$是有限的。

上确界，其中 f 的无穷范数等于1

1. 公式
   观察依据

   黑板上写着：‘$\Rightarrow$ 由 Arzelà-Ascoli 定理：$T_k[B_1(0)]$ 是紧的，$\Rightarrow T_k$ 是紧算子’。

2. 声音
   观察依据

   说话人说：‘因此，这两条性质对集合的闭包也同样成立；再由 Arzelà-Ascoli 定理，我们现在得到一个紧集。’

1. 黑板上显示的行文为‘$T_k[B_1(0)]$ 是紧的’，而口述解释中说的是闭包是紧的；其意欲得出的数学结论是单位球的像具有相对紧性。

若$T_k[B_1(0)]$是一致等度连续且有界的，则其闭包是紧的，故$T_k$是一个紧算子。

1. $T_k[B_1(0)]$是一致等度连续的。

2. $T_k[B_1(0)]$是有界的。

原始材料中未陈述任何量词。

1. 公式
   观察依据

   黑板构建了如下链条：`T: 𝔽^n → 𝔽^m 是线性映射` ⇒ `T 连续／有界` ⇒ `$T[B_1(0)]$ ⊆ 𝔽^m 有界` ⇒ `$\overline{T[B_1(0)]}$ ⊆ 𝔽^m 紧致`。

2. 声音
   观察依据

   讲师按顺序讲解每一步蕴含关系，最后总结道：“有了这个，你本质上就已经理解什么是紧算子了。”

1. 公式

   $$T: \mathbb{F}^n \longrightarrow \mathbb{F}^m \quad \text{linear}$$
   解释

   从有限维赋范空间之间的线性算子出发。

   步骤依据

   这是黑板上引入的模型设定。

   视频直接表达
2. 公式

   $$T \text{ is continuous / bounded}$$
   解释

   由有限维性可知，该算子自动连续，即等价于有界。

   步骤依据

   命题：有限维线性映射连续（claim-finite-dim-linear-continuous）；以及连续性与有界性等价（claim-continuous-bounded-equivalence）。

   视频直接表达
3. 公式

   $$T[B_1(0)] \subseteq \mathbb{F}^m \quad \text{bounded}$$
   解释

   将 T 作用于单位球上；T 的有界性意味着其像集有界。

   步骤依据

   有界算子定义在单位球上的应用。

   视频直接表达
4. 公式

   $$\overline{T[B_1(0)]} \subseteq \mathbb{F}^m \quad \text{compact}$$
   解释

   取有界像的闭包。在有限维空间中，闭集加上有界集即得紧性。

   步骤依据

   命题：有限维空间中闭且有界蕴含紧性。

   视频直接表达

因此，每个线性算子 T: $\mathbb{F}^n \to \mathbb{F}^m$ 都满足紧算子判据，故有限维线性算子是紧算子的原型。