比浏览器更快的访问！
93 关系: 域論，域扩张，基灵型，埃米·诺特，半單模，可分多项式，吸收集，向量空间，奇异值分解，子域，实变函数论，实函数，安里西·韋伯，对称 (数学)，射影表示，布尔环，三次平面曲线，三次函數，三次方程，一般线性群，九维空间，平凡表示，平衡集，亞阿貝爾群，交換律，二項式係數，代数，代数结构，代數獨立，代數群，代數閉域，代數擴張，弱可测函数，体，德林斐特量子对，刘维尔定理 (微分代数)，分裂域，嵌入 (数学)，函子，八维空间，公理，四次平面曲线，算子，算术，範疇 (數學)，素理想，紧致性定理，线性代数，群，結合代數，...，結式，畢達哥拉斯質數，特徵，特徵標理論，直积，非标准分析，表示论，行列式，規矩數，高斯消去法，貝蒂數，賦值，賦值向量環，超平面，超現實數，霍普夫代數，范畴论，部分分式分解，阿基米德公理，重覆度，自同构，雅可比猜想，除以零，GCD環，K3曲面，抽象代数，李群，标量 (数学)，标量乘法，極小多項式，模，泛包絡代數，有序域，有理簇，有限域，有限域算术，戴德金整環，数，数学，数学史，扎里斯基拓扑，扎里斯基曲面，普羅海特-蘇-摩爾斯常數。 扩展索引 (43 更多) »
域論
論」（field theory）是抽象代數的分支，研究-zh-hans:域;zh-hant:體-的性質。.
域扩张
域扩张（field extensions）是数学分支抽象代数之域论中的主要研究对象，基本想法是从一个基域开始以某种方式构造包含它的“更大”的域。域扩张可以推广为环扩张。.
新！!: 域 (數學)和域扩张 · 查看更多 »
基灵型
在数学中，基灵型（Killing form），是在李群与李代数理论中起着基本作用的一个对称双线性形式。它以数学家威廉·基灵命名，但事实上基灵型是埃利·嘉当发现的，而嘉当矩阵则属于威廉·基灵。.
新！!: 域 (數學)和基灵型 · 查看更多 »
埃米·诺特
埃米·诺特（Emmy Noether，，）是20世纪初一个才华洋溢的德国数学家，研究领域为抽象代数和理论物理学。她善于藉透彻的洞察建立优雅的抽象概念，再将之漂亮地形式化。被帕维尔·亚历山德罗夫，阿尔伯特·爱因斯坦，讓·迪厄多內，赫尔曼·外尔和诺伯特·维纳形容为数学史上最重要的女人。.
新！!: 域 (數學)和埃米·诺特 · 查看更多 »
半單模
在模論中，一個環 A 上的左模 M 若可表為單模的直和，便稱 M 為半單模。 本條目中的環皆有乘法單位元素 1。對於右模，相應的陳述依然成立。.
新！!: 域 (數學)和半單模 · 查看更多 »
可分多项式
数学中，可分多项式在不同的作者的书下有两个略微不同的定义。 最常见的一个定义是：当在一个给定域K上的多项式P(X)在K的代数闭包中有不同的根时，称多项式为可分的。换言之它的互异根的数量需要等于多项式的次数。在多项式因式分解的观点下，这样的多项式是无平方多项式。 第二个定义，当P(X)在K中的每个不可约因子在K的代数闭包中的根互不相同，此时称P(X)是可分的。这意味着每个不可约因子是无平方项的。在这个定义中，可分性依赖于K，比如任何一个不可分的不可约多项式P在它的分裂域上都变成可分的了。并且在这个定义下，每个完美域上的多项式是可分的，这包含了0特征域和所有有限域。 两个定义对于K上不可约多项式是等价的，这个被用来定义域K的可分扩张。 在条目的余下部分我们只用第一个定义。 一个多项式可分当且仅当它与它的形式导数P'(X)互素。.
新！!: 域 (數學)和可分多项式 · 查看更多 »
吸收集
在泛函分析和数学的相关领域中，向量空间中的集合S，如果其可以线性膨胀以包括向量空间中的任意元素，则S被称为吸收集(Absorbing set)。是径向集的特殊情形，有时也被直接称为径向集。.
新！!: 域 (數學)和吸收集 · 查看更多 »
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
新！!: 域 (數學)和向量空间 · 查看更多 »
奇异值分解
奇异值分解（singular value decomposition）是线性代数中一种重要的矩阵分解，在信号处理、统计学等领域有重要应用。奇异值分解在某些方面与对称矩阵或厄米矩陣基于特征向量的对角化类似。然而这两种矩阵分解尽管有其相关性，但还是有明显的不同。对称阵特征向量分解的基础是谱分析，而奇异值分解则是谱分析理论在任意矩阵上的推广。.
新！!: 域 (數學)和奇异值分解 · 查看更多 »
子域
子域可以指：.
实变函数论
實分析或實數分析是處理實數及實函數的數學分析。專門實數函數及數列的解析特性，包括實數數列的極限，實函數的微分及積分、連續性，光滑性以及其他相關性質。 實分析常以基礎集合論，函數概念定義等等開始。.
新！!: 域 (數學)和实变函数论 · 查看更多 »
实函数
实函数（Real function），指定义域和值域均为实数集的子集的函数。實函數的特性之一是可以在坐標平面上畫出圖形。.
新！!: 域 (數學)和实函数 · 查看更多 »
安里西·韋伯
安里西·馬丁·韋伯（Heinrich Martin Weber）（），德國數學家，他在海德堡出生，並就讀和任教於當地的海德堡大學。因為在大學的老師是雅各比的學生，所以他深受雅各比的風格影響。其1895年出版的書籍Lehrbuch der Algebra是重要的著作，它嘗試聯結起各類代數理論，但仍未將域或群等概念發展成理論，只是在工具階段。 Category:19世紀數學家 Category:德国数学家 Category:海德堡大學教師 Category:海德堡大學校友 Category:巴登-符騰堡人.
新！!: 域 (數學)和安里西·韋伯 · 查看更多 »
对称 (数学)
对称不只出現在幾何學中，也在數學領域的其他分支中出現，对称其實就是不變量，是指某特性不隨而變化。 若一個物件可以藉由另一個物件的不變轉換來得到，二個物件藉由不變轉換有互相对称關係，這是一種等价关系。 在中，函數的輸出值不隨輸入變數的排列而改變，這些排列形成一個群，也就是對稱群。在欧几里得几何中的等距同构中，也有使用「對稱群」一詞，更廣泛的用法是自同构群。.
新！!: 域 (數學)和对称 (数学) · 查看更多 »
射影表示
在數學中，群 G 在域 F 上的向量空間 V 上的射影表示意指一個群同態 其中 \mathrm(V) 表示向量空間 V 的自同構群，而 F^\times 視為純量積映射 v \mapsto cv，其中 c \in F^\times。 若 V 維度有限，選定基底後可將 \mathrm(V) 理解為 \mathrm(n,F)，即 n \times n 階可逆矩陣對正規子群 F^\times \cdot \mathrm_V 之商群。 對於給定的群表示 \rho: G \to \mathrm(V)，與商映射 p: \mathrm(V) \to \mathrm(V) 合成後可得到一個射影表示。較常探討的是逆向的問題：如何將一個射影表示 \bar: G \to \mathrm(V) 提升至一個表示 \rho: G \to \mathrm(V)，使得 p \circ \rho.
新！!: 域 (數學)和射影表示 · 查看更多 »
布尔环
在数学中，布尔环R是对于所有R中的x有x^2.
新！!: 域 (數學)和布尔环 · 查看更多 »
三次平面曲线
三次平面曲线（cubic plane curve）是指用以下三次函數定義的平面代數曲線 C 針對射影平面會使用齐次坐标，或是在仿射空间中的非齊次版本，會令上述方程中的。F是以下三次的非零線性組合 共有十個單項，因此三次曲线會在給定的任意域K中形成九維的。。若指定九個任意的點，通過其上的三次曲线可能會退化，也可能不唯一，不過若這九個點是在一般位置上，通過其上的三次曲线唯一，且不會退化，就像二點決定一直線，以及一樣，若二條圓錐曲線通過相同的九個點，這些點會滿足一些特殊的條件，可參考。 牛頓曾研究三次曲線中的實數點。非奇異的投影三次曲線會落在一個或二個--卵形--內。其中一個卵形會和每一個實數投影曲線相交，因此若畫在二维空间中，此部份是沒有上界的，會有一個或三個一直延伸到無限大的分枝，其中也會有三個實數的反曲點。另一個卵形若存在，不會包括任何的反曲點，會是一個卵形或是有二個延伸到無限大分枝的圖形。就像圆锥曲线一樣，一條直線和這個卵形最多只會有二個交點。 任意的域K上，非奇異的投影三次曲線可定義椭圆曲线現今對椭圆曲线的研究主要是以魏爾斯特拉斯橢圓函數的變體的主，可以定義一個有理函數域的，做法是將三次曲線的平方根取出。這也和是否存在K-有關，在魏爾斯特拉斯型式下是无穷远点，有許多的三次曲線沒有這様的點，例如像K是有理数域的情形。 不可化簡三次曲線的奇異點只有幾種：一個二重點或是一個尖點。可化簡三次曲線可能是一個圓錐曲線和一條直線，或是三條直線，可能會有二個二重點或是一個（一個圓錐曲線和一條直線的情形），若是三條直線，也可能有三個二重點，或是一個三重點（）。.
新！!: 域 (數學)和三次平面曲线 · 查看更多 »
三次函數
三次函數是以下形式的多項式函数 其中不為零。 若令，可以得到三次方程 此方程的解即為多項式的根。若所有的系数、、和,都是实数，則此方程至少會有一個實數根（這對所有奇數的多項式都成立）。三次函數的所有解都可以用代數函數來表示（這對二次函数、四次函數也都成立，但根據阿贝尔-鲁菲尼定理，更高次數的多項式一般來說沒有此特性）。利用三角函數也可以表示出函數的解。此方程的數值解可以用像牛顿法之類的求根算法求得。 三次函數的係數不一定要是複數。三次函數的許多特性，只要係數域的特征為0或是大於就會成立。三次方程的解不一定會和系數同一個域，例如有理系數三次方程的解可能是無理數、甚至是非實數的複數。.
新！!: 域 (數學)和三次函數 · 查看更多 »
三次方程
三次方程是未知项總次数最高为3的整式方程，一元三次方程一般形式為 其中\ a, \ b,\ c和\ d (a \neq 0)是屬於一個域的數字，通常這個域為R或C。 本條目只解釋一元三次方程，而且簡稱之為三次方程。.
新！!: 域 (數學)和三次方程 · 查看更多 »
一般线性群
在數學中，n 次一般線性群是 n×n 可逆矩陣的集合，和與之一起的普通矩陣乘法運算。這形成了一個群，因為兩個可逆矩陣的乘積也是可逆矩陣，而可逆矩陣的逆元還是可逆矩陣。叫這個名字是因為可逆矩陣的縱列是線性無關的，因此它們定義的向量／點是在一般線性位置上的，而在一般線性群中的矩陣把在一般線性位置上的點變換成在一般線性位置上的點。 为了使定义更明确，必需規定哪類對象可以成為矩陣的元素。例如，在 R（實數集）上的一般線性群是實數的 n×n 可逆矩陣的群，并指示為 GLn(R)或 GL(n, R)。 更一般的說，在任何域 F（比如複數集）或環 R（比如整數集的環）上的 n 次一般線性群是帶有來自 F（或 R）的元素的 n×n 可逆矩陣的群，帶有矩陣乘法作為群運算。這裡的環被假定為符合結合律和有乘法單位元的。典型符號是 GLn(F)或 GL(n, F)，如果域是自明的也可簡寫為 GL(n)。 更一般的說，向量空間的一般線性群 GL(V)仍是抽象自同構群，不必需寫為矩陣。 '''特殊線性群'''，寫為 SL(n, F)或 SLn(F)，是由行列式.
新！!: 域 (數學)和一般线性群 · 查看更多 »
九维空间
在數學中， 一個n實數的序列可以被理解為n維空間中的一個位置。當n等於九時，所有這樣的位置的集合被稱為九維空間。通常這種空間被研究為一個向量空間，而沒有任何距離的概念。九維歐幾里得空間是一個配備了一個歐幾里得距離的九維空間，它由點積定義。 更廣義的來說，該術語可以指任何体 (数学)上的九維向量空間，例如九維複矢量空間，其實際有著十八個維度。 它同時也可能指九維流形例如九維球面，或其它各種幾何構造。.
新！!: 域 (數學)和九维空间 · 查看更多 »
平凡表示
在數學裡，尤其是在群表示理論裡，一個群的表示若被稱為是一個平凡表示的話，則表示它是被定義在一個體K上的一維向量空間V，且所有於G內的元素g都會以單位映射作用在V上。對於任何一種此類的V，這種表示都會存在著，且在K上的任何兩種此類的表示也都會是等價的。 儘管平凡表示的建構模式使得它看起來像是多餘的，但它確實是這個理論的一個很基本的物件。例如說，當一個子表示會等價於一個平凡表示，即表示其是由不變向量所構成的。因此找尋此類的子表示便成了不變量理論所研究的所有课題了。 平凡特徵是指會將所有群元素的值都取為1的特徵。 P.
新！!: 域 (數學)和平凡表示 · 查看更多 »
平衡集
在線性代數和相關的數學領域中，一個平衡集（balanced set）、圓集或圓盤是在一個域K上加上絕對值函數| |的向量空間上的集合S，使得對於所有純量\alpha以及|\alpha |\le 1： 其中 集合S的平衡包（balanced hull）或平衡包絡（balanced envelope）是包含S的最小平衡集。它可以由取所有包含S的平衡集的交集所構造出來。.
新！!: 域 (數學)和平衡集 · 查看更多 »
亞阿貝爾群
群論中，亞阿貝爾群是指其換位子群是阿貝爾群的一種群，也就是說，一個群G是亞阿貝爾群當且僅當G有阿貝爾的正規子群A，使得G/A也是阿貝爾群。 亞阿貝爾群的子群，及亞阿貝爾群在群同態下的像，也都是亞阿貝爾群。 亞阿貝爾群正是其導出列長不大於2的可解群。.
新！!: 域 (數學)和亞阿貝爾群 · 查看更多 »
交換律
交換律(Commutative property)是被普遍使用的一個數學名詞，意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質，而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在，且沒有給定其一特定的名稱，直到19世紀，數學家開始形式化數學理論之後，交換律才被聲明。.
新！!: 域 (數學)和交換律 · 查看更多 »
二項式係數
二項式係數在數學上是二項式定理中的係數族。其必然為正整數，且能以兩個非負整數為參數確定，此兩參數通常以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）。.
新！!: 域 (數學)和二項式係數 · 查看更多 »
代数
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。 初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。 代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。 e.g.2-4+6-8+10-12+…-96+98-100+102.
代数结构
在泛代数中代数结构是在一种或多种运算下封闭的一个或多个集合。 例如，群、环、域、和格的代数结构。更复杂的结构可以被定义为通过引入多个操作，不同的基础集，或通过改变限定公理。更复杂的代数结构的实例包括向量空间，模和代數 (環論)。关于代数结构的的详细情况，参见各个链接。 一个代数结构包含集合及符合某些公理的运算或关系。 集U上定义二元运算形成的系统称为代数系统，如果对于任意a,b∈U,恒有（a·b)∈U。二元运算可推广至多元运算F,则相应的封闭性要求则改为：对于任意a,b,c,d,……∈U,恒有F(a,b,c,d,……)∈U。有的书上对封闭性未作要求，并称之为广群。运算f是一个从A×B→C的映射，若A.
新！!: 域 (數學)和代数结构 · 查看更多 »
代數獨立
在抽象代數裡，一個體L的子集S若被稱做代數獨立於一子體K的話，表示S內的元素都不符合係數包含在K內的非平凡多項式。這表示任何以S內元素排成的有限序列\alpha_1,\cdots,\alpha_n（沒有兩個是一樣的）和任一係數包含在K的非零多項式P(x_1,\cdots,x_n)，都會得到： 特別的是，單元素集合\若是代數獨立於K的話，若且唯若\alpha會是K內的超越數或超越函數。一般而言，和於K代數獨立集合的所有元素也必然會是K內的超越數或超越函數，但反之則不必然。 舉例來說，實數\mathbb的子集\並不代數獨立於有理數\mathbb，當存在一非零多項式： x_1代入\sqrt和x_2代入2\pi+1時會變成0。 林德曼-魏爾斯特拉斯定理時常用做證明某些函數會代數獨立於有理數：當\alpha_1,\cdots,\alpha_n為線性獨立於有理數的代數數時，\mbox^,\cdots,\mbox^便會代數獨立於有理數。 現在依然沒有證明出集合\是否代數獨立於有理數。在1996年證明了\是代數獨立於有理數的。 給定一體擴張L/K，我們可以利用佐恩引理來證明總是存在一L的最大代數獨立子集於K。甚至，所有個最大代數獨立子集都會有相同的基數，稱之為此一體擴張的超越次數。 Category:域论.
新！!: 域 (數學)和代數獨立 · 查看更多 »
代數群
在代數幾何中，一個代數群（或群簇）是一個群是一個代數簇，其簇之乘與逆由正則函數提供。以范畴论描述，一個代數群是一個於代數簇範疇 (數學)中的群對象。 在數學中，域k上的代數群有幾種等價的描述：.
新！!: 域 (數學)和代數群 · 查看更多 »
代數閉域
在數學上，一個域F被稱作代數閉--，若且唯若任何係數属于F且次數大於零的單變數多項式在F裡至少有一個根。.
新！!: 域 (數學)和代數閉域 · 查看更多 »
代數擴張
代数扩张是抽象代數中域扩张的一类。一個域擴張被稱作代數擴張，若且唯若中的每个元素都是某个以中元素为系数的非零多項式的根。反之則稱之为超越擴張。最簡單的代數擴張例子有：\mathbb/\mathbb、\mathbb(\sqrt)/\mathbb。.
新！!: 域 (數學)和代數擴張 · 查看更多 »
弱可测函数
在数学中，特别是泛函分析中，如果一个在巴拿赫空间中取值的函数与其所在空间的对偶空间中的任意元素的复合是一般（强）意义下的可测函数，则该函数是弱可测函数。 对于可分空间，弱可测性和强可测性的概念是一致的。.
新！!: 域 (數學)和弱可测函数 · 查看更多 »
体
体有多种含义：.
德林斐特量子对
德林斐特量子對（Drinfeld quantum double、Drinfeld double或quantum double）是數學家德林斐特於1986年柏克萊國際數學家大會上提出的一種代數結構，由有限維霍普夫代數 A 以及其對偶 A^*製作出新的霍普夫代數，還自動包含半三角結構。量子對是量子群理論中極重要的建構。 在向量空間的層次上，量子對同構於張量積 A \otimes A^*，這個代數結構相當複雜。設 (A, S) 為域 k 上的有限維霍普夫代數，假定 S 可逆，並設 \phi(): A \otimes A^* \to k 為 A 與 A^* 的自然配對。下列性質確定了量子對上唯一的霍普夫代數結構：.
新！!: 域 (數學)和德林斐特量子对 · 查看更多 »
刘维尔定理 (微分代数)
刘维尔定理揭示了具有初等原函数的初等函数的本质特征.
新！!: 域 (數學)和刘维尔定理 (微分代数) · 查看更多 »
分裂域
在抽象代数中，一个系数域为\mathbb的多项式P(x)\,的分裂域（根域）是\mathbb的“最小”的一个扩域\mathbb，使得在其中P\,可以被分解为一次因式x-r_i\,的乘积，其中的r_i\,是\mathbb中元素。一个\mathbb上的多项式并不一定只有一个分裂域，但它所有的分裂域都是同构的：在同构意义上，\mathbb上的多项式的分裂域是唯一的。.
新！!: 域 (數學)和分裂域 · 查看更多 »
嵌入 (数学)
數學上，嵌入是指一個數學結構經映射包含到另一個結構中。某個物件X稱為嵌入到另一個物件Y中，是指有一個保持結構的單射f: X→Y，這個映射f就給出了一個嵌入。上述「保持結構」的準確意思，需由所討論的結構而定。一個保持結構的映射，在範疇論中稱為態射。 要表達f: X→Y是一個嵌入，有時會使用帶鉤箭號f\colon X\hookrightarrow Y。但這個帶鉤箭號有時只留作表示包含映射時用。.
新！!: 域 (數學)和嵌入 (数学) · 查看更多 »
函子
在範疇論中，函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學，其中拓撲空間的連續映射給出相應的代數对象（如基本群、同調群或上同調群）的代數同態。在當代數學中，函子被用來描述各種範疇間的關係。「函子」（英文：Functor）一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言，不同於當代範疇論的用法，函子是個語言學的詞彙。對範疇論者來說，函子則是個特別類型的函數。.
八维空间
在數學中， 一個n實數的序列可以被理解為n維空間中的一個位置。當n等於八時，所有這樣的位置的集合被稱為 八維空間。 通常這種空間被研究為一個向量空間，而沒有任何距離的概念。 八維歐幾里得空間是一個配備了一個歐幾里得距離的八維空間，它由點積定義。 更廣義的來說， 該術語可以指任何體上的八維向量空間，例如八維複矢量空間，其實際有著十六個維度。 它同時也可能指八維流形例如八維球面，或其它各種幾何構造。.
新！!: 域 (數學)和八维空间 · 查看更多 »
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
四次平面曲线
四次平面曲线（quartic plane curve）是四的平面代數曲線，可以表示為以下的多變數四次方程： A, B, C, D, E中至少要有一個不為0。方程式有15個常數，不過方程式若乘以非零的任意數，不會改變曲線，因此可以將其中一個常數固定為1，留下14個可調整的常數。四次曲线的空間可以視為是\mathbb^的实射影空间。依照，若考慮一般位置下14個不同的點，通過這十四個點的四次平面曲线唯一，因此四次平面曲线的自由度為14。 四次曲线最多可以有：.
新！!: 域 (數學)和四次平面曲线 · 查看更多 »
算子
算子（Operator）是从一个向量空间（或模）到另一个向量空间（或模）的映射。 算子对于线性代数和泛函分析都至关重要，它在纯数学和应用数学的许多其他领域中都有应用。 例如，在经典力学中，导数的使用无处不在，而在量子力学中，可观察量由埃尔米特算子表示。 各种算子可以具有包括线性、连续性和有界性等的重要性质。.
算术
算術（arithmetic）是数学最古老且最簡單的一個分支，幾乎被每個人使用著，從日常生活上簡單的算數到高深的科学及工商业計算都會用到。一般而言，算術這一詞指的是記錄數字某些運算基本性質的数学分支。常用的运算有加法、減法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。 自然数、整数、有理数（以分數的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。 專業数学家有時會使用高等算術來指数论，但這不應該和初等算術相搞混。另外，算術也是初等代數的重要部份之一。.
範疇 (數學)
在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。.
新！!: 域 (數學)和範疇 (數學) · 查看更多 »
素理想
在数学中，素理想是环的一个子集，与整数环中的素数共享许多重要的性质。.
新！!: 域 (數學)和素理想 · 查看更多 »
紧致性定理
紧致性定理是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。 命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。.
新！!: 域 (數學)和紧致性定理 · 查看更多 »
线性代数
线性代数是关于向量空间和线性映射的一个数学分支。它包括对线、面和子空间的研究，同时也涉及到所有的向量空间的一般性质。 坐标满足线性方程的点集形成n维空间中的一个超平面。n个超平面相交于一点的条件是线性代数研究的一个重要焦点。此项研究源于包含多个未知数的线性方程组。这样的方程组可以很自然地表示为矩阵和向量的形式。 线性代数既是纯数学也是应用数学的核心。例如，放宽向量空间的公理就产生抽象代数，也就出现若干推广。泛函分析研究无穷维情形的向量空间理论。线性代数与微积分结合，使得微分方程线性系统的求解更加便利。线性代数的理论已被泛化为。 线性代数的方法还用在解析几何、工程、物理、自然科学、計算機科學、计算机动画和社会科学（尤其是经济学）中。由于线性代数是一套完善的理论，非线性数学模型通常可以被近似为线性模型。.
新！!: 域 (數學)和线性代数 · 查看更多 »
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
結合代數
在數學裡，結合代數是指一向量空間(或更一般地，一模)，其允許向量有具分配律和結合律的乘法。因此，它為一特殊的代數。結合代數，是一種代數系統，類似於群、環、域，而更接近於環。仿照由實數來構造複數的方法，可用複數來構造新的數。.
新！!: 域 (數學)和結合代數 · 查看更多 »
結式
結式是數學中一個常用的不變量。考慮域 F 上兩個多項式 P, Q，設其首項係數分別為 a, b，則其結式定義為 其中 \bar 為 F 的給定代數閉包。由此定義的結式是 F 的元素，而与代數閉包的選取无关。.
畢達哥拉斯質數
達哥拉斯質數是指可以表示為4n + 1形式的質數，若直角三角形的三邊均為整數，斜邊為質數，其斜邊的邊長即為畢達哥拉斯質數。 前幾個畢達哥拉斯質數為 費馬平方和定理陳述，畢達哥拉斯質數可以表示為二個平方數的和，其他質數除了2以外（2.
新！!: 域 (數學)和畢達哥拉斯質數 · 查看更多 »
特徵
中文裡的特徵可能有以下意義： 在生物学中：.
特徵標理論
在數學裡，尤其是在群表示理論裡，一個群表示的特徵標（character）是指一個將群的每個元素連結至表示空間這個域內的每個元素之函數。特徵標蘊藏著群的許多重要性質，且因此可以用來做群的研究。 特徵標理論是對有限簡單群分類的一個有重要的工具。在范特-湯普遜定理證明接近一半的地方會有一個用到特徵標的複雜計算。另外還有一些較簡單但一樣重要的結論需用在特徵標理論，如伯恩賽德定理及理查·布勞爾和鈴木通夫所證出之定理，此定理表示有限簡單群不會有一個為廣義四元群的西洛2-子群。.
新！!: 域 (數學)和特徵標理論 · 查看更多 »
直积
在數學中，經常定義已知對象的直積（direct product）來給出新對象。例子有集合的乘積（參見笛卡爾積），群的乘積（下面描述），環的乘積和其他代數結構的乘積。拓撲空間的乘積是另一個例子。.
非标准分析
非標準分析（概念上又可稱為實無限分析）(Non-standard analysis)是一個數學分支，它用嚴格定義的無限小的數（infinitesimal number）的概念來構建分析學。.
新！!: 域 (數學)和非标准分析 · 查看更多 »
表示论
表示論是數學中抽象代數的一支。旨在將抽象代数结构中的元素「表示」成向量空間上的線性變換，并研究这些代数结构上的模，藉以研究結構的性質。略言之，表示論將一代數對象表作較具體的矩陣，並使得原結構中的代数运算對應到矩陣加法和矩陣乘法。此法可施於群、結合代數及李代數等多種代數結構；其中肇源最早，用途也最廣的是群表示論。設G為群，其在域F（常取複數域F.
新！!: 域 (數學)和表示论 · 查看更多 »
行列式
行列式（Determinant）是数学中的一個函數，将一个n \times n的矩陣A映射到一個純量，记作\det(A)或|A|。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说，在n 维欧几里得空间中，行列式描述的是一个线性变换对“体积”所造成的影响。无论是在线性代数、多项式理论，还是在微积分学中（比如说换元积分法中），行列式作为基本的数学工具，都有着重要的应用。 行列式概念最早出现在解线性方程组的过程中。十七世纪晚期，关孝和与莱布尼茨的著作中已经使用行列式来确定线性方程组解的个数以及形式。十八世纪开始，行列式开始作为独立的数学概念被研究。十九世纪以后，行列式理论进一步得到发展和完善。矩阵概念的引入使得更多有关行列式的性质被发现，行列式在许多领域都逐渐显现出重要的意义和作用，出现线性自同态和向量组的行列式的定义。 行列式的特性可以被概括为一个交替多线性形式，这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数。.
新！!: 域 (數學)和行列式 · 查看更多 »
規矩數
規矩數（又稱可造數）是指可用尺規作圖方式作出的實數。在給定單位長度的情形下，若可以用尺規作圖的方式作出長度為 a 的線段，則 a 就是規矩數。規矩數的「規」和「矩」分別表示圓規及直尺，兩個尺規作圖的重要元素。.
新！!: 域 (數學)和規矩數 · 查看更多 »
高斯消去法
数学上，高斯消去法（Gaussian Elimination），是线性代数中的一个算法，可用來為線性方程組求解，求出矩陣的秩，以及求出可逆方陣的逆矩陣。当用于一个矩陣时，高斯消去法會产生出一個行梯陣式。.
新！!: 域 (數學)和高斯消去法 · 查看更多 »
貝蒂數
在代數拓撲學中，拓撲空間之貝蒂數 b_0, b_1, b_2, \ldots 是一族重要的不變量，取值為非負整數或無窮大。直觀地看，b_0 是連通成份之個數，b_1 是沿著閉曲線剪開空間而保持連通的最大剪裁次數。更高次的 b_k 可藉同調群定義。 「貝蒂數」一詞首先由龐加萊使用，以義大利數學家恩里科·貝蒂命名。.
新！!: 域 (數學)和貝蒂數 · 查看更多 »
賦值
在代数中，赋值是域元素的阶（多少）或元素重复度一个度量。推广到交换代数，就是对复分析中极点，零点重复度度量，推广到代数数论中的代数整数整性的度量，在代数几何中也有类似概念，一个域与它的赋值被称为赋值域。.
賦值向量環
在數論中，賦值向量環或阿代爾環（法文：adèle，英譯多用原文）是由一個域 F 的所有完備化構成的拓撲環 \mathbb_F，原域 F 可以對角方式嵌入其中。 在現代代數數論中，賦值向量環是處理整體問題的基本語言。 法文原文 adèle 是 idèle additif 的縮寫，其中 idèle 意指理想元（élément idéal）。adèle 也是法文中常見的女性名字。.
新！!: 域 (數學)和賦值向量環 · 查看更多 »
超平面
在數學中，超平面（Hyperplane）是 n 維歐氏空間中餘維度等於1的線性子空間。這是平面中的直線、空間中的平面之推廣。 設 F 為域（為初等起見，可考慮 F.
新！!: 域 (數學)和超平面 · 查看更多 »
超現實數
在數學上，超現實數系統（Surreal Numbers）是一種連續統，其中含有實數以及無窮量，即無窮大（小）量，其絕對值大（小）於任何正實數。超現實數與實數有許多共同性質，包括其全序關係「≤」以及通常的算術運算（加減乘除）；也因此，它們構成了有序域。在嚴格的集合論意義下，超現實數是可能出現的有序域中最大的；其他的有序域，如有理數域、實數域、有理函數域、、和超實數域等，全都是超現實數域的子域。超現實數域也包含可達到的、在集合論裡構造過的所有超限序數。 超現實數是由約翰·何頓·康威（John Horton Conway）所定義和構造的。這個名稱早在1974年便已由高德納（Donald Knuth）在他的書《研究之美》中就被引進了。《研究之美》是一部中短篇數學小說，而值得一提的是，這種把新的數學概念在一部小說中提出來的情形是非常少有的。在這部由對話體寫成的著作裡，高德納造了「surreal number」一詞，用來指稱康威起初只叫做「number」（數）的這個新概念。康威樂於採用新的名稱，後來在他1976年的著作《論數字與博弈》（On Numbers and Games）中就描述了超現實數的概念並使用它來進行了一些博弈分析。.
新！!: 域 (數學)和超現實數 · 查看更多 »
霍普夫代數
在數學中，霍普夫代數是一類雙代數，亦即具有相容的結合代數與餘代數結構的向量空間，配上一個對極映射，後者推廣了群上的逆元運算 g \mapsto g^。霍普夫代數以數學家海因茨·霍普夫命名，此類結構廣見於代數拓撲、群概形、群論、量子群等數學領域。.
新！!: 域 (數學)和霍普夫代數 · 查看更多 »
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
新！!: 域 (數學)和范畴论 · 查看更多 »
部分分式分解
部分分式分解或部分分式展開，是將有理函數分解成許多次數較低有理函數和的形式，來降低分子或分母多項式的次數。分解後的分式需滿足以下條件：.
新！!: 域 (數學)和部分分式分解 · 查看更多 »
阿基米德公理
在抽象代数和分析学中，以古希腊数学家阿基米德命名的阿基米德公理（又称阿基米德性质），是一些赋范的群、域和代数结构具有的一个性质。粗略地讲，它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五，1883年，奧地利數學家赋予它这个名字。 这个概念源于古希腊对量的理论；如大卫·希尔伯特的几何公理，有序群、有序域和局部域的理论在现代数学中仍然起着重要的作用。 阿基米德公理可表述為如下的現代記法： 對於任何實數x，存在自然數n有n>x。 在現代實分析中，這不是一個公理。它退卻為實數具完備性的結果。基於這理由，常以阿基米德性質的叫法取而代之。.
新！!: 域 (數學)和阿基米德公理 · 查看更多 »
重覆度
重覆度（multiplicity）是一數學名詞，多重集中某一元素的重覆度是指此元素在多重集中出現的次數。例如代数方程中特定根出現的次數。 重覆度的標示可以方便多重集的計數，若元素考慮其重覆度計數，重覆度為1的會算為1個，重覆度為2的會算為2個。若不考慮重覆度，會以「計算相異元素個數」來說明。不過若是考慮非多重集的一般集合（每個元素最多只出現一次），沒有重覆度，計算元素個數時就不會特別強調「相異」。.
新！!: 域 (數學)和重覆度 · 查看更多 »
自同构
數學上，自同構是從一個到自身的同構，可以看為這對象的一個對稱，將這對象映射到自身而保持其全部結構的一個途徑。一個對象的所有自同構的集合是一個群，稱為自同構群，大致而言，是這對象的對稱群。.
新！!: 域 (數學)和自同构 · 查看更多 »
雅可比猜想
雅可比猜想(Jacobian conjecture)是多變量多項式的一個著名問題，最初是由數學家Keller於1939年提出，之後Shreeram Abhyankar取現名，並將之廣為傳播，以作為代數幾何的問題中，只需稍多於微積分的知識就能闡述的一個例子。 雅可比猜想之所以聞名，因為有很多試圖解決猜想的證明，都有藏於細節中的錯誤。這猜想直至2017年仍未得到正確證明。.
新！!: 域 (數學)和雅可比猜想 · 查看更多 »
除以零
在數學中，被除數的除數（分母）是零將某數除以零，可表達為\frac，a是被除數。在算式中沒有意義，因為沒有數目，以零相乘（假設a\neq 0），由於任何數字乘以零均等於零，因此除以零是一個沒有定義的值。此式是否成立端視其在如何的數學設定下計算。一般實數算術中，此式為無意義。在程序設計中，當遇上正整數除以零程序會中止，正如浮點數會出現NaN值的情況，而在Microsoft Excel及Openoffice或Libreoffice的Calc中，除以零會直接顯示#DIV/0! 。.
新！!: 域 (數學)和除以零 · 查看更多 »
GCD環
GCD環是一種有特殊性質的整环R，滿足其中任二個非零的元素都有最大公因數（GCD），或者等價的，都有最小公倍數（LCM）。 GCD環是將唯一分解整環推廣到非諾特環的情況，事實上，一個整環是唯一分解整環若且惟若其為滿足的GCD環。.
新！!: 域 (數學)和GCD環 · 查看更多 »
K3曲面
在數學領域的代數幾何及複流形理論中，K3曲面是一類重要的緊複曲面，在此「曲面」係指複二維，視作實流形則為四維。 K3曲面與二維複環面構成二維的卡拉比-丘流形。複幾何所探討的K3曲面通常不是代數曲面；然而這類曲面首先出現於代數幾何，並以恩斯特·庫默爾、埃里希·卡萊爾與小平邦彥三位姓氏縮寫為 K 的代數幾何學家命名，也與1950年代被命名的K2峰相映成趣。.
新！!: 域 (數學)和K3曲面 · 查看更多 »
抽象代数
抽象代数作为数学的一门学科，主要研究对象是代数结构，比如群、环、-zh-hans:域;zh-hant:體-、模、向量空间、格與域代数。「抽象代數」一詞出現於20世紀初，作為與其他代數領域相區別之學科。 代數結構與其相關之同態，構成數學範疇。範疇論是用來分析與比較不同代數結構的強大形式工具。 泛代數是一門與抽象代數有關之學科，研究將各類代數視為整體所會有的性質與理論。例如，泛代數研究群的整體理論，而不會研究特定的群。.
新！!: 域 (數學)和抽象代数 · 查看更多 »
李群
數學中，李群（Lie group，）是具有群结构的光滑微分流形，其群作用與微分结构相容。李群的名字源於索菲斯·李的姓氏，以其為連續變換群奠定基礎。1893年，法文名詞groupes de Lie首次出現在李的學生Arthur Tresse的論文第三頁中。.
标量 (数学)
在数学中，标量（scalar）是指用来定义向量空间的域的一个元素。由多个标量描述的概念（比如方向、大小等）被称为向量。 在线性代数中，域的元素（如实数）被称为“标量”，通过标量乘法与向量空间中的向量相关联——一个空间中的向量，可通过乘法来得到位于同一向量空间的另一向量。.
新！!: 域 (數學)和标量 (数学) · 查看更多 »
标量乘法
标量乘法（scalar multiplication）是線性代數中向量空間的一種基本運算（更廣義的，是抽象代數的一個模）)。在直覺上，將一個實數向量和一個正的實數進行标量乘法，也就是將其長度乘以此标量，方向不變。标量一詞也從此用法而來：可將向量缩放的量。标量乘法是將標量和向量相乘，結果得到一向量，和內積將兩向量相乘，得到一純量不同。.
新！!: 域 (數學)和标量乘法 · 查看更多 »
極小多項式
在抽象代數中，一個域上的代數元 \alpha 之極小多項式（或最小多項式）是滿足 P(\alpha).
新！!: 域 (數學)和極小多項式 · 查看更多 »
模
在數學的抽象代數中，環上的模 (module over a ring)的概念是對向量空間概念的推廣，這裡不再要求向量空間裡的純量的代數結構是體(field)，進而放寬純量可以是環(ring)。 因此，模同向量空間一樣是加法交换群；在環元素和模元素之間定義了乘積運算，并且環元素和模元素的乘積是符合結合律的（在同環中的乘法一起用的時候）和分配律的。 模非常密切的關聯於群的表示理論。它們還是交換代數和同調代數的中心概念，并廣泛的用于代數幾何和代數拓撲中。.
泛包絡代數
在數學中，我們可以構造任意李代數 L 的泛包絡代數 U(L)。李代數一般並非結合代數，但泛包絡代數則是帶乘法單位元的結合代數。李代數的表示理論可以理解為其泛包絡代數的表示理論。在幾何上，泛包絡代數可以解釋為李群上的左不變微分算子。.
新！!: 域 (數學)和泛包絡代數 · 查看更多 »
有序域
在数学的一个分支代数中，有序域是一个偏序关系通过加法和乘法运算不被改变的域。有序域最常见的例子是实数。.
新！!: 域 (數學)和有序域 · 查看更多 »
有理簇
在數學中的代數幾何領域，域 K 上的有理簇是一個雙有理等價於射影空間 \mathbb_K^n（n \in \N）的代數簇。有理性僅依賴於其函數域，更明確地說，代數簇 X 是有理簇若且唯若 K(X) \simeq K(T_1, \ldots, T_n) \;(n \in \N)，其中 T_1, \ldots, T_n 是獨立的變元。.
新！!: 域 (數學)和有理簇 · 查看更多 »
有限域
在数学中，有限域（finite field）或伽罗瓦域（Galois field，为纪念埃瓦里斯特·伽罗瓦命名）是包含有限个元素的域。与其他域一样，有限域是进行加减乘除运算都有定义并且满足特定规则的集合。有限域最常见的例子是当 为素数时，整数对 取模。 有限域的元素个数称为它的序。 有限域在许多数学和计算机科学领域的基础，包括数论、代数几何、伽羅瓦理論、有限幾何學、密码学和编码理论。.
新！!: 域 (數學)和有限域 · 查看更多 »
有限域算术
在数学之中，有限域算术是一种在有限域之内的算术，因为域仅包括有限数量的元素，而有限域算术则相对于无限域算术，后者是包括无限数量的元素的算术（如在有理数之下的算术）。 由于并没有任何有限域是无限的，因此存在着无限多个不同的有限域。它们的势需要是能够在pn的形式下，这其中的p是一则素数，而n则是一则正整数，同时两个持有等量的有限域可以构成同构。素数p被称之为有限域的特征，而正整数n则被称之为有限域的向量空间的维数，凌驾于它的最初域之上，最初域为最小的包括1F的子域。 有限域应用于各种领域，这其中包括在线性分组码之内的编码理论，譬如BCH码和里德-所罗门码，还有在密码学之中的演算法，比如Rijndael加密法之下的加密算法。.
新！!: 域 (數學)和有限域算术 · 查看更多 »
戴德金整環
在環論中，戴德金整環是戴德金為了彌補一般數域中算術基本定理之闕如而引入的概念。在戴德金整環中，任意理想可以唯一地分解成素理想之積。.
新！!: 域 (數學)和戴德金整環 · 查看更多 »
数
數是一個用作計數、標記或用作量度的抽象概念，是比同质或同属性事物的等级的简单符号记录形式（或称度量）。代表數的一系列符號，包括數字、運算符號等統稱為記數系統。在日常生活中，數通常出現在在標記（如公路、電話和門牌號碼）、序列的指標（序列號）和代碼（ISBN）上。在數學裡，數的定義延伸至包含如如分數、負數、無理數、超越數及複數等抽象化的概念。 起初人們只覺得某部分的數是數，後來隨著需要，逐步將數的概念擴大；例如畢達哥拉斯認為，數必須能用整數和整數的比表達的，後來發現无理数無法這樣表達，引起第一次數學危機，但人們漸漸接受無理數的存在，令數的概念得到擴展。 數的算術運算（如加減乘除）在抽象代數這一數學分支內被廣義化成抽象數字系統，如群、環和體等。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学史
数学史的主要研究对象是历史上的数学发现，以及调查它们的起源，或更广义地说，数学史就是对过去的数学方法与数学符号的探究。 数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。數學最早用於人們計數、天文、度量甚至是貿易的需要。這些需要可以簡單地被概括為數學對結構、空間以及時間的研究；對結構的研究是從數字開始的，首先是從我們稱之為初等代數的——自然數和整數以及它們的算術關係式開始的。更深層次的研究是數論；對空間的研究則是從幾何學開始的，首先是歐幾里得幾何和類似於三維空間（也適用於多或少維）的三角學。後來產生了非歐幾里得幾何，在相對論中扮演著重要角色。 在进入知识可以向全世界传播的现代社会以前，有记录的新数学发现仅仅在很少几个地区重见天日。目前最古老的数学文本是《普林顿 322》（古巴比伦，约公元前1900年），《莱因德数学纸草书》（古埃及，约公元前2000年-1800年），以及《莫斯科数学纸草书》（古埃及，约公元前1890年）。以上这些文本都涉及到了如今被称为毕达哥拉斯定理的概念，后者可能是继简单算术和几何后，最古老和最广泛传播的数学发现。 在公元前6世纪后，毕达哥拉斯将数学作为一门实证的学科进行研究，他创造了古希腊语单词μάθημα（mathema），意为“（被人们学习的）知识学问”。希腊数学家在相当大的程度上改进了这些数学方法（特别引入了演绎推理和严谨的数学证明），并扩大了数学的主题。中国数学做了早期贡献，包括引入了位值制系统。如今大行于世的印度-阿拉伯数字系统和运算方法，很可能是在公元后1000年的印度逐渐演化，并被伊斯兰数学家通过花拉子米的著作将其传到了西方。伊斯兰数学则将以上这些文明的数学做了进一步的发展贡献。许多古希腊和伊斯兰数学著作随后被翻译成了拉丁文，引领了中世纪欧洲更深入的数学发展。 从16世纪文艺复兴时期的意大利开始，算术、初等代数及三角学等初等数学已大体完备。17世纪变数概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。 从古代到中世纪，数学发展的历史时期都伴随着数个世纪的停滞，但从16世纪以来，新的数学发展伴随新的科学发展，让数学不断加速大步前进，直至今日。.
新！!: 域 (數學)和数学史 · 查看更多 »
扎里斯基拓扑
在代数几何和交换代数中，扎里斯基拓扑是定義在代数簇上的拓扑。其由奥斯卡·扎里斯基首先提出，及後用作給出一般交换环的素理想集的拓撲結構，稱為環的谱。 有了扎里斯基拓扑，無論一個代數簇的基域是否一個拓撲域（即一個域，其上可定義一個拓撲，使得加法和乘法都是連續函數），都可應用拓扑学的工具到代数簇的研究上。这是概形论的基本思想，有了它才允许將多個仿射簇黏合，而成一個一般的代數簇，正如流形理论中，流形由多個坐标卡（實仿射空间的開集）黏合而成一樣。 將一個代數簇的代數子集定義為閉集，就得到該代數簇的扎里斯基拓扑。若該代數簇定義在复数上，則扎里斯基拓扑比通常的拓扑结构更粗糙，因为每一个代数集在通常的拓撲中也都是闭集。 扎里斯基拓撲在交換環的素理想集上的推廣可從希尔伯特零点定理得到，因為該定理說，代數閉域上的仿射簇的點，與該仿射簇的坐標環的极大理想一一對應。因此可如下定義一個交換環的極大理想集上的扎里斯基拓撲：若干極大理想的集合是閉集，當且僅當該些極大理想就是包含某一理想的所有極大理想。格罗滕迪克的概形論中還有另一個基本思想，就是不單考慮對應某個極大理想的點，還要考慮任意（不可約的）代數簇，即對應素理想的點。 所以交換環的素理想集（稱為「譜」）上的扎里斯基拓撲滿足：若干素理想的集合為閉集，當且僅當該些素理想就是包含某一理想的所有素理想。.
新！!: 域 (數學)和扎里斯基拓扑 · 查看更多 »
扎里斯基曲面
在数学的一个分支 代数几何中，扎里斯基曲面（Zariski surface）是指 特征 p > 0的 域 上的一个曲面，使得存在从 射影平面 到该曲面的一个度数为p的优势不可分映射。 特别是，所有扎里斯基曲面都是 单有理 的。 1977年Piotr Blass用 奥斯卡·扎里斯基 的名字来命名了该曲面，因为扎里斯基在1958年使用这种曲面给出了特征p > 0的单有理曲面的例子，而这个曲面不是有理的。 (相比特征为0的情况下， 卡斯泰定理 意味着所有单有理曲面都是有理的。) 扎里斯基曲面 双有理 于 仿射空间 A3 中由 不可多项式 定义的曲面 经过长达43年的努力，奥斯卡·扎里斯基在1971年提出的下述问题得到解决：令 S 为一个几何亏格为0的扎里斯基曲面。 那么 S 一定是一个有理曲面吗？对于 p.
新！!: 域 (數學)和扎里斯基曲面 · 查看更多 »
普羅海特-蘇-摩爾斯常數
普羅海特-蘇-摩爾斯常數（Prouhet–Thue–Morse constant）是數學中的常數，符號為\tau，得名自 、阿克塞尔·图厄及，其二進制.01101001100101101001011001101001...為，也就是 其中t_i為蘇-摩爾斯數列中的第i個元素。 t_i的其生成級數為： 可以表示為 這是的乘積，因此可以推廣到任意的域。 普羅海特-蘇-摩爾斯常數已由在1929年證明是超越數。.
新！!: 域 (數學)和普羅海特-蘇-摩爾斯常數 · 查看更多 »
