首先我們承認(rèn)選擇公理

(資料圖)

思考這樣一個(gè)區(qū)間套

然后我把? 拆成兩個(gè)區(qū)間?

有那么一個(gè)對(duì)應(yīng)規(guī)則讓我從??選擇一個(gè)生成

然后我又有一個(gè)對(duì)應(yīng)規(guī)則? 讓我可以從上面任意一個(gè)區(qū)間里面去取一個(gè)實(shí)數(shù)，那么? 是否存在呢?

答案顯然是的

證明如下：

首先區(qū)間的長(zhǎng)度?

是的子集，從取一個(gè)數(shù)也相當(dāng)于從?中取一個(gè)數(shù) 兩個(gè)數(shù)的距離肯定小于?的區(qū)間長(zhǎng)度所以有

同理往下推有

拓展到? 再運(yùn)用三角不等式得到

所以是一個(gè)柯西序列 因此?

有了上述結(jié)論，我們可以去證一些比較難證明的結(jié)論，例如

閉區(qū)間上的連續(xù)函數(shù)有界

我們用反證法，假設(shè)在上連續(xù)而且沒(méi)有上界，那么我們把劃分成兩個(gè)區(qū)間

因?yàn)樵跊](méi)有上界，所以其中也一定有一個(gè)，使得沒(méi)有上界

以此類推 我們就得到了一個(gè)區(qū)間套

把二等分，選擇一個(gè)沒(méi)有上界的區(qū)間

我們?cè)俣x??因?yàn)? 是沒(méi)有上界的 所以可以這樣定義

于是我們構(gòu)造出了一個(gè)點(diǎn)?

但是 這就矛盾了

實(shí)數(shù)集合的上確界定理

假設(shè)是一個(gè)非空的連通集，并且? 有上界?，我們?cè)?中任取一個(gè)元素?

下面開(kāi)始構(gòu)造區(qū)間套

我們把? 二等分為? 和?

如果? 我們?nèi)?

否則我們?nèi)?

于是這個(gè)區(qū)間套有這么一個(gè)性質(zhì)?

如果??那么??而且 是??的上界 證明很簡(jiǎn)單這里就不證明了

我們?nèi)?/p>

說(shuō)人話就是?? 分別取區(qū)間的左端和右端

于是

這個(gè)? 就是上確界了

因?yàn)?都是上界

都屬于集合?所以一定小于等于所有的上界

所以又是上界又小于等于所有的上界

關(guān)鍵詞：