第6章-集合的基數(shù)_第1頁
第6章-集合的基數(shù)_第2頁
第6章-集合的基數(shù)_第3頁
第6章-集合的基數(shù)_第4頁
第6章-集合的基數(shù)_第5頁
已閱讀5頁,還剩23頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)

文檔簡介

第6章集合的基數(shù)1無窮集與Galileo悖論Galileo悖論N+={1,2,…,n,…}N(2)={1,4,…,n2,…}哪一個集合的元素更“多”一些呢?部分=全體?伽利略(1564~1642)2康托(Cantor,Georg)(1845-1918)比較兩個集合的“大小”有兩種方法:1.

數(shù)集合中元素的個數(shù),這只使用于有限集合.2.看兩個集合的元素間是否有一一對應(yīng)的關(guān)系(雙射).這種方法既適用于有限集合,也適用無限集合.3集合的等勢關(guān)系比較集合的大小并不容易等勢關(guān)系的定義:如果存在從集合A到集合B的雙射,則稱集合A與B等勢.集合A與B等勢記為:A

B,否則A?BA

B意味著:A,B中的元素可以“一一對應(yīng)”.要證明A

B,找出任意一個從A到B的雙射即可.例如下面集合間是等勢的。N={0,1,2,3,4,…...},A={0,2,4,6,8,…...},f:N

A,f(x)=2xB={1,3,5,7,9,…...},g:N

B,g(x)=2x+1

4可列集(無窮可數(shù)集)與自然數(shù)集等勢的集合稱為可列集定理1

集合A是可數(shù)集,充分且必要條件是可將A的元素寫成序列形式,即A={a0,a1,a2,a3,...}直觀上說:集合的元素可以線性排列,對派定序列中任一元素,可以說出:它“前”、“后”元素是什么可列集的例子整數(shù)集是可列集自然數(shù)集的笛卡兒乘積是可列集有理數(shù)集是可列集:f:N

Q,f(n)=“第n個分?jǐn)?shù)”(按照某種排列)5整數(shù)集合Z

N因為Z可以寫成:Z={0,-1,1,-2,2,-3,3,-4,4,...}即可將Z中元素從0開始按照箭頭指定次序排列:0123-1-2-3所以Z是可數(shù)集。601234……43210點(x,y)表示有序?qū)?lt;x,y>N×N

N01324567897表示<x,y>Z×Z

N8表示x/y3201有理數(shù)集合QN9Cantor’s1877lettertoDedekind:

“Iseeit,butIdon'tbelieveit!”10定義集合A的元素個數(shù)稱為集合的基數(shù)或勢,可記為|A|在有限集中集合的基數(shù)是一個自然數(shù)A={1,2,3,4,5},|A|=5A={a,b,c,…,x,y,z},|A|=26無限集合中集合的有專門的符號表示自然數(shù)集合N的基數(shù):

0(讀:阿列夫零)與自然數(shù)集等勢的集合,其基數(shù)也是

0集合的勢11Cantor對角線法與不可數(shù)集實數(shù)軸上的(0,1)區(qū)間中的實數(shù)是不可數(shù)的.證明:反證法.假設(shè)(0,1)是可數(shù)的,則可以將它的元素寫成序列形式:{r1,r2,r3,...},其中

ri=0.ai1ai2ai3……i=1,2,3,…..即0<ri<1

aik∈{0,1,2,3,4,5,6,7,8,9}k=1,2,3,4,…構(gòu)造一個數(shù)revil=0.b1b2b3……,其中bi≠aii于是

revil≠r1,revil≠

r2,revil≠

r3...…∴

revil(0,1)產(chǎn)生矛盾,所以(0,1)是不可數(shù)的.12

r10.a11a12a13a14a15…

r20.a21a22a23a24a25…

r30.a31a32a33a34a35…

r40.a41a42a43a44a45…

r50.a51a52a53a54a55…:

revil0.b1b2b3b4b5…

Decimalexpansionsofri

bi≠aii,i=1,2,3,…..

13Cantor對角線法

r10.

r20.

r30.

r40.

r50.

r60.

r70.:

revil0.

Decimalexpansionsofri

14

r10.1234567

r20.

r30.

r40.

r50.

r60.

r70.:

revil0.

Decimalexpansionsofri

Cantor對角線法15Cantor對角線法

r10.1234567

r20.1111111

r30.

r40.

r50.

r60.

r70.:

revil0.

Decimalexpansionsofri

16Cantor對角線法

r10.1234567

r20.1111111

r30.2542090

r40.

r50.

r60.

r70.:

revil0.

Decimalexpansionsofri

17Cantor對角線法

r10.1234567

r20.1111111

r30.2542090

r40.7890623

r50.

r60.

r70.:

revil0.

Decimalexpansionsofri

18Cantor對角線法

r10.1234567

r20.1511111

r30.2542090

r40.7890623

r50.0110101

r60.

r70.:

revil0.

Decimalexpansionsofri

19Cantor對角線法

r10.1234567

r20.1511111

r30.2542090

r40.7890623

r50.0110101

r60.5555555

r70.:

revil0.

Decimalexpansionsofri

20Cantor對角線法

r10.1234567

r20.1511111

r30.2542090

r40.7890623

r50.0110101

r60.5555555

r70.7679544:

revil0.

Decimalexpansionsofri

21Cantor對角線法

r10.1234567

r20.1511111

r30.2542090

r40.7890623

r50.0110101

r60.5555555

r70.7679544:

revil0.5455545

Decimalexpansionsofri

22(0,1)區(qū)間的基數(shù)是一個比N的基數(shù)

0更大的無限大的數(shù),用(讀:阿列夫)表示.即>0.整個實數(shù)集合R

(0,1)證明:構(gòu)造函數(shù)f:(0,1)Rf(x)=tg(πx-π/2)顯然f是雙射,所以R

(0,1).實數(shù)軸上的任何一段連續(xù)區(qū)間(a,b)的基數(shù)都是

,所以稱之為連續(xù)統(tǒng)基數(shù).0123康托爾定理任何集合與其冪集不等勢.即:S?P(S)康托爾悖論:不存在“一切集合的集合”.ABCS{B}

{A}{C}P(S){A,B}{B,C}{A,C}{A,B,C}f滿射,故存在

y

S

使得f(y)=CONFUSEf.設(shè)

f:S→P(S)是雙射.CONFUSEf={x|x

S,x

f(x)}y屬于集合CONFUSEf么?由CONFUSEf的定義,y

CONFUSEfiff.

y

CONFUSEf24康托爾(GeorgCantor1845-1918)“無限!再沒有其它問題如此深刻地打動過人類的心靈?!?/p>

-戴維。希爾伯特“由康托爾在1874-1895年創(chuàng)造地集合論的引起爭論的題目,象征著19世紀(jì)有先見之明的預(yù)言家們認(rèn)為是從物理科學(xué)到民主政府的一切事物中,極其合理的原則的總崩潰,這些預(yù)言家們預(yù)見到了一切,只是沒有預(yù)見到這場大崩潰。”“悖論和自相矛盾開始同時出現(xiàn),這些可能最終是康托爾的理論注定要對數(shù)學(xué)做出的最大貢獻(xiàn),因為它們就在圍繞無窮的邏輯和數(shù)學(xué)推理的基礎(chǔ)中意想不到地存在,是現(xiàn)在整個演繹推論中批判運動地直接啟迪。我們希望從這里能得出一個…更豐富、更“真實”—擺脫了不一致—的數(shù)學(xué)。

上述兩段摘自E.T.貝爾:《數(shù)學(xué)精英》25數(shù)學(xué)史上的“三次危機(jī)”第一次危機(jī)芝諾悖論(關(guān)于運動的四個悖論,如“飛箭不動”),導(dǎo)致數(shù)學(xué)真正嚴(yán)謹(jǐn)性的開始(公理化)第二次危機(jī)微積分悖論(無窮小量等于零嗎?“那逝去的量的鬼魂”),導(dǎo)致極限論的誕生第三次危機(jī)有關(guān)一切集合的集合的悖論,導(dǎo)致集合論公理化。26基數(shù)的比較定理2

設(shè)A是有限集合,則|A|<0<.定理3

設(shè)A是無限集合,則

0≤|A|(可數(shù)集合是“最小的”無限集合

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論