几个世纪以来,亚里士多德的研究成果在基督教世界和伊斯兰世界一直是学术界的黄金准则。亚里士多德首先制定了一系列法则,对逻辑有效性进行了详细的规定。对于一个论证而言,真实性取决于内容本身,是否对确则与逻辑形式有关。......
2025-09-30
上图:20世纪40年代,塞缪尔·艾伦伯格和诺曼·斯廷罗德在扎实的基础上开创了同调代数。同调代数研究的是看起来十分特殊,但是在许多不同的数学背景下都会出现的结构。
1.多维度看全
集合间的映射是可复合的,也就是说,我们可以先进行一次映射,然后对得出的结果再进行一次映射。举例来讲,我们可以先从用餐者的集合映射到菜单上套餐的集合,再把这些套餐映射到它们的价格上,得出每位用餐者分别花费了多少钱。
在数学背景下,将映射像这样锁在一起,就可以得到一个链复形。粗略来讲,在链复形中,所有的对象经由任意两个连续映射后,都会降维成一个零维点。
再粗略一点讲,同调研究的是这种降维的进行效率,如果效率足够高,那么我们就称这个链复形为一个正合序列。
我们已经对有关正合序列的通性问题积累了足够多的认识,因此如果我们能证明,正在处理的情况涉及某个正合序列,我们就能够得到许多额外的信息。此外,同调代数也有助于我们进一步地研究。
2.关键点梳理
正合序列和一些非正合的复形在抽象数学中都是十分寻常的。同调代数就是作为一种研究它们的方法发展出来的,它也因此成为拓扑、几何和代数领域中几近通用的工具。
同调代数有着深厚的几何拓扑基础,同调也是研究后者至关重要的工具。同调代数对流形的研究也有着关键意义,因此在物理方面也有所应用。
如今,同调代数也被发展为范畴论的一部分,用它来进行的论证都可以采取画图的方式。
参考阅读//(https://www.chuimin.cn)
No. 7 集合论,第18页
No. 9 映射,第22页
No. 13 范畴,第30页
No. 60 流形,第124页
No. 70 拓扑,第144页
No. 84 代数拓扑,第172页
右图:Tor函子是张量积的导函子,它是用来研究正合序列的工具之一。
3.一分钟记忆
一个序列中多个映射锁在一起的现象很常见,同调代数研究的就是这样的序列所具备的性质。这些性质都不是那么显而易见,要研究后才能理解。
同调起初是范畴论在拓扑领域中的应用,但现在,它已经被广泛应用于其他许多领域中。
相关文章
几个世纪以来,亚里士多德的研究成果在基督教世界和伊斯兰世界一直是学术界的黄金准则。亚里士多德首先制定了一系列法则,对逻辑有效性进行了详细的规定。对于一个论证而言,真实性取决于内容本身,是否对确则与逻辑形式有关。......
2025-09-30
举例来讲,我们可以将几何课本中所讲的二维空间视为一条线与另一条线相乘的结果,而想要得到我们所处的三维空间,我们只需将二维空间再“乘以”一条线。参考阅读//No. 7集合论,第18页No. 35 抽象代数,第74页No. 59 欧几里得空间,第122页3.一分钟记忆不是只有数才可以作乘法,积的观点可以被推广到任意两个集合之间。......
2025-09-30
李群是以挪威数学家索菲斯·李的名字命名的。因此,现代物理很大程度上都在研究李群。参考阅读//No. 4 极限,第12页No. 38 群,第80页No. 39 饰带和壁纸的图样,第82页No. 60 流形,第124页右图:三维空间内所有可能发生的旋转都被看作某个球体二维表面上的点。李群对于流形以及现代物理的研究有着至关重要的意义,它们的理论也得到了很好的发展。......
2025-09-30
事实上,康托尔找到了一个可以构造出许多不同大小的无穷的方法,正好解决了我们的问题。而有了一般性的对角线论证后,我们可以证明,这一点对于无穷集合同样成立。通过不断对一个无穷集取幂集,我们可以得到一个更大无穷集的无穷序列:无穷基数。......
2025-09-30
具体来讲,范畴论致力于理解带来突破的天才想法或洞察背后的思维模式。范畴论的目标之一,就是使普通人也能发现数学家能发现的模式。早期,范畴论一直被贬为“抽象化与普遍化的无意义”,或是被调侃为“漫画书数学”,因为它侧重使用一些简单的图表而非符号或口头论述,但范畴论在实际问题解决方面所取得的成绩,让这些批评的声音逐渐消退。......
2025-09-30
参考阅读//No. 4 极限,第12页No. 20 负数,第44页No. 21 有理数,第46页No. 24 对数,第52页No. 25 无理数,第54页No. 33 复数,第70页3.一分钟记忆实数将有理数和无理数结合在一起,为一条无穷直线上的每一点都提供了一个数字与之对应。......
2025-09-30
饰带是沿着某单一方向不断重复的二维图案,而壁纸是在两个方向上重复。然而,对于一个在两个方向上无尽重复的图样,比如壁纸,则有17个。19世纪下半期,人们合力得出了这些发现,并在三维空间中有了相似的发现,三维空间内的对称群被称为晶体群。参考阅读//No. 10 等价,第24页No. 38 群,第80页No. 59 欧几里得空间,第122页No. 76 维度,第156页3.一分钟记忆对于大部分的图样形式,都能用其对称群来描述。......
2025-09-30
接下来,试着厘清其可能导致的结果,或许就会发现矛盾。此外,如果一个命题为真,那么它所有的蕴涵命题均为真。参考阅读//No. 5 逻辑,第14页No. 14 自然数,第32页No. 27 康托尔对角线论证,第58页No. 54 病态函数,第112页No. 69 不可能的构造,第142页布尔代数的部分内容:如果一组命题为真,那么指向它的一组子命题不可能为假。如果一个命题为真,那么它所有的逻辑结果也同样为真。......
2025-09-30
相关推荐