对这个问题的证明是反证法的典例,它说明了,没有任何一个有理数在取平方之后恰好得到2。它们开始被看作无限趋近某一数值的有理数无穷序列,也就是说,它们被视作极限。......
2023-11-22
1.多维度看全
数学界会经常通过抽象化和普遍化来取得进展。察觉到某一模式在许多地方反复出现,将它从这些特定场景中抽离出来,并寻找还有哪些地方出现过这个模式,是很有效的做法。这种普遍化的思路可以被广泛应用在不同的问题上。
范畴论的核心思想在于,数学与数学家的思考,都遵循着某种模式。具体来讲,范畴论致力于理解带来突破的天才想法或洞察背后的思维模式。范畴论的目标之一,就是使普通人也能发现数学家能发现的模式。
早期,范畴论一直被贬为“抽象化与普遍化的无意义”,或是被调侃为“漫画书数学”,因为它侧重使用一些简单的图表而非符号或口头论述,但范畴论在实际问题解决方面所取得的成绩,让这些批评的声音逐渐消退。
下图:正合序列(从左至右)和自然变换(自上至下)是范畴论的核心内容。
2.关键点梳理
一个范畴由两部分组成:一组对象和一组对象之间的映射,即态射。其中态射需要遵循一些简单的规则。这些对象可能是集合,也可能不是;同样,这些态射可能是映射,也可能不是。
这种处理方式的核心在于函子,两个范畴内的对象和态射可以通过函子来建立联系。它能帮我们把某个数学领域的知识变换为另一个领域的知识,从而快速地得出有力的新结果。
参考阅读//
No. 7 集合论,第18页(www.chuimin.cn)
No. 9 映射,第22页
No. 35 抽象代数,第74页
No. 84 代数拓扑,第172页
No. 88 希尔伯特零点定理,第180页
右图:将某个特定条件下的想法抽象化至一般形式,便于在其他条件下应用它。
3.一分钟记忆
许多数学对象会时常呈现出某些重复出现的模式,即便它们看起来并不相像,而范畴论就在试图捕捉并分析这些模式。
研究“数学的数学”,可以得到十分具有实用意义的结果。
有关2页纸图解数学 : 以极聪明的方式,让你三步读懂数学的文章
对这个问题的证明是反证法的典例,它说明了,没有任何一个有理数在取平方之后恰好得到2。它们开始被看作无限趋近某一数值的有理数无穷序列,也就是说,它们被视作极限。......
2023-11-22
李群是以挪威数学家索菲斯·李的名字命名的。因此,现代物理很大程度上都在研究李群。参考阅读//No. 4 极限,第12页No. 38 群,第80页No. 39 饰带和壁纸的图样,第82页No. 60 流形,第124页右图:三维空间内所有可能发生的旋转都被看作某个球体二维表面上的点。李群对于流形以及现代物理的研究有着至关重要的意义,它们的理论也得到了很好的发展。......
2023-11-22
几个世纪以来,亚里士多德的研究成果在基督教世界和伊斯兰世界一直是学术界的黄金准则。亚里士多德首先制定了一系列法则,对逻辑有效性进行了详细的规定。对于一个论证而言,真实性取决于内容本身,是否对确则与逻辑形式有关。......
2023-11-22
函数f的导数,写作f ',表示f每一刻变化的快慢。此外,函数f在某一点的变化率也可以被看作它的函数图像在该点处的切线:一条与函数图像“刚好相擦”的直线。参考阅读//No. 9 映射,第22页No. 26 实数,第56页No. 53 微积分基本定理,第110页3.一分钟记忆函数的导数是另一个函数,表达出函数在定义域里每一点上的变化情况。......
2023-11-22
举例来讲,我们可以将几何课本中所讲的二维空间视为一条线与另一条线相乘的结果,而想要得到我们所处的三维空间,我们只需将二维空间再“乘以”一条线。参考阅读//No. 7集合论,第18页No. 35 抽象代数,第74页No. 59 欧几里得空间,第122页3.一分钟记忆不是只有数才可以作乘法,积的观点可以被推广到任意两个集合之间。......
2023-11-22
一些人认为,它们证实了微积分的力量;而另一些人认为,这些事物表明了微积分这门学科的内在逻辑还存在许多漏洞。哲学家们还在持续进行着争论,而数学家们已经欣然接受了病态函数的存在。许多病态函数的图像都和这个图像类似,呈分形。如果一个病态函数导致一个矛盾出现,整个理论就会被推翻。......
2023-11-22
而在1995年,乔治·托卡斯基找到了直面墙房间也会有没被照亮的地方的例子,虽然没被照亮的地方缩小为一个点,但看起来确实和普通的房间不太一样。参考阅读//No. 15 科拉茨猜想,第34页右图:在乔治·托卡斯基房间内,将一个点光源放在房间内任意一处,会有一点且只有这一点没被照亮。......
2023-11-22
举例来讲,在城市里,想要从一个地点走到另一个地点,不是一直走直线,而是沿着不同的街道走。现在,我们再在这个集合上定义一个映射,用于测量任意两点间的距离。具体的操作是,任取两个点映射到一个实数上。度量亦称“距离函数”,它需要满足下面这些常规约束条件。d(p,p)=0 :一点与该点自身的距离为0。......
2023-11-22
相关推荐