Toán tử tuyến tính là gì? Khái niệm, tính chất và lý thuyết phổ

Toán tử tuyến tính là một ánh xạ giữa hai không gian vector trên cùng một trường số, bảo toàn cấu trúc đại số thông qua hai phép toán cơ bản là phép cộng vector và phép nhân với vô hướng.

Định nghĩa toán học và tính chất nền tảng

Cho $X$ và $Y$ là hai không gian vector cùng xác định trên một trường số $\mathbb{K}$ (thường là trường số thực $\mathbb{R}$ hoặc trường số phức $\mathbb{C}$). Một ánh xạ $T: X \to Y$ được gọi là một toán tử tuyến tính nếu thỏa mãn đồng thời hai điều kiện sau với mọi phần tử $u, v \in X$ và mọi vô hướng $\alpha \in \mathbb{K}$:

• Tính chất cộng tính: $T(u + v) = T(u) + T(v)$
• Tính chất thuần nhất: $T(\alpha u) = \alpha T(u)$

Hai điều kiện trên có thể được phát biểu gộp lại thành một hệ thức tương đương duy nhất: $T(\alpha u + \beta v) = \alpha T(u) + \beta T(v)$ với mọi $u, v \in X$ và $\alpha, \beta \in \mathbb{K}$. Từ tính chất tuyến tính, ta luôn suy ra được rằng ảnh của vector không trong miền xác định luôn là vector không trong miền giá trị: $T(0_X) = 0_Y$.

Không gian con hạt nhân và ảnh của toán tử

Với mỗi toán tử tuyến tính $T: X \to Y$, hai không gian con đại số đặc trưng gắn liền với cấu trúc của $T$ bao gồm:

• Hạt nhân (Kernel hay Null space): Ký hiệu là $\ker(T)$ hoặc $N(T)$, là tập hợp tất cả các vector trong $X$ được ánh xạ về vector không trong $Y$:
  $$\ker(T) = \{x \in X : T(x) = 0_Y\}$$
  Toán tử $T$ là đơn ánh khi và chỉ khi $\ker(T) = \{0_X\}$.
• Ảnh (Range hay Image): Ký hiệu là $\operatorname{im}(T)$ hoặc $R(T)$, là tập hợp tất cả các giá trị đầu ra trong $Y$:
  $$\operatorname{im}(T) = \{y \in Y : \exists x \in X, T(x) = y\} = \{T(x) : x \in X\}$$
  Toán tử $T$ là toàn ánh khi và chỉ khi $\operatorname{im}(T) = Y$.

Trong trường hợp không gian hữu hạn chiều, mối liên hệ giữa số chiều của miền xác định, hạt nhân và ảnh được thiết lập thông qua Định lý Hạng-Hạt nhân: $\dim(X) = \dim(\ker(T)) + \dim(\operatorname{im}(T))$.

Toán tử tuyến tính bị chặn và tính liên tục trong giải tích hàm

Khi các không gian vector $X$ và $Y$ được trang bị chuẩn (trở thành các không gian định chuẩn với chuẩn tương ứng $\|\cdot\|_X$ và $\|\cdot\|_Y$), khái niệm topo về tính liên tục xuất hiện.

Một kết quả nền tảng trong giải tích hàm phát biểu rằng: Đối với một toán tử tuyến tính $T: X \to Y$, các mệnh đề sau là hoàn toàn tương đương:

1. Toán tử $T$ liên tục tại mọi điểm thuộc $X$.
2. Toán tử $T$ liên tục tại gốc tọa độ $0_X$.
3. Toán tử $T$ là toán tử bị chặn, nghĩa là tồn tại một hằng số thực $C \ge 0$ sao cho:
   $$\|T(x)\|_Y \le C \|x\|_X \quad \forall x \in X$$

Chuẩn của toán tử tuyến tính bị chặn $T$, ký hiệu là $\|T\|$, được xác định bằng cận trên đúng của độ co giãn vector:

Không gian vector gồm tất cả các toán tử tuyến tính bị chặn từ $X$ vào $Y$, ký hiệu là $B(X, Y)$ hoặc $\mathcal{L}(X, Y)$, trở thành một không gian định chuẩn với chuẩn toán tử. Đặc biệt, nếu $Y$ là một không gian Banach (không gian định chuẩn đầy đủ), thì $B(X, Y)$ cũng là một không gian Banach, bất kể $X$ có đầy đủ hay không.

Các lớp toán tử tuyến tính đặc biệt trên không gian Hilbert

Trên không gian Hilbert $H$ với tích vô hướng $\langle \cdot, \cdot \rangle$, định lý biểu diễn Riesz cho phép xây dựng toán tử liên hợp $T^*$ thỏa mãn $\langle T x, y \rangle = \langle x, T^* y \rangle$ với mọi $x, y \in H$. Từ đây hình thành các lớp toán tử quan trọng:

• Toán tử tự liên hợp (Self-adjoint operator): Thỏa mãn $T = T^*$, có phổ luôn là tập con của trục số thực và các vector riêng ứng với các giá trị riêng phân biệt luôn trực giao với nhau.
• Toán tử unita (Unitary operator): Thỏa mãn $T T^* = T^* T = I$, bảo toàn tích vô hướng và độ dài vector, tương ứng với các biến đổi đẳng cự toàn ánh.
• Toán tử compact (Compact operator): Biến mọi tập bị chặn thành tập có bao đóng compact. Toán tử compact là mở rộng tự nhiên của ma trận hữu hạn chiều lên không gian vô hạn chiều.
• Toán tử chiếu (Projection operator): Thỏa mãn tính chất lũy đẳng $P^2 = P$ và tự liên hợp $P^* = P$, phân rã không gian thành tổng trực tiếp của các không gian con.

Lớp toán tử	Điều kiện đại số / Topo	Ý nghĩa và ứng dụng tiêu biểu
Bị chặn (Bounded)	$\|Tx\| \le C\|x\|$	Tương đương với tính liên tục trong không gian định chuẩn
Tự liên hợp (Self-adjoint)	$T = T^*$	Mô tả các đại lượng quan sát được trong cơ học lượng tử
Unita (Unitary)	$T^* T = T T^* = I$	Mô tả tiến hóa thời gian bảo toàn xác suất trong phương trình Schrödinger
Compact	Biến tập bị chặn thành tập tiền compact	Giải phương trình tích phân Fredholm và xấp xỉ phổ

Lý thuyết phổ và ứng dụng khoa học

Lý thuyết phổ của toán tử tuyến tính khảo sát tập hợp các vô hướng $\lambda \in \mathbb{C}$ sao cho toán tử $T - \lambda I$ không khả nghịch trong $B(X)$. Phổ $\sigma(T)$ được phân chia thành phổ điểm (tập các giá trị riêng), phổ liên tục và phổ dư.

Định lý phổ cho các toán tử tự liên hợp bị chặn thiết lập cầu nối chuyển hóa việc nghiên cứu cấu trúc toán tử phức tạp thành tích phân phổ theo các độ đo chiếu. Trong vật lý lượng tử, vị trí và động lượng của hạt vi mô được biểu diễn dưới dạng các toán tử vi phân tuyến tính (như toán tử vị trí $\hat{x}$ và toán tử động lượng $\hat{p} = -i\hbar \nabla$), với phổ của toán tử chính là tập hợp các kết quả có thể thu được trong phép đo vật lý thực tế.

Ranh giới và toán tử không bị chặn

Trong không gian vô hạn chiều, nhiều toán tử vi phân quan trọng (như toán tử Laplace $\Delta$ hay toán tử đạo hàm $d/dx$) là các toán tử không bị chặn và không xác định trên toàn bộ không gian mà chỉ trên một miền trù mật. Việc khảo sát các toán tử này đòi hỏi lý thuyết toán tử đóng và giải tích nửa nhóm, đánh dấu ranh giới sâu sắc giữa đại số tuyến tính hữu hạn chiều và giải tích hàm hiện đại.