在本講義中我們用 來表示所有整數所成的集合. 所以 0 在 中, 2 也在 中, 2007 和 -365 也在 中. 這樣一來當我們要說一個數 a 是整數時, 我們只要說 a 在 中就好了. 在數學上我們要說一個東西在一個集合中就用``" 這個符號, 也就是``屬於"的意思. 所以以後我們要表達 a 是一個整數就直接說 a 即可. 我們也常只考慮正整數, 在本講義中我們用 表示所有正整數所成的集合. 所以我們用 a 來表示 a 是一個正整數.
對於整數一開始是由自然數出發,利用數數的方法我們定義了加法,接著有了負的概念整個整數加法的體系就建立起來了。 給定 a , 我們用 2a 表示. a + a 一般來說若 n 我們將 n 個 a 相加的結果表為 na. 我們也將 (- n)a 看成 n 個 - a 相加所得之值. 若我們再將 0a 定為 0, 如此一來對任意的 m , ma 都有了定義. 如此定義出來的乘法和加法之間所滿足的運算規則如交換率, 結合率和分配率等此處就不再贅述. 我們將可以寫成 ma 其中 m 的數稱為 a 的倍數 (multiple). 另一方面若 b 是 a 的倍數, 我們也稱 a 是 b 的因數 (divisor). 符號記為 a| b.
我們將 a 的倍數所成的集合用 a 來表示. 也就是說 a 中的元素都是 ma 這樣的形式其中 m . 這樣的集合可用 a = {ma | m } 來表示. 因此我們可以說 b a 和 b 是 a 的倍數 (或 a 是 b 的因數) 是一樣的意思.
接下來我們想用集合的角度處理因數倍數的一些性質. 要注意這些性質大家高中時都已證過, 我們用集合的角度處理並沒有比較方便,介紹這樣的處理方法僅是利用它讓大家熟悉一下集合的語言.
首先注意若 a , a 這一個集合並不單單是一個集合. 由於整數在加法和乘法之下有所謂的封閉性, a 也有以下兩個重要的封閉性.
(1) 由分配率知 b + c = na + n'a = (n + n')a. 又由於 n, n' 我們知 n + n' , 故得 b + c a.
(2) 由結合率知 mb = m(na) = (mn)a. 又由於 m, n 我們知 mn , 故得 mb a.
結合 Proposition 1.1.1 的結果我們有以下之性質.
大部分一個重要的性質我們都會用 Proposition 來稱呼再冠上編號以便以後引用. 而直接套用 Proposition 所得的性質我們都用 Corollary 來稱呼.
接著我們來看集合單純的性質. 若 A, B 是集合且 A 中的元素都在 B 中, 則我們就用 A B 來表示 (稱 A 包含於 B). 很容易有以下之性質:
(2) 若 a| b 且 b| a, 由 (1) 知 b a 且 a b. 因此由集合性質知 a = b. 也就是說 a 和 b 是相同的集合. 由此, 很容易看出當 a = 0 時 b = 0. 反之亦然. 因此我們只剩考慮 a 0 且 b 0 的情況. 此時 a 中最小的正數 a (當 a > 0) 或 - a (當 a < 0) 會等於 b 中最小的正數 b 或 - b. 故得證 a = ±b.
(3) 若 a| b 且 b| c, 則由 (1) 知 b a 且 c b. 因此由集合性質知 c a. 故再由 (1) 的等價關係知 a| c.
再次強調一下前面我們用集合較抽象的方法證明整除的性質主要是要大家習慣集合的語言以及學習一些抽象的論證方法. 它並不是什麼特別的好方法. 比方說大家熟知的 a| b 則 ma| mb 就很難用類似上面集合的方法來處理. 總之, 要處裡一個問題並沒有說一定要用什麼方法. 你只要使用一個你認為可行且正確的方法處理. 所以學習數學絕不要僅是背誦定理的證明. 如何將繁瑣的證明整理成你自己習慣且能理解的語言才是重點. 接下來我們就回歸定義來證明前述之性質.
(1) 將等式兩邊同乘以 m 可得 mb = mna = n(ma) 故知 ma| mb.
(2) d| a 且 d| b 即表示存在 a', b' 使得 a = a'd 且 b = b'd. 故由 b = na 得 b'd = na'd. 因為 d 0, 兩邊同除以 d 可得 b' = na', 即 a'| b'. 因為 a/d = a' 且 b/d = b' 故得證 (a/d )|(b/d ).
Lemma 1.1.5 是一個簡單的性質. 它本身並不算什麼重大的性質, 但是以後討論許多性質時都要用到它, 我們便用 Lemma 稱呼之以方便引用.
在 Lemma 1.1.5(2) 中 d| a 且 d| b 的假設就是說 d 同時是 a 和 b 的因數, 我們簡稱之為 a, b 的公因數. 討論一些整數之間的關係時公因數和最大公因數以及公倍數和最小公倍數是很重要的工具. 接下來我們是給它們下一個定義.
通常當有一個符號或名詞需要介紹時, 為了方便找到我們會特別用 Definition 來標示之.
當要下一個定義時要注意是否合理. 不要給的定義的東西根本不存在或沒有用. Definition 1.1.6 中就要注意最大公因數及最小公倍數是否存在: 因為 1 整除所有的整數, 所以若 a1, a2,..., an 則其公因數必存在. 又因為 a1, a2,..., an 有有限多個公因數, 所以我們知 a1, a2,..., an 的最大公因數必存在. 不過 a1, a2,..., an 的最大公因數有可能是 1. 若如此 (即 gcd(a1, a2,..., an) = 1), 則稱 a1, a2,..., an 互質 (relatively prime). 另一方面因為 a1a2 ... an 是 a1, a2,..., an 的公倍數, 所以適當的乘上正負號可知 a1, a2,..., an 正的公倍數必存在, 因此由 well-ordering principle 知 a1, a2,..., an 的最小公倍數必存在.
下一節我們將會談論最大公因數及最小公倍數的一些基本性質.