實數和集合是數學上最基本的概念。
實數 [編輯]
在數學中,實數是有理數和無理數的總稱。
有理數就是可以表示成兩個整數的比的數,即可表示成的形式的數,其中均為整數且。明顯,有理數就是整數(可以表示成的形式,其中皆為整數且)和分數[包含一切有限小數及無限循環小數(下節證明)]的總稱。實數又可以分為正數、零和負數。正數就是大於零的實數,負數就是小於零的實數。
無理數就是除有理數之外的實數,即不能表示成兩整數之比的數。
所有實數的集合則可稱為實數系或實數連續統。任何一個完備的阿基米德有序域均可稱為實數系。在保守同構意義下它是唯一的,常用表示。
在數學中,可以用一條直線上的點表示數,這條直線就叫做數軸。如圖,數軸上表示數字0的點叫做數軸的原點,通常用表示;一般規定,原點的右側(或上)為正方向,應標有箭頭,原點的左側(或下)為負方向;一般選取1為單位長度。
實數與數軸上的點是一一對應的,這就是實數的幾何意義。為簡便起見,通常用同一個字母或數既表示某個實數又表示實數在數軸上對應的點。
數軸上表示有理數的點叫有理點,表示無理數的點叫作無理點。在任意兩個不同的有理點之間一定存在無窮個有理點,同樣的,任意兩個不同的無理點之間也一定存在無窮多個無理點,這就叫做有理點(數)和無理點(數)的稠密性。
任何不同的兩個實數都可以比較大小。在數軸上,右邊的數總大於左邊的數。
實數的絕對值[編輯]
設為一個實數,定義
為數的絕對值。明顯,互為相反數的兩個數絕對值相等。
它的幾何意義表示點與原點在數軸上的距離。
由定義,若為兩個實數,則
它的幾何意義表示點與點在數軸上的距離。
絕對值有下列基本性質:
- (1) ;
- (2) ;
- (3) ();
- (4) ;
- (5) ;
- (6) ;
- (7) ()。
證 性質(1)(2)(3)證明略;
(4) 由性質(2)可知
- ,
則
- ,
令,則由性質(3)有
- ;
(5) 由性質(4)有
- ,
即有
- ,
類似地有
- ,
於是
- ;
性質(6)(7)證明略。
集合是數學中一個基本概念,現今被普遍接受的集合論是策梅洛-弗蘭克爾(Zermelo-Fraenkel)集合論,包括選擇公理,簡稱ZFC。
一般地,我們把研究對象統稱為元素,把一些元素組成的整體叫做集合,簡稱集。通常,我們用大寫字母表示集合,用小寫字母表示集合中的元素。如果 是集合 的元素,我們就稱 屬於集合,記作;反之,則稱 不屬於集合,記作。
一般地,如果一個集合含有我們所研究問題中涉及的所有元素,那麼就稱這個集合為全集(通常情況下,也把給定的集合稱為全集),通常記作。
集合的表示[編輯]
集合一般有兩種表示法:列舉法和描述法。
列舉法[編輯]
顧名思義,列舉法就是一個一個將集合中的元素列舉出來,再用「」將元素括起來表示集合,元素與元數之間應用「」隔開。當元素個數過多時,可在將元素規律表示出來後用「」省略後續元素。
- 例1.1.2
用列舉法表示集合「不大於20的正奇數」,「大於或等於10的偶數」。
解 這裏集合是一個有限集合,元素較少,可以完全列舉;但集合是一個無窮集合,只能用省略號省去部分元素。
故
描述法[編輯]
描述法是表示一個集合最常用的方法。設為某個與有關的條件或法則,為滿足的全體構成的集合,則記為
- 。
相應地,設為某個與有關的條件或法則,為滿足的全體有序數對構成的集合,則記為
- 。以此類推。
- 例1.1.3
用描述法表示例1.1.2中的集合。
解 依題意,用描述法表示集合,則
答案不唯一。
集合的分類[編輯]
集合有許多種,在數學上可以將集合按元素的個數分為無限集、有限集和空集。
數集和點集[編輯]
顧名思義,數集就是數構成的集合,點集就是點構成的集合。我們見的最多的集合就是數集。數學中有一些特殊數集:
- :自然數集;
- :整數集;
- :有理數集;
- :實數集;
- :複數集;
- :四元數集;
- :八元數集;
- :十六元數集;
上述集合存在關係。還有幾個特殊的數集:
- :質數集;
- :代數數集。
上述數集是非完備的。
無限集、有限集和空集[編輯]
令是正整數的全體,且,如果存在一個正整數,使得集合與一一對應,那麼我們稱集合A為有限集。同時定義,不含任何元素的集合稱作空集,記作。空集是特殊的有限集(有時不將空集看作有限集),且空集是否是點集或數集是任意的。相反地,有限集之外的集合我們叫作無限集。
集合的性質[編輯]
集合有確定性、互異性和無序性三個性質。
確定性[編輯]
給定一個集合,則哪些元素在這個集合中,哪些元素不在都應是確定的。例如「我們班個子高的學生」就不是一個集合,因為多高才叫「高個子」是不確定的,不滿足集合的確定性;而「我們班身高高於170 cm的學生」是一個集合。或說,任意給定一個元素,則它是否屬於集合是確定的。
互異性[編輯]
集合中任意兩個元素都是不同的對象。如不是一個集合,而才是一個集合(有時也將含有幾個相同的元素的集合視為集合,並將幾個相同元素視為一個元素)。互異性使集合中的元素是沒有重複,即使兩個相同的對象在同一個集合中,也只能算作這個集合的一個元素。
無序性[編輯]
集合中的元素排列是沒有順序的。例如,集合。
以上就是集合的三個性質。
集合間的基本關係 [編輯]
一般地,對於兩個集合,如果集合中的任何一種元素都是集合的元素,我們則稱集合是集合的子集,記作
- (或)
讀作「包含於」(或「包含」)。同時,如果有兩個集合滿足且,我們則稱這兩個集合相等,記作
- 。
外延公理是ZFC的公理之一,其可描述為
- ,
其實質是:兩個含有相同元素的集合相等。
若對於兩個集合,有
- 但
我們則稱集合是集合的真子集,記作
- (或)
讀作「真包含於」(或「真包含」)。
由上述定義我們可以得到(子集的性質):
- 1. 空集是任何集合的子集;
- 2. 任何集合都是它本身的子集,即
- ;
- 3. (集合的傳遞性)如果集合
- ,
- 則
- ;
- 更一般地,我們有:
- 若
- 則
- ;
- 4. 若集合中有個元素,則的子集共有,真子集有個。
集合的相等和真子集均滿足上述性質。證明略。
- 例1.1.5
列舉出集合
的全部子集。
解 集合的全部子集有:
在數學上,給定集合,則定義
為集合的冪集。若,則。
其中的任一子集稱作上的集族。
冪集公理是ZFC公理之一,其描述為
- ,
其本質為所有集合都有一個冪集。
區間與鄰域[編輯]
集合論中常用的實數集合為區間與鄰域。
設且,我們定義:
- (1)閉區間:;
- (2)開區間:;
- (3)半開區間:
- (3.1)左開區間:;
- (3.2)右開區間:;
- (4)無窮區間:
- (4.1) ;
- (4.2) ;
- (4.3) ;
- (4.4) ;
- (4.5) 。
通常,我們將上述四類區間統稱為區間。其中(1)-(3)我們稱為有限區間,分別稱為區間的左端點、右端點。
設為某個正數,則稱開區間為點的鄰域;稱為鄰域的中心,為鄰域的半徑。
點的鄰域去掉中心後的集合
稱為點的空心鄰域或去心鄰域;稱開區間為點的左鄰域,為點的右鄰域。
點的鄰域可表示為不等式
- ;
點的空心鄰域可表示為不等式
- 。