Bài giảng 20: Các Không Gian Con của 
(Nếu công thức chưa load được hoặc mờ, các bạn ấn refresh để công thức hiện và rõ nét hơn nhé! )
Phần này tập trung vào các tập hợp quan trọng của các vector trong được gọi là không gian con. Thông thường, các không gian con xuất hiện liên quan đến một ma trận
, và chúng cung cấp thông tin hữu ích về phương trình
.
Định nghĩa
Một không gian con củalà bất kỳ tập hợp
nào trong
thỏa mãn ba tính chất sau:
a. Vector.
b. Với mọi, thì
.
c. Với mọivà mọi số vô hướng
, thì
.
Nói cách khác, một không gian con phải được bảo toàn dưới phép cộng vector và phép nhân vô hướng. Trong các ví dụ tiếp theo, bạn sẽ thấy rằng hầu hết các tập hợp vector được đề cập trong các bài trước đều là không gian con. Ví dụ, một mặt phẳng đi qua gốc tọa độ là một cách trực quan tiêu chuẩn để hình dung về không gian con, như minh họa trong Ví dụ 1. Xem hình 1.


Ví dụ 1: Nếu và
thuộc
và
, thì
là một không gian con của
.
Để kiểm chứng điều này, trước hết ta thấy rằng vector không nằm trong , vì
là một tổ hợp tuyến tính của
và
. Bây giờ, xét hai vector bất kỳ trong
.
và
Khi đó:
Điều này cho thấy cũng là một tổ hợp tuyến tính của
và
, do đó thuộc
.
Tương tự, với mọi vô hướng , ta có
. Do đó,
cũng thuộc
.
Nếu khác vector không và
là một bội của
, thì tập hợp
chỉ sinh ra một đường thẳng đi qua gốc tọa độ. Vì vậy, một đường thẳng đi qua gốc tọa độ cũng là một ví dụ về không gian con.
Ví dụ 2: Một đường thẳng không đi qua gốc tọa độ không phải là một không gian con, vì nó không chứa gốc tọa độ, như yêu cầu trong định nghĩa. Hơn nữa, như trong hình 2,
cũng không đóng dưới phép cộng hoặc nhân vô hướng.

Ví dụ 3: Với các vector , tập hợp tất cả các tổ hợp tuyến tính của
là một không gian con của
. Việc kiểm chứng điều này tương tự như trong ví dụ 1. Từ bây giờ, ta sẽ gọi Span
là không gian con sinh ra bởi
.
Lưu ý rằng cũng là một không gian con của chính nó vì nó thỏa mãn cả ba điều kiện trên. Một không gian con đặc biệt khác là tập hợp chỉ chứa vector không trong
, được gọi là không gian con không (zero subspace), và nó cũng thỏa mãn các điều kiện để là một không gian con.
- 1 - Bài giảng 1: Đại số Ma trận
- 2 - Bài giảng 2: Các phép toán ma trận
- 3 - Bài giảng 3: Phép nhân ma trận
- 4 - Bài giảng 4: Các Tính Chất của Phép Nhân Ma Trận
- 5 - Bài giảng 5: Chuyển vị của ma trận
- 6 - Bài giảng 6: Nghịch Đảo Của Ma Trận
- 7 - Bài giảng 7: Ma trận sơ cấp
- 8 - Bài giảng 8: Thuật toán tìm nghịch đảo của ma trận
- 9 - Bài giảng 9: Các đặc trưng của ma trận khả nghịch
- 10 - Bài giảng 10: Ma trận Khối
- 11 - Bài giảng 11: Nghịch đảo của Ma trận Khối
- 12 - Bài giảng 12: Phân rã ma trận
- 13 - Bài giảng 13: Thuật toán Phân rã LU
- 14 - Bài giảng 14: Phân rã Ma Trận trong Kỹ Thuật Điện
- 15 - Bài giảng 15: Mô hình cân đối liên ngành của Leontief
- 16 - Bài giảng 16: Mô hình cân đối liên ngành của Leontief (tiếp theo)
- 17 - Bài giảng 17: Ứng Dụng ma trận trong Đồ Họa Máy Tính
- 18 - Bài giảng 18: Biến Đổi Kết Hợp
- 19 - Bài giảng 19: Phép Chiếu Phối Cảnh
- 20 - Bài giảng 20: Các Không Gian Con của
- 21 - Bài giảng 21: Không gian cột và không gian null của ma trận
- 22 - Bài giảng 22: Cơ sở của một không gian con
- 23 - Bài giảng 23: Số chiều và Hạng
- 24 - Bài giảng 24: Số Chiều của Một Không Gian Con