01 曲面拓扑

模块问题 在谈长度、角度和曲率之前，先回答：输入究竟是哪一种曲面？有几块、几条边界、几个洞？能否直接映到圆盘？ 本模块把原先一篇 600 多行的拓扑章拆成 11 课。每课只增加一个概念层级。 前置检查 至少先完成： 函数与坐标； 线性方程…

本课只解决一个问题 如果不允许测量长度和角度，怎样仍然精确描述“哪些点彼此邻近”？ 拓扑的答案是：指定哪些集合算开集。开始前只需要 函数与坐标 中集合和原像的概念。 1. 集合语言 若集合 AAA 的每个元素也属于 XXX，记作 A⊆X.A…

本课只解决一个问题 咖啡杯和圆环为什么常被说成“拓扑相同”，而圆盘和圆环不同？ 必须把“可以连续变形”改写成不会误判的定义。 1. 双射还不够 两个无限点集之间常能建立奇怪的一一对应，但这种对应可能把相邻点送得很远。拓扑等价需要同时满足： …

本课只解决一个问题 球面明明弯曲，为什么还可以用两个坐标做微积分？ 关键不是整个球面像平面，而是每个足够小的邻域像平面。 1. 局部欧氏 二维拓扑流形 MMM 的核心条件是：每个点 p∈Mp\in Mp∈M 都有一个邻域 UUU，与平面中的…

本课只解决一个问题 数学上怎样精确表达“把两条边粘起来”？ 答案是先声明哪些点视为同一点，再把等价的点合并。这个过程叫取商。 1. 等价关系 集合 XXX 上的关系 ∼\sim∼ 若满足： 自反：x∼xx\sim xx∼x； 对称：x∼y…

本课只解决一个问题 一条闭路能否在曲面内连续缩成一点？如何把所有闭路的缠绕方式组织成代数对象？ 1. 路径 空间 XXX 中从 ppp 到 qqq 的路径是连续映射 γ:[0,1]→X,γ(0)=p, γ(1)=q.\gamma:[0,1]…

本课只解决一个问题 怎样区分曲面的内部点、边界点和一致的“正面方向”？ 这决定边界环提取、法向、积分符号和三角形翻转判断。 1. 带边界流形的局部模型 内部点的邻域像平面开圆盘。边界点的邻域像上半平面 H2={(x,y)∈R2:y≥0}\m…

本课只解决一个问题 如何把圆上反复绕圈的运动，变成实数轴上的普通直线运动？ 覆盖空间让复杂空间在局部保持原样，同时把全局绕圈信息展开。 1. 最重要的例子 定义 p:R→S1,p(t)=e2πit.p:\mathbb R\to S^1, \…

本课只解决一个问题 只数网格中的顶点、边和面，为什么就能得到一个不随重新剖分改变的拓扑数？ 1. 单纯形 低维单纯形是： 000-单纯形：顶点； 111-单纯形：边； 222-单纯形：三角形； 333-单纯形：四面体。 三角网格是许多 …

本课只解决一个问题 怎样把“顶点、边、面怎样连接”写成矩阵，并让“边界的边界为零”成为可以验证的代数恒等式？ 1. 为什么需要形式线性组合 只列出单条边无法表达一圈边界。我们允许把有向单纯形按系数相加。 kkk-链写作 c=∑iaiσi,c…

本课只解决一个问题 “闭合”为什么还不等于“围成一块面”？同调怎样把两者的差解释为洞？ 本课必须先掌握 边界算子。 1. 循环 kkk-链 z∈Ckz\in C_kz∈Ck​ 若没有边界： ∂kz=0,\partial_k z=0, ∂k​…

本课只解决一个问题 给定三角形面数组 faces，怎样检查边界、非流形边、连通性和 Euler 示性数？ 代码只实现已经学过的定义。若某一行看不懂，应回到对应理论短课，而不是背代码。 1. 输入约定 import numpy as np f…