Następnik liczby porządkowej: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
link - Zbiór potęgowy |
niepotrzebne przecinki |
||
Linia 15: | Linia 15: | ||
==Zobacz też== |
==Zobacz też== |
||
* [[przegląd zagadnień z zakresu matematyki]] |
* [[przegląd zagadnień z zakresu matematyki]] |
||
* [[aksjomaty i konstrukcje liczb]] |
* [[aksjomaty i konstrukcje liczb]] |
||
* [[graniczna liczba porządkowa]] |
* [[graniczna liczba porządkowa]] |
||
* [[zbiór potęgowy]] |
* [[zbiór potęgowy]] |
||
Wersja z 06:31, 7 wrz 2008
Następnik liczby porządkowej – podstawowa operacja przeprowadzana na liczbach porządkowych. Najbardziej znanym jej zastosowaniem jest konstrukcja zbiorów induktywnych, np. liczb naturalnych w konstrukcji von Neumanna.
Definicja
Następnikiem liczby porządkowej nazywamy liczbę porządkową oznaczaną symbolem .
Własności
- Nie istnieje żadna liczba porządkowa pomiędzy i ,
- , a zarazem .
Przykłady
- ,
- ,
- .