在逻辑、思辨与诗意间滑动

数学 | 哲学 | 计算机科学 | 艺术 & 小说

流形上的微积分(一):点上的线性代数

补充线性代数中的基本概念,包括向量、余向量、矩阵、张量、楔积等。

2026年9月26日 · 更新于 2026年10月12日 · 37 分钟 · 18048 字

流形上的微积分(二):流形的逐点线性化

补充流形几何中的基本概念,包括流形、子流形、切空间、余切空间、张量空间、外幂空间、纤维、丛、截面等。

2026年9月27日 · 更新于 2026年10月16日 · 52 分钟 · 25974 字

流形上的微积分(三):微分形式

介绍微分形式,以及外微分和对微分形式的积分。

2026年9月28日 · 更新于 2026年10月24日 · 57 分钟 · 28391 字

流形上的微积分(四):广义斯托克斯定理

推导广义斯托克斯定理,并用其统一微积分基本定理、曲线积分基本定理、格林定理、高斯定理和斯托克斯定理。

2026年9月29日 · 更新于 2026年10月24日 · 33 分钟 · 16298 字

流形上的微积分(五):黎曼度量

介绍黎曼度量,以及与之相关的音乐同构、霍奇星算子、法空间和余法空间。

2026年10月13日 · 更新于 2026年10月16日 · 35 分钟 · 17451 字

流形上的微积分(六):经典向量分析

将经典向量分析中的点积、叉积、梯度、密度、散度、旋度用微分形式的语言重新定义。

2026年10月14日 · 更新于 2026年10月28日 · 92 分钟 · 46082 字

函数复合的方向:前推与拉回

介绍微分形式,以及外微分和对微分形式的积分。

2026年10月9日 · 更新于 2026年10月28日 · 21 分钟 · 10454 字

函数式编程:代码中的数学结构

探索函数式编程背后美妙的数学理论。

2026年9月10日 · 更新于 2026年10月11日 · 55 分钟 · 27085 字

泛函与变分法:最速降线问题与狄多问题

介绍泛函和变分法,并分别求解最速降线问题与狄多问题。

2026年7月3日 · 更新于 2026年7月20日 · 24 分钟 · 11761 字

微分的符号谱系:从古典记号到现代算子理论

介绍目前主要的导数类型以及相应的符号,包括牛顿、拉格朗日、莱布尼茨、欧拉等古典记号,以及基于算子的现代微分符号。

2026年6月25日 · 更新于 2026年9月24日 · 11 分钟 · 5146 字