제1 가산 공간: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
1번째 줄:
[[일반위상수학]]에서, '''제1 가산 공간'''(第一可算空間, {{llang|en|first-countable space}})은 모든 점이 가산 국소 기저를 갖는 [[위상 공간 (수학)|위상 공간]]이다. 제1 가산 공간에서는 일반적으로 [[그물 (수학)|그물]] 또는 [[필터 (수학)|필터]]를 사용하여 정의되는 조건들이 [[점렬]]을 사용한 조건들과 [[동치]]가 된다.
== 정의 ==
12번째 줄:
== 성질 ==
다음과 같은 포함 관계가 성립한다.
모든 [[제2 가산 공간]]은 제1 가산 공간이다. 모든 [[거리화 가능 공간]]은 제1 가산 공간이다.▼
:[[제2 가산 공간]] ∪ [[거리화 가능 공간]] ⊊ 제1 가산 공간 ⊊ [[점렬 공간]] ⊊ [[콤팩트 생성 공간]]
=== 그물과 점렬 ===
제1 가산성을 가정하면, 일반적인 위상 공간에서 [[그물 (수학)|그물]](또는 [[필터 (수학)|필터]])을 사용하여야 하는 정의에서, [[그물 (수학)|그물]] 대신 더 간단한 [[점렬]]을 사용할 수 있다.
일반적인 위상 공간 <math>X</math>에서, 부분 집합 <math>C\subseteq X</math>에 대하여 다음 두 조건이 동치이다.
* <math>C</math>는 [[닫힌집합]]이다.
* <math>C</math> 속의 모든 [[그물 (수학)|그물]]의 [[극한]]은 <math>C</math> 속에 있다.
만약 <math>X</math>가 제1 가산 공간이라면, 가산 국소 기저의 존재로 인하여 다음 세 번째 조건이 추가로 [[동치]]이다.
* <math>C</math> 속의 모든 [[점렬]]의 [[극한]]은 <math>C</math> 속에 있다.
일반적인 두 위상 공간 <math>X</math>, <math>Y</math> 사이의 [[함수]] <math>f\colon X\to Y</math>에 대하여 다음 두 조건이 동치이다.
* <math>f</math>는 [[연속 함수]]이다.
* <math>X</math> 속의 모든 [[그물 (수학)|그물]] <math>(x_\alpha)_{\alpha\in I}</math>에 대하여, 만약 <math>\textstyle\lim_{\alpha\in I}x_\alpha=x\in X</math>가 존재한다면 <math>\textstyle\lim_{\alpha\in I}f(x_\alpha)=f(x)\in Y</math>이다.
만약 [[정의역]] <math>X</math>가 제1 가산 공간이라면, 다음 세 번째 조건이 추가로 [[동치]]이다.
* <math>X</math> 속의 모든 [[점렬]] <math>(x_i)_{i=0}^\infty</math>에 대하여, 만약 <math>\textstyle\lim_{i\to\infty}x_i=x\in X</math>가 존재한다면 <math>\textstyle\lim_{i\to\infty}f(x_i)=f(x)\in Y</math>이다.
제1 가산 공간에 대하여, 다음 두 조건이 서로 [[동치]]이다.
* [[가산 콤팩트 공간]]이다.
* [[점렬 콤팩트 공간]]이다.
그러나 [[콤팩트 공간]]이 아닌 제1 가산 [[점렬 콤팩트 공간]]이 존재한다.
=== 제1 가산성을 보존하는 연산 ===
* 모든 제1 가산 공간의 부분 공간은 제1 가산 공간이다.
* 임의의 개수의 제1 가산 공간들의 [[분리합집합]]은 제1 가산 공간이다.
그러나 [[비가산]] 개의 제1 가산 공간들의 [[곱공간]]은 제1 가산 공간이 아닐 수 있다. 또한, 제1 가산 공간의 연속적 [[상 (수학)|상]]은 제1 가산 공간이 아닐 수 있다.
=== 크기 관련 성질 ===
제1 가산성은 국소적인 조건이므로, 제1 가산 공간의 [[집합의 크기]]는 임의로 클 수 있다.
제1 가산 공간 <math>X</math>의 경우, 자명하게 [[집합의 크기]]가 <math>|X|\cdot\chi(X)</math> 이하인 [[기저 (위상수학)|기저]]를 찾을 수 있다. 즉,
:<math>\chi(X)\le d(X)\le|X|\chi(X)</math>
이다. (<math>d(X)</math>는 <math>X</math>의 [[밀도 (위상 공간)|밀도]]이다.) 따라서, 가산 개의 점을 갖는 위상 공간의 경우 [[제1 가산 공간]]과 [[제2 가산 공간]] 조건이 서로 [[동치]]이다. (가산 무한 개의 점을 갖는, 제1 가산 공간이 아닌 위상 공간이 존재한다. 물론, 모든 유한 위상 공간은 제1·제2 가산 공간이다.)
[[콤팩트 공간]] <math>X</math> 및 [[무한 기수]] <math>\kappa</math>에 대하여, 모든 <math>x\in X</math>에서 <math>\chi(x,X)\ge\kappa</math>라고 하자. '''체흐-포스피실 정리'''({{llang|en|Čech–Pospíšil theorem}})에 따르면, 항상
:<math>2^\kappa\le|X|</math>
이다.
== 예 ==
수학에서 흔히 사용되는 거의 모든 위상 공간은 제1 가산 공간이다.
[[순서수]] <math>\omega_1+1</math>은 ([[순서 위상]]을 부여할 때) 제1 가산 공간이 아니다. 점 <math>\omega_1\in\omega_1+1</math>은 가산 국소 기저를 갖지 않는다. <math>\omega_1+1</math>은 제1 가산 공간이 아닌 가장 작은 순서수이다.▼
=== 제1 가산 공간이 아닌 공간 ===
가산 무한 개의 원들의 [[쐐기합]] <math>\mathbb R/\mathbb N=\{\{r\}\in\mathbb R\setminus\mathbb N\}\cup\{\mathbb N\}</math> (즉, 실수 집합에서, 모든 자연수들을 하나의 점으로 이어붙인 [[몫공간]])은 제1 가산 공간이 아니다. 중심 <math>\mathbb N\in\mathbb R/\mathbb N</math>은 가산 국소 기저를 갖지 않기 때문이다.
=== 순서수 ===
▲[[순서수]] <math>\omega_1+1</math>은 ([[순서 위상]]을 부여할 때) 제1 가산 공간이 아니다. 점 <math>\omega_1\in\omega_1+1</math>은 가산 국소 기저를 갖지 않는다. <math>\omega_1+1</math>은 제1 가산 공간이 아닌 가장 작은 순서수이다.
순서수 <math>\omega_1</math>은 제1 가산 공간이며, [[점렬 콤팩트 공간]]이다. 그러나 이는 [[콤팩트 공간]]이 아니다.
=== 이산 공간과 비이산 공간 ===
<math>X</math>가 [[이산 공간]] 또는 [[비이산 공간]]이라고 하자. 그 국소 지표 및 지표는 다음과 같다.
:<math>\chi(X)=\chi(x,X)=\min\{|X|,1\}\qquad\forall x\in X</math>
특히, 모든 [[이산 공간]] 및 [[비이산 공간]]은 제1 가산 공간이다. 모든 [[비이산 공간]]과 모든 [[가산 집합|가산]] [[이산 공간]]은 또한 [[제2 가산 공간]]이다. 그러나 [[비가산]] [[이산 공간]]은 제1 가산 공간이지만 [[제2 가산 공간]]이 아니다.
== 바깥 고리 ==
* {{eom|title=First axiom of countability}}
* {{매스월드|id=First-CountableSpace|title=First-countable space}}
* {{nlab|id=first-countable space|title=First-countable space}}
* {{웹 인용|url=https://www.proofwiki.org/wiki/Metric_Space_is_First-Countable|제목=Metric space is first-countable|작품명=ProofWiki|언어고리=en}}
* {{웹 인용|url=https://www.proofwiki.org/wiki/Definition:First-Countable_Space|제목=First-countable space|작품명=ProofWiki|언어고리=en}}
* {{웹 인용|url=http://boolesrings.org/mpawliuk/2013/04/18/a-survey-of-cardinal-invariants-of-topological-groups/|제목=A survey of cardinal invariants of topological groups|날짜=2013-04-18|이름=Micheal|성=Pawliuk|언어고리=en}}
== 같이 보기 ==
* [[제2 가산 공간]]
* [[분해 가능 공간]]
* [[점렬 공간]]
[[분류:위상 공간의 성질]]
|