比浏览器更快的访问！
64 关系: Artin群，基本多边形，埃格伯特·范坎彭，单位圆盘，可定向性，同倫，同倫範疇，同倫群，同調球面，塞弗特－范坎彭定理，实射影平面，实射影空间，局部系統，上同調維數，不可判定问题列表，一般线性群，平展上同调，广义正交群，庞加莱猜想，代数拓扑，代數幾何討論班，代數幾何與解析幾何，任意子，伽罗瓦连接，A无穷代数，喬治·莫斯托，單連通，儒勒·昂利·庞加莱，函子，剩餘有限群，环形，环面，纤维化 (数学)，群，環圈，莱拉·施耐普斯，道路 (拓扑学)，覆疊空間，黎曼几何，黎曼曲面，辛几何，辛群，范畴论，胡列维茨定理，邁爾斯定理，自由積，自由群，酉群，HNN擴張，Pin群，...，Virtual哈肯猜想，抽象代数，推出 (范畴论)，格羅莫夫雙曲空間，楔和，正交群，朗蘭茲綱領，有理同伦论，有理曲面，映射锥，旋量群，懷特黑德定理，拓扑学，3-流形。 扩展索引 (14 更多) »
Artin群
數學上，Artin群，或稱廣義辮群，是指有如下展示的群： 其中 對m ，\langle x_i, x_j \rangle^m表示長度為m的x_i和x_j的交錯積，以x_i開首。例如： 若m.
新！!: 基本群和Artin群 · 查看更多 »
基本多边形
在数学上，每个闭曲面在几何拓扑的意义下，可以由一个偶数条边的有向多边形，把它的边成对地粘合构造出来，这样的多边形称之为基本多边形（fundamental polygon）。 这个构造可以表示成一个长为2n的字符串，一共n个不同的符号，每个符号出现两次带有指数 +1或 -1。指数 -1的符号对应于该边的定向与基本多边形的定向相反。.
埃格伯特·范坎彭
埃格伯特·鲁道夫·范坎彭（Egbert Rudolf van Kampen，）是一位荷兰数学家。他对代数拓扑学，尤其是基本群的研究，做出了重要的贡献。 范坎彭1929年在莱顿大学获得博士学位。1931年离开欧洲前往美国，任职于约翰·霍普金斯大学。任职期间，范坎彭遇到了扎里斯基。在他的影响下，范坎彭提出并证明了塞弗特—范坎彭定理。 分类:荷兰数学家 分类:拓扑学家 Category:萊頓大學校友.
新！!: 基本群和埃格伯特·范坎彭 · 查看更多 »
单位圆盘
数学中，绕平面上给定点 P 的开单位圆盘（open unit disk），是与 P 的距离小于 1 的点集合： 绕 P 的闭单位圆盘（closed unit disk）是与 P 的距离小于或等于 1 的点集合： 单位圆盘是圆盘与单位球体的特例。 若无其它修饰语，术语单位圆盘用于绕原点关于标准欧几里得度量的开单位圆盘 D_1(0)。它是以原点为中心的半径为 1 的圆周的内部。这个集合可以与所有绝对值小于 1 的复数等价。当视为复平面 C 的一个子集时，开单位圆盘经常记作 \mathbb。.
可定向性
欧几里得空间R3中一个曲面S是可定向（orientable）的如果一个二维图形（比如）沿着曲面移动后回到起点不能使它看起来像它的镜像（）。否则曲面是不可定向（non-orientable）的。 更确切地，应用于非嵌入曲面，一个曲面可定向如果不存在从二维球B与单位区间的乘积到曲面的连续函数f: B\times \to S，使得f(b,t).
同倫
在數學中，同倫（Homotopy）的概念在拓撲上描述了兩個對象間的「連續變化」。.
同倫範疇
在數學的拓撲學領域中，同倫範疇是處理同倫問題時格外便利的範疇論語言。它的對象是拓撲空間，態射是連續函數的同倫類，這是商範疇的一個例子；由於同倫關係在映射的合成下不變，同倫範疇的定義是明確的。所有拓撲空間構成的同倫範疇通常記為 \mathbf 或 \mathbf；有時也會考慮較小一類的空間，例如緊生成豪斯多夫空間或CW複形。 兩空間在同倫範疇中同構的充要條件是它們同倫等價。 設 X, Y 為拓撲空間，它們在同倫範疇中的態射集記為 。同倫理論的基本課題之一便是研究 ，例如當 X, Y 是球面時， 的計算就歸結到同倫群的計算。.
同倫群
在數學中，同倫群是拓撲空間的一種同倫不變量。同倫群的研究是同倫理論的基石之一，一般空間的同倫群極難計算，即使對球面 S^n 的情形，至今也沒有完整結果。.
同調球面
數學的代數拓撲學中，同調球面是n維流形X，具有n-球面的同調群。在此n ≥ 1是整數。換言之， 因此X是一個連通空間，僅有一個非零的高階貝蒂數bn（除了 b0.
塞弗特－范坎彭定理
代數拓撲中的塞弗特－范坎彭（Seifert–van Kampen）定理，將一個拓撲空間的基本群，用覆蓋這空間的兩個開且路徑連通的子空間的基本群來表示。.
新！!: 基本群和塞弗特－范坎彭定理 · 查看更多 »
实射影平面
在数学中，实射影平面（real projective plane）是R3中所有过原点直线组成的空间，通常记作\mathbbP^2，无歧义时也记为P^2。这是一个不可定向、紧致、无边界二维流形（即一个曲面），它在几何中有基本的应用，但不能无自交地嵌入我们通常的三维欧几里得空间。它的亏格是1，故欧拉示性数也为1。 实射影平面有时描述为基于莫比乌斯带的构造：如果能把莫比乌斯带的（一条）边以恰当的方向黏合，将得到射影平面。等价地，沿着莫比乌斯带的边界黏合一个圆盘给出射影平面。 由于莫比乌斯带可构造为将正方形的一组对边反向黏合，从而实射影平面可以表示为单位正方形（ × ）将它的边界通过如下等价关系等同： 以及 即如右图所示。因为正方形同构于圆盘，故这也等价于将圆盘边界的对径点黏合。.
实射影空间
数学中，实射影空间（real projective space），记作 RPn，是 Rn+1 中的直线组成的射影空间。它是一个 n 维紧光滑流形，也是格拉斯曼流形的一个特例。.
局部系統
在數學中，局部系統或稱局部係數是源於代數拓撲的一種觀念，它是常係數的同調或上同調理論的推廣。這個觀念也能應用於代數幾何 。 用層論的語言來講，局部系統是局部上同構於常數層的阿貝爾群層。若此層整體來看也同構於常數層，則就回到了傳統的常係數層上同調理論。例子包括了帶有平坦聯絡的向量叢，基本群的線性表示則給出了局部同構於向量空間常數層的局部系統。 category:層論 Category:代數拓撲 J.
上同調維數
代數中，上同調維數是群的不變量，量度群的表示的同調複雜度。上同調維數在幾何群論、拓撲學、代數數論中有重要應用。.
不可判定问题列表
這是一個不可判定问题列表。.
新！!: 基本群和不可判定问题列表 · 查看更多 »
一般线性群
在數學中，n 次一般線性群是 n×n 可逆矩陣的集合，和與之一起的普通矩陣乘法運算。這形成了一個群，因為兩個可逆矩陣的乘積也是可逆矩陣，而可逆矩陣的逆元還是可逆矩陣。叫這個名字是因為可逆矩陣的縱列是線性無關的，因此它們定義的向量／點是在一般線性位置上的，而在一般線性群中的矩陣把在一般線性位置上的點變換成在一般線性位置上的點。 为了使定义更明确，必需規定哪類對象可以成為矩陣的元素。例如，在 R（實數集）上的一般線性群是實數的 n×n 可逆矩陣的群，并指示為 GLn(R)或 GL(n, R)。 更一般的說，在任何域 F（比如複數集）或環 R（比如整數集的環）上的 n 次一般線性群是帶有來自 F（或 R）的元素的 n×n 可逆矩陣的群，帶有矩陣乘法作為群運算。這裡的環被假定為符合結合律和有乘法單位元的。典型符號是 GLn(F)或 GL(n, F)，如果域是自明的也可簡寫為 GL(n)。 更一般的說，向量空間的一般線性群 GL(V)仍是抽象自同構群，不必需寫為矩陣。 '''特殊線性群'''，寫為 SL(n, F)或 SLn(F)，是由行列式.
平展上同调
在数学中，一个代数簇或概形的平展上同调（Étale cohomology）是一个与一般拓扑空间的有限系数上同调群类似的代数结构。这一概念作为证明的工具由亚历山大·格罗滕迪克引入。平展上同调的理论可以用于构建ℓ进上同调，后者则是代数几何中的一个例子。这一理论有着众多的应用，包括Weil猜想的证明以及的构造。.
广义正交群
数学上，广义正交群或称伪正交群、不定正交群O(p,q)是所有保持n.
庞加莱猜想
庞加莱猜想最早是由法国数学家龐加萊提出的一个猜想，是克雷數學研究所悬赏的数学方面七大千禧年难题之一。2006年确认由俄罗斯数学家格里戈里·佩雷尔曼完成最终证明，他也因此在同年获得菲尔兹奖，但並未現身領獎, Interfax 1 July 2010。.
代数拓扑
代数拓扑（Algebraic topology）是使用抽象代数的工具来研究拓扑空间的数学分支。.
代數幾何討論班
瑪麗樹林代數幾何討論班（Séminaire de géométrie algébrique du Bois Marie，簡稱SGA）是20世紀60年代格羅滕迪克等人在法國高等科學研究所指導的一系列討論班。討論班的報告後來陸續出版，成為現代代數幾何的基本參考文獻。部分内容原計劃以更為詳細完整的形式寫進《代數幾何基礎》，但沒有實現。 討論班的具體情況如下。除SGA 2由北荷蘭出版公司出版以外，其他各卷都屬於施普林格出版社的Lecture Notes in Mathematics系列。 法國數學會正在進行LaTeX排版和再版。 Category:數學書籍 Category:代數幾何.
新！!: 基本群和代數幾何討論班 · 查看更多 »
代數幾何與解析幾何
在數學中，代數幾何與解析幾何是兩個關係密切的學科。代數幾何研究代數簇，在複數域上，同時也能以複分析及微分幾何的技術研究代數簇。讓-皮埃爾·塞爾在1956年的同名論文中比較了這兩種觀點。在 SGA 第一冊附錄中，則以概形論的語言重新表述。.
新！!: 基本群和代數幾何與解析幾何 · 查看更多 »
任意子
任意子是数学和物理学中的一个概念。它描述一类只在二维--系统中出现的粒子。它是对费米子和玻色子概念的广义化。.
伽罗瓦连接
在数学中，特别是在序理论中，伽罗瓦连接是在两个偏序集（"poset"）之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。 伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。.
A无穷代数
A无穷代数（A-infinity algebra，或 \;A_\;-algebra）是吉姆·斯塔谢夫（Jim Stasheff）在1960年代研究 H-空间的乘法的结合性时发现的一种代数结构，又称为强同伦结合代数（strongly homotopy associative algebra）。1970年代陈国才（K.-T. Chen）和T.V. Kadeishvili在一个流形的同调群上用不同的方法各自发现了一种A无穷代数结构。1990年代深谷贤治在研究辛流形的拉格朗日Floer同调（Lagrangian Floer Homology）时推广了斯塔谢夫的概念，称为A无穷范畴（A-infinity category，\;A_\;-category）。一般数学家把深谷的发现称为深谷范畴（Fukaya category）。.
喬治·莫斯托
喬治·丹尼爾·莫斯托（George Daniel Mostow，），美國數學家，因在的貢獻而聞名。他是美國國家科學院院士，美國數學學會第49任主席（1987年–1988年），普林斯頓高等研究院前理事。 他發現的李群的的剛性，稱為。他對剛性的研究，在三位菲爾茲獎得主格列戈里·馬爾古利斯、威廉·瑟斯頓、格里戈里·佩雷爾曼的工作中發揮關鍵作用。.
新！!: 基本群和喬治·莫斯托 · 查看更多 »
單連通
在拓撲學中，單連通是拓撲空間的一種性質。直觀地說，單連通空間中所有閉曲線都能連續地收縮至一點。此性質可以由空間的基本群刻劃。.
儒勒·昂利·庞加莱
儒勒·昂利·庞加莱（Jules Henri Poincaré，法語发音，又译作彭加勒、昂利·彭加勒，），通常称为昂利·庞加莱，法国最伟大的数学家之一，理论科学家和科学哲学家。庞加莱被公认是19世纪后和20世纪初的领袖数学家，是繼高斯之後对于数学及其应用具有全面知识的最后數學家。 他对数学，数学物理，和天体力学做出了很多创造性的基础性的贡献。他提出的庞加莱猜想是数学中最著名的问题之一。在他对三体问题的研究中，庞加莱成了第一个发现混沌确定系统的人並为现代的混沌理论打下了基础。庞加莱比爱因斯坦的工作更早一步，并起草了一个狭义相对论的简略版。庞加莱群以他命名。.
新！!: 基本群和儒勒·昂利·庞加莱 · 查看更多 »
函子
在範疇論中，函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學，其中拓撲空間的連續映射給出相應的代數对象（如基本群、同調群或上同調群）的代數同態。在當代數學中，函子被用來描述各種範疇間的關係。「函子」（英文：Functor）一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言，不同於當代範疇論的用法，函子是個語言學的詞彙。對範疇論者來說，函子則是個特別類型的函數。.
剩餘有限群
在數學的群論中，一個群G稱為剩餘有限群，如果對G中每個非單位元g，都有一個群同態h從G到一個有限群，使得 剩餘有限群有數個等價定義：.
环形
数学中，环形（annulus）是一个环状的几何图形，或者更一般地，一个环状的对象。几何学中通常所说的环形就是圆环，一个大圆盘挖去一个小同心圆盘剩下的部分。 圆环的对称性非常强，是一个以圆心为对称中心的中心对称图形，也是有无数条对称轴的轴对称图形。圆环的几何中心就是圆心。一个以圆心为中心，半径为内外半径的几何平均值的反演保持圆环整体不变，将内外边缘互换，内圆内部与外圆外部互换。 一个外半径 R 内半径 r 圆环的面积由外圆和内圆面积之差给出： 后一个等式表明圆环面积等于内外半周长之和乘以宽度。 有趣的是，圆环的面积也等于 π 乘以完全位于圆环内部的最长线段的长度一半的平方，这可由勾股定理证明。位于圆环内最长的线段必定和内圆相切，该线段的一半和半径 r、R 能组成一个以 R 为斜边的直角三角形。 这个公式也可通过积分得到，将圆环分解成无穷个宽 dρ面积 2\pi\rho\, d\rho (.
环面
没有描述。
纤维化 (数学)
数学中，尤其是代数拓扑，一个纤维化（fibration）是一个连续映射 对任何空间满足同伦提升性质。纤维丛（在仿紧底上）构成一类重要例子。在同伦论中任何映射和纤维化“一样好”——即任何映射可以分解为到“映射道路空间”的同伦等价复合一个纤维化（参见同伦纤维）。 对 CW复形（或等价地，只用多方体 In）有同伦提升性质的纤维化称为塞尔纤维化，让-皮埃尔·塞尔在其博士论文中部分提出了这个概念。这篇论文牢固地在代数拓扑学中建立了谱序列的使用，并将纤维丛与纤维化的概念从层中清晰地分离出来（这两个概念在早期让·勒雷的处理中是不清晰的）。因为一个层（想象为一个艾达尔空间）可以视为一个局部同胚，那时候这些概念是密切相连的。 “纤维”由定义是 E 的子空间，是 B 中一个点 b 的逆像。如果底空间 B 是道路连通的，有定义可以推出 B 中两个不同点 b1 和 b2 的纤维是同伦等价的。从而我们通常就说纤维 F。纤维化不必有定义更受限的纤维丛时的局部笛卡儿乘积结构，但弱一点仍可从纤维到纤维移动。塞尔谱序列的一个主要令人满意的性质是说明了底 B 的基本群在全空间 E 的同调上的作用。 乘积空间的投影映射容易看出是一个纤维化。纤维丛有局部平凡化性质——这样的笛卡儿乘积结构在 B 上局部存在，就通常足够证明一个纤维丛是一个纤维化。更确切地，如果在 B 一个可数开覆盖上有局部平凡化，则丛是纤维化。仿紧空间上任何覆盖——比如任何度量空间，有一个棵树加细，所以任何这样空间上的纤维丛是纤维化。局部平凡化也蕴含了良定义的“纤维”的存在性（差一个同胚），至少在 B 的每个连通分支上。.
新！!: 基本群和纤维化 (数学) · 查看更多 »
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
環圈
數學中的環圈（loop）是拓扑空间X上的连续函数f，其定義域為单位区间I.
莱拉·施耐普斯
莱拉·施耐普斯（Leila Schneps，1961年12月22日——），美国女数学家，居住在法国，供职于法国国家科学研究中心（CNRS）和皮埃尔和玛丽·居里大学数学研究所, 她的研究专长为数论。除了发表学术论文，施耐普斯还编有数部教科书，写过一本科普书和多篇科普文章，这些科普作品是关于刑事诉讼中数学的运用和滥用。施耐普斯还以笔名凯瑟琳·萧（Catherine Shaw）发表了一系列数学主题谋杀小说。.
新！!: 基本群和莱拉·施耐普斯 · 查看更多 »
道路 (拓扑学)
在数学中，拓扑空间 X 中一条道路（path）是从单位区间 I.
新！!: 基本群和道路 (拓扑学) · 查看更多 »
覆疊空間
在拓撲學中，拓撲空間X的覆疊空間是一對資料(Y,p)，其中Y是拓撲空間，p: Y \to X是連續的滿射，並存在X的一組開覆盖 使得對每個U \in \mathcal，存在一個離散拓撲空間F及同胚：\phi_U: U \times F \simeq p^(U)，而且p \circ \phi_U: U \times F \to U是對第一個坐標的投影。 滿足上述性質的p: Y \to X稱為覆疊映射。當X連通時，F的基數是個常數，稱為覆疊的次數或重數。 空間X的覆疊構成一個範疇\mathbf_X，其對象形如p: Y \to X，從p: Y \to X到q: Z \to X態射是連續映射f: Y \to Z，且q \circ f.
黎曼几何
微分幾何中，黎曼幾何（英語：Riemannian geometry）研究具有黎曼度量的光滑流形，即流形切空間上二次形式的選擇。它特別關注于角度、弧線長度及體積。把每个微小部分加起來而得出整體的數量。 19世紀，波恩哈德·黎曼把這個概念加以推广。 任意平滑流形容許黎曼度量及這個額外結構幫助解決微分拓扑問題。它成為伪黎曼流形複雜結構的入門。其中大部分都是廣義相對論的四維研究对象。 黎曼幾何与以下主題有关：.
黎曼曲面
数学上，特别是在复分析中，一个黎曼曲面是一个一维复流形。黎曼曲面可以被視为是一个复平面的变形版本：在每一点局部看来，他们就像一片复平面，但整体的拓扑可能极为不同。例如，他们可以看起来像球或是环，或者两个页面粘在一起。 黎曼曲面的精髓在于在曲面之间可以定义全纯函数。黎曼曲面现在被认为是研究这些函数的整体行为的自然选择，特别是像平方根和自然对数这样的多值函數。 每个黎曼曲面都是二维实解析流形（也就是曲面），但它有更多的结构（特别是一个複結構），因为全純函数的无歧义的定义需要用到这些结构。一个实二维流形可以变成为一个黎曼曲面（通常有几种不同的方式）当且仅当它是可定向的。所以球和环有複結構，但是莫比乌斯带，克莱因瓶和射影平面没有。 黎曼曲面的几何性质是最妙的，它们也给與其它曲线，流形或簇上的推广提供了直观的理解和动力。黎曼-罗赫定理就是这种影响的最佳例子。.
辛几何
辛几何（Symplectic geometry），也叫辛拓扑（Symplectic topology），是微分几何的一个分支。其研究對象為辛流形，亦即带有闭非退化2-形式的微分流形。辛拓扑源于经典力学的哈密顿表述，其中特定经典系统的相空间有辛流形的结构。 辛拓扑和研究有非退化对称2阶张量(称为度量张量)的流形的黎曼几何有一些相似和不同之处。不像黎曼的情况，辛流形没有像曲率那样的局部不变量。这是达布定理的一个结果，表明每一对辛流形是局部同构的。另一个和黎曼几何的区别是不是所有的微分流形可以接受一个辛形式；有一些特定的拓扑限制。首先，流形必须是偶数维的。辛拓扑的很多工作就是以研究哪些流形可以有辛结构为中心的。 每个凯勒流形也是一个辛流形。直到1970年代，辛专家们还不确信是否有任何紧非Kähler辛流形存在，但从那以后又很多例子被构造出来(第一个由William Thurston给出)；特别的，Robert Gompf证明每个有限表示群都可以作为辛4维流形的基本群出现，这和凯勒的情形完全不同。 可以说大部分辛流形都是非凯勒的;所以没有和辛形式相容的可积複结构。但是 Mikhail Gromov给出了一个重要的发现，就是辛流形可以接受很多相容的殆複结构，所以它们满足複流形的所有假设，"除了"坐标变换函数必须是全纯的这一条。 以几乎複结构相容的映射到辛流形的黎曼曲面称为伪全纯曲线，格罗莫夫证明了该类曲线的紧致性定理；这个结构导致了辛拓扑一个很大的子学科的发展。从格罗莫夫的理论产生的结果包括关于球到柱的辛嵌入的格罗莫夫非压缩定理，和关于哈密顿流的不动点的个数的阿尔诺德的一个猜想的证明。这是由从Andreas Floer开始的几个研究者(逐步推广到更一般的情形)所证明的，Floer用格罗莫夫的方法引入了现在称为Floer同调的概念。 伪全纯曲线也是辛不变量的一个来源，这种不变量称为Gromov-Witten不变量，原则上可以用来区分两个不同的辛流形。.
辛群
在數學中，辛群可以指涉兩類不同但關係密切的群。在本條目中，我們分別稱之為Sp(2n,F)與Sp(n)。後者有時也被稱作緊緻辛群以資區別。許多作者偏好不同的記法，通常是差個二的倍數。本條目採用的記法與矩陣的大小相稱。.
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
胡列维茨定理
在数学中，胡列维茨定理是代数拓扑的一个基本结论。定理通过“胡列维茨同态”将同伦论与同调论联系起来，是庞加莱此前部分结论的推广。胡列维茨定理以命名。.
新！!: 基本群和胡列维茨定理 · 查看更多 »
邁爾斯定理
邁爾斯定理，或稱博內-邁爾斯定理，是黎曼幾何的經典結果。這定理說如完備黎曼流形M的里奇曲率有下界(n-1)k>0，那麼其直徑不超過\frac \pi 。 而且，如直徑等於\frac \pi ，則流形和有常截面曲率k的球面等距。 這結果對流形的萬有覆叠同樣成立，特別地，M和其覆蓋都緊緻，所以覆叠是有限葉的，M 有有限基本群。.
自由積
在數學的群論中，自由積（free product，produit libre）是從兩個以上的群構造出一個群的一種操作。兩個群G和H的自由積，是一個新的群G ∗ H。這個群包含G和H為子群，由G和H的元素生成，並且是有以上性質的群之中「最一般」的。自由積一定是無限群，除非G和H其一是平凡群。自由積的構造方法和自由群（由給定的生成元集合所能構造出的最一般的群）相似。 自由積是群範疇中的餘積。.
自由群
在數學中，一個群 G 被稱作自由群，如果存在 G 的子集 S 使得 G 的任何元素都能唯一地表成由 S 中元素及其逆元組成之乘積（在此不論平庸的表法，例如 st^.
酉群
酉群，又叫幺正群，是李群的一种。在群论中，n阶酉群（unitary group）是n×n 酉矩阵组成的群，群乘法是矩阵乘法。酉群记作U(n)，是一般线性群GL(n, C)的一个子群。 在最简单情形n.
HNN擴張
數學上，HNN擴張（HNN extension）是組合群論中的一個基本構造法。HNN擴張是三名數學家Graham Higman、Bernhard Neumann、Hanna Neumann在1949年的論文Embedding Theorems for Groups提出。給定一個群中兩個同構子群及其間的群同構，這個構造法將這個群嵌入到另一個群中，令到所給定的群同構在新的群中成為共軛。.
Pin群
数学中，Pin 群是一个二次型空间相伴的克利福德代数的一个子群。它有一个到正交群的 2 对 1 映射，就像 Spin 群映到特殊正交群一样。 从 Pin 群到正交群的映射不是满的也不是万有覆叠空间，但对定二次型，两者都正确。.
Virtual哈肯猜想
拓撲學中的virtual哈肯猜想（Virtually Haken conjecture），是指緊緻可定向不可約3維流形，若有無限基本群，就是virtual哈肯（virtually Haken）的，即有一個有限覆蓋（有限對一的覆蓋空間）是哈肯流形。 通常認為這個猜想是Friedhelm Waldhausen在一篇1968年的論文最先提到，雖然他未在文中正式寫出。卡比的問題集，將這個猜想正式寫出為問題3.2。 幾何化猜想由格里戈里·佩雷爾曼證明了之後，virtual哈肯猜想只剩下雙曲3-流形待證。 2012年3月12日，Ian Agol在亨利·龐加萊研究所的學術報告講課中提出了這個猜想的證明。隨後在該研究所的3-流形中的浸入曲面工作坊中，他在3月26和28日講了三堂課描述證明大綱。他已發出所宣稱的證明的預印本。他的證明是基於Kahn和Markovic的曲面子群猜想的證明，證明Malnormal Special Quotient定理時得到的結果，以及Bergeron和Wise的群的cubulation結果。.
新！!: 基本群和Virtual哈肯猜想 · 查看更多 »
抽象代数
抽象代数作为数学的一门学科，主要研究对象是代数结构，比如群、环、-zh-hans:域;zh-hant:體-、模、向量空间、格與域代数。「抽象代數」一詞出現於20世紀初，作為與其他代數領域相區別之學科。 代數結構與其相關之同態，構成數學範疇。範疇論是用來分析與比較不同代數結構的強大形式工具。 泛代數是一門與抽象代數有關之學科，研究將各類代數視為整體所會有的性質與理論。例如，泛代數研究群的整體理論，而不會研究特定的群。.
推出 (范畴论)
在范畴论中，一个数学领域， 推出（也称为纤维餘积、纤维和、共合和或餘笛卡尔方块）是由具有公共定义域的两个态射 f: Z → X 与 g: Z → Y 组成的图表的餘极限。 推出是拉回的范畴对偶。.
新！!: 基本群和推出 (范畴论) · 查看更多 »
格羅莫夫雙曲空間
數學上，設\delta \geq 0為一常數，則一個度量空間X是格羅莫夫(Gromov)δ-雙曲空間，簡稱δ-雙曲空間，如果X中任意四點p,x,y,z都符合不等式 其中(x, y)_是x,y對基點p的格羅莫夫積。若δ的實際數值不重要時，也可稱作格羅莫夫雙曲空間或雙曲空間。以上是米哈伊爾·格羅莫夫的定義，因為不須用到測地線，故可以用於一般的度量空間。 一個測地度量空間是格羅莫夫雙曲的，當且僅當存在常數\delta \geq 0，使得每個測地三角形（三邊都是測地線段的三角形）都是δ-瘦，即是三角形每一邊上任何一點，距離另外兩邊其中一邊少於δ。 以上的δ-瘦條件由以利亞·里普斯(Eliyahu Rips)給出，此外又有數種等價條件É.
新！!: 基本群和格羅莫夫雙曲空間 · 查看更多 »
楔和
在數學的拓撲學中，楔和是一族拓撲空間的「一點併」。更明確而言，設X和Y是兩個帶基點的空間（即有基點x0和y0的拓撲空間），則X和Y的楔和是在其不交併中黏合兩個基點x0 ∼ y0而得的商空間： 兩個帶基點的空間的楔和也是一個帶基點的空間。楔和是可結合及可交換的二元運算（不別同胚之異）。 同樣地可以定義一族帶基點的空間的楔和：設(X_i)_是一族帶基點(p_i)_的空間，則其楔和為 其中 ~ 是等價關係\。換言之，一族空間的楔和是將這些空間在一點處合併。空間的楔和依賴於所取的基點，除非這些空間都是齊性的。（即對空間中任何兩點，都有一個自同胚將第一點映射到第二點。）.
正交群
数学上，数域F上的n阶正交群，记作O(n,F)，是F上的n×n 正交矩阵在矩阵乘法下构成的群。它是一般线性群GL(n,F)的子群，由 这里QT是Q的转置。实数域上的经典正交群通常就记为O(n)。 更一般地，F上一个非奇异二次型的正交群是保持二次型不变的矩阵构成的群。嘉当-迪奥多内定理描述了这个正交群的结构。 每个正交矩阵的行列式为1或−1。行列式为1的n×n正交矩阵组成一个O(n,F)的正规子群，称为特殊正交群SO(n,F)。如果F的特征为2，那么1.
朗蘭茲綱領
朗蘭茲綱領是數學中一系列影響深遠的構想，聯繫數論、代數幾何與约化群表示理論；綱領最初由羅伯特·朗蘭茲於1967年在一封給韦伊的中提出。.
有理同伦论
在数学中，有理同伦论是对拓扑空间的有理同伦型的研究；粗略地说，有理同伦型忽略同倫群的挠。有理同伦论由 与 首创。 对于单连通空间，有理同伦型等同于一种被称作极小苏利文代数的代数对象（的同构类）；这种代数对象是满足特定条件的有理数域上的可交换微分分次代数。 有理同伦论的标准教材是。.
有理曲面
在代數幾何裡，有理曲面（rational surface）是指一個雙有理等價於投影平面的曲面；換句話說，即為一個二維有理簇。有理曲面是複曲面的十餘種恩里克斯-小平分類中最簡單的一類，且是第一個被研究的曲面。.
映射锥
在数学，特别是同伦论中，映射锥（mapping cone）是一个拓扑构造 C_f。它也称为同伦上纤维（homotopy cofiber），也记成 Cf.
旋量群
数学中，旋量群 Spin(n) 是特殊正交群 SO(n) 的二重覆叠，使得存在李群的短正合列： 对 n > 2， Spin(n) 单连通，从而是 SO(n) 的万有覆叠空间。作为李群 Spin(n) 及其李代数和特殊正交群 SO(n) 有相同的维数 n(n − 1)/2。 Spin(n) 可以构造为克利福德代数 Cℓ(n) 可逆元群的一个子群。Spin(n) 由所有写成个偶数个单位向量的克利福德乘积的元素生成。对应到 SO(n) 中恰是沿着垂直于这偶数个向量的超平面的反射的复合。.
懷特黑德定理
在數學領域代數拓撲學的同倫論中，懷特黑德定理說，拓撲空間X和Y之間的連續映射f，誘導出所有同倫群之間的同構，則當X和Y是連通，並都有CW複形的同倫型的時候，f是同倫等價。這條定理是J.H.C.懷特黑德在1949年的兩篇重要論文中證明，給出理由以他在論文所引入的CW複形概念作為研究對象。.
新！!: 基本群和懷特黑德定理 · 查看更多 »
拓扑学
在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.
3-流形
數學上，3-流形（3-manifold）是三維流形。在三維情況，拓撲流形、分段線性流形、光滑流形三個範疇都等價，因此很少會著意提及3-流形是屬於哪一類。 三維中的現象，不時會與其他維數中的現象有大出意外的差別，所以有不少極專門的技術處理三維情況，不能推廣至其他維數。3-流形的特殊性，使人發現3-流形和很多不同領域有緊密關係，比如紐結理論、幾何群論、雙曲幾何、數論、拓撲量子場論、規範場論、Floer同調論、偏微分方程。3-流形理論是低維拓撲學的一部份，故此屬於幾何拓撲學。 3-流形理論的一個關鍵想法是考慮嵌入到流形內的特殊曲面。選擇嵌入「良好」的曲面，引出了不可壓縮曲面和哈肯（Haken）流形概念。選擇嵌入曲面使補集的各塊都「良好」，得出了比如Heegaard分解的結構，即使在非哈肯情況也有用場。 3-流形常有一個額外的結構：威廉·瑟斯頓的八種標準幾何結構之一。（其中以雙曲幾何最為普遍。）使用這些幾何結構再加上特別曲面，常得到豐碩的成果。 3-流形的基本群包含3-流形不少的幾何和拓撲資料，因此群論和拓撲方法得以相輔相成。.
重定向到这里：
基本群胚。
