• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Zbiór pusty

    Przeczytaj także...
    Symbol (z gr. σύμβολον) – semantyczny środek stylistyczny, który ma jedno znaczenie dosłowne i nieskończoną liczbę znaczeń ukrytych. Odpowiednik pojęcia postrzegany zmysłowo. Najbardziej ogólnie jest to zastąpienie jednego pojęcia innym, krótszym, bardziej wyrazistym lub najlepiej oddającym jego naturę, albo mniej abstrakcyjnym. Jest to znak odnoszący się do innego systemu znaczeń, niż do tego, do którego bezpośrednio się odnosi. Przykładowo symbol lwa oznacza nie tylko dany gatunek zwierzęcia, lecz często także siłę lub władzę. Symbole są pewnymi znakami umownymi, które w różnych kulturach mogą mieć różne znaczenia - to odróżnia symbol od jednoznacznej alegorii. Znaczenia szczególne to między innymi:Moc zbioru – własność zbioru, która opisuje jego liczebność. Nieformalnie, moc zbioru jest tym większa im większy jest zbiór. Pojęcie mocy zbioru opiera się na pojęciu równoliczności dwóch zbiorów – zbiory A i B są równoliczne, gdy każdy element zbioru A można połączyć w parę z dokładnie jednym elementem zbioru B, innymi słowy istnieje bijekcja (funkcja różnowartościowa i "na") między zbiorami A i B. Zbiory równoliczne mają tę samą moc. Moce zbiorów są konkretnymi obiektami matematycznymi, nazywanymi liczbami kardynalnymi.
    Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver, Kanada) – polski matematyk zajmujący się głównie podstawami matematyki, przedstawiciel warszawskiej szkoły matematycznej.

    Zbiór pusty - zbiór, który nie zawiera żadnych elementów. W teorii mnogości ZF, będącej najpopularniejszą aksjomatyką współczesnej matematyki, istnienie zbioru pustego postuluje aksjomat zbioru pustego, natomiast aksjomat ekstensjonalności gwarantuje jego jedyność. Zbiór pusty oznaczany jest zwykle symbolami , , bądź {}.

    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. żadnego, jednego, wszystkich. Pierwszy przypadek nazywa się podzbiorem pustym, drugi – podzbiorem jednoelementowym lub singletonem, trzeci – podzbiorem niewłaściwym.Kazimierz Kuratowski (ur. 2 lutego 1896 w Warszawie, zm. 18 czerwca 1980 w Warszawie), polski matematyk, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej.

    Zbiór, który nie jest pusty (należy do niego choćby jeden element) nazywany jest zbiorem niepustym.

    Aksjomat ekstensjonalności - jeden z aksjomatów Zermelo-Fraenkela w aksjomatycznej teorii mnogości, sformułowany przez Ernsta Zermelo w 1908. Aksjomat ten postuluje, że dwa zbiory złożone z tych samych elementów są identyczne.1 (jeden, jedność) – liczba naturalna następująca po 0 i poprzedzająca 2. 1 jest też cyfrą wykorzystywaną do zapisu liczb w różnych systemach, np. w dwójkowym (binarnym), ósemkowym, dziesiętnym i szesnastkowym systemie liczbowym. Każda liczba całkowita jest podzielna przez 1.

    Własności[]

  • Zbiór pusty jest podzbiorem każdego zbioru:
  • Jest to wniosek z reguły mówiącej, że z fałszu wynika wszystko. W tym wypadku
  • Suma dowolnego zbioru A i zbioru pustego jest równa zbiorowi A:
  • Iloczyn dowolnego zbioru A i zbioru pustego jest równy zbiorowi pustemu:
  • Iloczyn kartezjański dowolnego zbioru A i zbioru pustego jest równy zbiorowi pustemu:
  • Jedynym podzbiorem zbioru pustego jest zbiór pusty:
  • Moc zbioru pustego wynosi 0:
  • Dla dowolnego zbioru A, zbiór pusty jest relacją w A, zwaną relacją pustą.
  • Dla dowolnego zbioru A można określić funkcję , zwaną funkcją pustą.
  • Jeżeli jest dowolną funkcją zdaniową, to prawdą jest, że:
  • Ponadto, dla dowolnej funkcji zdaniowej i zbioru A, na którym jest ona określona, zachodzi warunek:
  • etc.
  • Bibliografia[]

    1. Rozdział II (pdf). W: Kazimierz Kuratowski, Andrzej Mostowski: Teoria mnogości. T. 27. Warszawa-Wrocław: Monografie matematyczne, 1952, s. 8-10. [dostęp 18.06.2011].
    Aksjomaty Zermelo-Fraenkela, w skrócie: aksjomaty ZF – powszechnie przyjmowany system aksjomatów zaproponowany przez Ernsta Zermelo w 1904 roku, który został później uzupełniony przez Abrahama Fraenkela.Zbiór – pojęcie pierwotne teorii zbiorów (znanej szerzej jako teoria mnogości; za jej twórcę uważa się Georga Cantora) leżące u podstaw całej matematyki; intuicyjnie jest to nieuporządkowany zestaw różnych obiektów, czy też kolekcja niepowtarzających się komponentów bez wyróżnionej kolejności.



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Funkcja (łac. functio, -onis, „odbywanie, wykonywanie, czynność”) – dla danych dwóch zbiorów X i Y przyporządkowanie każdemu elementowi zbioru X dokładnie jednego elementu zbioru Y. Oznacza się ją na ogół f, g, h itd.
    Aksjomat zbioru pustego – jeden z aksjomatów teorii mnogości w ujęciu aksjomatycznym Zermelo-Fraenkela, zakładający istnienie zbioru pustego.
    Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich nazw staje się zdaniem.
    Relacja – w teorii mnogości dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostają w związku albo łączy je pewna zależność, czy też własność lub nie). Najważniejszymi relacjami są relacje dwuargumentowe, tj. między elementami pary zbiorów (opisane w osobnym artykule, w tym funkcje i działania jednoargumentowe); relacje jednoargumentowe to po prostu podzbiory pewnego zbioru.
    Część wspólna zbiorów A i B (przekrój, iloczyn mnogościowy, przecięcie zbiorów) – zbiór, który zawiera te i tylko te elementy, które należą jednocześnie do zbioru A i do zbioru B. Część wspólną definiuje się także dla dowolnych niepustych rodzin zbiorów.

    Reklama

    Czas generowania strony: 0.031 sek.