Następnik liczby porządkowej: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
m robot dodaje: ko:따름서수 |
m Operacja następnika dla liczb porządkowych przeniesiono do Następnik liczby porządkowej: ładniejszy tytuł zgodny z przeglądem zagadnień |
(Brak różnic)
|
Wersja z 18:18, 15 lip 2007
Operacja następnika dla liczb porządkowych jest najbardziej podstawową operacją przeprowadzaną na liczbach porządkowych.
Operacja ta zdefiniowana jest następująco:
Następujące fakty są łatwe do udowodnienia:
- 1. Nie istnieje żadna liczba porządkowa pomiędzy i .
- 2. .
Liczba nazywana jest następnikiem .
Warto zauważyć, że i równocześnie . Pojęcie to wykorzystuje się do konstrukcji zbiorów induktywnych, a w konsekwecji np. w konstrukcji von Neumanna liczb naturalnych.