기저 (선형대수학)

틀:위키데이터 속성 추적 선형대수학에서, 어떤 벡터 공간의 기저(基底, 틀:Llang)는 그 벡터 공간을 선형생성하는 선형독립인 벡터들이다. 달리 말해, 벡터 공간의 임의의 벡터에게 선형결합으로서 유일한 표현을 부여하는 벡터들이다.

정의

체 $K$ 위의 벡터 공간 $V$의 유한 기저는 다음 두 조건을 만족하는, $V$의 유한부분집합 $B=\{b_1,\dots ,b_n\}\subseteq V$이다.

• (선형독립) 임의의 $c_1,\dots ,c_n\in K$에 대하여, 만약 $c_1{b}_1+\cdots +c_n{b}_n=0$이면, $c_1=\cdots =c_n=0$이다.
• (선형생성) 임의의 벡터 $v\in V$는, 어떤 $c_1,\dots ,c_n\in K$를 써서 $v=c_1{b}_1+\cdots +c_n{b}_n$와 같이 표현된다.

이때 간단히 $b_1,\dots ,b_n$을 $V$의 기저라고도 한다.

보다 일반적으로, 기저는 다음 두 조건을 만족하는 $V$의 부분집합 $B\subseteq V$이다.

• (선형독립) 임의의 $c_1,\dots ,c_n\in K$ 및 $b_1,\dots ,b_n\in B$에 대하여, 만약 $c_1{b}_1+\cdots +c_n{b}_n=0$이면, $c_1=\cdots =c_n=0$이다.
• (선형생성) 임의의 벡터 $v\in V$는, 어떤 $c_1,\dots ,c_n\in K$ 및 $b_1,\dots ,b_n\in B$를 써서 $v=c_1{b}_1+\cdots +c_n{b}_n$와 같이 표현된다.

샤우데르 기저와 구별하기 위해, 하멜 기저(틀:Llang)라는 용어를 사용하기도 한다.

성질

모든 벡터는 기저의 선형결합으로 유일하게 표현되며, 서로 다른 벡터는 서로 다른 표현을 갖는다. 따라서 기저는 벡터를 식별하는 좌표를 부여한다.

벡터 공간의 차원은 기저 집합의 원소의 개수이다.

기저의 종류

유클리드 공간 ${ℝ}^2$의 벡터 $e_1=(1,0)$, $e_2=(0,1)$은 ${ℝ}^2$의 기저이다. 보다 일반적으로, $n$차 단위행렬의 열벡터 $e_1,\dots ,e_n$은 ${ℝ}^n$의 기저이며, 이를 ${ℝ}^n$의 표준기저(標準基底, 틀:Llang)라고 한다.

벡터 공간의 기저는 일반적으로 유일하지 않다. 예를 들어, $b_1=(1,0)$, $b_2=(1,1)$ 역시 ${ℝ}^2$의 기저이다.

실수 다항식환 $ℝ[x]$는 무한 기저 $\{1,x,x^2,\dots \}$을 갖는다.

정규직교기저

$(V,\Vert \cdot \Vert )$가 순서체 $K$ 위의 노름 공간이라고 하자. 다음 조건을 만족시키는 $V$의 기저 $B$를 정규기저(틀:Llang)라고 한다.

• 모든 $b\in B$에 대하여, $\Vert b\Vert =1$

$(V,⟨\cdot ,\cdot ⟩)$가 순서체 $K$ 위의 내적공간이라고 하자. 다음 조건을 만족시키는 $V$의 기저 $B$를 직교기저(틀:Llang)라고 한다.

• 모든 $b,b^{\prime }\in B$에 대하여, 만약 $b\ne b^{\prime }$이라면 $⟨b,b^{\prime }⟩=0$

정규기저이자 직교기저인, 내적공간의 기저를 정규직교기저(틀:Llang)라고 한다.

이를테면, ${ℝ}^n$의 표준기저는 정규직교기저이다.

좌표

유클리드 공간에서 점과 그 좌표가 일대일 대응하는 것과 비슷하게, 일반 벡터 공간에서 주어진 기저에 따라 좌표(座標, 틀:Llang)를 구성할 수 있다. 다만, 유클리드 공간의 표준기저가 자연스런 순서를 갖춘 것처럼, 일반 벡터 공간에서도 순서를 추가한 기저 즉 순서기저(順序基底, 틀:Llang)가 필요하다.

구체적으로, 벡터 공간 $V$의 순서기저는 전순서를 갖춘, $V$의 기저이다. 유한차원 벡터 공간의 경우, 기저에 자연수 첨수를 주는 것으로 족하다. 유한차원 벡터 공간 $V$ 및 그 순서기저 $B=\{b_1,\dots ,b_n\}$이 주어졌다고 하자. 그렇다면, 벡터 $v\in V$의 기저 $B$에 대한 좌표는 $v=c_1{b}_1+\cdots +c_n{b}_n$을 만족하는 스칼라의 튜플

$(v{)}_B=(c_1,\dots ,c_n)$

이다.

이에 따라, 벡터 공간의 순서기저가 주어졌을 때, 벡터는 그 좌표와 일대일 대응한다.

기저의 변환

벡터 공간 $V$의 기저 $𝔅=\{v_1,\dots ,v_n\},{𝔅}^{\prime }=\{v{\text{'}}_1,\dots ,v{\text{'}}_n\}$가 주어질 때, 기저 변환을 다음과 같이 표시할 수 있다. 여기서 $[v{]}_{𝔅},[v{]}_{{𝔅}^{\prime }}$는 벡터 v를 각각 $𝔅,{𝔅}^{\prime }$ 기저로 표시한 좌표이고, $[I{]}_{𝔅,{𝔅}^{\prime }}$는 기저 $𝔅$에서 ${𝔅}^{\prime }$로 변환하는 행렬이다.

$[v{]}_{{𝔅}^{\prime }}=[I{]}_{𝔅,{𝔅}^{\prime }}[v{]}_{𝔅}$

기존 기저 $𝔅$의 원소를 새로운 기저 ${𝔅}^{\prime }$의 선형 결합으로 표시할 수 있다.

$v_j=\sum _{k=1}^n{a}_{k,j}v{\text{'}}_k\text{for }j=1,\cdots ,n$

이 때, $[v_j{]}_{{𝔅}^{\prime }}=\left[\begin{array}{c}{a}_{1,j}\\ ⋮\\ a_{n,j}\end{array}\right]$의 꼴이 된다.

만약 $𝔈$가 ${ℝ}^n$의 표준기저이고 $𝔅$가 다른 기저라고 한다면, 기저 $𝔅$에서 $𝔈$로 변환하는 행렬 $[I{]}_{𝔅,𝔈}$의 열 성분은 순서기저 $𝔅$의 열벡터 성분이다. 이 점을 이용하여 $𝔅$에서 ${𝔅}^{\prime }$로의 기저 변환 행렬을 간편하게 구할 수 있다.

$[I{]}_{𝔅,{𝔅}^{\prime }}=[I{]}_{𝔈,{𝔅}^{\prime }}[I{]}_{𝔅,𝔈}=([I{]}_{{𝔅}^{\prime },𝔈}{)}^{-1}[I{]}_{𝔅,𝔈}$

주석과 참고 자료

• 틀:Eom
• 틀:매스월드