2.4 The Four Fundamental Subspaces
Basis를 표기하기 위해서는 systematic한 절차가 필요하다.
Subspace는 Space로 span하는 벡터의 집합*이나 Space의 vectors가 반드시 충족시켜야하는 조건**으로 표현할 수 있지만 두 경우 모두 벡터집합에 dependent vectors가 포함될 수 있기 때문에 basis를 표현하기에 충분하지 않다.
* column space는 columns들이 span해서 생성
** null space는 Ax = 0을 만족시키는 벡터집합
행렬의 basis를 찾는 절차를 알기 위해서 full rank(extreme case)인 경우를 생각해보자.
Rank가 최대로 클 때, 즉 $ r=n\ or\ r=m\ or\ r=m=n $ 일 때, 행렬은 $ left-inverse\ B$ or $right-inverse\ C$ or $two-sided\ A^{-1}$를 갖는다.
Four Fundamental Subspaces
위의 설명을 이해하기 위해서는 우선 m by n 행렬 $A$의 four subspaces를 이해해야 한다.
subspaces | notation | dimension |
---|---|---|
column space of $A$ | $C(A)$ | rank r |
nullspace of $A$ | $N(A)$ | n-r |
row space of $A$, column space of $A^T$ | $C(A^T)$ | r |
left nullspace of $A$, nullspace of $A^T$ | $N(A^T)$ | m-r |
- $N(A)$와 $C(A^T)$는 $R^n$의 subspaces이다.
- $N(A^T)$와 $C(A)$는 $R^m$의 subspaces이다.
ex 1)
$$
A=U=R=\begin{bmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \end{bmatrix}
$$
- $C(A)$: The line through $\begin{bmatrix} 1 \\ 0 \end{bmatrix}$, dimension: 1
- $C(A^T)$: The line through $\begin{bmatrix} 1 & 0 & 0 \end{bmatrix}^T$, dimension: 1
- $N(A)$: A plane contains $\begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix},\ \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}$, dimension: 2
- $N(A^T)$: A line through $\begin{bmatrix} 0 \\ 1 \end{bmatrix}$, dimension: 1
matrix A와 A를 elimination한 echelon form U에 대해서 four subspaces를 구해보면
$$
A=\begin{bmatrix} 1 & 3 & 3 & 2 \\ 2 & 6 & 9 & 7 \\ -1 & -3 & 3 & 4 \end{bmatrix}\ \rightarrow\ U=\begin{bmatrix} 1 & 3 & 3 & 2 \\ 0 & 0 & 3 & 3 \\ 0 & 0 & 0 & 0 \end{bmatrix}
$$
- The row space of A
$U$의 nonzero rows에 해당하는 $A$의 rows가 basis이다. Dimension은 $r$로 pivot (or nonzero rows)의 개수와 같다.
- $A$와 $U$의 row spaces는 같다. (Gaussian Elimination이 row space를 바꾸지 않는다.)
- $A$의 row space는 $U$의 row space와 동일한 dimension과 bases를 갖는다.
- The nullspace of A
$Ax=0$에서 r개의 solution만 independent하며 n-r개의 special solution이 nullspace의 basis가 된다.
Special solutions가 nullspace의 basis이다. nullspace의 dimension은 n-r이다.
- Gaussian Elimination으로 $Ax=0\ \rightarrow\ Ux=0$이 됐을 때 solution은 변하지 않기 때문에 $A$와 $U$의 nullspace는 같다.
$$
Special\ Solutions \quad \begin{matrix}v = 0 \\ y = 1\end{matrix} \quad x_1=\begin{bmatrix} -3 \\ 1 \\ 0 \\ 0 \end{bmatrix}, \quad \begin{matrix}v = 1 \\ y = 0\end{matrix} \quad x_2=\begin{bmatrix} 1 \\ 0 \\ -1 \\ 1 \end{bmatrix}
$$
$c_1x_1+c_2x_2=0\ \rightarrow\ c_1=c_2=0$ for free variables (independent)
$n-r=4-2$ vectors are a basis
- The column space of A
Pivot columns(pivots이 있는 column)이 $A$의 column space의 basis이다. Dimension은 rank $r$이다.
- column space의 dimension은 rank $r$로 row space의 dimension과 같다.
- 즉 independent한 columns의 개수와 independent한 rows의 개수가 같다.
- The left nullspace of A (nullspace of $A^T$)
$$
y^T=\begin{bmatrix} y_1 & \cdots & y_m \end{bmatrix}\begin{bmatrix} A \end{bmatrix}=\begin{bmatrix} 0 & \cdots & 0 \end{bmatrix}
$$
- dimension of $C(A)$ + dimension of $N(A)$ = number of columns= $n$
- dimension of $N(A)$ = $n-r$
- dimension of $C(A^T)$ + dimension of $N(A^T)$ = number of rows= $m$
- dimension of $N(A^T)$ = $m-r$
ex 2)
$$
A=\begin{bmatrix} 1 & 2 \\ 3 & 6 \end{bmatrix},\ U=\begin{bmatrix} 1 & 2 \\ 0 & 0 \end{bmatrix},\ m=n=2,\ r=1
$$
- column space: all multiples of $\begin{bmatrix} 1 \\ 3 \end{bmatrix}$
- nullspace: all multiples of $\begin{bmatrix} -2 \\ 1 \end{bmatrix}$
- row space: all multiples of $\begin{bmatrix} 1 \\ 2 \end{bmatrix}$
- left nullspace: all multiples of all multiples of $\begin{bmatrix} -3 \\ 1 \end{bmatrix}$
$A^T=\begin{bmatrix} 1 & 3 \\ 2 & 6 \end{bmatrix}\ \rightarrow\ \begin{bmatrix} 1 & 3 \\ 0 & 0 \end{bmatrix}$
Existence of Inverses
Inverse는 행렬의 rank가 최대로 큰 경우에 존재한다.
m by n matrix $A$에 대해서
- $m \ge n$인 $A$는 left inverse를 갖는다. $r=n,\ A^{-1}A=I_{nxn}$
- $n \ge m$인 $A$는 right inverse를 갖는다. $r=m,\ AA^{-1}=I_{mxm}$
- square matrix인 $A$는 two-sided inverse를 갖는다. $r=m=n,\ AA^{-1}=A^{-1}A=I$
Exsistence
- Full row rank ($r=m$)인 경우
- Columns가 $R^m$으로 span할 때 $Ax=b$는 모든 $b$에 대해서 적어도 한 개의 solution $x$를 갖는다.
- $A$는 right-inverse $C$를 갖는다. $AC=I_m$ (m by m)
- $AC=I,\ Ax=b\ \rightarrow\ Ax=ACb=b,\ x=Cb$
- 가능한 solution은 $x=Cb$이며 다른 right-inverse가 있으면 다른 solutions도 존재한다. (1 or $\infty$ solution)
Uniqueness
- Full column rank ($r=n$)인 경우
- Columns가 linearly independent할 때 $Ax=b$는 모든 $b$에 대해서 최대 한 개의 solution $x$를 갖는다.
- A는 left-inverse $B$를 갖는다. $BA=I_n$ (n by n)
- $BA=I,\ Ax=b\ \rightarrow\ x=BAx=Bb,\ x=Bb$ (unique)
- Solution이 존재한다면 $x=Bb$이며 solution이 존재하지 않을 수 있다. (0 or 1 solution)
One-sided inverse (best left/right inverse)
- $BA=I,\ B=A^{-1}=(A^TA)^{-1}$
- $AC=I,\ C=A^{-1}=(AA^T)^{-1}$
ex 3) 2 by 3 matrix of rank 2
$$
A=\begin{bmatrix} 4 & 0 & 0 \\ 0 & 5 & 0 \end{bmatrix}
$$
$r=m=2$이므로 right-inverse $C$가 존재한다.
$$
AC=\begin{bmatrix} 4 & 0 & 0 \\ 0 & 5 & 0 \end{bmatrix}\begin{bmatrix} 1/4 & 0 \\ 0 & 1/5 \\ c_{31} & c_{32} \end{bmatrix}=
\begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix}
$$
$C$의 마지막 rows가 임의의 값으로 이루어져 있으므로 이를 만족하는 right-inverse $C$는 굉장히 많다.
이 중 특정한(best) right-inverse를 고르면
$$
A^T(AA^T)^{-1}=\begin{bmatrix} 4 & 0 & 0 \\ 0 & 5 & 0 \end{bmatrix}\begin{bmatrix} 1/16 & 0 \\ 0 & 1/25 \end{bmatrix}=
\begin{bmatrix} 1/4 & 0 \\ 0 & 1/5 \\ 0 & 0 \end{bmatrix}=C
$$
Inverse of square matrix
- Rectangular matrix는 existence와 uniquness를 동시에 만족시킬 수 없다.
- 반대로 quare matrix는 두 성질을 하나만 만족시킬 수 없다. (만족시킬 경우 둘 다 만족시켜야 함.)
Full rank square matrix ($r=m=n$)의 invertibility 조건
각 조건은 모두 invertibility에 대한 필요충분조건이다.
- Columns가 $R^n$으로 span해야한다. 즉 $Ax=b$는 모든 b에 대해 최소 한 개의 solution을 가져야 한다.
- Columns가 independent해야한다. 즉 $Ax=0$은 오직 $x=0$ 한 개의 solution만 가져야 한다.
- Rows가 $R^n$으로 span해야한다.
- Rows가 independent해야한다.
- Elimination이 모든 n개의 pivot이 존재한 채로 완료되어야 한다. ($PA=LDU$)
- $A$의 determinant가 zero가 아니어야한다.
- Zero가 $A$의 eigenvalue가 아니어야한다.
- $A^TA$가 positive definite 해야한다.
'공부를 합니다 > 수학 (mathematics)' 카테고리의 다른 글
선형대수(HYU)_13-14 QR 분할과 함수공간 (0) | 2020.06.06 |
---|---|
선형대수(HYU)_11-12 벡터투영과 최소제곱법 (0) | 2020.05.15 |
선형대수(HYU)_10 벡터의 직교성과 직선투영 (0) | 2020.05.02 |
선형대수(HYU)_09 선형변환과 행렬 (0) | 2020.04.22 |
선형대수(HYU)_07 벡터의 선형독립과 기저벡터 (0) | 2020.03.12 |