logo

두 벡터의 스칼라곱(점곱, 내적) 📂행렬대수

두 벡터의 스칼라곱(점곱, 내적)

정의1

크기가 n×1n \times 1인 두 열벡터 u\mathbf{u}, v\mathbf{v} Rn\in \mathbb{R}^{n}스칼라곱scalar product을 다음과 같이 정의한다.

uv:=uTv=u1v1+u2v2++unvn \begin{equation} \mathbf{u} \cdot \mathbf{v} := \mathbf{u}^{\mathsf{T}}\mathbf{v}=u_{1}v_{1} + u_{2}v_{2} + \cdots + u_{n}v_{n} \label{EuclideanIP} \end{equation}

u\mathbf{u}, v\mathbf{v} Cn\in \mathbb{C}^{n}인 경우에는 다음과 같다.

uv:=uv=u1v1 +u2v2 ++unvn  \mathbf{u} \cdot \mathbf{v} := \mathbf{u}^{\ast}\mathbf{v}=u^{\ast}_{1}v_{1}^{\ } + u_{2}^{\ast}v_{2}^{\ } + \cdots + u_{n}^{\ast}v_{n}^{\ }

이때 u\mathbf{u}^{\ast}u\mathbf{u}켤레 전치이다.

설명

3차원 좌표 공간에서의 내적nn차원과 복소수로 확장한 것이다. 스칼라곱이라는 이름은 계산의 결과가 스칼라이기 때문에 붙은 것이다. 표기로 점 \cdot을 사용하기 때문에 점곱dot product라고도 불린다. 특히나 점곱이라는 이름과 \cdot 표기는 유한차원 벡터에 대해서만 쓰인다고 생각해도 무방하다.

한국에서는 이를 흔히 내적inner product이라고도 많이 부르는데, 이는 점곱이 일반적으로 정의되는 내적에서 유클리드 공간인 특수한 경우이기 때문이다. 같은 이유로 (1)(1)유클리드 내적Euclidean inner product 혹은 표준 내적standard inner product라 부르기도 한다. 물리학, 공학 등에서는 크게 구분하지 않으나, 수학과 가까운 분야에서는 내적이라는 명칭은 추상화된 벡터공간, 특히나 함수공간에서 정의된 그것을 지칭하는 경우가 많다.

다음의 표기들은 모두 내적을 나타낸다는 것을 기억하자.

uv=uTv=uv=u,v=uv \mathbf{u} \cdot \mathbf{v} = \mathbf{u}^{\mathsf{T}} \mathbf{v} = \mathbf{u}^{\ast} \mathbf{v} = \left\langle \mathbf{u}, \mathbf{v} \right\rangle = \braket{\mathbf{u} | \mathbf{v}}

특히나 uv\braket{\mathbf{u} | \mathbf{v}}디랙 표기법이라 하여 양자역학에서 주로 쓰인다.

스칼라곱과 달리 두 벡터를 계산하여 벡터가 나오는 연산을 벡터곱, 행렬이 나오는 연산을 외적이라 한다.

연산스칼라곱(내적)벡터곱외적(텐서곱)
차원nn차원 벡터33차원 벡터nn차원 벡터
표기uv=uTv\mathbf{u} \cdot \mathbf{v} = \mathbf{u}^{\mathsf{T}} \mathbf{v}u×v\mathbf{u} \times \mathbf{v}uv=uvT\mathbf{u} \otimes \mathbf{v} = \mathbf{u}\mathbf{v}^{\mathsf{T}}
결과스칼라 =1×1=1 \times 1 행렬33차원 벡터n×nn \times n 행렬
iuivi=u1v1++unvn\sum_{i} u_{i}v_{i} = u_{1}v_{1} + \cdots + u_{n}v_{n}[u2v3u3v2u3v1u1v3u1v2u2v1]\begin{bmatrix} u_{2}v_{3} - u_{3}v_{2} \\ u_{3}v_{1} - u_{1}v_{3} \\ u_{1}v_{2} - u_{2}v_{1} \end{bmatrix}[u1v1u1v2u1vnu2v1u2v2u2vnunv1unv2unvn]\begin{bmatrix} u_{1}v_{1} & u_{1}v_{2} & \cdots & u_{1}v_{n} \\ u_{2}v_{1} & u_{2}v_{2} & \cdots & u_{2}v_{n} \\ \vdots & \vdots & \ddots & \vdots \\ u_{n}v_{1} & u_{n}v_{2} & \cdots & u_{n}v_{n}\end{bmatrix}

직교성, 놈

두 벡터 u\mathbf{u}, v\mathbf{v}가 다음의 식을 만족하면 u\mathbf{u}v\mathbf{v}직교orthogonal한다고 하고 uv\mathbf{u} \perp \mathbf{v}와 같이 나타낸다.

uv=0 \mathbf{u} \cdot \mathbf{v} = 0

열벡터 v\mathbf{v}norm 혹은 길이length를 다음과 같이 정의한다.

v:=vv \left\| \mathbf{v} \right\| := \sqrt{\mathbf{v} \cdot \mathbf{v}}

놈이 11인 벡터를 단위 벡터unit vecter라 한다. 두 벡터 u\mathbf{u}, v\mathbf{v}사이의 거리를 d(u.v)d(\mathbf{u}. \mathbf{v})와 같이 나타내고 다음과 같이 정의한다.

d(u,v):=uv=(uv)(uv)=(uv)(uv) d(\mathbf{u}, \mathbf{v}) := \left\| \mathbf{u} - \mathbf{v} \right\| = \sqrt{(\mathbf{u}-\mathbf{v}) \cdot (\mathbf{u}-\mathbf{v})} = \sqrt{(\mathbf{u}-\mathbf{v})^{\ast} (\mathbf{u}-\mathbf{v})}

성질

AAn×nn\times n 행렬, u,v\mathbf{u},\mathbf{v}n×1n\times 1 열벡터라고 하자. 그러면 다음의 식이 성립한다.

(Au)v=u(ATv)u(Av)=(ATu)v \begin{align*} (A \mathbf{u}) \cdot \mathbf{v} &= \mathbf{u} \cdot (A^{\mathsf{T}} \mathbf{v}) \\ \mathbf{u} \cdot (A \mathbf{v}) &= (A^{\mathsf{T}} \mathbf{u}) \cdot \mathbf{v} \end{align*}

복소수 행렬일 경우에는,

(Au)v=u(Av)u(Av)=(Au)v \begin{align*} (A \mathbf{u}) \cdot \mathbf{v} &= \mathbf{u} \cdot (A^{\ast} \mathbf{v}) \\ \mathbf{u} \cdot (A \mathbf{v}) &= (A^{\ast} \mathbf{u}) \cdot \mathbf{v} \end{align*}

증명

네 식의 증명 방법이 같으므로 첫번째 식의 증명만 소개한다. 전치행렬의 성질에 의해 다음이 성립한다.

(Au)v=(Au)Tv=(uTAT)v=uT(ATv)=uATv \begin{align*} (A \mathbf{u}) \cdot \mathbf{v} &= \left( A \mathbf{u} \right)^{\mathsf{T}} \mathbf{v} \\ &= \left( \mathbf{u}^{\mathsf{T}} A^{\mathsf{T}} \right) \mathbf{v} \\ &= \mathbf{u}^{\mathsf{T}} \left( A^{\mathsf{T}} \mathbf{v} \right) \\ &= \mathbf{u} \cdot A^{\mathsf{T}} \mathbf{v} \end{align*}

같이보기


  1. Howard Anton, Elementary Linear Algebra: Aplications Version (12th Edition, 2019), p342 ↩︎