摘要訊息 : 在已經建立的實數體系上, 繼續完善實數的性質.

0. 前言

我們在《【數學分析】實數——實數的四則運算》中嚴格地引入了實數的四則運算. 但是實際上, 還有實數的乘冪和對數需要引入之後, 才能夠嚴格地建立實數體系. 除了實數的運算之外, 我們還將介紹線段的測量. 因為沒有嚴格引入實數之前, 有一些線段的長度是無法用有理數或者其它方法表示的.

更新紀錄 :

  • 2022 年 6 月 16 日進行第一次更新和修正.

1. 根的存在性與具有有理指數的乘冪

α\alpha 是任一實數, nn 為自然數, 所謂數 α\alphann 次方根是使得 ξn=α\displaystyle {\xi^{n} = \alpha} 成立的這樣一個實數 ξ\xi.

顯然, 由實數乘法的唯一性可以推得實數乘冪的唯一性. 現在, 我們將所有負有理數, 零及一切使得 xn<αx^{n} < \alpha 的正有理數 xx 歸入下組 XX, 將剩餘有理數 xx' 歸入上組 XX'. 不難證實, 我們得到了一個分割 XXX|X'. 不妨設 XXX|X' 定義了實數 ξ\xi, 則有以下斷言成立.

斷言 1. 分割 XXX|X' 定義的實數 ξ\xi 滿足 ξn=α\xi^{n} = \alpha, 即 ξ=αn\xi = \sqrt [n]{\alpha}.

證明證明 :

任取正數 xXx \in X, xXx' \in X', 則有 0<x<ξ<x.\displaystyle {0 < x < \xi < x'}. 由乘法的性質可知, 0<xn<ξn<xnxn<α<xn.\displaystyle {0 < x^{n} < \xi^{n} < {x'}^{n} \Leftrightarrow x^{n} < \alpha < {x'}^{n}}. 現在, 我們需要考慮 xxx' - x, 如果它能夠小於任意給定的正數, 那麼斷言便成立. 不妨設 x0x_{0} 是稍大於 xx' 的數, 那麼有 xnxn=xnxn+xxn1xxn1+x2xn2+...+xn1xxn1x=(xn1x+xn2x2+...+xxn1+xn)     (xn+xxn1+x2xn2+...+xn1x+xn)=x(xn1+xn2x+...+xxn2+xn1)     x(xn1+xxn2+...+xn2x+xn1)=x(xn1+xn2x+...+xxn2+xn1)     x(xn1+xn2x+...+xxn2+xn1)=(xx)(xn1+xxn2+...+xn1)<ε(xn1+xxn2+...+xn1)<ε(xn1+xxn2+...+xn1)<ε(x0n1+x0n1+...+x0n1n 個)=εnx0n1.\displaystyle {\begin {aligned} {x'}^{n} - x^{n} &= {x'}^{n} - x^{n} + x{x'}^{n - 1} - x{x'}^{n - 1} + x^{2}{x'}^{n - 2} + ... + x^{n - 1}x' - x^{n - 1}x' \\ &= (x^{n - 1}x' + x^{n - 2}{x'}^{2} + ... + x{x'}^{n - 1} + {x'}^{n}) - \\ &\ \ \ \ \ (x^{n} + x'x^{n - 1} + x^{2}{x'}^{n - 2} + ... + x^{n - 1}x' + x^{n}) \\ &= x'(x^{n - 1} + x^{n - 2}x' + ... + x{x'}^{n - 2} + {x'}^{n - 1}) - \\ &\ \ \ \ \ x(x^{n - 1} + x'x^{n - 2} + ... + {x'}^{n - 2}x + {x'}^{n - 1}) \\ &= x'(x^{n - 1} + x^{n - 2}x' + ... + x{x'}^{n - 2} + {x'}^{n - 1}) - \\ &\ \ \ \ \ x(x^{n - 1} + x^{n - 2}x' + ... + x{x'}^{n - 2} + {x'}^{n - 1}) \\ &= (x' - x)({x'}^{n - 1} + x{x'}^{n - 2} + ... + x^{n - 1}) \\ &< \varepsilon'({x'}^{n - 1} + x{x'}^{n - 2} + ... + x^{n - 1}) \\ &< \varepsilon'({x'}^{n - 1} + x'{x'}^{n - 2} + ... + {x'}^{n - 1}) \\ &< \varepsilon'(\underbrace {x_{0}^{n - 1} + x_{0}^{n - 1} + ... + x_{0}^{n - 1}}_{n \text { 個}}) \\ &= \varepsilon'nx_{0}^{n - 1}. \end {aligned}} 其中, ε\varepsilon' 是可以任意小的正數. 取 0<ε<εnx0n10 < \varepsilon < \varepsilon'nx_{0}^{n - 1}, 則有 xnxn<ε.\displaystyle {{x'}^{n} - x^{n} < \varepsilon}. 顯然, ε\varepsilon 也可以任意小, 於是, ξn=αξ=αn.\displaystyle {\xi^{n} = \alpha \Leftrightarrow \xi = \sqrt [n]{\alpha}}.

\blacksquare

對於實數來說, 有理指數乘冪的以下性質仍然成立 :

  1. αrαr=αr+r\alpha^{r} \cdot \alpha^{r'} = \alpha^{r + r'};
  2. αrαr=αrr\frac {\alpha^{r}}{\alpha^{r'}} = \alpha^{r - r'};
  3. (αr)r=αrr\left ( \alpha^{r} \right )^{r'} = \alpha^{rr'};
  4. (αβ)r=αrβr(\alpha\beta)^{r} = \alpha^{r}\beta^{r};
  5. (αβ)r=αrβr\left ( \frac {\alpha}{\beta} \right )^{r} = \frac {\alpha^{r}}{\beta^{r}}.

我們特別指出, 當 α>1\alpha > 1 時, αr\alpha^{r} 隨著指數 rr 的增大而增大.

2. 實數的乘冪

在本節中, 我們需要把乘冪推廣到實數, 而不僅僅限制於有理數. 我們效仿實數加法的引入方法 : 對於以任意實數 β\beta 作為指數, 任何正實數 α\alpha 的乘冪 γ\gamma 是這樣一個實數, 對於任意滿足 b<β<bb < \beta < b' 的有理數 bbbb', γ\gamma 介於 αb\alpha^{b}aba^{b'} 之間, 即 αb<γ<αb.\displaystyle {\alpha^{b} < \gamma < \alpha^{b'}}.

斷言 2. γ\gamma 存在且唯一.

證明證明 :

考慮一切 αβ\alpha^{\beta} 的集合 {αβ}\left \{ \alpha^{\beta} \right \}, 不妨令 γ=sup{αβ}\gamma = \sup \left \{ \alpha^{\beta} \right \}. 此時, 我們有 αbαβαb\alpha^{b} \leq \alpha^{\beta} \leq \alpha^{b'}. 只需要適當加大 bb, 適當減小 bb' 即可取消等號. 因此, γ\gamma 存在.

\square

為了證明 γ\gamma 的唯一性, 首先考慮 (λ+1)n=1+nλ+n(n1)2λ2+...>1+nλ.\displaystyle {\begin {aligned} (\lambda + 1)^{n} &= 1 + n\lambda + \frac {n(n - 1)}{2}\lambda^{2} + ... \\ &> 1 + n\lambda. \end {aligned}}γ=λ+1\gamma = \lambda + 1, 則有 γn=(λ+1)n>1+nλ=1+n(γ1).\displaystyle {\gamma^{n} = (\lambda + 1)^{n} > 1 + n\lambda = 1 + n(\gamma - 1)}. 基於上式, 我們令 γ=α1n\gamma = \alpha^{\frac {1}{n}}, 於是有 (α1n)n>1+n(α1n1).\displaystyle {\left ( \alpha^{\frac {1}{n}} \right )^{n} > 1 + n \left ( \alpha^{\frac {1}{n}} - 1 \right )}. 變換可得 α1n1<α1n.          (I)\displaystyle {\alpha^{\frac {1}{n}} - 1 < \frac {\alpha - 1}{n}. \ \ \ \ \ \ \ \ \ \ (\mathrm {I})} 我們選取 bbbb', 使得對於任意自然數 nn, 有 bb<1n,\displaystyle {b' - b < \frac {1}{n}}, 並選取 b0{b_{0}}' 使得其略大於 bb'. 那麼結合式 (I)(\mathrm {I}) 可以得到 αbαb=αb(αbb1)<αb(α1n1)<αbα1n<αb0α1n.\displaystyle {\alpha^{b'} - \alpha^{b} = \alpha^{b}\left ( \alpha^{b' - b} - 1 \right ) < \alpha^{b}\left ( \alpha^{\frac {1}{n}} - 1\right ) < \alpha^{b'}\frac {\alpha - 1}{n} < \alpha^{{b_{0}}'}\frac {\alpha - 1}{n}}. 任取正數 ε\varepsilon 滿足 ε<αb0α1n\varepsilon < \alpha^{{b_{0}}'}\frac {\alpha - 1}{n}. 此時, 只要 n>αb0(α1)εn > \frac {\alpha^{{b_{0}}'}(\alpha - 1)}{\varepsilon}, 就有對於任意的 nn, 都有一個任意小的正數 ε\varepsilon 使得 αbαb<ε\displaystyle {\alpha^{b'} - \alpha^{b} < \varepsilon} 成立. 故 αβ=γ\alpha^{\beta} = \gamma.

\square

綜上所述, γ\gamma 存在且唯一.

\blacksquare

斷言 2 中的證明過程實際上推廣了《【數學分析】實數——實數集合及其有序化》中的引理 2.

推論 1.α\alphaβ\beta 是兩個任意給定的實數, 若任取 ε>0\varepsilon > 0, 對於兩個有理數 ss'ss (sss' \geq s) 和實數 γ\gamma, 總有 αs1αβαs 且 αs1γαs,\displaystyle {\alpha^{s_{1}} \geq \alpha^{\beta} \geq \alpha^{s} \text { 且 } \alpha^{s_{1}} \geq \gamma \geq \alpha^{s}},γ=αβ\gamma = \alpha^{\beta}. 其中, ss<εs' - s < \varepsilon.

3. 對數

在引入對數之前, 我們首先將使得 αb<γ\alpha^{b} < \gamma 的有理數 bb 歸入 BB 組, 將使得 αb>γ\alpha^{b'} > \gamma 的有理數 bb' 歸入 BB' 組, 並且假設使得 αr=γ\alpha^{r} = \gamma 的有理數 rr 不存在.

斷言 3. BB 組和 BB' 組構成了一個有理數的分割 BBB|B'.

證明證明 :

αn>1+n(α1)\alpha^{n} > 1 + n(\alpha - 1) 可得 αn>n(α1).\displaystyle {\alpha^{n} > n(\alpha - 1)}. 此時, 我們取 n>rα1n > \frac {r}{\alpha - 1}, 就有 αn>γ\alpha^{n} > \gamma. 這樣的自然數 nBn \in B'. 同時, αn1αn<1n(α1).\displaystyle {\alpha^{-n} \doteq \frac {1}{\alpha^{n}} < \frac {1}{n(\alpha - 1)}}. 我們只需取 n>1γ(α1)n > \frac {1}{\gamma(\alpha - 1)}, 便有 αn<γ\alpha^{-n} < \gamma, 這樣的自然數 nB-n \in B. 故 BBBB' 都不為空. 於是, BBBB' 定義了一個分割 BBB|B'.

\blacksquare

不妨設 BBB|B' 定義了實數 β\beta, 由乘冪的性質, 若 αb<αβ<αb,\alpha^{b} < \alpha^{\beta} < \alpha^{b'}, 則我們有 b<β<bb < \beta < b'. 若 bbb' - b 可以小於任意給定的正實數 ε\varepsilon, 即 bb<εb' - b < \varepsilon, 則 αβ=γ.\displaystyle {\alpha^{\beta} = \gamma}. 變換地, 我們有 β=logaγ\beta = \log_{a}{\gamma}.

4. 線段的測量

從有理數擴充到實數解決了線段的測量問題 : 我們要求對於每一條直線段 AA, 我們定義正實數 (A)\ell(A) 為線段 AA 的長度, 使得

  1. 預先選定的標準線段 EE 有單位長度, 即 (E)=1\ell(E) = 1;
  2. 相等的線段有相同的長度;
  3. 在加法下, 兩條線段之和的長度總是等於兩條線段的長度之和, 即 (A+B)=(A)+(B).\displaystyle {\ell(A + B) = \ell(A) + \ell(B)}. 我們稱這條要求為線段的可加性.

在解決線段測量問題之前, 我們首先引入可公度性這一概念.

定義 1. (可公度性) 對於兩個正數 AABB, 若存在第三個數 CC 和兩個自然數 ppqq, 使得 A=pC,B=qC,\displaystyle {A = pC, B = qC}, 則稱 AABB可公度量 (commensurable quantities) 的; 否則, 稱 AABB不可公度量 (incommensurable quantities) 的.

根據線段測量問題的要求 2要求 3, 我們不難得到, 若線段長度為標準長度的 1q\frac {1}{q}, 則該線段的長度也為 1q\frac {1}{q}. 若我們將這個線段重複疊加 pp 次, 則新線段的長度為 pq\frac {p}{q}. 由此可見, 如果線段 AA 與標準長度是可公度量的, 並用線段 AAEE 的公共測度分別在它們上面量 pp 次與 qq 次, 則必定有 (A)=pq.\displaystyle {\ell(A) = \frac {p}{q}}.

事實上, 若 (A)\ell(A)(E)\ell(E) 是可公度量的, 則必定存在 CC 使得 (A)=pC,(E)=qC=1.\displaystyle {\ell(A) = pC, \ell(E) = qC = 1}. 變換可知, C=1qC = \frac {1}{q}, 則 (A)=pq\ell(A) = \frac {p}{q}.

由於存在不可公度的數對, 因此針對線段測量問題, 上面的描述並未完全解決.

現在假設有線段 AABB 滿足 (A)>(B)\ell(A) > \ell(B), 於是存在線段 CC 使得 A=B+CA = B + C, 同時也應有 (A)=(B)+(C)\ell(A) = \ell(B) + \ell(C). 再設 Σ\Sigma 是與標準線段 EE 不可公度的線段, 則存在線段集合 SSSS', 使得任意 sSs \in SsSs' \in S', 都有 (s)<(Σ),(s)<(Σ).\displaystyle {\ell(s) < \ell(\Sigma), \ell(s') < \ell(\Sigma)}. 若將 (s)\ell(s) 歸入下組, (s)\ell(s') 歸入下組, 則我們得到了一個有理數分割. 不妨設這個分割 {(s)}{(s)}\left \{ \ell(s) \right \}|\left \{ \ell(s') \right \} 定義了無理數 σ\sigma, 則 (s)<σ<(s).\displaystyle {\ell(s) < \sigma < \ell(s')}. 現在, 我們確定 σ\sigma 便是 (Σ)\ell(\Sigma), 即 σ=(Σ)\sigma = \ell(\Sigma).

斷言4. 任意兩條線段之和的長度等於兩條線段長度之和.

證明證明 :

考慮具有長度 ρ=(P)\rho = \ell(P)σ=(Σ)\sigma = \ell(\Sigma) 的兩條線段 PPΣ\Sigma, 以及它們的和 T=P+ΣT = P + \Sigma, 記 τ=(T)\tau = \ell(T) 為線段 TT 的長度. 取任意正有理數 rr, rr', ssss', 使得 r<ρ<r,s<σ<s.\displaystyle {r < \rho < r', s < \sigma < s'}.

我們作出線段 RR, RR', SSSS' 使得這些線段的長度恰好是 rr, rr', ssss'. 對於線段 R+SR + S, 其長度 r+s<τr + s < \tau; 對於線段 R+SR' + S', 其長度 r+s>τr' + s' > \tau. 故有 r+s<τ<r+s.\displaystyle {r + s < \tau < r' + s'}. 由實數之和, 我們知道 τ\tau 是唯一的. 因此 τ=ρ+σ\tau = \rho + \sigma.

\blacksquare

對於線段的測量問題, 在實數數體中, 要求 1要求 2 是顯然成立的, 而斷言 4 印證了要求 3, 故線段測量問題我們已經解決!

利用歸納法, 我們可以證明任意線段之和的長度等於各個線段的長度之和.

從線段的測量問題, 我們可以得到以下推論 :

推論 1. 在一具有原點 OO 與標準長度 EE 的有向軸上, 任取一個點 XX, 記 OX\left | \overrightarrow {OX} \right | 為原點 OO 在標準長度 EE 上到 XX 的距離, 這個距離對應了一個正實數. 我們稱 xx 為有向軸上的橫坐標, 且 x={OXX 落在原點 O 的右側OXX 落在原點 O 的左側.\displaystyle {x = \begin {cases} \left | \overrightarrow {OX} \right | & {X \text { 落在原點 } O \text { 的右側}} \\ -\left | \overrightarrow {OX} \right | & {X \text { 落在原點 } O \text { 的左側}}. \end {cases}}

推論 1'. 任意實數 xx推論 1 中的有向軸上都對應了唯一的點.

推論 1推論 1' 便是引入實數數軸的基礎. 全部實數與有向軸的全部點之間可以建立雙方單值的對應. 實數可以表示稱軸上的點, 我們稱這個有向直線軸為實數軸 (real number axis), 簡稱為數軸 (number axis).