공간은 수학에서 ‘점들의 집합에 일정한 구조(예: 거리, 위상, 대수적 연산 등)를 부여한 것’을 의미한다. 이러한 구조는 해당 집합을 공간이라 부르며, 구체적인 정의와 성질에 따라 다양한 종류의 공간이 구분된다.
정의
일반적으로, 집합 $X$와 그 위에 정의된 하나 이상의 연산·관계·함수 등을 묶어 $(X,\mathcal{S})$와 같이 표기한다. 여기서 $\mathcal{S}$는 거리함수, 위상, 대수적 연산 등 구조를 의미한다. $(X,\mathcal{S})$가 특정한 공리나 규칙을 만족할 경우, 이를 공간이라고 부른다.
주요 종류
| 종류 | 구조 | 주요 특징 및 예시 |
|---|---|---|
| 위상공간 | 위상 $\tau$ (개방집합들의 모임) | 연속성, 연결성, 컴팩트성 등을 정의. 예: 실수직 $\mathbb{R}$에 표준 위상 |
| 거리공간 (메트릭스페이스) | 거리함수 $d: X \times X \to \mathbb{R}_{\ge 0}$ | 거리 개념을 통해 열린집합·수렴 등을 정의. 예: 유클리드 거리 $d(x,y)=|x-y|$ |
| 벡터공간 | 벡터 합과 스칼라 곱 (선형 연산) | 선형대수의 기본 객체. 예: $\mathbb{R}^n$ |
| 노름공간 | 노름 $|\cdot|$ (거리와 유사) | 거리공간을 포함하며, 노름을 통한 거리를 정의. 예: Banach 공간 |
| 내적공간 (Hilbert 공간) | 내적 $\langle\cdot,\cdot\rangle$ | 거리와 각 개념을 제공. 완비 내적공간은 Hilbert 공간. |
| 다양체 | 로컬하게 유클리드 공간과 동형인 위상공간 | 미분가능 구조를 갖는 경우 미분다양체, 복소수 구조를 갖는 경우 복소다양체 등 |
| 군론적 공간 | 군 작용에 의해 정의된 구조 | 동치류, 코셋, 군의 작용에 의한 궤도 등 |
| 함수공간 | 함수들의 집합에 위상·거리·노름 부여 | 예: $C([0,1])$ (연속함수 공간), $L^p$ 공간 |
역사
‘공간’이라는 용어는 고대 그리스 수학에서 ‘장소’ 혹은 ‘범위’를 의미하는 라틴어 spatium에 해당하는 한자어 空間에서 차용되었다. 현대 수학에서 공간 개념은 19세기 말~20세기 초, 위상수학과 기하학의 체계화 과정에서 본격적으로 정형화되었다. 특히 카를 콜레(1845–1918)의 위상공간 정의와 힐베르트(1862–1943)의 힐베르트 공간 개념은 현재까지도 기본 틀로 활용된다.
관련 개념
- 위상: 열린집합을 규정하는 구조, 위상공간의 핵심.
- 거리: 두 점 사이의 ‘길이’를 수치화, 거리공간의 기본.
- 노름: 벡터의 ‘크기’를 정의, 노름공간에서 거리와 연결.
- 연속성: 함수가 한 공간에서 다른 공간으로 보존하는 구조적 성질.
- 동형사상·동차사상: 두 공간 사이의 구조 보존 지도(동등성)
참고문헌
- Munkres, James R. Topology, 2nd ed., Prentice Hall, 2000.
- Rudin, Walter. Functional Analysis, 2nd ed., McGraw‑Hill, 1991.
- Lee, John M. Introduction to Smooth Manifolds, 2nd ed., Springer, 2013.
(위 자료는 일반적으로 인정받는 학술 서적이며, 각기 다른 종류의 수학적 공간에 대한 정의와 성질을 상세히 다룬다.)