Đại số tuyến tính là một nhánh quan trọng của toán học, nghiên cứu về các không gian vector, các phép biến đổi tuyến tính và các hệ phương trình tuyến tính. Kiến thức nền tảng này vô cùng cần thiết cho nhiều lĩnh vực khoa học, kỹ thuật, kinh tế và cả trí tuệ nhân tạo. Bài viết này sẽ tổng hợp và đi sâu vào các khái niệm cốt lõi của lý thuyết đại số tuyến tính, cung cấp cái nhìn toàn diện và chi tiết nhất.
I. Khái niệm cơ bản về không gian tuyến tính
Không gian tuyến tính, hay còn gọi là không gian vector, là một tập hợp các đối tượng (vector) cùng với hai phép toán cơ bản: phép cộng vector và phép nhân vector với vô hướng (số thực hoặc số phức). Để một tập hợp V cùng với hai phép toán này được gọi là không gian tuyến tính, nó phải thỏa mãn 10 tiên đề nghiêm ngặt về tính đóng, tính chất giao hoán, kết hợp, tồn tại phần tử không, phần tử đối, và các tính chất phân phối liên quan đến phép nhân vô hướng.
Các tiên đề chi tiết:
- Tính đóng với phép cộng: Với mọi vector x, y thuộc V, thì x + y cũng thuộc V.
- Tính đóng với phép nhân vô hướng: Với mọi vô hướng a và mọi vector x thuộc V, thì ax cũng thuộc V.
- Tính chất giao hoán của phép cộng: x + y = y + x.
- Tính chất kết hợp của phép cộng: (x + y) + z = x + (y + z).
- Tồn tại phần tử không (vector không): Có một vector 0 trong V sao cho x + 0 = x với mọi x thuộc V.
- Tồn tại số đối: Với mỗi vector x thuộc V, tồn tại vector -x sao cho x + (-x) = 0.
- Tính chất kết hợp của phép nhân vô hướng: (ab)x = a(bx).
- Tính chất phân phối của phép nhân vô hướng đối với phép cộng vector: a(x + y) = ax + ay.
- Tính chất phân phối của phép nhân vô hướng đối với phép cộng vô hướng: (a + b)x = ax + bx.
- Tồn tại đơn vị nhân: 1x = x với mọi x thuộc V.
Khi tập vô hướng là tập số phức C thay vì số thực R, ta có định nghĩa không gian tuyến tính phức. Hiểu rõ 10 tiên đề này là bước đầu tiên để làm việc với bất kỳ cấu trúc không gian vector nào trong lý thuyết đại số tuyến tính.
II. Không gian tuyến tính con và hệ sinh
Nếu V là một không gian tuyến tính và S là một tập con không rỗng của V, thì S được gọi là một không gian tuyến tính con của V nếu nó cũng thỏa mãn các tiên đề của một không gian tuyến tính dưới các phép toán kế thừa từ V. Nói cách khác, S phải đóng dưới phép cộng vector và phép nhân vô hướng.
Hệ sinh (Span) của một tập hợp các vector S, ký hiệu là span S, là tập hợp tất cả các tổ hợp tuyến tính có thể có của các vector trong S. span S là không gian con nhỏ nhất của V chứa S.
Công thức xác định span S như sau:
span S = {∑_{i=1}^n c_i x_i | n ∈ ℕ, ∀i ∈ ℕ, 1 ≤ i ≤ n: c_i ∈ ℝ, x_i ∈ S}
Trong đó, c_i là các vô hướng và x_i là các vector thuộc tập S. span S bao gồm mọi vector có thể biểu diễn dưới dạng tổng có trọng số của các vector trong S. Khái niệm hệ sinh rất quan trọng để xây dựng nên các không gian con.
III. Cơ sở và Số chiều của không gian vector
Một tập hợp các vector B = {v₁, v₂, ..., v<0xE2><0x82><0x99>} trong một không gian vector V được gọi là cơ sở của V nếu hai điều kiện sau được thỏa mãn:
- B là một hệ sinh của V (mọi vector trong V đều có thể biểu diễn dưới dạng tổ hợp tuyến tính của các vector trong B).
- B là một tập hợp các vector độc lập tuyến tính (không có vector nào trong B có thể biểu diễn dưới dạng tổ hợp tuyến tính của các vector còn lại).
Cơ sở là một tập hợp các vector tối thiểu và độc lập tuyến tính, đủ để
