比浏览器更快的访问！
23 关系: 单射，双射，子集，实数，對角論證法，不可數集，希尔伯特旅馆悖论，代數數，等势，非构造性证明，計數，超越數，自然数，艾禮富數，集合 (数学)，McGraw-Hill，格奥尔格·康托尔，满射，有序对，有理数，有限集合，施普林格科学+商业媒体，整数。
单射
在數學裡，單射函數（或稱嵌射函數，國家教育研究院雙語詞彙、學術名詞暨辭書資訊網、一對一函數，英文稱 injection、injective function或 one-to-one function）為一函數，其將不同的輸入值對應到不同的函數值上。更精確地說，函數f被稱為是單射的，當對每一陪域內的y，存在至多一個定義域內的x使得f(x).
双射
數學中，一個由集合X映射至集合Y的函數，若對每一在Y內的y，存在唯一一個在X內的x与其对应，則此函數為對射函數。 換句話說，f為雙射的若其為兩集合間的一一對應，亦即同時為單射和滿射。 例如，由整數集合\Z至\Z的函數\operatorname，其將每一個整數x連結至整數\operatorname(x).
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
對角論證法
对角论证法是乔治·康托尔於1891年提出的用于说明实数集合是不可数集的证明。 对角线法并非康托尔关于实数不可数的第一个证明，而是发表在他第一个证明的三年后。他的第一个证明既未用到十进制展开也未用到任何其它數系。自从该技巧第一次使用以来，在很大范围内的证明中都用到了类似的证明构造方法，它們一般亦稱為對角論證法。.
不可數集
不可數集是無窮集合中的一種。一個無窮集合和自然数之間要是不存在一個双射，那麼它就是一個不可數集。集合的不可数性与它的基数密切相关：如果一个集合的基数大于自然数的基数，那么它就是不可数的。.
希尔伯特旅馆悖论
希尔伯特旅馆悖论是一个与无限集合有关的数学悖论，由德国数学家大卫·希尔伯特提出。.
新！!: 可數集和希尔伯特旅馆悖论 · 查看更多 »
代數數
代數數是代数与数论中的重要概念，指任何整係數多项式的复根。 所有代数数的集合构成一个域，称为代数数域（与定义为有理数域的有限扩张的代数数域同名，但不是同一个概念），记作\mathcal或\overline，是复数域\mathbb的子域。 不是代数数的实数称为超越数，例如圆周率。.
等势
在数学领域中，两个集合 A 和 B 是等势的(equinumerous)，当它们有相同的势的时候，就是说如果存在一个双射 f: A → B。这通常指示为 两个有限集是等势的，当且仅当它们的元素个数相等。 例如， 势的研究中经常叫做等势性(equinumerosity)。有时还使用术语 equipotent 或 equipollent。 在集合范畴中，带有函数作为态射的所有集合的范畴，在两个集合之间的同构正好是一个双射，而两个集合正好是等势的，如果它们在这个范畴中是同构的。.
非构造性证明
非构造性证明是「表述存在性的命题或定理」的一种证明方式：证明的过程中，不举例而只证明语句是否正确。非构造性证明很多时候依赖于排中律。数学结构主义数学不允许非构造性证明。.
新！!: 可數集和非构造性证明 · 查看更多 »
計數
計數是一個重複加（或減）1的數學行為，通常用於算出物件有多少個或放置想要之數目個物件（對第一個物件從一算起且將剩下的物件和由二開始的自然數做一對一對應）。此外，計數亦可以被（主要是被兒童）使用來學習數字名稱和數字系統的知識。 內含計數通常會使用在計算日曆的天數上。通常，當從星期天開始計數8天：星期一會是「第一天」，星期二為「第二天」，而下一個星期一則會是「第八天」。當內含地計數時，星期天(開始那天)會是「第一天」，而因此下一個星期天則會是「第八天」。例如：法語中兩星期為quinze jours(15日)，類似地在希臘語(δεκαπενθήμερο)和西班牙語(quincena)也都是以數字15為基。這種習慣也出現在其他的日曆上：在羅馬曆上，nones(九)是在ides的八天前；而在西曆中，Quinquagesima(四旬齋前的星期日，有50之意)在復活節的49天前。 計數有時會包括1以外的數字－例如，當計數金錢或變化時，或當「加二計數」(2,4,6,8,10,12,...)或「加五計數」(5,10,15,20,15,...)時。 由現今的考古證據可以推測人類計數的歷史至少有五萬年，並由此發展導致出數學符號及記數系統的發展。古代文化主要使用計數在記錄如負債和資本等經濟資料(即會計)。.
超越數
在數論中，超越數是指任何一個不是代數數的无理数。只要它不是任何一個有理係數代數方程的根，它即是超越數。最著名的超越數是e以及π。.
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
艾禮富數
在集合論中，--，又稱--，是一連串超窮基數。其標記符號為（由希伯來字母(aleph)演變而來）加角標表示。 可數集（包括自然數）的勢標記為\aleph_0，下一個較大的勢為\aleph_1，再下一個是\aleph_2，以此類推。一直繼續下來，便可以對任一序數定義一個基數\aleph_\alpha。 這一概念來自於康托尔，他定義了勢，並认识到无穷集合是可以有不同的勢的。 阿列夫數与一般在代數與微積分中出現的無限 不同。阿列夫數用来衡量集合的大小，而無限只是在極限的寫法中出現，或是定義成擴展的實數軸上的端點。某些阿列夫數會大於另一些阿列夫數，而無限只是無限而已。.
集合 (数学)
集合（Set，或簡稱集）是基本的数学概念，它是集合论的研究对象，指具有某种特定性质的事物的总体，（在最原始的集合論─樸素集合論─中的定義，集合就是“一堆東西”。）集合裡的事物（“东西”），叫作元素。若然 x 是集合 A 的元素，記作 x ∈ A。 集合是现代数学中一个重要的基本概念，而集合论的基本理论是在十九世纪末被创立的。这里对被数学家们称为“直观的”或“朴素的”集合论进行一个简短而基本的介绍，另外可參见朴素集合论；關於对集合作公理化的理論，可见公理化集合论。.
新！!: 可數集和集合 (数学) · 查看更多 »
McGraw-Hill
#重定向 标普全球.
新！!: 可數集和McGraw-Hill · 查看更多 »
格奥尔格·康托尔
格奥尔格·费迪南德·路德维希·菲利普·康托尔（Georg Ferdinand Ludwig Philipp Cantor，），出生于俄国的德国数学家（波羅的海德國人）。他创立了现代集合论，是實數系以至整个微积分理论体系的基础，還提出了势和良序概念的定義；康托爾確定了在兩個集合中的成員，其間一對一關係的重要性，定義了無限且有序的集合，並證明了實數比自然數更多。康托爾對這個定理所使用的證明方法，事實上暗示了“無限的無窮” 的存在。他定義了基數和序數及其算術。康托爾很清楚地自知自覺他的成果，富有極濃厚的哲學興趣。康托爾提出的超越數，最初被當時數學界同儕認為如此反直覺-甚至令人震驚-因而拒絕接受他的理論，且以利奥波德·克罗内克为首的众多数学家长期攻击。克羅內克反對代數數為可數的，而超越數為不可數的證明。 康托爾本身是一位虔誠的路德派，相信這個理論是經由上帝傳達給他；但一些基督教神學家認為康托爾的理論，是在挑戰神學中只有上帝才具有絕對而唯一的無限性質。康托爾自 1869年任職於德國哈勒大學直到 1918年在哈勒大學附屬精神病院逝世；他的抑鬱症一直再發的病因，被歸咎於當代學界的敵對態度，儘管有人將這些事件解釋為，是他本人所患有的情感雙極障礙的病徵。他所受到的嚴厲攻擊，與後來的讚譽相匹配：在 1904年倫敦皇家學會授予他西爾維斯特獎章，這是皇家學會可授予數學研究者的最高榮譽。 在康托死後數十年，維特根斯坦撰文哀悼昔時學術界指責「集合論是假借通過數學而有害處的方言」的氛圍，他認為那是「可笑」和「錯誤」的「完全無稽之談」。当代数学家绝大多数接受康托尔的理论，并认为这是数学史上一次重要的变革。大卫·希尔伯特說：「沒有人能夠把我們從康托爾建立的樂園中趕出去。」（原文另譯：我們屏息敬畏地自知在康托所鋪展的天堂裡，不會遭逢被驅逐出境的。）.
新！!: 可數集和格奥尔格·康托尔 · 查看更多 »
满射
满射或蓋射（surjection、onto），或稱满射函数或映成函數，一个函数f:X\rightarrow Y为满射，則对于任意的陪域 Y 中的元素 y，在函数的定义域 X 中存在一點 x 使得 f(x).
有序对
在数学中，有序对是两个对象的搜集，使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”（第一个元素和第二个元素也叫做左投影和右投影）。带有第一个元素a和第二个元素b的有序对通常写为(a, b)。 符号(a, b)也表示在实数轴上的开区间；在有歧义的场合可使用符号\langle a,b\rangle。.
有理数
数学上，可以表达为两个整数比的数(a/b, b≠0)被定义为有理数，例如3/8，0.75(可被表达为3/4)。整数和分数统称为有理数。与有理数对应的是无理数，如\sqrt无法用整数比表示。 有理数与分數的区别，分數是一种表示比值的记法，如 分數\sqrt/2 是无理数。 所有有理数的集合表示为Q，Q+,或\mathbb。定义如下： 有理数的小数部分有限或为循环。不是有理數的實數遂稱為無理數。.
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
施普林格科学+商业媒体
施普林格科学+商业媒体（Springer Science+Business Media）或施普林格（Springer，），在柏林成立，是一个总部位于德国的世界性出版公司，它出版教科书、学术参考书以及同行评论性杂志，专--于科学、技术、数学以及医学领域。在科学、技术与医学领域中，施普林格是最大的书籍出版者，以及第二大世界性杂志出版者（最大的是爱思唯尔）。施普林格拥有超过60个出版社，每年出版1,900种杂志，5,500种新书，营业额为9.24亿欧元（2006年），雇有超过5,000名员工 。施普林格在柏林、海德堡、多德雷赫特（位于荷兰）与纽约设有主办事处。施普林格亚洲总部设在香港。2005年8月，施普林格在北京成立代表处。.
新！!: 可數集和施普林格科学+商业媒体 · 查看更多 »
整数
整数，是序列中所有的数的统称，包括负整数、零（0）与正整数。和自然數一樣，整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb，源于德语单词Zahlen（意为“数”）的首字母。 在代數數論中，這些屬於有理數的一般整數會被稱為有理整數，用以和高斯整數等的概念加以區分。.
重定向到这里：
不可數，可列，可列集，可数，可数子集，可数无穷，可数无限，可数性，可数集，可数集合，可數無窮。
