徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
安装
比浏览器更快的访问!
 

群和范畴论

快捷方式: 差异相似杰卡德相似系数参考

群和范畴论之间的区别

群 vs. 范畴论

在數學中,群是由一個集合以及一個二元運算所組成的,符合下述四个性质(称为“群公理”)的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征:它是保持物體不變的變換的集合。這種對稱群,特別是連續李群,在很多學術學科中扮演重要角色。例如,矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究,由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,它以自己的方式研究群。為了探索群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群、商群和單群。除了它們的抽象性質,群理論家還從理論和計算兩種角度來研究具體表示群的各種方式(群的表示)。對有限群已經發展出了特別豐富的理論,這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。. 疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用于對應資料型別,而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.

之间群和范畴论相似

群和范畴论有(在联盟百科)20共同点: 域 (數學)基本群向量空间幺半群广群二元运算代数几何代数拓扑單位元函子空集等价关系结合律群作用连续函数阿贝尔群集合流形数学拓扑学

域 (數學)

在抽象代数中,域(Field)是一种可進行加、減、乘和除(除了除以零之外,「零」即加法單位元素)運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素(除零元素之外)可以进行除法运算,这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環(division ring)或skew field。.

域 (數學)和群 · 域 (數學)和范畴论 · 查看更多 »

基本群

在代數拓撲中,基本群(或稱龐加萊群)是一個重要的同倫不變量。帶點拓撲空間的基本群是所有從該點出發的環路的同倫等價類,群運算由環路的銜接給出。 基本群能用以研究兩個空間是否同胚,也能分類一個連通空間的覆疊空間(至多差一個同構)。 基本群的推廣之一是同倫群。.

基本群和群 · 基本群和范畴论 · 查看更多 »

向量空间

向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何,幾何上的向量及相关的運算即向量加法,標量乘法,以及对運算的一些限制如封闭性,结合律,已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中,“向量”的概念不仅限于此,满足下列公理的任何数学对象都可被当作向量处理。譬如,實系數多項式的集合在定义适当的运算后构成向量空間,在代数上处理是方便的。单变元实函数的集合在定义适当的运算后,也构成向量空间,研究此类函数向量空间的数学分支称为泛函分析。.

向量空间和群 · 向量空间和范畴论 · 查看更多 »

幺半群

在抽象代數此一數學分支中,幺半群(又稱為單群、亞群、具幺半群或四分之三群)是指一個帶有可結合二元運算和單位元的代數結構。么半群在許多的數學分支中都會出現。在幾何學中,幺半群捉取了函數複合的概念;更確切地,此一概念是從範疇論中抽象出來的,之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎;在此,變換幺半群和語法幺半群被用來描述有限狀態自動機,而跡幺半群和歷史幺半群則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題。.

幺半群和群 · 幺半群和范畴论 · 查看更多 »

广群

在数学中,尤其在范畴论和同伦论中,广群(groupoid,或勃兰特广群,Brandt groupoid)是对群的概念的抽象化。广群可被视为:.

广群和群 · 广群和范畴论 · 查看更多 »

二元运算

二元运算属于数学运算的一种。二元运算需要三个元素:二元运算符以及该运算符作用的两个变量。如四则运算的加、减、乘、除均属于二元运算。 如在运算1 + 2之中,二元运算符为“+”,而该运算符作用的操作数分别为1与2。 二元运算只是二元函数的一种,由于它被广泛应用于各个领域,因此受到比其它函数更高的重视。.

二元运算和群 · 二元运算和范畴论 · 查看更多 »

代数几何

代数几何是数学的一个分支。 经典代数几何研究多项式方程的零点,而现代代数几何将抽象代数,尤其是交换代数,同几何学的语言和问题结合起来。 代数几何的基本研究对象为代数簇。代数簇是由空间坐标的若干代数方程的零点集。常见的例子有平面代数曲线,比如直线、圆、椭圆、抛物线、双曲线、三次曲线(非奇异情形称作椭圆曲线)、四次曲线(如双纽线,以及卵形线)、以及一般n次曲线。代数几何的基本问题涉及对代数簇的分类,比如考虑在双有理等价意义下的分类,即双有理几何,以及模空间问题,等等。 代数几何在现代数学占中心地位,与多复变函数论、微分几何、拓扑学和数论等不同领域均有交叉。始于对代数方程组的研究,代数几何延续解方程未竟之事;与其求出方程实在的解,代数几何尝试理解方程组的解的几何性质。代数几何的概念和技巧都催生了某些最深奥的数学的分支。 进入20世纪,代数几何的研究又衍生出几个分支:.

代数几何和群 · 代数几何和范畴论 · 查看更多 »

代数拓扑

代数拓扑(Algebraic topology)是使用抽象代数的工具来研究拓扑空间的数学分支。.

代数拓扑和群 · 代数拓扑和范畴论 · 查看更多 »

單位元

單位元是集合裏的一種特別的元素,與該集合裏的二元運算有關。當單位元和其他元素結合時,並不會改變那些元素。單位元被使用在群和其他相關概念之中。 設 (S,*)為一帶有一二元運算* 的集合S(稱之為原群),則S內的一元素e被稱為左單位元若對所有在S內的a而言,e * a .

單位元和群 · 單位元和范畴论 · 查看更多 »

函子

在範疇論中,函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學,其中拓撲空間的連續映射給出相應的代數对象(如基本群、同調群或上同調群)的代數同態。在當代數學中,函子被用來描述各種範疇間的關係。「函子」(英文:Functor)一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言,不同於當代範疇論的用法,函子是個語言學的詞彙。對範疇論者來說,函子則是個特別類型的函數。.

函子和群 · 函子和范畴论 · 查看更多 »

空集

集是不含任何元素的集合,數學符號為\empty、\varnothing或\。.

空集和群 · 空集和范畴论 · 查看更多 »

等价关系

等價關係(equivalence relation)即设R是某個集合A上的一个二元关系。若R满足以下條件:.

等价关系和群 · 等价关系和范畴论 · 查看更多 »

结合律

在數學中,結合律(associative laws)是二元運算可以有的一個性質,意指在一個包含有二個以上的可結合運算子的表示式,只要運算元的位置沒有改變,其運算的順序就不會對運算出來的值有影響。亦即,重新排列表示式中的括號並不會改變其值。例如: 上式中的括號雖然重新排列了,但表示式的值依然不變。當這在任何實數的加法上都成立時,我們說「實數的加法是一個可結合的運算」。 結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置,而結合律則不會。例如: 是一個結合律的例子,因為其中的括號改變了(且因此運算子在運算中的順序也改變了),而運算元5、2、1則在原來的位置中。再來, 則不是一個結合律的例子,因為運算元2和5的位置互換了。 可結合的運算在數學中是很常見的,且事實上,大多數的代數結構確實會需要它們的二元運算是可結合的。不過,也有許多重要且有趣的運算是不可結合的;其中一個簡單的例子為向量積。.

结合律和群 · 结合律和范畴论 · 查看更多 »

群作用

数学上,对称群描述物体的所有对称性。这是通过群作用的概念来形式化的:群的每个元素作为一个双射(或者对称作用)作用在某个集合上。在这个情况下,群称为置换群(特别是在群有限或者不是线性空间时)或者变换群(特别是当这个集合是线性空间而群作为线性变换作用在集合上时)。一个群G的置换表示是群作为一个集合的置换群的群表示(通常该集合有限),并且可以表述为置换矩阵,一般在有限的情形作此考虑-这和作用在有序的线性空间基上是一样的。.

群和群作用 · 群作用和范畴论 · 查看更多 »

连续函数

在数学中,连续是函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。 举例来说,考虑描述一棵树的高度随时间而变化的函数h(t),那么这个函数是连续的(除非树被砍断)。又例如,假设T(P)表示地球上某一点P的空气温度,则这个函数也是连续的。事实上,古典物理学中有一句格言:“自然界中,一切都是连续的。”相比之下,如果M(t)表述在时间t的时候银行账户上的钱币金额,则这个函数无论在存钱或者取钱的时候都会有跳跃,因此函数M(t)是不连续的。.

群和连续函数 · 范畴论和连续函数 · 查看更多 »

阿贝尔群

阿貝爾群(Abelian group)也稱爲交換群(commutative group)或可交換群,它是滿足其元素的運算不依賴於它們的次序(交換律公理)的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.

群和阿贝尔群 · 范畴论和阿贝尔群 · 查看更多 »

集合

集合可以指:.

群和集合 · 范畴论和集合 · 查看更多 »

流形

流形(Manifolds),是局部具有欧几里得空间性质的空间,是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。 流形在数学中用于描述几何形体,它们为研究形体的可微性提供了一个自然的平台。物理上,经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。 一般可以把几何形体的拓扑结构看作是完全“柔软”的,因为所有变形(同胚)会保持拓扑结构不变;而把解析几何结构看作是“硬”的,因为整体的结构都是固定的。例如一个多项式,如果你知道 (0,1) 区间的取值,则整个实数范围的值都是固定的,所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型:其无穷小的结构是“硬”的,而整体结构则是“柔软”的。这也许是中文译名“流形”的原因(整体的形态可以流动)。该译名由著名数学家和数学教育学家江泽涵引入。这样,流形的硬度使它能够容纳微分结构,而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。.

流形和群 · 流形和范畴论 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

数学和群 · 数学和范畴论 · 查看更多 »

拓扑学

在數學裡,拓撲學(topology),或意譯為位相幾何學,是一門研究拓撲空間的學科,主要研究空間內,在連續變化(如拉伸或彎曲,但不包括撕開或黏合)下維持不變的性質。在拓撲學裡,重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科,研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲,他在17世紀提出「位置的幾何學」(geometria situs)和「位相分析」(analysis situs)的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出,雖然直到20世紀初,拓撲空間的概念才開始發展起來。到了20世紀中葉,拓撲學已成為數學的一大分支。 拓撲學有許多子領域:.

拓扑学和群 · 拓扑学和范畴论 · 查看更多 »

上面的列表回答下列问题

群和范畴论之间的比较

群有222个关系,而范畴论有72个。由于它们的共同之处20,杰卡德指数为6.80% = 20 / (222 + 72)。

参考

本文介绍群和范畴论之间的关系。要访问该信息提取每篇文章,请访问:

嘿!我们在Facebook上吧! »