Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Zainstaluj
Szybszy dostęp niż przeglądarce!
 

Twierdzenie Cantora

Indeks Twierdzenie Cantora

Twierdzenie Cantora – twierdzenie teorii mnogości udowodnione przez Georga Cantora mówiące, że każdy zbiór ma moc mniejsząniż rodzina jego wszystkich podzbiorów, czyli jego zbiór potęgowy.

27 kontakty: Alfred North Whitehead, Bertrand Russell, Ernst Zermelo, Funkcja, Funkcja charakterystyczna zbioru, Funkcja różnowartościowa, Funkcja wzajemnie jednoznaczna, Funkcja zdaniowa, Georg Cantor, Liczby rzeczywiste, Metoda przekątniowa, Moc zbioru, Obraz i przeciwobraz, Paradoks zbioru wszystkich zbiorów, Podzbiór, Principia mathematica, Problem stopu, Routledge Encyclopedia of Philosophy, Skala betów, Surjekcja, Teoria mnogości, Twierdzenie Cantora (ujednoznacznienie), Zbiór, Zbiór jednoelementowy, Zbiór nieprzeliczalny, Zbiór potęgowy, 1903.

Alfred North Whitehead

Alfred North Whitehead (ur. 15 lutego 1861 w Ramsgate, zm. 30 grudnia 1947 w Cambridge w stanie Massachusetts) – angielski uczony: filozof, matematyk i fizyk teoretyczny.

Nowy!!: Twierdzenie Cantora i Alfred North Whitehead · Zobacz więcej »

Bertrand Russell

Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.

Nowy!!: Twierdzenie Cantora i Bertrand Russell · Zobacz więcej »

Ernst Zermelo

Ernst Zermelo we Fryburgu, 1953 Ernst Friedrich Ferdinand Zermelo (ur. 27 lipca 1871 w Berlinie, zm. 21 maja 1953 we Fryburgu Bryzgowijskim) – niemiecki matematyk.

Nowy!!: Twierdzenie Cantora i Ernst Zermelo · Zobacz więcej »

Funkcja

suriekcją. parabola. dziedzinie zespolonej. Funkcja („odbywanie, wykonywanie, czynność”Od „wykonać, wypełnić, zwolnić”.), odwzorowanie, przekształcenie, transformacja – pojęcie matematyczne używane w co najmniej dwóch zbliżonych znaczeniach.

Nowy!!: Twierdzenie Cantora i Funkcja · Zobacz więcej »

Funkcja charakterystyczna zbioru

Funkcja charakterystyczna zbioru, indykator zbioru – niech A będzie dowolnym zbiorem, zaś B jego podzbiorem, B \subseteq A. Funkcjącharakterystycznązbioru B nazywa się funkcję rzeczywistąf\colon A \longrightarrow \ określonąnastępującym wzorem: Oznaczeniem funkcji charakterystycznej zbioru B\subseteq A jest \mathbf 1_, \ \chi_, \ \mathbf 1_B, bądź \chi_B.

Nowy!!: Twierdzenie Cantora i Funkcja charakterystyczna zbioru · Zobacz więcej »

Funkcja różnowartościowa

Diagram przemienny przedstawiający iniekcję jako funkcję odwracalnąlewostronnie data.

Nowy!!: Twierdzenie Cantora i Funkcja różnowartościowa · Zobacz więcej »

Funkcja wzajemnie jednoznaczna

Bijekcja umożliwia jednoczesne sparowanie wszystkich elementów odwzorowywanych zbiorów Diagram przemienny ilustrujący bijekcje jako funkcje odwracalne Funkcja wzajemnie jednoznaczna, bijekcja – wzajemnie jednoznaczna odpowiedniość między elementami dwóch zbiorów, czyli funkcja będąca jednocześnie iniekcjąi suriekcją(funkcjąróżnowartościowąi funkcją„na”).

Nowy!!: Twierdzenie Cantora i Funkcja wzajemnie jednoznaczna · Zobacz więcej »

Funkcja zdaniowa

Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa, także forma zdaniowaZdzisław Opial, Zbiory, formy zdaniowe, relacje, Instytut Matematyki UJ - Okręgowy Ośrodek Metodyczny w Krakowie, Kraków 1970,.) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich wartości staje się zdaniem.

Nowy!!: Twierdzenie Cantora i Funkcja zdaniowa · Zobacz więcej »

Georg Cantor

Georg Ferdinand Ludwig Philipp Cantor (ur. 3 marca 1845 w Petersburgu, zm. 6 stycznia 1918 w sanatorium w Halle) – niemiecki matematyk, profesor Uniwersytetu w Halle, laureat Medalu Sylvestera za rok 1904.

Nowy!!: Twierdzenie Cantora i Georg Cantor · Zobacz więcej »

Liczby rzeczywiste

geometryczna zbioru liczb rzeczywistych Liczby rzeczywiste – uogólnienie liczb wymiernych na wszystkie liczby odpowiadające punktom na osi liczbowej, zwanej też prostąrzeczywistą.

Nowy!!: Twierdzenie Cantora i Liczby rzeczywiste · Zobacz więcej »

Metoda przekątniowa

Rozumowanie przekątniowe – klasyczny przykład rozumowania w dowodzie nie wprost.

Nowy!!: Twierdzenie Cantora i Metoda przekątniowa · Zobacz więcej »

Moc zbioru

Moc zbioru, liczba kardynalna – uogólnienie pojęcia liczebności zbioru na dowolne zbiory, także nieskończone.

Nowy!!: Twierdzenie Cantora i Moc zbioru · Zobacz więcej »

Obraz i przeciwobraz

''f'' jest funkcjąo dziedzinie ''X'' i przeciwdziedzinie ''Y''. Żółty owal w ''Y'' jest obrazem funkcji ''f''. Obraz – zbiór wszystkich wartości (należących do przeciwdziedziny) przyjmowanych przez funkcję dla każdego elementu danego podzbioru jej dziedziny.

Nowy!!: Twierdzenie Cantora i Obraz i przeciwobraz · Zobacz więcej »

Paradoks zbioru wszystkich zbiorów

Paradoks zbioru wszystkich zbiorów – paradoks tzw.

Nowy!!: Twierdzenie Cantora i Paradoks zbioru wszystkich zbiorów · Zobacz więcej »

Podzbiór

Diagram Venna: ''A'' jest podzbiorem ''B'', a ''B'' jest nadzbiorem ''A''. Podzbiór – pewna „część” danego zbioru, czyli dla danego zbioru, nazywanego nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np.

Nowy!!: Twierdzenie Cantora i Podzbiór · Zobacz więcej »

Principia mathematica

Principia mathematica – zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913.

Nowy!!: Twierdzenie Cantora i Principia mathematica · Zobacz więcej »

Problem stopu

Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.

Nowy!!: Twierdzenie Cantora i Problem stopu · Zobacz więcej »

Routledge Encyclopedia of Philosophy

Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.

Nowy!!: Twierdzenie Cantora i Routledge Encyclopedia of Philosophy · Zobacz więcej »

Skala betów

Skala betów – rosnący ciągły ciąg liczb kardynalnych indeksowany wszystkimi liczbami porządkowymi, w którym każdy kolejny wyraz jest mocązbioru wszystkich podzbiorów wyrazu poprzedniego.

Nowy!!: Twierdzenie Cantora i Skala betów · Zobacz więcej »

Surjekcja

Diagram przemienny ilustrujący suriekcję jako funkcję odwracalnąprawostronnie Surjekcja (suriekcja, funkcja „na”) – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj.

Nowy!!: Twierdzenie Cantora i Surjekcja · Zobacz więcej »

Teoria mnogości

zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.

Nowy!!: Twierdzenie Cantora i Teoria mnogości · Zobacz więcej »

Twierdzenie Cantora (ujednoznacznienie)

Kilka twierdzeń noszących nazwisko Georga Cantora.

Nowy!!: Twierdzenie Cantora i Twierdzenie Cantora (ujednoznacznienie) · Zobacz więcej »

Zbiór

Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).

Nowy!!: Twierdzenie Cantora i Zbiór · Zobacz więcej »

Zbiór jednoelementowy

Zbiór jednoelementowy, zbiór jednostkowy, singleton – zbiór, do którego należy dokładnie jeden element.

Nowy!!: Twierdzenie Cantora i Zbiór jednoelementowy · Zobacz więcej »

Zbiór nieprzeliczalny

Zbiór nieprzeliczalny – zbiór, który nie jest przeliczalny.

Nowy!!: Twierdzenie Cantora i Zbiór nieprzeliczalny · Zobacz więcej »

Zbiór potęgowy

Zbiór potęgowy – dla danego zbioru X zbiór wszystkich jego podzbiorów oznaczany symbolami \mathcal S(X),\mathcal P(X) lub 2^X.

Nowy!!: Twierdzenie Cantora i Zbiór potęgowy · Zobacz więcej »

1903

Bez opisu.

Nowy!!: Twierdzenie Cantora i 1903 · Zobacz więcej »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »