✨Định thức con

Trong đại số tuyến tính, một định thức con của một ma trận A là định thức của một ma trận vuông nhỏ hơn tạo thành từ các phần tử nằm trên giao của một số hàng và cột của A.

Định nghĩa

Định thức con cấp n-1

Nếu A là ma trận vuông cấp n, thì định thức con cấp n-1 ứng với hàng i và cột j là định thức của ma trận con được hình thành bằng cách xóa hàng thứ i và cột thứ j của ma trận A. Giá trị của nó thường được ký hiệu là M_i,j. (Lưu ý rằng số hạng tại vị trí (i, j) cũng là một định thức con cấp 1 của A).

Giá trị $(-1)^\{i+j\}$M_i,j bằng với phần bù đại số của số hạng (i, j) trong ma trận A.

Để minh họa các định nghĩa này, hãy xem xét ma trận 3x3 sau đây,

:

Ta có

:

Vì vậy, phần bù đại số của số hạng tại vị trí (2,3) là

: $\backslash \; C${2,3} = (-1)^{2+3}(M{2,3}) = -13.

Các định thức con cấp n-1 của một ma trận vuông cấp n cũng được gọi là các định thức con đầu. Có tất cả $n^2$ định thức con đầu, và $n^2$ phần bù đại số đầu tương ứng.

Định thức con cấp k

Đặt A là một ma trận m × n và k là một số nguyên lớn hơn 0. Một định thức con cấp k của A là định thức của ma trận con tạo bởi các phần tử nằm trên giao của các hàng $i\_1,\backslash dots,i\_k$ và các cột $j\_1,\backslash dots,j\_k$ nào đó của A.

Một cách tương đương, nó cũng là định thức của ma trận con tạo ra từ A bằng cách xóa các hàng không nằm trong $i\_1,\backslash dots,\; i\_k$ và các cột không nằm trong $j\_1,\backslash dots,j\_k$.

Nếu A là một ma trận vuông, nếu giữ các hàng và cột cho ta một định thức con thì xóa các hàng và cột đó cho ta định thức con bù. Phần bù đại số của một định thức con tạo bởi các hàng $i\_1,\backslash dots,i\_k$ và các cột $j\_1,\backslash dots,j\_k$ được cho bởi tích của định thức con bù với hệ số $(-1)^\{i\_1+\backslash dots\; i\_k+j\_1+\backslash dots+j\_k\}$.