완비 균등 공간

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

1. 개요
2. 정의
- 2.1. 코시 필터
- 2.2. 코시 그물
3. 성질
참조

1. 개요

완비 균등 공간은 모든 코시 필터가 수렴하는 균등 공간으로, 완비 거리 공간의 일반화이다. 균등 공간에서 코시 필터는 "임의로 작은" 집합을 포함하는 필터이며, 코시 그물은 코시 열의 일반화된 개념이다. 완비 균등 공간의 하우스도르프 완비화는 하우스도르프 완비 균등 공간들의 범주에서 반사 부분 범주를 이루며, 완비 균등화 가능 공간은 위상과 호환되는 완비 균등 공간 구조를 가질 수 있는 공간이다. 위상군에서는 오른쪽, 왼쪽, 양쪽 균등 공간 구조가 존재하며, 국소 콤팩트 하우스도르프 위상군은 완비 균등 공간이다.

더 읽어볼만한 페이지

일반위상수학 - 극한
극한은 수학에서 함수의 값이나 수열의 항이 특정 값에 가까워지는 현상을 기술하는 개념으로, ε-δ 논법으로 엄밀하게 정의되며 수렴, 연속성, 미적분학 등 다양한 분야에서 활용되고, 고대 그리스에서 시작하여 19세기에 현대적 정의가 완성되었다.
일반위상수학 - 스콧 위상
스콧 위상은 부분 순서 집합 위에 정의되는 위상으로, 하향 집합과 directed set의 상한에 대해 닫혀있는 집합을 닫힌 집합으로 정의하며, 컴퓨터 과학, 특히 프로그램 의미론에서 연속 함수의 개념을 일반화하고 프로그램의 계산 과정을 모델링하는 데 사용된다.

완비 균등 공간

2. 정의

거리 공간에서는 코시 열의 개념을 사용하지만, 임의의 균등 공간에서는 점렬 대신 필터 또는 그물을 사용해야 한다.

'''완비 균등 공간'''은 모든 코시 필터가 수렴 필터인 균등 공간이다. 이는 모든 코시 그물이 수렴하는 것과 동치이며, 완비 거리 공간 개념의 일반화이다. 즉, 임의의 거리 공간 $X$ 에 대하여, $X$ 가 완비 균등 공간인 것은 $X$ 가 완비 거리 공간인 것과 동치이다.

2. 1. 코시 필터

균등 공간

(X,(\approx_E)_{E\in\mathcal E})

위의 '''코시 필터'''(Cauchy filter^영어)

\mathcal F\subseteq\mathcal P(X)

는 다음 조건을 만족시키는

\mathcal P(X)

위의 필터이다.

임의의 측근 $E\in\mathcal E$ 에 대하여, $F\times F\subseteq E$ 인 $F\in\mathcal F$ 가 존재한다.

즉, 코시 필터는 "임의로 작은" 집합을 포함하는 필터이다.

(X,(\approx_E)_{E\in\mathcal E})

위의 코시 필터들의 집합은 포함 관계에 따라 부분 순서 집합을 이룬다. 임의의 코시 필터

\mathcal F

에 대하여,

\mathcal F_{\min}\subseteq\mathcal F

인 극소 코시 필터

\mathcal F_{\min}

가 항상 유일하게 존재한다. 구체적으로, 이는 다음과 같다.

:

\mathcal F_\min=\{E[F,-]\colon E\in\mathcal E,\;F\in\mathcal F\}

:

E[F,-]=\{y\in X\colon\exists x\in F\colon x\approx_Ey\}

특히, 모든 점의 (균등 위상에 대한) 근방 필터는 극소 코시 필터를 이룬다.

2. 2. 코시 그물

필터 대신 그물의 언어를 사용할 수도 있다.

상향 원순서 집합

(I,\lesssim)

를 정의역으로, 균등 공간

(X,(\approx_E)_{E\in\mathcal E})

를 공역으로 하는 그물

(x_i)_{i\in I}\subseteq X

이 주어졌다고 하자. 만약 임의의 측근

E\in\mathcal E

에 대하여, 다음 조건을 만족시키는

i\in I

가 존재한다면,

(x_i)_{i\in I}

를 '''코시 그물'''(Cauchy net^영어)이라고 한다.

임의의 $j,k\gtrsim i$ 에 대하여, $x_j\approx_Ex_k$

주어진 코시 그물에 대하여, 이로부터 유도되는 필터는 항상 코시 필터이며, 반대로 코시 필터에 의하여 정의되는 그물은 코시 그물이다.

코시 그물은 코시 열 개념의 일반화이다. 즉, 거리 공간 속의 점렬에 대하여, 코시 열인 것은 코시 그물인 것과 동치이다.

3. 성질

완비 균등 공간은 다음과 같은 성질을 갖는다.

하우스도르프 완비 균등 공간들의 범주 $\operatorname{HausCompUnif}$ 는 모든 균등 공간들의 범주 $\operatorname{Unif}$ 의 반사 부분 범주를 이룬다.
위상 공간 $X$ 에 그 위상과 호환되는 완비 균등 공간 구조를 부여할 수 있다면, $X$ 를 '''완비 균등화 가능 공간'''(completely uniformizable space^영어)이라고 한다.
모든 정칙 파라콤팩트 공간은 완비 균등화 가능 공간이다.^[2]
임의의 위상군 위에는 오른쪽 균등 공간 구조와 왼쪽 균등 공간 구조, 총 2개의 표준적인 균등 공간 구조가 존재한다.
오른쪽·왼쪽 완비 위상군은 자명하게 양쪽 완비 위상군이며, 오른쪽 완비성과 왼쪽 완비성은 서로 동치이다.^[1]
모든 국소 콤팩트 하우스도르프 위상군은 왼쪽·오른쪽·양쪽 완비 균등 공간이다.^[1]

3. 1. 하우스도르프 완비화

하우스도르프 완비 균등 공간들의 범주

\operatorname{HausCompUnif}

는 모든 균등 공간들의 범주

\operatorname{Unif}

의 반사 부분 범주를 이룬다. 즉, 포함 함자

:

\operatorname{HausCompUnif}\hookrightarrow\operatorname{Unif}

는 왼쪽 수반 함자

:

\bar{}\colon\operatorname{Unif}\to\operatorname{HausCompUnif}

를 갖는다. 이를 균등 공간의 '''하우스도르프 완비화'''(Hausdorff completion^영어)라고 한다.

이는 구체적으로 다음과 같다. 임의의 균등 공간

(X,(\approx_E)_{E\in\mathcal E})

의 극소 코시 필터들의 집합을

\min\operatorname{Cauchy}(X,\mathcal E)

라고 표기하자.

(X,(\approx_E)_{E\in\mathcal E})

의 '''하우스도르프 완비화'''는 집합으로서

\bar X=\min\operatorname{Cauchy}(X,\mathcal E)

이며, 그 위의 균등 공간 구조는 다음과 같은 기본계

\bar{\mathcal B}

에 의하여 정의된다.

:

\bar{\mathcal B}=\left\{\mathfrak C(E)\colon E\in\mathcal E,\;E=E^{\operatorname{op}}\right\}

:

\mathcal F\approx_{\mathfrak C(E)}\mathcal G\iff\exists A\in\operatorname{Small}(E)\colon A\in\mathcal F\cap\mathcal G\qquad(\mathcal F,\mathcal G\in\bar X,\;E\in\mathcal E)

:

\operatorname{Small}(E)=\{A\subseteq X\colon a\approx_Eb\;\forall a,b\in A\}

즉, 대칭 측근

E

에 대하여,

\mathfrak C(E)

는 적어도 하나 이상의

E

-작은 집합을 공유하는 극소 코시 필터 순서쌍들의 집합이다.

\bar X

로 가는 자연스러운 함수

:

i\colon X\to\bar X

:

i\colon x\mapsto\mathcal N_x

가 존재한다. 여기서

\mathcal N_x

는

x

의 근방 필터이다 (이는 항상

X

위의 극소 코시 필터를 이룬다).

i

는 균등 연속 함수이며,

i(X)\subseteq\bar X

는 조밀 집합이다. 또한,

\tilde i\colon X\to i(X)

는 열린 함수이자 닫힌 함수이자 고유 함수다.^[1] 사실,

i(X)

는

X

의 하우스도르프화를 정의한다. 특히, 만약

X

가 하우스도르프 균등 공간이라면

i

는 균등 공간의 매장이다.

3. 2. 완비 균등화 가능 공간

위상 공간

X

에 그 위상과 호환되는 완비 균등 공간 구조를 부여할 수 있다면,

X

를 '''완비 균등화 가능 공간'''(completely uniformizable space^영어)이라고 한다.

모든 정칙 파라콤팩트 공간은 완비 균등화 가능 공간이다.^[2]

3. 3. 완비 위상군

임의의 위상군 위에는 2개의 표준적인 균등 공간 구조가 존재하며, 이를 오른쪽 균등 공간 구조와 왼쪽 균등 공간 구조라고 한다. 또한, 오른쪽·왼쪽 균등 공간 구조보다 섬세한 가장 엉성한 균등 공간 구조를 생각할 수 있다. 이를 양쪽(two-sided^영어) 균등 공간 구조라고 한다. 세 균등 공간 구조는 모두 위상군의 위상을 유도한다. 아벨 위상군 또는 콤팩트 위상군의 경우, 세 가지 균등 공간 구조가 일치한다. 이러한 위상군을 균형군이라고 한다.

오른쪽·왼쪽 완비 위상군은 자명하게 양쪽 완비 위상군이다. 오른쪽 완비성과 왼쪽 완비성은 서로 동치이다. 즉, 위상군 ''G''에 대하여, 다음 두 조건이 서로 동치이다.^[1]

(''G'', 오른쪽 균등 공간 구조)는 완비 균등 공간이다.
(''G'', 왼쪽 균등 공간 구조)는 완비 균등 공간이다.

모든 국소 콤팩트 하우스도르프 위상군은 왼쪽·오른쪽·양쪽 완비 균등 공간이다.^[1]

임의의 위상군 ''G''의 양쪽 완비화 위에는 ''G''를 확장하는 유일한 위상군 구조가 존재한다. 반면 오른쪽 완비화 또는 왼쪽 완비화는 위상군을 이룰 필요가 없다. 만약 ''G''의 오른쪽 또는 왼쪽 완비화가 위상군을 이룬다면, 이는 항상 양쪽 완비화와 일치한다. 균형군의 경우, 오른쪽·왼쪽·양쪽 완비화가 일치하며, 따라서 완비화는 위상군을 이룬다.

참조

_[1] 서적 General topology. Chapters 1–4 Springer-Verlag 1989
_[2] 서적 General topology https://www.springer[...] Springer 1975

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

문의하기 : help@durumis.com