第三回 實數域

2022-05-14 10:41:15 字數 2676 閱讀 6691

上回已經構造了實數系:

$$\mathbb=r/\sim.$$

下面在 $\mathbb$ 上定義一些運算使之構成乙個域. $\mathbb$ 中的元素由有理數基本列的等價類 $[(a_n)_]$ 構成, 為了記號的方便, 我們今後就用$(a_n)$ 來表示.

仿照有理數域, 我們希望定義加減乘除. 其中加法和減法比較好定義:

$$(a_n)+(b_n):=(a_n+b_n).$$

$$(a_n)-(b_n):=(a_n-b_n).$$

為了嚴謹起見, 需說明這樣的定義是合理的. 以加法為例, 首先容易知道 $(a_n+b_n)$ 一定是基本列, 這是因為

$$|(a_n+b_n)-(a_m+b_m)|\leq|a_n-a_m|+|b_n-b_m|,$$

而 $(a_n)$ 和 $(b_n)$ 分別是基本列, 從而 $(a_n+b_n)$ 也是基本列. 其次, 需要說明這樣的定義不依賴於代表元的選取, 即若 $(a_n)\sim (c_n)$, $(b_n)\sim (d_n)$, 則

$$(c_n+d_n)\sim (a_n+b_n).$$

為了定義乘法, 我們首先給乙個簡單的引理.

(引理1) 若 $(a_n)$ 是基本列, 則 $(a_n)$ 有界, 即存在有理數 $m>0$ 使得

$$|a_n|\leq m,\quad \forall~n\geq1.$$

證明. 對於 $\varepsilon=1$, 存在 $n$ 使得 $n\geq n$ 時,

$$|a_n-a_n|\leq1,\quad\forall~n\geq n.$$

取$$m=\max\|,|a_n|+1\}$$

即可.定義乘法:

$$(a_n)\cdot(b_n):=(a_n\cdot b_n).$$

同樣可以說明 $(a_nb_n)$ 是基本列, 那是因為

$$|a_mb_m-a_nb_n|\leq|a_m-a_n||b_m|+|b_m-b_n||a_n|\leq m(|a_m-a_n|+|b_m-b_n|).$$

在定義除法之前, 我們先在 $\mathbb$ 中定義序:

(定義1) 設 $(a_n),(b_n)\in\mathbb$. 如果存在有理數 $q$ 以及正整數 $n$ 使得當 $n\geq n$ 時

$$a_n>q>b_n.$$

則稱 $(a_n)$ 大於 $(b_n)$, 記作

$$(a_n)>(b_n).$$

(三歧性定理) 對於 $(a_n),(b_n)\in\mathbb$, 以下三者之一成立:

$$\mathrm\quad(a_n)>(b_n),$$

$$\mathrm\quad(a_n)<(b_n),$$

$$\mathrm\quad(a_n)=(b_n).$$

證明. 假設(1)和(2)不成立, 我們來證明(3). 事實上, 對任何 $q>0$, 因為 $(a_n-b_n)$ 是基本列, 所以存在 $n$ 使得 $m,n\geq n$ 時,

$$|(a_n-b_n)-(a_m-b_m)|<\frac.$$

因為(1)和(2)不成立, 故一定存在 $k\geq n$ 及 $l\geq n$ 使得

$$a_k-b_k<\frac,\quad a_l-b_l>-\frac.$$

所以當 $n\geq\max\$ 時,

$$-q所以

$$(a_n)=(b_n).$$

下面來定義除法. 設 $(b_n)\neq(0)$, 此時可假設存在 $q>0$ 使得

$$|b_n|\geq q>0.$$

定義$$\frac:=\left(\frac\right).$$

容易說明 $\left(a_n/b_n\right)$ 是乙個基本列, 那是因為

$$\left|\frac-\frac\right|\leq\frac\leq\frac(|a_n-a_m|+|b_n-b_m|).$$

可以得到如下定理:

(定理2) $\mathbb$ 是乙個有序域.

容易知道, $\mathbb$ 也是乙個有序域, 怎樣把它看成 $\mathbb$ 的子域呢? 這裡就要用到同構的概念, 簡單來說, 有序域的同構就是乙個保持運算和序的雙射.

(定義2) 設 $e$ 和 $f$ 是有序域, 且存在雙射 $\varphi:e\rightarrow f$ 滿足

$$\varphi(a+b)=\varphi(a)+\varphi(b),$$

$$\varphi(a\cdot b)=\varphi(a)\cdot\varphi(b),$$

$$a則稱 $\varphi$ 是同構對映. 此時也稱 $e$ 和 $f$ 是同構的.

所謂同構無非就是 $e$ 上的運算或者比較大小等價於 $f$ 上的運算或者比較大小, 從而可以認為 $e$ 和 $f$ 本質上是乙個東西.

(定理3) $\mathbb$ 是 $\mathbb$ 的子域, 且同構對映可以這樣定義:

$$\varphi(q)=[(q)_].$$

由上述定理, $\mathbb$ 僅僅是 $\mathbb$ 中恆取乙個值的基本列等價類的全體, 從這個意義上講, $\mathbb$ 比 $\mathbb$ "大". $\mathbb$ 是有理數的擴充版本, 以後我們就記某個 $r\in\mathbb$, 認為 $r$ 也是乙個數, 稱為實數 (實際上是有理數基本列的等價類, 乙個等價類就稱為乙個數). 第一回說到有理數不足以描述單位正方形的對角線, 那麼實數是否就可以刻畫單位正方形的對角線? 另外實數又有哪些好的性質呢? 且聽下回分解.

IT餐館 第三回 模式

就在上回聚會後不久,杜鵬就在 msn上聯絡雨辰,說他們公司最近新招來了兩個新人,其中乙個小伙對設計模式很感興趣,沒事就找老杜聊怎麼學這個東西,老杜想起雨辰前些 年總愛在酒桌上與大家聊這些話題,所以就想單獨約雨辰出來給那個小伙講講。雨辰因為最近產品要發布測試版有些忙,所以就約在三天後的週六中午在王利的...

第三回 Controller與View

這節我們讓asp.net mvc真正的跑起來 首先我們自己新建乙個新的controller在controllers上點右鍵,新增,controller選項 之後出現乙個對話方塊 這裡我們將之起名為eicecontroller 附註一下,這裡是個純廣告,無興趣可略過此行 www.eice.com.cn...

設計模式 學習筆記 第三回

adapter 介面卡 模式 使用場景 已經給定了消費者和生產者,即呼叫者和被呼叫者,但是二者的藉口不統 一 不匹配,可以通過本模式,增加乙個翻譯層,將呼叫請求傳送給被呼叫者。從而,在不修改消費者和生產者的前提下,完成二者的匹配問題。有點像翻譯人員的作用和所處的位置,例如,乙個說英語的e要和乙個說中...