벡터공간 — 더하고 늘여도 안 벗어나는 세계
“벡터공간은 '더하고 늘여도 밖으로 안 나가는, 스스로 완결된 세계'다.”
수식
u, v ∈ V, a, b ∈ ℝ ⟹ a·u + b·v ∈ V읽는 법: 두 벡터를 더하거나 스칼라배 해도 여전히 그 집합 안에 머무는, 자족적인 벡터들의 세계
- V
- — 벡터공간 — 덧셈과 스칼라배에 닫힌 집합
- u, v
- — 공간 안의 임의의 두 벡터
- a, b
- — 실수 배율(스칼라) — 벡터를 늘이거나 줄이거나 뒤집는다
이야기의 시작
화살표든 다항식이든 소리 신호든 — '더할 수 있고 늘일 수 있고, 그래도 같은 종류로 남는다'면 그건 모두 벡터공간이다.
쉬운 말로
벡터공간은 원소를 서로 더하고 실수배 해도 결코 밖으로 튀어나가지 않는 집합이다. 이 두 연산(덧셈·스칼라배)이 몇 가지 자연스러운 규칙만 지키면 된다.
직관
무한히 펼쳐진 평면을 상상하자. 그 안의 두 화살표를 더해도, 아무리 길게 늘여도 여전히 평면 안이다 — 절대 3차원으로 튀지 않는다. 이 '닫혀 있음'이 벡터공간의 핵심이다. 놀라운 점은 화살표가 아니어도 된다는 것 — 다항식·함수·행렬도 이 규칙만 지키면 벡터처럼 다뤄진다.
어떻게 만들어지나
공간의 뼈대는 '기저(basis)' — 나머지 모두를 선형결합으로 만들어 내는 최소한의 벡터 몇 개다. 기저에 든 벡터의 개수가 '차원'이다. 평면은 기저 2개(예: (1,0),(0,1))라서 2차원, 공간은 3차원.
예시
평면 ℝ²에서 (3,5) = 3·(1,0) + 5·(0,1) — 어떤 벡터든 두 기저의 선형결합이다. 놀라운 예: 차수 2 이하 다항식들 {1, x, x²}도 벡터공간이고, 기저가 세 개라 3차원이다.
흔한 오해
'벡터 = 화살표'라는 그림에 갇히기 쉽다. 벡터공간의 정의에 화살표는 없다 — 오직 '더하기'와 '스칼라배'가 규칙대로 되면 뭐든 벡터다. 원점(영벡터)은 반드시 포함돼야 한다.
어디에 쓰나
연립방정식의 해집합, 신호를 주파수로 쪼개는 함수공간, 양자상태(힐베르트 공간), 데이터의 특징 벡터, 오류정정 부호 — 현대 수학·공학의 공용 언어가 바로 벡터공간이다.
어디서 왔나
19세기 그라스만·페아노가 '화살표를 넘어선 추상 벡터'를 정식화했다. 처음엔 너무 추상적이라 외면받았지만, 20세기 함수해석·양자역학이 그 위력을 증명했다.
선행 개념
확인 문제
공간 ℝ³ 의 차원(기저 벡터의 개수)은?
- 1
- 2
- 3✓
- 무한대
연습
공간 ℝ⁵ 의 차원을 구하라.
정답: 5
- ℝⁿ 의 표준기저는 축 방향 단위벡터 n개
- ℝ⁵ 이므로 차원 = 5
핵심: ℝⁿ 의 차원은 그냥 n — 기저 벡터의 개수.
평면 ℝ² 의 기저를 이루는 벡터는 몇 개인가?
정답: 2
- 평면의 모든 점을 두 방향의 선형결합으로 만들 수 있다
- 예: (1,0)과 (0,1) → 2개
핵심: 기저 벡터의 개수 = 차원, 평면은 2.
(2,4) 는 (1,2) 의 스칼라배로 표현되는가?
정답: 0
- (2,4) = 2·(1,2) 인지 확인
- 2·1=2, 2·2=4 → 성립
- 따라서 같은 직선(1차원 부분공간) 위에 있다
핵심: 한 벡터의 스칼라배들만 모으면 원점을 지나는 직선 = 1차원 부분공간.
차수 3 이하 다항식들의 공간의 차원을 구하라.
정답: 4
- 기저는 {1, x, x², x³}
- 서로 독립인 벡터가 4개 → 차원 = 4
핵심: 다항식도 벡터 — 기저 {1, x, x², x³} 가 4차원을 만든다.