实数

维基百科,自由的百科全书
跳转至: 导航搜索
各种各样的
基本

正數
自然数
正整數
小数
有限小数
无限小数
循环小数
有理数
代數數
实数
複數
高斯整數

负数
整数
负整數
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数
二次无理数
艾森斯坦整数

延伸

雙複數
四元數
共四元數
八元數
超數
上超實數

超复数
十六元數
複四元數
大實數
超實數
超現實數

其他

对偶数
雙曲複數
序数
質數
同餘
可計算數
阿列夫数

公稱值
超限数
基數
P進數
規矩數
整數數列
數學常數

圓周率  = 3.141592653…
自然對數的底  = 2.718281828…
虛數單位  = 
無窮大

实数,是有理數無理數的总称,前者如0、-4、81/7;后者如2、π等。实数可以直观地看作小數有限無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数

根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:

  • 任何兩條線段(的長度)的比,可以用自然數的比來表示。

正因如此,畢達哥拉斯本人甚至有「萬物皆數」的信念,這裡的數是指自然數(1 , 2 , 3 ,...),而由自然數的比就得到所有正有理數,而有理數集存在「縫隙」這一事實,對當時很多數學家來說可謂極大的打擊;見第一次數學危機

古希臘一直到17世紀,數學家們才慢慢接受無理數的存在,並把它和有理數平等地看作;後來有虚数概念的引入,為加以區別而稱作“實數”,意即“實在的數”。在當時,儘管虛數已經出現並廣為使用,實數的嚴格定義卻仍然是個難題,以至函數極限收斂性的概念都被定義清楚之後,才由十九世紀末的戴德金康托等人對實數進行了嚴格處理。

所有实数的集合則可稱為实数系(real number system)或实数连续统。任何一个完备的阿基米德有序域均可称为实数系。在保序同构意义下它是惟一的,常用R表示。由于R是定义了算数运算的运算系统,故有实数系这个名称。[1]

初等數學[编辑]

在目前的初等數學中,没有對實數進行嚴格的定義,而一般把實數看作小數(有限或無限的)。实数的完整定義在幾何上,直線上的點與實數一一對應;見数轴

实数可以分为有理数(如42、-23/129)和无理数(如π2),或者代数数超越数(有理數都是代數數)两类。实数集合通常用字母R表示。而Rn表示n 实数空间。实数是不可数的。实数是实分析的核心研究对象。

实数可以用来测量连续變化的量。理论上,任何实数都可以用无限小数的方式表示,小数点的右边是一个无穷的数列(可以是循环的,也可以是非循环的)。在实际运用中,实数经常被近似成一个有限小数(保留小数点后n位,n为正整数)。在计算机领域,由于计算机只能存储有限的小数位数,实数经常用浮点数来表示。

正数与负数[编辑]

实数是一个集合,通常可以分为正数负数(0)三类。正数(符号:R+)即大于0的实数,而负数(符号:R-)即小于0的实数。与实数一样,两者都是不可數無限集合。正数的相反数一定是负数,负数的相反数也一定是正数。除正數和負數外,通常将0與正數统称为非負數(符号:R+0),而将0與負數统称为非正數(符号:R-0)。这和整数可以分为正整數负整数和零(0),而0與正整數通常统称为非負整數、0與負整數则通常统称为非正整數非常相似。另外,只有实数可以分为正和负等,虚数是没有正负之分的。

历史[编辑]

在公元前500年左右,以毕达哥拉斯为首的希腊数学家们認識到有理數在幾何上不能滿足需要,但毕达哥拉斯本身並不承認無理數的存在。 直到17世纪,实数才在欧洲被广泛接受。18世纪,微积分学在实数的基础上发展起来。直到1871年,德国数学家康托尔第一次提出了实数的严格定义。

定义[编辑]

從有理數构造實數[编辑]

实数可以用通过收敛于一个唯一实数的十进制或二进制展开如{3, 3.1, 3.14, 3.141, 3.1415,…}所定义的序列的方式而构造为有理数的补全。實數可以不同方式從有理數构造出來。这里给出其中一种,其他方法请詳見實數的構造

公理化方法[编辑]

R是所有实数的集合,则:

最后一条是区分实数和有理数的关键。例如所有平方小于2的有理数的集合存在有理数上界,如1.5;但是不存在有理数上确界(因为2不是有理数)。

實數通过上述性质唯一确定。更准确的说,给定任意两个戴德金完备的有序域R1R2,存在从R1R2的唯一的域同構,即代數學上兩者可看作是相同的。

例子[编辑]

  • 15 (整数)
  • 2.121 (有限小数)
  • 1.3333333... (无限循环小数)
  • π = 3.1415926... (无理数)
  • 3(无理数)
  • 1/3 (分数)

性质[编辑]

基本运算[编辑]

在实数域内,可实现的基本运算乘方等,对非负数还可以进行开方运算。实数加、减、乘、除(除数不为零)、平方后结果还是实数。任何实数都可以开奇次方,结果仍是实数;只有非负实数才能开偶次方,其结果还是实数。

完備性[编辑]

作为度量空間一致空間,實數集合是一个完备空间,它有以下性质:

所有實數的柯西序列都有一個實數極限

有理數集合就不是完备空间。例如,(1, 1.4, 1.41, 1.414, 1.4142, 1.41421, ...)是有理數的柯西序列,但沒有有理數極限。实际上,它有個實數極限2。實數是有理數的完备化:這亦是构造實數集合的一种方法。

極限的存在是微積分的基礎。實數的完備性等價於欧几里得几何直線沒有“空隙”。

完备的有序域[编辑]

实数集合通常被描述为“完备的有序域”,这可以几种解释。

  • 首先,有序域可以是完备格。然而,很容易发现没有有序域会是完备格。这是由于有序域没有最大元素(对任意元素zz + 1将更大)。所以,这裡的“完备”不是完备格的意思。
  • 另外,有序域满足戴德金完备性,这在上述公理中已经定义。上述的唯一性也说明了这裡的“完备”是指戴德金完备性的意思。这个完备性的意思非常接近采用戴德金分割来构造实数的方法,即从(有理数)有序域出发,通过标准的方法建立戴德金完备性。
  • 这两个完备性的概念都忽略了域的结构。然而,有序(域是种特殊的群)可以定义一致空间,而一致空间又有完备空间的概念。上述完备性中所述的只是一个特例。(这里采用一致空间中的完备性概念,而不是相关的人们熟知的度量空间的完备性,这是由于度量空间的定义依赖于实数的性质。)当然,R并不是唯一的一致完备的有序域,但它是唯一的一致完备的阿基米德域。实际上,“完备的阿基米德域”比“完备的有序域”更常见。可以证明,任意一致完备的阿基米德域必然是戴德金完备的(当然反之亦然)。这个完备性的意思非常接近采用柯西序列来构造实数的方法,即从(有理数)阿基米德域出发,通过标准的方法建立一致完备性。
  • “完备的阿基米德域”最早是由希尔伯特提出来的,他还想表达一些不同于上述的意思。他认为,实数构成了最大的阿基米德域,即所有其他的阿基米德域都是R的子域。这样R是“完备的”是指,在其中加入任何元素都将使它不再是阿基米德域。这个完备性的意思非常接近用超实数来构造实数的方法,即从某个包含所有(超实数)有序域的纯类出发,从其子域中找出最大的阿基米德域。

高级性质[编辑]

  • 所有非负实数的平方根属于R,但这对负数不成立。这表明R上的序是由其代数结构确定的。而且,所有奇数次多项式至少有一个根属于R。这两个性质使R成为实封闭域的最主要的实例。证明这一点就是对代数基本定理的证明的前半部分。
  • 实数集的上确界公理用到了实数集的子集,这是一种二阶逻辑的陈述。不可能只采用一阶逻辑来刻画实数集:1. Löwenheim-Skolem定理说明,存在一个实数集的可数稠密子集,它在一阶逻辑中正好满足和实数集自身完全相同的命题;2. 超实数的集合远远大于R,但也同样满足和R一样的一阶逻辑命题。满足和R一样的一阶逻辑命题的有序域称为R非标准模型。这就是非标准分析的研究内容,在非标准模型中证明一阶逻辑命题(可能比在R中证明要简单一些),从而确定这些命题在R中也成立。

拓撲性質[编辑]

實數集構成一個度量空間xy間的距離定為絕對值 |x - y|。作為一個全序集,它也具有序拓撲。這裡,從度量和序關係得到的拓撲相同。實數集又是1 可縮空間(所以也是連通空間)、局部緊緻空間可分空間貝利空間。但實數集不是緊緻空間。這些可以通過特定的性質來確定,例如,無限連續可分的序拓撲必須和實數集同胚。以下是實數的拓撲性質總覽:

  • 為一實數。的鄰域是實數集中一個包括一段含有的線段的子集。
  • 可分空間
  • 中處處稠密。
  • 開集是開區間的聯集。
  • 的緊子集是有界閉集。特別是:所有含端點的有限線段都是緊子集。
  • 每個中的有界序列都有收斂子序列。
  • 是連通且單連通的。
  • 中的連通子集是線段、射線與本身。由此性質可迅速導出中間值定理
  • 區間套定理:設為一個有界閉集的序列,且,則其交集非空。嚴格表法如下:
.

扩展与一般化[编辑]

实数集可以在几种不同的方面进行扩展和一般化:

  • 最自然的扩展可能就是复数了。复数集包含了所有多项式的根。但是,复数集不是一个有序域
  • 有时候,形式元素 +∞和 -∞加入实数集,构成扩展的实数轴。它是一个紧致空间,而不是一个域,但它保留了许多实数的性质。

注释[编辑]

  1. ^ 《数学辞海(第一卷)》山西教育出版社 中国科学技术出版社 东南大学出版社

请参阅[编辑]