Graniczna liczba porządkowa: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
łatwo zauważyć... |
uściślenie |
||
Linia 1:
'''Graniczna liczba porządkowa''' to taka [[Liczby porządkowe|liczba porządkowa]], która nie jest [[Operacja następnika dla liczb porządkowych|następnikiem]] innej [[Liczby porządkowe|liczby porządkowej]]. Bardziej precyzyjnie [[Liczby porządkowe|liczba porządkowa]] <math>\lambda\,</math> jest '''graniczną liczbą porządkową''' wtedy i tylko wtedy, gdy dla każdej innej [[Liczby porządkowe|liczby porządkowej]] <math>\alpha < \lambda\,</math> następnik <math>S(\alpha) < \lambda\,</math>.
Łatwo zauważyć, że liczba porządkowa jest graniczna wtedy i tylko wtedy, gdy jest równa sumie (teoriomnogościowej) swoich elementów (w przeciwnym wypadku suma ta jest jest poprzednikiem).
Przykłady:
| |||