Zbiór przeliczalny
Z Wikipedii
Zbiór przeliczalny – zbiór skończony lub równoliczny ze zbiorem liczb naturalnych. Mówiąc nieformalnie, zbiór przeliczalny to taki zbiór, którego elementy można ponumerować liczbami naturalnymi. Jeszcze inaczej: elementy zbioru przeliczalnego można ustawić w ciąg – "wypisać je po kolei". Moc zbiorów nieskończonych przeliczalnych oznacza się symbolem 
(czytaj: alef zero) – jest to najmniejsza moc nieskończona.
[edytuj] Ujęcie formalne
Zbiór X nazywamy przeliczalnym wtedy i tylko wtedy, gdy jest on skończony lub istnieje funkcja wzajemnie jednoznaczna przekształcająca zbiór wszystkich liczb naturalnych na zbiór X.
Kilka własności zbiorów przeliczalnych:
- Podzbiór zbioru przeliczalnego jest przeliczalny.
- Suma przeliczalnej ilości zbiorów przeliczalnych jest zbiorem przeliczalnym.
- Iloczyn kartezjański skończonej liczby zbiorów przeliczalnych jest zbiorem przeliczalnym.
[edytuj] Przykłady
- Zbiór wszystkich liczb naturalnych nieparzystych jest zbiorem przeliczalnym ponieważ funkcja f(n) = 2n + 1 ustala równoliczność zbioru N i tego zbioru.
- Zbiór wszystkich liczb całkowitych jest przeliczalny. Można bowiem liczby całkowite ustawić w ciąg, na przykład w ten sposób: 0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5, ...
- Zbiór wszystkich liczb wymiernych jest przeliczalny. Aby to udowodnić wystarczy wszystkie liczby wymierne wpisać do następującej tablicy: w wierszu pierwszym wpiszemy liczby 1/1, -1/1, 1/2, -1/2 ,1/3, -1/3... w wierszu drugim 2/1, -2/1, 2/2, -2/2, 2/3, -2/3... itd.; ogólnie, w wierszu n-tym wpisujemy liczby postaci n/i, -n/i gdzie i=1,2,3,... W ten sposób w tablicy znajdą się wszystkie liczby wymierne. Aby teraz z takiej dwuwymiarowej tabeli wybrać ciąg zawierający kolejno wszystkie jej elementy, wystarczy wybierać liczby według reguły "po skosie" zaczynając od lewego górnego rogu i poruszając się raz w dół raz do góry. Otrzymujemy tym samym uporządkowanie wszystkich liczb wymiernych w ciąg – co więcej, każda liczba wymierna pojawi się w tym ciągu nieskończenie wiele razy!
- Zbiór liczb rzeczywistych nie jest zbiorem przeliczalnym. Zobacz: rozumowanie przekątniowe.
Pojęcie zbioru przeliczalnego pochodzi od Georga Cantora.
[edytuj] Zobacz też
- paradoks Hilberta,
- liczba kardynalna,
- zbiór nieprzeliczalny,
- przegląd zagadnień z zakresu matematyki.
| Szybowcowe MP: Nieradka prowadzi w klasie otwartej |
|
Pilot Aeroklubu Świdnickiego Zbigniew Nieradka jest liderem po czterech konkurencjach rozgrywanych w Lesznie szybowcowych mistrzostw Polski w klasie otwartej. W klasie Klub piloci nie rozegrali konkurencji, po trzech prowadzi Tomasz Krok (A. Leszczyński).
|
| PŚ w Medemblik: Szotyńska i Kusznierewicz z Życkim w czołówce |
|
Z grona polskich żeglarzy startujących w regatach Pucharu Świata w holenderskim Medemblik, najwyższe - czwarte lokaty - po czwartkowych wyścigach zajmują: w klasie Laser Radial Katarzyna Szotyńska, a w klasie Star załoga Mateusz Kusznierewicz i Dominik Życki.
|
| Euro 2008: pomocnicy przybyli na zgrupowanie polskiej kadry |
|
W czwartek wieczorem do piłkarskiej reprezentacji Polski, przygotowującej się na zgrupowaniu w niemieckim Donaueschingen do występu w mistrzostwach Europy, dołączyli dwaj pomocnicy - Jacek Krzynówek i Jakub Błaszczykowski.
|
| MKOl wysoko ocenia Londyn |
|
Komitet organizacyjny igrzysk olimpijskich w Londynie w 2012 roku otrzymał od inspektorów Międzynarodowego Komitetu Olimpijskiego (MKOl) bliską ideału notę za przebieg prac przygotowawczych.
|
| Polsko-chilijski finał tenisowego debla w Zabrzu |
|
Polska para Marek Mrozek, Mateusz Szmigiel zagra w piątek w finale debla tenisowego turnieju ITF Futures o puli nagród 10 tysięcy dolarów rozgrywanego w Zabrzu. Rywalami Polaków będą Chilijczycy Guillermo Hormazabal, Hans Podlipnik.
|