The range (image, column space) is the set that some function \(T\) maps to.
constituents
some \(T: V\to W\)
requirements
The range is just the space the map maps to:
\begin{equation} range\ T = \{Tv: v \in V\} \end{equation}
additional information
range is a subspace of the codomain
This result is hopefully not super surprising.
zero
\begin{equation} T0 = 0 \end{equation}
as linear maps take \(0\) to \(0\), so \(0\) is definitely in the range.
addition and scalar multiplication
inherits from additivity and homogeneity of Linear Maps.
Given \(T v_1 = w_1,\ T v_2=w_2\), we have that \(w_1, w_2 \in range\ T\).
\begin{equation} T(v_1 + v_2) = w_1 + w_2 \end{equation}
\begin{equation} T(\lambda v_1) = \lambda w_1 \end{equation}
So closed under addition and scalar multiplication. Having shown the zero and closure, we have that the range is a subspace of the codomain. \(\blacksquare\)