분리합집합 위상 공간

분리합집합 위상 공간

정의

$\left\{ X_\alpha \right\}_{\alpha \in A}$를 임의의 위상 공간 인덱스 패밀리라고 하자. $u \subset \bigsqcup \limits_{\alpha \in A} X_\alpha$라고 하자. 그러면 모든 $\alpha \in A$에 대해서 $u \cap X_\alpha$가 $ X_\alpha$에서 열린 집합일 때, $u$가 $\bigsqcup \limits_{\alpha \in A} X_\alpha$에서 열린 집합$^{\ast}$이라고 한다.


정리

위상으로써의 분리합집합

$\mathcal{T}$를 $\bigsqcup \limits_{\alpha \in A}X_\alpha$에서 열린$^{\ast}$ 부분집합들의 콜렉션이라 하자. 또한 $\mathcal{T}_\alpha$를 $X_\alpha$의 위상이라고 하자.

분리합집합 위상의 성질들

$\bigsqcup \limits_{\alpha \in A} X_\alpha$를 분리합집합 위상 공간이라고 하자. 그러면

증명

$(0)$

전략: 증명은 위상이 될 조건 세가지를 만족하는지 직접 확인해보면 된다.


$(1)$

$\varnothing, \bigsqcup \limits_{\alpha \in A}X_\alpha$와 모든 $\alpha \in A$에 대해서 $$ \varnothing \cap X_\alpha=\varnothing \in \mathcal{T}_\alpha \\ \left( \bigsqcup \limits_{\alpha \in A}X_\alpha \right) \cap X_\alpha=X_\alpha \in \mathcal{T}_\alpha $$ 이므로 $$ \varnothing, \bigsqcup \limits_{\alpha \in A}X_\alpha \in \mathcal{T} $$


$(2)$

$u_i \in \mathcal{T},\quad \forall\ i\in \mathbb{N}$이라고 하자. 그러면 정의에 의해 $$ u_i\cap X_\alpha \in \mathcal{T}_\alpha,\quad \forall\ i\in \mathbb{N} $$ 그런데 $$ \left( \bigcup \limits_{i=1}^\infty u_i\right)\cap X_\alpha=\bigcup \limits_{i=1}^\infty \left( u_i \cap X_\alpha \right) $$ 이고 열린 집합의 가산합집합도 열린 집합이므로 $$ \left( \bigcup \limits_{i=1}^\infty u_i \right) \cap X_\alpha \in \mathcal{T}_\alpha $$ 이다. 따라서 $$ \bigcup \limits_{i=1}^\infty\ u_i \in \mathcal {T} $$


$(3)$

$u_1, u_2 \in \mathcal{T}$라고 하자. 그러면 정의에 의해 $$ u_i\cap X_\alpha \in \mathcal{T}_\alpha,\quad i=1,2 $$ 그런데 $$ (u_1 \cap u_2)\cap X_\alpha=u_1\cap u_2\cap X_\alpha \cap X_\alpha=\left( u_1\cap X_\alpha \right) \cap \left(u_2\cap X_\alpha \right) $$ 이고 열린 집합의 교집합도 열린 집합이므로 $$ \left( u_1 \cap u_2 \right) \cap X_\alpha \in \mathcal{T}_\alpha $$ 따라서 $$ u_1\cap u_2 \in \mathcal {T} $$

댓글