Bài giảng 4: Phép Biến Đổi Cột
(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é! )
Chúng ta có thể thực hiện các phép biến đổi trên các cột của một ma trận theo cách tương tự như các phép biến đổi hàng đã xét trước đó. Định lý tiếp theo cho thấy rằng các phép biến đổi cột có ảnh hưởng đến định thức giống như các phép biến đổi hàng.
Chú thích: Nguyên lý quy nạp toán học phát biểu như sau: Giả sử
là một mệnh đề có thể đúng hoặc sai với mỗi số tự nhiên
. Khi đó,
đúng với mọi
nếu:
đúng.- Với mỗi số tự nhiên
, nếu
đúng thì
cũng đúng.
Nguyên lý quy nạp toán học sẽ được sử dụng để chứng minh định lý tiếp theo.
Định lý 5
Nếulà một ma trận
, thì:
Chứng minh: Định lý này hiển nhiên đúng với
. Giả sử định lý đúng với các định thức
và xét
. Khi đó, phần tử phụ của
trong
bằng phần tử phụ của
trong
, vì các phần tử phụ này đều liên quan đến các định thức
. Do đó, khai triển định thức theo hàng đầu tiên của
sẽ bằng khai triển định thức theo cột đầu tiên của
. Điều này chứng tỏ
và
có cùng định thức.
Vì định lý đúng với
, và nếu đúng với
thì cũng đúng với
, nên theo nguyên lý quy nạp toán học, định lý đúng với mọi
.
Do Định lý 5, mỗi phát biểu trong Định lý 3 vẫn đúng khi thay từ “hàng” bằng “cột”. Để kiểm chứng tính chất này, chỉ cần áp dụng Định lý 3 ban đầu cho
. Một phép biến đổi hàng trên
tương ứng với một phép biến đổi cột trên
.
Các phép biến đổi cột có ích cho cả mục đích lý thuyết lẫn tính toán bằng tay. Tuy nhiên, để đơn giản, chúng ta sẽ chỉ thực hiện các phép biến đổi hàng trong các phép tính số học.
Định Thức và Tích Ma Trận
Chứng minh của định lý hữu ích sau đây sẽ được trình bày ở cuối phần. Các ứng dụng của nó có trong phần bài tập.
Định lý 6 - Tính chất nhân
Nếuvà
là các ma trận
, thì:
Ví dụ 5: Xác minh Định lý 6 cho hai ma trận
và
.
Giải:
![]()
và
![]()
Khi
và
,
![]()
Lưu ý: Một quan niệm sai lầm phổ biến là định lý 6 có một dạng tương tự đối với tổng của hai ma trận. Tuy nhiên, trong hầu hết các trường hợp:
.
Tính Chất Tuyến Tính của Hàm Định Thức
Đối với một ma trận
là
, ta có thể coi
như một hàm của nn vector cột trong
. Chúng ta sẽ chứng minh rằng nếu giữ cố định tất cả các cột trừ một cột, thì
là một hàm tuyến tính của cột biến thiên đó.
Giả sử cột thứ
của
có thể thay đổi, ta viết:
![]()
Xét phép biến đổi
từ
vào
được xác định bởi:
![]()
Khi đó:
(2) ![]()
với mọi số vô hướng
và mọi ![]()
(3) ![]()
với mọi
.
Tính chất (1) là hệ quả trực tiếp của Định lý 3(c) khi áp dụng cho các cột của
. Chứng minh tính chất (2) có thể thực hiện bằng cách khai triển định thức theo cột thứ
.
Tính chất (đa) tuyến tính của định thức này có nhiều hệ quả quan trọng và sẽ được nghiên cứu sâu hơn trong các khóa học nâng cao.
Chứng Minh Định Lý 3 và 6
Việc chứng minh Định lý 3 sẽ thuận tiện hơn khi phát biểu nó dưới dạng các ma trận sơ cấp. Ta gọi ma trận sơ cấp
là:
- Thay thế hàng (row replacement): Nếu
thu được từ ma trận đơn vị
bằng cách cộng một bội của một hàng vào một hàng khác. - Hoán vị hàng (interchange): Nếu
thu được bằng cách hoán vị hai hàng của
. - Nhân một hàng với
(scale by
): Nếu
thu được bằng cách nhân một hàng của
với một số vô hướng khác 0,
.
Với cách gọi này, Định lý 3 có thể được phát biểu lại như sau:
Nếu
là ma trận
và
là ma trận sơ cấp
, thì ![]()
trong đó:
nếu
là thay thế hàng
nếu
là hoán vị hàng
nếu
là phép nhân một hàng với
.
Chứng Minh Định Lý 3
Chứng minh được thực hiện bằng quy nạp theo kích thước của
.
- Trường hợp cơ sở: Với ma trận
, định lý đã được xác minh trong bài trước. - Bước quy nạp: Giả sử định lý đúng với mọi ma trận
với
. Xét ma trận
với
.
Khi
tác động lên
, nó chỉ ảnh hưởng đến một hoặc hai hàng của
. Do đó, ta có thể khai triển định thức
theo một hàng không thay đổi bởi
, giả sử là hàng
.
Gọi
và
lần lượt là các ma trận thu được bằng cách xóa hàng ii và cột
khỏi
và
. Khi đó, các hàng của
được tạo ra từ các hàng của
bằng cùng một phép biến đổi sơ cấp mà
áp dụng lên
. Vì các ma trận con này có kích thước
, giả thiết quy nạp cho phép ta kết luận:
![]()
với
hoặc
, tùy thuộc vào bản chất của
.
Khai triển định thức theo hàng ![]()
![]()
![]()
Đặc biệt, nếu chọn
, ta có
, hoặc
, tùy theo dạng của
. Vì vậy, định lý đúng với
và đúng với
suy ra đúng với
, theo nguyên lý quy nạp, định lý đúng với mọi
. Định lý này hiển nhiên đúng với
.
Chứng Minh Định Lý 6
Nếu
không khả nghịch, thì
cũng không khả nghịch. Khi đó, ta có
, vì cả hai vế đều bằng 0.
Nếu
khả nghịch, thì theo Định lý Ma trận Khả nghịch,
tương đương hàng với ma trận đơn vị
. Nghĩa là, tồn tại các ma trận sơ cấp
sao cho:
![]()
Đặt
là
. Khi đó, áp dụng Định lý 3 nhiều lần, ta có:

Vậy ta đã chứng minh được Định lý 6.
