제2 가산 공간

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 성질
- 3.1. 연산에 대한 닫힘
- 3.2. 크기 관련 성질
4. 예시
- 4.1. 제2 가산 공간이 아닌 예시
참조

1. 개요

제2 가산 공간은 위상 공간의 일종으로, 가산 기저를 가지는 공간을 의미한다. 제2 가산 공간은 제1 가산 공간보다 강한 개념이며, 분리 가능 공간, 린델뢰프 공간이다. 거리 공간의 경우 제2 가산성, 분리 가능성, 린델뢰프성은 모두 동일하다. 제2 가산 공간의 부분 공간, 열린 몫공간, 가산 개의 곱공간 및 분리합집합은 제2 가산 공간이다. 제2 가산 공간의 열린 집합 수는 연속체 농도 이하이며, 제2 가산 공간은 제1 가산성을 가지며 가분 공간이자 린델뢰프 공간이다. 유클리드 공간, 힐베르트 공간, 다양체 등이 제2 가산 공간의 예시이며, 긴 직선은 제2 가산 공간이 아니다.

더 읽어볼만한 페이지

위상 공간의 성질 - 점렬 콤팩트 공간
점렬 콤팩트 공간은 위상 공간에서 모든 점렬이 수렴하는 부분 점렬을 갖는 공간으로, 가산 개의 곱공간, 닫힌집합, 연속적 상에 대해 점렬 콤팩트성을 유지하며, 거리 공간에서는 콤팩트 공간과 동치이지만 일반적인 위상 공간에서는 그렇지 않을 수 있다.
위상 공간의 성질 - 하우스도르프 공간
하우스도르프 공간은 서로 다른 두 점을 서로소 열린 근방으로 분리할 수 있는 위상 공간으로, 부분 공간과 곱에 대해서는 닫혀 있으나 몫 공간은 그렇지 않을 수 있으며, 해석학의 많은 공간과 위상군, 위상 다양체에서 중요한 조건을 이룬다.
일반위상수학 - 극한
극한은 수학에서 함수의 값이나 수열의 항이 특정 값에 가까워지는 현상을 기술하는 개념으로, ε-δ 논법으로 엄밀하게 정의되며 수렴, 연속성, 미적분학 등 다양한 분야에서 활용되고, 고대 그리스에서 시작하여 19세기에 현대적 정의가 완성되었다.
일반위상수학 - 스콧 위상
스콧 위상은 부분 순서 집합 위에 정의되는 위상으로, 하향 집합과 directed set의 상한에 대해 닫혀있는 집합을 닫힌 집합으로 정의하며, 컴퓨터 과학, 특히 프로그램 의미론에서 연속 함수의 개념을 일반화하고 프로그램의 계산 과정을 모델링하는 데 사용된다.

제2 가산 공간
일반 정보
유형	위상 공간
속성	공리적
정의	가산 기저를 갖는 위상 공간
관련 개념
상위 개념	제1 가산 공간
하위 개념	분리 가능 공간
관련 개념	린델뢰프 공간 콤팩트 공간 거리화 가능 공간
성질
성질	임의의 기저를 갖는 위상 공간은, 항상 제2 가산 공간으로 나타낼 수 있다. 제2 가산 공간의 열린 덮개는 가산 부분 덮개를 갖는다. 제2 가산 공간의 모든 부분 공간은 제2 가산 공간이다. 제2 가산 공간의 연속 함수에 대한 상은 제2 가산 공간이다. 제2 가산 공간은 분리 가능 공간이다. 제2 가산 공간은 린델뢰프 공간이다. 제2 가산 공간은 제1 가산 공간이다. 거리화 가능인 위상 공간은 제2 가산 공간일 필요충분조건은 분리 가능 공간이다.

2. 정의

위상 공간 $X$ 의 '''무게'''(weight^영어) $\operatorname{wt}(X)$ 는 $X$ 의 기저들의 집합의 크기 가운데 최소인 기수이다.

위상 공간 $X$ 가 다음 조건 가운데 하나를 만족시키면 '''제2 가산 공간'''이라고 한다. 이 조건들은 서로 동치이다.

$\operatorname{wt}(X)\le\aleph_0$
$X$ 는 가산 기저를 갖는다.
$X$ 위의 임의의 기저 $\mathcal B\subseteq\mathcal P(X)$ 에 대하여, $\mathcal B'\subset\mathcal B$ 이며 기저를 이루는 가산 집합 $\mathcal B'$ 이 존재한다.

3. 성질

모든 제2 가산 공간은 다음 성질들을 만족시킨다.

제1 가산 공간이다. 모든 제2 가산 공간은 각 점이 가산 국소 기저를 가지므로 제1 가산 공간이다.
분해 가능 공간이다. 가산 조밀 부분 집합을 가진다.
린델뢰프 공간이다. 모든 열린 덮개가 가산 부분 덮개를 가진다.

거리화 가능 공간에서 제2 가산 공간, 분해 가능 공간, 린델뢰프 공간은 모두 동치이다.^[1] 예를 들어 실수선 위의 하한 위상은 제1 가산, 분해 가능, 린델뢰프이지만 제2 가산은 아니며, 거리화 가능하지 않다.

우리손 거리화 정리에 따르면, 제2 가산 정칙 공간은 유사 거리화 가능 공간이며, 제2 가산 정칙 하우스도르프 공간은 거리화 가능 공간이다. 따라서 이러한 공간은 완전 정규 공간이며 파라콤팩트 공간이다.

제2 가산 공간에서는 콤팩트성, 순차적 콤팩트성 및 가산 콤팩트성은 모두 동일한 속성이다.

3. 1. 연산에 대한 닫힘

임의의 위상 공간

X

위의 기저

\mathcal B

및 부분 집합

Y\subseteq X

에 대하여,

\{B\cap Y\colon B\in\mathcal B\}

는

Y

위의 기저를 이룬다. 따라서

:

\operatorname{wt}(Y)\le\operatorname{wt}(X)

이다. 특히, 제2 가산 공간의 모든 부분 공간은 제2 가산 공간이다.

제2 가산 공간의 몫공간은 제2 가산 공간이 아닐 수 있다. 다만, 임의의 제2 가산 공간

X

및 열린집합

U

에 대하여, 동치 관계

:

x\sim y\iff x=y\lor x\in U\ni y

를 주었을 때, 몫공간

X/\sim=X/U

은 역시 제2 가산 공간이다.^[1]

임의의 곱공간

:

X=\prod_{i\in I}X_i

및 각

X_i

위의 기저

\mathcal B_i\subseteq\mathcal P(X_i)

에 대하여,

:

\left\{\prod_{i\in I}B_i\colon B_i\in\mathcal B_i,\;\{i\in I\colon B_i\ne X_i\}<\aleph_0\right\}

는

X

위의 기저를 이룬다. 따라서

:

\operatorname{wt}(X)\le\sum_{J\subseteq I}^{J<\aleph_0}\prod_{i\in J}\operatorname{wt}(X_i)\le\max\left(\{\operatorname{wt}(X_i)\colon i\in I\}\cup\

3. 2. 크기 관련 성질

제2 가산 공간의 열린집합의 수는

2^{\aleph_0}

(연속체 농도) 이하이다. 제2 가산 공간 위의 임의의 기저는 가산 부분 기저를 갖는다.^[1] 제2 가산 공간에서 서로소인 열린 집합들의 모임은 가산개이다.^[1]

제2 가산성은 제1 가산성보다 더 강한 개념이다. 제1 가산 공간은 각 점이 가산 국소 기저를 갖는다는 의미이다. 위상의 기저와 점 ''x''가 주어지면, ''x''를 포함하는 모든 기저 집합의 집합은 ''x''에서 국소 기저를 형성한다. 따라서 위상의 가산 기저가 있으면 모든 점에서 가산 국소 기저를 갖게 되므로, 모든 제2 가산 공간은 제1 가산 공간이다. 그러나 모든 비가산 이산 공간은 제1 가산 공간이지만 제2 가산 공간은 아니다.

제2 가산성은 다른 특정 위상적 성질을 가진다. 특히, 모든 제2 가산 공간은 분리 가능 (가산 조밀 부분 집합을 가짐)이고 린델뢰프 (모든 열린 덮개는 가산 부분 덮개를 가짐)이다. 역은 성립하지 않는다. 예를 들어, 실수선 위의 하한 위상은 제1 가산, 분리 가능, 린델뢰프이지만 제2 가산은 아니다. 그러나 거리 공간의 경우, 제2 가산성, 분리 가능성 및 린델뢰프의 속성은 모두 동일하다.^[1] 따라서 실수선 위의 하한 위상은 거리화 가능하지 않다.

제2 가산 공간에서는 - 거리 공간에서와 마찬가지로 - 콤팩트성, 순차적 콤팩트성 및 가산 콤팩트성은 모두 동일한 속성이다.

유리손의 거리화 정리에 따르면 모든 제2 가산, 하우스도르프 정칙 공간은 거리화 가능하다. 결과적으로 그러한 모든 공간은 완전 정규일 뿐만 아니라 파라콤팩트이기도 하다. 따라서 제2 가산성은 위상 공간에 대한 다소 제한적인 속성이며, 거리화 가능성을 암시하기 위해 분리 공리만을 필요로 한다.

4. 예시

흔히 볼 수 있는 대부분의 공간들이 제2 가산 공간이다.

유클리드 공간
힐베르트 차원이 $\aleph_0$ 이하인 힐베르트 공간
가산 개의 연결 성분을 갖는 다양체 (다양체 = 파라콤팩트 하우스도르프 국소 유클리드 공간)
이산 공간이 제2 가산 공간인 것은 가산 집합인 것과 동치이다.
비이산 공간은 항상 제2 가산 공간이다.
서로소 가산 합집합 $X = [0,1] \cup [2,3] \cup [4,5] \cup \dots \cup [2k, 2k+1] \cup \dotsb$ 를 생각해 보자. 구간의 왼쪽 끝을 식별하여 몫 위상을 정의한다. 즉, 0 ~ 2 ~ 4 ~ … ~ 2k 등을 식별한다. ''X''는 제2 가산 공간들의 가산 합집합이므로 제2 가산 공간이다.
위의 공간은 동일한 집합의 동치류에 위상을 부여한 것과 위상 동형이 아니다. 분리 가능한 거리 공간(유리수 점 집합을 고려)이므로 제2 가산 공간이다.

4. 1. 제2 가산 공간이 아닌 예시

긴 직선은 T₄ 제1 가산 공간이지만, 제2 가산 공간이 아니다.^[1]

위상 공간

X=[0,1]\cup[2,3]\cup[4,5]\cup\cdots

의 몫공간

X'=\frac{X}{\{0,2,4,\dots\}}

을 생각하자.

X

는 제2 가산 공간의 가산 개의 분리합집합이므로 제2 가산 공간이다. 그러나

X'

은

\{0,2,4,\dots\}

에서 국소 지표

\chi(X',\{0,2,4,\dots\})=2^{\aleph_0}

를 가지며, 따라서 제1 가산 공간도, 제2 가산 공간도 아니다.^[1]

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com