Cantor-axióma
A Wikipédiából, a szabad enciklopédiából.
A Cantor-féle axióma a matematikai halmazelmélet egyik fontos alapfogalma.
Az axióma állítása:
Minden valós számok beli, egymásba skatulyázott, zárt intervallumoknak van közös eleme.
Vagyis ha adott két valós számsorozat, az egyik (a) monoton növő, a másik (b) monoton csökkenő,úgy hogy bármely n természetes számra
a(n) ≤ b(n), akkor az [ a(1) ;b(1) ] ⊃ [ a(2) ; b(2) ] ⊃ [ a(3) ; b(3) ] ⊃... intervallumoknak van közös eleme.