호모토피 동치

대수적 위상수학에서 호모토피 동치(homotopy同値, 영어: homotopy equivalence)는 위상 공간의 분류의 하나이다. 이는 위상 동형보다 더 거칠며, 호모토피 군이나 특이 호몰로지와 같은 불변량을 보존하지만 차원과 같은 성질은 보존하지 않는다. 위상 공간 X {\displaystyle X} , Y {\displaystyle Y} 사이의 연속 함수 f : X → Y {\displaystyle f\colon X\to Y} 에 대하여, 만약 다음 두 조건을 만족시키는 연속 함수 g : Y → X {\displaystyle g\colon Y\to X} 가 존재한다면, f {\displaystyle f} 를 호모토피 동치라고 한다.:363 f ∘ g ≃ id Y {\displaystyle f\circ g\simeq \operatorname {id} _{Y}} g ∘ f ≃ id X {\displaystyle g\circ f\simeq \operatorname {id} _{X}} 여기서 ≃ {\displaystyle \simeq } 는 같은 정의역과 공역을 갖는 두 연속 함수의 호모토픽 관계이다. 위상 공간 X {\displaystyle X} , Y {\displaystyle Y} 사이의 연속 함수 f : X → Y {\displaystyle f\colon X\to Y} 가 다음 두 조건을 만족시킨다면, f {\displaystyle f} 가 약한 호모토피 동치(弱-homotopy同値, 영어: weak homotopy equivalence)라고 한다. f {\displaystyle f} 로부터 유도되는 연결 성분의 함수 f ∗ : π 0 ( X ) → π 0 ( Y ) {\displaystyle f_{*}\colon \pi _{0}(X)\to \pi _{0}(Y)} 는 전단사 함수이다. 임의의 x ∈ X {\displaystyle x\in X} 및 모든 n ≥ 1 {\displaystyle n\geq 1} 에 대하여, f {\displaystyle f} 로부터 유도되는 호모토피 군의 군 준동형 f ∗ : π n ( X , x ) → π n ( Y , f ( x ) ) {\displaystyle f_{*}\colon \pi _{n}(X,x)\to \pi _{n}(Y,f(x))} 는 모두 군의 동형이다. 다음과 같은 포함 관계가 성립한다. 항등 함수 ⊊ 위상 동형 ⊊ 호모토피 동치 ⊊ 약한 호모토피 동치 ⊊ 연속 함수 호모토피 동치에 대하여 다음이 성립한다. 모든 위상 동형은 항상 호모토피 동치이다. (합성에 대한 닫힘) 두 호모토피 동치 f : X → Y {\displaystyle f\colon X\to Y} , g : Y → Z {\displaystyle g\colon Y\to Z} 의 합성 g ∘ f {\displaystyle g\circ f} 역시 호모토피 동치이다. 호모토피 동치 f : X → Y {\displaystyle f\colon X\to Y} 에 대하여, g ∘ f ≃ id X {\displaystyle g\circ f\simeq \operatorname {id} _{X}} 이자 f ∘ g ≃ id Y {\displaystyle f\circ g\simeq \operatorname {id} _{Y}} 인 호모토피 동치 g : Y → X {\displaystyle g\colon Y\to X} 가 존재한다. 따라서, 두 위상 공간 사이에 호모토피 동치가 존재하는지 여부는 위상 동형 관계보다 더 엉성한 동치 관계를 이룬다. 호모토피 동치 관계에 대한 동치류를 호모토피 유형(homotopy類型, 영어: homotopy type)이라고 한다. 서로 위상 동형인 두 위상 공간은 서로 호모토피 동치이지만, 그 역은 일반적으로 성립하지 않는다. 약한 호모토피 동치에 대하여 다음이 성립한다. 모든 호모토피 동치는 항상 약한 호모토피 동치이다. (3개 가운데 2개 성질 영어: two out of three property) 연속 함수 f : X → Y {\displaystyle f\colon X\to Y} , g : Y → Z {\displaystyle g\colon Y\to Z} 가 주어졌으며, { f , g , g ∘ f } {\displaystyle \{f,g,g\circ f\}} 가운데 2개가 약한 호모토피 동치를 이룬다면, 3개 모두 약한 호모토피 동치를 이룬다. (특히, 약한 호모토피 동치는 함수의 합성에 대하여 닫혀 있다.) (6개 가운데 2개 성질 영어: two out of six property) 세 연속 함수 X → f Y → g Z → h W {\displaystyle X{\xrightarrow {f}}Y{\xrightarrow {g}}Z{\xrightarrow {h}}W} 가 주여졌으며, 만약 g ∘ f {\displaystyle g\circ f} 및 h ∘ g {\displaystyle h\circ g} 가 약한 호모토피 동치라면, f {\displaystyle f} 와 g {\displaystyle g} 와 h {\displaystyle h} 와 h ∘ g ∘ f {\displaystyle h\circ g\circ f} 역시 약한 호모토피 동치이다. 약한 호모토피 동치의 존재는 반사 관계이자 추이적 관계이지만, 대칭 관계가 아니므로 동치 관계가 아니다. 서로 호모토피 동치인 두 위상 공간 사이에는 항상 약한 호모토피 동치가 존재하지만, 그 역은 일반적으로 성립하지 않는다. 화이트헤드 정리에 따르면 두 연결 CW 복합체 사이에 만약 약한 호모토피 동치가 존재한다면, 이들 사이에는 호모토피 동치가 존재한다. 즉, CW 복합체의 경우 호모토피 유형을 약한 호모토피 동치로서 계산할 수 있다. 보다 일반적으로 모형 범주에서 존재하는 약한 동치는 약한 호모토피 동치의 일반화이며, 모형 범주에서의 화이트헤드 정리에 따르면 서로 올대상이자 쌍대올대상인 대상 사이에는 약한 동치의 존재는 동치 관계를 이룬다. (위상 공간 위의 퀼런 모형 구조에서 CW 복합체는 올대상이자 쌍대올대상이다.) Munkres, James R. (2000). 《Topology》 (영어) 2판. Prentice Hall. ISBN 978-0-13-181629-9. MR 0464128. Zbl 0951.54001.  Hatcher, Allen (2002). 《Algebraic topology》 (영어). Cambridge: Cambridge University Press. ISBN 978-0-521-79540-1. MR 1867354. Zbl 1044.55001.  May, J. Peter (1999년 9월). 《A concise course in algebraic topology》 (PDF) (영어). Chicago Lectures in Mathematics. Chicago: University of Chicago Press. ISBN 978-02-2651-183-2.  “Homotopy type”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  Weisstein, Eric Wolfgang. “Homotopy equivalence”. 《Wolfram MathWorld》 (영어). Wolfram Research.  Weisstein, Eric Wolfgang. “Homotopy type”. 《Wolfram MathWorld》 (영어). Wolfram Research.  “Homotopy type”. 《nLab》 (영어).  “Homotopy equivalence”. 《nLab》 (영어).  “Weak homotopy equivalence”. 《nLab》 (영어).  “Whitehead theorem”. 《nLab》 (영어).  “m-cofibrant space”. 《nLab》 (영어).  “Two-out-of-three”. 《nLab》 (영어).  “Two-out-of-six property”. 《nLab》 (영어).