순서 위상: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
32번째 줄:
 
=== 순서수의 위상 ===
[[순서수]] <math>\alpha</math>는 [[정렬 집합]]이므로, 여기에 순서 위상을 주어 위상공간으로위상 공간으로 만들 수 있다. 이 경우, <math>\alpha</math>의 [[극한점]]은 <math>\alpha</math>보다 작은 [[극한 순서수]]이다.
 
순서 위상을 주었을 때, 모든 순서수는 [[완전 분리 공간]]이다. 최초의 비가산 순서수 <math>\omega_1</math>은 [[제1 가산 공간]]이지만 [[제2 가산 공간]]이 아니며, [[콤팩트 공간]]이 아니다. <math>\omega_1+1</math>은 [[제1 가산 공간]]·[[제2 가산 공간]]이 아니며, [[콤팩트 공간]]이다. <math>\omega_1+1</math>은 <math>\omega</math>의 [[스톤-체흐 콤팩트화]]이다.