UnisquadsU
로그인
홈
이용약관·개인정보처리방침·콘텐츠정책·© 2026 Unisquads
이용약관·개인정보처리방침·콘텐츠정책
© 2026 Unisquads. All rights reserved.

스칼라곱 (r1)

이 문서의 과거 버전 (r1)을 보고 있습니다. 수정일: 2026.02.24 23:55

스칼라곱

다른 이름

내적

점곱

도트곱

분야

선형대수학

연산 유형

이중선형(bilinear) 또는 반쌍형적(sesquilinear) 함수

입력과 출력

두 벡터를 입력하면 하나의 스칼라(수)가 출력

주요 용도

벡터의 길이(노름) 정의

벡터 사이의 거리 정의

벡터의 직교성 판별

두 벡터의 방향 일치 정도 측정

관련 공간

내적 공간

힐베르트 공간

수학적 정의 및 성질

정의 (성분 기반)

두 벡터 \( \mathbf{A} = (a_1, a_2, \dots, a_n) \)과 \( \mathbf{B} = (b_1, b_2, \dots, b_n) \)의 스칼라곱은 다음과 같다:

\( \mathbf{A} \cdot \mathbf{B} = a_1 b_1 + a_2 b_2 + \dots + a_n b_n \)

정의 (기하학적)

두 벡터 \( \mathbf{A} \)와 \( \mathbf{B} \)의 스칼라곱은 다음과 같다:

\( \mathbf{A} \cdot \mathbf{B} = \| \mathbf{A} \| \| \mathbf{B} \| \cos \theta \)

여기서 \( \| \mathbf{A} \| \)와 \( \| \mathbf{B} \| \)는 각 벡터의 크기(노름), \( \theta \)는 두 벡터 사이의 각이다.

성질

교환 법칙 성립: \( \mathbf{A} \cdot \mathbf{B} = \mathbf{B} \cdot \mathbf{A} \)

실수 계수의 자유로운 이동: \( k(\mathbf{A} \cdot \mathbf{B}) = (k\mathbf{A}) \cdot \mathbf{B} = \mathbf{A} \cdot (k\mathbf{B}) \)

고등학교 과정에서의 정의

두 벡터의 크기의 곱에 두 벡터가 이루는 각 중 작은 쪽의 각의 코사인 값을 곱한 것으로 정의된다.

내적의 공리

내적의 공리만 만족시키면 구체적인 연산이 어떻든 내적이라 부른다. 따라서 무한히 많은 종류의 내적이 존재할 수 있다.

행렬 곱셈과의 관계

행렬 곱셈의 결과 행렬은 앞 행렬의 행벡터와 뒤 행렬의 열벡터의 스칼라곱(도트곱) 값을 성분으로 가지는 행렬이다.

무한차원에서의 예

주어진 구간에 대한 정적분을 내적으로 볼 수 있으며, 이를 이용해 푸리에 해석 등에 활용된다.

관련된 중요한 부등식

코시-슈바르츠 부등식

다른 연산과의 관계

노름

텐서곱

외적

1. 개요

스칼라곱은 선형대수학에서 두 벡터를 입력받아 하나의 스칼라를 출력하는 이중선형 연산이다. 내적 또는 점곱이라고도 불리며, 벡터의 길이와 거리를 정의하고, 두 벡터의 직교성을 판별하거나 방향의 일치 정도를 측정하는 데 핵심적인 역할을 한다. 이 연산이 주어진 벡터 공간은 내적 공간이라 불리며, 여기에 완비성까지 갖추면 힐베르트 공간이 된다.

스칼라곱은 기하학적 의미와 대수적 정의를 모두 가진다. 기하학적으로는 두 벡터의 크기와 그 사이 각도의 코사인 값을 곱한 것으로 해석되며, 이를 통해 벡터의 투영이나 각도 계산이 가능하다. 대수적으로는 실수나 복소수 체 위의 벡터 공간에서 특정 공리(켤레 대칭성, 선형성, 양의 정부호성)를 만족하는 함수로 정의된다.

이 연산은 물리학에서 힘에 의한 일을 계산하거나, 행렬 곱셈을 구성하는 기초가 되며, 벡터의 노름을 정의하는 근간이 된다. 또한 코시-슈바르츠 부등식이나 삼각 부등식과 같은 중요한 수학적 결과를 유도하는 출발점이기도 하다.

2. 정의

2.1. 성분을 이용한 정의

스칼라곱의 가장 기본적이고 직관적인 정의는 두 벡터의 각 성분을 곱한 후 그 결과를 모두 더하는 것이다. 예를 들어, 유클리드 공간에서 n차원 벡터 a = (a₁, a₂, ..., aₙ)와 b = (b₁, b₂, ..., bₙ)가 주어졌을 때, 두 벡터의 스칼라곱 a·b는 a₁b₁ + a₂b₂ + ... + aₙbₙ으로 계산된다. 이 연산의 결과는 벡터가 아닌 하나의 스칼라 값이 된다. 이 정의는 선형대수학에서 행렬 곱셈이나 선형 변환을 다룰 때 매우 유용하게 적용된다.

성분을 이용한 이 정의는 고등학교 수학 과정에서 처음 접하는 일반적인 형태이다. 이는 내적의 여러 종류 중 하나인 점곱 또는 도트곱에 해당한다. 이 연산은 이중선형 형식의 성질을 가지며, 벡터의 노름이나 거리를 계산하는 기초가 된다. 또한, 물리학에서 힘과 변위를 통해 일을 계산하는 공식의 근간이기도 하다.

이 정의를 확장하면, 복소수 벡터 공간에서의 스칼라곱도 생각할 수 있다. 이 경우 한 벡터의 성분에 켤레 복소수를 취한 후 곱셈과 덧셈을 수행하는 반쌍형적 형식으로 정의된다. 그러나 실수 공간에서는 켤레 복소수가 자기 자신이므로, 앞서 언급한 성분 간의 곱셈과 덧셈 정의가 그대로 적용된다.

2.2. 크기와 각도를 이용한 정의

스칼라곱은 두 벡터의 크기와 그 사이의 각도를 이용하여 정의할 수 있다. 이 정의는 특히 기하학적 직관을 제공하며, 유클리드 공간에서의 물리적 해석에 유용하다. 두 벡터 a와 b의 스칼라곱은 각 벡터의 노름(크기)과 두 벡터가 이루는 각 θ의 코사인 값을 곱한 것으로 정의된다. 즉, a·b = ||a|| ||b|| cosθ 이다.

이 정의에서 두 벡터의 크기가 같고 방향이 완전히 일치하면(θ=0), 내적 값은 두 크기의 곱이 된다. 반대로 두 벡터가 서로 직교하면(θ=90°), cosθ 값이 0이 되어 내적 결과는 0이 된다. 따라서 이 정의를 통해 내적이 두 벡터의 방향이 얼마나 일치하는지를 측정하는 척도로 기능함을 알 수 있다.

성분을 이용한 정의와 이 크기-각도 정의는 서로 동치이다. 코사인 법칙을 적용하여 유도할 수 있으며, 이를 통해 내적의 대수적 정의(a·b = a₁b₁ + a₂b₂ + ... + aₙbₙ)와 기하학적 정의가 서로 연결됨을 보일 수 있다. 이 연결은 선형대수학과 해석기하학을 결합하는 중요한 고리이다.

이 정의는 물리학에서 일이나 에너지를 계산할 때, 힘의 방향과 변위 방향 사이의 각도를 고려하는 방식과 정확히 일치한다. 또한, 두 벡터 사이의 각도를 실제로 계산하는 공식(cosθ = (a·b) / (||a|| ||b||))을 제공하여, 기하학적 분석의 기초가 된다.

2.3. 내적의 공리적 정의

내적의 공리적 정의는 구체적인 계산식에 의존하지 않고, 내적이 가져야 할 가장 근본적인 성질들을 공리(axiom)의 형태로 제시한다. 이는 벡터 공간 위에서 정의된 함수가 내적으로 불리기 위해 반드시 충족해야 하는 최소한의 조건을 규정한다. 이러한 공리적 접근은 유한차원 유클리드 공간의 점곱뿐만 아니라, 무한차원 함수 공간에서의 내적(예: 적분 형태) 등 다양한 맥락에서 내적 개념을 확장할 수 있는 토대를 제공한다.

내적은 일반적으로 두 개의 벡터를 입력받아 하나의 스칼라(실수 또는 복소수)를 출력하는 함수이다. 체 F(실수체 R 또는 복소수체 C) 위의 벡터 공간 V에서, 함수 ⟨·,·⟩: V × V → F가 다음 세 가지 공리를 만족할 때 이를 V 위의 내적이라고 정의한다.

첫째, 켤레 대칭성(Conjugate symmetry) 또는 대칭성(Symmetry)이다. 복소수 벡터 공간에서는 ⟨u, v⟩ = ⟨v, u⟩의 켤레복소수가 성립해야 하며, 실수 벡터 공간에서는 단순히 ⟨u, v⟩ = ⟨v, u⟩가 성립한다. 둘째, 첫째 인수에 대한 선형성(Linearity in the first argument)이다. 임의의 스칼라 a와 벡터 u, v, w에 대해 ⟨a u + v, w⟩ = a⟨u, w⟩ + ⟨v, w⟩가 성립한다. 셋째, 양의 정부호성(Positive definiteness)이다. 모든 영벡터가 아닌 벡터 v에 대해 ⟨v, v⟩는 항상 0보다 큰 실수여야 하며, ⟨v, v⟩ = 0인 경우는 v가 영벡터일 때 뿐이다.

이 세 가지 공리는 내적이 지녀야 할 핵심적인 대수적 및 기하학적 특성을 포착한다. 켤레 대칭성과 선형성은 내적 함수의 대수적 구조를 규정하며, 이를 통해 분배법칙 등의 유용한 성질이 유도된다. 양의 정부호성은 내적이 벡터의 "길이"의 제곱(⟨v, v⟩)을 자연스럽게 정의할 수 있게 하여, 노름과 거리 함수를 도입하는 기초가 된다. 이러한 공리적 정의에 따르면, 고등학교에서 배우는 표준 점곱(도트곱)은 이 공리들을 모두 만족하는 내적의 한 특별한 예시일 뿐이다. 실제로 동일한 벡터 공간 위에 서로 다른 내적을 정의할 수 있으며, 이로 인해 서로 다른 기하학적 구조(내적 공간)가 만들어진다.

3. 성질

3.1. 교환법칙

스칼라곱은 교환법칙을 만족한다. 즉, 두 벡터 a와 b의 스칼라곱 a·b의 결과는 두 벡터의 순서를 바꾼 b·a의 결과와 항상 같다. 이는 스칼라곱의 정의에서 직접적으로 확인할 수 있는 기본적인 성질이다.

성분을 이용한 정의에 따르면, a = (a₁, a₂, ..., aₙ)이고 b = (b₁, b₂, ..., bₙ)일 때, a·b = a₁b₁ + a₂b₂ + ... + aₙbₙ이다. 일반적인 실수의 곱셈이 교환법칙을 만족하므로, 각 성분의 곱의 합인 a₁b₁ + a₂b₂ + ... + aₙbₙ은 b₁a₁ + b₂a₂ + ... + bₙaₙ과 같다. 이는 바로 b·a의 정의와 일치한다.

크기와 각도를 이용한 정의 a·b = |a||b|cosθ에서도, 벡터의 크기 |a|와 |b|는 스칼라이므로 순서에 상관없고, 코사인 함수 cosθ는 두 벡터가 이루는 각 θ에만 의존하므로, 이 식의 값 또한 벡터의 순서에 무관하다. 따라서 두 정의 방식 모두에서 교환법칙이 성립함을 알 수 있다.

이 교환법칙은 스칼라곱이 갖는 대칭성(symmetry)을 보여주며, 내적의 공리적 정의에서 실수체 위의 벡터 공간에서는 대칭성(⟨a, b⟩ = ⟨b, a⟩), 복소수체 위에서는 켤레 대칭성(⟨a, b⟩의 켤레복소수 = ⟨b, a⟩)으로 표현된다. 이 성질은 이후 분배법칙 등 다른 연산 성질과 함께 벡터 계산을 단순화하는 데 유용하게 쓰인다.

3.2. 분배법칙

스칼라곱의 분배법칙은 두 벡터의 합에 대한 스칼라곱이 각 벡터와의 스칼라곱의 합과 같다는 성질이다. 즉, 세 벡터 u, v, w에 대해 u · (v + w) = u · v + u · w가 성립한다. 이는 스칼라곱이 이중선형 연산의 한 특성으로, 벡터의 덧셈과 스칼라곱이 호환됨을 보여준다.

이 성질은 성분을 이용한 정의로부터 직접 증명할 수 있다. 벡터 v와 w의 합 v + w의 각 성분은 v와 w의 대응하는 성분의 합이다. 따라서 u · (v + w)를 성분별 곱의 합으로 계산하면, 결국 u · v와 u · w를 각각 계산한 후 더한 것과 동일한 식이 된다. 이는 실수 성분에 대한 덧셈의 분배법칙에 기인한다.

분배법칙은 스칼라곱을 활용한 다양한 계산과 증명의 기초가 된다. 예를 들어, 벡터의 노름을 계산하거나 코시-슈바르츠 부등식을 유도할 때, 또는 한 벡터를 다른 벡터 방향으로의 정사영을 구하는 공식을 전개할 때 이 법칙이 필수적으로 사용된다. 또한, 행렬 곱셈이 행벡터와 열벡터의 스칼라곱으로 정의된다는 점에서, 행렬 연산에서도 분배법칙이 근본적으로 작용한다.

3.3. 스칼라 배의 결합

스칼라곱은 스칼라와 벡터의 곱셈이 아닌, 두 벡터를 연산하여 하나의 스칼라를 얻는 연산이다. 이 연산은 선형대수학의 기본적인 연산 중 하나로, 벡터 공간에 추가 구조를 부여한다. 스칼라곱의 중요한 성질 중 하나는 스칼라 배와의 결합 법칙이다.

이 성질은 임의의 스칼라 \( c \)와 두 벡터 \( \mathbf{u} \), \( \mathbf{v} \)에 대해 \( (c \mathbf{u}) \cdot \mathbf{v} = c (\mathbf{u} \cdot \mathbf{v}) \)가 성립함을 의미한다. 즉, 한 벡터에 스칼라를 곱한 후 다른 벡터와 내적을 계산하든, 먼저 두 벡터의 내적을 계산한 후 그 결과에 스칼라를 곱하든 그 결과는 동일하다. 이는 내적이 첫째 인수에 대한 선형성을 가진다는 공리에서 직접적으로 유도되는 성질이다.

이 성질은 행렬 연산이나 물리학에서의 계산을 간소화하는 데 유용하게 활용된다. 예를 들어, 벡터의 크기를 조정한 후 그 방향 성분을 계산할 때, 연산 순서를 유연하게 변경할 수 있게 해 준다. 이는 스칼라곱이 이중선형 형식의 특성을 가진다는 점을 보여주는 한 예시이기도 하다.

3.4. 자기 자신과의 내적

어떤 벡터와 자기 자신의 내적은 그 벡터의 길이(또는 크기)의 제곱과 같다. 즉, 벡터 v에 대해 v·v = ||v||² 이 성립한다. 이는 내적의 정의, 특히 성분을 이용한 정의에서 직접적으로 유도된다. 예를 들어, 2차원 벡터 v = (v₁, v₂)의 경우, v·v = v₁·v₁ + v₂·v₂ = v₁² + v₂² 이며, 이는 피타고라스 정리에 의해 벡터 v의 길이의 제곱(||v||²)과 정확히 일치한다.

이 성질은 내적의 가장 중요한 기하학적 의미 중 하나로, 벡터의 노름을 정의하는 근간이 된다. 노름은 벡터의 크기 또는 길이를 수치화한 개념이다. 일반적으로 내적 공간에서 벡터 v의 노름 ||v||는 √(v·v) 로 정의된다. 따라서 자기 자신과의 내적은 항상 스칼라 값이며, 그 값은 0 이상이다.

내적의 공리적 정의에 포함된 '양의 정부호성'은 바로 이 성질을 보장한다. 이 공리에 따르면, 영벡터가 아닌 모든 벡터 v에 대해 v·v > 0 이어야 한다. 반면, v·v = 0 인 경우는 오직 v가 영벡터일 때 뿐이다. 이 성질은 벡터의 길이가 0이면 그 벡터가 방향을 가지지 않는 영벡터임을 의미하며, 거리 함수와 삼각 부등식을 논하는 데 필수적이다.

이러한 자기 자신과의 내적의 성질은 코시-슈바르츠 부등식을 증명하는 데 핵심적으로 사용되며, 더 나아가 힐베르트 공간과 같은 추상적인 공간에서도 벡터의 '길이' 개념을 일반화하는 토대를 제공한다.

4. 기하학적 의미

4.1. 벡터의 투영

스칼라곱의 중요한 기하학적 응용 중 하나는 한 벡터를 다른 벡터 방향으로 투영하는 것이다. 벡터 v를 벡터 u 위로 투영한다는 것은, v의 종점에서 u가 정의하는 직선에 수선을 내려 얻는 벡터를 의미한다. 이렇게 얻어진 벡터를 u 위로의 v의 정사영 또는 투영 벡터라고 하며, 보통 proj_u(v)로 표기한다.

투영 벡터의 크기와 방향은 스칼라곱을 통해 계산된다. 구체적으로, 투영 벡터 proj_u(v)는 u 방향의 단위 벡터에, v의 u 방향 성분의 크기를 곱한 것이다. 이 크기는 v와 u의 스칼라곱을 u의 노름(길이)으로 나눈 값, 즉 |v| cosθ (θ는 두 벡터 사이의 각)과 같다. 따라서 투영 벡터는 다음 공식으로 주어진다.

proj_u(v) = ( (u · v) / (u · u) ) * u

이 공식은 u와 v의 스칼라곱이 u의 제곱 노름으로 스케일링된 후, 다시 u 벡터를 곱하여 방향을 부여함을 보여준다. 투영의 개념은 물리학에서 한 힘이 특정 방향으로 한 일을 계산하거나, 통계학 및 머신러닝에서 최소제곱법을 통해 데이터를 직선에 피팅할 때, 그리고 컴퓨터 그래픽스에서 빛과 그림자를 계산할 때 등 다양한 분야에서 핵심적으로 활용된다.

4.2. 직교성 판별

두 벡터의 스칼라곱이 0인 경우, 그 두 벡터는 서로 직교한다고 정의한다. 이는 두 벡터가 이루는 각도가 90도임을 의미하며, 기하학적으로는 두 벡터가 서로 수직인 상태를 나타낸다. 직교성 판별은 벡터의 방향 관계를 분석하는 데 핵심적인 도구로, 선형대수학뿐만 아니라 물리학과 공학 등 다양한 분야에서 활용된다.

실제 계산에서는 두 벡터의 성분을 알고 있을 때, 간단히 스칼라곱을 수행하여 그 결과가 0인지 확인함으로써 직교성을 판별할 수 있다. 예를 들어, 유클리드 공간에서 두 벡터의 각 성분을 곱한 후 모두 더한 값이 0이면 두 벡터는 직교한다. 이 판별법은 고차원 벡터 공간으로도 자연스럽게 확장 적용된다.

직교성의 개념은 정규직교기저를 구성하거나, 그람-슈미트 과정을 통한 직교화, 그리고 행렬의 고유벡터 분석과 같은 더 심화된 주제의 기초가 된다. 또한, 코시-슈바르츠 부등식의 등호 성립 조건과도 깊은 연관이 있어, 해석학과 함수해석학에서도 중요한 역할을 한다.

4.3. 각도 계산

스칼라곱의 정의를 통해 두 벡터 사이의 각도를 계산할 수 있다. 두 벡터 a와 b의 스칼라곱은 a·b = ||a|| ||b|| cosθ로 표현되며, 여기서 θ는 두 벡터 사이의 각도이다. 이 식을 변형하면, 두 벡터 사이의 각도의 코사인 값은 cosθ = (a·b) / (||a|| ||b||)로 구할 수 있다.

따라서, 두 벡터의 성분을 알고 있다면, 먼저 스칼라곱과 각 벡터의 노름(길이)을 계산한 후, 위 공식에 대입하여 cosθ 값을 얻는다. 이후 역삼각함수인 아크코사인(arccos)을 적용하면 각도 θ를 라디안 또는 도 단위로 구할 수 있다. 이 계산은 기하학적 분석, 물리학에서 힘의 방향 분석, 컴퓨터 그래픽스에서 빛의 반사각 계산 등 다양한 분야에서 활용된다.

두 벡터가 직교하는 경우, 즉 스칼라곱이 0이면 cosθ = 0이 되어 θ는 90도(π/2 라디안)가 된다. 반대로 두 벡터의 방향이 완전히 일치하거나 반대일 때, cosθ의 값은 각각 1 또는 -1이 되어 각도는 0도 또는 180도가 된다. 이처럼 스칼라곱은 벡터 간의 방향적 유사성을 정량화하는 핵심 도구이다.

5. 활용

5.1. 물리학에서의 일 계산

물리학에서 일은 힘이 물체에 작용하여 그 물체가 이동할 때, 힘이 물체에 한 일의 양을 의미한다. 이때 일은 스칼라곱을 통해 계산된다. 구체적으로, 일정한 힘 벡터 F가 작용하여 물체가 변위 벡터 d만큼 이동했을 때, 이 힘이 한 일 W는 두 벡터의 스칼라곱으로 정의된다.

이는 W = F · d = ||F|| ||d|| cos θ 공식으로 표현된다. 여기서 θ는 힘 벡터의 방향과 변위 벡터의 방향 사이의 각도이다. 이 공식은 힘이 변위 방향으로 얼마나 효과적으로 작용했는지를 반영한다. 예를 들어, 힘의 방향과 이동 방향이 완전히 일치하면(θ=0°), 일은 최대값인 힘의 크기와 변위의 크기의 곱이 된다. 반면, 힘이 이동 방향과 수직으로 작용하면(θ=90°), cos θ = 0이 되어 일은 0이 된다. 이는 수평면을 굴러가는 공에 중력이 작용하지만, 중력 방향으로는 변위가 없어 중력이 일을 하지 않는 경우와 같다.

이러한 일의 계산은 역학의 기본이 되며, 에너지 보존 법칙과 깊이 연관되어 있다. 힘이 한 일은 물체의 운동 에너지 변화량과 같다는 일-에너지 정리는 스칼라곱을 통해 표현된 일의 개념을 바탕으로 한다. 따라서 스칼라곱은 물리량을 벡터로 표현하고, 그들 사이의 방향적 관계를 수치화하여 중요한 물리 법칙을 기술하는 핵심 도구 역할을 한다.

5.2. 행렬 곱셈과의 관계

행렬 곱셈은 선형대수학에서 두 행렬을 결합하여 새로운 행렬을 생성하는 기본 연산이다. 이 연산은 스칼라곱과 밀접한 관계를 가진다. 행렬 곱셈의 결과 행렬의 각 성분은 앞 행렬의 해당 행벡터와 뒤 행렬의 해당 열벡터 사이의 스칼라곱으로 계산된다.

예를 들어, 행렬 A와 B의 곱 C = AB가 있을 때, 행렬 C의 i번째 행, j번째 열에 위치한 성분 c_ij는 행렬 A의 i번째 행벡터와 행렬 B의 j번째 열벡터의 스칼라곱이다. 이는 행렬 곱셈의 정의를 구성하는 핵심 규칙이며, 벡터의 내적 연산이 행렬 연산의 기본 단위로 활용됨을 보여준다.

이러한 관계 덕분에, 행렬 곱셈은 선형 변환의 합성을 표현하거나, 연립방정식을 간결하게 나타내는 데 유용하게 사용된다. 또한, 컴퓨터 그래픽스나 데이터 과학에서 광범위하게 적용되는 많은 알고리즘이 행렬 곱셈과 이를 이루는 스칼라곱 연산에 기반을 두고 있다.

5.3. 노름과 거리 정의

스칼라곱은 벡터의 길이(노름)와 벡터 사이의 거리를 정의하는 데 핵심적인 역할을 한다. 내적 공간에서 임의의 벡터 v에 대한 노름 ||v||는 그 벡터와 자신의 내적의 제곱근으로 정의된다. 즉, ||v|| = √(⟨v, v⟩)이다. 이 정의는 내적의 양의 정부호성에 의해 그 값이 항상 0 이상의 실수가 되도록 보장된다.

이렇게 정의된 노름을 통해 두 벡터 u와 v 사이의 거리 d(u, v)를 자연스럽게 정의할 수 있다. 두 점 사이의 거리를 그 차이 벡터의 길이로 정의하는 것은 직관적이며, d(u, v) = ||u - v||로 계산된다. 예를 들어, 유클리드 공간에서 흔히 쓰이는 도트곱 ⟨u, v⟩ = u₁v₁ + ... + uₙvₙ을 사용하면, 벡터 v의 노름은 피타고라스 정리에 따른 익숙한 공식 ||v|| = √(v₁² + ... + vₙ²)이 되고, 거리 d(u, v)는 √((u₁ - v₁)² + ... + (uₙ - vₙ)²)이 된다.

노름과 거리는 선형대수학을 넘어 함수해석학과 물리학 등 여러 분야에서 기본 도구로 쓰인다. 노름은 벡터의 '크기'를, 거리는 벡터 공간 위의 두 점이 얼마나 떨어져 있는지를 수치화한다. 또한, 코시-슈바르츠 부등식 |⟨u, v⟩| ≤ ||u|| ||v||은 내적과 노름의 관계를 규정하는 중요한 정리로, 이 부등식에서 삼각 부등식 ||u + v|| ≤ ||u|| + ||v||가 유도되어 거리 함수의 성질을 완성한다.

6. 관련 개념

6.1. 내적 공간

내적 공간은 벡터 공간에 내적이라는 연산이 추가적으로 정의된 구조이다. 이는 단순히 벡터를 더하고 스칼라배할 수 있는 공간을 넘어, 벡터의 길이(노름), 벡터 사이의 각도와 거리, 그리고 직교성과 같은 기하학적 개념을 논할 수 있는 기반을 제공한다. 내적 공간의 핵심은 특정 공리를 만족하는 함수인 내적이 존재한다는 점이다. 이 내적은 두 벡터를 입력받아 하나의 스칼라를 출력하는 이중선형 또는 반쌍형적 함수로, 대칭성 (또는 켤레 대칭성), 선형성, 그리고 양의 정부호성을 만족해야 한다.

내적 공간에서 내적은 자연스럽게 노름을 유도한다. 벡터의 노름은 그 벡터와 자신의 내적의 제곱근으로 정의되며, 이를 통해 벡터의 '길이' 개념을 공식화한다. 이렇게 정의된 노름은 다시 벡터 사이의 거리를 정의하는 데 사용된다. 또한, 코시-슈바르츠 부등식이 성립하여 두 벡터의 내적의 절댓값이 각각의 노름의 곱을 넘지 않음을 보장하며, 이는 두 벡터 사이의 각도를 정의하는 토대가 된다.

내적 공간의 대표적인 예로는 우리에게 익숙한 유클리드 공간이 있다. 여기서의 내적은 일반적으로 성분별 곱의 합인 도트곱이다. 그러나 내적 공간은 이보다 훨씬 일반적인 개념으로, 예를 들어 특정 구간에서 정의된 제곱 적분 가능 함수들의 공간에 적분 형태로 내적을 정의할 수도 있다. 내적 공간이 완비성을 추가로 갖추면, 이를 힐베르트 공간이라고 부르며, 함수해석학과 양자역학 등에서 핵심적인 역할을 한다.

6.2. 코시-슈바르츠 부등식

코시-슈바르츠 부등식은 내적 공간에서 정의된 벡터의 내적과 노름 사이의 기본적인 관계를 나타내는 부등식이다. 이 부등식은 선형대수학뿐만 아니라 해석학, 확률론, 물리학 등 수학과 과학의 여러 분야에서 중요한 역할을 한다. 부등식은 두 벡터의 내적의 절댓값이 각 벡터의 노름의 곱보다 항상 작거나 같음을 보장한다.

구체적으로, 실수 또는 복소수 체 위의 내적 공간에 속하는 임의의 두 벡터 u와 v에 대해 다음이 성립한다.

부등식

설명

\

⟨u, v⟩\

여기서 ⟨u, v⟩는 두 벡터의 내적을, \|u\|와 \|v\|는 각각 벡터 u와 v의 노름(길이)을 나타낸다. 등호가 성립하는 경우는 두 벡터가 선형 종속인 경우, 즉 한 벡터가 다른 벡터의 스칼라 배일 때로 한정된다. 이 부등식으로부터 삼각 부등식을 비롯한 여러 중요한 결과를 유도할 수 있다.

코시-슈바르츠 부등식의 주요 응용은 벡터 사이의 각도 개념을 엄밀하게 정의하는 데 있다. 부등식에 의해 내적을 노름의 곱으로 나눈 값의 절댓값이 1을 넘지 않으므로, 이를 코사인 값으로 하는 각 θ를 정의할 수 있다. 이는 유클리드 공간의 기하학적 직관을 일반적인 내적 공간으로 확장하는 토대가 된다. 또한 이 부등식은 통계학에서 두 확률변수 간의 상관계수가 -1과 1 사이에 있음을 보이는 데에도 사용된다.

6.3. 외적

외적(outer product)은 벡터 공간에서 정의되는 또 다른 기본적인 이항 연산이다. 스칼라곱(내적)이 두 벡터를 입력받아 하나의 스칼라를 결과로 내는 것과 달리, 외적은 두 벡터를 입력받아 또 다른 벡터를 결과로 낸다. 주로 3차원 유클리드 공간에서 정의되며, 그 결과 벡터는 원래 두 벡터가 이루는 평면에 수직인 방향을 가진다.

외적의 크기와 방향은 기하학적으로 중요한 의미를 지닌다. 결과 벡터의 크기는 두 입력 벡터의 크기와 그 사이 각도의 사인값을 곱한 값, 즉 두 벡터로 이루어진 평행사변형의 넓이와 같다. 방향은 오른손 법칙에 따라 결정된다. 이 연산은 물리학에서 토크, 각운동량, 로런츠 힘 등을 계산할 때 필수적으로 사용된다.

연산 유형

입력

출력

주요 기하학적 의미

스칼라곱 (내적)

두 벡터

하나의 스칼라

벡터의 투영, 직교성 판별, 각도 계산

외적

두 벡터

하나의 벡터

평행사변형의 넓이, 평면에 수직인 벡터 생성

외적은 선형대수학을 넘어 공학과 컴퓨터 그래픽스 분야에서도 널리 활용된다. 예를 들어, 3D 그래픽스에서 표면의 법선 벡터를 계산하거나, 두 벡터가 정의하는 평면의 방향을 파악하는 데 사용된다. 스칼라곱이 벡터의 '정렬도'를 측정한다면, 외적은 두 벡터에 의해 '펼쳐지는 면'의 특성을 설명한다고 볼 수 있다.

7. 여담

스칼라곱은 내적의 가장 기본적이고 친숙한 형태로, 고등학교 수학과 학부 미적분학에서 처음 접하는 연산이다. 이 연산은 두 벡터를 입력받아 하나의 스칼라를 출력하는 이중선형 함수의 대표적인 예시이다.

일반적인 내적 공간에서는 내적을 정의하는 공리만 만족하면 그 구체적인 형태는 무한히 다양할 수 있다. 그러나 유한차원 벡터 공간에서는 정규직교기저를 통해 모든 내적이 도트곱과 동일한 형태로 표현될 수 있으므로, 본질적으로는 스칼라곱이 내적의 핵심을 이룬다고 볼 수 있다. 이와 대조적으로, 함수 공간과 같은 무한차원 공간에서는 정적분을 이용해 정의된 내적이 등장하며, 이는 푸리에 해석 등에서 중요한 역할을 한다.

스칼라곱의 표기법은 사용하는 분야에 따라 다양하다. 가장 간단한 가운뎃점(a·b) 표기는 고등학교 과정에서 흔히 쓰인다. 보다 일반적인 내적을 나타낼 때는 꺾쇠괄호(⟨a, b⟩)를 사용하며, 양자역학의 브라-켓 표기법(⟨a|b⟩)이나 함수해석학에서의 적분 형식(∫f̄g)도 내적을 표현하는 방법이다.

8. 참고 자료

  • m.blog.naver.com

  • mathtravel.tistory.com

  • wannastudyhardyeah.github.io

리비전 정보

버전r1
수정일2026.02.24 23:55
편집자unisquads
편집 요약AI 자동 생성