토포스

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

범주론, 논리학대수기하학에서, 토포스(영어: topos, 복수 영어: topoi 토포이[*])는 어떤 공간 위의 들의 범주와 유사한 성질을 갖는 범주이다. 토포스는 대수기하학에서는 위상 공간의 개념의 일반화로서 등장하며, 반면 논리학에서는 토포스는 집합의 범주의 일반화로서 등장한다. 이러한 다른 토포스에서도 집합의 범주와 유사한 내부 언어(영어: internal language)를 사용할 수 있다.

정의[편집]

토포스(영어: (elementary) topos)는 다음 조건들을 만족시키는 범주이다.

부분 분류 대상 분류자 대신, 멱대상(영어: power object)의 개념을 도입하여 둘째 및 셋째 조건을 "모든 대상은 멱대상을 갖는다"로 대체할 수 있다.

그로텐디크 토포스[편집]

그로텐디크 토포스(영어: Grothendieck topos)는 위치 위의 (집합 값을 갖는) 들의 범주와 동치인 범주이다. 이는 지로 정리(영어: Giraud’s theorem)를 사용하여 공리적으로도 정의할 수 있다. 모든 그로텐디크 토포스는 토포스임을 보일 수 있다.

구체적으로, 지로 정리에 의하면 다음 두 조건이 서로 동치이다.

여기서 임의의 범주에서의 동치 관계는 다음 조건을 만족시키는 사상 r\colon R\to X\times X이다.

  • 임의의 대상 Y에 대하여, r로부터 유도되는 사상 모임 사이의 사상 r^*\colon\hom(Y,R)\to\hom(Y,X)\times\hom(Y,X)은 (모임 위의) 동치 관계를 이룬다.

동치 관계에 대하여, 두 사영 사상에 대한 쌍대동등자 X\twoheadrightarrow X/R를 정의할 수 있다. 표준적 사상 R\to X_{X/R}X동형 사상이라면, r유효 동치 관계라고 한다.

준토포스[편집]

범주 \mathcal C가 다음 조건들을 만족시킨다면, 준토포스(準topos, 영어: quasitopos)라고 한다.

모든 토포스는 준토포스이다. 준토포스는 토포스의 정의에서 부분 대상 분류자의 존재를 강한 부분 대상 분류자의 존재로 약화시킨 것이다.

위치 \mathcal C 위의 범주 \operatorname{Sh}(\mathcal C)가 토포스를 이루는 것처럼, 위치 \mathcal C 위의 분리 준층 범주 \operatorname{SepPSh}(\mathcal C)는 준토포스를 이룬다. 보다 일반적으로, 작은 범주 \mathcal C 위에 두 개의 그로텐디크 위상 jk가 주어졌으며, jk보다 더 엉성할 때 (j\subseteq k), j-층인 k-분리 준층들의 범주 \operatorname{Sh}(\mathcal C,j)\cap\operatorname{sepPSh}(\mathcal C,k)는 준토포스를 이룬다. 이와 같이 나타낼 수 있는 준토포스를 그로텐디크 준토포스(영어: Grothendieck quasitopos)라고 한다.[1] 그로텐디크 토포스에 대한 지로 정리와 마찬가지로, 그로텐디크 준토포스에 대해서도 지로 정리가 존재한다.

공간으로서의 토포스[편집]

토포스를 위상 공간의 일반화로 생각하여, 위상 공간 위의 여러 개념들을 토포스에 대하여 다음과 같이 정의할 수 있다.

기하학적 사상[편집]

두 토포스 \mathcal X, \mathcal Y 사이의 기하학적 사상(영어: geometric morphism) f\colon\mathcal X\to\mathcal Y는 다음 조건을 만족시키는 수반 함자

f^*\dashv f_*
f_*\colon\mathcal X\to\mathcal Y
f^*\colon\mathcal Y\to\mathcal X

이다.

  • f^*는 모든 유한 극한을 보존한다.

기하학적 사상 (f^*,f_*)에서, 만약 f^*가 추가로 왼쪽 수반 함자

f_!\dashv f^*\dashv f_*

를 갖는다면, 이를 본질적 기하학적 사상(영어: essential geometric morphism)이라고 한다.

만약 \operatorname{Sh}(X)\operatorname{Sh}(Y)위상 공간 위의 그로텐디크 토포스이며, 연속 함수 f\colon X\to Y가 주어졌다면, 의 직상 f_*\colon\operatorname{Sh}(X)\to\operatorname{Sh}(Y) 및 역상 f^*\colon\operatorname{Sh}(Y)\to\operatorname{Sh}(X)은 기하학적 사상을 이룬다.

[편집]

집합의 범주 \operatorname{Set}한원소 공간 위의 그로텐디크 토포스 \operatorname{Sh}(\{\bullet\})이다. 즉, 이는 한원소 토포스로 생각할 수 있다. 토포스와 기하학적 사상의 범주에서, 이는 끝 대상을 이룬다. 그로텐디크 토포스 \mathcal X에서 한원소 토포스 \operatorname{Set}로 가는 유일한 기하학적 사상 (f_!,f^*,f_*)은 다음과 같이 해석할 수 있다.

  • 상수층 함자(영어: constant sheaf functor) f^*\colon\operatorname{Set}\to\mathcal X는 (만약 \mathcal X=\operatorname{Sh}(\mathcal C)라면) 집합 S상수층 \underline S으로 대응시킨다.
  • 대역 단면 함자(영어: global section functor) f_*\colon\mathcal X\to\operatorname{Set}는 대상 \mathcal F를 (으로 생각하였을 때) 대역 단면 집합 \hom_{\mathcal C}(1_{\mathcal C},\mathcal F)으로 대응시킨다. 여기서 1_{\mathcal C}\mathcal C끝 대상(="전체 집합")이다.

토포스 \mathcal X(點, 영어: point)은 집합의 범주에서 \mathcal X로 가는 기하학적 사상 f\colon\operatorname{Set}\to\mathcal X이다.

공집합이 아닌 위상 공간은 하나 이상의 점을 갖지만, 점을 갖지 않는 자명하지 않는 토포스가 존재한다.[2]:412, §7.4[3]

국소 연결 토포스[편집]

국소적으로 작은 토포스 \mathcal X 속의 연결 대상(영어: connected object)은 사상 집합 함자

\hom_{\mathcal X}(X,-)\colon\mathcal X\to\operatorname{Set}

가 모든 유한 쌍대극한을 보존시키는 대상 X\in\mathcal X이다.

그로텐디크 토포스 \mathcal X에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 그로텐디크 토포스를 국소 연결 토포스(영어: locally connected topos)라고 한다.

  • 임의의 대상 A\in\mathcal X은 연결 대상들의 집합의 쌍대곱 \textstyle\coprod_{i\in I}A_i으로 나타낼 수 있다.
  • 유일한 기하학적 사상 \mathcal X\to\operatorname{Set}은 본질적 기하학적 사상이다.

국소 연결 토포스 \mathcal X에서 한원소 토포스 \operatorname{Set}로 가는 (유일한) 본질적 기하학적 사상 (f_!,f^*,f_*)에서 f_!은 다음과 같이 해석할 수 있다.

  • 연결 성분 함자(영어: connected component functor) f_!\colon\mathcal X\to\operatorname{Set}는 대상 \textstyle\coprod_{i\in I}A_i을 그 연결 성분의 집합 I로 대응시킨다.

위상 공간 X에 대하여, 다음 두 조건이 서로 동치이다.

연결 토포스[편집]

연결 토포스(영어: connected topos) \mathcal X는 그 상수층 함자 \mathcal X\to\operatorname{Set}충실충만한 함자인 토포스이다. 국소 연결 토포스 \mathcal X에 대하여, 다음 두 조건이 서로 동치이다.

  • 연결 토포스이다.
  • 연결 성분 함자 \mathcal X\to\operatorname{Set}끝 대상을 보존한다. 즉, "공간 전체" 1_{\mathcal X}는 하나의 연결 성분을 갖는다.

위상 공간 X에 대하여, 다음 두 조건이 서로 동치이다.

기본군[편집]

그로텐디크 토포스에 대하여, 기본군의 개념을 정의할 수 있다.[4]:§4, 123 이는 위상 공간의 기본군사유한 완비나, 스킴에탈 기본군을 일반화한다.

그로텐디크 토포스 \operatorname{Sh}(\mathcal X)가 주어졌을 때, 그 속에 국소 상수층들의 부분 범주 \operatorname{Sh_{locConst}}(\mathcal X)\hookrightarrow\operatorname{Sh}(\mathcal X)를 정의할 수 있다. 그로텐디크 토포스 \operatorname{Sh}(\mathcal X)밑점(영어: base point)은 특정한 조건들을 만족시키는, 유한 집합의 범주로 가는 함자 B\colon\operatorname{Sh_{locConst}}(\mathcal X)\to\operatorname{Set_{fin}}이다. (구체적으로, 이는 "사표현 가능 함자"(영어: pro-representable functor)이어야 한다.)

그로텐디크 토포스 \operatorname{Sh}(\mathcal X)의 밑점 B가 대상 P\in\operatorname{Sh}(\mathcal X)으로 표현된다고 하자. 그렇다면 그로텐디크 토포스 \operatorname{Sh}(\mathcal X)의, 밑점 B에서의 기본군 \pi_1(\operatorname{Sh}(\mathcal X),B)P자기 동형군 \operatorname{Aut}_{\operatorname{Sh}(\mathcal X)}(P)이다. 이는 항상 사유한군이며, 또한 범주의 동치

\operatorname{Sh_{locConst}}(\mathcal X)\simeq\pi_1(\operatorname{Sh}(\mathcal X),B)\text{-Set}_{\operatorname{fin}}

가 존재한다. (우변은 사유한군 \pi_1(\operatorname{Sh}(\mathcal X),B)작용을 갖는 유한군들로 구성된 범주이다.)

논리학으로서의 토포스[편집]

논리적 사상[편집]

두 토포스 \mathcal X, \mathcal Y 사이의 논리적 사상(영어: logical morphism) f\colon\mathcal X\to\mathcal Y는 유한 극한과 멱대상을 보존하는 함자이다.

미첼-베나부 언어[편집]

임의의 고차 논리 (형 이론) 명제를 토포스 \mathcal X 속에서 해석할 수 있다. 이를 \mathcal X미첼-베나부 언어(영어: Mitchell–Bénabou language)라고 하며,[5]:§VI.5 이 언어 가운데 참인 명제들의 집합을 \mathcal X내적 논리(영어: internal logic)이라고 한다. 이 경우, 직관 논리의 모든 공리들이 성립하지만, 고전적 논리는 성립하지 않는다. 또한, 선택 공리(=모든 전사 사상분할 전사 사상) 역시 성립하지 않을 수 있다.

고전적 집합론은 집합의 토포스 \operatorname{Set}의 논리학이다. 일반적으로, 그로텐디크 토포스 \operatorname{Sh}(\mathcal C)의 내적 논리에서 정의한 어떤 구조 S는 (외적 논리에서) "S값의 "에 대응한다. 예를 들어, \operatorname{Sh}(\mathcal C) 속에서 정의한 국소환은 사실 국소환 달린 공간을 정의한다. 만약 S대수 구조 다양체를 이룬다면 이렇게 내적 논리를 사용하지 않아도 된다 (즉, S의 범주 \mathcal S가 주어졌을 때, S값의 층은 층 조건을 만족시키는 준층 \mathcal C^{\operatorname{op}}\to\mathcal S와 같다). 그러나 S의 정의가 대수적이지 않을 때, "S값의 층"은 "층 조건을 만족시키는 준층 \mathcal C^{\operatorname{op}}\to\mathcal S"과 다르며, 전자가 옳은 정의이다 (즉, 수학적으로 더 유용하다). 예를 들어, 국소환의 경우, 극대 아이디얼이 유일하다는 조건은 존재 기호 또는 전칭 기호를 필요로 하므로, 국소환의 개념은 대수 구조 다양체를 이루지 않는다.

형 이론[편집]

토포스 \mathcal X에서, 각 대상 X\in\mathcal X(영어: type)을 정의한다. 명제의 형은 부분 대상 분류자 \Omega이다. 토포스 속의 사상 f\colon X\to Y는 형 X를 형 Y로 대응시키는 변환이다. 즉, 형 X의 매개변수를 갖는 형 Y의 대상이다. 특히, 형 X의 매개변수 x를 갖는 명제 \phi(x)는 사상 X\to\Omega에 대응한다. 부분 대상 분류자의 성질에 의하여, 이는 X부분 대상 \phi\in\operatorname{Sub}(X)에 대응한다.

논리 토포스
대상
형 사이의 변환 사상
명제의 형 부분 대상 분류자 \Omega
(자유 변수가 없는) 명제 부분 대상 분류자부분 대상
X의 자유 변수 x를 갖는 명제 \phi(x) 사상 X\to\Omega = X부분 대상
X의 자유 변수 x를 갖는 명제 \phi(x)의 형 지수 대상 \Omega^X

명제의 형 \Omega (또는 \Omega^X)가 존재한다는 것은, 명제에 대하여 존재 기호 · 전칭 기호를 씌울 수 있음을 뜻한다. 즉, 토포스의 내적 논리는 고차 논리를 이룬다.

명제 논리[편집]

토포스 \mathcal X에서, 임의의 대상 X\in\mathcal X부분 대상 부분 순서 집합 \operatorname{Sub}(X)헤이팅 대수를 이룬다. (주어진 부분 순서 집합 위의 헤이팅 대수는 만약 존재한다면 유일하다. 부분 대상 분류자 \Omega의 존재에 의하여, 부분 대상 A\in\operatorname{Sub}(X)는 사상 A\to\Omega와 동치이다.)

논리 헤이팅 대수
명제 \operatorname{Sub}(X)의 원소
\top \operatorname{Sub}(X)최대 원소 \top\in\operatorname{Sub}(X)
거짓 \bot \operatorname{Sub}(X)최소 원소 \bot\in\operatorname{Sub}(X)
논리합 \lor \operatorname{Sub}(X)의 두 원소의 이음 (상한) x\lor y
논리곱 \land \operatorname{Sub}(X)의 두 원소의 만남 (하한) x\land y
함의 x\implies y 헤이팅 대수의 함의 관계 x\implies y
부정 \lnot x 거짓의 함의 x\implies\bot

1차 논리[편집]

토포스에서, 임의의 사상 f\colon X\to Y에 대하여, 이로부터 유도되는 증가 함수

f^*\colon\operatorname{Sub}(Y)\to\operatorname{Sub}(X)

를 생각하자. 부분 순서 집합작은 범주로 생각한다면, 토포스에서 이는 항상 왼쪽 수반 함자오른쪽 수반 함자를 갖는다.

\exists_f \dashv f^* \dashv \forall_f

이 경우, \exists_f는 존재 기호, \forall_f는 전칭 기호에 해당한다.

A\subset X -> \{f(x)\colon\forall x\in X\colon f(x)\in A_Y\}

논리 집합 토포스
자유 변수 y\colon Y를 갖는 명제 \phi(y) 및 함수 f\colon X\to Y가 주어졌을 때, 자유 변수 x\colon X를 갖는 명제 \phi(f(x)) 부분 집합 \phi\subseteq Y 및 함수 f\colon X\to Y에 대하여, \{x\in X\colon \phi_Y(f(x))\} 부분 대상 \phi\in\operatorname{Sub}(Y)에 대하여, f^*\phi\in\operatorname{Sub}(X)
자유 변수 x\colon X, y\colon Y인 명제 \phi(x,y)에 대하여, \forall x\in X\colon\phi(x,y) \{y\in Y\colon \exists x\in X\colon\phi(x,y)\} 사영 \operatorname{proj}_Y\colon X\times Y\to Y에 대하여, \forall_{\operatorname{proj}_Y}\phi
자유 변수 x\colon X, y\colon Y인 명제 \phi(x,y)에 대하여, \exists x\in X\colon\phi(x,y) \{y\in Y\colon \exists x\in X\colon \phi(x,y)\} 사영 \operatorname{proj}_Y\colon X\times Y\to Y에 대하여, \exists_{\operatorname{proj}_Y}\phi

대상 X 속의 부분 대상 a,b\in\operatorname{Sub}(X)

a\colon A\hookrightarrow X
b\colon B\hookrightarrow X

이 주어졌으며, 그 만남

a\land b\colon A\land_XB\hookrightarrow X

이 주어졌을 때, 헤이팅 대수 \operatorname{Sub}(X)에서의 헤이팅 함의 관계 a\implies b는 다음과 같이 정의된다.

(a\implies b)=\forall_{a\land b}\top_{\operatorname{Sub}(A\land_XB)}\in\operatorname{Sub}(X)

여기서 \forall_{a\land b}\colon A\land_XB\to X부분 대상 a\land b\in\operatorname{Sub}(X)에 대응하는 단사 사상이며, \top_{\operatorname{Sub}(A\land_XB)}\in\operatorname{Sub}(A\land_XB)\operatorname{Sub}(A\land_XB)최대 원소이다.

크립키-주아요 의미론[편집]

토포스 위의 미첼-베나부 언어에 대하여, 크립키-주아요 의미론(영어: Kripke–Joyal semantics)이라는 의미론이 존재한다.[5]:§VI.6 이는 솔 크립키와 앙드레 주아요(프랑스어: André Joyal)가 도입하였다.

성질[편집]

토포스의 공리들로부터, 다음과 같은 추가 성질들을 유도할 수 있다.

그로텐디크 토포스는 토포스이며, 또한 다음과 같은 추가 성질을 가진다.

  • 그로텐디크 토포스는 항상 자연수 대상(영어: natural numbers object)을 가지며, 이는 자연수 집합을 값으로 하는 상수층 \underline{\mathbb N}이다.

[편집]

토포스의 예는 다음을 들 수 있다.

  • 집합의 범주 \operatorname{Set}
    • 이는 한 점으로 구성되는 공간 위의 (집합 값을 갖는) 의 범주이므로, 그로텐디크 토포스를 이룬다.
  • 유한 집합의 범주 \operatorname{FinSet}
    • 이는 그로텐디크 토포스가 아니다.
  • G작용을 갖춘 집합 및 작용에 호환되는 함수들의 범주 G\text{-Set}
  • 작은 범주 \mathcal C에 대하여, 함자 범주 \operatorname{Set}^\mathcal C
  • 작은 위치 위의 (집합 값을 갖는) 의 범주는 그로텐디크 토포스이며, 따라서 역시 토포스이다.
  • 토포스 \mathcal T의 대상 X\in\mathcal T에 대한 조각 범주 \mathcal T/X 또한 토포스이다.

역사[편집]

토포스의 개념은 알렉산더 그로텐디크대수기하학 이론의 관점에서 1960년대에 도입하였다.[6][7] 그로텐디크가 창안한 단어 프랑스어: topos 토포스[*] (복수 프랑스어: topoï 토포이[*])는 고대 그리스어: τόπος 토포스[*](장소, 복수 고대 그리스어: τόποι 토포이[*])에서 유래하였다.

프랜시스 윌리엄 로비어(영어: Francis William Lawvere)와 마일스 티어니(영어: Myles Tierney)는 수리논리학에 토포스의 개념을 응용하였고, 그로텐디크 토포스의 개념을 (기초적) 토포스로 일반화하였다.[8] 지로 정리는 장 지로(프랑스어: Jean Giraud)가 증명하였다.

참고 문헌[편집]

  1. Garner, Richard; Lack, Stephen (2012년 4월 1일). “Grothendieck quasitoposes”. 《Journal of Algebra》 (영어) 355 (1): 111–127. arXiv:1106.5331. Bibcode:2011arXiv1106.5331G. doi:10.1016/j.jalgebra.2011.12.016. 
  2. Grothendieck, Alexander; Verdier, J. L. 〈Exposé IV. Topos〉. 《Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos》 (PDF). Séminaire de géométrie algébrique du Bois Marie (프랑스어) 4. doi:10.1007/BFb0081555. 
  3. Barr, Michael (1974년 12월). “Toposes without points”. 《Journal of Pure and Applied Algebra》 (영어) 5 (3): 265–280. doi:10.1016/0022-4049(74)90037-1. ISSN 0022-4049. 
  4. Grothendieck, Alexander (1971). 〈Exposé V. Le groupe fondamental: généralités〉. 《Revêtements étales et groupe fondamental》. Séminaire de géométrie algébrique du Bois Marie (프랑스어) 1. arXiv:math/0206203. doi:10.1007/BFb0058661. 
  5. Mac Lane, Saunders; Moerdijk, Ieke (1992). 《Sheaves in geometry and logic: a first introduction to topos theory》. Universitext (영어). Springer. doi:10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2. ISSN 0172-5939. MR 1300636. Zbl 0822.18001. 
  6. McLarty, Colin (1990년 9월). “The uses and abuses of the history of topos theory” (PDF). 《The British Journal for the Philosophy of Science》 (영어) 41 (3): 351–375. doi:10.1093/bjps/41.3.351. ISSN 0007-0882. JSTOR 687825. Zbl 0709.18002. 
  7. Illusie, Luc (2004년 9월). “What is a ... topos?” (PDF). 《Notices of the American Mathematical Society》 (영어). Zbl 1071.18003. 
  8. Bell, John Lane (2005). 〈The development of categorical logic〉 (PDF). 《Handbook of Philosophical Logic, vol. 12》 (영어). Springer. 279쪽. ISBN 978-1-4020-3091-8. 

바깥 고리[편집]