Podstawy matematyki dla informatyków

Podobne dokumenty
A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.

W poprzednim odcinku... Podstawy matematyki dla informatyków. Relacje równowa»no±ci. Zbiór (typ) ilorazowy. Klasy abstrakcji

Podstawy matematyki dla informatyków. Funkcje. Funkcje caªkowite i cz ±ciowe. Deniowanie funkcji. Wykªad pa¹dziernika 2012

Hotel Hilberta. Zdumiewaj cy ±wiat niesko«czono±ci. Marcin Kysiak. Festiwal Nauki, Instytut Matematyki Uniwersytetu Warszawskiego

Ekstremalnie maªe zbiory

Równoliczność zbiorów

Twierdzenie Wainera. Marek Czarnecki. Warszawa, 3 lipca Wydziaª Filozoi i Socjologii Uniwersytet Warszawski

Zbiory i odwzorowania

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Zdzisªaw Dzedzej, Katedra Analizy Nieliniowej pok. 611 Kontakt:

Wykªad 4. Funkcje wielu zmiennych.

Wielomiany. El»bieta Sadowska-Owczorz. 19 listopada 2018

Strategia czy intuicja?

Mierzalne liczby kardynalne

Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X.

Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych.

Informacje pomocnicze

Funkcje, wielomiany. Informacje pomocnicze

gdzie wektory α i tworz baz ortonormaln przestrzeni E n

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Zadania. 4 grudnia k=1

Twierdzenie Wedderburna Witold Tomaszewski

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Ciaªa i wielomiany. 1 Denicja ciaªa. Ciaªa i wielomiany 1

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Metodydowodzenia twierdzeń

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Metody dowodzenia twierdze«

ELEMENTARNA TEORIA LICZB. 1. Podzielno±

Materiaªy do Repetytorium z matematyki

Zbiory ograniczone i kresy zbiorów

Logika dla matematyków i informatyków Wykªad 1

Indeksowane rodziny zbiorów

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1

Wstęp do Matematyki (4)

Przekroje Dedekinda 1

Wybrane poj cia i twierdzenia z wykªadu z teorii liczb

O liczbach niewymiernych

1 0 Je»eli wybierzemy baz A = ((1, 1), (2, 1)) to M(f) A A =. 0 2 Daje to znacznie lepszy opis endomorzmu f.

Wielomiany o wspóªczynnikach rzeczywistych

Matematyczne Podstawy Kognitywistyki

2 Liczby rzeczywiste - cz. 2

Preliminaria logiczne

Maszyny Turinga i problemy nierozstrzygalne. Maszyny Turinga i problemy nierozstrzygalne

istnienie elementu neutralnego dodawania (zera): 0 K a K a + 0 = a, istnienie elementu neutralnego mno»enia (jedynki): 1 K a K a 1 = a,

Funkcja kwadratowa, wielomiany oraz funkcje wymierne

Matematyka II - Organizacja zajęć. Egzamin w sesji letniej

Prawdopodobie«stwo warunkowe, twierdzenie Bayesa, niezale»no± zdarze«.

Notatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

2 Podstawowe obiekty kombinatoryczne

Interpolacja funkcjami sklejanymi

Funkcje wielu zmiennych

Dekompozycje prostej rzeczywistej

1 Poj cia pomocnicze. Przykªad 1. A A d

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Elementy teorii mnogości. Część II. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.

Matematyka dyskretna dla informatyków

Wykład 10. Stwierdzenie 1. X spełnia warunek Borela wtedy i tylko wtedy, gdy każda scentrowana rodzina zbiorów domkniętych ma niepusty przekrój.

WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14

Liczby zespolone. dr Krzysztof yjewski Mechatronika; S-I 0.in». 6 pa¹dziernika Oznaczenia. B dziemy u»ywali nast puj cych oznacze«:

Elementy geometrii analitycznej w przestrzeni

Kombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

Wyra»enia logicznie równowa»ne

Geometria Algebraiczna

Automorzmy modeli i twierdzenie EhrenfeuchtaMostowskiego

Podstawy matematyki dla informatyków. Logika formalna. Skªadnia rachunku zda« Skróty i priorytety. Wykªad 10 (Klasyczny rachunek zda«) 15 grudnia 2011

RACHUNEK ZBIORÓW 2 A B = B A

Oba zbiory s uporz dkowane liniowo. Badamy funkcj w pobli»u kresów dziedziny. Pewne punkty szczególne (np. zmiana denicji funkcji).

Elementy geometrii w przestrzeni R 3

Rachunek caªkowy funkcji wielu zmiennych

I Rok LOGISTYKI: wykªad 2 Pochodna funkcji. iloraz ró»nicowy x y x

Twierdzenie Choqueta o mierzalno±ci rzutów

Podzbiory Symbol Newtona Zasada szuadkowa Dirichleta Zasada wª czania i wyª czania. Ilo± najkrótszych dróg. Kombinatoryka. Magdalena Lema«ska

1 Metody iteracyjne rozwi zywania równania f(x)=0

Wst p do sieci neuronowych, wykªad 14 Zespolone sieci neuronowe

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się

Logika matematyczna (16) (JiNoI I)

Teoria grafów i sieci 1 / 58

Matematyka dyskretna dla informatyków

Matematyka 1. Šukasz Dawidowski. Instytut Matematyki, Uniwersytet l ski

Algorytmiczna teoria grafów

Cz ± I. Analiza Matematyczna I

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I

Ekstrema lokalne i punkty otwarto±ci funkcji ci gªej

1 Działania na zbiorach

Listy Inne przykªady Rozwi zywanie problemów. Listy w Mathematice. Marcin Karcz. Wydziaª Matematyki, Fizyki i Informatyki.

Liniowe równania ró»niczkowe n tego rz du o staªych wspóªczynnikach

Przeksztaªcenia liniowe

Estymacja parametru gªadko±ci przy u»yciu falek splajnowych

Zadania z z matematyki dla studentów gospodarki przestrzennej UŠ. Marek Majewski Aktualizacja: 31 pa¹dziernika 2006

Informatyka, I stopień

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

XVII Warmi«sko-Mazurskie Zawody Matematyczne

Sprawy organizacyjne

Teoria mnogo±ci. Twierdzenia podziaªowe. Piotr Zakrzewski. Toru«, 31 sierpnia Instytut Matematyki Uniwersytet Warszawski

Semestr letni 2014/15

Transkrypt:

Podstawy matematyki dla informatyków Wykªad 6 10 listopada 2011

W poprzednim odcinku... Zbiory A i B s równoliczne (tej samej mocy ), gdy istnieje bijekcja f : A 1 1 B. Piszemy A B lub A = B. na Moc zbioru N oznaczamy symbolem ℵ 0 (alef zero). Mówimy,»e zbiór jest przeliczalny, gdy jest sko«czony lub jest zbiorem mocy ℵ 0. W przeciwnym razie zbiór jest nieprzeliczalny.

W poprzednim odcinku... Zbiór A jest niesko«czony wtedy i tylko wtedy, gdy ma podzbiór mocy ℵ 0. Zbiór A jest niesko«czony wtedy i tylko wtedy, gdy jest równoliczny z pewnym swoim podzbiorem wªa±ciwym.

Zbiory przeliczalne Fakt Ka»dy podzbiór zbioru przeliczalnego jest przeliczalny.

Zbiory przeliczalne Fakt Ka»dy podzbiór zbioru przeliczalnego jest przeliczalny. Dowód: Wystarczy udowodni,»e ka»dy niesko«czony podzbiór zbioru N jest przeliczalny.

Zbiory przeliczalne Fakt Ka»dy podzbiór zbioru przeliczalnego jest przeliczalny. Dowód: Wystarczy udowodni,»e ka»dy niesko«czony podzbiór zbioru N jest przeliczalny. Niech A N b dzie niesko«czony. Deniujemy f : N A: f (n) = min(a f (n)) (*) Wtedy f jest ró»nowarto±ciowa. Poka»emy,»e f jest na A.

Zbiory przeliczalne Fakt Ka»dy podzbiór zbioru przeliczalnego jest przeliczalny. Dowód: Wystarczy udowodni,»e ka»dy niesko«czony podzbiór zbioru N jest przeliczalny. Niech A N b dzie niesko«czony. Deniujemy f : N A: f (n) = min(a f (n)) (*) Wtedy f jest ró»nowarto±ciowa. Poka»emy,»e f jest na A. Przypu± my,»e k A Rg(f ). Wtedy dla dowolnego n mamy jednocze±nie k A f (n) i k f (n), a wi c k > f (n). St d Rg(f ) k czyli Rg(f ) jest sko«czony. To niemo»liwe, bo f jest ró»nowarto±ciowa.

Przeliczanie przeliczalnego Fakt Niepusty zbiór A jest przeliczalny wtedy i tylko wtedy, gdy istnieje surjekcja f : N na A.

Przeliczanie przeliczalnego Fakt Niepusty zbiór A jest przeliczalny wtedy i tylko wtedy, gdy istnieje surjekcja f : N na A. Dowód: ( ) Je±li A = ℵ 0 to z denicji istnieje bijekcja.

Przeliczanie przeliczalnego Fakt Niepusty zbiór A jest przeliczalny wtedy i tylko wtedy, gdy istnieje surjekcja f : N na A. Dowód: ( ) Je±li A = ℵ 0 to z denicji istnieje bijekcja. Je±li A = n 0 to jest g : n 1 1 na { h(m) = A, i wtedy h : N na A: g(m), je±li m < n; g(0), w przeciwnym przypadku.

Przeliczanie przeliczalnego Fakt Niepusty zbiór A jest przeliczalny wtedy i tylko wtedy, gdy istnieje surjekcja f : N na A. Dowód: ( ) Je±li A = ℵ 0 to z denicji istnieje bijekcja. Je±li A = n 0 to jest g : n 1 1 na { h(m) = A, i wtedy h : N na A: g(m), je±li m < n; g(0), w przeciwnym przypadku. ( ) Niech g = λa A. min{i N f (i) = a}. Wtedy g : A 1 1 N, zatem A Rg(g) N.

Fakt Niepusty zbiór A jest przeliczalny wtedy i tylko wtedy, Wniosek Je±li A jest przeliczalny i f : A gdy istnieje surjekcja f : N na A. na B, to B jest przeliczalny.

Fakt Je±li zbiory A i B s przeliczalne, to A B jest przeliczalne.

Fakt Je±li zbiory A i B s przeliczalne, to A B jest przeliczalne. Dowód: Zaªó»my,»e A i B s niepuste (inaczej oczywiste). S f : N na A i g : N na B. Wtedy ϕ : N na A B: { f (k), je±li n = 2k, dla pewnego k; ϕ(n) = g(k), je±li n = 2k + 1, dla pewnego k

Fakt Je±li zbiory A i B s przeliczalne, to A B jest przeliczalne.

Fakt Je±li zbiory A i B s przeliczalne, to A B jest przeliczalne. Dowód: Zaªó»my,»e A i B s niepuste (inaczej oczywiste). S f : N na A i g : N na B. Wtedy ψ : N na A B: { f (0), g(0), je±li n = 0; ψ(n) = f (i), g(j), je±li n = 2 i 3 j q oraz 2 q i 3 q. Funkcja ψ jest na, bo dla dowolnych a A, b B istniej takie i, j,»e f (i) = a i f (j) = b. A wi c a, b = ψ(2 i 3 j ).

Funkcje pary z N N do N t(m, n) = 2 m 3 n (ró»nowarto±ciowa)

Funkcje pary z N N do N t(m, n) = 2 m 3 n u(m, n) = 2 m (2n + 1) (ró»nowarto±ciowa) (ró»nowarto±ciowa)

Funkcje pary z N N do N t(m, n) = 2 m 3 n u(m, n) = 2 m (2n + 1) u(m, n) = 2 m (2n + 1) 1 (ró»nowarto±ciowa) (ró»nowarto±ciowa) (bijekcja)

Funkcje pary z N N do N t(m, n) = 2 m 3 n u(m, n) = 2 m (2n + 1) u(m, n) = 2 m (2n + 1) 1 (ró»nowarto±ciowa) (ró»nowarto±ciowa) (bijekcja) v(m, n) = (m + n)(m + n + 1) 2 + m (bijekcja)

Przykªady zbiorów przeliczalnych Zbiór N N jest przeliczalny. Bo to produkt zbiorów przeliczalnych.

Przykªady zbiorów przeliczalnych Zbiór N N jest przeliczalny. Zbiór Z wszystkich liczb caªkowitych jest przeliczalny. Bo f : N N na Z, gdzie f m, n = m n.

Przykªady zbiorów przeliczalnych Zbiór N N jest przeliczalny. Zbiór Z wszystkich liczb caªkowitych jest przeliczalny. Zbiór Q wszystkich liczb wymiernych jest przeliczalny. Bo f : Z (Z {0}) na Q, gdzie f m, n = m n.

Przykªady zbiorów przeliczalnych Zbiór N N jest przeliczalny. Zbiór Z wszystkich liczb caªkowitych jest przeliczalny. Zbiór Q wszystkich liczb wymiernych jest przeliczalny. Zbiór wszystkich punktów pªaszczyzny o wspóªrz dnych wymiernych jest przeliczalny. Bo to po prostu Q Q.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy:

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy: Istnieje funkcja F : N na A.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy: Istnieje funkcja F : N na A. Istniej funkcje f m : N na F (m).

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy: Istnieje funkcja F : N na A. Istniej funkcje f m : N na F (m). Ka»de a A nale»y do pewnego F (m).

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy: Istnieje funkcja F : N na A. Istniej funkcje f m : N na F (m). Ka»de a A nale»y do pewnego F (m). Zatem ka»de a jest postaci f m (n).

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy: Istnieje funkcja F : N na A. Istniej funkcje f m : N na F (m). Ka»de a A nale»y do pewnego F (m). Zatem ka»de a jest postaci f m (n). Niech G(m, n) = f m (n), dla m, n N. Funkcja G : N N na A, jest na A.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Dowód: Niech A b dzie przeliczaln rodzin zbiorów przeliczalnych. Zaªó»my,»e A oraz A. Wtedy: Istnieje funkcja F : N na A. Istniej funkcje f m : N na F (m). Ka»de a A nale»y do pewnego F (m). Zatem ka»de a jest postaci f m (n). Niech G(m, n) = f m (n), dla m, n N. Funkcja G : N N na A, jest na A. Zatem A jest zbiorem przeliczalnym.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Wniosek Je±li alfabet A jest przeliczalny, to zbiór wszystkich sªów A te» jest przeliczalny.

Twierdzenie Suma przeliczalnej rodziny zbiorów przeliczalnych jest przeliczalna. Wniosek Je±li alfabet A jest przeliczalny, to zbiór wszystkich sªów A te» jest przeliczalny. Dowód: Zbiór A jest sum zbiorów A n, dla n N.

Denicja Liczby algebraiczne to pierwiastki rzeczywiste wielomianów o wspóªczynnikach wymiernych.

Denicja Liczby algebraiczne to pierwiastki rzeczywiste wielomianów o wspóªczynnikach wymiernych. Fakt Zbiór wszystkich liczb algebraicznych jest przeliczalny.

Denicja Liczby algebraiczne to pierwiastki rzeczywiste wielomianów o wspóªczynnikach wymiernych. Fakt Zbiór wszystkich liczb algebraicznych jest przeliczalny. Dowód: Wielomian jest wyznaczony przez sko«czony ci g swoich wspóªczynników. Zbiór wielomianów Q[x] jest wi c równoliczny z Q i te» przeliczalny.

Denicja Liczby algebraiczne to pierwiastki rzeczywiste wielomianów o wspóªczynnikach wymiernych. Fakt Zbiór wszystkich liczb algebraicznych jest przeliczalny. Dowód: Wielomian jest wyznaczony przez sko«czony ci g swoich wspóªczynników. Zbiór wielomianów Q[x] jest wi c równoliczny z Q i te» przeliczalny. Wielomian ma sko«czenie wiele pierwiastków, wi c zbiór liczb algebraicznych to przeliczalna suma zbiorów sko«czonych.

Nierówno±ci Mówimy,»e moc zbioru A jest mniejsza lub równa mocy zbioru B (i piszemy A B), wtedy i tylko wtedy, gdy istnieje injekcja f : A 1 1 B.

Nierówno±ci Mówimy,»e moc zbioru A jest mniejsza lub równa mocy zbioru B (i piszemy A B), wtedy i tylko wtedy, gdy istnieje injekcja f : A 1 1 B. Je»eli A B ale zbiory A i B nie s równoliczne, to piszemy A < B i mówimy,»e zbiór A jest mocy mniejszej ni» zbiór B.

Nierówno±ci Mówimy,»e moc zbioru A jest mniejsza lub równa mocy zbioru B (i piszemy A B), wtedy i tylko wtedy, gdy istnieje injekcja f : A 1 1 B. Je»eli A B ale zbiory A i B nie s równoliczne, to piszemy A < B i mówimy,»e zbiór A jest mocy mniejszej ni» zbiór B. Je±li m, n s liczbami kardynalnymi to m n oznacza,»e A B, dla A = m, B = n. Analogicznie rozumiemy m < n.

Poprawno± denicji Lemat Je»eli A B i C D oraz istnieje injekcja f : A 1 1 istnieje te» injekcja g : B 1 1 D. C, to

Poprawno± denicji Lemat Je»eli A B i C D oraz istnieje injekcja f : A 1 1 istnieje te» injekcja g : B 1 1 D. Dowód: Istniej bijekcje ϕ : B 1 1 na Zatem ψ f ϕ : B 1 1 D. C, to A oraz ψ : C 1 1 D. na A f C ϕ ψ B D

Nierówno±ci Je±li A B, to A B.

Nierówno±ci Je±li A B, to A B. Dla dowolnej liczby naturalnej n zachodzi n < ℵ 0.

Nierówno±ci Je±li A B, to A B. Dla dowolnej liczby naturalnej n zachodzi n < ℵ 0. Dla dowolnego zbioru A zachodzi A P(A). Istotnie, λa. {a} : A 1 1 P(A).

Nierówno±ci Je±li A B, to A B. Dla dowolnej liczby naturalnej n zachodzi n < ℵ 0. Dla dowolnego zbioru A zachodzi A P(A). Istotnie, λa. {a} : A 1 1 P(A). Zbiór A jest niesko«czony wtw, gdy ℵ 0 A.

Nierówno±ci Fakt Dla dowolnych niepustych zbiorów A, B nast puj ce warunki s równowa»ne: 1) A B; 2) Istnieje g : B na A; 3) Zbiór A jest równoliczny z pewnym podzbiorem zbioru B.

Nierówno±ci Fakt Dla dowolnych zbiorów A, B, C : A A;

Nierówno±ci Fakt Dla dowolnych zbiorów A, B, C : A A; Je±li A B i B C to A C.

Nierówno±ci Fakt Dla dowolnych zbiorów A, B, C : A A; Je±li A B i B C to A C. Czy je±li A B i B A to A = B?

Twierdzenie (Cantora-Bernsteina) Je±li A B i B A to A = B. Inaczej: Je±li f : A 1 1 B oraz g : B 1 1 na to istnieje h : A 1 1 B. A,

Przykªad Zawierania K A L implikuj równoliczno±. K L A

Przykªad Przedziaªy (0, 1) i [0, 1] s równoliczne, bo (0, 1) [0, 1]; [0, 1] ( 1, 2) (0, 1).

Dowód twierdzenia Cantora-Bernsteina A f g B

Dowód twierdzenia Cantora-Bernsteina

Dowód twierdzenia Cantora-Bernsteina

Dowód twierdzenia Cantora-Bernsteina

Inny dowód twierdzenia Cantora-Bernsteina Lemat: Je±li ϕ : A 1 1 C A to C A. A C

Moc continuum Denicja Moc zbioru wszystkich liczb rzeczywistych nazywamy continuum i oznaczamy przez C.

Moc continuum Denicja Moc zbioru wszystkich liczb rzeczywistych nazywamy continuum i oznaczamy przez C. Twierdzenie C = P(N) = {0, 1} N = N {0, 1}.

Moc continuum Denicja Moc zbioru wszystkich liczb rzeczywistych nazywamy continuum i oznaczamy przez C. Twierdzenie C = P(N) = {0, 1} N = N {0, 1}. Dowód: Cz ± ªatwa: Bijekcja F : P(N) 1 1 (N {0, 1}) na mo»e by okre±lona tak: F (A) = λn:n. if n A then 1 else 0.

Moc continuum Denicja Moc zbioru wszystkich liczb rzeczywistych nazywamy continuum i oznaczamy przez C. Twierdzenie C = P(N) = {0, 1} N = N {0, 1}. Dowód: Cz ± ªatwa: Bijekcja F : P(N) 1 1 (N {0, 1}) na mo»e by okre±lona tak: F (A) = λn:n. if n A then 1 else 0. Uwaga: Funkcja F (A) to funkcja charakterystyczna zbioru A. Bywa oznaczana symbolem χ A.

N {0, 1} R Dowód: Okre±lamy funkcj H : (N {0, 1}) 1 1 [0, 1): H(f ) = f (i) 10 i+1 i=0 Na przykªad H(0110001110...) = 0, 0110001110... Dwa ró»ne ci gi f i g daj dwie ró»ne liczby H(f ) i H(g). Ale nie ka»da liczba w (0, 1) jest postaci H(f ).

R P(Q) Dowód: Deniujemy G : R 1 1 P(Q): G(r) = Q (, r) Je±li r 1 < r 2 to r 1 < q < r 2 dla pewnego q Q. Wtedy q G(r 2 ) G(r 1 ).

Moraª: P(N) R

Moraª: P(N) R Dowód: Po pierwsze, P(N) = N {0, 1} R = C.

Moraª: P(N) R Dowód: Po pierwsze, P(N) = N {0, 1} R = C. Po drugie, C = R P(Q) = P(N).

Moraª: P(N) R Dowód: Po pierwsze, P(N) = N {0, 1} R = C. Po drugie, C = R P(Q) = P(N). Z twierdzenia Cantora-Bernsteina zbiory P(N) i R s równoliczne.

Nieprzeliczalno± Twierdzenie Zbiór R jest nieprzeliczalny (inaczej, ℵ 0 < C).

Nieprzeliczalno± Twierdzenie Zbiór R jest nieprzeliczalny (inaczej, ℵ 0 < C). Dowód: Przypu± my,»e liczby z przedziaªu (0, 1) mo»na ustawi w ci g niesko«czony,

Nieprzeliczalno± Twierdzenie Zbiór R jest nieprzeliczalny (inaczej, ℵ 0 < C). Dowód: Przypu± my,»e liczby z przedziaªu (0, 1) mo»na ustawi w ci g niesko«czony, np. tak: r 1 = 0, 0354276587723... r 2 = 0, 0645288645241... r 3 = 0, 3484655343666... r 4 = 0, 7749234390005...

Nieprzeliczalno± Twierdzenie Zbiór R jest nieprzeliczalny (inaczej, ℵ 0 < C). Dowód: Przypu± my,»e liczby z przedziaªu (0, 1) mo»na ustawi w ci g niesko«czony, np. tak: r 1 = 0, 0354276587723... r 2 = 0, 0645288645241... r 3 = 0, 3484655343666... r 4 = 0, 7749234390005...

Nieprzeliczalno± Twierdzenie Zbiór R jest nieprzeliczalny (inaczej, ℵ 0 < C). Dowód: Przypu± my,»e liczby z przedziaªu (0, 1) mo»na ustawi w ci g niesko«czony, np. tak: r 1 = 0, 0354276587723... r 2 = 0, 0645288645241... r 3 = 0, 3484655343666... r 4 = 0, 7749234390005... Wtedy liczba 0, 1778... na pewno w tym ci gu nie wystepuje!

Nieprzeliczalno± Twierdzenie Zbiór P(N) jest nieprzeliczalny. Dowód: Przypu± my,»e P(N) = {A n n N}. Niech B = {n n A n }.

Nieprzeliczalno± Twierdzenie Zbiór P(N) jest nieprzeliczalny. Dowód: Przypu± my,»e P(N) = {A n n N}. Niech B = {n n A n }. Wtedy B = A k, dla pewnego k.

Nieprzeliczalno± Twierdzenie Zbiór P(N) jest nieprzeliczalny. Dowód: Przypu± my,»e P(N) = {A n n N}. Niech B = {n n A n }. Wtedy B = A k, dla pewnego k. Je±li k B, to k A k, wi c k B, sprzeczno±.

Nieprzeliczalno± Twierdzenie Zbiór P(N) jest nieprzeliczalny. Dowód: Przypu± my,»e P(N) = {A n n N}. Niech B = {n n A n }. Wtedy B = A k, dla pewnego k. Je±li k B, to k A k, wi c k B, sprzeczno±. Je±li k B, to (k A k ), czyli k A k = B, sprzeczno±.

Uogólnienie: Twierdzenie (Cantora) Dla dowolnego zbioru A zachodzi A < P(A). Dowód: Przypu± my,»e F : A 1 1 P(A). Niech na B = {x A x F (x)}.

Uogólnienie: Twierdzenie (Cantora) Dla dowolnego zbioru A zachodzi A < P(A). Dowód: Przypu± my,»e F : A 1 1 P(A). Niech na B = {x A x F (x)}. Istnieje takie b A,»e F (b) = B.

Uogólnienie: Twierdzenie (Cantora) Dla dowolnego zbioru A zachodzi A < P(A). Dowód: Przypu± my,»e F : A 1 1 P(A). Niech na B = {x A x F (x)}. Istnieje takie b A,»e F (b) = B. Je±li b B, to b F (b) = B, sprzeczno±.

Uogólnienie: Twierdzenie (Cantora) Dla dowolnego zbioru A zachodzi A < P(A). Dowód: Przypu± my,»e F : A 1 1 P(A). Niech na B = {x A x F (x)}. Istnieje takie b A,»e F (b) = B. Je±li b B, to b F (b) = B, sprzeczno±. Je±li b B, to b F (b), sprzeczno±.

Paradoks fryzjera F : A P(A) F (x) = {y x goli y} Nie mo»e istnie takie b,»e: x(b goli x x nie goli x) x(x F (b) x F (x))