벡터의 크기(norm)를 “피타고라스 정리”처럼 정의하는 것이 왜 보통의 정의인지, 즉 벡터 공간에서 거리와 직각 관계 등에 맞는 자연스러운 방식인가를 살펴보자. 이 글에서는 기하학적 직관, 내적 구조, 공리적 요구사항 등을 통해 그 이유를 설명할 거야.
벡터의 크기와 피타고라스 정리 정의
먼저 벡터의 크기를 어떻게 정의하는지부터 정리하자.
- 유클리드 공간 \(\mathbb{R}^n\)에서 벡터 \(\mathbf{v} = (v_1, v_2, \dots, v_n)\)의 크기(norm 또는 “길이”라고도 함)는 보통
- 이 정의는 피타고라스 정리(the Pythagorean theorem)와 연결돼: 직각삼각형에서 두 변의 제곱합이 빗변의 제곱과 같다는 정리.
- 벡터 공간의 내적(inner product)이 정의될 때는 보통 내적 \(\langle \mathbf{v}, \mathbf{v} \rangle\)의 제곱근으로 norm을 정의함:
- 이 방식은 “\( \|\mathbf{u} + \mathbf{v}\|^2 = \|\mathbf{u}\|^2 + \|\mathbf{v}\|^2 \)” 같은 피타고라스식 공식이 직교(orthogonal)한 벡터들에 대해 성립함을 보장해 줌.
기하학적 직관과 거리 개념
왜 그럴 듯한가 보면, 우리가 공간에서 “길이(length)”나 “거리(distance)”라고 느끼는 개념이 직각삼각형의 피타고라스 관계에 기반하기 때문이야.
- 2차원에서 점 \(A\)에서 원점 \(O\)으로, 또 다른 점 \(B\)으로 가는 벡터 \(\mathbf{v}=(x,y)\)라면, 이 벡터의 길이는 수평축(x축)으로 \(x\)만큼, 수직축(y축)으로 \(y\)만큼 이동했을 때 그 최종 거리야. 이 거리를 피타고라스 정리를 이용해 \[ \sqrt{x^2 + y^2} \] 라고 계산하는데, 이게 바로 \(\|(x,y)\|\)이야.
- 3차원 이상으로도 성분(component)마다 직각 방향 합이 이루어지는 구조라면, 각 성분의 제곱의 합의 제곱근이 전체 길이에 잘 맞는 직관이지.
- 직각인 두 벡터 \(\mathbf{u}, \mathbf{v}\)에 대해, 벡터 덧셈 \(\mathbf{u} + \mathbf{v}\)의 길이 제곱이 “길이 제곱의 합”이 되는 것이 바로 피타고라스 공식이야. 이걸 norm 정의가 보장해 주면 “직각” 개념과 “길이” 개념 사이가 잘 조화됨.
내적(inner product) 구조와 norm의 필요성
벡터 공간에 내적을 도입하면, 여러 가지 중요한 성질들이 생기는데, norm 정의가 이 구조와 잘 맞아야 해.
- 내적 \(\langle \mathbf{v}, \mathbf{v} \rangle\)은 벡터 \(\mathbf{v}\) 자신과의 내적이라서 “벡터의 크기의 제곱” 같은 개념으로 생각할 수 있어. 따라서 norm은 보통 \\(\|\mathbf v\| = \sqrt{\langle \mathbf v, \mathbf v\rangle}\\) 와 같이 정의해.
- 이렇게 정의함으로써 다음과 같은 성질이 자연스럽게 성립해:
- 양의 정부호성 (Positive definiteness): \(\|\mathbf v\| \ge 0\), \(\|\mathbf v\| = 0\) 이면 \(\mathbf v = \mathbf 0\).
- 스칼라 배에 대한 균형성 (Homogeneity): \(\|\alpha \mathbf{v}\| = |\alpha| \|\mathbf{v}\|\).
- 삼각 부등식 (Triangle inequality): \(\|\mathbf{u} + \mathbf{v}\| \le \|\mathbf{u}\| + \|\mathbf{v}\|\).
- 피타고라스 정리는 내적 공간(inner product space)에서, 특히 직교인 두 벡터 \(\mathbf{u}, \mathbf{v}\)에 대해, \[ \|\mathbf{u} + \mathbf{v}\|^2 = \|\mathbf{u}\|^2 + \|\mathbf{v}\|^2 \] 을 보장함으로써, 우리가 “길이 제곱의 합” 개념을 믿을 수 있게 함.
공리적 / 일반화된 관점
벡터의 크기 정의가 단순히 유클리드 기하학에만 있는 건 아니라 공리적으로도, 혹은 다양한 상황에 맞춰 일반화할 수 있는 기반이 있어.
- 노름(norm)의 일반적 정의(normed vector space)는 “길이” 개념이 다음 성질을 만족해야 한다고 본다: 비음수성, 영벡터의 길이는 0, 스칼라 곱(scale)에 대해 비율 유지, 삼각 부등식 등.
- 유클리드 노름(Euclidean norm), 즉 제곱합의 제곱근 방식은 이런 공리들을 만족하면서, 또 내적(inner product)으로부터 유도 가능한 norm의 대표적 예야. 특히 “내적으로부터 유도된 노름(inner‑product induced norm)”은 피타고라스 정리에 해당하는 성질—직교 벡터의 제곱합 관계—을 갖지.
- 노름은 다양한 종류가 있을 수 있어 (예: \( \ell^1, \ell^\infty \) 등) 하지만 제곱합 방식(2‑norm, Euclidean norm)은 “내적이 있고 직교성 개념을 다룰 수 있는 경우”에 매우 자연스럽고 직관적인 선택이 돼.
예시 및 유도
실제로 어떻게 피타고라스 정리와 벡터 norm 정의가 유도되는지 예시를 보자.
2차원 예시
2차원 평면에서 벡터 \(\mathbf{v} = (x,y)\). 원점 \(O\)에서 \( (x,0) \)으로, 그리고 \( (x,y) \)으로 올라가는 두 변이 직각을 이룬다. 피타고라스 정리에 의해 최종 길이:
\[ \|\mathbf{v}\| = \sqrt{x^2 + y^2} \]
내적과 피타고라스 관계
임의의 두 벡터 \(\mathbf{u}, \mathbf{v}\)이 직교일 때, 내적 공간 정의에 의해 \(\langle \mathbf{u}, \mathbf{v} \rangle = 0\). 그러면
\[ \|\mathbf{u} + \mathbf{v}\|^2 = \langle \mathbf{u} + \mathbf{v}, \mathbf{u} + \mathbf{v} \rangle = \langle \mathbf{u},\mathbf{u} \rangle + 2\langle \mathbf{u},\mathbf{v} \rangle + \langle \mathbf{v},\mathbf{v} \rangle = \|\mathbf{u}\|^2 + \|\mathbf{v}\|^2 \]
이 공식이 피타고라스 정리에 대응되는 벡터 버전이지.
왜 피타고라스 방식이 “자연스러운 선택(natural choice)”인가?
몇 가지 이유가 더 있어 왜 수학자들이 다른 가능성보다 이 정의를 선호하는지.
- 직각(orthogonality)라는 개념이 내적을 통해 정의되는데, 내적과 norm 사이의 이 관계(직각 → 길이 제곱의 합 관계)가 유지되는 것이 유용해.
- 거리(distance) 개념과 기하학적 직관(예: 우리가 평면이나 공간에서 생각하는 직선 거리)이 이 정의와 일치함.
- 다른 노름들(예: “맨해튼 노름” \( \|x\|_1 = |x_1| + |x_2| + \cdots\) 등)은 어떤 상황에서는 유용하지만, “직각” 개념, “투영(projection)”, “회전(rotation)” 등의 기하학적 개념과 깊이 결합된 성질들을 가진 건 아님.
- 내적 공간(inner product space)의 경우, norm이 내적으로부터 유도되면 여러 유익한 정리들(코시-슈와르츠 부등식, 직교 분해(orthogonal decomposition), 최소자승법(least squares) 등)이 가능함.
결론
종합해 보면, 벡터의 크기를 피타고라스 정리와 같이 성분들의 제곱합의 제곱근으로 정의하는 것은 단순히 전통적이거나 편한 방법만이 아니라, 유클리드 공간의 기하학적 직관, 내적(inner product)의 정의, 직교성, 거리의 개념, 그리고 여러 수학적 성질들(삼각 부등식, 스칼라 배에 대한 균형 등)을 만족시키는 공리적 기반에서 자연스럽고 필수적인 선택이야.