토포스

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

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

정의[편집]

유한 완비 범주 \mathcal C 속의 대상 \Omega 및 사상 \top\colon1\to\Omega이 다음 조건을 만족시킨다면, (\Omega,\top)부분 대상 분류자라고 한다.

  • 임의의 단사 사상 i\colon A\to B에 대하여, A가 (\top\colon1\to\Omega\chi_A\colon A\to B에 대한) 당김 B\times_\Omega1과 같으며 i가 사영 사상 \pi_A\colon B\times_\Omega1\to B와 같게 하는 사상 \chi_A\colon B\to\Omega가 존재한다.

이때 \chi_i\colon B\to\Omegai\colon A\to B지시 사상이라고 한다.

토포스(영어: (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유효 동치 관계라고 한다.

논리적 사상[편집]

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

준토포스[편집]

유한 완비 범주 \mathcal C 속의 대상 \Omega 및 사상 \top\colon1\to\Omega이 다음 조건을 만족시킨다면, (\Omega,\top)강한 부분 대상 분류자라고 한다.

  • 임의의 강한 단사 사상 i\colon A\to B에 대하여, A가 (\top\colon1\to\Omega\chi_A\colon A\to B에 대한) 당김 B\times_\Omega1과 같으며 i가 사영 사상 \pi_A\colon B\times_\Omega1\to B와 같게 하는 사상 \chi_A\colon B\to\Omega가 존재한다.

이때 \chi_i\colon B\to\Omegai\colon A\to B지시 사상이라고 한다. 강한 부분 대상 분류자는 부분 대상 분류자의 정의를 모든 단사 사상 대신 강한 단사 사상에만 적용되게 약화시킨 것이다.

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

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

위치 \mathcal C 위의 범주 \operatorname{Sh}(\mathcal C)가 토포스를 이루는 것처럼, 위치 \mathcal C 위의 분리 준층 범주 \operatorname{SepPSh}(\mathcal C)는 준토포스를 이룬다. 이와 같이 분리 준층 범주로 나타낼 수 있는 준토포스를 그로텐디크 준토포스(영어: Grothendieck quasitopos)라고 한다. 그로텐디크 토포스에 대한 지로드 정리와 마찬가지로, 그로텐디크 준토포스에 대해서도 지로드 정리가 존재한다.

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

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

기하학적 사상[편집]

두 토포스 \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이다.

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

국소 연결 토포스[편집]

국소적으로 작은 토포스 \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에 대하여, 다음 두 조건이 서로 동치이다.

기본군[편집]

그로텐디크 토포스에 대하여, 기본군의 개념을 정의할 수 있다.[3]:§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)작용을 갖는 유한군들로 구성된 범주이다.)

성질[편집]

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

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

  • 그로텐디크 토포스는 항상 자연수 대상(영어: 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년대에 도입하였다.[4][5] 그로텐디크가 창안한 단어 프랑스어: topos 토포스[*] (복수 프랑스어: topoï 토포이[*])는 고대 그리스어: τόπος 토포스[*](장소, 복수 고대 그리스어: τόποι 토포이[*])에서 유래하였다.

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

참고 문헌[편집]

  1. 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. 
  2. 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. 
  3. 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. 
  4. 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. 
  5. Illusie, Luc (2004년 9월). “What is a ... topos?” (PDF). 《Notices of the American Mathematical Society》 (영어). Zbl 1071.18003. 
  6. Bell, John Lane (2005). 〈The development of categorical logic〉 (PDF). 《Handbook of Philosophical Logic, vol. 12》 (영어). Springer. 279쪽. ISBN 978-1-4020-3091-8. 

바깥 고리[편집]