제1 가산 공간: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
잔글편집 요약 없음
9번째 줄:
 
== 성질 ==
모든 [[제2 가산 공간]]은 제1 가산 공간이다. 모든 [[거리거리화 가능 공간]]은 제1 가산 공간이다.
 
[[순서수]] <math>\omega_1+1</math>은 ([[순서 위상]]을 부여할 때) 제1 가산 공간이 아니다. 점 <math>\omega_1\in\omega_1+1</math>은 가산 국소 기저를 갖지 않는다. <math>\omega_1+1</math>은 제1 가산 공간이 아닌 가장 작은 순서수이다.