35 关系: 偽度量,區間,可度量化,吉洪诺夫空间,子空間,实直线,实数,不可數集,不交集,乌雷松引理,度量空间,代数几何,代数簇,当且仅当,分离公理,分离集合,函数,全序关系,积空间,第二可數空間,紧空间,覆盖 (拓扑学),豪斯多夫空间,闭集,邻域,逐點收斂,連續函數 (拓撲學),T1空间,数学,数学分析,扎里斯基拓扑,拓撲向量空間,拓扑学,拓扑空间,拓扑流形。
偽度量
對於集X中任意元素x,y,若實值函數d: (X,X) \to R符合以下三個條件,稱它為一個偽度量(pseudometric)。.
區間
在數學上,區間是某個範圍的數的搜集,一般以集合形式表示。.
可度量化
可度量化(metrizable)是一种拓扑空间的性质。.
吉洪诺夫空间
在拓扑学和相关的数学领域中,吉洪诺夫空间或完全正则空间是特定优良种类的拓扑空间。这些条件是分离公理的个例。 吉洪诺夫空间得名于,他的俄语名(Тихонов)也翻译为 “Tychonov”、“Tikhonov”、“Tihonov”或“Tichonov”。.
新!!: 正规空间和吉洪诺夫空间 · 查看更多 »
子空間
子空間有多個意義,出現在不同領域。.
实直线
實直線有如下含義,它們有互相可作補充的部分:.
实数
实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.
不可數集
不可數集是無窮集合中的一種。一個無窮集合和自然数之間要是不存在一個双射,那麼它就是一個不可數集。集合的不可数性与它的基数密切相关:如果一个集合的基数大于自然数的基数,那么它就是不可数的。.
不交集
在數學裡,兩個集合被稱為不交(disjoint),若其沒有共同的元素。例如,和為不交集(disjoint sets)。.
乌雷松引理
在拓扑学中,乌雷松引理,有时称为“拓扑学中的第一非平凡事实”,通常用于构造正规空间上不同性质的连续函数。这个定理有广泛的应用,因为所有的度量空间和紧豪斯多夫空间都是正规的。 这个引理是以帕维尔·萨穆伊洛维奇·乌雷松命名的。.
新!!: 正规空间和乌雷松引理 · 查看更多 »
度量空间
在数学中,度量空间是个具有距離函數的集合,該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外,亦存在其他的度量空間,如橢圓幾何與雙曲幾何,而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。.
代数几何
代数几何是数学的一个分支。 经典代数几何研究多项式方程的零点,而现代代数几何将抽象代数,尤其是交换代数,同几何学的语言和问题结合起来。 代数几何的基本研究对象为代数簇。代数簇是由空间坐标的若干代数方程的零点集。常见的例子有平面代数曲线,比如直线、圆、椭圆、抛物线、双曲线、三次曲线(非奇异情形称作椭圆曲线)、四次曲线(如双纽线,以及卵形线)、以及一般n次曲线。代数几何的基本问题涉及对代数簇的分类,比如考虑在双有理等价意义下的分类,即双有理几何,以及模空间问题,等等。 代数几何在现代数学占中心地位,与多复变函数论、微分几何、拓扑学和数论等不同领域均有交叉。始于对代数方程组的研究,代数几何延续解方程未竟之事;与其求出方程实在的解,代数几何尝试理解方程组的解的几何性质。代数几何的概念和技巧都催生了某些最深奥的数学的分支。 进入20世纪,代数几何的研究又衍生出几个分支:.
代数簇
代数簇,亦作代數多樣體,是代数几何学上多项式集合的公共零点解的集合。代数簇是经典(某种程度上也是现代)代数几何的中心研究对象。 術語簇(variety)取自拉丁语族中詞源(cognate of word)的概念,有基於“同源”而“變形”之意。 历史上,代数基本定理建立了代数和几何之间的一个联系,它表明在复数域上的单变量的多项式由它的根的集合决定,而根集合是内在的几何对象。在此基础上,希尔伯特零点定理提供了多项式环的理想和仿射空间子集的基本对应。利用零点定理和相关结果,我们能够用代数术语捕捉簇的几何概念,也能够用几何来承载环论中的问题。.
当且仅当
当且仅当(If and only if)(中国大陆又称作当且--仅当,臺灣又称作若且--唯若),在--邏輯中,逻辑算符反互斥或閘(exclusive or)是对两个运算元的一种邏輯分析类型,符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”;“A是B的充分必要条件(充要條件)”。 一般而言,當我們看到“A当且仅当B”,我們可以知道“如果A成立時,則B一定成立;如果B成立時,則A也一定成立”;“如果A不成立時,則B一定不成立;如果B不成立時,則A也一定不成立”。.
分离公理
在拓扑学及相关的数学领域裡,通常对于所讨论的拓扑空间加有各种各样的限制条件,分离公理即是指之中的某些限制條件。这些分离公理有时候被叫做吉洪诺夫分离公理,得名于安德烈·尼古拉耶维奇·吉洪諾夫。部分分離公理以字母T開頭,是由德文单词“Trennung”而來,意義是分离。 分離公理之所以稱為公理,是因為以前定義拓撲空間時,有些人會將其也做為公理來定義,而得出較現在意思狹義的拓撲空間。但在拓撲空間的公理化完成後,那些都成了「各種」的拓撲空間。然而,「分離公理」這一詞就這樣固定了下來。.
分离集合
在拓扑学和有关的数学分支中,分离集合是给定拓扑空间中以特定方式相互关联的一对子集,粗略的說,既不重疊也不接觸。两个集合是否分离对于连通空间和拓扑空间的分离公理的概念都很重要。 分离集合不应该與分离空间混淆,它们有些关系但並不相同。而可分离空间則是完全不同的拓扑概念。.
函数
函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).
全序关系
全序关系即集合X上的反对称的、传递的和完全的二元关系(一般称其为\leq)。 若X满足全序关系,则下列陈述对于X中的所有a,b和c成立:.
积空间
拓扑学和数学的相关领域中,积空间是指一族拓扑空间的笛卡儿积,并配备了一个称为积拓扑的自然的拓扑结构。.
第二可數空間
二可數空間是指有一個可數基的拓撲空間,我们也将“具备可數基”这一性质当作一条公理(第二可数性公理)放在第二可數空間的定义中(与“有限交,任意并”一同)。.
新!!: 正规空间和第二可數空間 · 查看更多 »
紧空间
在数学中,如果欧几里得空间Rn的子集是闭合的并且是有界的,那么称它是--的。例如,在R中,闭合单位区间是紧致的,但整数集合Z不是(它不是有界的),半开区间.
覆盖 (拓扑学)
在数学中,若 X 是一個集合搜集 C 索引的集合中并集的子集,則集合搜集 C 是集合 X 的覆盖。用符号来说,如果 C.
新!!: 正规空间和覆盖 (拓扑学) · 查看更多 »
豪斯多夫空间
在拓扑学和相关的数学分支中,豪斯多夫空间、分离空间或T2空间是其中的点都“由邻域分离”的拓扑空间。在众多可施加在拓扑空间上的分离公理中,“豪斯多夫条件”是最常使用和讨论的。它蕴涵了序列、网和滤子的极限的唯一性。直观地讲,这个条件可用个双关语来形容:如果某空间中任两点可用开集合将彼此“豪斯多夫”开来,该空间就是“豪斯多夫”的。 豪斯多夫得名于拓扑学的创立者之一费利克斯·豪斯多夫。豪斯多夫最初的拓扑空间定义把豪斯多夫条件包括为公理。.
新!!: 正规空间和豪斯多夫空间 · 查看更多 »
闭集
在拓扑空间中,闭集是指其补集为开集的集合。在一个拓扑空间内,闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中,一个闭集的极限运算是闭合的。.
邻域
在集合论中,邻域指以点 a 为中心的任何开区间,记作:U(a)。 在拓扑学和相关的数学领域中,邻域是拓扑空间中的基本概念。直觉上说,一个点的邻域是包含这个点的集合,並且該性質是外延的:你可以稍微“抖动”一下这个点而不离开这个集合。 这个概念密切关联于开集和内部的概念。.
逐點收斂
在数学中,逐点收敛(或称简单收敛)描述的是一列函数向一个特定函数趋近的现象中的一种。简单来说,就是对定义域里的每一点,这个函数列在这点上的取值都趋于一个极限值。这时,被趋近的这个特定函数称作函数列的逐点极限。在各种收敛中,逐点收敛最为直观,容易想象,但不能很好地保持函数的一些重要性质,比如说连续性等等。.
連續函數 (拓撲學)
在拓撲學和數學的相關領域裡,連續函數是指在拓撲空間之間的一種態射。直觀上來說,其為一個函數f,其中每一群在f(x)附近的點都會含有在x附近的一群點之值。對一個一般的拓撲空間來說,這是指f(x)的鄰域總會包含著x之鄰域的值。 在一個度量空間(如實數)裡,這是指在f(x)一定距離內的點總會包含著在x某些距離內的所有點。.
新!!: 正规空间和連續函數 (拓撲學) · 查看更多 »
T1空间
在拓扑学和相关的数学分支中,T1 空间和 R0 空间是特定种类的拓扑空间。T1 和 R0 性质是分离公理的个例。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.
数学分析
数学分析(mathematical analysis)区别于其他非数学类学生的高等数学内容,是分析学中最古老、最基本的分支,一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容,并包括它们的理论基础(实数、函数、測度和极限的基本理论)的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海(第一卷)》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來,在微积分发展至现代阶段中,从应用中的方法总结升华为一类综合性分析方法,且初等微積分中也包括許多數學分析的基礎概念及技巧,可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關,不過只要任一數學空間有定義鄰域(拓扑空间)或是有針對兩物件距離的定義(度量空间),就可以用数学分析的方式進行分析。.
扎里斯基拓扑
在代数几何和交换代数中,扎里斯基拓扑是定義在代数簇上的拓扑。其由奥斯卡·扎里斯基首先提出,及後用作給出一般交换环的素理想集的拓撲結構,稱為環的谱。 有了扎里斯基拓扑,無論一個代數簇的基域是否一個拓撲域(即一個域,其上可定義一個拓撲,使得加法和乘法都是連續函數),都可應用拓扑学的工具到代数簇的研究上。这是概形论的基本思想,有了它才允许將多個仿射簇黏合,而成一個一般的代數簇,正如流形理论中,流形由多個坐标卡(實仿射空间的開集)黏合而成一樣。 將一個代數簇的代數子集定義為閉集,就得到該代數簇的扎里斯基拓扑。若該代數簇定義在复数上,則扎里斯基拓扑比通常的拓扑结构更粗糙,因为每一个代数集在通常的拓撲中也都是闭集。 扎里斯基拓撲在交換環的素理想集上的推廣可從希尔伯特零点定理得到,因為該定理說,代數閉域上的仿射簇的點,與該仿射簇的坐標環的极大理想一一對應。因此可如下定義一個交換環的極大理想集上的扎里斯基拓撲:若干極大理想的集合是閉集,當且僅當該些極大理想就是包含某一理想的所有極大理想。格罗滕迪克的概形論中還有另一個基本思想,就是不單考慮對應某個極大理想的點,還要考慮任意(不可約的)代數簇,即對應素理想的點。 所以交換環的素理想集(稱為「譜」)上的扎里斯基拓撲滿足:若干素理想的集合為閉集,當且僅當該些素理想就是包含某一理想的所有素理想。.
新!!: 正规空间和扎里斯基拓扑 · 查看更多 »
拓撲向量空間
拓撲向量空間是泛函分析研究中的一個基本結構。顧名思義就是要研究具有拓撲結構的向量空間。 拓撲向量空間主要都是函數空間,在上面定義的拓撲結構就是函數列收歛的條件。 希爾伯特空間及巴拿赫空間是典型的例子。.
新!!: 正规空间和拓撲向量空間 · 查看更多 »
拓扑学
在數學裡,拓撲學(topology),或意譯為位相幾何學,是一門研究拓撲空間的學科,主要研究空間內,在連續變化(如拉伸或彎曲,但不包括撕開或黏合)下維持不變的性質。在拓撲學裡,重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科,研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲,他在17世紀提出「位置的幾何學」(geometria situs)和「位相分析」(analysis situs)的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出,雖然直到20世紀初,拓撲空間的概念才開始發展起來。到了20世紀中葉,拓撲學已成為數學的一大分支。 拓撲學有許多子領域:.
拓扑空间
拓扑空间是一种数学结构,可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用,是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值,研究拓扑空间的数学分支称为拓扑学。.
拓扑流形
拓扑流形的定义为:拓扑空间\mathcal在满足以下条件时,称\mathcal为m维流形,即.
重定向到这里:
T4空間,T5空間,完全正規豪斯多夫空間,完全正规空间,完美正規空間,完美正規豪斯多夫空間,正規豪斯多夫空間。