分类

Mathematics

Nov 23, 2021 微分几何 60 分钟

微分几何（十二）：纤维丛、特征类与物理学

向量丛推广了切丛，丛上的联络推广了 Levi-Civita 联络，特征类是拓扑不变量——这是规范理论和广义相对论背后的几何结构。

Nov 19, 2021 微分几何 34 分钟

微分几何（十）：黎曼几何 — 度量、联络和平行移动

黎曼度量让我们可以在任何光滑流形上测量长度、角度和体积 —— Levi-Civita 联络提供了平行移动和测地线的经典概念。

Nov 9, 2021 微分几何 52 分钟

微分几何（五）：高斯-博内定理 —— 几何与拓扑的交汇点

高斯-博内定理将总高斯曲率与欧拉示性数联系起来——这是局部微分几何与整体拓扑之间的一座令人惊叹的桥梁。

Oct 23, 2021 泛函分析 66 分钟

泛函分析（十二）：泛函分析在行动 —— 偏微分方程和量子力学

Lax-Milgram 定理用于椭圆型偏微分方程，变分方法，量子可观测量作为自伴算子，以及 Stone 定理 —— 抽象理论与具体应用的交汇点。

Oct 21, 2021 泛函分析 56 分钟

泛函分析（十一）：分布与Sobolev空间 — 广义解

分布扩展了函数的概念，以处理经典上不存在的导数 — Sobolev空间为PDE的弱解提供了合适的框架。

Oct 19, 2021 泛函分析 46 分钟

泛函分析（十）：算子半群 — 无限维空间中的演化方程

C₀-半群为演化方程提供了抽象框架 — Hille-Yosida 定理刻画了哪些算子生成良好定义的动力学。

Oct 15, 2021 泛函分析 44 分钟

泛函分析（八）：谱理论 —— 分解算子

谱将特征值推广到无穷维空间——有界自伴算子的谱定理和连续函数演算给出了完整的分解。

Oct 13, 2021 泛函分析 46 分钟

泛函分析（七）：紧算子——通往有限维的桥梁

紧算子是有限秩算子的极限，并继承了许多有限维谱行为——Fredholm 替代定理和自伴紧算子的谱定理。

Oct 11, 2021 泛函分析 42 分钟

泛函分析（六）：有界线性算子与三大定理

一致有界原理、开映射定理和闭图像定理——完备性的三个推论，约束了算子的行为。

Oct 9, 2021 泛函分析 48 分钟

泛函分析（五）：弱拓扑和弱*拓扑 —— 当范数收敛太强时

范数拓扑对于许多目的来说过于精细——弱拓扑和弱*拓扑提供了使优化和偏微分方程理论可行的紧性结果。

Oct 7, 2021 泛函分析 60 分钟

泛函分析（四）：对偶空间与 Hahn-Banach 定理 —— 线性泛函的驯服

Hahn-Banach 定理保证了足够多的连续线性泛函存在，以区分点——这是泛函分析中对偶理论的基础。

Oct 5, 2021 泛函分析 50 分钟

泛函分析（三）：Hilbert 空间 —— 无限维空间中的几何

内积赋予无限维空间几何结构——正交性、投影和 Riesz 表示定理使 Hilbert 空间成为分析学家的天堂。

Oct 1, 2021 泛函分析 50 分钟

泛函分析（一）：度量空间 —— 距离、收敛与完备性

从实直线到无限维函数空间：为什么完备性是分界线。

Sep 23, 2021 抽象代数 52 分钟

抽象代数（十二）：代数在实际应用中的威力 —— 从密码学到编码理论及其他

从 RSA 加密到纠错码再到粒子物理 —— 抽象代数最强大的实际应用，以及下一步该去哪里。

Sep 21, 2021 抽象代数 42 分钟

抽象代数（十一）：范畴论 — 数学结构的语言

范畴、函子和自然变换提供了一种通用的数学结构语言——并且泛性质用优雅的特征取代了特定的构造。

Sep 19, 2021 抽象代数 62 分钟

抽象代数（十）：表示论 — 群在向量空间上的作用

将抽象群表示为矩阵使它们变得具体且可计算 — Maschke 定理、Schur 引理和特征标理论为我们提供了强大的分类工具。

Sep 17, 2021 抽象代数 54 分钟

抽象代数（九）：模——向量空间的推广

环上的模是域上向量空间的自然推广——主理想整环上有限生成模的结构定理统一了阿贝尔群理论和标准型理论。

Sep 15, 2021 抽象代数 46 分钟

抽象代数（八）：Galois 理论 —— 域与群之间的桥梁

Galois 理论的基本定理建立了中间域和子群之间的完美对应关系，并解决了古老的根式可解性问题。

Sep 13, 2021 抽象代数 56 分钟

抽象代数（七）：域扩张 — 构建更大的数系

代数和超越扩张、塔律、极小多项式和分裂域 — 使Galois理论成为可能的机制。

Sep 11, 2021 抽象代数 46 分钟

抽象代数（六）：多项式环 —— 因子分解与唯一分解

除法算法、不可约性测试，以及从 $\mathbb{Z}$ 到 $\mathbb{Z}[x]$ 再到 $\mathbb{Q}[x]$ 的过程——理解何时及为何唯一因子分解成立。

Sep 9, 2021 抽象代数 70 分钟

抽象代数（五）：环与理想 —— 当乘法进入画面

引入乘法：环、整环、理想和商环——数论和多项式算术背后的代数结构。