4.3 Matrix and subspace

Jaehyun_onelion·2023년 3월 17일
0

선형대수학

목록 보기
20/42

이번 포스트에서는 Matrix를 이용하여 정의하는 null space, column space, row space에 대해서 알아보겠습니다.


1) Null Space


Definition : Null Space

The null space of an m×nm \times n matrix AA, written as NulANulA, is the set of all solutions of the homogeneous equation Ax=0A\boldsymbol{x}=0

NulA={xAx=0,xRn}NulA = \{\boldsymbol{x} \mid A\boldsymbol{x} = 0, \boldsymbol{x} \in \mathbb R^n\}

matrix AA의 null space는 Ax=0A\boldsymbol{x}=0을 만족하는 x\boldsymbol{x} 를 모은 집합니다.

matrix AA를 standard matrix로 가지는 matrix transformation TAT_A를 생각해보면

NulA={xAx=0,xRn}={xTA(x)=0,xRn}=Ker(TA)NulA = \{\boldsymbol{x} \mid A\boldsymbol{x} = 0, \boldsymbol{x} \in \mathbb R^n\} = \{\boldsymbol{x} \mid T_A(\boldsymbol{x}) = 0, \boldsymbol{x} \in \mathbb R^n\} = Ker(T_A)

AA의 null space는 다름 아닌 TAT_A의 kernel임을 알 수 있습니다.


Theorem

The null space of an m×nm \times n matrix AA is a subspace of Rn\mathbb R^n

Linear transformation의 kernel은 subspace가 되는 것을 통해 쉽게 알 수 있습니다.


example

A=[112534]A = \begin{bmatrix}1 & -1 \\ 2 & 5 \\ 3 & 4 \end{bmatrix}

의 null space는

NulA={xAx=0}NulA = \{\boldsymbol{x} \mid A\boldsymbol{x}=0\}

가 되어 Ax=0A\boldsymbol{x}=0의 augmented matrix를 이용하여 equation을 풀면

[110250340][100010000]\begin{bmatrix}1 & -1 & 0\\ 2 & 5 & 0 \\ 3 & 4 & 0 \end{bmatrix} \sim \begin{bmatrix}1 & 0 & 0\\ 0 & 1 & 0 \\ 0 & 0 & 0 \end{bmatrix}

가 되어

NulA={[00]}NulA =\{\begin{bmatrix} 0\\ 0 \end{bmatrix}\}

이 됩니다.


2) Column Space


Definition : Column Space

The column space of an m×nm \times n matrix AA, written as ColAColA, is the set of all linear combinations of the columns of AA. If A=[a1a2...an]A=\begin{bmatrix}\boldsymbol{a}_1 & \boldsymbol{a}_2 & ... & \boldsymbol{a}_n \end{bmatrix},

ColA=Span{a1,a2,...,an}ColA = Span \{\boldsymbol{a}_1, \boldsymbol{a}_2, ..., \boldsymbol{a}_n\}

Matrix AA의 column space는 AA의 columns의 linear combination을 모은 집합입니다.

vector들에 의해 span된 subset은 subspace가 되므로, column space 역시 subspace가 됩니다.


Theorem

The column space of an m×nm \times n matrix AA is a subspace of Rm\mathbb R^m

Matrix AA의 column space에 속한 vector들은 AA의 column의 linear combination으로 이루어져 있습니다. 따라서

ColA={bb=Ax  for  some  xRn}ColA = \{\boldsymbol{b} \mid \boldsymbol{b} = A\boldsymbol{x} \ \ for \ \ some \ \ \boldsymbol x \in \mathbb R^n\}

으로도 해석할 수 있습니다.


example

A=[112534]A = \begin{bmatrix}1 & -1 \\ 2 & 5 \\ 3 & 4 \end{bmatrix}

다음 matrix의 column space는

ColA=Span{[123],[154]}ColA = Span\{\begin{bmatrix}1 \\ 2 \\ 3 \end{bmatrix}, \begin{bmatrix}-1 \\ 5 \\ 4 \end{bmatrix}\}

이 됩니다.


3) The constrast between NulA and ColA


다음 matrix를 통해서 Null space와 Column space가 가지는 특징을 비교해보겠습니다.


example

A=[242125733786],  u=[3210],  v=[313]A=\begin{bmatrix}2 & 4& -2 & 1 \\ -2 & -5 & 7 & 3 \\ 3 & 7 & -8 & 6 \end{bmatrix}, \ \ \boldsymbol{u}=\begin{bmatrix}3 \\ -2 \\ -1 \\0 \end{bmatrix}, \ \ \boldsymbol{v} =\begin{bmatrix}3 \\ -1 \\3 \end{bmatrix}

  • NulANulA?

Matrix AA의 null space를 구하기 위해서는

Ax=0A\boldsymbol{x }=0

을 풀어야 합니다. 이를 풀면

[242102573037860][109000150000010]\begin{bmatrix} 2 & 4& -2 & 1 & 0 \\-2 & -5 & 7 & 3 & 0 \\3 & 7 & -8 & 6 & 0 \end{bmatrix} \sim \begin{bmatrix} 1 & 0& 9 & 0 & 0 \\0 & 1 & -5 & 0 & 0 \\0 & 0 & 0 & 1 & 0 \end{bmatrix}

가 되어

x=x3[9510],  x3:free\boldsymbol{x} = x_3\begin{bmatrix}-9\\5\\1\\0 \end{bmatrix}, \ \ x_3 : free

따라서

NulA=Span{[9510]}NulA = Span\{\begin{bmatrix}-9\\5\\1\\0 \end{bmatrix}\}

이 됩니다.


  • ColAColA?

AA의 column space는 column의 linear combination을 모두 모은 집합입니다. 따라서

ColA=span{[223],[457],[278],[136]}ColA = span\{\begin{bmatrix}2 \\ -2 \\ 3 \end{bmatrix}, \begin{bmatrix}4 \\ -5 \\ 7 \end{bmatrix}, \begin{bmatrix}-2 \\ 7 \\ -8 \end{bmatrix}, \begin{bmatrix}1 \\ 3 \\ 6 \end{bmatrix}\}

이 됩니다.


  • uNulA\boldsymbol{u} \in NulA?

u\boldsymbol{u}NulANulA에 속한다는 것은 Au=0A\boldsymbol{u}=0을 만족한다는 뜻입니다. 따라서

Au=[68+26+107+3914+8]=[003]0A\boldsymbol{u} = \begin{bmatrix}6-8+2 \\-6+10-7+3 \\ 9-14+8 \end{bmatrix} = \begin{bmatrix}0 \\ 0\\3 \end{bmatrix} \neq 0

따라서 uNulA\boldsymbol{u} \notin NulA입니다.


  • vColA\boldsymbol{v} \in ColA?

v\boldsymbol{v}ColAColA에 속한다는 것은 v\boldsymbol{v}AA의 column의 linear combination으로 표현된다는 것을 뜻합니다. 따라서

Ax=vA\boldsymbol{x}=\boldsymbol{v}

방정식이 consistent한지 확인을 해야 합니다. 다음 linear system의 augmented matrix를 이용하면

[242132573137863][242130154200031212]\begin{bmatrix} 2 & 4& -2 & 1 & 3 \\-2 & -5 & 7 & 3 & -1 \\3 & 7 & -8 & 6 & 3 \end{bmatrix} \sim \begin{bmatrix} 2 & 4& -2 & 1 & 3 \\0 & -1 & 5 & 4 & 2 \\0 & 0 & 0 &\frac{31}{2} & \frac{1}{2} \end{bmatrix}

echelon form의 모든 row에 leading entry가 있기 때문에, 다음 system의 solution이 존재합니다. 따라서 위 linear system은consistent하고 vColA\boldsymbol{v} \in ColA입니다.


Matrix AA를 통해 null space와 column space를 구해보고, 특정 벡터가 column space, null space에 속하는지 확인도 해보았습니다.

m×nm \times n matrix AA에 대해 Null space는 다음의 특징을 가집니다.

  1. NulANulA is subspace of Rn\mathbb R^n

  2. NulANulA is implicitly defined

    NulANulA를 구하려면 Ax=0A\boldsymbol{x}=0을 풀어야 합니다. 따라서 linear system을 풀어야 하기 때문에 시간이 걸립니다.

  3. No obvious relation between NulANulA and the entries in AA

    AA의 entry를 이용하여 NulANulA를 바로 확인할 수 없습니다.

  4. A typical vector v\boldsymbol{v} in NulANulA has the property that Av=0A\boldsymbol{v}=0

  5. It is easy to tell if v\boldsymbol{v} is in NulANulA

    AvA\boldsymbol{v}를 계산해서, 00이 나오면 NulANulA에 속하고, 00이 나오지 않으면 NulANulA에 속하지 않습니다.

  6. NulA={0}NulA=\{0\} if and only if Ax=0A\boldsymbol{x}=0 has only the trivial solution

  7. NulA={0}NulA=\{0\} if and only if the linear transformation xAx\boldsymbol{x} \rightarrow A\boldsymbol x is one to one

    6과 7은 null space의 정의와 linear transformation이 one to one일 때 가지는 성질을 이용하여 쉽게 확인할 수 있습니다.


한편, m×nm \times n matrix AA의 Column space는 다음의 특징을 가집니다.

  1. ColAColA is subspace of Rm\mathbb R^m

  2. ColAColA is explicitly defined

    ColAColAAA의 column의 linear combination을 모두 모은 집합입니다. 따라서 AA를 통해 ColAColA를 바로 구할 수 있습니다.

  3. Obvious relation between ColAColA and the entries of AA

    따라서, AA의 entry와 ColAColA는 명확한 관계를 가집니다.

  4. A typical vector u\boldsymbol{u} in ColAColA has the property that the equation Ax=uA\boldsymbol{x} = \boldsymbol{u} is consistent

  5. It takes times to tell if u\boldsymbol u is in ColAColA

    Ax=uA\boldsymbol{x} = \boldsymbol{u} 가 consistent한지 확인을 해야 하기 때문에, linear system을 풀어야 합니다.

  6. ColA=RmColA =\mathbb R^m if and only if the equation Ax=bA\boldsymbol{x} =\boldsymbol{b} has a solution for every bRm\boldsymbol{b} \in \mathbb R^m

  7. ColA=RmColA =\mathbb R^m if and only if the linear transformation xAx\boldsymbol x \rightarrow A\boldsymbol{x} is onto

    6과 7은 column space의 정의와 linear transformation이 onto일 때 가지는 성질을 이용하여 쉽게 확인할 수 있습니다.


4) Row Space


Definition : Row Space

The row space of an m×nm \times n matrix AA, written as RowARowA, is the set of all linear combinations of the rows of AA

Matrix AA의 row들의 linear combination을 모두 모은 집합이 RowARowA입니다.

각각의 row는 nn개의 entry를 가지기 때문에, RowARnRowA \subset \mathbb R^n입니다.

또한, matrix AA의 row는 matrix ATA^T의 column과 같기 때문에

RowA=ColATRowA=ColA^T

이 성립합니다.

Row space는 다음의 성질을 가집니다.


Theorem

If two matrices AA and BB are row equivalent, then their row spaces are the same.

Row eqivalent하다면, row operation을 통하여 다른 matrix를 만들 수 있다는 뜻입니다. row operation은 linear combination를 모두 모은 집합에는 영향을 끼치지 않기 때문에, 두 matrix의 row space는 동일합니다.


example

A=[258017135153111971171353]A = \begin{bmatrix}-2 & -5 & 8 & 0 & -17 \\ 1 & 3 & -5 & 1 & 5 \\ 3 & 11 & -19 & 7 & 1 \\ 1 & 7 & -13 & 5 & -3 \end{bmatrix}

다음 matrix의 row space는

RowA=Span{a1,a2,a3,a4}where   a1=[258017],  a1=[13515],  a1=[3111971],  a1=[171353]RowA = Span\{\boldsymbol{a_1}, \boldsymbol{a_2}, \boldsymbol{a_3}, \boldsymbol{a_4}\} \\ where \ \ \ \boldsymbol{a_1}=\begin{bmatrix}-2 \\ -5 \\8 \\0 \\ -17\end{bmatrix}, \ \ \boldsymbol{a_1}=\begin{bmatrix}1 \\ 3 \\ -5 \\ 1 \\ 5\end{bmatrix}, \ \ \boldsymbol{a_1}=\begin{bmatrix}3 \\ 11 \\ -19 \\ 7 \\ 1\end{bmatrix}, \ \ \boldsymbol{a_1}=\begin{bmatrix}1 \\ 7 \\ -13 \\ 5 \\ -3\end{bmatrix}

이 됩니다.

지금까지 matrix를 통해 정의하는 vector space인 null space, column space, row space에 대해 알아보았습니다. 다음 포스트에서는 basis에 대해 알아보도록 하겠습니다. 질문이나 오류 있으면 댓글 남겨주세요! 감사합니다!


Appendix : Proof of Theorem


Theorem

If two matrices AA and BB are row equivalent, then their row spaces are the same.

  • Proof

m×nm \times n matrix AA를 다음과 같이 표현을 하면

A=[a1am]A = \begin{bmatrix}-\boldsymbol a_{1}- \\ \vdots \\ -\boldsymbol a_{m}-\end{bmatrix}

a1,a2,...,am\boldsymbol{a}_1, \boldsymbol{a}_2, ..., \boldsymbol{a}_mRn\mathbb R^n에 속하는 벡터입니다.

AABB가 row equivalent하다는 것은 row operation을 통해서 AA에서 BB, BB에서 AA를 만들 수 있다는 뜻입니다. row operation인 replacement, interchange, scaling은 row space의 변화에 영향을 끼치지 않는 것을 통해 두 matrix의 row space가 같은 것을 확인할 수 있습니다.

  • Replacement
RowA=Span{a1,...,am}=Span{a1+kai,...,am}   i=1,...,m\begin{aligned} RowA &= Span\{\boldsymbol{a}_1, ..., \boldsymbol{a}_m\} \\ &= Span\{\boldsymbol{a}_1+k\boldsymbol{a}_i, ..., \boldsymbol{a}_m\}\ \ \ i=1, ..., m \end{aligned}
  • Interchange
RowA=Span{a1,...,ai,...,aj,am}=Span{a1,...,aj,...,ai,am}   ij,  i,j=1,...,m\begin{aligned} RowA &= Span\{\boldsymbol{a}_1, ...,\boldsymbol{a}_i, ..., \boldsymbol{a}_j, \boldsymbol{a}_m\} \\ &= Span\{\boldsymbol{a}_1, ..., \boldsymbol{a}_j, ..., \boldsymbol{a}_i, \boldsymbol{a}_m\}\ \ \ i \neq j, \ \ i, j=1, ..., m \end{aligned}
  • Scaling
RowA=Span{a1,...,ai,am}=Span{a1,...,kai,am}   i=1,...,m\begin{aligned} RowA &= Span\{\boldsymbol{a}_1, ...,\boldsymbol{a}_i, \boldsymbol{a}_m\} \\ &= Span\{\boldsymbol{a}_1, ..., k\boldsymbol{a}_i, \boldsymbol{a}_m\}\ \ \ i=1, ..., m \end{aligned}

Row operation을 하더라도 row space가 변화하지 않으므로, Row equivalent한 두 matrix의 row space는 동일합니다.

profile
데이터 분석가 새싹

0개의 댓글