귀납적 극한

틀:위키데이터 속성 추적 범주론과 추상대수학에서 귀납적 극한(歸納的極限, 틀:Llang)은 범주의 대상에 대한 일종의 극한이다. 기호는 $\underrightarrow{\lim }$ 또는 $\mathrm{inj\; lim}$.

정의

범주 $𝒞$에 대하여, 대상의 집합 $𝒳\subset \mathrm{ob}(𝒞)$와 사상의 집합 $ℱ\subset \mathrm{hom}(𝒞)$가 다음을 만족한다고 하자.

1. 모든 $f\in ℱ$에 대하여, $f:X\to Y$이면 $X,Y\in 𝒳$이다.
2. $f,g\in ℱ\cap \mathrm{hom}(X,Y)$라면 $f=g$이다.
3. (반사성) 모든 $X\in 𝒳$에 대하여, $1_X\in ℱ$이다.
4. (추이성) $f,g\in ℱ$이고 $fg$가 존재한다면 $fg\in ℱ$이다.
5. (유한 집합의 상한의 존재) $X,Y\in 𝒳$이라면, $f:X\to Z$, $g:Y\to Z$인 $f,g\in ℱ$, $Z\in 𝒳$가 존재한다.

이러한 조건을 만족하는 $(𝒳,ℱ)$를 유향체계(有向體系, 틀:Llang)이라고 한다.

$(𝒳,ℱ)$가 유향체계라고 하자. 편의상 $𝒳=\{X_i\}$, $ℱ=\{f_{ij}\}$로 쓰자. 이 경우 $f_{ij}$가 존재한다면 $f_{ij}:X_i\to X_j$이다. 이 유향체계의 귀납적 극한 $\underrightarrow{\lim }𝒳$은 다음과 같은 데이터로 이루어진다.

• 대상 $X\in \mathrm{ob}(𝒞)$
• 각 $X_i\in 𝒳$에 대하여, 사상 ${\varphi }_i:X_i\to X$

이들은 다음과 같은 보편 성질을 만족하여야 한다. ${\varphi }_i={\varphi }_j{f}_{ij}$이어야 하고, 또한 임의의 또다른 대상 $Y\in \mathrm{ob}(𝒞)$와 사상들 ${\psi }_i:X_i\to Y$에 대하여, 만약 ${\psi }_i={\psi }_j{f}_{ij}$라면 다음 그림을 가환하게 하는 유일한 사상 $u:X\to Y$가 존재하여야 한다.

이를 보통 $\underrightarrow{\lim }{X}_i=X$로 쓴다.

예

일반적인 범주에서 귀납적 극한은 존재하지 않을 수도 있다. 다만, 대수 구조의 범주(집합의 범주, 군이나 환의 범주, 주어진 환에 대한 가군의 범주 따위)의 경우에는 항상 존재한다. 또한 위상 공간이나 균등 공간의 범주에서도 항상 존재한다.

대수 구조 다양체

연산 집합 $\{f_{\alpha }{\}}_{\alpha \in A}$을 갖는 대수 구조 다양체 $𝒱$는 완비 범주이자 쌍대 완비 범주이며, 특히 모든 귀납적 극한이 존재한다. 구체적으로, $𝒱$ 속 대수 구조들의 유향 체계 $((A_i{)}_{i\in (I,\lesssim )},({\varphi }_{ij}:A_i\to A_j{)}_{i\lesssim j})$의 귀납적 극한은 집합으로서 분리 합집합의 몫집합

$\underrightarrow{\lim }{A}_i=\left(\underset{i\in I}{⨆}{A}_i\right)/\sim$

$(a,i)\sim (b,j)⟺\mathrm{\exists }k\in I:i,j\lesssim k\wedge {\varphi }_{ik}(a)={\varphi }_{jk}(b)$

이며, 이 위의 $n$항 연산 $f_{\alpha }$는 다음과 같이 정의된다.틀:Rp

$\mathrm{\forall }{i}_1,\dots ,i_n\in I\mathrm{\forall }{a}_1\in A_{i_1}\cdots \mathrm{\forall }{a}_n\in A_{i_n}\mathrm{\forall }k\gtrsim i_1,\dots ,i_n:f_{\alpha }^{\underrightarrow{\lim }{A}_i}([(a_1,i_1)],\dots ,[(a_n,i_n)])=[(f_{\alpha }^{A_k}({\varphi }_{i_{1}k}(a_1),\dots ,{\varphi }_{i_{n}k}(a_n)),k)]$

위상 공간

위상 공간과 연속 함수의 범주 $\mathrm{Top}$는 완비 범주이자 쌍대 완비 범주이며, 특히 모든 귀납적 극한을 갖는다. 위상 공간들의 유향 체계의 귀납적 극한은 집합으로서 집합의 대수 구조 다양체에서의 귀납적 극한이다. 이 위에는 분리 합집합 위에 유도되는 자연스러운 위상의 몫위상을 취한다.

균등 공간

균등 공간과 균등 연속 함수의 범주 $\mathrm{Unif}$는 완비 범주이자 쌍대 완비 범주이며, 특히 모든 귀납적 극한을 갖는다. 균등 공간들의 유향 체계의 귀납적 극한은 균등 공간 구조를 정의하는 유사 거리 함수족을 통해 구체적으로 기술할 수 있다.틀:Rp

각주

• 틀:서적 인용

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:Nlab