# 벡터: 벡터의 선형 독립성

#### 벡터의 선형 독립성 정의

벡터의 선형 독립성(linear independence)은 선형대수에서 매우 중요한 개념으로, 벡터 집합이 어떻게 상호 관계를 맺고 있는지를 설명하는 데 사용된다. 벡터 집합이 선형 독립적이라는 것은 그 집합 내의 어떤 벡터도 나머지 벡터들의 선형 결합으로 표현될 수 없음을 의미한다. 수학적으로, 벡터 집합 $ {v\_1, v\_2, \dots, v\_n} $이 선형 독립적이라는 것은 다음과 같은 조건을 만족하는 경우를 말한다.

$$
c\_1 v\_1 + c\_2 v\_2 + \dots + c\_n v\_n = 0
$$

여기서 $ c\_1, c\_2, \dots, c\_n $이 모두 0이 될 때만 위 식이 성립하는 경우, 즉 위 식을 만족하는 유일한 해가 $ c\_1 = c\_2 = \dots = c\_n = 0 $일 때, 이 벡터 집합은 선형 독립적이다.

#### 선형 독립성의 기하학적 해석

기하학적으로, 선형 독립성을 벡터의 관계를 통해 직관적으로 이해할 수 있다. 이 개념은 벡터 공간의 차원과 관련이 있으며, 벡터들이 서로 평행하지 않거나 동일 평면(또는 동일 선분)상에 있지 않음을 의미한다.

예를 들어, 두 벡터 $ \mathbf{v}\_1 $과 $ \mathbf{v}\_2 $가 선형 독립적이라는 것은 이 두 벡터가 동일한 직선 상에 놓여 있지 않다는 것을 의미한다. 이 경우, 두 벡터의 선형 결합으로 2차원 평면의 모든 점을 나타낼 수 있다.

마찬가지로, 세 벡터 $ \mathbf{v}\_1 $, $ \mathbf{v}\_2 $, $ \mathbf{v}\_3 $가 선형 독립적이라면, 이 세 벡터는 동일한 평면에 놓여 있지 않으며, 3차원 공간에서 이 벡터들이 이루는 공간은 전체 3차원 공간이 된다.

#### 선형 독립성과 기저

벡터 공간의 기저(basis)는 해당 공간에서 모든 벡터를 표현할 수 있는 선형 독립적인 벡터 집합이다. 기저는 벡터 공간의 차원을 결정하며, 이 차원은 벡터 공간의 선형 독립적인 벡터의 최대 개수와 같다. 예를 들어, 3차원 유클리드 공간 $ \mathbb{R}^3 $의 기저는 세 개의 선형 독립적인 벡터로 구성된다.

기저의 주요 특징은 다음과 같다:

* 벡터 공간의 임의의 벡터는 기저 벡터들의 선형 결합으로 표현될 수 있다.
* 기저 벡터는 항상 선형 독립적이다.
* 기저 벡터의 수는 벡터 공간의 차원과 같다.

따라서, 선형 독립적인 벡터 집합을 찾는 것은 벡터 공간에서 기저를 찾는 것과 밀접하게 관련되어 있다.

#### 선형 독립성의 판별 방법

벡터 집합의 선형 독립성을 판별하는 방법에는 여러 가지가 있다. 일반적으로 사용되는 방법으로는 행렬의 랭크, 행렬식, 그리고 가우스 소거법을 이용한 방법이 있다.

\*\*행렬의 랭크(rank)\*\*를 이용한 방법은 주어진 벡터 집합의 벡터들을 행렬의 행이나 열로 배열한 후, 이 행렬의 랭크를 계산하는 것이다. 행렬의 랭크가 벡터의 수와 같다면, 이 벡터 집합은 선형 독립적이다.

\*\*행렬식(determinant)\*\*을 이용한 방법은 정방행렬(square matrix)의 경우에 사용된다. 주어진 벡터들로 구성된 행렬의 행렬식이 0이 아니라면, 이 벡터 집합은 선형 독립적이다. 반면, 행렬식이 0이라면 이 벡터 집합은 선형 종속적이다.

\*\*가우스 소거법(Gaussian elimination)\*\*을 이용한 방법은 주어진 벡터 집합을 행렬의 형태로 나타낸 후, 행렬을 계단형으로 변환하는 것이다. 이 과정에서 행렬의 비제로(non-zero) 행의 수가 벡터의 수와 같다면, 벡터 집합은 선형 독립적이다.

#### 선형 독립성의 성질

선형 독립성에는 몇 가지 중요한 성질이 있다. 이 성질들은 선형 독립성을 판단하는 데 있어 중요한 기준이 된다.

1. 두 개의 벡터가 선형 독립적일 필요충분 조건은 이들이 서로 평행하지 않은 것이다.
2. 세 개 이상의 벡터가 선형 독립적이려면, 이들 중 어떤 벡터도 나머지 벡터들의 선형 결합으로 표현될 수 없어야 한다.
3. 기저에 속하는 모든 벡터들은 선형 독립적이다.
4. 만약 벡터 집합에 하나의 벡터가 추가되었을 때, 새로 형성된 집합이 선형 독립적이라면 이 추가된 벡터는 이전 벡터들의 선형 결합으로 표현될 수 없다.

이러한 성질들을 이해함으로써, 복잡한 벡터 집합에 대해 그 선형 독립성을 더욱 명확하게 판단할 수 있다.

***

관련 자료:

* Linear Algebra Done Right by Sheldon Axler
* Introduction to Linear Algebra by Gilbert Strang
* Vector Calculus, Linear Algebra, and Differential Forms: A Unified Approach by John H. Hubbard and Barbara Burke Hubbard