정의
H-공간은 대수위상수학(algebraic topology)에서 다루는 위상공간의 한 종류로, 연산(multiplication) $ \mu : X \times X \to X $와 항등원 $ e \in X $이 존재하여 다음 조건을 만족하는 위상공간 $X$를 말한다.
- 연산의 연속성: $ \mu $는 연속 함수이다.
- 항등원 조건(동형동치): 항등원 $e$에 대해 $ \mu(e, x) $와 $ \mu(x, e) $가 각각 $x$와 동형동치(homotopic)이다. 즉, $ \mu(e, -) \simeq \operatorname{id}_X \simeq \mu(-, e) $.
- 동형동치적인 결합법칙: 연산 $ \mu $가 결합법칙을 만족한다는 것이 동형동치 수준에서 요구된다. 즉, $ \mu(\mu(x,y),z) $와 $ \mu(x,\mu(y,z)) $가 서로 동형동치이다.
위의 조건은 반드시 정확히 등식으로 성립할 필요는 없으며, 위상동형(homotopy) 수준에서만 만족하면 된다. 따라서 H-공간은 일반적인 군 구조와는 달리 연산이 엄격히 결합하지 않아도 된다.
주요 예시
| 위상공간 | H-공간 구조 | 비고 |
|---|---|---|
| 모든 위상군 (topological group) | 군 연산 자체 | 연산이 연속이며 항등원이 정확히 존재 |
| 루프공간 $\Omega Y$ (주어진 공간 $Y$의 모든 루프의 공간) | 루프 합성 $\gamma_1 * \gamma_2$ | 루프 합성은 연속적이고 항등원은 상수 루프 |
| 구 $\mathbb{S}^0, \mathbb{S}^1, \mathbb{S}^3, \mathbb{S}^7$ | 실수·복소·쿤타르·옥탄션 곱을 이용한 구조 | 실수, 복소, 쿤타르, 옥탄션 대수와 관련된 곱 |
| 복소수 곱셈에 의해 정의된 $\mathbb{C}P^{\infty}$ | 베르스트라임(버스트라흐) 구조 | H-공간 구조는 코호몰로지 이론에서 중요 |
성질 및 응용
- 동형동치적 군 구조: H-공간의 기본군 $\pi_1(X)$은 실제 군 구조를 갖는다. 이는 연산이 동형동치 수준에서 결합법칙을 만족하기 때문이다.
- 동형동치적 연산이 존재하는 경우: H-공간은 코호몰로지 및 코호몰로지 환 구조에서 디아다믹스 연산(Cup product) 등을 정의하는 데 활용된다.
- 스틸러의 급수와 전기명제: H-공간 구조는 스펙트럼(spectrum) 이론에서 스테이블 호모톱 이론을 전개할 때 기본적인 토대가 된다.
- 동형동치적 분류: H-공간은 종종 원근한 위상학적 특성(예: 동형동치 클래스, 동형동치적 형태) 을 연구하는 데 사용되며, 특히 루프공간과 같은 경우는 중요한 동형동치적 불변량을 제공한다.
관련 개념
- A_{\infty}-공간: H-공간을 일반화한 개념으로, 연산의 결합법칙이 고차 동형동치까지 체계적으로 확장된 구조.
- H-그룹: H-공간에 추가적으로 연산이 결합법칙을 정확히 만족하고, 항등원이 엄격히 존재하는 경우를 말한다.
- 모듈형 스펙트럼: H-공간 구조는 스펙트럼 간의 모듈러 연산을 정의하는 데 쓰인다.
참고문헌
- A. Hatcher, Algebraic Topology, Cambridge University Press, 2002. – H-공간과 그 예시, 기본 성질에 대한 상세 설명.
- J. P. May, A Concise Course in Algebraic Topology, University of Chicago Press, 1999. – H-공간과 A_{\infty}-공간의 관계.
- K. H. Kim, Homotopy Theory, Springer, 2015. – H-공간이 동형동치 이론에 미치는 영향.
요약
H-공간은 연산과 항등원이 동형동치 수준에서만 만족하는 위상공간으로, 대수위상수학에서 군과 유사한 구조를 제공한다. 이 개념은 루프공간, 위상군, 특정 구 등 다양한 사례에서 나타나며, 코호몰로지 이론, 스펙트럼 이론 등 여러 분야에서 핵심적인 역할을 수행한다.
