比浏览器更快的访问！
27 关系: 单元素集合，區間，可分空间，子集，实直线，不交集，交集，度量空间，开集，分离公理，函数，球 (数学)，空集，补集，豪斯多夫空间，连通空间，闭包，闭集，邻域，連續函數 (拓撲學)，正规空间，正數，朴素集合论，数学，拓扑学，拓扑不可区分性，拓扑空间。
单元素集合
数学上，单元素集合是由唯一一个元素组成的集合。例如，集合 是个单元素集合。注意，集合诸如 也是单元素集合，唯一的元素是一个集合（这个集合可能本身不是单元素集合）。 一个集合是单元素集合，当且仅当它的势为1。在自然数的集合论定义中，数字 1 就是定义为单元素集合 。 在公理集合论中，单元素集合的存在性是空集公理和对集公理的结果：前者产生了空集 ，后者应用于对集 和 ，产生了单元素集合 。 若 A 是任意集合，S 是单元素集合，则存在唯一一个从 A 到 S的函数，该函数将所有 A 中的元素映射到 S 的单元素。 在范畴论中，单元素集合上构建的结构通常作为终对象或零对象：.
新！!: 分离集合和单元素集合 · 查看更多 »
區間
在數學上，區間是某個範圍的數的搜集，一般以集合形式表示。.
可分空间
在数学中，一个拓扑空间被称为可分空间当它包含一个可数的稠密子集，也就是说，存在一个序列\_^ ，使得此空间中的每个非空的开子集都有这个序列中的至少一个元素。 如可数性公理一样，可分性是一种对空间“大小”的“限制”，虽然这个限制并不一定就是对空间中元素多少的限制（然而在豪斯多夫公理成立的时候这两者是一样的）。特别地，可分空间中的每个连续函数，只要其图像是某个豪斯多夫空间的子集的话，就会被其在某个可数的稠密子集上的取值所确定。 一般来说，对于经典分析学和几何学中的空间来说，可分性是一个很有用的技术性假设，也被认为是比较弱的假设。.
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
实直线
實直線有如下含義，它們有互相可作補充的部分：.
不交集
在數學裡，兩個集合被稱為不交（disjoint），若其沒有共同的元素。例如，和為不交集（disjoint sets）。.
交集
数学上，两个集合A和B的交集是含有所有既属于A又属于B的元素，而没有其他元素的集合。.
度量空间
在数学中，度量空间是个具有距離函數的集合，該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外，亦存在其他的度量空間，如橢圓幾何與雙曲幾何，而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型，作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质，这导致了对更抽象的拓扑空间之研究。.
开集
開集是指不包含任何自己邊界點的集合。或者說，開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如，实数线上的由不等式2规定的集合称为开区间，是开集。这时候的边界为实数轴上的点2和5，如由不等式2\leq x \leq 5，或者2规定的区间由于包含其边界，因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的，通常先公理化开集，然后通过其定义边界的概念。（详细请参照拓扑空间）.
分离公理
在拓扑学及相关的数学领域裡，通常对于所讨论的拓扑空间加有各种各样的限制条件，分离公理即是指之中的某些限制條件。这些分离公理有时候被叫做吉洪诺夫分离公理，得名于安德烈·尼古拉耶维奇·吉洪諾夫。部分分離公理以字母T開頭，是由德文单词“Trennung”而來，意義是分离。 分離公理之所以稱為公理，是因為以前定義拓撲空間時，有些人會將其也做為公理來定義，而得出較現在意思狹義的拓撲空間。但在拓撲空間的公理化完成後，那些都成了「各種」的拓撲空間。然而，「分離公理」這一詞就這樣固定了下來。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
球 (数学)
在數學裡，球是指球面內部的空間。球可以是封閉的（包含球面的邊界點，稱為閉球），也可以是開放的（不包含邊界點，稱為開球）。 球的概念不只存在於三維歐氏空間裡，亦存在於較低或較高維度，以及一般度量空間裡。n\,\!維空間裡的球稱為n\,\!維球，且包含於n-1\,\!維球面內。因此，在歐氏平面裡，球為一圓盤，包含在圓內。在三維空間裡，球則是指在二維球面邊界內的空間。.
新！!: 分离集合和球 (数学) · 查看更多 »
空集
集是不含任何元素的集合，數學符號為\empty、\varnothing或\。.
补集
在集合论和数学的其他分支中，存在--的两种定义：--和--。.
豪斯多夫空间
在拓扑学和相关的数学分支中，豪斯多夫空间、分离空间或T2空间是其中的点都“由邻域分离”的拓扑空间。在众多可施加在拓扑空间上的分离公理中，“豪斯多夫条件”是最常使用和讨论的。它蕴涵了序列、网和滤子的极限的唯一性。直观地讲，这个条件可用个双关语来形容：如果某空间中任两点可用开集合将彼此“豪斯多夫”开来，该空间就是“豪斯多夫”的。 豪斯多夫得名于拓扑学的创立者之一费利克斯·豪斯多夫。豪斯多夫最初的拓扑空间定义把豪斯多夫条件包括为公理。.
新！!: 分离集合和豪斯多夫空间 · 查看更多 »
连通空间
拓扑空间X称为是连通的。当且仅当以下叙述之一成立：.
闭包
闭包可以指：.
闭集
在拓扑空间中，闭集是指其补集为开集的集合。在一个拓扑空间内，闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中，一个闭集的极限运算是闭合的。.
邻域
在集合论中，邻域指以点 a 为中心的任何开区间，记作：U(a)。 在拓扑学和相关的数学领域中，邻域是拓扑空间中的基本概念。直觉上说，一个点的邻域是包含这个点的集合，並且該性質是外延的：你可以稍微“抖动”一下这个点而不离开这个集合。 这个概念密切关联于开集和内部的概念。.
連續函數 (拓撲學)
在拓撲學和數學的相關領域裡，連續函數是指在拓撲空間之間的一種態射。直觀上來說，其為一個函數f，其中每一群在f(x)附近的點都會含有在x附近的一群點之值。對一個一般的拓撲空間來說，這是指f(x)的鄰域總會包含著x之鄰域的值。 在一個度量空間(如實數)裡，這是指在f(x)一定距離內的點總會包含著在x某些距離內的所有點。.
新！!: 分离集合和連續函數 (拓撲學) · 查看更多 »
正规空间
在拓扑学和相关的数学分支中，正规空间（Normal space）、T4 空间、T5 空间和 T6 空间是特别优秀的一类拓扑空间。这些条件是分离公理的个例。.
正數
正数，在数学上是指大于0的实数，如1、3.7,1.5等，与负数相对。和实数一样，正數也是一個不可數的無限集合。這個集合在数学上通常用粗體R+或ℝ+来表示。正数与0统称非负数。.
朴素集合论
在纯数学中，朴素集合论是是探討数学基础時，用到的幾個集合論中的一個，朴素集合论主要是將用一般語言的形式處理集合問題，依赖於把集合作为叫做这个集合的“元素”或 “成员”的搜集（collection），未有形式化的理解。和用公理定義而產生的公理化集合论不同。 而公理化集合论只使用明确定义的公理列表，還有從中证明的关于集合和成员关系的種種事实，公理起源自对对象的搜集和它们的成员的理解，但为了各种目的而被謹慎地构建，例如是避免已知的各種悖论，例如理发师悖论－一個理髮師他只為（而且一定要為）城裡所有不為自己刮鬍子的人刮鬍子，那理髮師該為自己刮鬍子嗎？ 集合在数学中是极其重要的；事實上，採用现代的形式化定義，多種数学对象（数、关系、函数等等）都可以用集合来構建。.
新！!: 分离集合和朴素集合论 · 查看更多 »
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
拓扑学
在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.
拓扑不可区分性
在拓扑学中，拓扑空间X內的两点若有完全相同的鄰域，便稱這兩個點為「拓扑不可区分的」。亦即，設x及y為X內的兩點，A為由所有包含x的鄰域所組成的集合，且B為由所有包含y的鄰域所組成的集合，則x及y為「拓撲不可區分的」若且唯若A.
新！!: 分离集合和拓扑不可区分性 · 查看更多 »
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
