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))$