请选择 进入手机版 | 继续访问电脑版

CCOSE论坛

 找回密码
 立即注册
查看: 279|回复: 0

【百度百科】范畴论——有人称之为系统工程的数学基础

[复制链接]

454

主题

672

帖子

2487

积分

论坛元老

Rank: 7Rank: 7Rank: 7

积分
2487
发表于 2020-6-24 07:39:14 | 显示全部楼层 |阅读模式
范畴论 本词条由“科普中国”科学百科词条编写与应用工作项目 审核 。

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论,以抽象的方法来处理数学概念,将这些概念形式化成一组组的“物件”及“态射”。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中,以及理论计算机科学数学物理的一些领域。



中文名范畴论外文名category theory提出者塞缪尔·艾伦伯格桑德斯·麦克兰恩提出时间1945应用学科数学最初出现代数拓扑学
目录



背景[url=]编辑[/url]
研究范畴就是试图以“公理化”的方法抓住在各种相关连的“数学结构”中的共同特性,并以结构间的“结构保持函数”将这些结构相关起来。因此,对范畴论系统化的研究将允许任何一个此类数学结构的普遍结论由范畴的公理中证出。
考虑下面的例子:由群组成的类Grp包含了所有具有“群结构”的物件。要证明有关群的定理,即可由此套公理进行逻辑的推导。例如,由公理中可立即证明出,群的单位元素是唯一的。
不是只专注在有特定结构的个别物件(如群)上,范畴论会着重在这些物件的态射(结构保持映射)上;经由研究这些态射,可以学到更多关于这些物件的结构。以群为例,其态射为群同态。两个群间的群同态会严格地“保持群的结构”,这是个以将一个群中有关结构的讯息运到另一个群的方法,使这个群可以看做是另一个群的“过程”。因此,对群同态的研究提供了一个得以研究群的普遍特性及群公理的推论的工具。
类似的研究也出现在其他许多的数学理论中,如在拓扑学中对拓扑空间的连续映射的研究(相关范畴称为Top),及对流形的光滑函数的研究等。 [1]

函子
再抽象化一次,范畴自身亦为数学结构的一种,因此可以寻找在某一意义下会保持其结构的“过程”;此一过程即称之为函子。函子将一个范畴的每个物件和另一个范畴的物件相关连起来,并将第一个范畴的每个态射和第二个范畴的态射相关连起来。
实际上,即是定义了一个“范畴和函子”的范畴,其元件为范畴,(范畴间的)态射为函子。
经由研究范畴和函子,不只是学习了一类数学结构,及在其之间的态射;还学习了“在不同类型的数学结构之间的关系”。此一基本概念首次出现于代数拓扑之中。不同的“拓扑”问题可以转换至通常较易解答的“代数”问题之上。在拓扑空间上如基本群或基本群胚等基本的架构,可以表示成由群胚所组成的范畴之间的基本函子,而这个概念在代数及其应用之中是很普遍的。 [1]

自然变换
再抽象化一次,架构通常会“自然地相关连”,这个第一眼会觉得很暧昧的概念,产生了自然变换(将一个函子映射至另一函子的方法)此一清楚的概念。许多数学上的重要架构可以从此一角度来研究。 [1]

历史注记[url=]编辑[/url]
范畴,函子和自然变换是由塞缪尔·艾伦伯格桑德斯·麦克兰恩在1945年引进的。这些概念最初出现在拓扑学,尤其是代数拓扑学里,在同态(具有几何直观)转化成同调论公理化方法)的过程中起了重要作用。乌拉姆说,在1930年代的后期,波兰学派中曾出现类似的想法。
艾伦堡和麦克兰说,他们的目的在于理解自然映射;为此,必须定义函子;为了定义函子,就自然地要引进范畴。
同调代数由于计算上的需要而使用范畴论,这对范畴论起到了推进作用;此后范畴论又在代数几何的公理化过程中得到发展。代数几何与罗素迪恩·怀特海德的关于数学统一性基础的观点相抵触。广义范畴论更容纳了语意灵活性和高阶逻辑等多种新特征的泛代数,现今被运用到数学的许多分支。
特殊范畴拓扑斯甚至可以代替公理集合论作为数学的基础。然而范畴论对这些范围广泛的基础应用还是有争议的;但作为构造性数学的基础或注释,范畴论被研究的相当透彻。尽管如此,可以说,尤其是公理集合论,至今仍然是数学家们的通用语言,并没有被范畴论的注释所取代。将范畴论引入大学程度的教学这一倡议,还是遭到了相当的反对。
范畴逻辑是直觉逻辑中类型论的一个被明确定义的分支,在计算机学科函数式编程域理论中均有应用,并且都是在笛卡尔闭范畴中对λ演算的非句法性描述。至少,用范畴论可以精确地描述在这些相关的领域里什么是共同的(在抽象的意义上)。[2]

范畴分类[url=]编辑[/url]
在许多范畴中,态射集合 Mor(A,B) 不仅仅是集合,实际上是阿贝尔群态射的复合具有群结构,也就是说是双线性的。这种范畴被称为预加性的。如果这种范畴还具有所有有限的积和上积,则称为加性范畴。如果所有具有一个核和一个上核,那么所有满射都是上核,所有单射都是核,我们称此为阿贝尔范畴。阿贝尔范畴的一个典型的例子是阿贝尔群所组成的范畴。
1.一个范畴被称为是完备的,如果所有极限存在。集合,阿贝尔群和拓扑空间的范畴是完备的。
2.一个范畴被称为是笛卡儿闭性的,如果它具有有限直积,并且一个定义在有限乘积上的态射总是可以表示成定义在其中一个因子上的态射。
3.一个拓扑斯是一种特殊的笛卡儿闭范畴,在其中可表述(公理化)所有的数学结构(就象传统上使用集合论可以表示所有数学结构)。一个拓扑斯也可以用来表述一个逻辑理论。
4.一个群胚是这样一种范畴,其中每一个映射都是一个同构。群胚是群、群作用和等价关系的推广。 [1]
数学·包含学科
14 逻辑与基础
1410:演绎逻辑学 1420:证明论 1430:递归论
1440:模型论 1450:公理集合论 1460:数学基础
1499:数理逻辑与数学基础其他学科
1710:初等数论 1720:解析数论 1730:代数数论
1740:超越数论 1750:丢番图逼近 1760:数的几何
1770:概率数论 1780:计算数论 1799:数论其他学科
2110:线性代数 2115:群论 2120:域论
2125:李群 2130:李代数 2135:Kac-Moody代数
2140:环论 2145:模论 2150:格论
2155:泛代数理论 2160:范畴论 2165:同调代数
2170:代数K理论 2175:微分代数 2180:代数编码理论
2199:代数学其他学科
2710:几何学基础 2715:欧氏几何学 2720:非欧几何学
2725:球面几何学 2730:向量和张量分析 2735:仿射几何学
2750:分数维几何 2740:射影几何学 2745:微分几何学
2755:计算几何学 2799:几何学其他学科
3110:点集拓扑学 3115:代数拓扑学 3120:同伦论
3125:低维拓扑学 3130:同调论 3135:维数论
3140:格上拓扑学 3145:纤维丛论 3150:几何拓扑学
3155:奇点理论 3160:微分拓扑学 3199:拓扑学其他学科
3410:微分学 3420:积分学 3430:级数论
3499:数学分析其他学科
4110:实变函数论 4120:单复变函数论 4130:多复变函数论
4140:函数逼近论 4150:调和分析 4160:复流形
4170:特殊函数论 4199:函数论其他学科
4410:定性理论 4420:稳定性理论 4430:解析理论
4499:常微分方程其他学科
4710:椭圆型偏微分方程 4720:双曲型偏微分方程 4730:抛物型偏微分方程
4740:非线性偏微分方程 4799:偏微分方程其他学科
5110:微分动力系统 5120:拓扑动力系统 5130:复动力系统
5199:动力系统其他学科
5710:线性算子理论 5715:变分法 5720:拓扑线性空间
5725:希尔伯特空间 5730:函数空间 5735:巴拿赫空间
5740:算子代数 5745:测度与积分 5750:广义函数论
5755:非线性泛函分析 5799:泛函分析其他学科
6110:插值法与逼近论 6120:常微分方程数值解 6130:偏微分方程数值解
6140:积分方程数值解 6150:数值代数 6160:连续问题离散化方法
6170:随机数值实验 6180:误差分析 6199:计算数学其他学科
6410:几何概率 6420:概率分布 6430:极限理论
6440:随机过程 6450:马尔可夫过程 6460:随机分析
6470:鞅论 6480:应用概率论 6499:概率论其他学科
6710:抽样理论 6715:假设检验 6720:非参数统计
6725:方差分析 6730:相关回归分析 6735:统计推断
6740:贝叶斯统计 6745:试验设计 6750:多元分析
6755:统计判决理论 6760:时间序列分析 6799:数理统计学其他学科
7110:统计质量控制 7120:可靠性数学 7130:保险数学
7140:统计模拟 7199:应用统计数学其他学科
7410:线性规划 7415:非线性规划 7420:动态规划
7425:组合最优化 7430:参数规划 7435:整数规划
7440:随机规划 7445:排队论 7450:对策论
7460:决策论 7455:库存论 7465:搜索论
7470:图论 7475:统筹论 7480:最优化
7499:运筹学其他学科
其他二级学科
11:数学史 24:代数几何学 37:非标准分析
54:积分方程 77:组合数学 81:离散数学
84:模糊数学 87:应用数学 99:数学其他学科
学科前数字为国家标准学科代码







回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

QQ|京ICP备17005959号|IAC-16|Archiver|手机版|小黑屋|CCOSE论坛

GMT+8, 2020-7-15 15:42 , Processed in 0.050897 second(s), 20 queries .

快速回复 返回顶部 返回列表