M若ab,则对任意0c皆有acbc.PDFVIP

4.3. Order Relation 59 Example 4.3.5. 我們可以對所有複數所成的集合 定義一個 strict order. 對任意 a bic di ∈ , 其中 abcd ∈ 且 i2 −1. 我們定義 a bi ≺ c di 若且唯若 (1) a c或 (2) a c 且 b d . 此時 ≺ 便是 strict total ordered set. 首先檢查 transitive 性質. 假設 a bic die f i ∈ 其中abcd ef ∈ 滿足 a bi ≺ c di 且 c di ≺ e f i . 依 ≺的定義 , 我們知此時 a ≤ c 且 c ≤ e,因此得 a ≤ e. 我們可以 分成兩種情況討論: (一)若 a e,則由 ≺的定義得 a bi ≺ e f i ; (二)若 a e,則 可得 a c e. 此時由 a bi ≺ c di 知 b d ,再由 c di ≺ e f i 知 d f .故得 b f ,因此依 ≺的定義得 a bi ≺ e f i .證明了 ≺符合 transitive 性質. 至於三一律, 若 a bi ̸ c di,依複數相等的定義知 a ̸ c或 b ̸ c.若 a ̸ c,依實數的三一律知 a c或 c a,也就是說此時 a bi ≺ c di或 c di ≺ a bi. 而若a c, 此時必有b ̸ d ,故 依然由實數的三一律可得 a bi ≺ c di或 c di ≺ a bi. 我們證明了任兩複數在≺ 之下皆為 comparable,證得了 ≺有 trichotomy的性質 . 在此定義之下 ≺ 為 strict total ordered set 且它保持了原本實數上 這個 order. 不過為甚麼常聽說複數不能比大小呢? 其實這是簡略的說法.事實上 ,實數和複數它們不只 是 sets, 它們的元素之間還有加法及乘法運算.所以我們在談其上的 order時其實還多要求 了兩個性質.即在實數的情形我們多了和加法與乘法有關的兩個性質 : A:若 a b,則對任意 c皆有 a c b c. M:若 a b,則對任意 0 c皆有 ac bc. 很容易驗證剛才定義複數上的 ≺符合性質 A.但是它不符合性質 M. 這是因為依定義我們 有 0 ≺ i,但若性質 M 成立,則有 0 ×i ≺ i ×i,即 0 ≺ −1. 此與 ≺ 之定義不符,故知 ≺ 不符 合性質 M. 事實上 , 我們可以證明在 上面不可能定義出一個 strict total order ≺會保持原本實 數的大小關係且符合性質 A和 M. 這是因為若 ≺符合這些要求 ,則依三一律 , 我們有 0 ≺ i或 i ≺ 0 兩種情況會發生.若 0 ≺ i,則由性質 M會推得 0 ≺ −1, 不符合原本實數的大 小關係. 而若i ≺ 0,則由性質 A可推得 i −i ≺ 0 −i,即 0 ≺ −i. 此時再由性質M,可 推得 0 × −i ≺ −i × −i,即 0 ≺ −1,同樣的不符合原本實數的大小關係 .因為在 上是 不可能存在 strict total order符合這些性質所以我們才簡略的說複數是不能比大小的, . Question 4.9.試證明若 ≺ 為 strict total ordered set 且滿足 Example 4.3.5的性質 A 和性質 M,則對任意 中的非零元素 z,皆有 0 ≺ z2 . 要注意 strict total order 並不是 total order. 但如前面所述 , 每一個 total ordered set X ≼,都可定義一個 strict total order. Proposition 4.3.6.假設 X ≼是一個 total ordered set.若定義 x ≺ y若且唯若 x ≼ y 且 x ̸ y ,則在此定義之下 , ≺ 為 X的一個 strict total order. Proof.首先我們