单纯复形
该片段将单纯复形定义为研究对象,并指出它由单形构建而成。这是在神经网络动机引入之后,最先提出的顶层结构。
遇见数学 · 哔哩哔哩 · 8:30
这段 120秒的摘录通过神经网络图可被视为高维结构这一观点引出单纯复形的概念。在将单形定义为广义三角形之后,主讲人从 0- 经过 3-单形,然后解释如何通过依次填充边、面、立体以及 4-维空间,由五个顶点构造一个 4-单形,该单形是 个顶点的凸包。接着,该片段通过将 k 个顶点上的完全图解释为 (k-1)-单形,将图论与拓扑学联系起来,并以一个三顶点示例的开始作为结尾。 本视频片段介绍了单纯形与单纯复形这两个数学概念。它首先将低维单纯形(2-单纯形、3-单纯形)定义为“填满”的完全图;接着将单纯复形定义为这些单纯形粘合而成的集合,并着重强调关键规则:相交必须沿整个面发生,而不能是部分相交;最后,该片段演示了如何将任意图转化为单纯复形——即识别其所有完全子图(团),并在几何上将其内部填满,从而为这一拓扑构造提供了清晰的视觉与步骤化解释。 本视频片段介绍代数拓扑学,将其描述为“橡皮膜几何学”,研究在柔性形变下保持不变的形状性质;定义了拓扑不变量,特别聚焦于欧拉示性数;演示了凸多面体欧拉示性数的计算方法,并展示了在图形中引入孔洞如何改变这一不变量,最终将该概念推广至单纯复形 这段时长为120秒的视频片段首先将欧拉示性数定义为对顶点、边、面、立体及更高维空间的交错计数,随后引入贝蒂数作为按维度计数“洞”的拓扑不变量。它通过若干示例展开讲解:一个贝蒂数满足 且 的环面;一个贝蒂数满足 且 的双孔环面;以及两个在公共顶点处相连的空心四面体,其贝蒂数满足 且 。此外,它将 定义为连通分支的数量,并最终将这些概念置于同调论与代数拓扑的框架之中,运用单纯复形对大脑连接性进行建模。 本导引片段介绍图论如何用于建模神经系统结构并理解其功能。画面呈现一个网络图的可视化表示,并通过动画将‘结构’与‘功能’关联起来,随后进入视频片尾。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
该片段以一段简短的非数学性标志动画开场。
主讲人回顾上期内容中提出的观点:神经网络可建模为一张图;随后指出,这张图还可进一步视为一个高维单纯复形。由此引出核心问题:什么是单纯复形?
单纯复形被介绍为一种由单纯形构成的对象。接着,‘单纯形’一词被非正式地定义为一种广义三角形,即在任意维度中都具有三角形特征的对象。
解释按维度逐层展开:一个0-单形是一个顶点;一个1-单形是两个由一条边连接的顶点;一个2-单形是三个两两由边相连、并由一个面填充的顶点,即一个三角形;一个3-单形是四个两两由边相连、并由四个填充的面围成的顶点,构成一个四面体。
下一个例子将维度提升至四维:要构造一个4-单形,先取五个顶点;然后添加顶点之间的1-维边、边之间的2-维面、面之间的3-维立体,最后添加这些立体之间的4-维空间。讲解者明确指出,最后这一步难以直接可视化。
从这些例子中可归纳出一般规律:一个k-单形是k维的,由个顶点构成;它包含这些顶点以及它们之间所有的空间,视频中将这部分空间称为它们的凸包。
随后讨论回归图论:完全图被定义为一种图,其中任意两个顶点之间都恰有一条边相连。关键在于将这样的图重新诠释为一个单形:保留所有顶点和边,再填充三角形面、实心四面体、更高维的胞腔等。
由此得出屏幕上呈现的规则:含k个顶点的完全图对应一个(k-1)-单形,因此关联的单形维度为k-1。视频片段在讲解者开始举例说明含三个顶点的完全图时结束;口头结论被截断,但画面上显示的三角形与前文所定义的2-单形一致。
视频首先讲解如何构建一类基本几何对象——单纯形。例如,取一个简单的三角形图并填满其内部,就得到一个2-单纯形;类似地,对一个四顶点完全图,填满其所有面及实心内部,便得到一个3-单纯形,即四面体;讲述者还提到存在一个4-单纯形,它位于四维空间中,此处我们仅能看见其线框投影。
接下来引入单纯复形的概念:它被简单定义为一组(可能具有不同维数的)单纯形所组成的集合,这些单纯形共同构成一个整体单元;讲述者用公寓楼作类比,其中各个独立的公寓即为单纯形。
随后详细说明组装这类复形的规则:这些单纯形可以彼此完全分离,也可以相互连接;但关键在于,一旦连接,它们必须共享一个完整的面——这个面可以是一个顶点、一条边,或更高维的面;视频明确展示了一种无效构型:两个三角形仅沿某条边的一部分相交,并用红色‘×’标记该情形,以强调在有效的单纯复形中,部分相交是不被允许的。
最后,视频演示了如何将任意标准图转化为一个单纯复形。该过程包括识别原图中所有的完全子图(也称为团)。讲解者指出,这些团可以相互重叠,共享顶点或边;但除非所有顶点彼此相连,否则它们的并集并不会自动构成一个更大的团。一旦识别出全部团,就将每个团通过几何方式“填满”,转化为其对应的单纯形。这样,原本抽象的节点与边构成的网络,就被转化成了由粘合在一起的单纯形所组成的具象拓扑空间。
视频开篇介绍了代数拓扑——这是一门致力于研究形状及其基本性质的数学分支。
拓扑学被诙谐地称为“橡皮膜几何学”。与刚性几何不同,拓扑学家可以自由地弯曲、拉伸和扭转形状,只要不撕裂形状,也不封堵任何已有的洞。
其核心关注点在于识别那些在这些柔性变换过程中保持不变(即被保持)的性质。一个典型例子就是统计形状在不同维度上所具有的洞的数量。
引述罗伯特·格里斯特(Robert Ghrist)的话,讲述者强调:代数拓扑提供了稳健而成熟的工具,用于系统地计数并组织这些洞。
尽管以“洞”为中心的数学领域初看或许显得有趣甚至纯粹抽象,但这些概念却具有深远的实际应用价值。
为了量化这些全局结构,数学家使用“拓扑不变量”。这些是赋予某个形状或单纯复形的特定数值,有助于揭示其内在结构。
首个被介绍的重要不变量是欧拉示性数。对于任意一个三维凸多面体——即没有洞、也没有凹陷的实心立体——欧拉示性数可通过一个简单公式计算:顶点数减去棱数再加上面数。
令人惊奇的是,对所有此类凸多面体——无论是基本的立方体、四面体,还是复杂的十二面体——该计算结果恒为2。
为展示这一不变量的强大之处,视频对一个标准立方体进行改造:移除其中心部分,从而将立方体变为一个环面,即一个带有一个洞的空心甜甜圈形状。
引入这一个洞后,欧拉示性数从2下降到0。
再移除一部分以形成双环面(具有两个洞的形状),会使欧拉示性数进一步下降至 -2。
这一变化规律清晰表明:欧拉示性数是曲面拓扑复杂度的灵敏指标,尤其用于刻画洞的数量。
最后,该概念被推广至更一般的3D多面体之外;欧拉示性数可拓展用于计算任意维单纯复形的不变量,这些单纯复形由称为‘单纯形’的基本几何单元构成,其维度范围从0D点延伸至更高维的对应体。
该片段开篇即通过各维度上的交错和来定义欧拉示性数。屏幕上逐步呈现的公式为,与口述内容完全对应:0维的顶点、1维的边、2维的三角形面、3维的四面体立体,以及4维的空间。周围所绘几何图形仅用作各维度的示意,并非具体计算过程。
下一步引入贝蒂数作为另一类拓扑不变量。其核心思想在于:贝蒂数构成一个序列,记录对象在每一维度上所含“洞”的数量。这使关注点从交错的胞腔计数转向按维度逐一统计“洞”的数量。
首个详细演算的示例是环面。主讲人指出表示一维(即环状)洞的个数,并借助两条高亮的闭合路径——一条沿经线方向、一条沿纬线方向——来论证。同一示例中,又将环面所围成的内部区域视为一个二维洞,从而赋予。
示例变为一个双孔环面。此处视频直接指出和。视觉辅助表现为用亏格为二的曲面替代单个环面,而数值结论则被明确给出,而非在屏幕上逐个环路推导。
片段随后从光滑曲面转向一个单纯复形:两个在公共顶点处相连的空心四面体。对于该对象,所陈述的值为和。此例拓展了适用范围,表明贝蒂数不仅适用于熟悉的曲面,也适用于组合拓扑模型。
在举例之后,贝蒂数序列被更系统地总结。主讲人将该模式推广至和,分别计数三维与四维的洞;再补充特例,用于计数连通分支数。配图对比了一对不相连的四面体(给出)与一对相连的四面体(给出)。
结尾部分将这些概念置于代数拓扑框架之中。欧拉示性数、贝蒂数及其上位概念——同调,被呈现为用于计数与组织“洞”的工具。最终应用指向脑建模:神经元放电之间的连接被视为一个高维单纯复形,而代数拓扑不变量则被用于研究该结构的性质与形状。
视频开篇介绍利用图论建模复杂系统(特别是神经网络)的概念。画面上显示一个由蓝色和白色节点通过黑色边连接而成的网络图。
随后一段动画阐释‘结构’与‘功能’之间的关系:一个代表‘功能’的卡通人物指向屏幕,屏幕上显示的图表代表‘结构’。该视觉演示表明,图的数学性质可用于解释生物系统的行为。
该片段结束,转入标准片尾序列,包含频道信息、社交媒体链接及制作公司标识,并配以背景音乐。
该片段将单纯复形定义为研究对象,并指出它由单形构建而成。这是在神经网络动机引入之后,最先提出的顶层结构。
单形被描述为一种广义三角形,即任意维度下具有三角形特征的对象。这一非正式定义为观众理解后续按维度展开的具体示例做了铺垫。
给出了具体示例:一个0-单形是一个顶点;一个1-单形是两个由一条边连接的顶点;一个2-单形是一个填充的三角形;一个3-单形是一个填充的四面体。画面通过带标注的图示对每种情形加以强化。
要构造一个4维单形,先从五个顶点出发,依次填充边、面、3维立体,最后填充这些立体之间的4维空间。主讲人强调,最后一步很难直接想象。
对于任意数k,k维单形是k维的,且使用个顶点。它由这些顶点及其之间全部的空间组成,在视频中被认定为这些顶点的凸包。
完全图源自图论:每个顶点都通过一条边与其他所有顶点相连。这为几何上的重新诠释提供了组合学起点。
视频将完全图解释为单形,方法是在边之外添加更高维的填充结构:三角形面、立体、4维空间,等等。所陈述的规则是:含k个顶点的完全图构成一个(k-1)维单形。
最后,主讲人以一个含三个顶点的完全图开始举例。本片段中口头得出的结论被截断,但屏幕上显示的三角形对应前文对2维单形的定义。
k-单纯形是由一个含 个顶点的完全图、将其所有维度不超过 k 的面全部填满后所形成的几何对象。例如,一个2-单纯形是一个被填满的三角形,而一个3-单纯形是一个被填满的四面体。
单纯复形是由一组单纯形构造而成的拓扑空间。这些单纯形可具有不同维数,并须依照严格的粘合规则组装而成。
在单纯复形中,任意两个单纯形要么互不相交,要么沿二者共有的一个面相交。所谓‘面’,包括顶点、边以及更高维的边界。部分相交(例如仅在某条边的中点处交叉)是严格禁止的。
任意图均可通过两步过程解释为一个单纯复形:1) 识别图中所有的完全子图(团);2) 将每个团替换为其对应的被填满的单纯形。图中重叠的团,在复形中将表现为共享某个面的单纯形。
数学的一个分支,研究形状在连续形变下保持不变的性质,侧重于计数与组织‘洞’的工具。
对拓扑学的一种直观描述:形状可以自由弯曲和拉伸,但不可撕裂、穿孔,也不可收缩其洞。
赋予某个形状或单纯复形的一个数值,该数值在拓扑变换下保持恒定,从而揭示其整体结构特征。
对于任意3D凸多面体,欧拉示性数按顶点数减棱数加面数计算;对无洞的形状,该值恒为2。
在形状中引入洞会降低其欧拉示性数。环面(1个洞)的欧拉示性数为0,而双环面(2个洞)的欧拉示性数为-2。
欧拉示性数的概念可推广至任意维度的单纯复形,通过统计各维度单纯形的数量来定义。
视频中将欧拉示性数定义为按维度交替计数各组成部分:0维顶点数减去1维棱边数,加上2维三角形面数,减去3维四面体体块数,再加上4维空间数。它被呈现为单纯复形或三角剖分对象的一种拓扑不变量。
贝蒂数被引入为一组拓扑不变量序列,用以指示一个对象在各个维度上分别具有多少个‘洞’。与仅作为一个交替和的欧拉示性数不同,贝蒂数按维度逐项记录‘洞’的数量。
第一贝蒂数计数一维的、即环状的洞。环面试例展示了两条独立的闭合路径:一条沿经线方向,一条沿纬线方向,因此视频赋予环面。
第二贝蒂数计数二维的洞。对于环面,视频指出其围成的内部区域构成一个二维洞,故给出。对于两个在公共顶点处相连的空心四面体,所陈述的值为。
对于环面,视频从两个独立的圆周方向计算出,并从唯一的封闭二维孔洞计算出。该示例将抽象定义锚定在人们熟悉的曲面上。
对于双孔环面,视频给出和。该示例说明:随着手柄数量增加,一维孔洞的数量随之变化,而二维孔洞的数量则保持为一。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
屏幕文字显示“k-单形”。
说话人说:“一个k-单形,它是k维的……”
k
单形的维数指标;k-单形是k维的。
非负整数k(视频未明确说明其定义域)。
屏幕文字显示“(k+1)个顶点”。
说话人说:“由k加1个顶点构成。”
构成k-单形所用的顶点数量。
由维数指标k导出的正整数。
屏幕文字显示“k个顶点上的完全图=(k-1)-单形”。
说话人说:“k个顶点上的完全图将构成一个k减1单形。”
k
被解释为单形的完全图中的顶点数量。
顶点的正整数个数。
屏幕文字显示“= ()-维单形”
说话人说:“因此它是 k 减去1维的。”
k-1
对应于 k 个顶点上完全图的单形的维数。
当 时,为一个非负整数。
主讲人将欧拉示性数定义为“顶点数减去边数再加上面数”。
屏幕文字显示“(顶点 - 边 + 面 = 2)”。
vertices - edges + faces
三维凸多面体的欧拉示性数。
三维凸多面体与单纯复形。
主讲人说:“欧拉示性数等于零维顶点的个数,减去一维棱的个数,加上二维三角形面的个数,减去三维四面体实体的个数,再加上四维空间的个数。”
屏幕文字逐步呈现,从“欧拉示性数”变为“0个顶点 − 1条棱 + 2个面 − 3个实体 + 4个空间。”
Euler characteristic
对一个单纯复形,按单纯形的维数进行的交错计数。
单纯复形或三角剖分的拓扑空间。
主讲人将“贝蒂数”引入为另一类重要的拓扑不变量,并指出它们是“一组数字序列,用于表示一个对象在各个维数上所具有的洞的个数。”
屏幕标题显示为“贝蒂数”。
Betti numbers
一组按维数统计洞的个数的拓扑不变量序列。
拓扑空间,尤其是单纯复形。
主讲人说:“第一贝蒂数统计一维的、即环状的洞的个数。”
对于环面,屏幕文字显示为“。”
第一贝蒂数;即一维的或环状的洞的个数。
拓扑空间与单纯复形。
主讲人说:“第二贝蒂数用于计数二维‘洞’的个数。”
对于环面,口述的数值为一;后续例子展示了两个在公共顶点处相连的空心四面体所对应的“”
第二贝蒂数;即二维‘洞’的个数。
拓扑空间与单纯复形。
主讲人说:“第三贝蒂数用于计数三维‘洞’的个数。”
屏幕上的列表显示为“”,对应“3维洞。”
第三贝蒂数;即三维‘洞’的个数。
高维拓扑空间或单纯复形。
主讲人说:“第四贝蒂数用于计数四维‘洞’的个数,依此类推。”
屏幕上的列表显示为“”,对应“4维洞。”
第四贝蒂数;即四维‘洞’的个数。
高维拓扑空间或单纯复形。
主讲人说:“还存在一个零阶贝蒂数,用于计算一个形状所含连通分支的数量。”
屏幕上的列表新增了“”,对应说明为“连通分支”,示例标签分别显示为“2个分支”和“1个分支”。
零阶贝蒂数;即连通分支的数量。
拓扑空间与单纯复形。
说话人说:“我们感兴趣研究的对象——单纯复形——是由单形构成的,而‘单形’是‘单纯形’的复数形式。”
字幕包含“单纯复形”和“由单形构成”。
单纯复形是本节中关注的数学对象,被描述为由单形构成。视频指出,“单形”是“单纯形”的复数形式。
由单形构成。
说话人说:“单纯形是一种广义的三角形,即任意维数中的三角形。”
字幕包含“单纯形是一种广义的三角形”和“任意维数中的三角形。”
单形在语言上被定义为广义的三角形,即在任意维度中具有三角形特征的对象。以下示例分别展示了维度0至4的情形。
适用于任意维度。
主讲人通过顶点、边、面和实心四面体,依次定义了0-单形、1-单形、2-单形和3-单形。
屏幕上的标签分别显示为“0-单形”、“1-单形”、“2-单形”和“3-单形”。
画面依次呈现一个点、一条含两个端点的线段、一个实心三角形和一个实心四面体。
视频给出了具体的维度示例:一个0-单形是一个单独的顶点;一个1-单形是用一条边连接的两个顶点;一个2-单形是三个两两由边相连的顶点,并围成唯一一个面,即一个三角形;一个3-单形是四个两两由边相连的顶点,由四个面围合而成并填充内部,构成一个实心四面体。
0-单形有一个顶点。
1-单形有两个顶点和一条边。
2-单形有三个顶点、两两之间的边以及一个面。
3-单形有四个顶点、两两之间的边,以及四个填充的面,共同构成一个四面体。
主讲人说:“要构造一个4-单形,你从五个顶点开始”,然后描述了如何填充边、面、立体以及4维空间。
屏幕标签显示“4-单纯形”。
先出现五个点,然后依次添加棱、三角形面、四面体实体,以及一个带阴影的更高维内部区域。
4维内部无法在2维屏幕上被直观呈现;该动画仅为示意图。
要构造一个4维单形,请先取五个顶点。然后填充顶点之间的1维棱、棱之间的2维面、面之间的3维立体,最后填充4维空间(位于3维立体之间)。演讲者指出,最后一步难以直观想象。
从五个顶点开始。
在填充4维内部之前,需依次填充更低维的边界。
讲解者说:“将这一模式推广到任意数k,一个k维的k-单纯形,由k加1个顶点构成。”
屏幕文字显示“k-单纯形”和“(k+1)个顶点”。
讲解者补充道,它由这些顶点及其之间所有空间组成,称为凸包。
屏幕文字包含“(k+1)个顶点的凸包”。
视频未对凸包给出超出该短语及屏幕文字形式的正式代数定义。
对于任意数 k,k-单形是 k 维的,由 个顶点构成。它包含这些顶点以及它们之间的全部空间,视频中将这部分空间称为这 个顶点的凸包。
维数为 k。
使用 个顶点。
包含所有顶点之间的空间。
主讲人说:“还记得我们在结构平衡那一集里学过的完全图吗?完全图是一种图,其中每个顶点都通过一条边与其他所有顶点相连。”
屏幕文字显示“完全图”。
一幅白色图示展示了多个顶点,且每一对顶点之间都有一条边相连。
完全图是一种图,其中每个顶点都通过一条边与其他所有顶点相连。视频中以此作为从图建模通向单形的桥梁。
任意两个不同顶点之间都由一条边连接。
主讲人说:“那么,我们可以把完全图解释为单形。”
主讲人讲解用2维三角形面、3维立体、4维空间等填充节点与边。
屏幕文字显示:“k个顶点的完全图 = ()-单形”。
主讲人说:“k个顶点的完全图将构成一个k减1单形,因此它是k减1维的。”
完全图可通过取其顶点与边,并填充更高维的胞腔,从而被解释为单形:边之间填充2维三角形面、面之间填充3维立体、立体之间填充4维空间,依此类推。视频中陈述的规则是:k个顶点的完全图构成一个()-单形,因此它是()-维的。
从k个顶点的完全图出发。
在已有的低维胞腔之间逐次填充更高维的胞腔。
主讲人解释道,填充2维三角形面会得到一个2维单形;而填充四个顶点的完全图中所有2维三角形面以及3维四面体实体,则会得到一个3维单形。
画面展示一个三角形被填充后变为一个2维单形,以及一个四面体被填充后变为一个3维单形。
k维单形是通过对个顶点的完全图填充其所有低维面直至k维实体而形成的。
基础结构必须是个顶点的完全图。
所有中间维度的面都必须被填充。
主讲人将单纯复形大致定义为若干单形(可能具有不同维数)作为一个整体来考虑的集合。
单纯复形是一组单形的集合,这些单形的维数可以各不相同,但被统一视为一个数学对象。
它由多个单形组成。
这些单形的维数可以各不相同。
主讲人指出,各个单形可以彼此完全分离,也可以通过共享一个面、一条边或一个顶点而连接在一起;她特别强调,它们的交集必须是整个面,而非某个面的一部分。
动画展示了两个四面体共享一个完整的面、一个三角形与一个四面体共享一条边,以及两个三角形共享一个顶点。当动画显示两个三角形仅沿一条边部分相交时,画面上出现一个红色的“X”标记。
复形内的单纯形可以互不相交,也可以相互粘合;若发生粘合,则必须共享一个完整的面(该面可以是一个顶点或一条边),而绝不能仅共享一个部分的面。
任意两个单纯形之间的交集必须是这两个单纯形共有的一个面。
主讲人指出,单纯复形常在数学的一个分支——代数拓扑学中被研究。
屏幕文字显示“代数拓扑学”。
一门研究形状及其性质的数学分支,尤其关注对洞的数量进行计数与归类。
主讲人解释说,拓扑学常被称为橡皮泥几何学,它研究形状时不施加刚性约束,允许弯曲和拉伸,但不允许刺穿或闭合洞。
屏幕文字显示“橡皮泥几何学”。
一个条纹环面被展示为在不撕裂、也不闭合其洞的前提下,弯曲并拉伸成不同形状。
拓扑学研究形状在弯曲、拉伸等柔性运动下保持不变的性质,前提是不刺破形状,也不收缩其中的洞。
形状可以被弯曲和拉伸。
形状不能被刺破,也不能收缩其中的洞。
主讲人指出:k-单形是k维的,且由个顶点构成。
屏幕显示“k-单形”和“()个顶点”。
对任意数k,k-单形是k维的,且由个顶点构成。
k用作维度参数。
单纯形由 个顶点及其之间的空间构成。
对于任意数 k
说话人说:“k 个顶点上的完全图将构成一个 k 减 1 维单纯形,因此它是 k 减 1 维的。”
屏幕文字显示:“k 个顶点上的完全图 = ()-单纯形”
k 个顶点上的完全图对应一个 ()-单纯形,因此其关联的单纯形维数为 。
该图是 k 个顶点上的完全图。
通过填充高维胞腔,将完全图解释为一个单纯形。
对于 k 个顶点
说话人说,单纯复形由单纯形构建而成。
该视频未明确说明将单纯形组装成复形的粘合规则或公理。
单纯复形由单纯形构成。
本课研究的对象是单纯复形。
关于单纯复形的一般性陈述
主讲人说:“这是一个环面。第一贝蒂数统计一维(即环形)洞的个数,因此有两个:一个沿经度方向,一个沿纬度方向。第二贝蒂数统计二维洞的个数,而环面的二维洞个数为一。”
屏幕显示环面下方写着“”。
环面表面上标出了两条环形路径。
对于视频中所示的环面,第一贝蒂数为2,第二贝蒂数为1。
该物体是一个环面。
计算一维洞的数量,而 计算二维洞的数量。
以这个环面为例。
演讲者提问:“这个双孔环面呢?”并回答:“它的第一贝蒂数为四,第二贝蒂数为一。”
屏幕上在双孔环面下方显示“”。
对于视频中展示的这个双孔环面,第一贝蒂数为4,第二贝蒂数为1。
该物体是一个双孔环面。
计算一维洞的数量,而 计算二维洞的数量。
以这个双孔环面为例。
演讲者说:“对于这两个在公共顶点处相连的空心四面体,第一贝蒂数为零,第二贝蒂数为二。”
屏幕上显示“”和“。”
对于在公共顶点处连接的两个空心四面体,第一贝蒂数为0,第二贝蒂数为2。
该物体由在公共顶点处连接的两个空心四面体组成。
计数一维洞,计数二维洞。
针对这一单纯复形示例。
讲解者指出,第零贝蒂数计数连通分支,并举例说明:“本例中为二,此例中为一。”
屏幕上将示例标注为“2个连通分支”和“1个连通分支”。
两个彼此分离的四面体与一对连接的四面体形成对比。
两个分离的四面体满足,而连接的一对四面体满足。
计数连通分支。
一个示例包含两个不连通的部分,另一个示例则包含一个连通的部分。
针对所展示的两个例子。
主讲人说:“你大脑中神经元放电之间的连接可被视作一个高维单纯复形”,而代数拓扑工具可用于研究该结构的性质与形状。
一张大脑图像上叠加了节点与边,随后被抽象为一张网络图。
神经元放电之间的连接可被建模为一个高维单纯复形,且可借助代数拓扑来研究该结构。
神经元放电模式由节点及其连接关系表示。
所得结构被当作一个单纯复形来处理。
针对视频中所描述的大脑建模应用。
主讲人叙述一个4-单纯形的构造过程。
画面从五个孤立的点逐步构建出边、面、体以及一个带阴影的内部区域。
最终的4维填充仅以示意图方式表示,而非真实可视化。
从五个顶点开始。
主讲人直接陈述,并以五个彼此分离的点呈现。
在顶点之间填充1维的边。
主讲人直接陈述,并以点之间出现的线段呈现。
在边之间填充2维的面。
由说话人直接陈述,并通过三角形面的出现来展示。
在各面之间填充3维立体。
由说话人直接陈述,并通过四面体体积的出现来展示。
填充4维空间(位于3维立体之间)。
由说话人直接陈述;动画通过阴影填充内部区域,以暗示额外的维度。
4-单形是通过从五个顶点出发,依次填充所有中间的低维边界,再填充4维内部而得到的。
说话人通过填充面、立体、空间等方式,解释如何将完全图理解为单形。
屏幕文字显示:“k个顶点上的完全图 = ()维单形”。
先展示一个完全图,随后在其上方出现三角形及更高维的填充符号。
视频并未证明为何维度会比口头规则和示例模式所显示的再降低一维。
从一个完全图开始,其所有顶点两两之间均由边相连。
完全图的定义在此推导之前立即给出。
将图的顶点和边分别解释为单形的0维部分和1维部分。
主讲人指出,完全图可以被解释为单形。
依次添加2维三角形面、3维立体、4维空间,依此类推。
由主讲人明确口述,并通过逐次填充的图形加以演示。
得出结论:含 k 个顶点的完全图构成一个 () 维单形。
在音频中直接陈述,并以屏幕公式形式呈现。
含 k 个顶点的完全图被重新解释为一个 () 维单形,因此其关联维数为 。
讲解者说明如何将任意图解释为一个单纯复形:首先标出图中所有完全子图(团),注意这些团可以互相重叠,但除非它们整体构成一个更大的完全图,否则不会合并成一个更大的完全图;接着,将每个完全子图通过几何填充的方式转化为一个单纯形。
一段动画展示了一个复杂的图。其中特定的子图(一个3-团和一个2-团)被高亮显示,以体现它们之间的重叠区域;随后,这些团被用蓝色填充,形成几何形状。
找出给定图中所有的完全子图(即团)。
讲解者指示‘标出每一个完全图’。
注意,这些团可以互相重叠(共享顶点或边)。
讲解者指出‘完全图可以互相重叠’。
将每个已识别出的团通过几何填充的方式转化为一个单纯形。
主讲人指出:“我们只需将每个完全图通过填充的方式转化为一个单纯形。”
任何图都可以被解释为一个单纯复形,方法是将其每个完全子图替换为对应的已填充单纯形。
主讲人演示了从立方体中挖去若干块后,它变为环面(欧拉示性数降至0),再变为双环面(欧拉示性数降至-2)的过程。
先展示一个实心白色立方体,接着从中挖去一块形成环面,再挖去另一块形成双环面。
从一个实心立方体出发,其欧拉示性数为2。
此前已将其表述为凸多面体。
从中心挖去一块,形成一个环面(即一个洞)。
可视化演示。
欧拉示性数降至0。
由主讲人陈述。
再移除一块,形成一个双环面(两个洞)。
视觉演示。
欧拉示性数降至-2。
由主讲人陈述。
欧拉示性数提供了关于曲面拓扑的信息,特别是洞的数量如何影响这一不变量。
主讲人解释道,用于计数一维的环形洞,并指出环面上存在两个这样的洞:一个沿经线方向,一个沿纬线方向。
环面上标出了两条不同的环形路径。
利用第一贝蒂数的定义——即环形洞的个数——进行计算。
视频中给出的定义。
识别环面表面上两个独立的环形方向。
由说话者明确指出,并通过高亮显示的环来示意。
统计已识别出的一维洞的数量。
直接根据所展示的两个环进行计数。
环面具有 ,因为它包含两个独立的一维环形洞。
说话者指出,第二个贝蒂数用于计数二维洞,而环面的该数值为一,因为环面内部空间构成一个二维洞。
使用第二个贝蒂数的定义。
视频中给出的定义。
将所围成的内部区域视为相关的二维洞。
由说话者明确指出。
图中所示环面存在一个这样的封闭区域。
由示例直接计数得出。
根据视频对环面封闭内容的直观描述——即存在一个二维洞,该环面满足 。
主讲人直接给出了双孔环面的各项数值。
屏幕上显示“。”
视频未展示双孔环面各自的四个一维闭合回路。
双孔环面的第一贝蒂数被给出为四。
视频中直接陈述。
第二贝蒂数被给出为一。
视频中直接陈述。
在双孔环面示例中,视频报告了 和 。
主讲人给出了两个在公共顶点处连接的空心四面体的数值。
屏幕上显示“”和“。”
视频未详细说明为何这两个封闭空腔对 而非其他不变量有贡献。
这对连接的空心四面体的一阶贝蒂数为零。
视频中直接陈述。
这对连接的空心四面体的二阶贝蒂数为二。
视频中直接陈述。
对于在公共顶点处连接的两个空心四面体,视频给出 和 。
主讲人将 定义为连通分支的数量,并举出两个例子。
将两个彼此分离的四面体与一对连接的四面体进行对比。
标签分别写有“2 个连通分支”和“1 个连通分支。”
使用第零个贝蒂数的定义。
定义已在视频中给出。
对第一个例子中的不连通部分进行计数。
直接目视计数并配合口述示例。
对第二个例子中的单一连通部分进行计数。
直接目视计数并配合口述示例。
第零个贝蒂数可区分一对不连通的四面体()与一对相连的四面体()。
主讲人口述了0维、1维、2维和3维单形的定义。
屏幕上显示标签:“0-单形”、“1-单形”、“2-单形”和“3-单形”。
依次展示对应的点、线段、三角形和四面体。
识别前几个维度的单纯形。
考虑维度值0、1、2和3。
通过顶点、棱、面及立体结构来描述每个单纯形。
一个0-单纯形是一个单独的顶点。
由说话人直接陈述,并以一个点的形式展示。
一个1-单纯形是两个由一条棱连接的顶点。
由说话人直接陈述,并以一条带端点的线段形式展示。
一个2-单纯形是三个两两由棱连接的顶点,构成一个单一的面,即一个三角形。
由说话人直接陈述,并以一个实心三角形的形式展示。
一个3-单纯形是四个两两由棱连接的顶点,由四个面围成,并填充为一个实心四面体。
由说话人直接陈述,并以一个实心四面体的形式展示。
0-单纯形 = 点;1-单纯形 = 棱;2-单纯形 = 三角形;3-单纯形 = 四面体。
每段描述均与屏幕上对应标注的示意图相匹配。
说话人说:“我们来尝试四维情形。要构造一个4-单形,你从五个顶点开始……”
屏幕上的标注为“4-单形”。
五个点逐步连接并填充为更高维的胞腔。
4维内部仅通过视觉方式示意,并未真实呈现。
用低维部件构造一个4-单形。
以五个顶点作为起始数据。
解释生成4-单形的填充过程。
从五个顶点开始。
由说话人明确指出。
在顶点之间填充1维的棱。
由说话人明确指出,并在动画中展示。
填充边之间的2维面。
由说话人明确指出,并在动画中展示。
填充面之间的3维立体。
由说话人明确指出,并在动画中展示。
填充4维空间(位于3三维立体。
由说话人明确指出;动画通过阴影填充内部来表示此步骤。
一个4维单形由五个顶点逐步添加边、面、立体,最终添加4维内部空间而构成。
口述顺序与动画中视觉添加的顺序一致。
说话人开始说:“例如,这个包含三个顶点的完全图变为……”,但句子被视频片段结尾截断。
屏幕上出现一个带三个顶点的白色三角形。
最终的识别结论未在所提供片段中完整说出;根据屏幕上显示的三角形及前述规则,它对应一个2维单形,但视频在此处并未完成该句子。
对三个顶点应用‘完全图到单纯形’规则。
图中展示了一个三个顶点的完全图。
前述规则指出:k 个顶点的完全图构成一个 (k-1)-单纯形。
找出与该三个顶点完全图对应的单纯形。
该示例引入了一个三个顶点的完全图。
语音中已说明,并以一个含三个顶点的三角形形式呈现。
应用前述规则,将得到一个2-单纯形。
该结论源自屏幕上的公式“k 个顶点的完全图 = (k-1)-单纯形”;视频片段在说话人说完句子前就中断了。
在此片段中,该示例未完成;屏幕上显示的三个顶点完全图是一个三角形,而前述规则表明它对应一个2-单纯形。
视觉上呈现的三角形符合此前定义的2-单纯形,但口头得出的结论被截断了。
主讲人举了一个具体例子:“这个三顶点完全图与这个二顶点完全图存在重叠,但它们合起来并不能构成一个四顶点完全图。”
图中展示了一个三角形(3-团)和一条相邻的边(2-团),二者共享一个顶点;它们以不同颜色高亮显示。
判断图中重叠的团是否能构成一个更大的团。
一个图包含一个3-顶点完全子图和一个2-顶点完全子图,二者共享一个顶点。
检查它们的并集是否构成一个4-顶点完全子图。
观察三角形与边之间共享的顶点。
对所给图示进行目视检验。
检查这两个团之并集中所有顶点对之间的连通性。
完全图的定义要求任意两个不同的顶点之间都必须由一条边连接。
注意,原本不属于同一团的顶点之间没有直接的边相连。
目视检查可确认并集中存在缺失的边。
否,它们无法共同构成一个四顶点的完全图,因为并集中的顶点并非两两相互连通。
高亮子图中缺失边的目视确认。
主讲人列举了立方体、四面体以及一个巨大而笨拙的无名形状,并指出它们的欧拉示性数均为2。
画面展示了十二面体、四面体和立方体。
计算各种凸多面体的欧拉示性数。
立方体
四面体
十二面体(被称作一个巨大而笨拙的形状)
验证这些形状的欧拉示性数为2。
对每种形状应用公式 。
凸多面体的欧拉示性数定义。
所列所有形状的欧拉示性数均为2。
由说话者直接陈述。
主讲人引入环面,并计算其第一和第二贝蒂数。
屏幕上显示“。”
环面表面上标出了两个圈。
确定环面的第一和第二贝蒂数。
该对象是一个环面。
计算一维的环形洞。
计算二维的洞。
求环面的 和 。
应用第一贝蒂数的定义。
视频中已说明。
找出环面上两个独立的环形方向。
由主讲人命名并以视觉方式展示。
计数两个一维的洞。
直接根据该示例进行计数。
应用第二贝蒂数的定义。
视频中已说明。
环面内部所围成的部分算作一个二维洞。
由说话者陈述。
且 。
答案与屏幕上的标签“”一致,也与说话者所说的“环面的第二个贝蒂数为一”相符。
说话者提问关于双孔环面,并陈述其贝蒂数。
屏幕上显示“。”
四个独立的一维洞并未被分别画出。
求双孔环面的第一和第二贝蒂数。
该物体是一个双孔环面。
计数一维洞。
计算二维洞的数量。
求双孔环面的 和 。
本例中,第一贝蒂数被直接给出。
口述内容与屏幕显示数值一致。
本例中,第二贝蒂数被直接给出。
口述内容。
且 。
答案与口述数值及屏幕上显示的标签“”一致。
主讲人介绍了一个由两个空心四面体在公共顶点处连接而成的单纯复形,并陈述了它的贝蒂数。
屏幕上显示“”和“”。
视频未展开内部计数论证来说明为何 等于 2。
求两个在公共顶点处相连的空心四面体的第一和第二贝蒂数。
该对象是一个单纯复形。
它由两个在公共顶点处相连的空心四面体构成。
计算一维洞的数量。
计算二维洞的数量。
求该单纯复形的 和 。
本例中,第一贝蒂数被直接给出。
口述内容与屏幕显示数值一致。
本例中,第二贝蒂数被直接给出。
口述内容与屏幕显示数值一致。
且 。
答案与屏幕上可见的标签“”和“”一致。
主讲人定义了 ,并给出了两个取值分别为二和一的例子。
屏幕将这两个例子分别标注为“2个组成部分”和“1个组成部分”。
两个彼此分离的四面体与一对相连的四面体形成对比。
求一对不连通的四面体以及一对相连的四面体的零阶贝蒂数。
用于计数连通分支的数量。
其中一个例子包含两个彼此分离的四面体。
另一个例子包含一对相连的四面体。
分别求出这两种情形下的 。
应用零阶贝蒂数的定义。
视频中已陈述。
不连通的四面体对具有两个组成部分。
直接视觉计数与口头示例。
连接的二元组具有一个连通分支。
直接视觉计数与口头示例。
不连通的二元组:;连接的二元组:。
答案与屏幕上的标签“2个连通分支”和“1个连通分支”一致。
主讲人指出,单纯复形是当前对大脑建模所采用的方式,并且放电神经元之间的连接可被视为一个高维单纯复形。
粉色大脑图像上叠加了蓝色节点与黑色边,随后被抽象为一张网络图。
该视频未为大脑示例提供明确的公式或已计算出的贝蒂数。
如何利用代数拓扑研究神经元的连接性?
放电神经元及其连接可被表示为一个网络。
该网络被视为一个高维单纯复形。
代数拓扑提供了研究此类结构的工具。
解释建模方法及其目的。
将放电神经元的连通模式表示为一个单纯复形。
由讲话者陈述。
利用欧拉示性数和贝蒂数等不变量来分析该结构。
由讲话者陈述。
神经元连通性可被建模为一个高维单纯复形,随后便可运用代数拓扑工具来研究其性质并确定其形状。
这与口头讲解及配套的‘脑部到网络’可视化图示相吻合。
出现一张标题为“你的大脑即数学”的缩略图,随后是一个蓝色的大脑形状网络,由节点和边构成。
主讲人指出,神经网络可以建模为一张图,并视作一个高维的单纯复形。
缩略图标题:“你的大脑作为数学”
蓝色节点与边构成的大脑形状网络
主讲人
画面从上一集的缩略图切换为类似大脑的网络示意图。
该网络被呈现为一种由顶点和边构成的类图结构。
开场画面通过将神经网络的图模型与后续关于单纯复形的讨论相联系,引出本节主题。
带标签的示意图依次出现:0-单形(点)、1-单形(线段)、2-单形(三角形)、3-单形(四面体)。
文字标签标出每一维。
点
线段
实心三角形
实心四面体
维度标签
示意图按维度从低到高依次添加。
每个新图形都保持顶点两两相连的模式,并用更高一维的胞填充。
动画通过展示单纯形逐维增长的过程,帮助建立直观理解。
先出现五个点,然后是边、三角形面、四面体实体,最后在标签“4-单纯形”下方呈现阴影内部。
讲解者叙述填充过程,并指出这一过程难以直观想象。
4维内部仅为示意,而非真实呈现。
五个顶点
棱
三角形面
四面体立体
阴影填充的4D内部
标注“4-单纯形”
该图形从孤立的点逐步演进为一个完全填充的高维单纯形。
构造过程中起始顶点的数量始终保持为五个。
动画展示了递归填充模式,帮助理解4-单纯形,尽管受限于2D可视化能力。
一个白色完全图出现,并标有“COMPLETE GRAPH”字样。
小型三角形及更高维的填充图标出现在图的上方。
文字变为“k个顶点上的完全图 = ()-单纯形”。
完全图的绘制
标注“完全图”
为面/立体/更高维胞填充图标
公式文本
该图首先以顶点和边的形式呈现,随后添加代表已填充的面及更高维胞的符号,最后由一个方程加以总结。
完全图所基于的顶点集始终是被重新诠释的参照对象。
这一视觉序列表明:完全图恰好包含构建单形所需的所有低维骨架,而更高维胞的填充则在此基础上完成。
一系列动画展示:三角形被填充后变为2-单形,四面体被填充后变为3-单形,以及一个4-单形的线框表示。
三角形
四面体
4-单形线框
2维和3维面的填充过程
标签“2-单形”、“3-单形”、“4-单形”的出现
初始图的顶点与边在填充过程中保持不变。
通过向完全图添加高维内部,演示单纯形的几何构造过程。
动画展示了单纯形连接的多种方式:两个四面体共享一个面、一个三角形与一个四面体共享一条边、两个三角形共享一个顶点。最后,展示了一种无效交集——两个三角形部分相交,并以红色‘X’标记。
四面体
三角形
红色‘X’符号
单纯形的相对位置发生变化,以呈现不同的交集情形。
出现红色‘X’,表示该构型无效。
单纯形各自的形状不发生形变。
阐释了单纯复形中的一条严格规则:交集必须是完整的面,禁止部分重叠。
显示一个复杂图;其中特定团(一个三角形和一条边)被高亮标出;随后,图中所有极大团均被填充为半透明蓝色多边形与多面体,从而将该图转化为一个几何形状。
包含节点和边的图
高亮显示的团
填充为蓝色的单纯形
通过高亮边来识别团。
团被填充颜色以表示单纯形。
原始图的底层顶点和边仍然可见。
直观地演示了将图的团结构算法式地转化为拓扑单纯复形的过程。
一个黄灰相间条纹的环面被连续地变形、弯曲和拉伸成各种形状,既不撕裂,也不失去其中心孔洞。
条纹环面
形状变形
弯曲
拉伸
洞的数量(亏格)
曲面的连续性
阐释了在同胚映射下拓扑等价的概念,其中柔性形变保持拓扑性质不变。
展示一个实心白色立方体:从中移除一个方形块,使其变为环面;再移除另一个块,形成双环面。
实心立方体
环面
双环面
移除中心块
洞的数量增加
材料连续性(不撕裂)
展示了引入洞如何改变曲面的拓扑结构,这体现在欧拉示性数的下降上。
左侧展示了包括点、线段、三角形和四面体在内的几何图形,顶部标题为“欧拉示性数”,其表达式自左向右逐步呈现。
文字依次显示为“0个顶点 - 1条边 + 2个面 - 3个立体 + 4个空间”。
点
线段
三角形
四面体
标题文字
公式文字
公式文字逐项展开,从低维部分到高维部分。
几何图形作为示例持续保留,同时表达式逐步构建。
主题始终是欧拉示性数。
这些图形分别作为顶点、棱、面、立体和空间的维数示例。
动画直观地将交错和定义与维数递增的单纯形联系起来。
一个白色环面出现,随后在其表面上画出两条高亮的闭合圆路径:一条沿经度方向,一条沿纬度方向。
环面下方出现标签“”。
白色环面
红色高亮环路
蓝色高亮环路
标签
环面表面上标出了两个不同的圆形方向。
添加标签 ,用于量化一维洞的数量。
该物体仍为一个环面。
解释先讨论一维洞,再讨论二维洞。
两条高亮环路展示了由 所计数的两个独立的一维洞。
一个白色的双孔环面取代了单孔环面。
标签“”出现在其下方。
四个独立的一维洞在屏幕上并未被分别追踪显示。
双孔环面
标记
该示例从单孔环面变为双孔环面。
屏幕上显示的第一贝蒂数由 2 变为 4。
主题仍为带孔曲面的贝蒂数。
视觉上的变化支持这一论断:增加第二个孔将一维洞的数量提升至四个。
演讲者说:“而这里就变得奇怪了。你填充 4维空间中两个 3维立体之间的区域。这很难直观想象。”
人们可能会预期 4维单形的 4维内部能像三角形或四面体那样被直接观察到。
视频明确提醒观众:4维填充步骤难以直观想象;动画仅以示意图方式予以示意。
主讲人指出,完全图可被诠释为单形,并进而描述对面、立体、空间等逐级填充的过程。
填充图标在初始仅绘制边的图形完成后,出现在完整图的上方。
人们或许会认为,完整图仅止步于顶点及两两之间的边。
本片段中,完整图被用作起始骨架,但单纯形解释则增添了2维面、3维立体、4维空间以及更高维的胞腔。
主讲人明确警示:‘注意,这种相交发生在整个面上,而非仅发生在面的一部分上,比如这样。’并配以一个用红色叉号标记的无效局部相交的图示。
一段动画展示两个三角形仅沿某条边的一部分相交,随后该相交部分被一个巨大的红色‘X’划掉。
误以为单纯复形中的单纯形可以仅沿某个面的一部分(例如一条边的一半)相交。
在有效的单纯复形中,任意两个单纯形之间的相交必须恰好是它们共有的一个面(包括顶点和边),局部相交被严格禁止。
主讲人承认,乍一听,一个专门研究洞的数学分支听起来有些滑稽,但指出这些工具正突然在实际中找到应用。
拓扑学看似只是对洞进行琐碎或纯抽象的研究。
尽管计数洞是关键环节之一,但拓扑不变量却能深入揭示整体结构,并具有重要的实际应用价值。
在讨论环面之后,演讲者说:“再来看一个例子。这次使用单纯复形。”
该例从光滑的环面曲面切换为拼接而成的空心四面体。
人们可能认为贝蒂数仅适用于环面等常见的光滑曲面。
视频明确将示例拓展到一个由两个共用一个顶点的空心四面体构成的单纯复形。
主讲人通过指出 计算连通分支数量,而非某一维度的洞的数量,来区分它与更高的贝蒂数。
屏幕上将 标注为“连通分支”。
人们或许会认为每个贝蒂数都对应计算相应维度的洞的数量。
视频指出 具有特殊性:它计算的是连通分支,示例中给出的值分别为 2 和 1。
主讲人在描述三维和四维的洞之前,说道:“这需要想象力的巨大延伸。”
人们或许会期望所有洞的数量都能在普通空间中被直接可视化。
视频提示:、 及更高阶的贝蒂数是概念上的延拓,依赖于想象力,而非日常生活中直观的图像。
讲述者指出,单纯复形由单纯形构建而成。
该片段将单纯复形定义为一种由单纯形构成的对象,因此单纯形是这一更大结构的基本组成单元。
讲述者首先列举了0维至4维的单纯形,然后说道:“将这一模式推广到任意数k……”
屏幕上的文字从具体标签逐步过渡到“k维单纯形”与“()个顶点”。
一般k维单纯形的定义,抽象出了显式给出的0维、1维、2维、3维及4维示例中所呈现的模式。
4维单纯形的构造先于一般k维单纯形规则的提出。
后续的一般规则指出,k维单纯形使用个顶点,这与时所需的五个顶点起点相吻合。
4维单纯形是通过低维示例引入的更广泛单纯形模式的一个具体实例。
主讲人说:“我们可以将完全图解释为单纯形”,并给出含 k 个顶点的公式。
屏幕文字显示:“含 k 个顶点的完全图 = ()-维单纯形”。
将完全图的定义应用于生成几何单纯形的解释。
主讲人对比了图的观点与填充面、立体及更高维空间的观点。
完全图的图形通过添加更高维胞腔的填充符号加以扩充。
完全图仅记录顶点和边,而单纯形观点则补充了它们之间所有中间维度的高维空间。
主讲人定义完单个单纯形后,立即引入了单纯复形,并称其为“基本上就是一堆单纯形”。
单纯复形被定义为包含多个单纯形的一个集合。
主讲人作了一个类比:“正如我们可以把任意完全图看作一个单纯形……我们也可以把任意图解释为一个单纯复形。”
动画直接将图中的团映射为复形中被填满的单纯形。
从图构造单纯复形的方法,是将单纯复形的一般定义应用于图的特定结构元素(即团)。
主讲人将代数拓扑与拓扑不变量的发展联系起来。
代数拓扑以拓扑不变量为核心工具,用于研究形状的整体结构。
主讲人将欧拉示性数作为首个拓扑不变量加以介绍。
欧拉示性数是拓扑不变量的一个具体实例,适用于多面体和单纯复形。
主讲人从欧拉示性数过渡到‘另一类重要的拓扑不变量是贝蒂数。’
二者均被呈现为拓扑不变量,但欧拉示性数是按维数交替计数胞腔,而贝蒂数则构成一个按维数计数洞的序列。
主讲人将同调称为欧拉示性数与贝蒂数的“母概念”。
该视频将贝蒂数置于同调与代数拓扑这一更广阔的框架之中。
主讲人将 、、、 和 定义为同一序列中的不同项。
屏幕上列出了各下标及其含义。
每个带下标的贝蒂数都是贝蒂数一般序列中的一个特定成员。
主讲人提问:“什么是单纯复形?”,并回答:“它由单纯形构成。”
主讲人定义单纯形,并列举了0维至3维的示例。
屏幕文字显示:k-维单纯形对应“()个顶点”。
主讲人口头陈述了相同的规则。
讲解者指出,k-单形由其顶点以及这些顶点之间的所有空间构成,这一空间被称为凸包。
屏幕文字显示:“() 个顶点的凸包”。
该片段未在此用法之外提供凸包的正式独立定义。
讲解者解释如何将完全图理解为单形。
屏幕文字给出:“k 个顶点上的完全图 = (k-1)-单形”。
讲解者指出,k 个顶点上的完全图构成一个 k 减 1 单形,因此是 k 减 1 维的。
屏幕文字陈述了相同的等式。
讲解者明确指出,4维的填充步骤难以直观想象。
动画通过阴影填充一个内部区域,以示意额外的维度。
主讲人依据完全图的面的填充方式,定义了2-单纯形和3-单纯形。
主讲人讲解了粘合规则,并展示了有效与无效的交集示例。
主讲人详细说明了将图转化为单纯复形的逐步过程。
主讲人定义了欧拉示性数的公式。
向立方体添加洞的可视化演示。
已覆盖 · PBS Digital Studios 标志动画,配乐;无数学内容。
已覆盖 · 主讲人回顾神经网络可被建模为图,并引入将其视为高维单纯复形的思想。
已覆盖 · 《Infinite Series》片头字幕及翻译致谢;无数学内容。
已覆盖 · 单纯复形的定义:由单形构成;单形的定义:一种广义三角形。
已覆盖 · 分别对应图示的0-、1-、2-和3-单形的具体示例。
已覆盖 · 从五个顶点出发,逐步构造一个4-单形:依次填充边、面、体及更高维部分。
已覆盖 · 一般规则:k-单形是 k 维的,使用 个顶点,且是这些顶点的凸包。
已覆盖 · 回顾完全图的概念,并将含 k 个顶点的完全图重新解释为 (k-1)-单形。
已覆盖 · 一个含三个顶点的完全图示例的开始;口述结论因视频片段结束而被截断。
已覆盖 · 2-单纯形、3-单纯形与4-单纯形的定义及可视化图示。
已覆盖 · 单纯复形的定义:它是一组单纯形的集合。
已覆盖 · 单纯形粘合的规则,以及禁止部分面相交的规定。
已覆盖 · 从图的团出发构造单纯复形的方法及可视化演示。
已覆盖 · 主讲人开始新句子,介绍单纯复形的研究领域,但视频片段在此处中断,未完成该句。
已覆盖 · 代数拓扑学导论
已覆盖 · 以橡皮膜几何学为视角解释拓扑学,并辅以直观图示
已覆盖 · 引用罗伯特·格里斯特的论述,并澄清关于拓扑学的常见误解
已覆盖 · 拓扑不变量的定义
已覆盖 · 多面体欧拉示性数的引入与示例
已覆盖 · 演示孔洞如何影响欧拉示性数
已覆盖 · 将欧拉示性数推广至单纯复形
已覆盖 · 将欧拉示性数定义为对各维数的交错求和,并展示了相应的几何实例。
已覆盖 · 引入贝蒂数作为另一类拓扑不变量,并将其定义为按维数计数‘洞’的数量。
已覆盖 · 用环面解释 与 ,突出显示经向圈与纬向圈,并给出数值 、。
已覆盖 · 展示一个双孔环面,并指出 、。
已覆盖 · 切换至由两个空心四面体在公共顶点处连接而成的单纯复形,并指出 、。
已覆盖 · 总结 、 及更高阶贝蒂数,随后将 引入为连通分支数,并配以两个视觉示例。
已覆盖 · 将欧拉示性数、贝蒂数与同调联系到代数拓扑,并将单纯复形应用于大脑连接性的建模。
已覆盖 · 最后一秒内未呈现额外的数学内容,仅延续脑部建模段落的收尾部分。
已覆盖 · 讲解图的结构与功能的课程片段。
已覆盖 · 片尾序列,含背景音乐、演职员表及标识;无数学内容。
通过将完全图解释为单纯形来转化:保留其顶点和边,然后填充更高维的单元,如 2 维三角面、3 维实体和 4 维空间。k 个顶点的完全图形成一个 (k-1)-单纯形。
适用条件:起始结构是 k 个顶点的完全图。;在现有的低维单元之间依次填充高维单元。
欧拉示性数是按维度交替计算单纯形的数量:0 维顶点的数量减去 1 维边的数量,加上 2 维三角面的数量,减去 3 维四面体实体的数量,加上 4 维空间的数量。
适用条件:适用于单纯复形或三角剖分的拓扑空间。;各项指 0、1、2、3 和 4 维部分的计数。
第零贝蒂数计算形状拥有的连通分量数量,而不是特定维度的孔洞。例如,两个不相连的四面体的第零贝蒂数为 2,而连接在一起的一对则为 1。
适用条件:适用于拓扑空间和单纯复形。;对象可能由多个不相连的部分组成。
贝蒂数是一系列拓扑不变量,指示对象在每个维度上有多少个孔洞。例如,第一贝蒂数计算一维圆形孔洞,第二贝蒂数计算二维孔洞。
适用条件:适用于拓扑空间,特别是单纯复形。;序列中的每个条目对应不同的孔洞维度。
单纯复形中的单个单纯形可以完全分离,也可以通过共享一个面、一条边或一个顶点粘合在一起。关键是,相交必须沿着整个面发生,绝不能只是部分面。
适用条件:对象是单纯复形。;相交发生在复形内的任意两个单纯形之间。
第一贝蒂数计算一维或圆形孔洞的数量。环面有两个这样的独立圆形方向:一个沿经线,一个沿纬线,导致第一贝蒂数为 2。
适用条件:对象是环面。;第一贝蒂数计算 1 维孔洞。
要将图转化为单纯复形,首先识别图中的所有完全子图(团)。注意这些团可以重叠,但除非完全连接,否则它们不会共同构成更大的完全图。
适用条件:起始结构是任意图。;图包含完全子图(团)。