比浏览器更快的访问！
26 关系: 多項式，实数，完备空间，完备性，一致空间，一致连续，度量空间，当且仅当，商群，共尾，網 (數學)，绝对值，群，無理數，距离，范数，邻域系，极限 (序列)，正规子群，滤子 (数学)，有理数，有界集合，有限群，数列，整数，拓撲向量空間。
多項式
多项式（Polynomial）是代数学中的基础概念，是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式；例如x^2-3x+4就是一个一元多项式。未知数不止一个的多项式称为多元多项式，例如就是一個三元多项式。 可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。 多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。.
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
完备空间
完备空间或者完备度量空间是具有下述性质的空间：空间中的任何柯西序列都收敛在该空间之内。.
完备性
在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个概念。但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考代数闭域、紧化或哥德尔不完备定理。.
一致空间
在拓扑学這個數學領域裡，一致空间（uniform space）是指带有一致结构的集合。一致空间是一個拓撲空間，有可以用来定义如完备性、一致连续及一致收敛等一致性質的附加结构。 一致结构和拓扑结构之间的概念区别在於，一致空间可以形式化有关于相对邻近性及点间临近性等特定概念。换句话说，「x 邻近于a 胜过y 邻近于b」之類的概念，在一致空间中是有意义的。而相对的，在一般拓扑空间内，给定集合A 和B，有意义的概念只有：点x 能“任意邻近”A（亦即在A 的闭包內）；或是和B相比，A 是x 的“較小邻域”，但点间邻近性和相对邻近性就不能只用拓扑结构來描述了。 一致空间广義化了度量空间和拓扑群，因此成為多数数学分析的根基。.
一致连续
一致连续性描述定义在一定度量空间上的函数的性质。与连续性刻画函数在局部的性质不同，一致连续刻画的是函数的整体性质。一致连续是比连续更苛刻的条件。一个函数在某度量空间上一致连续，则其在此度量空间上必然连续，但反之未必成立。直观上，一致连续可以理解为，当自变量x在足够小的范围内变动时，函数值y的变动也会被限制在足够小的范围内。.
度量空间
在数学中，度量空间是个具有距離函數的集合，該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外，亦存在其他的度量空間，如橢圓幾何與雙曲幾何，而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型，作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质，这导致了对更抽象的拓扑空间之研究。.
当且仅当
当且仅当（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也一定不成立”。.
商群
在數學中，給定一個群G和G的正規子群N，G在N上的商群或因子群，在直覺上是把正規子群N“萎縮”為單位元的群。商群寫為G/N并念作G mod N（mod是模的簡寫）。如果N不是正規子群，商仍可得到，但結果將不是群，而是齊次空間。.
共尾
在數學裡，共尾子集是一個预序集合 A 的子集 B，使得任一在 A 內的元素 a，總有一在 B 內的元素 b 會有 a ≤ b。B 因此被稱為共尾於 A。相對地，共首子集則是一预序集合 A 的子集 B，使得任一在 A 內的元素 a，總有一在 B 內的元素 b 會有 a ≥ b。通常这个预序集合要么是偏序集合要么是有向集合。 一個共尾函數則指一函數 f: X → A，其中 A 為预序陪域，其值域 f(X) 共尾於此一陪域。一個共尾序列是指一由 A 的元素組成的序列，其元素共尾於 A。一個共尾網指一由 A 的元素組成的網，其元素共尾於 A。 關於共尾子集的勢，請見共尾性。.
網 (數學)
在拓撲學和數學的相關領域裡，網是序列的廣義化，用來統一極限不同的概念和將其廣義至任意的拓撲空間。網的極限對一般拓撲空間扮演的角色，就好比序列的極限之於第一可數空間（例如度量空間）。 一個序列通常以為全序集合的自然數做為索引。網廣義化了此一概念，以把索引集合上的次序关系削弱成有向集合。 網於西元1922年首次由E. H.摩爾與H. L. Smith提出。另一相關的概念－濾子則於西元1937年由昂利·嘉當所發展。.
新！!: 柯西序列和網 (數學) · 查看更多 »
绝对值
絕對值用來表示一個數至原點的距離之大小。絕對值的概念也可以定義在複數、有序環以及域上。.
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
無理數
無理數是指除有理数以外的实数，當中的「理」字来自于拉丁语的rationalis，意思是「理解」，实际是拉丁文对于logos「说明」的翻译，是指无法用两个整数的比来说明一个无理数。 非有理數之實數，不能寫作兩整數之比。若將它寫成小數形式，小數點之後的數字有無限多個，並且不會循環，即无限不循环小数。常見的無理數有大部分的平方根、π和e（其中後兩者同時為超越數）等。無理數的另一特徵是無限的連分數表達式。 傳說中，无理数最早由畢達哥拉斯學派弟子希伯斯发现。他以幾何方法證明\sqrt無法用整数及分數表示。而畢達哥拉斯深信任意数均可用整数及分数表示，不相信無理數的存在。後來希伯斯触犯学派章程，将无理数透露给外人，因而被扔进海中处死，其罪名竟然等同于“渎神”。另見第一次數學危機。 無理數可以通過有理數的分划的概念進行定義。.
距离
距離是對兩個物體或位置間相距多遠的數值描述，是個不具方向性的純量，且不為負值。 在物理或日常使用中，距離可以是個物理長度，或某個估算值，指人、動物、交通工具或光線之類的媒介由起點至終點所經過的路徑長。 在數學裡，距離是個稱之為度量的函數，為物理距離這個概念之推廣。度量是個函數，依據一組特定的規則作用，且有具體的方法可用來描述一些空間內的元素互相「接近」或「遠離」。除了歐氏空間內常見的距離定義外，在圖論與統計學等數學領域裡，亦存在其他的「距離」概念。在大多數的情形下，「從 A 至 B 的距離」與「從 B 至 A 的距離」的意義是相同的。.
范数
數（norm），是具有“长度”概念的函數。在線性代數、泛函分析及相關的數學領域，是一個函數，其為向量空間內的所有向量賦予非零的正長度或大小。半範數反而可以為非零的向量賦予零長度。 舉一個簡單的例子，一個二維度的歐氏幾何空間\R^2就有歐氏範數。在這個向量空間的元素（譬如：(3,7)）常常在笛卡兒座標系統被畫成一個從原點出發的箭號。每一個向量的歐氏範數就是箭號的長度。 擁有範數的向量空間就是賦範向量空間。同樣，擁有半範數的向量空間就是賦半範向量空間。.
邻域系
X的映射\mathfrak:X \to P(P(X))（P(P(X))指X的幂集的幂集）。这样\mathfrak将X的每个点x映射至X的子集族\mathfrak(x)。\mathfrak(x)称为x的邻域系（或称邻域系统，\mathfrak(x)的元素称为x的邻域），当且仅当对任意的x \in X，\mathfrak(x)满足如下邻域公理：.
极限 (序列)
#重定向 極限 (數列).
新！!: 柯西序列和极限 (序列) · 查看更多 »
正规子群
在抽象代数中，正规子群或不变子群指一类特殊的子群。由正规子群，可以引导出商群的概念。 埃瓦里斯特·伽罗瓦是最早认识到正规子群的重要性的人。.
滤子 (数学)
在数学中，滤子(英語：filter)是偏序集合的特殊子集。经常使用的特殊情况是：要考虑的有序集合只是某个集合的幂集，并用集合包含来排序。滤子出现在序理论和格理论中，还可以在它们所起源的拓扑学中找到。滤子的对偶概念是理想。 滤子是昂利·嘉当在1937年发明的并随后在尼古拉·布尔巴基的书《Topologie Générale》中作为对E. H. Moore和H. L. Smith在1922年发明的网的概念的替代。.
新！!: 柯西序列和滤子 (数学) · 查看更多 »
有理数
数学上，可以表达为两个整数比的数(a/b, b≠0)被定义为有理数，例如3/8，0.75(可被表达为3/4)。整数和分数统称为有理数。与有理数对应的是无理数，如\sqrt无法用整数比表示。 有理数与分數的区别，分數是一种表示比值的记法，如 分數\sqrt/2 是无理数。 所有有理数的集合表示为Q，Q+,或\mathbb。定义如下： 有理数的小数部分有限或为循环。不是有理數的實數遂稱為無理數。.
有界集合
在数学分析和有关的数学领域中，一个集合被称为有界的，如果它在某種意义上有有限大小。反过来说，不是有界的集合就叫做无界。.
有限群
在數學裡，有限群是有著有限多個元素的群。有限群理論中的某些部份在20世紀有著很深的研究，尤其是在局部分析和可解群與冪零群的理論中。期望有個完整的理論是太過火了：其複雜性會隨著群變得越大時而變得壓倒性地巨大。 較少壓倒性地，但仍然很有趣的是在有限域上的一些較小一般線性群。群論學家曾寫過：「有限群的典型例子為GL(n,q)－在q個元素的域上的n維一般線性群。學生在學此領域時，若以其他的例子來做介紹，則可能會被完全地誤導。（Bulletin (New Series) of the American Mathematical Society, 10 (1984) 121）此類型最小的群GL(2,3)的討論，見。 有限群和對稱有直接地關接，當其被限制在有限個轉變時。 其證明為，連續對稱，如李群中的，也會導致有限群，如外爾群。在此一方面，有限群和其性質將能夠用在如理論物理問題的重要地方，即使其用途在一開始並不顯著。 每一質數階的有限群都是循環群。.
数列
数列（Sequence of number）是一组兩個以上按顺序排列的数（由數組成的序列），记为\\,\!。\.
整数
整数，是序列中所有的数的统称，包括负整数、零（0）与正整数。和自然數一樣，整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb，源于德语单词Zahlen（意为“数”）的首字母。 在代數數論中，這些屬於有理數的一般整數會被稱為有理整數，用以和高斯整數等的概念加以區分。.
拓撲向量空間
拓撲向量空間是泛函分析研究中的一個基本結構。顧名思義就是要研究具有拓撲結構的向量空間。 拓撲向量空間主要都是函數空間，在上面定義的拓撲結構就是函數列收歛的條件。 希爾伯特空間及巴拿赫空間是典型的例子。.
新！!: 柯西序列和拓撲向量空間 · 查看更多 »
