정의
동차 공간( homogeneous space )은 군 $G$ 가 작용하는 위상공간 $X$ 로서, $G$ 의 작용이 전달(transitive) 하다는 성질을 만족한다. 즉, 임의의 두 점 $x, y \in X$ 에 대해 어느 $g \in G$ 가 존재하여 $g \cdot x = y$ 가 된다. 이러한 경우 $X$ 는 종종 $G/H$ 의 꼴로 표기되며, 여기서 $H$ 는 $G$ 의 한 점 $x_0 \in X$ 를 고정시키는 안정자(subgroup)이다.
주요 성질
- 동치성: 모든 점이 군 작용에 의해 서로 연결되므로, 공간 전체가 하나의 궤도(orbit)만을 가진다.
- 표현: $X \cong G/H$ 로 표현할 수 있으며, 이때 $H$ 는 폐 부분군이면 $X$ 가 매끄러운 다양체가 된다(예: 리 군의 경우).
- 대칭성: 동차 공간은 높은 대칭성을 갖는 구조로, 리 대수학, 미분기하학, 조화해석 등에서 핵심적인 역할을 한다.
예시
- 구면 $S^n$ : 특수 직교군 $SO(n+1)$ 가 작용하고, 안정자는 $SO(n)$ 이므로 $S^n \cong SO(n+1)/SO(n)$.
- 실수 프로젝트 공간 $\mathbb{RP}^n$ : $SO(n+1)$ 가 작용하고, 안정자는 $O(1)\times SO(n)$ 로서 $\mathbb{RP}^n \cong SO(n+1)/\big(O(1)\times SO(n)\big)$.
- 유클리드 공간 $\mathbb{R}^n$ : 평행 이동군 $ \mathbb{R}^n \rtimes O(n) $ 가 작용하고, 안정자는 $O(n)$ 이다.
응용 분야
- 리 대수와 리 군: 동차 공간은 군의 구조를 분석하고, 군표현의 기하학적 모델을 제공한다.
- 미분기하학: 연결된 리 다양체를 동차 공간으로 나타내어 곡률, 연결, 텐서 등을 연구한다.
- 수학 물리학: 대칭성 이론, 게이지 이론, 일반 상대성 이론 등에서 동차 공간은 물리적 장의 배경공간으로 활용된다.
어원
‘동차’는 한자어 “同次”(같은 차례·동일한 차수)에서 유래한 표현으로, 영어 ‘homogeneous’의 의미와 대응한다. ‘동차 공간’이라는 용어는 ‘동일한(동일한) 성질을 가진 공간’이라는 의미에서 차용되어, 군 작용에 의해 모든 점이 동등하게 취급되는 공간을 가리킨다.
관련 용어
- 동치류(orbit): 군 작용에 의해 생성되는 점들의 집합.
- 안정자(stabilizer, isotropy subgroup): 특정 점을 고정시키는 군 원소들의 부분군.
- 비동차 공간: 군 작용이 전달적이지 않아 여러 궤도로 나뉘는 공간.
참고 자료
- J. M. Lee, Introduction to Smooth Manifolds, Springer, 2013.
- S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces, Academic Press, 1978.
- H. Goldschmidt, Homogeneous Spaces, Encyclopedia of Mathematics, Springer.
위 내용은 수학 분야에서 일반적으로 인정받는 정의와 예시를 기반으로 하며, 추가적인 세부 사항은 해당 분야의 전문 서적이나 논문을 참고한다.
