Định thức, trong đại số tuyến tính, là một hàm cho mỗi ma trận vuông A, tương ứng với số vô hướng, ký hiệu là det[A]. Ý nghĩa hình học của định thức là tỷ lệ xích cho thể tích khi A được coi là một biến đổi tuyến tính. Định thức được sử dụng để giải [và biện luận] các hệ phương trình đại số tuyến tính. Định thức chỉ được xác định trong các ma trận vuông. Nếu định thức của một ma trận bằng 0, ma trận này được gọi là ma trận suy biến, nếu định thức bằng 1, ma trận này được gọi là ma trận đơn môđula
Định thức và hệ phương trình đại số tuyến tính
Khái niệm định thức xuất hiện đầu tiên gắn với việc giải hệ phương trình đại số tuyến tính có số phương trình bằng số ẩn. Hệ này có một nghiệm duy nhất khi và chỉ khi định thức của ma trận tương ứng với hệ phương trình này khác 0. Ví dụ hệ hai phương trình tuyến tính hai ẩn: có các hệ số của các ẩn tạo thành ma trận vuông: định thức của nó là: det[A]=ad-bc .Nếu det[A] khác 0, hệ có nghiệm duy nhất Nếu det[A] = 0 hệ có thể có vô số nghiệm hoặc không có nghiệm nào. Nếu e = f = 0, hệ trên là một hệ phương trình tuyến tính thuần nhất, nó luôn có ít nhất một nghiệm tầm thường là x = 0 và y = 0. Khi đó hệ có nghiệm không tầm thường khi và chỉ khi định thức của hệ bằng không. Định thức của ma trận vuông cấp nCho ma trận vuông cấp n: Định nghĩa định thứcĐịnh nghĩa của định thức trong đại số tuyến tính liên quan đến khái niệm dấu của hoán vị. Định thức của ma trận vuông cấp n là tổng đại số của n! [n giai thừa] số hạng, mỗi số hạng là tích của n phần tử lấy trên các hàng và các cột khác nhau của ma trận A, mỗi tích được nhân với phần tử dấu là +1 hoặc -1 theo phép thế tạo bởi các chỉ số hàng và chỉ số cột của các phần tử trong tích. Gọi Sn là nhóm các hoán vị của n phần tử 1,2,...,n ta có:[Công thức Leibniz] Áp dụng với các ma trận vuông cấp 1,2,3 ta có: Các ứng dụngCác định thức đựoc dùng để kiểm tra các ma trận có ma trận nghịch đảo không [các ma trận khả nghịch và chỉ chúng là các ma trận có định thức khác 0] và để biểu diễn nghiệm của một hệ phương trình tuyến tính qua định lý Cramer. chúng được dùng để tìm các vector riêng của ma trận A qua đa thức đặc trưng Trong đó, I là ma trận đơn vị [identity matrix] có cùng kích thước với A. Người ta còn xem định thức như là hàm xác định trên lên các bộ n vector trong không gian Các định thức còn được dùng để tính thể tích trong giải tích vector: Giá trị tuyệt đối của định thức của các vector trên trường số thực thì bằng với thể tích của hình hộp tạo ra bởi các vectors đó. Như là một hệ quả, nếu một ánh xạ tuyến tính Một cách tổng quát hơn, nếu ánh xạ tuyến tính Thể tích của tứ diện bất kì, cho bởi các đỉnh a, b, c, và d, là [1/6]·|det[ab, bc, cd]|. Ví dụTìm định thức của ma trận: Cách 1: Sử dụng công thức Leibniz Cách 2: Sử dụng công thức Laplace để khai triển định thức theo một hàng hoặc một cột. Cách tốt nhất là chọn hàng, hoặc cột nào có nhiều phần tử bằng 0, vì như vậy, giá trị định thức của phần tử đó sẽ bằng 0 [ Cách 3: Sử dụng phép khử Gauss, bằng việc áp dụng các tính chất của định thức, biến đổi các cột, hoặc hàng thành dạng đơn giản, như chứa phần tử bằng 0, sau đó tính định thức theo hàng, cột đó. và định thức sẽ được tính nhanh khi khai triển theo cột đầu tiên: Các tính chất và phép biến đổi trên các hàng và các cột của định thứcCác tính chất và phép biến đổi trên các hàng và các cột của định thức
|