17.1. Định nghĩa và một số tính chất cơ bản $\textbf{Định lý 17.1.}\ $ Cho $f\colon V\rightarrow W$ là một ánh xạ tuyến tính. Nếu $U$ là không gian con của $V$, thì ảnh của $U$ qua $f$, định nghĩa bởi $$ f(U):=\{f(\mathbf{u})\mid \mathbf{u}\in U\}, $$ là một không gian véctơ con của $W$. Nếu $T$ là không gian véctơ con của $W$, thì nghịch ảnh của $T$ qua $f$, định nghĩa bởi $$ f^{-1}(T)=\{\mathbf{v}\in V \mid f(\mathbf{v})\in T\}. $$ là một không gian véctơ con của $V$. $\textbf{Chứng minh.} \ $ (a)$\ $ Do $\mathbf{0}\in U$ nên $\mathbf{0}=f(\mathbf{0})\in f(U)$. Vậy $f(U)$ khác rỗng. Với $\mathbf{v}_1, \mathbf{v}_2\in f(U)$, theo định nghĩa, tồn tại $\mathbf{u}_1, \mathbf{u}_2\in U$ sao cho $f(\mathbf{u}_1)=\mathbf{v}_1$ và $f(\mathbf{u}_2)=\mathbf{v}_2$. Khi đó, với mọi vô hướng $\lambda_1, \lambda_2\in \mathbb{K}$ ta có \[ \lambda_1\mathbf{v}_1 + \lambda_2\mathbf{v}_2 = \lambda_1f(\mathbf{u}_1) + \lambda_2f(\mathbf{u}_2) = f(\lambda_1\mathbf{u}_1+\la