귀납적 극한

범주론과 추상대수학에서 귀납적 극한(歸納的極限, 영어: inductive limit, direct limit, injective limit)은 범주의 대상에 대한 일종의 극한이다. 기호는 lim → {\displaystyle \varinjlim } 또는 inj lim {\displaystyle \injlim } . 범주 C {\displaystyle {\mathcal {C}}} 에 대하여, 대상의 집합 X ⊂ ob ⁡ ( C ) {\displaystyle {\mathcal {X}}\subset \operatorname {ob} ({\mathcal {C}})} 와 사상의 집합 F ⊂ hom ⁡ ( C ) {\displaystyle {\mathcal {F}}\subset \hom({\mathcal {C}})} 가 다음을 만족한다고 하자. 모든 f ∈ F {\displaystyle f\in {\mathcal {F}}} 에 대하여, f : X → Y {\displaystyle f\colon X\to Y} 이면 X , Y ∈ X {\displaystyle X,Y\in {\mathcal {X}}} 이다. f , g ∈ F ∩ hom ⁡ ( X , Y ) {\displaystyle f,g\in {\mathcal {F}}\cap \hom(X,Y)} 라면 f = g {\displaystyle f=g} 이다. (반사성) 모든 X ∈ X {\displaystyle X\in {\mathcal {X}}} 에 대하여, 1 X ∈ F {\displaystyle 1_{X}\in {\mathcal {F}}} 이다. (추이성) f , g ∈ F {\displaystyle f,g\in {\mathcal {F}}} 이고 f g {\displaystyle fg} 가 존재한다면 f g ∈ F {\displaystyle fg\in {\mathcal {F}}} 이다. (유한 집합의 상한의 존재) X , Y ∈ X {\displaystyle X,Y\in {\mathcal {X}}} 이라면, f : X → Z {\displaystyle f\colon X\to Z} , g : Y → Z {\displaystyle g\colon Y\to Z} 인 f , g ∈ F {\displaystyle f,g\in {\mathcal {F}}} , Z ∈ X {\displaystyle Z\in {\mathcal {X}}} 가 존재한다. 이러한 조건을 만족하는 ( X , F ) {\displaystyle ({\mathcal {X}},{\mathcal {F}})} 를 유향체계(有向體系, 영어: directed system)이라고 한다. ( X , F ) {\displaystyle ({\mathcal {X}},{\mathcal {F}})} 가 유향체계라고 하자. 편의상 X = { X i } {\displaystyle {\mathcal {X}}=\{X_{i}\}} , F = { f i j } {\displaystyle {\mathcal {F}}=\{f_{ij}\}} 로 쓰자. 이 경우 f i j {\displaystyle f_{ij}} 가 존재한다면 f i j : X i → X j {\displaystyle f_{ij}\colon X_{i}\to X_{j}} 이다. 이 유향체계의 귀납적 극한 lim → ⁡ X {\displaystyle \varinjlim {\mathcal {X}}} 은 다음과 같은 데이터로 이루어진다. 대상 X ∈ ob ⁡ ( C ) {\displaystyle X\in \operatorname {ob} ({\mathcal {C}})} 각 X i ∈ X {\displaystyle X_{i}\in {\mathcal {X}}} 에 대하여, 사상 ϕ i : X i → X {\displaystyle \phi _{i}\colon X_{i}\to X} 이들은 다음과 같은 보편 성질을 만족하여야 한다. ϕ i = ϕ j f i j {\displaystyle \phi _{i}=\phi _{j}f_{ij}} 이어야 하고, 또한 임의의 또다른 대상 Y ∈ ob ⁡ ( C ) {\displaystyle Y\in \operatorname {ob} ({\mathcal {C}})} 와 사상들 ψ i : X i → Y {\displaystyle \psi _{i}\colon X_{i}\to Y} 에 대하여, 만약 ψ i = ψ j f i j {\displaystyle \psi _{i}=\psi _{j}f_{ij}} 라면 다음 그림을 가환하게 하는 유일한 사상 u : X → Y {\displaystyle u\colon X\to Y} 가 존재하여야 한다. 이를 보통 lim → ⁡ X i = X {\displaystyle \varinjlim X_{i}=X} 로 쓴다. 일반적인 범주에서 귀납적 극한은 존재하지 않을 수도 있다. 다만, 대수 구조의 범주(집합의 범주, 군이나 환의 범주, 주어진 환에 대한 가군의 범주 따위)의 경우에는 항상 존재한다. 또한 위상 공간이나 균등 공간의 범주에서도 항상 존재한다. 연산 집합 { f α } α ∈ A {\displaystyle \{f_{\alpha }\}_{\alpha \in A}} 을 갖는 대수 구조 다양체 V {\displaystyle {\mathcal {V}}} 는 완비 범주이자 쌍대 완비 범주이며, 특히 모든 귀납적 극한이 존재한다. 구체적으로, V {\displaystyle {\mathcal {V}}} 속 대수 구조들의 유향 체계 ( ( A i ) i ∈ ( I , ≲ ) , ( ϕ i j : A i → A j ) i ≲ j ) {\displaystyle ((A_{i})_{i\in (I,\lesssim )},(\phi _{ij}\colon A_{i}\to A_{j})_{i\lesssim j})} 의 귀납적 극한은 집합으로서 분리 합집합의 몫집합 lim → ⁡ A i = ( ⨆ i ∈ I A i ) / ∼ {\displaystyle \varinjlim A_{i}=\left(\bigsqcup _{i\in I}A_{i}\right)/{\sim }} ( a , i ) ∼ ( b , j ) ⟺ ∃ k ∈ I : i , j ≲ k ∧ ϕ i k ( a ) = ϕ j k ( b ) {\displaystyle (a,i)\sim (b,j)\iff \exists k\in I\colon i,j\lesssim k\land \phi _{ik}(a)=\phi _{jk}(b)} 이며, 이 위의 n {\displaystyle n} 항 연산 f α {\displaystyle f_{\alpha }} 는 다음과 같이 정의된다.:385, Lemma 9.1.10 ∀ i 1 , … , i n ∈ I ∀ a 1 ∈ A i 1 ⋯ ∀ a n ∈ A i n ∀ k ≳ i 1 , … , i n : f α lim → ⁡ A i ( [ ( a 1 , i 1 ) ] , … , [ ( a n , i n ) ] ) = [ ( f α A k ( ϕ i 1 k ( a 1 ) , … , ϕ i n k ( a n ) ) , k ) ] {\displaystyle \forall i_{1},\dots ,i_{n}\in I\forall a_{1}\in A_{i_{1}}\cdots \forall a_{n}\in A_{i_{n}}\forall k\gtrsim i_{1},\dots ,i_{n}\colon f_{\alpha }^{\varinjlim A_{i}}([(a_{1},i_{1})],\dots ,[(a_{n},i_{n})])=[(f_{\alpha }^{A_{k}}(\phi _{i_{1}k}(a_{1}),\dots ,\phi _{i_{n}k}(a_{n})),k)]} 위상 공간과 연속 함수의 범주 Top {\displaystyle \operatorname {Top} } 는 완비 범주이자 쌍대 완비 범주이며, 특히 모든 귀납적 극한을 갖는다. 위상 공간들의 유향 체계의 귀납적 극한은 집합으로서 집합의 대수 구조 다양체에서의 귀납적 극한이다. 이 위에는 분리 합집합 위에 유도되는 자연스러운 위상의 몫위상을 취한다. 균등 공간과 균등 연속 함수의 범주 Unif {\displaystyle \operatorname {Unif} } 는 완비 범주이자 쌍대 완비 범주이며, 특히 모든 귀납적 극한을 갖는다. 균등 공간들의 유향 체계의 귀납적 극한은 균등 공간 구조를 정의하는 유사 거리 함수족을 통해 구체적으로 기술할 수 있다.:97, Theorem 4.6 Bergman, George M. (2015). 《An invitation to general algebra and universal constructions》. Universitext (영어) 2판. Cham: Springer. doi:10.1007/978-3-319-11478-1. ISBN 978-3-319-11477-4. LCCN 2014954583. MR 3309721. Zbl 1317.08001.  Elliott, Robert J. (1967). “Inductive limits of uniform spaces”. 《Journal of the London Mathematical Society》 (영어) 42: 93–100. doi:10.1112/jlms/s1-42.1.93. ISSN 0024-6107. MR 0205220. Zbl 0147.22901.  Mac Lane, Saunders (1998). 《Categories for the working mathematician》. Graduate Texts in Mathematics 5 2판. Springer.  CS1 관리 - 추가 문구 (링크) “Inductive limit”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  Weisstein, Eric Wolfgang. “Direct limit”. 《Wolfram MathWorld》 (영어). Wolfram Research.  “Directed colimit”. 《nLab》 (영어).