基础数学-交通大学应用数学系.pdfVIP

基礎數學 翁志文 May 18, 2013 2 1 形式語言及證明 我們談論數學時，會希望語意能清楚而不會混淆，一般語言不容易達成這 目標。我們將介紹一種形式語言，作為談論數學觀念的工具。在這語言 中，每一句子所賦予的意義只有不能重疊的真或假，雖然因此我們失去語 言豐富的表達能力，但卻能讓同一句子經歷時間、空間、文化的區隔，也 不改變它所傳達的訊息。不過如果用這種語言，本書將顯得煩躁且內容 冗長，因此第二章後，我們還是用一般語言來談論數學，但每一句子背後 有相對應的形式語言支撐，如果語意不清時，我們有能力找出此支撐來澄 清。這形式語言談論的對象，座落在一集合中。 集合是一群元素的整體。我們每次談論的元素都將落在一個集合，稱 為宇集。當A 是一集合，我們用x ∈ A ( x ̸∈ A ) 表示 「 x 是 ( 不是) 集合A 中的一個元素」。 例如 是所有自然數 1 、2 、3 、··· 所形成的 集合，那麼4 ∈ 。同時對x 、y ∈ A ，用x y ( x ̸ y ) 來表x 與y 是 ( 不是 ) 同一元素。本書我們將固定以 表自然數所形成的集合，而以 表整數集， 表有理數集，0/ 代表沒有任何元素的空集合。有理數是 3 1 13 指分數，如 、 、− 都是有理數，而循環小數023 也是有理數，因 1 2 7 為023 21 。所有的數所形成的集合叫實數集，以 表示。 中除有理 90 數外也含無限又不循環的小數，如圓周率 。對A 是整數集、有理數集、 或實數集，我們以A 0 ( 或A ) 代表A 中的正數，及A ≥0 代表A 中非 負的數。 習題 1.0 1 2 1. 形式語言及證明 b 1. 如果a ∈ {2 ，5} 、b ∈ ， 則分數 一定是有限小數。 a 1 2. 驗證 0142857 。 7 b 3. 如果a ∈ 、 b ∈ 、 分數 是循環小數，則最多到小數點後第a a 位會出現循環數字。 4. 一個分數一定可寫成有限小數或無窮循環小數。 ∗ 122 1 23 23 23 23 5. 驗證 ··· 。 990 10 1000 100000 1000000000 6. ∗ 有限小數或無窮循環小數可寫成分數。 √ a 2 7. 如果 2 ， 其中a ，b ∈ ， 則必4 整除a 。 b 8. ∗ √2 不是有理數。 1.1. 敘述及真值表 3 1.1 敘述及真值表 敘述是一個句子，它不是真就是假。例如4 ∈ 是一敘述；而 −1 ∈ 也 是一