lect2 230708501
Post on 24-May-2015
310 Views
Preview:
DESCRIPTION
TRANSCRIPT
8Ü�Äê
êÆ8B{
¡�O�Å�Æ�lÑêÆA
Ìù��µonô
�u�ÆO�ÅX
2008c¢GÆÏ
onô lÑêÆA
8Ü�Äê
êÆ8B{
1�ùÃ�8
�êÆ�Ù§©|Ø��Ó§8ÜØ´��<Õg��z"ù�<Ò´x÷"8ÜØ´ïÄ“Ã�"Vg�êÆ"
Georg Cantor:1845-1918
onô lÑêÆA
8Ü�Äê
êÆ8B{
Cantor±c�8ÜØ
4ÙZ]@�vkÃ�ê�3§¦´ù�Øy�µ
�y²ü�8Ü����Ó§·��I�w§��mUÄ
ïáå��éA"
�Äg,ê8ܧz�g,êÚ§�2�ê��éA§ù�Ò´`g,ê��êÚóê��ê´��õ§ù���8
ÜÒÚ§�,�f8¹kÓ�õ���"
¤±Ã�êØ�3"
onô lÑêÆA
8Ü�Äê
êÆ8B{
Cantor±c�8ÜØ(Y)
pd(1777-1855)$�w2`·r��éráþ��¢S�3�þ5¦^§ù3êÆ¥
´Ø#N�"Ã�==´<�£ã4����«�ª"
I protest above all against the use of an infinite quantity asa completed one§which in mathematics is never allowed.The infinite is only a manner of speaking§in which oneproperly speaks of limits.
onô lÑêÆA
8Ü�Äê
êÆ8B{
Cantor'uÃ��Øy
x÷¡éÓ���J¯Kµ
�o!ØÃ�8Ü���´Ã¿Â�§�o#NÃ�8Ü�§�,ýf8kÓ�õ���"
x÷vkkaû½§¦k�Ä�äN�~fµ
g,ê8ÜÚknê8Ü´��éA�(1873)g,ê8Ü´Ú�êê8Ü��éA�(1873)
@o§´Ø´¤k�Ã�8ÜÑ�±ïá��éAº
onô lÑêÆA
8Ü�Äê
êÆ8B{
kØÓ�Ã�8
31873c"x÷uyg,ê8Ü�¢ê8Ü�mvk��éA'X§ù`²�(kØÓ���Ã�8Ü"ù�©Ù1874cuL§ù�c�±w�8ÜØ�c" 1891c¦U?þãy²§�Ñé���{"
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
Outline
1 8Ü�Äê
ÄêÚ�ê8
CBS Theorem��{
2 êÆ8B{
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
8Ü�Äê
8Ü�Äê´é8Ü���ïþ"
éuk�8ܧ·��±����/ê§wkõ���"�éÃ�8UÄïþÙ��§ù�¯K(6��kó�A�V§±�updQ`L3êÆþ´Ø#N�ÄÃ�þ�"x÷Õg�<¡éù�]Ô§r<ag��81Ú�á"
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
8Ü�Äê(Y)
½Â (�³)
¡ü�8ÜAÚB´�³�§P�A ≈ B,��=��3dA�Bþ���N�"
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
8Ü�Äê(Y)
½Â (8Ü�Äê)
8A�Äê(½³)§P�|A|,ÚAkù��éX§¦� |A| = |B|��=�A ≈ B.
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
�ê8
½Â (�ê8)
��8ÜA´�êÃ��§��=�|A| = |N|. A´�ê�§��=�A´k�8½�êÃ�8"
·K
�ê8�f8´�ê�"
�êõ��ê8�¿´�ê�"
k�õ��ê8�(k�È´�ê�"
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
Outline
1 8Ü�Äê
ÄêÚ�ê8
CBS Theorem��{
2 êÆ8B{
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
Cantor-Bernstein-Shröder Theorem
½n (CANTOR-BERNSTEIN-SCHRÖDER THEOREM)
�A, B´ü�8ܧf : A → B Ú g : B → A´ü�N�"XJfÚgÑ´ü�§KkV�h : A → B.
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
CBS½n�y²
Proof.PC = g[B], h = g ◦ f . 8B½ÂAi , Ci , DiXeµ
A0 = A, C0 = C, D0 = A0 \ C0;An+1 = h[An], Cn+1 = h[Cn], Dn+1 = An+1 \ Cn+1.
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
CBS½n�y²£Y¤
Proof.
-D∗ = A \⋃∞
i=0 Di . �f , gÑØ´÷�§Kk±eäóµé?¿i ≥ 0, Ai+1 ⊂ Ci ⊂ Ai ;D0, D1, · · · , ...üüØ��¶� h(Di) = Di+1.A =
⋃∞i=0 Di ∪ D∗;
C =⋃∞
i=1 Di ∪ D∗.
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
CBS½n�y²£Y¤
Proof.½Â¼êk : A → CXeµ
f (a) =
{h(a), a ∈
⋃∞i=0 Di
a, otherwise.
Kk´V�§l A�C�³§dC�B�³§·��A�B��³"y²�."
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
Outline
1 8Ü�Äê
ÄêÚ�ê8
CBS Theorem��{
2 êÆ8B{
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
��{
3#y²(1891)Ø�3g,ê8�¢ê8���éA�§x÷^é���{"é���{´Äue¡��{"
�½��8ÜA§^8ÜA¥����I\§5IPA��8Ü¥���"�±�½�´§ÃØXÛIP§I\ÑØ^"
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
é���{µ��~f
�
A = {♣,♦,♥,♠}
´do�sÚ|¤�8ܧ·�y3y²Ø�3lA�§��8�V�"^�y{"b�z�sÚéA��£ØÓ�¤s@"
♣ ♦ ♥ ♠l l l l
{♦,♥} {♦,♠} {♣,♦,♥} {♣,♥,♠}
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
é���{µ��~f£Y¤
�±^L�/ª5L«þãXÚ"XJ`sÚ3¯sÚ¤�L�
@¥Ñy§·�3d£`§¯¤¤(½�L�¥��+§ÄK��−. �rNå�§·�ré��þ�PÒ^���å"
♣ ♦ ♥ ♠♣ − + +♦ + ⊕ + −♥ + − ⊕ +♠ − + − ⊕
♣ ♦ ♥ ♠l l l l
{♦,♥} {♦,♠} {♣,♦,♥} {♣,♥,♠}
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
é���{µ��~f£Y¤
?¿�½4�pØ�Ó�@§·�Ñ�±é�,���§�ÑØ�Ó�@5"
·�æ^Xe5K5½Â��#@T :��sÚ3T¥Ñy��=�§Ø3§¤éA�s@¥Ñy"
~X§éþ��Ñ�o�s@§·�kT = {♣}.ù`²¹o����8ÜAÚ§��8�mØUïá��éA"
onô lÑêÆA
8Ü�Äê
êÆ8B{
ÄêÚ�ê8
CBS Theorem��{
é���{£Y¤
�f´lg,ê8ÜN�§��8���ü�"
1 2 3 4 · · ·l l l l · · ·
M1 M2 M3 M4 · · ·
·�5y²fØ´÷�"rf�¤L��/ªµXJiØ3Mj¥§
K3d(i , j)¤(½�Lü�?��−§ÄK��+. y3�âé��þ�ÎÒ5����g,ê8Ü�f8
M = {i : i 6∈ Mi}.
�±y²M 6= Mné?¿n¤á"ù`²fØ´÷�"
onô lÑêÆA
8Ü�Äê
êÆ8B{
êÆ8B{
b�k�'ug,ê�5�P§�Pég,ên¤á�§·��¡P(n)�ý"@o§XÛ�yP´Äé?¿g,êѤáº/ÏêÆ8B{§·��Iy²
(i) (8BÄ:) P(0)¤á¶
(ii) (8BÚ½)é?¿n§eP(n)¤á§KP(n + 1)�¤á"1
1ùp�b�P(n)¡�8Bb�"
onô lÑêÆA
8Ü�Äê
êÆ8B{
êÆ8B{�C/
þ¡�(ii)��±��e¡�(ii′) é?¿n§XJ P(0), P(1), · · · , P(n)Ѥá§KP(n + 1)�¤á"
(1)+(ii′)¡�G�8B{"
��
Áy²µPé��g,ê¤á��=�P÷veã^�(ii′′) é?¿n§XJ P(m)é?¿m < nÑý§KP(n)ý"
onô lÑêÆA
8Ü�Äê
êÆ8B{
~
e¡�~f`²��o8BÄ:é�"�Äeã�ã
“é?¿��ên, n2 + 5n + 1Ñ´óê""PP�5�“n2 + 5n + 1´óê""b�P(n)ý§·�y²P(n + 1)�ý"
Proof.
b�P(n)�ý§Kn2 + 5n + 1´óê"d(n + 1)2 + 5(n + 1) + 1 = (n2 + 5n + 1) + 2(n + 3)§·���(n + 1)2 + 5(n + 1) + 1�´óê§=P(n + 1)�ý"
onô lÑêÆA
8Ü�Äê
êÆ8B{
(�8B{
3O�Å�Æ¥§êâ(�§§S§©��Ñkk��E"
~~·�I�£�´Äz��k��EÑk,�5�P,d�A^êÆ8B{I�·�C/§ùÒ´(�8B{"
ù«8B{¢�´kéØÓ�(��E�E,§Ý?1ü
S§ù�z�(�Ñk��g,ê���§�E,Ý�þ
z§,�éÙE,Ý�þz^8B{"
onô lÑêÆA
top related