有理數(shù)如何擴(kuò)展到實數(shù)

【摘要】微積分理論是數(shù)學(xué)的一個基礎(chǔ)學(xué)科。它的內(nèi)容主要包括極限、微分學(xué)、積分學(xué)及其應(yīng)用。微分學(xué)包括求導(dǎo)數(shù)的運(yùn)算，是一套關(guān)于變化率的理論。它使得函數(shù)、速度、加速度和曲線的斜率等均可用一套通用的符號進(jìn)行討論。積分學(xué)，包括求積分的運(yùn)算，為定義和計算面積、體積等提供一套通用的方法。微積分的理論是建立在實數(shù)數(shù)域的完備性基礎(chǔ)之上，在這篇論文中，我們講從完備化這個基本概念出發(fā)，去探討如何從有理數(shù)域通過完備化的過程擴(kuò)展到實數(shù)數(shù)域。

【關(guān)鍵詞】有理數(shù)；實數(shù)

【作者簡介】肖雨伶，成都七中萬達(dá)學(xué)校。

一、動機(jī)

實數(shù)數(shù)域，包含有理數(shù)與無理數(shù)，前者如0、-4、81/7，而后者如√2、π等。直觀上說，實數(shù)可以理解成小數(shù)（有限或無限的）。如果我們把一條直線理解成一個實數(shù)數(shù)軸，直線上的點一一對應(yīng)于一個特定的實數(shù)，那么它們似乎可以把數(shù)軸“填滿”。但僅僅以枚舉的方式不能準(zhǔn)確地描述實數(shù)的全體。實數(shù)和虛數(shù)共同構(gòu)成復(fù)數(shù)。

根據(jù)日常經(jīng)驗，有理數(shù)域在實數(shù)數(shù)軸上似乎是“稠密”的，于是古人一直認(rèn)為用有理數(shù)即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規(guī)定的精度下（比如誤差小于0.001公分），總可以用有理數(shù)來表示足夠精確的測量結(jié)果（比如1.414公分）。但是，在公元前500年左右，古希臘畢達(dá)哥拉斯學(xué)派的數(shù)學(xué)家發(fā)現(xiàn)，只使用有理數(shù)無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數(shù)學(xué)理念；他們原以為：任何兩條線段（的長度）的比，可以用自然數(shù)的比來表示。正因如此，畢達(dá)哥拉斯本人甚至有“萬物皆數(shù)”的信念，這里的數(shù)是指自然數(shù)（1 ， 2 ， 3 ，...），而由自然數(shù)的比就得到所有正有理數(shù)，而有理數(shù)域存在“縫隙”這一事實，對當(dāng)時很多數(shù)學(xué)家來說可謂極大的打擊，這在數(shù)學(xué)史上被稱為第一次數(shù)學(xué)危機(jī)。

從古希臘一直到17世紀(jì)，數(shù)學(xué)家們才慢慢接受無理數(shù)的存在，并把它和有理數(shù)平等地看作數(shù)；后來有虛數(shù)概念的引入，為加以區(qū)別而稱作“實數(shù)”，意即“實在的數(shù)”。在當(dāng)時，盡管虛數(shù)已經(jīng)出現(xiàn)并廣為使用，實數(shù)的嚴(yán)格定義卻仍然是個難題，以至函數(shù)、極限和收斂性的概念都被定義清楚之后，才由十九世紀(jì)末的戴德金、康托等人對實數(shù)進(jìn)行了嚴(yán)格處理。

所有實數(shù)的集合可稱為實數(shù)數(shù)域。任何一個完備的阿基米德有序域均可以認(rèn)為“等同于”實數(shù)數(shù)域。微積分的理論是研究極限、微分學(xué)、積分學(xué)和無窮級數(shù)等的一個數(shù)學(xué)分支，并成為了現(xiàn)代數(shù)學(xué)基礎(chǔ)的重要組成部分。在歷史上，微積分曾經(jīng)指無窮小的計算。更本質(zhì)的講，微積分學(xué)是一門研究變化的科學(xué)，正如：幾何學(xué)是研究形狀的科學(xué)、代數(shù)學(xué)是研究代數(shù)運(yùn)算和解方程的科學(xué)一樣。微積分學(xué)又稱為“初等數(shù)學(xué)分析”。

微積分學(xué)在科學(xué)、經(jīng)濟(jì)學(xué)、商業(yè)管理學(xué)和工業(yè)工程學(xué)領(lǐng)域有廣泛的應(yīng)用，用來解決那些僅依靠代數(shù)學(xué)和幾何學(xué)不能有效解決的問題。微積分學(xué)在代數(shù)學(xué)和解析幾何學(xué)的基礎(chǔ)上建立起來，并包括微分學(xué)、積分學(xué)二大分支。微分學(xué)包括求導(dǎo)數(shù)的運(yùn)算，是一套關(guān)于變化率的理論。它使得函數(shù)、速度、加速度和曲線的斜率等均可用一套通用的符號進(jìn)行演繹。積分學(xué)，包括求積分的運(yùn)算，為定義和計算面積、體積等提供一套通用的方法。微積分學(xué)基本定理指出，微分和積分互為逆運(yùn)算，這也是兩種理論被統(tǒng)一成微積分學(xué)的原因。我們可以以兩者中任意一者為起點來討論微積分學(xué)，但是在教學(xué)中一般會先引入微分學(xué)。在更深的數(shù)學(xué)領(lǐng)域中，高等微積分學(xué)通常被稱為分析學(xué)，并被定義為研究函數(shù)的科學(xué)，是現(xiàn)代數(shù)學(xué)的主要分支之一。

微積分作為一個完備的理論，其基礎(chǔ)是建立在有理數(shù)數(shù)是不完備的，而實數(shù)數(shù)域是完備的這個條件之上的。實數(shù)可以不同方式從有理數(shù)構(gòu)造出來，例如，實數(shù)可以用通過收斂于一個唯一實數(shù)的十進(jìn)制所定義的序列的方式而構(gòu)造為有理數(shù)的補(bǔ)全，但是本質(zhì)上都是一個完備化的過程。在這篇論文中，我們講從完備化這個基本概念出發(fā)，去探討如何從有理數(shù)域通過完備化的過程擴(kuò)展到實數(shù)數(shù)域。

二、實數(shù)的完備性

我們知道有理數(shù)，無理數(shù)的定義：有理數(shù)為整數(shù)（正整數(shù)、0、負(fù)整數(shù)）和分?jǐn)?shù)的統(tǒng)稱；無理數(shù)，也稱為無限不循環(huán)小數(shù)。我們也知道實數(shù)的定義：實數(shù)，是有理數(shù)和無理數(shù)的總稱。分?jǐn)?shù)是兩個整數(shù)之比產(chǎn)生的不等于整數(shù)的比；有理數(shù)集是整數(shù)集的擴(kuò)張，在有理數(shù)集內(nèi)，加法、減法、乘法、除法（除數(shù)不為零）4種運(yùn)算通行無阻。那么問題來了，有理數(shù)是如何擴(kuò)展到實數(shù)的？

初中我們學(xué)習(xí)了實數(shù)的3個性質(zhì)即封閉性，有序性，傳遞性。其實，在我們還未涉獵的區(qū)域里，實數(shù)還有其他3個性質(zhì)。

1.是稠密性：R實數(shù)集具有稠密性，即兩個不相等的實數(shù)之間必有另一個實數(shù)，既有有理數(shù)，也有無理數(shù).簡單來說用刀切數(shù)軸，如果你用兩刀削下來一個有長度的線段（開區(qū)間），不管你刀工多精妙，線段長度再小，只要不為0，其中就一定有至少一個——甚至可以說，有無窮多個有理數(shù)。這個就叫做有理數(shù)的稠密性。稠密性——無孔不入。

2.是完備性：所有的柯西序列都有一個實數(shù)極限。這里提到的柯西序列意思是這樣一個序列，它的元素隨著序數(shù)的增加而愈發(fā)靠近，更確切地說，在去掉有限個元素后，可以使得余下的元素中任何兩點間的距離的最大值不超過任意給定的正的常數(shù)。完備性就是孫悟空永遠(yuǎn)跳不出如來佛的五指山。完備性——密不透風(fēng)。

3.是阿基米德性質(zhì)：對任意兩正數(shù)x及實數(shù)y，存在正整數(shù)n，使nx>y.在幾何上這意味著，無論多長的線段，都能用有限條不管多短的等長線段覆蓋；換句話說，無論采用多短的線段作單位，都能在有限次內(nèi)把無論多長的線段量完。

掌握了這些性質(zhì)后，我們就可以展開研究了。有理數(shù)從1變到2，中間似乎沒有跳躍，因為1與2之間的有理數(shù)是密密麻麻的，找不到一段空白，其實有理數(shù)從1變到2 并非連續(xù)地變化，因為中間跨過了許多無理數(shù)。有理數(shù)再添加無理數(shù)，湊成全體實數(shù)，我們說，實數(shù)是可以連續(xù)變化的，說變量從0變到1，是說要X取遍0到1之間的一切實數(shù)。

舉個例子，實數(shù)具有連續(xù)性，而有理數(shù)不具有連續(xù)性。如何精確說明這里所說的連續(xù)性的含義呢？設(shè)想用一把鋒利的刀把數(shù)軸砍成兩截，這一刀一定會看在某個點上，即砍中了一個實數(shù)。如果能夠看在一個縫隙上，數(shù)軸就不算連續(xù)的了。設(shè)數(shù)軸是從點A處被砍斷的，這個點A不是在左半截上，就是在右半截上。這是因為點不可分割，又不會消失，所以不會兩邊都有，也不會兩邊都沒有。從以上的假象中領(lǐng)會到所謂數(shù)軸的連續(xù)性，就是不管把它從什么地方分成兩半截，總有半截是帶端點的，而另外半截沒有端點。

實數(shù)的連續(xù)性，也就可以照樣搬過來：“把全體實數(shù)分成甲，乙兩個非空集合，如果甲集里任一個數(shù)X比乙集里的任一個數(shù)Y都小，那么，或者甲級里有最大數(shù)，或者乙集里有最小數(shù)，二者必居其一，且僅居其一，這就叫做實數(shù)的連續(xù)性?！?/p>

而有理數(shù)系不滿足這個條件。如果把全體負(fù)有理數(shù)和平方不超過2的非負(fù)有理數(shù)放在一起組成甲集，所有平方超過2的正有理數(shù)組成乙集，則甲集無最大數(shù)，乙集也無最小數(shù)。若從甲乙兩集之間砍一刀，就砍在縫里了。在實數(shù)系中，這個縫就是用無理數(shù)根號2填起來的。

這種方法叫做有理數(shù)的一個戴德金分割，簡稱分割。所以我們需要將無理數(shù)和有理數(shù)結(jié)合起來形成一個連續(xù)的，稠密的數(shù)系，這個數(shù)系就是實數(shù)系。有理數(shù)集到實數(shù)集，使得正數(shù)的開方運(yùn)算得以完備，任意正數(shù)的開方都為實數(shù)。

例 2.1 （有理數(shù)數(shù)域不是完備的）。

通過上面的討論，我們已經(jīng)知道完備化的定義是一個柯西數(shù)列總是收斂的。我們可以構(gòu)造以下這個例子：X_n = [√2 n]n.

其中符號[ ]表示取整符號。容易證明，這個有理數(shù)數(shù)列是柯西數(shù)列，但是它收斂于√2，并不是一個有理數(shù)，所以有理數(shù)數(shù)域并不是完備的。

一個自然的問題，便是如何從有理數(shù)數(shù)域出發(fā)，構(gòu)造一個“等同于”實數(shù)數(shù)域的數(shù)系，并且證明它是完備的？我們這樣思考這個問題，考慮有理數(shù)數(shù)域上的所有的柯西數(shù)列，我們定義兩個柯西數(shù)列等價當(dāng)且僅當(dāng)他們充分的靠近，即在去掉有限個元素后，可以使得它們余下的元素中任何兩點間的距離的最大值不超過任意給定的正的常數(shù)。于是我們可以定義等價類之間的加、減、乘、除，這樣我們就得到了一個域。一方面，我們可以證明，這個域代數(shù)上是同構(gòu)于實數(shù)數(shù)域，即它等同于實數(shù)數(shù)域。另一方面，我們可以去證明在這個數(shù)域中，任何一個柯西數(shù)列總是收斂的。于是，我們得到：定理2.2. 存在一個唯一的包含有理數(shù)數(shù)域的一個阿基米德完備域，并且這個域等同于實數(shù)數(shù)域。

關(guān)于這個完備化過程的更詳細(xì)地證明，我們推薦讀者參看參考文獻(xiàn)。

三、討論

通過以上的討論，我們可以理解完備、完備化的概念，并且也研究了如何通過完備化的方法，從有理數(shù)域出發(fā)，構(gòu)造實數(shù)數(shù)域。從一個更一般化的角度來說，完備化的過程依賴于有理數(shù)數(shù)域上的絕對值的概念，這個絕對值因為滿足三角不等式，所以我們一般稱它為阿基米德絕對值。另一方面，我們可以利用素數(shù)，來定義一個滿足更強(qiáng)的不等式的絕對值，成為非阿基米德絕對值。有了非阿基米德絕對值的概念，我們相當(dāng)于在有理數(shù)數(shù)上定義了另一種度量，于是我們可以完全仿造第二節(jié)中所討論的方法，來定義有理數(shù)的完備化過程，這樣我們會得到無窮多個新的完備數(shù)域，我們稱他們?yōu)閜-adic數(shù)域，在這樣的數(shù)域上，我們會發(fā)現(xiàn)很多奇妙的性質(zhì)，比如，我們可以很容易地構(gòu)造一個平面圓，使得這個圓里面的每一點都是它的圓心！關(guān)于非阿基米德絕對值所帶來的這些有趣的性質(zhì)，我們推薦讀者參看進(jìn)一步的文獻(xiàn)，例如參考文獻(xiàn)[1].

參考文獻(xiàn)：

[1]馮克勤.代數(shù)數(shù)論簡史[M].湖南教育出版社，湖南，2002.

[2]沈燮昌.數(shù)學(xué)分析，第2冊[M].高等教育出版社，北京，2014.

[3]張筑生.數(shù)學(xué)分析新講，第一冊，第1版[M].北京大學(xué)出版社北京， 1990.