https://youtu.be/yX-dkf4frac
- Identity transformation
- $I_{V}: V \to V$
- $x \mapsto x$
- (자기 자신으로 보내는 변환)
- Zero transformation
- $T_{0}: V \to W$
- $x \mapsto 0$
- (0으로 보내는 변환)
- $T: V \to W$ 에 대하여 Nullspace $N(T)$는 다음과 같다.
- $N(T) = \{ x \in V : T(x) = 0 \}$
- ($V$에서 $W$로 가는 선형 변환 $T$에 대하여 $T(x)$가 $0$이 되는 원소들의 집합을 Nullspace $N(T)$라 한다.)
- Range(치역) $R(T)$의 정의는 다음과 같다.
- $R(T) = \{ T(x) : x \in V \}$
- Ex)
- $I: V \to V, x \mapsto x$ 일 때
- $N(I) = \{0\}$
- $R(I) = V$
- $T_{0} : V \to W, x \mapsto 0$ 일 때
- $N(T_{0}) = V$
- $R(T_{0}) = \{0\}$
Thm 2.1
- $T: V \to W$의 선형변환에서 $N(T)$는 $V$의 부분공간이고, $R(T)$는 $W$ 의 부분공간이다.
- (널공간은 $V$에서 덧셈과 스칼라 곱이 닫혀있고, 치역은 $W$에서 덧셈과 스칼라 곱이 닫혀 있다는 증명 생략)
Thm 2.2
- $T : V \to W$의 선형변환에서 $\beta = \{ v_{1}, v_{2}, ... , v_{n} \}$가 $V$의 기저일 때
- $R(T) = span(T(\beta)) = span(\{ T(v_{1}), T(v_{2}), ... , T(v_{n})\})$
- 증명)
- $R(T) \supset span(T(\beta))$의 증명
- $\forall i, T(v_{i}) \in R(T)$
- $R(T)$는 $W$의 부분공간이므로
- $span(T(\beta)) \subset R(T)$
- $R(T) \subset span(T(\beta))$의 증명
- $w \in R(T) : w = T(v) \exists v \in V$
- $\beta$는 $V$의 기저이므로
- $v = \sum_{i=1}^{n} a_{i}v_{i}$
- 양변에 $T$를 취하면
- $w = T(v) = \sum_{i=1}^{n} a_{i} T(v_{i}) \in span(T(\beta))$
- $R(T) \subset span(T(\beta))$
- $\therefore R(T) = span(T(\beta))$