目录
基本群
在代數拓撲中，基本群（或稱龐加萊群）是一個重要的同倫不變量。帶點拓撲空間的基本群是所有從該點出發的環路的同倫等價類，群運算由環路的銜接給出。 基本群能用以研究兩個空間是否同胚，也能分類一個連通空間的覆疊空間（至多差一個同構）。 基本群的推廣之一是同倫群。.
查看 楔和和基本群
同胚
在拓扑学中，同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构；也就是说，它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚，那么这两个空间就称为同胚的，从拓扑学的观点来看，两个空间是相同的。 大致地说，拓扑空间是一个几何物体，同胚就是把物体连续延展和弯曲，使其成为一个新的物体。因此，正方形和圆是同胚的，但球面和环面就不是。有一个笑话是说，拓扑学家不能区分咖啡杯和甜甜圈，这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状（见图）。.
查看 楔和和同胚
塞弗特－范坎彭定理
代數拓撲中的塞弗特－范坎彭（Seifert–van Kampen）定理，將一個拓撲空間的基本群，用覆蓋這空間的兩個開且路徑連通的子空間的基本群來表示。.
查看 楔和和塞弗特－范坎彭定理
二元运算
二元运算属于数学运算的一种。二元运算需要三个元素：二元运算符以及该运算符作用的两个变量。如四则运算的加、减、乘、除均属于二元运算。 如在运算1 + 2之中，二元运算符为“+”，而该运算符作用的操作数分别为1与2。 二元运算只是二元函数的一种，由于它被广泛应用于各个领域，因此受到比其它函数更高的重视。.
查看 楔和和二元运算
商空间
在拓扑学及其相关数学领域，一个商空间（quotient space，也称为等化空间identification space）直观上说是将一个给定空间的一些点等同或“黏合在一起”；由一个等价关系确定哪些点是等同的。这是从给定空间构造新空间的常见方法。.
查看 楔和和商空间
等价关系
等價關係（equivalence relation）即设R是某個集合A上的一个二元关系。若R满足以下條件：.
查看 楔和和等价关系
範疇 (數學)
在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。.
查看 楔和和範疇 (數學)
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
查看 楔和和范畴论
自由積
在數學的群論中，自由積（free product，produit libre）是從兩個以上的群構造出一個群的一種操作。兩個群G和H的自由積，是一個新的群G ∗ H。這個群包含G和H為子群，由G和H的元素生成，並且是有以上性質的群之中「最一般」的。自由積一定是無限群，除非G和H其一是平凡群。自由積的構造方法和自由群（由給定的生成元集合所能構造出的最一般的群）相似。 自由積是群範疇中的餘積。.
查看 楔和和自由積
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 楔和和数学
拓扑学
在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.
查看 楔和和拓扑学