벡터 공간의 정의와 예시
Shared on April 21, 2026
벡터 공간과 필드의 기본 구조
개요
- 필드와 벡터 공간의 정의와 핵심 연산을 정리한다.
- 실수체 (\mathbb{R})와 복소수체 (\mathbb{C})를 예시로 들어, 벡터 공간이 어떻게 형성되는지를 설명한다.
- 선형대수의 기본 공리(덧셈·스칼라곱)와 이들이 만족해야 할 조건(공리, 닫힘성, 항등원, 역원, 분배법칙 등)을 소개한다.
- 행렬, 다항식, 수열, 함수 등의 다양한 예시를 통해 벡터 공간의 적용 범위를 보여준다.
핵심 개념
| 개념 | 정의 | 예시 |
|---|---|---|
| 필드 (Field) | 덧셈·곱셈이 정의되고, 각각의 공리(아벨 군, 가환 체, 항등원, 역원)가 만족되는 집합 | (\mathbb{R}), (\mathbb{C}), 유리수체 (\mathbb{Q}) |
| 벡터 공간 (Vector Space) | 필드 위에서 정의된 벡터들의 집합으로, 벡터 덧셈·스칼라곱이 정의되고 8개의 공리를 만족 | (\mathbb{R}^n), 다항식 집합 (P(\mathbb{R})), 수열 집합 (\ell^2) |
| 스칼라곱 (Scalar Multiplication) | 필드 원소 (k)와 벡터 (v)가 주어졌을 때 (k\cdot v)를 다시 벡터 공간에 속하도록 정의 | (3\cdot(1,2) = (3,6)) |
| 항등원 / 항등벡터 | 덧셈 항등원은 (0), 스칼라곱 항등원은 (1) | ((0,0)), (1\cdot(1,2)=(1,2)) |
| 역원 | 덧셈 역원 (-v)와 스칼라 역원 (k^{-1}) | (-(1,2)=(-1,-2)), (2^{-1}=1/2) |
| 공리 (Axioms) | A1 | ① 결합법칙, ② 교환법칙, ③ 항등원, ④ 역원, ⑤~⑧ 스칼라곱 분배법칙 등 |
상세 내용
1. 필드와 벡터 공간의 정의
- 필드는 덧셈·곱셈이 정의된 집합이며, 각각의 연산은 아벨 군과 가환 체의 성질을 만족한다.
- 벡터 공간은 필드 (\mathbb{F}) 위에서 정의된 벡터 (V)와 두 연산:
- 덧셈 (+ : V \times V \to V)
- 스칼라곱 (\cdot : \mathbb{F} \times V \to V)
이 두 연산이 필드와 같은 8개의 공리를 만족해야 한다.
2. 벡터 공간의 공리
| 공리 | 내용 | 예시 |
|---|---|---|
| A1 | ((u+v)+w = u+(v+w)) (결합법칙) | ((1,0)+(0,1)+(1,1) = (2,2)) |
| A2 | (u+v = v+u) (교환법칙) | ((1,2)+(3,4) = (3,4)+(1,2)) |
| A3 | 존재하는 (0\in V) : (v+0=v) | (0=(0,0)) |
| A4 | 존재하는 (-v\in V) : (v+(-v)=0) | (-(1,2)=(-1,-2)) |
| SM1 | (k\cdot(u+v) = k\cdot u + k\cdot v) | (2\cdot((1,0)+(0,1)) = (2,0)+(0,2)) |
| SM2 | ((k+l)\cdot v = k\cdot v + l\cdot v) | ((3+4)\cdot(1,1) = 3\cdot(1,1)+4\cdot(1,1)) |
| SM3 | ((kl)\cdot v = k\cdot(l\cdot v)) | (2\cdot(3\cdot(1,1)) = 6\cdot(1,1)) |
| SM4 | (1\cdot v = v) | (1\cdot(5,7)=(5,7)) |
3. 벡터 공간의 예시
- 행렬 공간: (M_{m\times n}(\mathbb{R})) – 행렬 덧셈·스칼라곱이 정의되고 모든 공리를 만족.
- 다항식 공간: (P(\mathbb{R})) – 다항식의 덧셈·스칼라곱으로 벡터 공간이 된다.
- 수열 공간: (\ell^2) – 무한 수열의 합과 스칼라곱이 정의되고, 유한한 항이 0이 되는 경우를 포함해 공리를 만족.
- 함수 공간: (C[a,b]) – 연속 함수의 집합으로, 함수 덧셈·스칼라곱이 정의되고 공리 만족.
4. 스칼라곱과 벡터의 해석
- 벡터를 힘이나 속도와 같은 물리적 양으로 해석할 수 있다.
- (k)가 양수이면 원점에서 (k)배 크기의 방향 벡터를 의미하고, (k)가 음수이면 반대 방향을 의미한다.
- 행렬은 선형 변환의 행렬 표현으로, 벡터를 다른 차원으로 매핑한다.
- 다항식은 (x)에 대한 함수값이 실수로 주어지는 함수이며, 각각의 다항식이 벡터 공간의 원소가 된다.
5. 실수체 (\mathbb{R})와 벡터 공간
- (\mathbb{R}^n)은 실수체 위의 (n)차원 벡터 공간이며,
- (\mathbb{R}^1)은 직선,
- (\mathbb{R}^2)는 평면,
- (\mathbb{R}^3)은 공간으로 시각화된다.
- 각 차원에서 벡터는 좌표(숫자)로 표현되지만, 벡터 공간에서는 방향과 크기로 해석된다.
6. 핵심 정리
- 벡터 공간은 필드 위에서 정의된 덧셈·스칼라곱이 8개의 공리를 만족하면 된다.
- 실수체 (\mathbb{R})는 가장 흔한 필드이며, 이를 기반으로 한 (\mathbb{R}^n)은 선형대수의 기초가 된다.
- 행렬, 다항식, 수열, 함수 등 다양한 수학적 객체들이 모두 벡터 공간으로 구조화될 수 있다.
핵심 포인트: 벡터 공간은 ‘덧셈’과 ‘스칼라곱’ 두 연산이 공리를 만족하도록 정의된 집합이다.
이 구조는 선형 변환, 행렬 연산, 함수 공간 등 수학 전반에 걸쳐 필수적인 기반을 제공한다.