6361
Lemosfera / Re: Skrzynie doktora Corcorana
« dnia: Czerwca 20, 2010, 11:27:28 pm »Hehe, @olka: nie, ja bynajmniej nie miałem na myśli że moc ma się jakkolwiek do matematycznie rozumianej gęstości. (liv miał pełne prawo nie mieć pojęcia, że jest takie pojęcie w ogóle...). Miałem na myśli gęstość rozumianą potocznie. O matematycznej gęstości lepiej nie gadać:)Uff...bo juz sie do Dedekinda dokopalam:D fakt: lepiej nie gadac...chociaz;)
Hmm..najwyzej wytniecie (sie nie pogniewam;)) ale mam okolicznosciowy wierszyk (napisany podobno przez anonimowego matematyka <alkoholizmu anonimowego nie wykluczono>) podsumowujacy nasze rozwazania:
Moc jest to klasa równoważności
Zbioru w relacji równoliczności.
Dla zbiorów, co są w tej samej klasie
Zawsze bijekcję utworzyć da się.
Funkcja ta, która ma być bijekcją
Musi injekcją być i surjekcją.
Że jest injekcją, to w innych słowach
Znaczy, że jest różnowartościowa.
Nazwa "surjekcja" oznacza zdanie
Że jest to "na" zbiór odwzorowanie.
Zbiory bywają zwykle dzielone
Na te skończone i nieskończone.
Zwłaszcza te drugie nas zadziwiają
Bo całkiem inne własności mają.
Mówimy, że zbiór jest przeliczalny
Gdy ma moc zbioru liczb naturalnych.
Te zbiory liczb są z nim równoliczne:
Wymierne oraz algebraiczne.
Tę moc przebadał Cantor dopiero
I ją oznaczył przez alef_0.
Są jeszcze inne nieskończoności
Które niezwykłe mają własności.
No, bo na przykład, kto by powiedział,
Że równej mocy jest każdy przedział?
Lub czy to fakt jest dość oczywisty
Że tyleż jest też liczb rzeczywistych?
Punktów na prostej? A i do tego
podzbiorów zbioru przeliczalnego?
Moc tę continuum nazywamy
Oraz literą C oznaczamy.
Gdy chcemy większe uzyskać moce
Musimy liczbę 2 podnieść do C.
Tyle podzbiorów, co każdy przyzna
Ma zbiór Rdo kwadratu - czyli płaszczyzna.
Gdy 2 do mocy tej podniesiemy -
Kolejną, większą moc dostaniemy.
Czynność tę można kontynuować
I dalsze moce tak konstruować.
Tak otrzymamy ciąg nieskończony
Z coraz to większych mocy tworzony.
Więc można podać do wiadomości:
Jest nieskończoność nieskończoności!