장소 (수학)

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

1. 개요
2. 정의
- 2.1. 열린집합과 점
- 2.2. 부분 장소
3. 성질
- 3.1. 위상 공간과의 관계
- 3.2. 층론적 성질
4. 종류
5. 역사
참조

1. 개요

장소(locale)는 완비 격자인 헤이팅 대수인 틀(frame)의 범주의 반대 범주로 정의된다. 장소는 위상 공간의 열린 집합을 일반화한 개념으로, 열린집합, 점, 부분 장소 등의 개념을 포함한다. 장소의 범주는 완비 범주이자 쌍대 완비 범주이며, 위상 공간의 범주와 밀접한 관계를 가진다. 장소는 층론적 성질을 가지며, 콤팩트 장소와 같은 개념으로 일반화될 수 있다. 장소 개념은 멩거, 스톤, 에레스만, 베나부, 다우커, 스트라우스, 이스벨 등에 의해 발전되었다.

더 읽어볼만한 페이지

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

장소 (수학)

2. 정의

'''완비 헤이팅 대수'''는 완비 격자이면서 헤이팅 대수인 구조이다. 두 완비 헤이팅 대수 사이의 '''완비 헤이팅 대수 준동형'''은 모든 만남과 이음을 보존하는 함수이다.

'''틀'''(frame^영어)은 완비 헤이팅 대수와 같다. 두 완비 헤이팅 대수 $X$ , $Y$ 사이의 '''틀 사상'''(frame morphism^영어) $f\colon X\to Y$ 은 다음 조건들을 만족시키는 함수이다.

유한 만남을 보존한다. 즉, 유한 부분 집합 $\{x_i\}_{i\in I}\subseteq X$ 에 대하여 $\textstyle\bigwedge_{i\in I} f(x_i)=f\left(\bigwedge_{i\in I}x_i\right)$ 이다.
임의의 이음을 보존한다. 즉, 부분 집합 $\{x_i\}_{i\in I}\subseteq X$ 에 대하여 $\textstyle\bigvee_{i\in I} f(x_i)=f\left(\bigvee_{i\in I}x_i\right)$ 이다.

'''장소'''(locale^영어)는 틀의 반대 범주이다. 즉, 장소는 틀과 같으며, 두 장소

X

,

Y

사이의 '''장소 사상'''(locale morphism^영어)

f\colon X\to Y

은 반대 방향의 틀 사상

f^{\operatorname{op}}\colon Y\to X

과 같다.

완전 순서 집합 (''P'', ≤)이 완비 격자일 때, ''P''가 다음 조건 중 하나를 만족하면 '''완비 헤이팅 대수''' 또는 '''프레임'''이라고 한다.

''P''는 헤이팅 대수이다. 즉, 연산 $(x\land\cdot)$ 은 ''P''의 각 원소 ''x''에 대해 오른쪽 수반자를 가진다.
''P''의 모든 원소 ''x''와 ''P''의 모든 부분 집합 ''S''에 대해 다음의 무한 분배 법칙이 성립한다.

::

x \land \bigvee_{s \in S} s = \bigvee_{s \in S} (x \land s).

''P''는 분배 격자이고, 만나기 연산 $(x\land\cdot)$ 은 ''P''의 모든 ''x''에 대해 스코트 연속이다.

헤이팅 함축은

a\to b=\bigvee\{c \mid a\land c\le b\}.

로 정의된다.

위상 공간의 모든 열린 집합의 포함 관계에 의해 정렬된 시스템은 완비 헤이팅 대수이다.

2. 1. 열린집합과 점

장소

L

의 '''열린집합'''(open^영어)은

L

의 (부분 순서 집합으로서의) 원소이다. 한원소 공간에 대응하는 위치

\operatorname{Open}(\{\bullet\})=\{\varnothing,\{\bullet\}\}

는 두 개의 원소를 갖는 불 대수이며, 장소의 범주의 끝 대상이다. 장소

L

의 '''점'''(點, point^영어)은 장소 사상

\operatorname{Open}(\{\bullet\})\to L

로 정의한다. 점

p\colon \operatorname{Open}(\{\bullet\})\to L

및 열린집합

U\in L

에 대하여,

p

가

L

에 '''속한다'''(belongs to^영어)는 것은 틀 사상

p^{\operatorname{op}}\colon L\to\operatorname{Open}(\{\bullet\})

아래

p^{\operatorname{op}}\colon U\mapsto \{\bullet\}\in \operatorname{Open}(\{\bullet\}

인 것이다.

2. 2. 부분 장소

장소

L

의 '''부분 장소'''(sublocale^영어)는 정칙 부분 대상이다. 보다 구체적으로,

L

의 부분 장소들은 다음과 같은 조건을 만족시키는 함수

\nu\colon L\to L

와 일대일 대응한다.

$\nu(U\wedge V)=\nu(U)\vee\nu(V)$
$U\le j(U)$
(멱등성) $\nu\circ\nu=\nu$

이는

L

위의 만남을 보존하는 모나드와 같다. 이러한 함수를 부분 장소의 '''핵'''(核, nucleus^영어)이라고 한다.

부분 장소는 점들로 결정되지 않는다. 즉, 같은 점 집합을 갖는 부분 장소가 서로 다를 수 있다.

3. 성질

장소의 범주 $\operatorname{Loc}$ 는 완비 범주이자 쌍대 완비 범주이다.^[1] 장소의 범주는 데카르트 닫힌 범주를 이루지 않는데, 지수 대상이 항상 존재하기 위한 필요충분조건은 해당 장소가 국소 콤팩트 장소여야 하는 것이다.^[2]

점을 충분히 가지는 장소들의 쌍대곱은 위상 공간의 범주 $\operatorname{Top}$ 의 쌍대곱과 일치한다. 점을 충분히 가지는 장소들의 곱의 점 집합은 각 장소의 점 집합들의 곱집합과 같지만, 그 위의 위상은 일반적으로 곱위상과 다르다.

3. 1. 위상 공간과의 관계

위상 공간

X

의 열린집합들의 부분 순서 집합은 장소

\operatorname{Open}(X)

를 이룬다. 위상 공간의 연속 함수

f\colon X\to Y

에 대하여, 열린집합의 원상은 다음과 같다.

:

f^{-1}\colon\operatorname{Open}(Y)\to\operatorname{Open}(X)

:

f^{-1}\colon U\mapsto f^{-1}(U)

이는 역방향의 틀 사상, 즉 순방향의 장소 사상을 이룬다. 이는 위상 공간의 범주

\operatorname{Top}

에서 장소의 범주로 가는 함자

:

\operatorname{Open}\colon\operatorname{Top}\to\operatorname{Loc}

를 정의한다. 이 함자는 오른쪽 수반 함자

:

\operatorname{Point}\colon\operatorname{Loc}\to\operatorname{Top}

:

\operatorname{Open}\dashv\operatorname{Point}

를 갖는다. 이 함자 아래, 장소

L

에 대응하는 위상 공간

\operatorname{Point}(L)

은 집합으로서

L

의 점들의 집합

\hom_{\operatorname{Loc}}(\operatorname{Open}(\{\bullet\}),L)

이며, 그 위의 열린집합은

L

의 열린집합에 속하는 점들의 집합이다.

장소

L

에 대하여 다음 두 조건은 서로 동치이다.

$L\cong\operatorname{Open}(X)$ 인 위상 공간 $X$ 가 존재한다. 즉, 함자 $\operatorname{Open}$ 의 치역(의 동형에 대한 폐포)에 속한다.
임의의 $U,V\in L$ 에 대하여, 만약 $U$ 와 $V$ 가 같은 점들을 갖는다면 $U=V$ 이다.

이러한 장소를 '''점을 충분히 가지는 장소'''(locale with enough points^영어)라고 한다. 점을 충분히 가지는 장소들의 충만한 부분 범주를

\operatorname{ptLoc}

로 쓴다.

위상 공간과 장소 사이의 수반 함자

\operatorname{Open}\dashv\operatorname{Point}

는 다음과 같이 분해할 수 있다.

:

\operatorname{Top}{\to\atop\hookleftarrow}\operatorname{Sober}\simeq\operatorname{ptLoc}{\hookrightarrow\atop\leftarrow}\operatorname{Loc}

여기서

$\operatorname{Sober}$ 는 차분한 공간과 연속 함수의 범주이다.
$\operatorname{Sober}$ 는 위상 공간의 범주 $\operatorname{Top}$ 의 반사 부분 범주이다. 즉, 충실충만한 포함 함자 $\operatorname{Sober}\hookrightarrow\operatorname{Top}$ 및 그 왼쪽 수반 함자가 존재한다.
차분한 공간의 범주 $\operatorname{Sober}$ 는 점을 충분히 가지는 장소의 범주 $\operatorname{ptLoc}$ 와 동치이다.
$\operatorname{ptLoc}$ 는 장소의 범주 $\operatorname{Loc}$ 의 쌍대 반사 부분 범주이다. 즉, 충실충만한 포함 함자 $\operatorname{Sober}\hookrightarrow\operatorname{Top}$ 및 그 오른쪽 수반 함자가 존재한다.

3. 2. 층론적 성질

장소

L

이 주어졌다고 하자. 부분 순서 집합으로서, 이는 작은 범주로 여길 수 있다. 이 위에는 다음과 같은 표준적인 그로텐디크 준위상이 존재한다.

열린집합 $U\in L$ 의 '''덮개'''는 $\textstyle\bigvee_{i\in I}U_i=U$ 인 부분 집합 $\{U_i\}_{i\in I}\subseteq L$ 이다.

이에 따라, 모든 장소

L

은 위치를 이루며, 장소

L

위의 (집합 값의) 층들의 범주

\operatorname{Sh}(L)

는 그로텐디크 토포스를 이룬다. 위상 공간

X

에 대하여,

X

위의 층의 개념은 장소

\operatorname{Open}(X)

위의 층의 개념과 일치한다.

토포스와 기하학적 사상들의 범주

\operatorname{Topos}

를 생각하자. (집합론적인 문제를 무시하자.) 이 경우, 장소의 범주로부터 토포스의 범주로 가는 함자

:

\operatorname{Sh}\colon\operatorname{Loc}\to\operatorname{Topos}

가 존재하며, 이는 충실충만한 함자이다.

4. 종류

일반위상수학에서 위상 공간에 대하여 정의되는 대부분의 성질들은 열린집합을 통해 나타낼 수 있으며, 따라서 장소에 대하여 쉽게 일반화될 수 있다. 예를 들어, 장소 $L$ 의 '''열린 덮개'''는 그 만남이 최대 원소를 만족시키는 부분 집합 $\{U_i\}_{i\in I}\subseteq L$ 이다.

: $\bigvee_{i\in I}U_i=\max L=\bigvee_{U\in L}U$

'''콤팩트 장소'''는 모든 열린 덮개가 유한 부분 덮개를 갖는 장소이다.^[1]

5. 역사

1928년에 카를 멩거(Karl Menger^de, 1902~1985)는 점을 사용하지 않고 공간을 정의할 수 있다는 아이디어를 제시하였다.^[3]^[4] 1930년대에 마셜 하비 스톤은 격자 이론을 연구하였으며, 위상 공간의 성질이 그 열린집합들의 완비 헤이팅 대수와 관련된다는 사실을 발견하였다.

샤를 에레스만과 그 제자 장 베나부(Jean Bénabou^프랑스어)는 위상 공간의 열린집합의 격자와 같은 성질을 갖는 격자 (즉, 완비 헤이팅 대수)를 "국소 격자"(treillis local^프랑스어)로 명명하였다. 클리퍼드 휴 다우커(Clifford Hugh Dowker^영어, 1912~1982)와 도나 앤셜 패퍼트 스트라우스(Dona Anschel Papert Strauss^영어)는 이를 대신하여 "틀"(frame^영어)이라는 용어를 도입하였다.^[5]^[6] 이후 존 이스벨(John R. Isbell^영어, 1931~2005)이 틀의 범주의 반대 범주를 지칭하는 '''장소'''(locale^영어)라는 용어를 도입하였다.^[7]^[6]

참조

_[1] 서적 Frames and locales: topology without points Birkhäuser
_[2] 서적 Continuous lattices. Proceedings of the conference on topological and categorical aspects of continuous lattices (Workshop IV) held at the University of Bremen, Germany, November 9–11, 1979 1981
_[3] 서적 Dimensionstheorie B. G. Teubner 1928
_[4] 논문 Menger and Nöbeling on pointless topology 2013
_[5] 논문 Quotient frames and subspaces 1966
_[6] 논문 The point of pointless topology 1983
_[7] 논문 Atomless parts of spaces http://www.mscand.dk[...]

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

문의하기 : help@durumis.com