比浏览器更快的访问！
14 关系: 存在量化，定义域，实数，交换图表，圓周率，唯一量化，函数，公理，关系 (数学)，等价类，群论，陪集，正弦，数学。
存在量化
在谓词逻辑中，存在量化是对一个域的至少一个成员的性质或关系的论断。使用叫做存在量词逻辑算子符号∃来指示存在量化。 它相对于声称某些事物对所有事物都为真的全称量化。.
定义域
定义域（Domain），是函数自变量所有可取值的集合。给定函数f:A\rightarrow B，其中A被称为是f的定义域，记作D_。f映射到陪域中的所有值的集合称为f的值域，记作f(A)或R_。 例如，函数f(x).
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
交换图表
在数学领域，尤其是范畴论中，通常使用以对象为顶点、态射为边的交换图表来直观的表达一些性质，尤其是泛性质。 在图表中，复合连接任意两个对象的不同路径上的态射，所得的结果均相等，则称此图表可交换。同时，按照惯例，实线通常表示任意给定的态射，虚线则表示存在或唯一存在的态射。.
圓周率
圓周率是一个数学常数，为一个圆的周长和其直径的比率，约等於3.14159。它在18世纪中期之后一般用希腊字母π指代，有时也拼写为“pi”（）。 因为π是一个无理数，所以它不能用分数完全表示出来（即它的小数部分是一个无限不循环小数）。当然，它可以用像\frac般的有理数的近似值表示。π的数字序列被認為是随机分布的，有一种统计上特别的随机性，但至今未能证明。此外，π还是一个超越数——它不是任何有理数系数多项式的根。由於π的超越性质，因此不可能用尺规作图解化圆为方的问题。 几个文明古国在很早就需要计算出π的较精确的值以便于生产中的计算。公元5世纪时，南朝宋数学家祖冲之用几何方法将圆周率计算到小数点后7位数字。大约同一时间，印度的数学家也将圆周率计算到小数点后5位。历史上首个π的精确无穷级数公式（即π的莱布尼茨公式）直到约1000年后才由印度数学家发现。在20和21世纪，由于计算机技术的快速发展，借助计算机的计算使得π的精度急速提高。截至2015年，π的十进制精度已高达1013位。当前人类计算π的值的主要原因为打破记录、测试超级计算机的计算能力和高精度乘法算法，因为几乎所有的科学研究对π的精度要求都不会超过几百位。 因为π的定义中涉及圆，所以π在三角学和几何学的许多公式，特别是在圆形、椭球形或球形相關公式中广泛应用。由于用於特征值这一特殊作用，它也在一些数学和科学领域（例如数论和统计中计算数据的几何形状）中出现，也在宇宙学，热力学，力学和电磁学中有所出现。π的广泛应用使它成为科学界内外最广为人知的常数之一。人们已经出版了几本专门介绍π的书籍，圆周率日（3月14日）和π值计算突破记录也往往会成为报纸的新闻头条。此外，背诵π值的世界记录已经达到70,000位的精度。.
唯一量化
在谓词逻辑和依赖于它的技术领域中，唯一量化或唯一存在量化，尝试形式化对于“精确”的一个事物，或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是。 例如: 符号化写为: 符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常读做“有一个且只有一个”，“存在唯一一个” (存在着这个符号的在文法上和如何阅读上的多个变体)。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
关系 (数学)
在數學上，關係是對如等於.
新！!: 定义良好和关系 (数学) · 查看更多 »
等价类
在数学中，假設在一个集合X上定義一个等价关系（用 \sim來表示），则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果X是有限的并且等价类都是等势的，则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系，都有从X到X/ \sim的一个规范投影映射\pi，给出为\pi(x).
群论
在数学和抽象代数中，群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位：许多代数结构，包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（linear algebraic groups）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.
陪集
数学上，若G为群，H为其子群，而g为G中元素，则 仅当H为正规子群时，左右陪集相同，这也是子群正规性的一个定义。 陪集指某个G中子群的左或右陪集。因为Hg.
正弦
在數學中，正弦（英語：sine、縮寫sin）是一種週期函數，是三角函数的一種。它的定义域是整个实数集，值域是。它是周期函数，其最小正周期为2π。在自变量为(4n+1)π/2（n为整数）时，该函数有极大值1；在自变量为(4n+3)π/2时，该函数有极小值-1。正弦函数是奇函数，其图像关于原点对称。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
