目录
19 关系: 双射，同胚，孤点，实直线，完美集合，导出代数，分离集合，冪集，点集拓扑学，闭集，集合论，Graduate Texts in Mathematics，T1空间，University of Toronto，极限点，格奥尔格·康托尔，数学，拓扑学，拓扑空间。
双射
數學中，一個由集合X映射至集合Y的函數，若對每一在Y內的y，存在唯一一個在X內的x与其对应，則此函數為對射函數。 換句話說，f為雙射的若其為兩集合間的一一對應，亦即同時為單射和滿射。 例如，由整數集合\Z至\Z的函數\operatorname，其將每一個整數x連結至整數\operatorname(x).
查看 导集和双射
同胚
在拓扑学中，同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构；也就是说，它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚，那么这两个空间就称为同胚的，从拓扑学的观点来看，两个空间是相同的。 大致地说，拓扑空间是一个几何物体，同胚就是把物体连续延展和弯曲，使其成为一个新的物体。因此，正方形和圆是同胚的，但球面和环面就不是。有一个笑话是说，拓扑学家不能区分咖啡杯和甜甜圈，这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状（见图）。.
查看 导集和同胚
孤点
在拓扑学中，考虑集合X中的点x，如果x属于X的子集S，且在X中存在一个x的邻域，其中不包括S中的其他点，那么x叫做子集S的一个孤点或孤立点。 特别的，在欧几里得空间（或度量空间）中，考虑集合S及其中的一个点x，如果存在一个包含x的开球，其中不包含S中的其他点，那么x是S的孤点。等价的说，集合S中的一个点x是孤点，当且仅当x不是S的会聚点。 只由孤点构成的集合称为离散集合。欧几里得空间的离散子集都是可数的；但是一个可数集合不一定是离散的，比如有理数。参见离散空间。 没有孤点的闭集叫做完美集合（完备集）。 孤点的数目是拓扑不变的，就是说两个同胚的拓扑空间X和Y有相同数目的孤点。.
查看 导集和孤点
实直线
實直線有如下含義，它們有互相可作補充的部分：.
查看 导集和实直线
完美集合
在拓樸學中，一個拓樸空間的子集是完美的若且唯若他是閉集且沒有孤立點。等價地說，一個集合S是完美的若且唯若S.
查看 导集和完美集合
导出代数
在抽象代数中，导出代数是如下标识(signature)的代数结构 这里的 是布尔代数而 D 是一元算子导出算子，它满足如下恒等式.
查看 导集和导出代数
分离集合
在拓扑学和有关的数学分支中，分离集合是给定拓扑空间中以特定方式相互关联的一对子集，粗略的說，既不重疊也不接觸。两个集合是否分离对于连通空间和拓扑空间的分离公理的概念都很重要。 分离集合不应该與分离空间混淆，它们有些关系但並不相同。而可分离空间則是完全不同的拓扑概念。.
查看 导集和分离集合
冪集
数学上，给定集合S，其幂集\mathcal(S)（或作2^S）是以S的全部子集为元素的集合。以符号表示即为 在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。 \mathcal(S)的任何子集F称为S上的集族.
查看 导集和冪集
点集拓扑学
点集拓扑学（Point Set Topology），有时也被称为一般拓扑学（General Topology），是数学的拓扑学的一个分支。它研究拓扑空间以及定义在其上的数学结构的基本性质。这一分支起源于以下几个领域：对实数轴上点集的细致研究，流形的概念，度量空间的概念，以及早期的泛函分析。它的表述形式大概在1940年左右就已经成文化了。通过这种可以为所有数学分支适用的表述形式，点集拓扑学基本上抓住了所有的对连续性的直观认识。.
查看 导集和点集拓扑学
闭集
在拓扑空间中，闭集是指其补集为开集的集合。在一个拓扑空间内，闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中，一个闭集的极限运算是闭合的。.
查看 导集和闭集
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
查看 导集和集合论
Graduate Texts in Mathematics
#重定向 數學研究生教材.
查看 导集和Graduate Texts in Mathematics
T1空间
在拓扑学和相关的数学分支中，T1 空间和 R0 空间是特定种类的拓扑空间。T1 和 R0 性质是分离公理的个例。.
查看 导集和T1空间
University of Toronto
#重定向 多倫多大學.
极限点
在数学中，非正式的说在拓扑空间 X 中的一个集合 S 的极限点（limit point），就是可以被 S 中的点（不包含 x 本身）随意“逼近”的點。这个概念有益的推广了极限的概念，并且是諸如闭集和拓扑闭包等概念的基础。实际上，一个集合是闭合的当且仅当他包含所有它的极限点，而拓扑闭包运算可以被认为是通过增加它的极限点来扩充一个集合。 一个有关的概念是序列的聚集点（cluster point）或会聚点（accumulation point）。.
查看 导集和极限点
格奥尔格·康托尔
格奥尔格·费迪南德·路德维希·菲利普·康托尔（Georg Ferdinand Ludwig Philipp Cantor，），出生于俄国的德国数学家（波羅的海德國人）。他创立了现代集合论，是實數系以至整个微积分理论体系的基础，還提出了势和良序概念的定義；康托爾確定了在兩個集合中的成員，其間一對一關係的重要性，定義了無限且有序的集合，並證明了實數比自然數更多。康托爾對這個定理所使用的證明方法，事實上暗示了“無限的無窮” 的存在。他定義了基數和序數及其算術。康托爾很清楚地自知自覺他的成果，富有極濃厚的哲學興趣。康托爾提出的超越數，最初被當時數學界同儕認為如此反直覺-甚至令人震驚-因而拒絕接受他的理論，且以利奥波德·克罗内克为首的众多数学家长期攻击。克羅內克反對代數數為可數的，而超越數為不可數的證明。 康托爾本身是一位虔誠的路德派，相信這個理論是經由上帝傳達給他；但一些基督教神學家認為康托爾的理論，是在挑戰神學中只有上帝才具有絕對而唯一的無限性質。康托爾自 1869年任職於德國哈勒大學直到 1918年在哈勒大學附屬精神病院逝世；他的抑鬱症一直再發的病因，被歸咎於當代學界的敵對態度，儘管有人將這些事件解釋為，是他本人所患有的情感雙極障礙的病徵。他所受到的嚴厲攻擊，與後來的讚譽相匹配：在 1904年倫敦皇家學會授予他西爾維斯特獎章，這是皇家學會可授予數學研究者的最高榮譽。 在康托死後數十年，維特根斯坦撰文哀悼昔時學術界指責「集合論是假借通過數學而有害處的方言」的氛圍，他認為那是「可笑」和「錯誤」的「完全無稽之談」。当代数学家绝大多数接受康托尔的理论，并认为这是数学史上一次重要的变革。大卫·希尔伯特說：「沒有人能夠把我們從康托爾建立的樂園中趕出去。」（原文另譯：我們屏息敬畏地自知在康托所鋪展的天堂裡，不會遭逢被驅逐出境的。）.
查看 导集和格奥尔格·康托尔
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 导集和数学
拓扑学
在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.
查看 导集和拓扑学
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
查看 导集和拓扑空间
亦称为 完备集，导出集合。