정의
실수 좌표 공간(real coordinate space)은 실수체 $\mathbb{R}$ 위에 정의된 $n$ 차원 벡터 공간 $\mathbb{R}^n$을 의미한다. 각 원소는 $n$개의 실수 성분 $(x_1, x_2, \dots, x_n)$으로 표현되며, 이는 $n$ 차원 유클리드 공간의 점과 일대일 대응한다.
표기법
- $\mathbb{R}^n$ : $n$ 차원 실수 좌표 공간
- $\mathbf{x} = (x_1, x_2, \dots, x_n) \in \mathbb{R}^n$ : 한 점(벡터)
- $| \mathbf{x} |$ : 유클리드 놈(길이) $\sqrt{x_1^2+\cdots+x_n^2}$
기본 구조
| 성질 | 설명 |
|---|---|
| 벡터 공간 | 덧셈 $\mathbf{x}+\mathbf{y}$와 스칼라 곱 $\alpha\mathbf{x}$ ( $\alpha\in\mathbb{R}$ )에 대해 닫힘 |
| 내적 | 표준 내적 $\langle\mathbf{x},\mathbf{y}\rangle =\sum_{i=1}^n x_i y_i$ |
| 거리 | 유클리드 거리 $d(\mathbf{x},\mathbf{y})=|\mathbf{x}-\mathbf{y}|$ |
| 위상 | 유클리드 위상(표준 위상) – 열린 집합은 각 점이 작은 $\epsilon$-볼 안에 포함되는 집합 |
| 완비성 | 모든 코시 수열이 수렴하는 완비 메트릭 공간 |
| 연결성 | $\mathbb{R}^n$은 연결이며, 사실상 경로 연결이다. |
| 측도 | 르베그 측도 $\lambda^n$가 정의되어 분석학에서 적분을 가능하게 함 |
특수 경우
- $\mathbb{R}$ (1차원) : 실수선, 실수값 함수의 정의역과 동치.
- $\mathbb{R}^2$ (2차원) : 평면, 복소수 $z = x+iy$와 일대일 대응.
- $\mathbb{R}^3$ (3차원) : 3차원 유클리드 공간, 물리학에서 공간 좌표로 사용.
위상·기하학적 성질
- 오픈 및 클로즈드 볼
- 반지름 $r>0$인 열린 볼 $B(\mathbf{x},r)={\mathbf{y}\in\mathbb{R}^n\mid |\mathbf{y}-\mathbf{x}|<r}$은 기본적인 열린 집합.
- 컨벡스 집합
- $\mathbb{R}^n$ 자체와 그 안의 모든 선형 부분공간은 컨벡스이며, 이는 최적화 이론의 토대가 된다.
- 히볼드와 라플라스 연산자
- 미분 연산자 $ abla, \Delta$가 정의되어 편미분 방정식(PDE) 이론에 활용된다.
응용 분야
- 미적분학 : 다변수 함수와 적분(다중 적분) 이론의 기본 무대.
- 선형대수 : 행렬과 선형 변환은 $\mathbb{R}^n$에서 정의된 선형 사상으로 이해된다.
- 통계학·데이터 과학 : 관측값을 $n$ 차원 특징벡터로 표현, 거리 기반 군집화와 차원 축소 기법에 활용.
- 물리학 : 위치, 속도, 전자기장 등 물리량을 실수 좌표 공간에 매핑.
- 컴퓨터 그래픽스 : 3‑D 모델링과 변환(회전, 스케일링, 평행이동)은 $\mathbb{R}^3$ 위의 행렬 연산으로 구현.
관련 개념
- 유클리드 공간 : 거리와 내적이 정의된 $\mathbb{R}^n$의 구체적 구현.
- 아핀 공간 : 원점을 선택하지 않은 $\mathbb{R}^n$의 구조, 평행 이동이 자유.
- 노름드 공간 : $\mathbb{R}^n$에 일반적인 노름 $|\cdot|_p$ (예: $p$-노름)도 정의 가능.
- 위상벡터공간 : 위상과 벡터 구조가 동시에 고려된 일반화된 공간.
참고문헌
- L. C. Evans, Partial Differential Equations, 2nd ed., AMS, 2010.
- W. Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw‑Hill, 1976.
- D. C. Lay, Linear Algebra and Its Applications, 5th ed., Pearson, 2015.
- J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2012.
이와 같이 실수 좌표 공간은 수학·과학·공학 전 분야에 걸쳐 근본적인 역할을 수행하는, 완비·연결·컨벡스한 유클리드 구조를 갖는 다차원 실수 집합이다.