• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Lemat Bootha

    Przeczytaj także...
    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.Teoria mnogości lub inaczej: teoria zbiorów – dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań.
    Hipoteza continuum (skr. CH, od ang. continuum hypothesis) – postawiona przez Georga Cantora hipoteza teorii mnogości dotycząca mocy zbiorów liczb naturalnych i liczb rzeczywistych.

    Lemat Bootha – zdanie teorii mnogości dotyczące nieskończonych rodzin podzbiorów zbiorów przeliczalnych o pewnych własnościach. Zdanie to jest niezależne od standardowych aksjomatów teorii mnogości, to znaczy na ich gruncie nie można go ani udowodnić, ani obalić. Jest ono oznaczane symbolami:

    Aksjomaty Zermela-Fraenkla, aksjomatyka Zermela-Fraenkla, w skrócie: aksjomaty(ka) ZF – powszechnie przyjmowany układ aksjomatów teorii mnogości zaproponowany przez Ernsta Zermela w 1904 roku i później uzupełniony przez Abrahama Fraenkla.Zbiór skończony − zbiór o skończonej liczbie elementów. Nieujemną liczbę naturalną określającą ilość elementów zbioru skończonego nazywa się mocą zbioru. Zbiór skończony ma moc skończoną. Najmniejszym zbiorem skończonym jest zbiór pusty  Ø.
    lub

    Zdarza się, że albo jego zaprzeczenie jest użyteczne w dowodach, dlatego niekiedy jedno z tych zdań przyjmowane jest jako dodatkowy aksjomat. Nazwa zdania pochodzi od nazwiska matematyka Davida Bootha, który dowiódł, że aksjomat Martina pociąga .

    Zbiór przeliczalny – intuicyjnie, zbiór którego elementy można ustawić w ciąg (skończony bądź nie), tzn. "wypisać je po kolei", "ponumerować". Istnieją dwie nierównoważne konwencje użycia terminu zbiór przeliczalny w matematyce:
    Niech będzie rodziną nieskończonych podzbiorów zbioru przeliczalnego taką, że Jeśli dla każdej skończonej podrodziny zbiór jest nieskończony (innymi słowy: generuje filtr nie zawierający zbiorów skończonych), to istnieje zbiór nieskończony (tzw. pseudoprzekrój rodziny ) taki, że (tzn. jest skończony) dla każdego zbioru

    Zobacz też[ | edytuj kod]

  • diagram Cichonia
  • hipoteza continuum
  • Przypisy[ | edytuj kod]

    1. David Booth: Ultrafilters over a countable set. „Annals of Mathematical Logic”, 2 (1970), s. 1–24.




    Reklama

    Czas generowania strony: 0.745 sek.