Kernel, image và định lý rank-nullity

2026-Apr-09 1396 từ 7 phút

Khi một phép biến đổi tuyến tính tác động lên không gian, có hai câu hỏi tự nhiên xuất hiện:

Có những vectơ nào bị biến thành $0$?
Có những vectơ nào ở đầu ra mà ta thực sự chạm tới được?

Hai câu hỏi này dẫn đến hai khái niệm trung tâm: kernel và image. Chúng là cách ngắn gọn nhất để mô tả một phép biến đổi tuyến tính đã “làm mất” cái gì và “giữ lại” cái gì.

1. Trực giác đầu tiên: cái gì biến mất, cái gì còn nhìn thấy?

Hãy tưởng tượng bạn chiếu một vật thể ba chiều xuống bức tường bằng một nguồn sáng đặt rất xa.

Có những thay đổi của vật theo chiều sâu mà bức tường hoàn toàn không nhìn thấy.
Nhưng có những vị trí trên bức tường mà ánh sáng thực sự chiếu tới được.

Trong ví dụ này:

phần chuyển động “vô hình” tương ứng với kernel;
bức tranh thực sự hiện ra trên tường tương ứng với image.

Đây là trực giác tốt nhất để nhớ hai khái niệm này.

2. Kernel là gì?

Cho phép biến đổi tuyến tính

$$ T:V\to W. $$

Khi đó kernel của $T$, ký hiệu là $\ker(T)$, là tập tất cả các vectơ trong $V$ bị đưa về vectơ $0$:

$$ \ker(T)=\{v\in V:\;T(v)=0\}. $$

Hiểu bằng lời:

kernel là tập những hướng mà phép biến đổi “không nhìn thấy”.

Nếu một vectơ nằm trong kernel, thì sau khi qua phép biến đổi, nó biến mất hoàn toàn.

3. Image là gì?

Image của $T$, ký hiệu là $\operatorname{Im}(T)$, là tập tất cả các vectơ ở đầu ra mà $T$ có thể tạo ra:

$$ \operatorname{Im}(T)=\{T(v):\;v\in V\}. $$

Hiểu bằng lời:

image là toàn bộ vùng mà phép biến đổi thực sự chạm tới được ở đầu ra.

Nếu một vectơ ở không gian đích không nằm trong image, thì không có đầu vào nào sinh ra nó.

4. Ví dụ đầu tiên: phép chiếu xuống mặt phẳng

Xét phép biến đổi

$$ T:\mathbb{R}^3\to\mathbb{R}^2,\qquad T(x,y,z)=(x,y). $$

Phép biến đổi này bỏ hẳn tọa độ $z$, tức là chiếu không gian ba chiều xuống mặt phẳng $xy$.

4.1 Tìm kernel

Ta cần giải

$$ T(x,y,z)=(0,0). $$

Điều đó có nghĩa là

$$ (x,y)=(0,0), $$

nên

$$ x=0,\qquad y=0. $$

Không có điều kiện nào đặt lên $z$, vì tọa độ $z$ bị bỏ qua ngay từ đầu. Vậy
$$
\ker(T)=\left{
\begin{bmatrix}
0\
0\
z
\end{bmatrix}: z\in\mathbb{R} \right}. $$

Đây chính là trục $z$.

Ý nghĩa hình học rất rõ: thay đổi theo chiều sâu không xuất hiện ở đầu ra, nên toàn bộ trục $z$ nằm trong kernel.

4.2 Tìm image

Vì với mọi $(a,b)\in\mathbb{R}^2$, ta chỉ cần chọn đầu vào $(a,b,0)$ là đã có

$$ T(a,b,0)=(a,b), $$

nên

$$ \operatorname{Im}(T)=\mathbb{R}^2. $$

Phép chiếu này mất một chiều, nhưng vẫn phủ kín toàn bộ mặt phẳng đích.

5. Ví dụ thứ hai: image không phải lúc nào cũng là toàn bộ không gian đích

Xét

$$ T:\mathbb{R}^3\to\mathbb{R}^2,\qquad T(x,y,z)=(x+y,\;2x+2y). $$

Ở đây, đầu ra luôn có dạng

$$ (a,2a). $$

Điều đó có nghĩa là mọi đầu ra đều nằm trên đường thẳng sinh bởi vectơ

$$ \begin{bmatrix} 1\\ 2 \end{bmatrix}. $$

Vì vậy

$$ \operatorname{Im}(T)=\operatorname{span}\left\{ \begin{bmatrix} 1\\ 2 \end{bmatrix} \right\}. $$

Image ở đây chỉ là một đường thẳng trong $\mathbb{R}^2$, chứ không phải toàn bộ $\mathbb{R}^2$.

5.1 Kernel trong ví dụ này

Ta giải

$$ T(x,y,z)=(0,0). $$

Điều đó tương đương với

$$ x+y=0. $$

Phương trình thứ hai không cho thông tin mới, vì nó chỉ là gấp đôi phương trình thứ nhất. Do đó

$$ y=-x, $$

còn $z$ là tự do. Vậy

$$ \ker(T)=\left\{ \begin{bmatrix} x\\ -x\\ z \end{bmatrix} :x,z\in\mathbb{R} \right\}. $$

Kernel ở đây là một mặt phẳng hai chiều.

Đây là một ví dụ rất đáng nhớ:

đầu vào có $3$ chiều;
image chỉ có $1$ chiều;
kernel có $2$ chiều.

6. Vì sao kernel và image đều là không gian con?

Đây là một tính chất nền tảng.

6.1 Kernel là không gian con

Nếu $u,v\in\ker(T)$, thì

$$ T(u)=0,\qquad T(v)=0. $$

Do $T$ tuyến tính,

$$ T(u+v)=T(u)+T(v)=0+0=0, $$

nên $u+v\in\ker(T)$.

Tương tự, với mọi $\lambda\in\mathbb{R}$,

$$ T(\lambda u)=\lambda T(u)=\lambda\cdot 0=0, $$

nên $\lambda u\in\ker(T)$.

Vì vậy kernel là một không gian con của miền xác định.

6.2 Image là không gian con

Nếu $w_1,w_2\in\operatorname{Im}(T)$, thì tồn tại $u_1,u_2$ sao cho

$$ w_1=T(u_1),\qquad w_2=T(u_2). $$

Khi đó

$$ w_1+w_2=T(u_1)+T(u_2)=T(u_1+u_2)\in\operatorname{Im}(T). $$

Tương tự,

$$ \lambda w_1=\lambda T(u_1)=T(\lambda u_1)\in\operatorname{Im}(T). $$

Vì vậy image là một không gian con của không gian đích.

7. Định lý hạng-không gian-kernel

Đây là định lý trung tâm của bài.

Cho $T:V\to W$ là phép biến đổi tuyến tính, với $V$ hữu hạn chiều. Khi đó

$$ \dim(\ker(T))+\dim(\operatorname{Im}(T))=\dim(V). $$

Định lý này thường được gọi là định lý rank-nullity.

Trong đó:

$\dim(\ker(T))$ được gọi là nullity;
$\dim(\operatorname{Im}(T))$ được gọi là rank.

Nói cách khác:

$$ \text{nullity}(T)+\text{rank}(T)=\dim(V). $$

7.1 Ý nghĩa trực giác

Mỗi chiều của không gian đầu vào chỉ có thể đi về một trong hai số phận:

hoặc nó bị “nuốt” vào kernel;
hoặc nó góp phần tạo ra image.

Vì vậy, tổng số chiều bị mất và số chiều còn nhìn thấy được phải đúng bằng tổng số chiều ban đầu.

Đây là lý do định lý này đẹp: nó nói rằng không có chiều nào “biến mất không dấu vết”.

8. Ví dụ đầy đủ về định lý rank-nullity

Xét

$$ T:\mathbb{R}^3\to\mathbb{R}^2,\qquad T(x,y,z)=(2x+y-z,\;y+2z). $$

Ta sẽ tìm kernel, image và kiểm tra định lý rank-nullity.

8.1 Tìm kernel

Ta giải

$$ T(x,y,z)=(0,0), $$

tức là hệ

$$ \begin{cases} 2x+y-z=0,\\ y+2z=0. \end{cases} $$

Từ phương trình thứ hai,

$$ y=-2z. $$

Thế vào phương trình đầu:

$$ 2x-2z-z=0 \quad\Longrightarrow\quad 2x-3z=0 \quad\Longrightarrow\quad x=\frac{3}{2}z. $$

Đặt $z=2t$, ta được

$$ x=3t,\qquad y=-4t,\qquad z=2t. $$

Vậy

$$ \ker(T)=\operatorname{span}\left\{ \begin{bmatrix} 3\\ -4\\ 2 \end{bmatrix} \right\}, $$

nên

$$ \dim(\ker(T))=1. $$

8.2 Tìm image

Ma trận của $T$ theo cơ sở chuẩn là

$$ A= \begin{bmatrix} 2 & 1 & -1\\ 0 & 1 & 2 \end{bmatrix}. $$

Khử Gauss cho thấy hai hàng độc lập, nên

$$ \operatorname{rank}(A)=2. $$

Vì rank của ma trận chính là số chiều của image, ta có

$$ \dim(\operatorname{Im}(T))=2. $$

Do không gian đích là $\mathbb{R}^2$, điều này cũng có nghĩa là

$$ \operatorname{Im}(T)=\mathbb{R}^2. $$

8.3 Kiểm tra định lý

Ta có

$$ \dim(\ker(T))+\dim(\operatorname{Im}(T)) =1+2=3 =\dim(\mathbb{R}^3). $$

Định lý được kiểm chứng đúng trong ví dụ này.

9. Cách tính kernel và image bằng ma trận

Khi $T$ được biểu diễn bởi ma trận $A$, ta có thể tính hai đối tượng này rất cơ học.

9.1 Kernel

Muốn tìm kernel, ta giải hệ thuần nhất

$$ Ax=0. $$

Không gian nghiệm của hệ này chính là kernel.

9.2 Image

Muốn tìm image, ta nhìn vào các cột của $A$. Image chính là không gian sinh bởi các cột của ma trận:

$$ \operatorname{Im}(T)=\operatorname{Col}(A). $$

Để tìm một cơ sở của image, ta khử Gauss và lấy các cột trụ của ma trận gốc.

9.3 Rank

Số cột trụ chính là rank của ma trận, cũng là số chiều của image.

Vì vậy:

kernel đến từ nghiệm của $Ax=0$;
image đến từ không gian cột của $A$;
rank là số chiều của image.

10. Kết luận

Kernel và image là hai cách nhìn bổ sung cho nhau:

kernel cho biết cái gì bị triệt tiêu;
image cho biết cái gì thực sự xuất hiện ở đầu ra.

Định lý rank-nullity nối hai phía đó lại bằng một công thức rất đẹp: