45 关系: 单纯复形,单纯形法,同调,向量,多胞形,定向,定向 (数学),三維球面,三角形,一般位置,平面,平行六面体,二項式係數,代数拓扑,仿射变换,开集,体积,德古阿定理,几何学,凸包,函数,勾股定理,四維超正方體,线段,组合数学,点,狄利克雷分布,Delaunay三角化,顶点,顺序统计量,行列式,边界,蒙地卡羅方法,重心坐标,Metropolis-Hastings算法,N维球面,杨辉三角形,欧几里得空间,正多胞形,正五胞体,指数分布,流形,施莱夫利符号,拓扑,拓扑空间。
单纯复形
单纯复形是拓扑学中的概念,指由点、线段、三角形等单纯形“粘合”而得的拓扑对象。单纯复形不应当与范畴同伦论中的单纯集合混淆。.
单纯形法
由George Dantzig发明的单纯形法(simplex algorithm)在数学优化领域中常用于线性规划问题的数值求解。 Nelder-Mead 法或称下山单纯形法,与单纯形法名称相似,但二者关联不大。该方法由Nelder和Mead于1965年发明,是用于优化多维无约束问题的一种数值方法,属于更普遍的搜索算法的类别。这两种方法都使用了单纯形的概念。单纯形是 N 维中的 N+1 个顶点的凸包,是一个多胞体:直线上的一个线段,平面上的一个三角形,三维空间中的一个四面体等等,都是单纯形。.
同调
数学上(特别是代数拓扑和抽象代数),同调 (homology,在希腊语中homos.
向量
向量(vector,物理、工程等也称作--)是数学、物理学和工程科学等多个自然科學中的基本概念,指一个同时具有大小和方向,且满足平行四边形法则的几何對象。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是向量(特别地,电流属既有大小、又有正负方向的量,但由于其运算不满足平行四边形法则,公认为其不属于向量)。向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量或数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。.
多胞形
多胞形是一类由平的边界构成的几何对象。多胞形可以存在於任意维中。多边形为二维多胞形,多面体为三维多胞形,也可以延伸到三維以上的空間,如多胞體即為四维多胞形。 當提到n度空間下的多胞形時,常會用n-多胞形的名稱來表示,因此多边形可稱為2-多胞形,多面体可稱為3-多胞形,多胞體即為4-多胞形。 此詞語是由數學家Hoppe創造,其原文為德文,後來才由翻譯為英文。.
定向
定向,在不同语境中有不同含义,可能指.
定向 (数学)
#重定向 定向 (向量空間).
新!!: 单纯形和定向 (数学) · 查看更多 »
三維球面
數學中,三維球面(英文常寫作3-sphere)是球面在高維空間中的類比客體。它由四維歐幾里得空間中與一固定中心點等距離的所有點所組成。尋常的球面(或者說二維球面)是一個二維表面,而三維球面是一個具有三個維度的幾何客體,這樣的幾何客體都可以歸類為三維流形(3-manifold)。 三維球面也稱作超球面(hypersphere),雖然這個辭彙可以更廣義地代表任何n維球面,而n ≥ 3。.
三角形
三角形,又稱三邊形,是由三条线段顺次首尾相连,或不共線的三點兩兩連接,所组成的一个闭合的平面图形,是最基本和最少邊的多边形。 一般用大写英语字母A、B和C为三角形的顶点标号;用小写英语字母a、b和c表示边;用\alpha、\beta和\gamma給角標號,又或者以\angle ABC這樣的顶点标号表示。.
一般位置
在幾何學上,一些點的集的一般位置(General position)的意義是相對於某些特例的。它在不同討論背景下有不同意義。 「一般位置」這句話最常用的意義就是點的集在d維的歐幾里德空間中在一般位置,即是沒有d+1點在同一個d-1維的面。例如在平面上,說點的集在一般位置,就即是沒有三點共線。 在討論平面上沃罗诺伊图或德勞內三角化的時候,可能會採用一個更嚴格的定義:點的集在一般位置,若且唯若沒有三點共線且沒有四點共圓。 Category:几何学.
平面
数学上,一个平面(plane)就是基本的二维对象。直观的讲,它可以视为一个平坦的拥有无穷大面积的纸。多数几何、三角学和制图的基本工作都在二维进行,或者说,在平面上进行。 给定一个平面,可以引入一个直角坐标系以便在平面上用两个数字唯一的标示一个点,这两个数字也就是它的坐标。 在三维x-y-z坐标系中,可以将平面定义为一个方程的集: 其中a, b, c和d是实数,使得a, b, c不全为0。或者,一个平面也可以参数化的表述,作为所有具有u + s v + t w形式的点的集合,其中s和t取遍所有实数,而u, v 和w是给定用于定义平面的向量。 平面由如下组合的任何一个唯一确定.
平行六面体
在几何学中,平行六面体是由六个平行四边形所组成的三维立体。它与平行四边形的关系,正如正方体与正方形之间的关系;在欧几里得几何中这四个概念都允许,但在仿射几何中只允许平行四边形和平行六面体。平行六面体的三个等价的定义为:.
二項式係數
二項式係數在數學上是二項式定理中的係數族。其必然為正整數,且能以兩個非負整數為參數確定,此兩參數通常以n和k代表,並將二項式係數寫作\tbinom nk ,亦即是二項式冪(1 + x) n的多項式展式中,x k項的係數。如將二項式係數的n值順序排列成行,每行為k值由0至n列出,則構成帕斯卡三角形。 此數族亦常見於其他代數學領域中,尤其是組合數學。任何有n個元素的集合,由其衍生出擁有k個元素的子集,即由其中任意k個元素的組合,共有\tbinom nk個。故此\tbinom nk亦常讀作「n選取k」。二項式係數的特性使表達式\tbinom nk的定義不再局限於n和k均為非負整數及,然此等表達式仍被稱為二項式係數。 雖然此數族早已被發現(見帕斯卡三角形),但表達式\tbinom nk則是由安德烈亚斯·冯·厄廷格豪森於1826年始用。最早探討二項式係數的論述是十世紀的Halayudha寫的印度教典籍《Pingala的計量聖典》(chandaḥśāstra),及至約1150年,印度數學家Bhaskaracharya於其著作《Lilavati》Lilavati 第6節,第4章(見)。 中給出一個簡單的描述。 二項式係數亦有不同的符號表達方式,包括:C(n, k)、nCk、nCk、C^_,其中的C代表組合(combinations)或選擇(choices)。.
代数拓扑
代数拓扑(Algebraic topology)是使用抽象代数的工具来研究拓扑空间的数学分支。.
仿射变换
仿射变换,又称仿射映射,是指在几何中,一个向量空间进行一次线性变换并接上一个平移,变换为另一个向量空间。 一個對向量 \vec 平移 \vec ,與旋轉放大縮小 A的仿射映射為 \vec.
开集
開集是指不包含任何自己邊界點的集合。或者說,開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如,实数线上的由不等式2规定的集合称为开区间,是开集。这时候的边界为实数轴上的点2和5,如由不等式2\leq x \leq 5,或者2规定的区间由于包含其边界,因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的,通常先公理化开集,然后通过其定义边界的概念。(详细请参照拓扑空间).
体积
積(Volume)是物件佔有多少空間的量。體積的國際單位制是立方米。一件固體物件的體積是一個數值用以形容該物件在空間所佔有的空間。一維空間物件(如線)及二維空間物件(如正方形)在三維空間中均是零體積的。體積是物件佔空間的大小。.
德古阿定理
德古阿定理是勾股定理的三维形式,以法国数学家让·保罗·德古阿·德马尔弗(Jean Paul de Gua de Malves)命名。 若從一個正六面體截下一角O形成一截角錐(記为ABCO),則.
几何学
笛沙格定理的描述,笛沙格定理是欧几里得几何及射影几何的重要結果 幾何學(英语:Geometry,γεωμετρία)簡稱幾何。几何学是數學的一个基础分支,主要研究形狀、大小、圖形的相對位置等空間区域關係以及空间形式的度量。 許多文化中都有幾何學的發展,包括許多有關長度、面積及體積的知識,在西元前六世紀泰勒斯的時代,西方世界開始將幾何學視為數學的一部份。西元前三世紀,幾何學中加入歐幾里德的公理,產生的欧几里得几何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法,許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置,以及其相對運動的關係,都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中,是中古世紀西方大學教授的內容之一。 勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段,像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透视投影的理論讓人們知道,幾何學不只是物體的度量屬性而已,透视投影後來衍生出射影几何。歐拉及高斯開始有關幾何物件本體性質的研究,使幾何的主題繼續擴充,最後產生了拓扑学及微分幾何。 在歐幾里德的時代,實際空間和幾何空間之間沒有明顯的區別,但自從十九世紀發現非歐幾何後,空間的概念有了大幅的調整,也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後,空間(包括點、線、面)已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間(點、線、面仍沒有其直觀的概念在內)以及抽象空間。當代的幾何學考慮流形,空間的概念比歐幾里德中的更加抽象,兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構,因此可以考慮其長度。近代的幾何學和物理關係密切,就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。 几何学可見的特性讓它比代數、數論等數學領域更容易讓人接觸,不過一些几何語言已經和原來傳統的、欧几里得几何下的定義越差越遠,例如碎形幾何及解析幾何等。 現代概念上的幾何其抽象程度和一般化程度大幅提高,並與分析、抽象代數和拓撲學緊密結合。 幾何學應用於許多領域,包括藝術,建築,物理和其他數學領域。.
凸包
S是最小的凸集使得一個點集X屬於S,則S稱為X的凸包。 1.
函数
函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).
勾股定理
氏定理(Pythagorean theorem)(希腊语:Πυθαγόρειο θεώρημα)又称商高定理、畢達哥拉斯定理、--、百牛定理,是平面几何中一个基本而重要的定理。勾股定理说明,平面上的直角三角形的两条直角边的长度(古称勾长、股长)的平方和等于斜边长(古称弦长)的平方。反之,若平面上三角形中两边长的平方和等于第三边边长的平方,则它是直角三角形(直角所对的边是第三边)。 勾股定理是人类早期发现并证明的重要数学定理之一。 据《周髀算經》中记述,公元前一千多年周公与商高论数的对话中,商高就以三四五3个特定数为例详细解释了勾股定理要素,其一,“以为句广三,股修四,径隅五”。其二,“既方其外,半之一矩,环而共盘,得成三四五。两矩共长二十有五,是谓积矩。”首先肯定一个底宽为三,高为四的直角三角形,弦长必定是五。最重要的是紧接着论证了弦长平方必定是两直角边的平方和,确立了直角三角形两条直角边的平方和等于斜边平方的判定原则。其判定方法后世不明其法而被忽略。 此外,《周髀算经》中明确记载了周公后人陈子叙述的勾股定理公式:“若求邪至日者,以日下为勾,日高为股,勾股各自乘,并而开方除之,得邪至日”。 赵爽在《周髀算經注》中将勾股定理表述为“勾股各自乘,并之,为弦实。开方除之,即弦”。 古埃及在公元前2600年的纸莎草就有(3,4,5)这一组勾股数,而古巴比伦泥板涉及的最大的一个勾股数组是(12709,13500,18541)。 有些參考資料提到法国和比利時將勾股定理称为驴桥定理,但驴桥定理就是等邊對等角,是指等腰三角形的二底角相等,非勾股定理。.
四維超正方體
四維超正方体(tesseract)或正八胞體,是一種四維的超正方體(hypercube)。在几何学中,四維超正方体是立方體的四維類比,有8個立方體胞。四維超正方体之於立方體,就如立方體之於正方形。它是四維歐式空間中6個四維凸正多胞體之一。 超正方体是一个有无穷多个成员的凸正多胞形家族的四维成员,这个家族被称为“超方形”(或称立方形、正测形),这个家族的成员与施莱夫利符号,它们都具有类似正方形和立方体的性质,如二胞角都为90°等。 “超正方體”“超立方體”(Hypercube)這個名稱在一般的場合中特指四維的這個超正方體,不過在數學上,“超正方體”這個詞可以指n維(n>3)的任意一個超方形,因此把它和n維的其他超方形放在一起討論時,要加“四維”以示區別。.
新!!: 单纯形和四維超正方體 · 查看更多 »
线段
在數學上,線段是直線上两点间的一段,这两个点称为端点。參見區間。 當終點均在圓周上,該線段稱為弦。當它們都是多邊形的頂點,若它們是毗鄰的頂點該線段為邊,否則就是對角線。 在生活應用上,主要有三種——連結、隔開、刪.
组合数学
广义的组合数学(Combinatorics)就是离散数学,狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之,组合数学是一门研究可數或离散对象的科学。随着计算机科学的日益发展,组合数学的重要性也日渐凸显,因为计算机科学的核心内容是使用算法处理离散数据。 狭义的组合数学主要研究满足一定条件的组态(也称组合模型)的存在、计数以及构造等方面的问题。 组合数学的主要内容有组合计数、组合设计、组合矩阵、组合优化(最佳組合)等。.
点
在几何学、拓扑学以及数学的相关分支中,一个空间中的点用于描述给定空间中一种特别的对象,在空间中有类似于体积、面积、长度或其他高维类似物。一个点是一个零维度对象。点作为最简单的几何概念,通常作为几何、物理、矢量图形和其他领域中的最基本的组成部分。.
狄利克雷分布
利克雷分布是一组连续多变量概率分布,是多变量普遍化的Β分布。为了纪念德国数学家約翰·彼得·古斯塔夫·勒熱納·狄利克雷(Peter Gustav Lejeune Dirichlet)而命名。狄利克雷分布常作为贝叶斯统计的先验概率。当狄利克雷分布维度趋向无限时,便成为狄利克雷过程(Dirichlet process)。 狄利克雷分布奠定了狄利克雷过程的基础,被广泛应用于自然语言处理特别是主题模型(topic model)的研究。.
新!!: 单纯形和狄利克雷分布 · 查看更多 »
Delaunay三角化
#重定向 德勞內三角化.
新!!: 单纯形和Delaunay三角化 · 查看更多 »
顶点
顶点是数学和计算机科学等领域的术语,在不同的环境中有不同的意义。 在平面几何学中,顶点是指多边形两条边相交的地方,或指角的两条边的公共端点。 在立体几何学中,顶点是指在多面体中三个了了或更多的面连接的地方。 在图论中,顶点(vertex,node)可以理解为一个事物(object),而一张图则是由顶点的集合和顶点之间的连接构成的。 在计算机绘图中,顶点是空间中的一个点,一般由它的坐标表示。两个点可以确定一条直线,三个点可以确定一个平面。 在粒子物理学中,頂點是指粒子發生相互作用的點,例如LHC中兩粒子對撞產生反應的那個點就是頂點。.
顺序统计量
在统计学中,样本的第k顺序统计量(Order Statistics)即它从小到大排列时的第k个值,常用于非参数估计与推断中。常见的顺序统计量包括样本的最大值、最小值、中位数等。.
行列式
行列式(Determinant)是数学中的一個函數,将一个n \times n的矩陣A映射到一個純量,记作\det(A)或|A|。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说,在n 维欧几里得空间中,行列式描述的是一个线性变换对“体积”所造成的影响。无论是在线性代数、多项式理论,还是在微积分学中(比如说换元积分法中),行列式作为基本的数学工具,都有着重要的应用。 行列式概念最早出现在解线性方程组的过程中。十七世纪晚期,关孝和与莱布尼茨的著作中已经使用行列式来确定线性方程组解的个数以及形式。十八世纪开始,行列式开始作为独立的数学概念被研究。十九世纪以后,行列式理论进一步得到发展和完善。矩阵概念的引入使得更多有关行列式的性质被发现,行列式在许多领域都逐渐显现出重要的意义和作用,出现线性自同态和向量组的行列式的定义。 行列式的特性可以被概括为一个交替多线性形式,这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数。.
边界
邊界,亦稱疆界,指用於劃分不同政權所轄區域、領地的地理分界線,進而可標示該區域的範圍。边界与国界不是同义词,例如,深圳与香港之间的界线可称为边界,依法实施边界管理、边防检查、边防禁区等行政措施,但不是国界。.
蒙地卡羅方法
蒙特卡罗方法(Monte Carlo method),也称统计模拟方法,是1940年代中期由于科学技术的发展和电子计算机的发明,而提出的一种以概率统计理论为指导的数值计算方法。是指使用随机数(或更常见的伪随机数)来解决很多计算问题的方法。 20世纪40年代,在冯·诺伊曼,斯塔尼斯拉夫·烏拉姆和尼古拉斯·梅特罗波利斯在洛斯阿拉莫斯国家实验室为核武器计划工作时,发明了蒙特卡罗方法。因为烏拉姆的叔叔经常在摩納哥的蒙特卡洛赌场输钱得名,而蒙特卡罗方法正是以概率为基础的方法。 与它对应的是确定性算法。 蒙特卡罗方法在金融工程学、宏观经济学、生物医学、计算物理学(如粒子输运计算、量子热力学计算、空气动力学计算)机器学习等领域应用广泛。.
新!!: 单纯形和蒙地卡羅方法 · 查看更多 »
重心坐标
数学中,重心坐标是由单形(如三角形或四面体等)顶点定义的坐标。重心坐标是齐次坐标的一种。 设v1,..., vn是向量空间V中一个单形的顶点,如果V中某点p满足, 那么我们称系数(λ1,..., λn)是 p关于v1,..., vn的重心坐标。这些顶点自己的坐标分别是(1, 0, 0,..., 0),(0, 1, 0,..., 0),...,(0, 0, 0,..., 1)。重心坐标不是惟一的:对任何不等于零的k,(k λ1,..., k λn)也是p的重心坐标。但总可以取坐标满足 λ1 +...+ λn.
Metropolis-Hastings算法
#重定向 梅特罗波利斯-黑斯廷斯算法.
新!!: 单纯形和Metropolis-Hastings算法 · 查看更多 »
N维球面
n维球面是普通的球面在任意维度的推广。它是(n + 1)维空间内的n维流形。特别地,0维球面就是直线上的两个点,1维球面是平面上的圆,2维球面是三维空间内的普通球面。高于2维的球面有时称为超球面。中心位于原点且半径为单位长度的n维球面称为单位n维球面,记为Sn。用符号来表示,就是: n维球面是(n + 1)维球体的表面或边界,是n维流形的一种。对于n ≥ 2,n维球面是单连通的n维流形,其曲率为正的常数。.
杨辉三角形
杨辉三角形,又称賈憲三角形、帕斯卡三角形、海亚姆三角形、巴斯卡三角形,是二项式係數在的一种写法,形似三角形,在中国首现于南宋杨辉的《详解九章算术》得名,书中杨辉说明是引自贾宪的《释锁算术》,故又名贾宪三角形。前 9 行写出来如下: 1 1 1 1 2 1 1 3 3 1 1 4 6 4 1 1 5 10 10 5 1 1 6 15 20 15 6 1 1 7 21 35 35 21 7 1 1 8 28 56 70 56 28 8 1 杨辉三角形第 n 层(顶层称第 0 层,第 1 行,第 n 层即第 n+1 行,此处 n 为包含 0 在内的自然数)正好对应于二项式 \left(a+b\right)^ 展开的系数。例如第二层 1 2 1 是幂指数为 2 的二项式 \left(a+b\right)^ 展开形式 a^+2ab+b^ 的系数。.
欧几里得空间
欧几里得几何是在约公元前300年,由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”,他接着分析三维物体的“立体几何”,所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度,而这种空间叫做 n维欧几里得空间(甚至简称 n 维空间)或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形,称为实内积空间(不一定完备), 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间,空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象,它却捕获了我们熟悉的欧几里得空间的根本本质,根本性质是它的平面性。 另存在其他種類的空间,例如球面非欧几里得空间,相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.
新!!: 单纯形和欧几里得空间 · 查看更多 »
正多胞形
#重定向 正圖形.
正五胞体
正五胞体是一种四维凸正多胞体,其展开为五个正四面体。正五胞体的投影的形状可以想象成一个双正三棱锥的两顶点再加一条连线,或者是一个正四面体的四顶点连线至中心,在这里,正五胞体作为正的正四面体面锥出现的。正五胞体有四个交面(等边三角形),十条棱和五个顶点。正五胞体是最简单的四维正多胞体(如同三角形是最简单的多边形)。 正五胞体是四维的正单纯形,这是一系列具有相同性质的多胞形的总称,这一家族的特性在正五胞体上也体现出来了。五胞体是四维最简单的多胞体,任何顶点数、棱数、面数、胞数比它小的多胞体都只能成为退化多胞体(即它们并不真正具有真实的、非零的超体积)。正五胞体的顶点排布是让五个点在四维空间中两两间距离都相等的唯一方案。正五胞体同其它面为正三角形的多胞形一样,具有稳定性,即如果正五胞体10条棱长都确定了,则正五胞体就被唯一确定了。.
指数分布
没有描述。
流形
流形(Manifolds),是局部具有欧几里得空间性质的空间,是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。 流形在数学中用于描述几何形体,它们为研究形体的可微性提供了一个自然的平台。物理上,经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。 一般可以把几何形体的拓扑结构看作是完全“柔软”的,因为所有变形(同胚)会保持拓扑结构不变;而把解析几何结构看作是“硬”的,因为整体的结构都是固定的。例如一个多项式,如果你知道 (0,1) 区间的取值,则整个实数范围的值都是固定的,所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型:其无穷小的结构是“硬”的,而整体结构则是“柔软”的。这也许是中文译名“流形”的原因(整体的形态可以流动)。该译名由著名数学家和数学教育学家江泽涵引入。这样,流形的硬度使它能够容纳微分结构,而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。.
施莱夫利符号
數學中,施萊夫利符號(Schläfli symbol)是一個可以表示一特定正多胞形或密鋪圖案若干重要特性的符號。其命名是為了紀念19世紀數學家路德維希·施萊夫利在幾何和其他領域的許多重要貢獻。 另見正多胞形列表。.
新!!: 单纯形和施莱夫利符号 · 查看更多 »
拓扑
拓扑有以下領域的意義與應用:.
拓扑空间
拓扑空间是一种数学结构,可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用,是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值,研究拓扑空间的数学分支称为拓扑学。.