目录
222 关系: 加法單位元，动态系统理论，域扩张，基数 (数学)，原始型別，原始递归函数，偏序关系，半群，协变与逆变，卡塔兰常数，印度-阿拉伯数字系统，反證法，古埃及分數，可作图多边形，可分空间，可分扩张，可除群，可数选择公理，可數集，多項式，大统一理论，天文學辭彙，奥斯特洛夫斯基定理，婆罗摩笈多－斐波那契恒等式，子集，实数，实数域的序，完备空间，實際數，實數的構造，小数，尼古拉·布尔巴基，尼尔斯·阿贝尔，尼云定理，丟番圖逼近，不可约多项式，丢番图，希尔伯特零点定理，希尔伯特旅馆悖论，希爾伯特第十二問題，七角柱，七次方程，布朗常数，三等分角，三次平面曲线，一元二次方程，平方，平方根，平方根倒数速算法，平方数，... 扩展索引 (172 更多) »
加法單位元
在數學裡，一個具有加法運算的集合中的加法單位元，是指不論它加上任何一個在此集合內的元素x都會等於x的元素。.
查看 有理数和加法單位元
动态系统理论
动态系统理论是數學領域中的一部份．主要在描述复杂的动态系统，一般會用微分方程或差分方程來表示。若用微分方程來表示，會稱為「連續动态系统」，若用差分方程來表示，則稱為「離散动态系统」。若其時間只在一些特定區域連續，在其餘區域離散，或時間是任意的時間集合（像康托尔集），需要用時標微積分來處理。有時也會需要用混合的算子來處理，像微分差分方程。 动态系统理论處理动态系统長期的量化特性．及研究一些自然界基本的運動方程系統的解，包括衛星的運動方程，電路的特性．以及生物學中出現偏微分方程的解。許多當代的研究集中在混沌理论的研究。 此領域有時也稱為动态系统、系统理論、數學動態系统理論或是動態系统的數學理論等。.
查看 有理数和动态系统理论
域扩张
域扩张（field extensions）是数学分支抽象代数之域论中的主要研究对象，基本想法是从一个基域开始以某种方式构造包含它的“更大”的域。域扩张可以推广为环扩张。.
查看 有理数和域扩张
基数 (数学)
在日常交流中，基數或量數是對應量詞的數，例如「一顆蘋果」中的「一」。與序數相對，序數是對應排列的數，例如「第一名」中的「一」及「二年級」中的「二」。 在數學上，基數或势，即集合中包含的元素的「个数」（參見势的比较），是日常交流中基數的概念在數學上的精確化（並使之不再受限於有限情形）。有限集合的基數，其意義與日常用語中的「基數」相同，例如\的基數是3。無限集合的基數，其意義在於比較兩個集的大小，例如整數集和有理數集的基數相同；整數集的基數比實數集的小。.
查看 有理数和基数 (数学)
原始型別
在電腦科學中，原始型別（Primitive type）有別於複合型別，是由程式語言提供的資料型別，作為建立基礎。根據語言及其實作，在電腦的記憶體中，原始型別可能沒有與物件一對一的對應。 Primitive type也有稱作內建型別、基礎型別或者基本型別。.
查看 有理数和原始型別
原始递归函数
在可计算性理论中，原始递归函数（primitive recursive functions）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。 通常在数论中研究的很多函数，近似于实数值函数，比如加法、除法、阶乘、指数，找到第 n 个素数等等是原始递归的（Brainerd and Landweber, 1974）。实际上，很难设计不是原始递归的函数，尽管某些函数是已知的(比如阿克曼函数)。所以，通过研究它们，我们能发现有广泛影响的结论的那些性质。 原始递归函数可以用总是停机的图灵机计算，而递归函数需要图灵完全系统。 原始递归函数的集合在计算复杂性理论中叫做PR。.
查看 有理数和原始递归函数
偏序关系
偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.
查看 有理数和偏序关系
半群
在数学中，半群是闭合于结合性二元运算之下的集合 S 构成的代数结构。 半群的运算经常指示为乘号，也就是 x\cdot y 或简写为 xy 来指示应用半群运算于有序对 (x, y) 的结果。 半群的正式研究开始于二十世纪早期。自从1950年代，有限半群的研究在理论计算机科学中变得特别重要，因为在有限半群和有限自动机之间有自然的联系。.
查看 有理数和半群
协变与逆变
协变与逆变是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。.
查看 有理数和协变与逆变
卡塔兰常数
卡塔兰常数 G，是一个偶尔出现在组合数学中的常数，定义为： 其中β是狄利克雷β函数。它的值大约为： 目前还不知道G是有理数还是无理数。.
查看 有理数和卡塔兰常数
印度-阿拉伯数字系统
印度-阿拉伯数字系统，或稱印度數字系統，是一系列的十进制进位制的记数系统，起源于9世纪的印度。此系统像一种语系，当代的很多文字系统裡的不同记数符号都是起源于此系统。 印度-阿拉伯数字起源於印度的婆罗米数字，在中世纪时传入中东和西方。各个地区根据当地的文字系统改造了其数字字符。现在还在使用的三大分支是：.
反證法
反证法（又称背理法）是一种论证方式，他首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。 反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。.
查看 有理数和反證法
古埃及分數
古埃及的分數是不同的單位分數的和，就是分子為1，分母為各不相同的正整數。任何正有理數都能表達成這一個形式。.
查看 有理数和古埃及分數
可作图多边形
在数学中，可作图多边形是可以用尺规作图的方式作出的正多边形。例如，正五边形可以只使用圆规和直尺作出，而正七边形却不可以。.
查看 有理数和可作图多边形
可分空间
在数学中，一个拓扑空间被称为可分空间当它包含一个可数的稠密子集，也就是说，存在一个序列\_^ ，使得此空间中的每个非空的开子集都有这个序列中的至少一个元素。 如可数性公理一样，可分性是一种对空间“大小”的“限制”，虽然这个限制并不一定就是对空间中元素多少的限制（然而在豪斯多夫公理成立的时候这两者是一样的）。特别地，可分空间中的每个连续函数，只要其图像是某个豪斯多夫空间的子集的话，就会被其在某个可数的稠密子集上的取值所确定。 一般来说，对于经典分析学和几何学中的空间来说，可分性是一个很有用的技术性假设，也被认为是比较弱的假设。.
查看 有理数和可分空间
可分扩张
可分扩张是抽象代数之域扩张理论中的概念。如果一个代数扩张满足：任何一个中元素在基域上的极小多项式都是可分多项式，那么这个扩张就称作可分扩张。由于特征为0的域（包括常见的有理数域\mathbb）以及有限域都是完美域，任何这些域上的代数扩张都是可分扩张，因此可分扩张在域论研究中十分重要。可分扩张还是伽罗瓦扩张的条件之一，因此它在伽罗瓦理论中也扮演了重要的角色。.
查看 有理数和可分扩张
可除群
在群論中，一個可除群是一個滿足以下條件的阿貝爾群 G：對每個正整數 n 及元素 g \in G，存在 h \in G 使得 nh.
查看 有理数和可除群
可数选择公理
可数选择公理，指示为ACω，是公理化集合论的类似于选择公理的一个公理。它声称非空集合的任何可数搜集都一定有选择函数。保羅·寇恩证明了ACω在Zermelo-Fraenkel集合论（ZF）中是不可证明的。 ZF + ACω 足够证明可数多可数集合的并集是可数的。它还足够证明所有无限集合都是戴德金无限的（等价的说：有可数无限的真子集）。ACω对于开发数学分析特别有用，这里的很多结果依赖于实数的可数集合有选择函数（考虑为有理数的柯西序列的集合）。 ACω是弱形式的选择公理（AC），它声称非空集合的“所有”搜集一定有一个选择函数。AC明确的蕴涵了依赖选择公理（DC），而DC足够证明ACω。但是ACω要严格弱于DC（而DC严格弱于AC）。.
查看 有理数和可数选择公理
可數集
在数学上，可数集，或称可列集、可数无穷集合，是与自然数集的某个子集具有相同基數（等势）的集合。在这个意义下不是可数集的集合称为不可数集。这个术语是康托尔创造的。可数集的元素，正如其名，是“可以计数”的：尽管计数永远无法终止，集合中每一个特定的元素都将对应一个自然数。 “可数集”这个术语也可以代表能和自然数集本身一一对应的集合。例子参见两个定义的差别在于有限集合在前者中算作可数集，而在后者中不算作可数集。 为了避免歧义，前一种意义上的可数有时称为至多可数，参见.
查看 有理数和可數集
多項式
多项式（Polynomial）是代数学中的基础概念，是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式；例如x^2-3x+4就是一个一元多项式。未知数不止一个的多项式称为多元多项式，例如就是一個三元多项式。 可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。 多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。.
查看 有理数和多項式
大统一理论
大统一理论（Grand Unification Theory，缩写GUT）是一種物理理论。物理學者希望能藉由单獨一種物理理论来合理解释电磁相互作用、强相互作用和弱相互作用导致的物理现象。大统一理论算是物理界迈向万有理论的踏脚石。請注意，大统一理论并不包括引力，试图也将引力统一的理论称為万有理论。.
查看 有理数和大统一理论
天文學辭彙
天文學辭彙是天文學上的一些術語。這項科學研究與關注的是在地球大氣層之外的天體和現象。天文學的領域有豐富的辭彙和大量的專業術語。.
查看 有理数和天文學辭彙
奥斯特洛夫斯基定理
奥斯特洛夫斯基定理是一个关于有理数域绝对赋值的定理。于1916年由亚历山大·奥斯特洛夫斯基证明。该定理说明，任何非平凡的有理数Q的绝对赋值要么等价于通常实数域的绝对赋值，要么等价于p进数的绝对赋值。.
婆罗摩笈多－斐波那契恒等式
婆罗摩笈多-斐波那契恒等式是以下的恒等式： \left(a^2 + b^2\right)\left(c^2 + d^2\right) &.
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
查看 有理数和子集
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
查看 有理数和实数
实数域的序
利用有理数的分划的概念，可以定义无理数，建立无理数的比较规则，并在此基础上得到实数域的序的有关性质。 假设无理数\alpha由分划A|A'所确定，无理数\beta由分划B|B'所确定，则.
查看 有理数和实数域的序
完备空间
完备空间或者完备度量空间是具有下述性质的空间：空间中的任何柯西序列都收敛在该空间之内。.
查看 有理数和完备空间
實際數
實際數（practical number） cites and for the name "panarithmic numbers".
查看 有理数和實際數
實數的構造
在數學裡，'''實數系統'''可以透過不同方式被定義。其中，基本方法通過一些公理將實數系統定為一個完備的有序數域。通過集合論公理，可以證明基本方法中給定的公理是絕對的，即是說如果有兩個模型都符合那些公理，那麼這兩個模型必然是同構的。這樣的模型須是從更基礎的對象構建而成的，而多數的模型的建立都是借助於有理數域。.
查看 有理数和實數的構造
小数
小数，是實数的一种特殊的表现形式。所有分数都可以表示成小数，小数中的圆点叫做小数点，它是一个小数的整数部分和小数部分的分界号。其中整数部分是零的小数叫做纯小数，整数部分不是零的小数叫做带小数。.
查看 有理数和小数
尼古拉·布尔巴基
尼古拉·布尔巴基（Nicolas Bourbaki，法語發音）是20世纪一群法国数学家的笔名。他們由1935年開始撰寫一系列述說對現代高等數學探研所得的書籍。以把整個數學建基於集合论為目的，在過程中，布尔巴基致力於做到最極端的嚴謹和泛化，建立了些新術語和概念。 布尔巴基是个虚构的人物，布尔巴基团体的正式称呼是“尼古拉·布尔巴基合作者协会”，在巴黎的高等师范学校设有办公室。.
查看 有理数和尼古拉·布尔巴基
尼尔斯·阿贝尔
尼尔斯·亨利克·阿贝尔（Niels Henrik Abel，），挪威數學家，開啟許多領域的研究，以證明懸疑餘兩百五十年五次方程的根式解的不可能性和对椭圆函数的研究中提出阿貝爾方程式而聞名。 生于挪威芬岛附近的 ，就读于奥斯陆大学。1825年得到政府资助，游学柏林和巴黎。儘管阿贝尔成就極高，卻生前不得志，無法獲得教席俾專心研究，最後因過度貧窮染上肺结核逝世於挪威的弗鲁兰。死後兩天，來自柏林的聘書才寄到家中。跟同樣早逝的伽羅華一同被奉為群論的先驅。现代有以他名字命名的阿贝尔奖。 法國數學家夏爾·埃爾米特讚曰：「阿貝爾讓數學家們足夠忙上五百年的。」 ；另一法國數學家阿德里安-馬里·勒讓德曰：「這挪威青年的頭腦實在不簡單啊！.
查看 有理数和尼尔斯·阿贝尔
尼云定理
尼云定理（Niven's theorem）说的是，在 0~90° 范围内，如果正弦函数 sin 的自变量和因变量都要求是有理数，那么答案只有： 若用弧度表示，需在0 ≤ x ≤ /2的範圍內，且要求x/及sin x都是有理數。其結果是sin 0.
查看 有理数和尼云定理
丟番圖逼近
丢番图分析是数论的一个分支。最经典的丢番图逼近主要用於有理数逼近实数，亦即实数的有理逼近相关问题。其中有理数一般用分数形式表达，且一律要求分子为整数，分母为正整数，通常要求是既约分数。 "丢番图逼近"的名称源于古希腊数学家丢番图。这是因为有理逼近可以归结为求不等式整数解的问题，而求方程整数解的问题一般称为丢番图方程（或不定方程），故而得名。事实上，丢番图逼近与不定方程的研究确有颇多相关。 丢番图逼近的首要问题是寻求实数的最佳（有理）丢番图逼近，简称最佳逼近。具体来说，对于一个实数 \alpha，希望找到一个"最优"的有理数 p/q 作为 \alpha 的近似，使在分母不超过 q 的所有有理数中，p/q 与 \alpha 的距离最小。这里的"距离"可以是欧氏距离，即两数之差的绝对值；也可以用 |q\alpha-p| 等方式度量。满足此类要求的有理数 p/q 称为实数 \alpha 的一个最佳逼近。关于如何寻找实数的最佳逼近及相关论题，已于18世纪随着连分数理论的发展得到基本解决。 其后，该领域的主要注意力转向对有理逼近的误差进行估计、度量，以给出尽可能精确的上下界（一般用分母的函数表示）。作为分母的函数, 这种上下界的阶与 \alpha 的性质密切相关。当 \alpha 分别为有理数、代数数、超越数时，其最佳逼近误差下界的阶是不同的。基于这种思想，刘维尔在1844年建立了有关代数数逼近的一个基本结论，并由此具体地构造出了一个超越数（参见刘维尔数），证明了它的超越性。这在人类历史上尚属首次。由此可见，丢番图逼近与数论的另一分支——超越数论紧密相关。 除了上述最经典的单个实数的有理逼近问题，该领域还包括多个实数的联立逼近，非齐次逼近，实数的代数数逼近，一致分布（均匀分布）等方面。甚至连p进数上的丢番图逼近也有颇多研究。.
查看 有理数和丟番圖逼近
不可约多项式
在數學裡，不可約多項式（irreducible polynomial）是指不可被分解成兩個非常數多項式之乘積的非常數多項式。不可約的性質取決於係數所屬於的體或環。例如，多項式在係數1與 -2被認為是整數時是不可約的，而在這些係數被認為是實數時可分解成(x-\sqrt)(x+\sqrt)。亦即，「多項式在整數上不可約，但在實數上不是不可約。」 不是不可約的多項式有時會被稱為可約。不過，「可約」這一詞可能被會用來指其他的概念，須小心使用。 不可約多項式於多項式分解與代數體擴張裡都會自然地出現。 將不可約多項式與質數相比會很有幫助：質數（與具相同大小之對應負數）為不可約的整數。質數具有的許多「不可約」這個概念之一般性質，同樣可適用於不可約多項式之上，如質數或不可約因式的唯一分解。.
查看 有理数和不可约多项式
丢番图
亞歷山大港的丟番图（希臘語：Διόφαντος ὁ Ἀλεξανδρεύς，生卒年約公元200～214至公元284～298），有“代數之父”之稱；也有人認為此稱謂應與比他大約晚出生五百年的一位波斯數學家花拉子米共享。 人们对丢番图的生活知之甚少。在罗马时代，他住在埃及的亚历山大港，大概从公元200年到214年，到284年或298年。丢番图曾被历史学家描述为希腊人，非希腊人，希腊化的埃及人，希腊化的巴比伦人，犹太人，或者是迦勒底人。我们对丢番图生活的了解，来自于一个5世纪的希腊文集。 他作著的叢書《算術》（Arithmetica）處理求解代數方程組的問題，但其中有不少已經遺失。後來當法國數學家費馬研究《算術》一書時，對其中某個方程頗感興趣並認為其無解，說他對此「已找到一個絕妙的證明」，但他卻没有寫下來，三個世紀後才出現完整的證明，詳見費馬大定理。在數論中常常能看到他的名字，如丟番圖方程、丟番圖幾何、丟番圖逼近等都是數學裡重要的研究領域。丟番圖是第一個承認分數是一種數的希臘數學家－－他允許方程中的系數和解為有理數，這是在數學史中具有開創性的。不過在今天，丟番圖方程一詞通常指以整數作為系數的代數方程，而其解也要求是整數。丟番圖在數學符號方面也作出了貢獻。.
查看 有理数和丢番图
希尔伯特零点定理
希尔伯特零点定理（Hilbert's Nullstellensatz）确立了几何和代数之间的基本关系。数学中一大重要分支——代数几何——正是建立在这一关联的基础之上的。零点定理联系了代数集与（代数闭域上的）多项式环中的理想。大卫·希尔伯特最早发现了这一关联，并证明了零点定理及其它相关的重要定理（如希尔伯特基定理）。.
查看 有理数和希尔伯特零点定理
希尔伯特旅馆悖论
希尔伯特旅馆悖论是一个与无限集合有关的数学悖论，由德国数学家大卫·希尔伯特提出。.
查看 有理数和希尔伯特旅馆悖论
希爾伯特第十二問題
希爾伯特第十二問題（Hilbert's twelfth problem）是希爾伯特的23個問題之一，將只適用有理数域下的，擴展到任意的代數數域。利用已可將克罗内克－韦伯定理延伸到虛二次域。進一步的擴展（一般不太精確的稱為克羅內克的青春夢（Kronecker Jugendtraum））到2008年為止尚未解決。一般認為十九世紀德國數學家利奧波德·克羅內克（Leopold Kronecker）將這個和複乘有關的問題視為「年輕時最親愛的夢想」（liebster Jugendtraum）。.
七角柱
在幾何學中，七角柱是一種多面體，是柱體的一種，是指底面是七邊形的柱體。所有七角柱都有9個面，21個邊和14個頂點。所有七角柱都是九面體 如果七角柱每個面都是正多邊形，則它是半正多面體。 正七角柱可以視為一種半正多面體，底面為正七邊形，其施萊夫利符號可以用t或x表示，t是指正七角柱可以藉由七面形透過截角變換構造而來，其在中用2 7 | 2表示。 正七角柱是一種比較特殊的多面體，由於他具有一個非整數的有理數角度，且與正六角柱接近，因此在工程學上有些應用，例如正七角柱可以用在特殊汽缸的設計、正七角柱的稜鏡可以用在干涉濾光器的光信號多路復用器中。除此之外，正七角柱也出現在自然界中，例如碘合氮化硼化鎂（Mg825I）的碘離子為正七角柱的晶體結構，例如伊樂藻，有91％的親本細胞為正七角柱。 此外，也有人設計七角柱形的魔術方塊，或是經過截角變換的七角柱。 七角柱有二種兩面角，其中一個為90度，即頂面（或底面）與側面的夾角，另一個是128\frac度，即兩側面的夾角。.
查看 有理数和七角柱
七次方程
七次方程是可以用下式表示的方程 其中a ≠ 0.
查看 有理数和七次方程
布朗常数
1919年，挪威数学家維果·布朗（Viggo Brun）证明了所有孪生素数的倒数之和收敛于一个数学常数，称为布朗常数(Brun's constant)，记为B2 ： + \left(\frac + \frac\right) + \left(\frac + \frac\right) + \left(\frac + \frac\right) + \left(\frac + \frac\right) + \cdots 而所有'''素数'''的倒数之和则是发散的。假如以上的级数发散，则我们立刻就可以证明孪生素数猜想。但由于它收敛，我们就不知道是否有无穷多个孪生素数(若孪生素数之平方根的倒數和發散，則亦可知其為無限多)。类似地，如果证明了布朗常数是无理数，也立刻就可以证明孪生素数猜想。但如果它是有理数，则仍然无法知道孪生素数是不是无限的。 Thomas R.
查看 有理数和布朗常数
三等分角
三等分角是古希臘平面几何里尺規作圖领域中的著名问题，與化圓為方及倍立方問題並列為尺规作图三大難題。尺规作图是古希腊人的数学研究课题之一，是对具体的直尺和圆规画图可能性的抽象化，研究是否能用规定的作图法在有限步内达到给定的目标。三等分角问题的内容是：“能否仅用尺规作图法将任意角度三等分？” 三等分角问题提出后，在漫长的两千余年中，曾有众多的尝试，但没有人能够给出严格的答案 。随着十九世纪群论和域论的发展，法国数学家首先利用伽罗瓦理论证明，這個問題的答案是否定的：不存在仅用尺规作图法将任意角度三等分的通法。具体来说，汪策尔研究了给定单位长度後，能够用尺规作图法所能达到的长度值。所有能够经由尺规作图达到的长度值被称为规矩数，而汪策尔证明了，如果能够三等分任意角度，那么就能做出不属于规矩数的长度，从而反证出通过尺规三等分任意角是不可能的。 如果不将手段局限在尺规作图法中，放宽限制或借助更多的工具的话，三等分任意角是可能的。然而，作为数学问题本身，由于三等分角问题表述简单，而证明困难，并用到了高等的数学方法，在已證明三等分角问题不可能之後后，仍然有许多人尝试给出肯定的证明。.
查看 有理数和三等分角
三次平面曲线
三次平面曲线（cubic plane curve）是指用以下三次函數定義的平面代數曲線 C 針對射影平面會使用齐次坐标，或是在仿射空间中的非齊次版本，會令上述方程中的。F是以下三次的非零線性組合 共有十個單項，因此三次曲线會在給定的任意域K中形成九維的。。若指定九個任意的點，通過其上的三次曲线可能會退化，也可能不唯一，不過若這九個點是在一般位置上，通過其上的三次曲线唯一，且不會退化，就像二點決定一直線，以及一樣，若二條圓錐曲線通過相同的九個點，這些點會滿足一些特殊的條件，可參考。 牛頓曾研究三次曲線中的實數點。非奇異的投影三次曲線會落在一個或二個--卵形--內。其中一個卵形會和每一個實數投影曲線相交，因此若畫在二维空间中，此部份是沒有上界的，會有一個或三個一直延伸到無限大的分枝，其中也會有三個實數的反曲點。另一個卵形若存在，不會包括任何的反曲點，會是一個卵形或是有二個延伸到無限大分枝的圖形。就像圆锥曲线一樣，一條直線和這個卵形最多只會有二個交點。 任意的域K上，非奇異的投影三次曲線可定義椭圆曲线現今對椭圆曲线的研究主要是以魏爾斯特拉斯橢圓函數的變體的主，可以定義一個有理函數域的，做法是將三次曲線的平方根取出。這也和是否存在K-有關，在魏爾斯特拉斯型式下是无穷远点，有許多的三次曲線沒有這様的點，例如像K是有理数域的情形。 不可化簡三次曲線的奇異點只有幾種：一個二重點或是一個尖點。可化簡三次曲線可能是一個圓錐曲線和一條直線，或是三條直線，可能會有二個二重點或是一個（一個圓錐曲線和一條直線的情形），若是三條直線，也可能有三個二重點，或是一個三重點（）。.
查看 有理数和三次平面曲线
一元二次方程
一元二次方程式是只含有一个未知数，并且未知数的最高次数是二次的多项式方程。 例如，x^2-3x+2.
查看 有理数和一元二次方程
平方
代数中，一个数的平方是此数与它的本身相乘所得的乘积，一个元素的平方是此元素与它的本身相乘所得的乘积，记作x2。平方也可視為求指數为2的幂的值。若x是正实数，这个乘积相当于一个边长为x的正方形的面积；如果x为虚数，则这个乘积为负数。如果x为非虛數的复数，则这个乘积也是复数。 如果实数y.
查看 有理数和平方
平方根
在數學中，一個數x的平方根y指的是滿足y^2.
查看 有理数和平方根
平方根倒数速算法
平方根倒数速算法（Fast Inverse Square Root，亦常以“Fast InvSqrt()”或其使用的十六进制常数0x5f3759df代称）是用于快速计算\scriptstyle x^（即\scriptstyle x的平方根的倒数，在此\scriptstyle x需取符合IEEE 754标准格式的32位浮点数）的一种算法。此算法最早可能是于90年代前期由SGI所发明，后来则于1999年在《雷神之锤III竞技场》的源代码中应用，但直到2002－2003年间才在Usenet一类的公共论坛上出现。这一算法的优势在于减少了求平方根倒数时浮点运算操作带来的巨大的运算耗费，而在计算机图形学领域，若要求取照明和投影的波动角度与反射效果，就常需计算平方根倒数。 此算法首先接收一个32位带符浮点数，然后将之作为一个32位整数看待，以将其向右进行一次逻辑移位的方式将之取半，并用十六进制“--”0x5f3759df减之，如此即可得对输入的浮点数的平方根倒数的首次近似值；而后重新将其作为浮点数，以牛顿法反复迭代，以求出更精确的近似值，直至求出符合精确度要求的近似值。在计算浮点数的平方根倒数的同一精度的近似值时，此算法比直接使用浮点数除法要快四倍。 此算法最早被认为是由约翰·卡马克所发明，但后来的调查显示，该算法在这之前就于计算机图形学的硬件与软件领域有所应用，如SGI和3dfx就曾在产品中应用此算法。而就现在所知，此算法最早由加里·塔罗利（Gary Tarolli）在的开发中使用。虽说随后的相关研究也提出了一些可能的来源，但至今为止仍未能确切知晓算法中所使用的特殊常数的起源。.
查看 有理数和平方根倒数速算法
平方数
数学上，平方数，或称完全平方数，是指可以写成某个整数的平方的数，即其平方根为整数的数。例如，9.
查看 有理数和平方数
幺半群
在抽象代數此一數學分支中，幺半群（又稱為單群、亞群、具幺半群或四分之三群）是指一個帶有可結合二元運算和單位元的代數結構。么半群在許多的數學分支中都會出現。在幾何學中，幺半群捉取了函數複合的概念；更確切地，此一概念是從範疇論中抽象出來的，之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎；在此，變換幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群和歷史幺半群則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題。.
查看 有理数和幺半群
广义黎曼猜想
黎曼猜想是数学中最重要的猜想之一，描述了黎曼ζ函数非平凡零点的分布规律。而其中黎曼ζ函数可以用各种整体L函数（global L-function）替代，由此得到黎曼猜想不同类型的推广。这些推广的猜想描述的是不同L函数非平凡零点分布的规律。许多数学家相信这些猜想是正确的。不过其中仅有部分函数域情形下的推广得到了证明。 整体L函数可以与椭圆曲线、数域（此时称为戴德金ζ函数）、马斯形式（Maass form）或狄利克雷特征（此时称为狄利克雷L函数）相联系。其中，描述戴德金ζ函数的黎曼猜想被称为扩展黎曼猜想（extended Riemann hypothesis，ERH），而描述狄利克雷L函数的黎曼猜想则被称为广义黎曼猜想（generalized Riemann hypothesis，GRH）。（也有许多数学家用“广义黎曼猜想”用作对各种整体L函数推广的总称，而非单指狄利克雷L函数下的情形。）.
查看 有理数和广义黎曼猜想
幂函数
幂函数（Power function）是形如f(x).
查看 有理数和幂函数
交换环
在抽象代数之分支环论中，一个交换环（commutative ring）是乘法运算满足交换律的环。对交换环的研究称为交换代数学。 某些特定的交换环在下列类包含链中：.
查看 有理数和交换环
度量空间
在数学中，度量空间是个具有距離函數的集合，該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外，亦存在其他的度量空間，如橢圓幾何與雙曲幾何，而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型，作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质，这导致了对更抽象的拓扑空间之研究。.
查看 有理数和度量空间
二項式係數
二項式係數在數學上是二項式定理中的係數族。其必然為正整數，且能以兩個非負整數為參數確定，此兩參數通常以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）。.
查看 有理数和二項式係數
二进分数
二进分数，也称为二进有理数，是一种分母是2的幂的分数。可以表示成a/2b，其中，a 是一个整数，b 是一个自然数。例如：1/2，3/8，而1/3就不是。(英制单位中广泛采用二进分数，例如3/4英寸，1/16英寸，1/2磅。) 所有二进分数组成的集合在实数轴上是稠密的：任何实数x都可以用形为\lfloor 2^i x \rfloor / 2^i的二进分数无限逼近。与实数轴上的其它稠密集，例如有理数相比，二进分数是相对“小”的稠密集，这就是为什么它们有时出现在证明中（例如乌雷松引理）。 任何两个二进分数的和、积，与差也是二进分数： 但是，两个二进分数的商则一般不是二进分数。因此，二进分数形成了有理数Q的一个子环。 E.
查看 有理数和二进分数
二次域
在代數數論中，二次域是在有理數域\mathbb上次數為二的數域。二次域可以唯一地表成\mathbb(\sqrt)，其中d無平方數因數。若d>0，稱之為實二次域；否則稱為虛二次域或複二次域。虛實之分在於\mathbb(\sqrt)是否為全實域 二次域的 研究肇源甚早，起初是作為二次型理論的一支。二次域是代數數論的基本對象之一，雖然如此，至今仍有一些未解猜想，如類數問題。.
查看 有理数和二次域
二次互反律
在数论中，特别是在同余理论里，二次互反律（Law of Quadratic Reciprocity）是一个用于判别二次剩余，即二次同余方程x^2 \equiv p \pmod q 之整数解的存在性的定律。二次互反律揭示了方程x^2 \equiv p \pmod q 可解和 x^2 \equiv q \pmod p 可解的简单关系。运用二次互反律可以将模数较大的二次剩余判别问题转为模数较小的判别问题，并最后归结为较少的几个情况，从而在实际上解决了二次剩余的判别问题。然而，二次互反律只能提供二次剩余的存在性，对于二次同余方程的具体求解并没有实际帮助。 二次互反律常用勒让德符号表述：对于两个奇素数 p 和 q， 其中\left(\tfrac \right) 是勒让德符号。但是对于更一般的雅可比符号和希尔伯特符号也有对应的二次互反律。 欧拉和勒让德都曾经提出过二次互反律的猜想。但第一个严格的证明是由高斯在1796年作出的，随后他又发现了另外七个不同的证明。在《算数研究》一书和相关论文中，高斯将其称为“基石”： 此基石應當被視為此類型的定理中最為典雅的其中之一。(Art.
查看 有理数和二次互反律
二次無理數
數論上，二次無理數（quadratic irrational）是某些有理數係數的一元二次方程的根。若將所有係數乘以分母的最小公倍數，即可將係數轉換為整數。因此所有二次無理數都可以表示成\frac 其中 若c為正數，所得的是實二次無理數，若c為負數，所得的是複二次無理數。二次無理數是可數集。 1770年，拉格朗日證明一個數字能表示成循環連分數，若且唯若此數為實二次無理數。例如\sqrt.
查看 有理数和二次無理數
事件 (概率论)
在概率論中，隨機事件（或簡稱事件）指的是一個被賦與機率的事物集合，也就是樣本空間中的一個子集。簡單來說，在一次隨機試驗中，某個特定事件可能出現也可能不出現；但當試驗次數增多，我們可以觀察到某種規律性的結果，就是隨機事件。基本上，只要樣本空間是有限的，則在樣本空間內的任何一個子集合，都可以被稱為是一個事件。然而，當樣本空間是無限的時候，特別是不可數之時，就常常不能定義所有的子集為隨機事件了。因此，爲了定義一個概率空間，常常需要去掉樣本空間的某些子集，規定他們不能成為事件。.
查看 有理数和事件 (概率论)
代数
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。 初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。 代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。 e.g.2-4+6-8+10-12+…-96+98-100+102.
查看 有理数和代数
代数几何
代数几何是数学的一个分支。 经典代数几何研究多项式方程的零点，而现代代数几何将抽象代数，尤其是交换代数，同几何学的语言和问题结合起来。 代数几何的基本研究对象为代数簇。代数簇是由空间坐标的若干代数方程的零点集。常见的例子有平面代数曲线，比如直线、圆、椭圆、抛物线、双曲线、三次曲线（非奇异情形称作椭圆曲线）、四次曲线（如双纽线，以及卵形线）、以及一般n次曲线。代数几何的基本问题涉及对代数簇的分类，比如考虑在双有理等价意义下的分类，即双有理几何，以及模空间问题，等等。 代数几何在现代数学占中心地位，与多复变函数论、微分几何、拓扑学和数论等不同领域均有交叉。始于对代数方程组的研究，代数几何延续解方程未竟之事；与其求出方程实在的解，代数几何尝试理解方程组的解的几何性质。代数几何的概念和技巧都催生了某些最深奥的数学的分支。 进入20世纪，代数几何的研究又衍生出几个分支：.
查看 有理数和代数几何
代数数域
代数数域是数学中代数数论的基本概念，数域的一类，有时也被简称为数域，指有理数域\mathbb的有限扩张形成的扩域。任何代数数域都可以视作\mathbb上的有限维向量空间。 对代数数域的研究，或者更一般地说，对有理数域的代数扩张的研究，是代数数论的中心主题。.
查看 有理数和代数数域
代數函數
代數函數是指只包含常数与自变量相互之间有限次的加、減、乘、除、有理指数幂和開方六种运算的函數。非代數函數則稱為超越函數。.
查看 有理数和代數函數
代數獨立
在抽象代數裡，一個體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:域论.
查看 有理数和代數獨立
代數閉域
在數學上，一個域F被稱作代數閉--，若且唯若任何係數属于F且次數大於零的單變數多項式在F裡至少有一個根。.
查看 有理数和代數閉域
代數整數
在數學裡，代數整數（algebraic integer）是複數中的一类。一个複数α是代数整数当且仅当它是某个個整系數的首一多項式P(x)的根。其中首一（英文：monic）意謂最高冪次項的系數是1。 因此，所有代數整數都是代數數，但並非所有代數數都是代數整數。所有代数整数构成一个环，通常记作\mathbb。 如果P(x)是整係數本原多項式（即系數的最大公因数是1的多项式），但非首一多項式，則P的根都不是代數整數。.
查看 有理数和代數整數
代數數
代數數是代数与数论中的重要概念，指任何整係數多项式的复根。 所有代数数的集合构成一个域，称为代数数域（与定义为有理数域的有限扩张的代数数域同名，但不是同一个概念），记作\mathcal或\overline，是复数域\mathbb的子域。 不是代数数的实数称为超越数，例如圆周率。.
查看 有理数和代數數
代數數論
在數學中，代數數論是數論的一支，其中我們將「數」的概念延伸，以解決具體的數論問題。我們在代數數論中考慮代數數，這類數是有理係數多項式的根。與此相關的概念是數域，這是有理數域的有限擴張。在此框架下能推廣整數為代數整數，並研究一個數域裡的代數整數。 代數整數在加法、減法與乘法下構成一個環，但整數的許多性質並不能推廣到一般數域裡的代數整數上，其中一個例子是素因數分解的唯一性（又稱算術基本定理），這是十九世紀數學家試圖證明費馬大定理時遇到的主要阻礙，然而代數數論的應用不僅止於此。數學中一些較深入的理論有助於讓我們了解代數數與代數整數的性質——包括伽羅瓦理論、伽羅瓦上同調、類域論、表示理論與L-函數的相關理論等等。 數論中的許多問題可藉由「模 p」（其中 p 為素數）來研究。這套技術導向p進數的建構，而p進數是局部域的例子；局部域的研究運用了一些研究數域時的相同方法，但是通常更容易處理。一般數域上的陳述常與各個局部域上的相應陳述有關，例如哈瑟原理：「一個有理係數二次方程在有理數域上有解，若且唯若它在實數上及在每個素數 p 之 p進數域上有解」。這類結果往往被稱作局部-整體原理，其中「局部」意指局部域，而「整體」意指數域。.
查看 有理数和代數數論
介值定理
在数学分析中，介值定理（intermediate value theorem）（又稱中間值定理）描述了連續函數在兩點之間的連續性： 直觀地比喻，這代表在區間上可以畫出一個連續曲線，而不讓筆離開紙面。如果這個連續函數是光滑曲線，其任二點間的光滑性可由均值定理來描述。 介值定理首先由伯纳德·波尔查诺在1817年提出和证明，在這個證明中，他附帶證明了波爾查諾－魏爾斯特拉斯定理。.
查看 有理数和介值定理
伯特蘭定理
在經典力學裏，伯特蘭定理闡明，只有兩種位勢V可以給出閉合軌道：.
查看 有理数和伯特蘭定理
伽罗瓦群
伽罗瓦群（Groupe de Galois）是抽象代数中域论的概念，表示与某个类型的域扩张相伴的群，是伽罗瓦理论的基础概念。域扩张源于多项式。通过伽罗瓦群研究域扩张以及多项式的理论，称为伽罗瓦理论，是十九世纪法国数学家埃瓦里斯特·伽罗瓦为了解决“高次多项式方程是否有根式解”的问题而创造的。后世也以他的名字命名相关的概念。 用置换群更初等地讨论伽罗瓦群，参见伽罗瓦理论一文。.
查看 有理数和伽罗瓦群
伽羅瓦理論
在数学中，特别是抽象代数理论中，由法國數學家埃瓦里斯特·伽罗瓦（Évariste Galois）得名的伽罗瓦理论提供了域论和群论之间的联系。应用伽罗瓦理论，域论中的一些问题可以化简为更简单易懂的群论问题。 伽罗瓦最初使用置换群来描述给定的多项式的根与根之间的关系。由戴德金（Julius Wilhelm Richard Dedekind）、利奥波德·克罗内克（Leopold Kronecker）、埃米爾·阿廷（Emil Artin）等人发展起来的现代伽罗瓦理论引入了关于域扩张及其自同构的研究。 伽罗瓦理论的进一步抽象为伽罗瓦连接理论。.
查看 有理数和伽羅瓦理論
作用量-角度坐标
在經典力學裏，作用量-角度坐標（action-angle coordinate）是一組正則坐標，通常在解析可積分系統 (Integrable system) 時，有很大的用處。應用作用量-角度坐標的方法，不需要先解析運動方程式，就能夠求得振動或旋轉的頻率。作用量-角度坐標主要用於完全可分的 哈密頓-亞可比方程式（哈密頓量顯性地不含時間，也就是說，能量保持恆定）。作用量-角度變數可以用來定義一個環面不變量。因為，保持作用量的不變設定了環的曲面，而角度是環面的另外一個坐標，粒子依照著角度，捲繞於環面。 在量子力學早期，波動力學發展成功之前，波耳-索末菲量子化條件 (Bohr-Sommerfeld quantization) 是研究量子力學的利器。此條件闡明，作用量必須是普朗克常數常數的整數倍。愛因斯坦對於 Einstein-Brillouin-Keller action quantization 深刻的理解 與 非可積分系統 量子化的困難，都是以 作用量-角度坐標的環面不變量 來表達。 在哈密頓力學裏，作用量-角度坐標也可以應用於微擾理論，特別是在決定緩漸不變量。關於一個自由度很小的動力系統的非線形微擾，混沌理論研究的最早的一個結果是 KAM theorem 。這定理闡明，對於微小微擾，環面不變量是穩定的。 作用量-角度坐標，對於戶田晶格 (Toda field theory) 的解析，對於 Lax pairs 的定義，更廣義地，對於一個系統同光譜 (isospectral) 演化的構想，都佔有關鍵地位。.
查看 有理数和作用量-角度坐标
循环小数
循环小数，是從小數部分的某一位起，一個數字或幾個數字，依次不斷地重複出現的小數。可分为有限循环小数和无限循环小数。.
查看 有理数和循环小数
圓周率
圓周率是一个数学常数，为一个圆的周长和其直径的比率，约等於3.14159。它在18世纪中期之后一般用希腊字母π指代，有时也拼写为“pi”（）。 因为π是一个无理数，所以它不能用分数完全表示出来（即它的小数部分是一个无限不循环小数）。当然，它可以用像\frac般的有理数的近似值表示。π的数字序列被認為是随机分布的，有一种统计上特别的随机性，但至今未能证明。此外，π还是一个超越数——它不是任何有理数系数多项式的根。由於π的超越性质，因此不可能用尺规作图解化圆为方的问题。 几个文明古国在很早就需要计算出π的较精确的值以便于生产中的计算。公元5世纪时，南朝宋数学家祖冲之用几何方法将圆周率计算到小数点后7位数字。大约同一时间，印度的数学家也将圆周率计算到小数点后5位。历史上首个π的精确无穷级数公式（即π的莱布尼茨公式）直到约1000年后才由印度数学家发现。在20和21世纪，由于计算机技术的快速发展，借助计算机的计算使得π的精度急速提高。截至2015年，π的十进制精度已高达1013位。当前人类计算π的值的主要原因为打破记录、测试超级计算机的计算能力和高精度乘法算法，因为几乎所有的科学研究对π的精度要求都不会超过几百位。 因为π的定义中涉及圆，所以π在三角学和几何学的许多公式，特别是在圆形、椭球形或球形相關公式中广泛应用。由于用於特征值这一特殊作用，它也在一些数学和科学领域（例如数论和统计中计算数据的几何形状）中出现，也在宇宙学，热力学，力学和电磁学中有所出现。π的广泛应用使它成为科学界内外最广为人知的常数之一。人们已经出版了几本专门介绍π的书籍，圆周率日（3月14日）和π值计算突破记录也往往会成为报纸的新闻头条。此外，背诵π值的世界记录已经达到70,000位的精度。.
查看 有理数和圓周率
圆周率中的六个9
在圓周率的小數值中，连续的六个9是指從小數點後第762位開始的連續六個9.
查看 有理数和圆周率中的六个9
初等等价
在数学中，特别是模型论中，给定语言的两个结构被称为初等等价的，如果它们的理论相同，就是说任何被一个模型满足的句子也被另一个模型满足。.
查看 有理数和初等等价
利奥波德·克罗内克
利奥波德·克罗内克（Leopold Kronecker，），德国数学家与逻辑学家，出生于西里西亞利格尼茨（现属波兰的莱格尼察），卒于柏林。他认为算术与数学分析都必须以整数为基础，他曾说：“上帝创造了整数，其余都是人做的工作”（Bell 1986, 477页）。这与数学家格奥尔格·康托尔的观点相互对立。克罗内克是恩斯特·库默尔的学生和终身挚友。 以克罗内克命名的数学理论包括克罗内克δ、克罗内克积等。 Kronecker–Weber定理說明若K / \mathbb是有理數集\mathbb的有限阿貝爾擴張，則K是的一個分圓域的子域。 Kronecker引理說明： 若(x_n)_^\infty是一個實數數列，使得 存在且有限，則對於0及b_n \to \infty則有 Category:19世纪数学家 Category:德国数学家 Category:邏輯學家 Category:猶太科學家 Category:柏林洪堡大學教師 Category:柏林洪堡大學校友 Category:德國猶太人 Category:西里西亞人 分类:绅士科学家.
分式環
在抽象代數中，分式環或分式域是包含一個整環的最小域，典型的例子是有理數域之於整數環。此外分式環也可以推廣到一般的交換環，此時通常稱作全分式環。 分式環有時也被稱為商域，但此用語易與商環混淆。.
查看 有理数和分式環
分圆域
在数论中，分圆域是在有理数域 \mathbb 中添加复数单位根进行扩张而得到的数域。将 n 次单位根 \zeta_n 加入而得到的分圆域称为 n 次分圆域，记作 \mathbb(\zeta_) 。 由于与费马最后定理的联系，分圆域在现代代数和数论的研究中扮演着重要的角色。正是因为库默尔对这些数域上（特别是当 p为素数时）的算术的深入研究，特别是在相应整环上唯一分解定理的失效，使得库默尔引入了理想数的概念，并证明了著名的库默尔同余。.
查看 有理数和分圆域
分划
分划是数学中对于全序集的操作。对于给定的全序集A及其中某个元素x而言，将A分拆为两个非空集合，使得两者其一中所有元素（按照顺序）均在x之前、另一中所有元素均在x之后。 常见的是对于全体有理数的操作，即A.
查看 有理数和分划
分裂域
在抽象代数中，一个系数域为\mathbb的多项式P(x)\,的分裂域（根域）是\mathbb的“最小”的一个扩域\mathbb，使得在其中P\,可以被分解为一次因式x-r_i\,的乘积，其中的r_i\,是\mathbb中元素。一个\mathbb上的多项式并不一定只有一个分裂域，但它所有的分裂域都是同构的：在同构意义上，\mathbb上的多项式的分裂域是唯一的。.
查看 有理数和分裂域
分母有理化
分母有理化，简称有理化，指的是将该原为无理数的分母化为有理数的过程，也就是将分母中的根号化去。 有理化后通常方便运算，有理化的过程可能會影響分子，但分子及分母的比例不變。.
查看 有理数和分母有理化
分数微积分
数学上，分数微积分（fractional calculus）是数学分析的一个分支，它研究微分算子D.
查看 有理数和分数微积分
分數
分數（fraction）是用分式（分數式）表達成 \frac 的数（a, b \in Z, b\neq 0）。在上式之中，b 稱為分母（Denominator）而 a 稱為分子（Numerator），可視為某件事物平均分成 b 份中佔 a 分，讀作「b 分之 a」。中間的線稱為分線或分数线。有時人們會用 a/b 來表示分數。.
查看 有理数和分數
單位分數
-- --，或称--，是分子是1，分母是正整數并寫成分數的有理數，。因此單位分數都是某一個正整數的倒數，1/n。 它們的和 \sum_^n \frac.
查看 有理数和單位分數
周期函数
在数学中，周期函数是無論任何独立变量上經過一个确定的周期之后数值皆能重复的函数。我们日常所见的钟表指针以及月亮的月相都呈现出周期性的特点。周期性运动是系统的运动位置呈现周期性的运动。 对于实数或者整数函数来说，周期性意味着按照一定的间隔重复一个特定部分就可以绘制出完整的函数图。如果在函数f中所有的位置x都满足 那么，f就是周期为T的周期函数。非周期函数就是没有类似周期T的函数。 如果周期函数f的周期为T，那么对于f中的任意x以及任意整数n，有 若T.
查看 有理数和周期函数
哈瑟原則
在數學裡，赫爾姆特·哈瑟的局部-全域原則，或稱為哈瑟原則，是一個表示「一個方程可以在有理數上被解若且唯若它可以在實數上『及』在每個質數p之p進數上被解」的原則。.
查看 有理数和哈瑟原則
冪
幂運算（Exponentiation），又稱指數運算，是一種數學運算，表示為 bn。其中，b 被稱為底數，而 n 被稱為指數，其結果為 b 自乘 n 次。同樣地，把 b^n 看作乘方的结果，稱為「 b 的 n 次幂」或「 b 的 n 次方」。 通常指數寫成上標，放在底數的右邊。當不能用上標時，例如在編程語言或電子郵件中，b^n通常寫成b^n或b**n，也可視為超運算，記為bn，亦可以用高德納箭號表示法，寫成b↑n，讀作“ b 的 n 次方”。 當指數為 1 時，通常不寫出來，因為運算出的值和底數的數值一樣；指數為 2 時，可以讀作“ b 的平方”；指數為 3 時，可以讀作“ b 的立方”。 bn 的意義亦可視為： 起始值 1（乘法的單位元）乘上底數（b）自乘指數（n）這麼多次。這樣定義了後，很易想到如何一般化指數 0 和負數的情況：除 0 外所有數的零次方都是 1 ；指數是負數時就等於重複除以底數（或底數的倒數自乘指數這麼多次），即： 以分數為指數的冪定義為b^.
查看 有理数和冪
内部
数学上，特别是在拓扑学中，拓扑空间内点集 S 的内部（interior，又稱開核 open kernel）含有所有直观上“不在 S 的边界上”的 S 的点。S 的内部中的点称为 S 的内点。 等价地，S 的内部是 S 补集的闭包的补集。内部的概念在很多情况下和闭包的概念对偶。 一个集合的外部是它补集的内部，等同于它闭包的补集；它包含既不在集合内，也不在边界上的点。一个子集的内部、边界和外部一同将整个空间分为三块（或者更少，因為這三者有可能是空集）。内部和外部总是开的，而边界总是闭的。没有内部的集合叫做边缘集。.
查看 有理数和内部
几何数论
在数论中，几何数论研究凸体和在n维空间整数点向量问题。几何数论于1910由赫尔曼·闵可夫斯基创立。几何数论和数学其它领域有密切的关系，尤其研究在函数分析和丢番图逼近中，对有理数向无理数逼近问题。.
查看 有理数和几何数论
內射模
內射模（injective module），在模論中，是具有與有理數 \mathbb（視為 \Z-模）相似性質的模。內射模是投射模的對偶概念，由Reinhold Baer於1940年引進。.
查看 有理数和內射模
全序关系
全序关系即集合X上的反对称的、传递的和完全的二元关系（一般称其为\leq）。 若X满足全序关系，则下列陈述对于X中的所有a,b和c成立：.
查看 有理数和全序关系
八次方程
八次方程是可以用下式表示的方程 其中。 而八次函数是可以用下式表示的函数： f(x).
查看 有理数和八次方程
公度
公度可以指：.
查看 有理数和公度
勒貝格積分
勒貝格積分(Lebesgue integral)是现代数学中的一个积分概念，它将积分运算扩展到任何测度空间中。在最简单的情况下，对一个非负值的函数的积分可以看作是函数图像与x轴之间的面积。勒贝格积分则将积分运算扩展到更廣的函数（可測函數），并且也扩展了可以进行积分运算的集合（可測空間）。最早的积分运算对于非负值的函数来说，其积分相当于使用求极限的手段来计算一个多边形的面积（也就是黎曼積分），但這過程需要函數足够規則。但是随着对更加不规则的函数的积分运算的需要不断产生（比如为了讨论数学分析的极限过程中導致的函數，或者出于概率论的需求），很快就产生了对更加广义的求极限手段的要求来定义相应的积分运算。 在实分析和在其它许多数学领域中勒貝格積分拥有一席重要的地位。 勒貝格積分是以昂利·勒貝格命名的，他于1904年引入了这个积分定义。 今天勒贝格积分有狭义和广义两种意义。广义地说是对于一个在一般測度空間（的子集合）上的函数积分，在這情況下其測度不必然是勒貝格測度。狭义则是指对于勒贝格测度在實數線或者更高维数的歐幾里得空間的一个子集合上函数的积分。.
查看 有理数和勒貝格積分
因次分析
物理量的量綱可以用來分析或檢核幾個物理量之間的關係，這方法稱為量綱分析（dimensional analysis）。通常，一個物理量的量綱是由像質量、長度、時間、電荷量、溫度一類的基礎物理量綱結合而成。例如，速度的量綱為長度每單位時間，而計量單位為公尺每秒、英里每小時或其它單位。量綱分析所根據的重要原理是，物理定律必需跟其計量物理量的單位無關。任何有意義的方程式，其左手邊與右手邊的量綱必需相同。檢查有否遵循這規則是做量綱分析最基本的步驟。 推導獲得的方程式或計算結果是否基本上合理，慣常可以用量綱分析來檢察。對於較複雜的物理狀況，量綱分析也可以用來構築合理假定（參見關聯模型），然後，做嚴格的實驗加以測試，或用已發展成功的理論仔細檢試。量綱分析能夠按照各種物理量的量綱，將它們詳細分類。.
查看 有理数和因次分析
四元數
四元數是由爱尔兰數學家威廉·盧雲·哈密頓在1843年创立出的數學概念。 從明確地角度而言，四元數是複數的不可交換延伸。如把四元數的集合考慮成多維實數空間的話，四元數就代表著一個四维空间，相對於複數為二维空间。 作为用于描述现实空间的坐标表示方式，人们在复数的基础上创造了四元数并以a+bi+cj+dk的形式说明空间点所在位置。 i、j、k作为一种特殊的虚数单位参与运算，并有以下运算规则：i0.
查看 有理数和四元數
四進位
四進制是以4为底數的進位制，以 0、1、2 和 3 四個數字表示任何實數。 四進制與所有固定底數的記數系統有著很多共同的屬性，比如以標準的形式表示任何實數的能力（近乎獨特），以及表示有理數與無理數的特性。有關屬性的討論可參考十進制和二進制。.
查看 有理数和四進位
倍立方
倍立方是古希腊数学里尺规作图领域當中的著名问题，和三等分角、化圓為方問題被並列為古希臘尺规作图三大难题。尺规作图是古希腊人的数学研究课题之一，是对具体的直尺和圆规画图可能性的抽象化，研究是否能用规定的作图法在有限步内达到给定的目标。倍立方问题的内容是： “能否用尺规作图的方法作出一立方体的稜长，使该立方体的体积等于一给定立方体的两倍？” 倍立方问题的实质是能否通过尺规作图从单位长度出发作出\sqrt的问题。 三大難題提出后，在漫长的两千余年中，曾有众多的尝试，但没有人能够给出严格的答案。随着十九世纪群论和域论的发展，法国数学家首先利用伽罗瓦理论证明，三等分角問題的答案是否定的。运用类似的方法，可以证明倍立方问题的答案同样是否定的。具体来说，给定单位长度後，所有能够经由尺规作图达到的长度值被称为规矩数，而如果能够作出\sqrt，那么就能做出不属于规矩数的长度，从而反证出通过尺规作图作出给定立方体体积两倍的立方体是不可能的。 如果不将手段局限在尺规作图法中，放宽限制或借助更多的工具的话，作出给定立方体体积两倍的立方体是可行的。.
查看 有理数和倍立方
倒数
數學上，一个数\displaystyle x的倒数（reciprocal），或稱乘法逆元（multiplicative inverse），是指一個与\displaystyle x相乘的积为1的数，记为\displaystyle \tfrac或\displaystyle x^。在抽象代数中，倒数所对应的抽象化概念是乘法群的某个元素的“乘法逆”，也就是相对于群中“乘法”运算的逆元素。注意这个名词只当相应的群中的运算被称为“乘法”后才使用。如果群中的运算被称为“加法”，那么同样的概念称为“加法逆”。乘法逆的具体定义可以参见群的逆元素概念。 汉语中，名词倒数一般用来表示数字的乘法逆，一般在各种数域如：有理数、实数、复数，以及模n的同余类所构成的乘法群中使用。在复数域（实数域）中，每个除了0以外的复数（实数）都存在倒数：只要用某个数自身除1（也就是说用1除以某个数），即可得到它的倒数。用数学记号表示的话： 每个复数（实数）只有一个倒数。一般来说，并不是对所有的代数结构中的乘法运算，每个元素都存在其乘法逆，如对矩阵乘法来说，秩小于阶数的矩阵就没有乘法逆。一个环中的一个元素有乘法逆当且仅当它是可逆元，而它的乘法逆是唯一的当且仅当它不是一个零因子，或者说当它是一个正则元。每个非零元素都有乘法逆的环称为除环。每个非零元素都至多有一个乘法逆的环称为无零因子环。.
查看 有理数和倒数
Colossally過剩數
Colossally過剩數（Colossally superabundant number，有時會簡稱CA）是指一正整數n，存在一正數ε，使得對於所有正整數m，下式恆成立： 其中σ為除數函數，是所有正因數（包括本身）的和。 頭幾個超過剩數為： 2, 6, 12, 60, 120, 360, 2520, 5040...
玫瑰线
玫瑰线是极坐标系中的正弦曲线，可以用以下的方程来表示： 如果k是偶数，玫瑰线就有2k个瓣，如果k是奇数，则有k个瓣。 如果k是有理数，玫瑰线就是封闭的，其长度有限。如果k是无理数，则曲线不是封闭的，长度为无穷大。在这种情况下，玫瑰线的图形便形成了一个稠密集。 由于对于所有的\theta，都有： 因此由以下方程所确定的玫瑰线 除了角度的不同以外，是全等的。.
查看 有理数和玫瑰线
环 (代数)
环（Ring）是由集合R和定义于其上的两种二元运算（记作+和·，常被简称为加法和乘法，但与一般所说的加法和乘法不同）所构成的，符合一些性质（具体见下）的代数结构。 环的定義类似于交换群，只不过在原来「+」的基础上又增添另一种运算「·」（注意我们这里所说的 + 與 · 一般不是我们所熟知的四则运算加法和乘法）。在抽象代数中，研究环的分支为环论。.
查看 有理数和环 (代数)
稠密集
在拓扑学及数学的其它相关领域，给定拓扑空间X及其子集A，如果对于X中任一点x，x的任一邻域同A的交集不为空，则A称为在X中稠密。直观上，如果X中的任一点x可以被A中的点很好的逼近，则称A在X中稠密。 等价地说，A在X中稠密当且仅当X中唯一包含A的闭集是X自己。或者说，A的闭包是X，又或者A的补集的内部是空集。.
查看 有理数和稠密集
等势
在数学领域中，两个集合 A 和 B 是等势的(equinumerous)，当它们有相同的势的时候，就是说如果存在一个双射 f: A → B。这通常指示为 两个有限集是等势的，当且仅当它们的元素个数相等。 例如， 势的研究中经常叫做等势性(equinumerosity)。有时还使用术语 equipotent 或 equipollent。 在集合范畴中，带有函数作为态射的所有集合的范畴，在两个集合之间的同构正好是一个双射，而两个集合正好是等势的，如果它们在这个范畴中是同构的。.
查看 有理数和等势
等价类
在数学中，假設在一个集合X上定義一个等价关系（用 \sim來表示），则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果X是有限的并且等价类都是等势的，则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系，都有从X到X/ \sim的一个规范投影映射\pi，给出为\pi(x).
查看 有理数和等价类
算术
算術（arithmetic）是数学最古老且最簡單的一個分支，幾乎被每個人使用著，從日常生活上簡單的算數到高深的科学及工商业計算都會用到。一般而言，算術這一詞指的是記錄數字某些運算基本性質的数学分支。常用的运算有加法、減法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。 自然数、整数、有理数（以分數的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。 專業数学家有時會使用高等算術來指数论，但這不應該和初等算術相搞混。另外，算術也是初等代數的重要部份之一。.
查看 有理数和算术
米尔斯常数
米尔斯常数是使对于所有正整数n，二重指数函数 的整数部分都是素数的最小正实数A。这个常数以W·H·米尔斯命名，他在1947年证明了这个常数的存在。 米尔斯常数的值是未知的，但如果黎曼猜想成立，它的值大约为：.
查看 有理数和米尔斯常数
維度
维度，又稱维数，是数学中独立参数的数目。在物理学和哲学的领域内，指独立的时空坐标的数目。 0维是一點，沒有長度。1维是線，只有長度。2维是一個平面，是由長度和寬度（或曲線）形成面積。3维是2维加上高度形成「體積面」。雖然在一般人中習慣了整數维，但在碎形中維度不一定是整數，可能会是一个非整的有理数或者无理数。 我们周围的空间有3个维（上下、前后、左右）。我們可以往上下、東南西北移動，其他方向的移動只需用3個三维空間軸來表示。向下移就等於負方向地向上移，向西北移就只是向西和向北移的混合。 在物理學上時間是第四维，與三個空間维不同的是，它只有一個，且只能往一方向前進。 我们所居於的时空有四个维（3个空间轴和1个时间轴），根據愛因斯坦的概念稱為四维时空，我們的宇宙是由時间和空间構成，而這條時間軸是一條虛數值的軸。 弦理論認為我們所居於的宇宙實際上有更多的維度（通常10、11或24個）。但是這些附加的维度所量度的是次原子大小的宇宙。 维度是理论模型，在非古典物理学中这点更为明显。所以不用计较宇宙的维数是多少，只要方便描述就行了。 在物理學中，質的量纲通常以質的基本單位表示：例如，速率的量纲就是長度除以時間。.
查看 有理数和維度
维塔利集合
维塔利集合是一个勒贝格不可测的集合的例子，以朱塞佩·维塔利命名。维塔利定理就是关于这种集合存在與否的存在性定理，它是一个非构造性的结果。维塔利集合有无穷多个，它们的存在性是在选择公理的假设下证明的。.
查看 有理数和维塔利集合
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
查看 有理数和群
群的生成集合
在抽象代數中，群 G 的生成集合是子集 S 使得所有 G 的所有元素都可以表達為 S 的元素和它們的逆元中的有限多個元素的乘積。 更一般的說，如果 S 是群 G 的子集，則 S 所生成的子群 是包含所有 S 的元素的 G 的最小子群，這意味著它是包含 S 元素的所有子群的交集；等價的說， 是可以用 S 的元素和它們的逆元中的有限多個元素的乘積表達的 G 的所有元素的子群。 如果 G.
查看 有理数和群的生成集合
無理數
無理數是指除有理数以外的实数，當中的「理」字来自于拉丁语的rationalis，意思是「理解」，实际是拉丁文对于logos「说明」的翻译，是指无法用两个整数的比来说明一个无理数。 非有理數之實數，不能寫作兩整數之比。若將它寫成小數形式，小數點之後的數字有無限多個，並且不會循環，即无限不循环小数。常見的無理數有大部分的平方根、π和e（其中後兩者同時為超越數）等。無理數的另一特徵是無限的連分數表達式。 傳說中，无理数最早由畢達哥拉斯學派弟子希伯斯发现。他以幾何方法證明\sqrt無法用整数及分數表示。而畢達哥拉斯深信任意数均可用整数及分数表示，不相信無理數的存在。後來希伯斯触犯学派章程，将无理数透露给外人，因而被扔进海中处死，其罪名竟然等同于“渎神”。另見第一次數學危機。 無理數可以通過有理數的分划的概念進行定義。.
查看 有理数和無理數
牛頓旋轉軌道定理
在經典力學裏，牛頓旋轉軌道定理（Newton's theorem of revolving orbits）辨明哪種連心力能夠改變移動粒子的角速度，同時不影響其徑向運動（圖1和圖2）。艾薩克·牛頓應用這理論於分析軌道的整體旋轉運動（稱為拱點進動，圖3）。月球和其他行星的軌道都會展現出這種很容易觀測到的旋轉運動。連心力的方向永遠指向一個固定點；稱此點為「力中心點」。「徑向運動」表示朝向或背向力中心點的運動，「角運動」表示垂直於徑向方向的運動。 發表於1687年，牛頓在巨著《自然哲學的數學原理》，第一冊命題43至45裏，推導出這定理。在命題43裏，他表明只有連心力才能達成此目標，這是因為感受連心力作用的粒子，其運動遵守角動量守恆定律。在命題44裏，他推導出這連心力的特徵方程式，證明這連心力是立方反比作用力，與粒子位置離力中心點的徑向距離r\,\!的三次方成反比。在命題45裏，牛頓假定粒子移動於近圓形軌道，將這定理延伸至任意連心力狀況，並提出牛頓拱點進動定理（Newton's apsidal precession theorem）。 天文物理學家蘇布拉馬尼揚·錢德拉塞卡在他的1995年關於《自然哲學的數學原理》的評論中指出，雖然已經過了三個世紀，但這理論仍然鮮為人知，有待發展。自1997年以來，唐納德·淩澄-貝爾（Donald Lynden-Bell）與合作者曾經研究過這理論。2000年，費紹·瑪侯嵋（Fazal Mahomed）與F·娃達（F.）共同貢獻出這理論的延伸的精確解。.
查看 有理数和牛頓旋轉軌道定理
狄利克雷函数
利克雷函数（Dirichlet function）是一个定义在实数范围上、值域为的函数，是處處不連續函數。 当.
查看 有理数和狄利克雷函数
直觉主义
在数学哲学和邏輯中，直觉主义（Intuitionism），或者新直觉主义（Neointuitionism ）（对应於前直觉主义（Preintuitionism）），是用人类的构造性思维活动进行数学研究的方法。也可翻译成直觀主義。 任何数学对象被视为思维构造的产物，所以一个对象的存在性等价于它的构造的可能性。这和古典的方法不同，因为根據古典方法，一个实体的存在可以通过否定它的不存在来证明。对直觉主义者來說，这是不正确的：不存在的否定不表示可能找到存在的构造证明。正因为如此，直觉主义是数学结构主义的一种；但它不是唯一的一类。 直觉主义把数学命题的正确性和它可以被证明等同起来；如果数学对象纯粹是精神上的构造，还有什么其它法则可以用作真实性的检验呢（如同直觉主义者所說的一样）？这意味着直觉主义者对一个数学命题的含义，可能與古典的数学家有不同理解。例如，说 A 或 B，对于一个直觉主义者，是宣称 A 或是 B 可以被「证明」，而非兩者之一「為真」。值得一提的是，只允許 A 或 非A 的排中律，在直覺主義邏輯中是不被允许的；因为不能假设人们总是能够证明命题 A 或它的否定命题。 直觉主义也拒绝承认的抽象概念；也就是说，它不把像所有自然数的集合或任意有理数的序列这样的无穷当作实体来考虑。这要求将集合论和微积分的基础分别重新构造为和构造主义分析。.
查看 有理数和直觉主义
相對化拓撲
在拓撲學和數學的其他相關領域裡，拓撲空間的子空間是指在中子集及在上賦予的由的拓撲所誘導的拓撲．這個誘導出來的拓撲叫做的拓撲在上的相對化拓撲，也叫子空間拓撲、“自然拓撲”．誘導方式參見#定義．.
查看 有理数和相對化拓撲
白金漢π定理
白金汉π定理是因次分析中的重要定理，在工程、應用數學及物理中都會用到。白金汉π定理可以視為是形式化的。簡單的說，白金汉π定理指出若有一個物理上有意義的方程式，其中有n個物理量，而這些物理量共有k個獨立的因次，則原方程式可以寫成由p.
查看 有理数和白金漢π定理
E (数学常数)
-- e，作为數學常數，是自然對數函數的底數。有時被稱為歐拉數（Euler's number），以瑞士數學家歐拉命名；還有個較少見的名字納皮爾常數，用來紀念蘇格蘭數學家約翰·納皮爾引進對數。它是一个无限不循环小数，數值約是（小數點後20位，）：.
查看 有理数和E (数学常数)
花拉子米
花拉子米全名是阿布·阿卜杜拉·穆罕默德·伊本·穆薩·花拉子米（Abū ʿAbdallāh Muḥammad ibn Mūsā al-Khwārizmī，約780年－約850年），他是一位波斯數學家、天文學家及地理學家，也是巴格達智慧之家的學者。 他的《代數學》（Kitab al-Jabr wa-l-Muqabala）是第一本解決一次方程及一元二次方程的系統著作，他因而被稱為代數的創造者，與丟番圖享名。十二世紀，花拉子米在印度數字方面的著作被翻譯成拉丁文，十進制因此傳入西方世界。此外，他修訂了托勒密的《地理》，並著有天文學及占星學方面的書籍。 从一些词就可以看出他对数学的重要贡献，「代數」（algebra）一詞出自阿拉伯文拉丁轉寫「al-jabr」，「al-jabr」是用以解決一元二次方程的兩個辦法之一。--（Algorism、Algorithm）出自「Algoritmi」，這是花拉子米（al-Khwārizmī）的拉丁文譯名，而西班牙語「guarismo」及葡萄牙語「algarismo」亦是由此名字而來，這兩個詞語都解作數字。.
查看 有理数和花拉子米
非線性系統
在物理科學中，如果描述某個系統的方程其輸入（自變數）與輸出（應變數）不成正比，則稱為非線性系統。由於自然界中大部分的系統本質上都是非線性的，因此許多工程師、物理學家、數學家和其他科學家對於非線性問題的研究都極感興趣。非線性系統和線性系統最大的差別在於，非線性系統可能會導致混沌、不可預測，或是不直觀的結果。 一般來說，非線性系統的行為在數學上是用一組非線性聯立方程來描述的。非線性方程裡含有由未知數構成的非一次多項式；換句話說，一個非線性方程並不能寫成其未知數的線性組合。而非線性微分方程，則是指方程裡含有未知函數及其導函數的乘冪不等於一的項。在判定一個方程是線性或非線性時，只需考慮未知數（或未知函數）的部分，不需要檢查方程中是否有已知的非線性項。例如在微分方程中，若所有的未知函數、未知導函數皆為一次，即使出現由某個已知變數所構成的非線性函數，我們仍稱它是一個線性微分方程。 由於非線性方程非常難解，因此我們常常需要以線性方程來近似一個非線性系統（線性近似）。這種近似對某範圍內的輸入值（自變數）是很準確的，但線性近似之後反而會無法解釋許多有趣的現象，例如孤波、混沌和奇點。這些奇特的現象，也常常讓非線性系統的行為看起來違反直覺、不可預測，或甚至混沌。雖然「混沌的行為」和「隨機的行為」感覺很相似，但兩者絕對不能混為一談；也就是說，一個混沌系統的行為絕對不是隨機的。 舉例來說，許多天氣系統就是混沌的，微小的擾動即可導致整個系統產生各種不同的複雜結果。就目前的科技而言，這種天氣的非線性特性即成了長期天氣預報的絆腳石。 某些書的作者以非線性科學來代指非線性系統的研究，但也有人不以為然：.
查看 有理数和非線性系統
补集
在集合论和数学的其他分支中，存在--的两种定义：--和--。.
查看 有理数和补集
飽和模型
在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。.
查看 有理数和飽和模型
規矩數
規矩數（又稱可造數）是指可用尺規作圖方式作出的實數。在給定單位長度的情形下，若可以用尺規作圖的方式作出長度為 a 的線段，則 a 就是規矩數。規矩數的「規」和「矩」分別表示圓規及直尺，兩個尺規作圖的重要元素。.
查看 有理数和規矩數
高斯整數
斯整數是實數和虛數部分都是整數的複數。所有高斯整數組成了一個整域，寫作\mathbf，是個不可以轉成有序環的歐幾里德域。 高斯整數的范数都是非負整數，定義為 \mathbf單位元1, -1, i, -i的範數均為1。.
查看 有理数和高斯整數
魔群
群（Monster group）或怪獸群，或友善巨人（the Friendly Giant）或費雪─格里斯怪獸（Fischer-Griess Monster），是一個有限單群，是26個散在群的其中之一，一般常將之記作M或F1。 怪獸群的階是26個散在群中最大的，其階為 有限單群的分類已完成(見有限單群分類一文)。每個有限單群都屬於當中有的18類可數無限族中，或不包含於那些可系統化模式的18類可數無限族中，那26個的「散單群」中。而怪獸群是那26個散單群中階數最大的群。而二十六個散單群除了六個，其餘的散單群均是怪獸群的子集合。羅伯特‧格里斯(Robert Griess)將那六個不為魔群子集的群稱為「低群」(pariahs)，並以「快樂大家族」(the happy family)一詞稱呼其他的散單群。 或許對怪獸群最好的定義方式，就是將之定義為同時包含康威群(Conway group)和的的有限單群中階最小者（怪獸群雖為散在群中階最大的，但這不表示它是所有有限單群中階最大的，其他類的有限單群中有階比其更大者存在）。.
查看 有理数和魔群
證明
在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.
查看 有理数和證明
證明22/7大於π
人們經常使用\tfrac這個有理數作為圓周率 的丢番圖逼近。在 的連分數表達中，\tfrac是它的一個漸近分數。從這兩個數字的小數形式可見\tfrac是大於 的： 這個近似值從古代就有人使用。縱使阿基米德並非這個近似值的始創者，但他就證明了高估了圓周率。他以大於外切正96邊形的周界：該圓直徑之比作證明。 這個近似值常被稱為「約率」，除這以外，常用的近似值還有同是由祖沖之在5世紀提出的密率：。 以下是另一個 > π的證明，所用到的只是微積分的基本技巧。它本來只是用於顯示可以用有系統的方法計算π的值，而非證明大於π。它比起一些基本證明更容易理解。它的優雅是由於它和丟番圖近似值的關連。路卡斯稱這條公式為「其中一個估計π值的最美麗結果」Havil以這個結果作爲一個有關以連分數估計的討論之結尾，說它在該範疇是「不得不提及」的。.
计算 (计算机科学)
计算（computing）是使用電腦自行運算操作的領域。The Joint Task Force for Computing Curricula 2005.
计算机编码
计算机编码指电脑内部代表字母或数字的方式。.
查看 有理数和计算机编码
记数系统
记数系统，或称记数法或数制（numeral system、system of numeration），是使用一组數字符号来表示數的体系。 一个理想的记数系统能够：.
查看 有理数和记数系统
谷山－志村定理
谷山－志村定理（Taniyama-Shimura theorem）建立了椭圆曲线（代数几何的对象）和模形式（数论中用到的某种周期性全纯函数）之间的重要联系。定理的证明由英國數學家安德鲁·怀尔斯（Andrew John Wiles）、理查·泰勒（Richard Taylor）、法國數學家克里斯多福·布勒伊（Christophe Breuil）、美國數學家布萊恩·康萊德（Brian Conrad）和佛瑞德·戴蒙德（Fred Diamond）所完成。 若p是一个质数而E是一个Q（有理数域）上的一个椭圆曲线，我们可以简化定义E的方程模p；除了有限个p值，我们会得到有np个元素的有限域Fp上的一个椭圆曲线。然后考虑如下序列 这是椭圆曲线E的重要的不变量。从傅里叶变换，每个模形式也会产生一个数列。一个其序列和从模形式得到的序列相同的椭圆曲线叫做模的。谷山-志村定理说：.
查看 有理数和谷山－志村定理
豪斯多夫维数
豪斯多夫维又称作豪斯多夫-维（Hausdorff-Besicovitch Dimension）或分维（fractional dimension），它是由数学家豪斯多夫于1918年引入的。通过豪斯多夫维可以给一个任意复杂的点集合比如分形（Fractal）赋予一个维度。对于简单的几何目标比如线、长方形、长方体等豪斯多夫维等同于它们通常的几何维度或者说拓扑维度。通常来说一个物体的豪斯多夫维不像拓扑维度一样总是一个自然数而可能会是一个非整的有理数或者无理数。.
查看 有理数和豪斯多夫维数
賦值
在代数中，赋值是域元素的阶（多少）或元素重复度一个度量。推广到交换代数，就是对复分析中极点，零点重复度度量，推广到代数数论中的代数整数整性的度量，在代数几何中也有类似概念，一个域与它的赋值被称为赋值域。.
查看 有理数和賦值
賦值向量環
在數論中，賦值向量環或阿代爾環（法文：adèle，英譯多用原文）是由一個域 F 的所有完備化構成的拓撲環 \mathbb_F，原域 F 可以對角方式嵌入其中。 在現代代數數論中，賦值向量環是處理整體問題的基本語言。 法文原文 adèle 是 idèle additif 的縮寫，其中 idèle 意指理想元（élément idéal）。adèle 也是法文中常見的女性名字。.
查看 有理数和賦值向量環
賦值環
在抽象代數中，賦值環是一個域裡的一類特別子環，可由域上的某個賦值定義。離散賦值環是其中較容易操作的一類。.
查看 有理数和賦值環
超現實數
在數學上，超現實數系統（Surreal Numbers）是一種連續統，其中含有實數以及無窮量，即無窮大（小）量，其絕對值大（小）於任何正實數。超現實數與實數有許多共同性質，包括其全序關係「≤」以及通常的算術運算（加減乘除）；也因此，它們構成了有序域。在嚴格的集合論意義下，超現實數是可能出現的有序域中最大的；其他的有序域，如有理數域、實數域、有理函數域、、和超實數域等，全都是超現實數域的子域。超現實數域也包含可達到的、在集合論裡構造過的所有超限序數。 超現實數是由約翰·何頓·康威（John Horton Conway）所定義和構造的。這個名稱早在1974年便已由高德納（Donald Knuth）在他的書《研究之美》中就被引進了。《研究之美》是一部中短篇數學小說，而值得一提的是，這種把新的數學概念在一部小說中提出來的情形是非常少有的。在這部由對話體寫成的著作裡，高德納造了「surreal number」一詞，用來指稱康威起初只叫做「number」（數）的這個新概念。康威樂於採用新的名稱，後來在他1976年的著作《論數字與博弈》（On Numbers and Games）中就描述了超現實數的概念並使用它來進行了一些博弈分析。.
查看 有理数和超現實數
超越數
在數論中，超越數是指任何一個不是代數數的无理数。只要它不是任何一個有理係數代數方程的根，它即是超越數。最著名的超越數是e以及π。.
查看 有理数和超越數
黄金进制
金进制（Golden ratio base）是使用黄金比φ作为底数的进位制，其中 φ.
查看 有理数和黄金进制
輾轉相除法
在数学中，辗转相除法，又称欧几里得算法（Euclidean algorithm），是求最大公约数的算法。辗转相除法首次出现于欧几里得的《几何原本》（第VII卷，命题i和ii）中，而在中国则可以追溯至东汉出现的《九章算术》。 两个整数的最大公约数是能够同时整除它们的最大的正整数。辗转相除法基于如下原理：两个整数的最大公约数等于其中较小的数和两数的差的最大公约数。例如，252和105的最大公约数是21（）；因为，所以147和105的最大公约数也是21。在这个过程中，较大的数缩小了，所以继续进行同样的计算可以不断缩小这两个数直至其中一个变成零。这时，所剩下的还没有变成零的数就是两数的最大公约数。由辗转相除法也可以推出，两数的最大公约数可以用两数的整数倍相加来表示，如。这个重要的結論叫做貝祖定理。 辗转相除法最早出现在欧几里得的《几何原本》中（大约公元前300年），所以它是现行的算法中歷史最悠久的。这个算法原先只用来处理自然数和几何长度（相當於正實數），但在19世纪，辗转相除法被推广至其他类型的數學對象，如高斯整数和一元多项式。由此，引申出欧几里得整环等等的一些现代抽象代数概念。后来，辗转相除法又扩展至其他数学领域，如纽结理论和多元多项式。 辗转相除法有很多应用，它甚至可以用来生成全世界不同文化中的传统音乐节奏。在现代密码学方面，它是RSA算法（一种在电子商务中广泛使用的公钥加密算法）的重要部分。它还被用来解丢番图方程，比如寻找满足中国剩余定理的数，或者求有限域中元素的逆。辗转相除法还可以用来构造连分数，在施图姆定理和一些整数分解算法中也有应用。辗转相除法是现代数论中的基本工具。 辗转相除法处理大数时非常高效，如果用除法而不是减法实现，它需要的步骤不会超过较小数的位数（十进制下）的五倍。拉梅于1844年证明了这点，同時這也標誌著计算复杂性理论的開端。.
查看 有理数和輾轉相除法
辛钦常数
在數論領域中，苏联數學家亚历山大·雅科夫列维奇·辛钦（Aleksandr Yakovlevich Khinchin）證明對於幾乎所有實數x，其連分數表示式的係數ai的幾何平均數之極限存在，且與x數值無關，此數值稱為辛钦常數（Khinchin's constant）。 以下是x的連分數表示式 針對任意實數x，以下的等式幾乎總是為真 K_0 其中 K_0為辛钦常數 \prod_^\infty ^ \approx 2.6854520010\dots.
查看 有理数和辛钦常数
连分数
在数学中，连分数或繁分数即如下表达式： 这里的a_0是某个整数，而所有其他的数a_n都是正整数，可依樣定义出更长的表达式。如果部分分子（partial numerator）和部分分母（partial denominator）允许假定任意的值，在某些上下文中可以包含函数，则最終的表达式是广义连分数。在需要把上述标准形式與广义连分数相區別的时候，可稱它為简单或正规连分数，或称为是规范形式的。.
查看 有理数和连分数
连通空间
拓扑空间X称为是连通的。当且仅当以下叙述之一成立：.
查看 有理数和连通空间
近似
近似或是逼近是指一個事物和另一事物類似，但不是完全相同。近似可以用在許多性質上，是指幾乎一様，但沒有完全一様的情形。 近似最常用在數字上，也常用在數學函數、形狀及物理定律中。 在科學上，會將一物理現象轉換為一個有相似結構的模型，當準確的模型難以應用時，會用一個較簡單的模型來近似，簡化中間的計算，例如用球棒模型來近似實際化學分子中原子的分佈。當由於資訊不完整，無法確切陳述特定事物時，也可以用近似的方式處理。 近似的種類會依照可以取得的資訊、需要的準確程度及使用近似可以節省的時間及精力而定。.
查看 有理数和近似
部分分式积分法
部分分式积分法，即通过将原函数拆分为部分分式来简化积分步骤，是计算积分时的一个常用技巧。任何有理函数都可拆分为多个多项式和部分分式的和，每个部分分式中的分子次数小于分母，然后根据积分表及利用其他积分技巧，将每个部分分式积分，就得到原函数的积分。.
查看 有理数和部分分式积分法
舒尔引理
在数学中，舒尔引理（Schur's lemma）是群与代数的表示论中一个初等但非常有用的命题。在群的情形是说，如果M与N是群G的两个有限维不可约表示，φ是从M到N的与群作用可交换的线性映射，那么φ 可逆或φ.
查看 有理数和舒尔引理
阿贝尔群
阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.
查看 有理数和阿贝尔群
闭包 (拓扑学)
数学上，在一個拓撲空間裡，子集S 的闭包是指由S 的所有点及S 的極限點所組成的一個集合；直觀上來說，即為所有「靠近」S 的點所組成的集合。在子集S 的閉包內的點稱為S 的閉包點。闭包的概念在許多方面能與内部的概念相類比。.
查看 有理数和闭包 (拓扑学)
闭集
在拓扑空间中，闭集是指其补集为开集的集合。在一个拓扑空间内，闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中，一个闭集的极限运算是闭合的。.
查看 有理数和闭集
自同构
數學上，自同構是從一個到自身的同構，可以看為這對象的一個對稱，將這對象映射到自身而保持其全部結構的一個途徑。一個對象的所有自同構的集合是一個群，稱為自同構群，大致而言，是這對象的對稱群。.
查看 有理数和自同构
配对函数
在数学中，配对函数是唯一编码两个自然数到一个单一的自然数的过程。 在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数 f:Nk → N 编码成一个新函数 g:N → N。.
查看 有理数和配对函数
離散群
在數學中，離散群是配備了離散拓撲的群 G。帶有這種拓撲 G 成為了拓撲群。拓撲群 G 的離散子群是其相對拓撲為離散拓撲的子群 H。例如，整數集 Z 形成了實數集 R 的離散子群，但是有理數集 Q 不行。 任何群都可以給予離散拓撲。因為出自離散空間的所有映射都是連續的，離散群的拓撲同態完全就是底層群的群同態。因此，在群范疇和離散群范疇之間有一個同構，離散群因此同一於它們的底層(非拓撲)群。由于這個想法，術語離散群論被用來稱呼對沒有拓撲結構的群的研究，用來對比於拓撲群論或李群論。它在邏輯上和技術上被分為有限群論和無限群論。 在有些場合拓撲群或李群反自然的配備上離散拓撲是有用的。這可以在玻爾緊緻化理論和在李群的群上同調理論中找到實例。.
查看 有理数和離散群
通約性
假若，兩個不等於零的实数 a\,\! 與 b\,\! 的除商 \frac\,\! 是一個有理數，或者說，a 與 b 的比例相等於兩個非零整數 p 與 q 的比例： 則稱它們是互相可通約的（commensurable），而這特性則稱為通約性。這意味著，存在一個非零的實數公測數 (common measure) m \ (m \in R)，使得 所以 或是 其中 \frac \in Q，所以 \frac \in Q。 反之，如果該二數的除商是一個無理數，則稱它們是不可通約的（incommensurable），亦即，a 與 b 之間不存在一個公測數 m \ (m \in R, m \neq 0) 使得.
查看 有理数和通約性
處處不連續函數
處處不連續函數是一數學名詞，是指在其定義域上的每一點都不連續的函數。若f(x)為一函數，定義域和值域都是實數，若針對每一個x，都存在ε > 0 ，使得針對每一個δ > 0，都可以找到y，使下式成立，則f(x)為處處不連續函數： 換句話說，不論距固定點多近，都有距固定點更近的點使函數的值偏離固定點對應的值。例如狄利克雷函数就是一個處處不連續函數。 若將定義中的絕對值改為度量空间中的距離或是拓扑空间中的類似名詞．即可定義更泛用的處處不連續函數。.
查看 有理数和處處不連續函數
GNU多重精度运算库
GNU多重精度运算库（GNU Multiple Precision Arithmetic Library，简称GMP或gmpal）是一个开源的任意精度运算库，支持正负数的整数、有理数、浮点数。它没有任何精度限制，只受限于可用内存。GMP有很多函数，它们都有一个规则的接口。它是C语言写成的，但用为其他很多语言做包装，包括Ada，C++，C#，OCaml，Perl，PHP，python 和 R。GMP主要运用于加密应用和研究、互联网安全应用、计算机代数系统和计算代数研究。GMP的目标是成为最快的大数运算库，GMP是GNU项目的一部分，它在GNU宽通用公共许可证下发表。GMP在许多计算机辅助代数系统中用于整数运算，如Mathematica和Maple。GMP需要使用GCC（GNU编译器套装）编译。.
P进数分析
进数分析是研究变量为p进数的函数之分析性质的数学分支，属于数论研究中的领域。.
查看 有理数和P进数分析
P進數
进数是数论中的概念，也称作局部数域，是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域\mathbb到实数域\mathbb、复数域\mathbb的数系拓展不同，其具体在于所定义的“距离”概念。进数的距离概念建立在整数的整除性质上。给定素数，若两个数之差被的高次幂整除，那么这两个数距离就“接近”，幂次越高，距离越近。这种定义在数论性质上的“距离”能够反映同余的信息，使进数理论成为了数论研究中的有力工具。例如安德鲁·怀尔斯对费马大定理的证明中就用到了进数理论。 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画，其发展动机主要是试图将幂级数方法引入到数论中，但现今进数的影响已远不止于此。例如可以在进数上建立p进数分析，将数论和分析的工具结合起来。此外进数在量子物理学、认知科学、计算机科学等领域都有应用。.
查看 有理数和P進數
Q (消歧义)
Q, q 是拉丁字母中的第17个字母。 除此之外，Q还可以指代：.
查看 有理数和Q (消歧义)
Superparticular數
Superparticular數是以下形式的有理數： 其中n為正整數。Throop, Priscilla (2006).
抽象資料型別
抽象資料型別（Abstract Data Type，ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。 例如，抽象的堆疊（stack）由3个操作定义：推入push，彈出pop（接受约束：每次彈出返回的是最新被推入且没有被弹出的数据，也就是後進先出），查看堆疊頂端数据peek。当分析使用堆疊演算法的效率，所有这3个操作用时相同，无论堆疊中包含多少项数据；并且对每项数据栈使用了常量大小的存储。 抽象数据类型（ADT）是纯粹理论实体，用于简化描述抽象算法，分类与评价数据结构，形式描述程序设计语言的类型系统。一个ADT可以用特定数据类型或数据结构实现，在许多程序设计语言中有许多种实现方式；或者用形式规范语言描述。ADT常实现为模块（module）：模块的接口声明了对应于ADT操作的例程（procedure），有时用注释描述了约束。.
查看 有理数和抽象資料型別
柯西序列
在数学中，一个柯西列或柯西数列是指这样一个数列，它的元素随着序数的增加而愈发靠近。更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。 柯西列的定义依赖于距离的定义，所以只有在度量空间中柯西列才有意义。在更一般的一致空间中，可以定义更为抽象的柯西滤子和柯西网。 一个重要性质是，在完备空间中，所有的柯西数列都有极限且极限在这空间里，这就让人们可以在不求出这个极限（如果存在）的情况下，利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值，如构造实数。.
查看 有理数和柯西序列
柯西函數方程
柯西函數方程是以下的函數方程： 此方程的解被稱為加性函數。.
查看 有理数和柯西函數方程
林德曼-魏尔斯特拉斯定理
林德曼-魏尔斯特拉斯定理（）是一个可以用于证明实数的超越性的定理。它表明，如果 是代数数，在有理数 内是线性独立的，那么e^, \ldots,e^在 内是代数独立的；也就是说，扩张域\mathbb(e^, \ldots,e^)在 内具有超越次数 。 一个等价的表述是：如果 是不同的代数数，那么指数 在代数数范围内是线性独立的。 这个定理由林德曼和魏尔斯特拉斯命名。林德曼在1882年证明了对于任何非零的代数数α，eα都是超越数，因此推出了圆周率是超越数。魏尔斯特拉斯在1885年证明了一个更一般的结果。 这个定理，以及格尔丰德-施奈德定理，可以推广为Schanuel猜想。.
恩格尔展开式
Engel展開式是一個正整數數列\，使得一個正實數可以以一種唯一的方式表示成埃及分數之和： 有理數的展開式是有限的，無理數的是無限的。Engel 展开式得名于 F. Engel，他在 1913 年研究了它们。.
查看 有理数和恩格尔展开式
格奥尔格·康托尔
格奥尔格·费迪南德·路德维希·菲利普·康托尔（Georg Ferdinand Ludwig Philipp Cantor，），出生于俄国的德国数学家（波羅的海德國人）。他创立了现代集合论，是實數系以至整个微积分理论体系的基础，還提出了势和良序概念的定義；康托爾確定了在兩個集合中的成員，其間一對一關係的重要性，定義了無限且有序的集合，並證明了實數比自然數更多。康托爾對這個定理所使用的證明方法，事實上暗示了“無限的無窮” 的存在。他定義了基數和序數及其算術。康托爾很清楚地自知自覺他的成果，富有極濃厚的哲學興趣。康托爾提出的超越數，最初被當時數學界同儕認為如此反直覺-甚至令人震驚-因而拒絕接受他的理論，且以利奥波德·克罗内克为首的众多数学家长期攻击。克羅內克反對代數數為可數的，而超越數為不可數的證明。 康托爾本身是一位虔誠的路德派，相信這個理論是經由上帝傳達給他；但一些基督教神學家認為康托爾的理論，是在挑戰神學中只有上帝才具有絕對而唯一的無限性質。康托爾自 1869年任職於德國哈勒大學直到 1918年在哈勒大學附屬精神病院逝世；他的抑鬱症一直再發的病因，被歸咎於當代學界的敵對態度，儘管有人將這些事件解釋為，是他本人所患有的情感雙極障礙的病徵。他所受到的嚴厲攻擊，與後來的讚譽相匹配：在 1904年倫敦皇家學會授予他西爾維斯特獎章，這是皇家學會可授予數學研究者的最高榮譽。 在康托死後數十年，維特根斯坦撰文哀悼昔時學術界指責「集合論是假借通過數學而有害處的方言」的氛圍，他認為那是「可笑」和「錯誤」的「完全無稽之談」。当代数学家绝大多数接受康托尔的理论，并认为这是数学史上一次重要的变革。大卫·希尔伯特說：「沒有人能夠把我們從康托爾建立的樂園中趕出去。」（原文另譯：我們屏息敬畏地自知在康托所鋪展的天堂裡，不會遭逢被驅逐出境的。）.
查看 有理数和格奥尔格·康托尔
格尔丰德-施奈德定理
格尔丰德-施奈德定理（Gelfond–Schneider theorem）是一个可以用于证明许多数的超越性的结果。这个定理由Aleksandr Gelfond在1934年、Theodor Schneider在1935年分别独立证明，它回答了希尔伯特第七问题。.
極端不連通空間
數學上，極端不連通空間是一種拓撲空間，適合以下的等價定義：.
查看 有理数和極端不連通空間
模型论
数学上，模型论(Model theory)是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如。若我们在该语言中问"∃ y (y × y.
查看 有理数和模型论
欧几里得定理
欧几里得定理是数论中的基本定理，定理指出素数的个數是无限的。该定理有许多著名的证明。.
查看 有理数和欧几里得定理
歐拉-馬斯刻若尼常數
歐拉-馬斯刻若尼常數是一个数学常数，定义为调和级数与自然对数的差值： \sum_^n \frac \right) - \ln(n) \right.
正切半角公式
正切半角公式，又称万能公式，这一组公式有四个功能：.
查看 有理数和正切半角公式
正规数
数学上，粗略来说，正规数（Normal Number）指，数字显示出随机分布，且每个数字出现机会均等的实数。「数字」指的是小数点前有限个数字（整数部份），以及小数点后无穷数字序列（分数部份）。 设b是大于1的整数，x是实数。考虑以b为底的位值记数法中x的数字序列。若s是以b为底的有限数字序列，我们以N(s,n)表示字串s在x的开首n个数字出现次数。数x称为以b为底正规若对任意长度k的字串s （即是说在x的数字中找到字串s的概率，就像在完全随机生成的数字序列中的一样。）x称为正规数（有时称为绝对正规数） 如果以任何b为底x都是正规。 这个概念是由埃米尔·博雷尔在1909年创造。用波莱尔－坎泰利引理，他证明了正规数定理：几乎所有实数是正规的，意思是非正规数集合的勒贝格测度为0。这定理证明存在正规数，但首先给出一个例子的是瓦茨瓦夫·谢尔宾斯基（Wacław Sierpiński）。 非正规数集合是不可数的，这个结果容易得出，想法是从每个实数中完全除去一个数字。 钱珀瑙恩数（Champernowne） 是从连结所有自然数的数字而得出的数，它以10为底正规，但可能在某些底不是正规。 克柏蘭-爾杜斯常數（Copeland-Erdős） 从连结所有质数的数字而得出的数，也是以10为底正规。 无论在任何底下均没有为正规数的有理数，因为它们的数字序列最终会循环出现。瓦茨瓦夫·谢尔品斯基在1917年给出第一个明确构造的一个正规数。韋羅妮卡·比彻（Verónica Becher）和桑蒂亞戈·菲盖拉(Santiago Figueira)构造一个正规数；（Chaitin）\Omega给出一个不可计算的正规数例子。 要证明一个不是明确构造为正规数的数的正规性非常困难。例如2的平方根\sqrt 2、圆周率\pi（2000年時數學家证明了π的2進數-正规性可以由一个有关混沌理论的合理但尚未证明的猜想导出 ）、2的自然对数\ln 2和''e''是否正规仍不知道。（但基于实验证据，猜想它们很可能是正规数。）证明仍遥不可及：就连哪些数字在这些常数的10进表示法无穷次出现仍不知道。大卫·贝利（David H.
查看 有理数和正规数
歸謬法
歸謬法（Reductio ad absurdum）是一種論證方式，首先假設某命題成立，然後推理出矛盾、不符已知事實、或荒謬難以接受的結果，從而下結論說某命題不成立。 歸謬法與反證法相似，差別在於反證法只限於推理出邏輯上矛盾的結果。.
查看 有理数和歸謬法
比例
在数学中，比例是兩個非零數量y與x之間的比較關係，記為y:x \; (x, y \in \mathbb)，在計算時則更常寫為\frac或y/x。若两个變量的关系符合其中一个量是另一个量乘以一个常数（y.
查看 有理数和比例
比率
在中文裡，比率這個詞被用來代表兩個數量的比值，這包括了兩個相似卻在用法上有所區分的概念：一個是比（ratio）的值；另一是變化率（rate of change，或簡稱rate），是一個數量相對於另一數量的變化量，例如，速率是物體的移動距離相對於時間的變化量，以每單位時間的移動距離來表示；心跳率是每分鐘的心跳次數；稅率則是每單位收入所應繳的稅金。.
查看 有理数和比率
木卫三
* 注意：在希臘神話方面，名稱叫做伽倪墨得斯。關於天文學方面，名稱叫蓋尼米德，也可以叫做甘尼米德。 木卫三又稱為「蓋尼米德」（Ganymede，），是围绕木星运转的一颗卫星，公转周期约为7天。按距离木星从近到远排序，木卫三在木星的所有卫星中排第七，在伽利略卫星中排第三。它与木卫二及木卫一保持着1:2:4的轨道共振关系。木卫三是太阳系中最大的卫星，其直径大于水星，质量约为水星的一半。 木卫三主要由硅酸盐岩石和冰体构成，星体分层明显，拥有一个富铁的、流动性的内核。人们推测在木卫三表面之下200公里处存在一个被夹在两层冰体之间的咸水海洋。木卫三表面存在两种主要地形。其中较暗的地区约占星体总面积的三分之一，其间密布着撞击坑，地质年龄估计有40亿年之久；其余地区较为明亮，纵横交错着大量的槽沟和山脊，其地质年龄较前者稍小。明亮地区的破碎地质构造的产生原因至今仍是一个谜，有可能是潮汐热所导致的构造活动造成的。 木卫三是太阳系中已知的唯一一颗拥有磁圈的卫星，其磁圈可能是由富铁的流动内核的对流运动所产生的。 其中的少量磁圈与木星的更为庞大的磁场相交迭，从而产生了向外扩散的场线。木卫三拥有一层稀薄的含氧大气层，其中含有原子氧，氧气和臭氧，同时原子氢也是大气的构成成分之一。而木卫三上是否拥有电离层还尚未确定。 一般认为木卫三是由伽利略·伽利莱在1610年首次观测到的。后来天文学家西门·马里乌斯建议以希腊神话中神的斟酒者、宙斯的爱人蓋尼米德为之命名。 从先驱者10号开始，多艘太空船曾近距离掠过木卫三。旅行者号太空船曾经精确地测量了该卫星的大小，伽利略号探测器则发现了它的地下海洋和磁场。此外，一个被称为“木衛二－木星系統任務”的全新的探测木星的冰卫星的计划，预计将会于2020年实施。.
查看 有理数和木卫三
木星環
木星環，是指圍繞在木星周圍的行星環系統。它是太陽系第三個被發現的行星環系統，第一個和第二個分別是土星環及天王星環。木星環首次被觀測到是在1979年，由航海家一號發現及在1990年代受到伽利略號進行詳細調查。木星環在25年來亦可以由哈勃太空望遠鏡及地球觀察。在地上需要現存最大的望遠鏡才能夠進行木星環的觀察。 隱約的木星環系統主要由塵埃組成。木星環分成四個部分：厚厚的粒子環面內晕層稱為“光環”；一個相對光亮的而且特別薄的“主環”；以及兩個外部既厚又隱約的“薄紗環”（或称“蛛网环”），其名稱由形成她們的物質的衛星而來：木衛五（阿馬爾塞）和木衛十四（底比斯）。 木星環的主環及光環由衛星木衛十六（墨提斯）、木衛十五（阿德剌斯忒亞）及其他不能觀測的主體因為高速撞擊而噴出的塵埃組成。在2007年二月至三月由新視野號取得的高解像度圖像顯示主環有豐富的精細結構。 在可見光及近紅外線光線下，除了光環呈現灰色或藍色外，木星環會呈現紅色。在環內的塵埃大小不定，但是所有環除了光環以外的塵埃橫切面面積最大為半徑約15微米的非球體粒子。光環主要由亞微米級塵埃組成。環狀系統的主要質量（包括不可見的主體）約為1016 公斤，和木衛十五質量相當。環狀系統的年齡不詳，但是可能在木星形成時已經存在。.
查看 有理数和木星環
本质上确界和本质下确界
本质上确界和本质下确界的概念与上确界和下确界有关，但前者与测度论的关联性更大，其中通常要涉及不是处处都成立的命题（也就是对集合中所有元素都成立的命题），而是几乎处处，也就是说，除了在测度为零的集合以外。 设(X, Σ, &mu)为测度空间，并设f: X → R为定义在X上的实函数，它并不一定是可测的。实数a称为f的上确界，如果对于X内的所有x，都有f(x) ≤ a，也就是说，集合 是空集。而a称为本质上确界，如果集合 的测度为零，也就是说，对于X内的几乎所有x，都有f(x) ≤ a。 更加正式地，f的本质上确界，ess sup f，定义为： 如果本质上确界的集合 \ 不是空集，否则ess sup f.
指数函数
指数函数（Exponential function）是形式為b^x的數學函数，其中b是底數（或稱基數，base），而x是指數（index / exponent）。 現今指數函數通常特指以\mbox為底數的指數函數（即\mbox^x），為数学中重要的函数，也可寫作\exp(x)。这里的\mbox是数学常数，也就是自然对数函数的底数，近似值为2.718281828，又称为欧拉数。 作为实数变量x的函数，y.
查看 有理数和指数函数
有序域
在数学的一个分支代数中，有序域是一个偏序关系通过加法和乘法运算不被改变的域。有序域最常见的例子是实数。.
查看 有理数和有序域
有理同伦论
在数学中，有理同伦论是对拓扑空间的有理同伦型的研究；粗略地说，有理同伦型忽略同倫群的挠。有理同伦论由 与 首创。 对于单连通空间，有理同伦型等同于一种被称作极小苏利文代数的代数对象（的同构类）；这种代数对象是满足特定条件的有理数域上的可交换微分分次代数。 有理同伦论的标准教材是。.
查看 有理数和有理同伦论
有理数域的序
有理数域的序源自“大于”（>）的概念，有关性质如下。.
查看 有理数和有理数域的序
有理数的加法
对于任意的有理数a和b，必存在唯一的有理数，称为a及b的和，记为a+b。有理数的加法具有如下性质：.
查看 有理数和有理数的加法
有理数的乘法
对于任意的有理数a和b，必有唯一的有理数等于a及b的乘积，记为a \cdot b或ab。.
查看 有理数和有理数的乘法
有理数的除法
对于有理数a和b，b \neq 0，若有理数c满足c \cdot b.
查看 有理数和有理数的除法
有理數域
#重定向 有理数.
查看 有理数和有理數域
有界函数
定义在集合X上的函数称为有界的，如果它所有的值所组成的集合是有界的。也就是说，存在一个数M>0，使得对于X中的所有x，都有 有时，如果对于X中的所有x，都有f(x)\le A，则函数称为上有界的，A就是它的上界。另一方面，如果对于X中的所有x，都有f(x)\ge B，则函数称为下有界的，B就是它的下界。 一个特例是有界数列，其中X是所有自然数所组成的集合N。所以，一个数列f.
查看 有理数和有界函数
有限域算术
在数学之中，有限域算术是一种在有限域之内的算术，因为域仅包括有限数量的元素，而有限域算术则相对于无限域算术，后者是包括无限数量的元素的算术（如在有理数之下的算术）。 由于并没有任何有限域是无限的，因此存在着无限多个不同的有限域。它们的势需要是能够在pn的形式下，这其中的p是一则素数，而n则是一则正整数，同时两个持有等量的有限域可以构成同构。素数p被称之为有限域的特征，而正整数n则被称之为有限域的向量空间的维数，凌驾于它的最初域之上，最初域为最小的包括1F的子域。 有限域应用于各种领域，这其中包括在线性分组码之内的编码理论，譬如BCH码和里德-所罗门码，还有在密码学之中的演算法，比如Rijndael加密法之下的加密算法。.
查看 有理数和有限域算术
有限小数
有限小数，是指小数部分的位数有限的数字，与无限小数相对。有限小数都属于有理数，可以化成分數的形式。 9.8、1.0、1.1212121212、3.14等数字都是有限小数。 Category:有理数 ja:小数#有限小数.
查看 有理数和有限小数
有限生成阿貝爾群
在抽象代數中，阿貝爾群 (G,+) 叫做有限生成的，如果存在 G 中有限多個元素 x1,...,xs 使得所有 G 中的 x 可以寫為如下形式 n1,...,ns 是整數。在這種情況下，我們稱集合 是 G 的生成集，或 x1,...,xs 生成了 G。 明顯的有所有限阿貝爾群都是有限生成的。有限生成的阿貝爾群帶有相當簡單的結構并可以被完全的分類，我們后面會講到。.
查看 有理数和有限生成阿貝爾群
最小上界
在数学中，最小上界（supremum，亦称上确界，记为sup E）是序理论的重要概念，在格论和数学分析等领域有广泛应用。.
查看 有理数和最小上界
最小上界公理
最小上界公理，又稱為上確界原理，是实分析的公理。之所以稱為公理，是因為它在实分析的公理系统裡，不能被除了它本身以外的公理所證明。这个公理声称如果实数的非空子集有上界，则它有最小上界。这个公理可以用來证明实数集是完备度量空间。有理数集不满足最小上界公理，因而就不是完备的。一个理想的例子是 S.
查看 有理数和最小上界公理
最简分数
最簡分數或既约分数指的是分子與分母互質的分數。 若一分數可表為\frac，且p, q \in \mathbb（整數），(p,q).
查看 有理数和最简分数
海伦三角形
海伦三角形是边长和面积都是有理数的三角形。.
查看 有理数和海伦三角形
无穷
無窮或無限，來自於拉丁文的「infinitas」，即「沒有邊界」的意思。其數學符號為∞。它在科學、神學、哲學、數學和日常生活中有著不同的概念。通常使用這個詞的時候並不涉及它的更加技術層面的定義。 在神學方面，根據書面記載無窮這個符號最早被用於某些秘密宗教，通常代表人類中的神性，而書寫此符號時兩圓的不對等代表人神間的差距，例如神學家邓斯·司各脱（Duns Scotus）的著作中，上帝的無限能量是運用在無約束上，而不是運用在無限量上。在哲學方面，無窮可以歸因於空間和時間。在神學和哲學兩方面，無窮又作為無限，很多文章都探討過無限、絕對、上帝和芝諾悖論等的問題。 在數學方面，無窮與下述的主題或概念相關：數學的極限、阿列夫數、集合論中的類、、羅素悖論、超實數、射影幾何、擴展的實數軸以及絕對無限。在一些主題或概念中，無窮被認為是一個超越邊界而增加的概念，而不是一個數。.
查看 有理数和无穷
无穷递降法
无穷递降法，又名無窮遞減法，是数学中证明方程无解的一种方法。.
查看 有理数和无穷递降法
无限小数
无限小数，是指小数部分的位数无限的数字，与有限小数相对。 无限小数有两种类型：.
查看 有理数和无限小数
数
數是一個用作計數、標記或用作量度的抽象概念，是比同质或同属性事物的等级的简单符号记录形式（或称度量）。代表數的一系列符號，包括數字、運算符號等統稱為記數系統。在日常生活中，數通常出現在在標記（如公路、電話和門牌號碼）、序列的指標（序列號）和代碼（ISBN）上。在數學裡，數的定義延伸至包含如如分數、負數、無理數、超越數及複數等抽象化的概念。 起初人們只覺得某部分的數是數，後來隨著需要，逐步將數的概念擴大；例如畢達哥拉斯認為，數必須能用整數和整數的比表達的，後來發現无理数無法這樣表達，引起第一次數學危機，但人們漸漸接受無理數的存在，令數的概念得到擴展。 數的算術運算（如加減乘除）在抽象代數這一數學分支內被廣義化成抽象數字系統，如群、環和體等。.
查看 有理数和数
数域
数域是近世代数学中常见的概念，指对加减乘除四则运算封闭的代数系统。通常定义的数域是指复数域\mathbb的子域。“数域”一词有时也被用作代数数域的简称，但两者的定义有细微的差别。.
查看 有理数和数域
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 有理数和数学
数学危机
數學危機在歷史上發生過三次，每一次均對數學的發展有重大影響。在第一次數學危機中，因為發現腰長為1的等腰直角三角形的斜邊長度無法寫成有理數，從而引申出日後的無理數概念。第二次數學危機得解決微積分引入無窮小量而產生的問題。第三次數學危機則是因羅素悖論而起，它點出樸素集合論中的缺失。 Ernst Snapper所著The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism, Mathematics Magazine, Vol.
查看 有理数和数学危机
数学巧合
在数学中，数学巧合指的是两个数学表达式的值极为接近，却未有任何理论解释的现象。 例如，2的10次方非常接近于整数1000： 工程学中有时会利用数学巧合，使用某个表达式去近似计算另一个表达式。.
查看 有理数和数学巧合
数学符号表
數學中，有一組常在數學表達式中出現的符號。數學工作者一般熟悉這些符號，所以使用時不一定會加以說明。但绝大多数常见的符号都有相应标准或Unicode符号说明等加以规范。下表列出了很多常見的數學符號，並附有名稱、讀法和應用領域。第三欄給出一個非正式的定義，第四欄提供簡單的例子。 注意，有時候不同的數學符號有相同含義，而有些數學符號在不同的語境中會有不同的含義。.
查看 有理数和数学符号表
数学构成主义
在数学哲学中，构成主义或构造主义认为要证明一个数学对象存在就必须把它构造出来。如果假设一个对象不存在，并从该假设推导出一个矛盾，对于构成主义者来说，不足以证明该对象存在。见构造性证明。 构成主义常常和直觉主义混淆，实际上，直觉主义只是构成主义的一种。直觉主义强调数学的基础建立在数学家们个人的直觉上，这样就把数学在本质上作为一种主观活动。构成主义不这样强调，并和对数学的客观看法保持一致。.
查看 有理数和数学构成主义
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
查看 有理数和数论
数据结构术语列表
这是一个数据结构的列表。更详细的内容请参考数据结构与算法列表。.
查看 有理数和数据结构术语列表
整體域
整體域是代數數論研究的主要對象，分成兩類：.
查看 有理数和整體域
整数
整数，是序列中所有的数的统称，包括负整数、零（0）与正整数。和自然數一樣，整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb，源于德语单词Zahlen（意为“数”）的首字母。 在代數數論中，這些屬於有理數的一般整數會被稱為有理整數，用以和高斯整數等的概念加以區分。.
查看 有理数和整数
整性
整性是交換代數中的概念，用于描述在有理数域的某些扩域中，某些元素是否有类似于整数的性质。元素的整性（是否为整元素）本质上只依赖于環的概念。整性與環的整擴張推廣了代數數與代數擴張的概念。.
查看 有理数和整性
數系
在數學，數系指的是數的不同集合。 數系的例子包括：自然數、整數、有理數、無理數、複數等。.
查看 有理数和數系
數表
这是一个有关实数的条目的列表。.
查看 有理数和數表
數論主題列表
這是數論的主題列表。參照.
查看 有理数和數論主題列表
拟群
在数学中，特别是抽象代数裡，拟群是一种类似于群的代数结构。拟群与群的相像之处是也能够进行除法运算，但拟群中并没有群所拥有的结合律。有单位元的拟群称作幺拟群或者圈（loop）。.
查看 有理数和拟群
拓扑群
在數學中，拓撲群是群 G 和與之一起的 G 上的拓撲，使得這個群的二元運算和這個群的取逆函數是連續的。拓撲群允許依據連續群作用來研究連續對稱的概念。.
查看 有理数和拓扑群
1
1（一／壹）是0与2之间的自然数，是最小的正奇數.
查看 有理数和1
2的算術平方根
2的算術平方根，俗称“根号2”，记作\sqrt，可能是最早被发现的无理数。相传毕达哥拉斯学派的希帕索斯首先提出了“\sqrt不是有理数”的命题：若一个直角三角形的两个直角边都是1，那么它的斜边长，无法用整数或分数表示。 \sqrt其最初65位.
查看 有理数和2的算術平方根
520
520是介于519與521之間的自然數。.
查看 有理数和520
531
531是介於530和532之間的自然数。.
查看 有理数和531
5的算術平方根
5的算術平方根是一个正的实数，為无理数，一般称为“根号5”，记为 \sqrt。\sqrt乘以它本身的值为5。 \sqrt和黃金比值有關。5的算术平方根數值为： 2.23606 79774 99789 69640 91736 68731 27623 54406 18359 61152 57242 7089...
查看 有理数和5的算術平方根
亦称为 Rational number，有理數集系統。
，幺半群，广义黎曼猜想，幂函数，交换环，度量空间，二項式係數，二进分数，二次域，二次互反律，二次無理數，事件 (概率论)，代数，代数几何，代数数域，代數函數，代數獨立，代數閉域，代數整數，代數數，代數數論，介值定理，伯特蘭定理，伽罗瓦群，伽羅瓦理論，作用量-角度坐标，循环小数，圓周率，圆周率中的六个9，初等等价，利奥波德·克罗内克，分式環，分圆域，分划，分裂域，分母有理化，分数微积分，分數，單位分數，周期函数，哈瑟原則，冪，内部，几何数论，內射模，全序关系，八次方程，公度，勒貝格積分，因次分析，四元數，四進位，倍立方，倒数，Colossally過剩數，玫瑰线，环 (代数)，稠密集，等势，等价类，算术，米尔斯常数，維度，维塔利集合，群，群的生成集合，無理數，牛頓旋轉軌道定理，狄利克雷函数，直觉主义，相對化拓撲，白金漢π定理，E (数学常数)，花拉子米，非線性系統，补集，飽和模型，規矩數，高斯整數，魔群，證明，證明22/7大於π，计算 (计算机科学)，计算机编码，记数系统，谷山－志村定理，豪斯多夫维数，賦值，賦值向量環，賦值環，超現實數，超越數，黄金进制，輾轉相除法，辛钦常数，连分数，连通空间，近似，部分分式积分法，舒尔引理，阿贝尔群，闭包 (拓扑学)，闭集，自同构，配对函数，離散群，通約性，處處不連續函數，GNU多重精度运算库，P进数分析，P進數，Q (消歧义)，Superparticular數，抽象資料型別，柯西序列，柯西函數方程，林德曼-魏尔斯特拉斯定理，恩格尔展开式，格奥尔格·康托尔，格尔丰德-施奈德定理，極端不連通空間，模型论，欧几里得定理，歐拉-馬斯刻若尼常數，正切半角公式，正规数，歸謬法，比例，比率，木卫三，木星環，本质上确界和本质下确界，指数函数，有序域，有理同伦论，有理数域的序，有理数的加法，有理数的乘法，有理数的除法，有理數域，有界函数，有限域算术，有限小数，有限生成阿貝爾群，最小上界，最小上界公理，最简分数，海伦三角形，无穷，无穷递降法，无限小数，数，数域，数学，数学危机，数学巧合，数学符号表，数学构成主义，数论，数据结构术语列表，整體域，整数，整性，數系，數表，數論主題列表，拟群，拓扑群，1，2的算術平方根，520，531，5的算術平方根。