Wikipedia

Định lý quán tính Sylvester


Định lý quán tính Sylvester là một định lý trong đại số ma trận về các tính chất nhất định, của ma trận ứng với một dạng toàn phương thực, bất biến dưới việc chuyển cơ sở. Cụ thể, giả sử A là ma trận đối xứng của một dạng toàn phương và S là bất kỳ ma trận khả nghịch nào sao cho D=SAS T là ma trận đường chéo, thế thì số phần tử âm trên đường chéo của D luôn giống nhau, với mọi S; và tương tự với số phần tử âm và số phần tử bằng 0.

Phát biểu sửa

Trong trường hợp dạng toàn phương là xác định dấu, ta có định lý sau:

Định lý - Giả sử một dạng toàn phương   trên không gian véc-tơ hữu hạn chiều   có ma trận   (ngầm hiểu   là một ma trận đối xứng) trong một cơ sở nào đó. Thế thì:

  •   xác định dương khi và chỉ khi mọi định thức con chính của   đều dương.
  •   xác định âm khi và chỉ khi mọi định thức con chính của   đều âm.[1]

Chú thích sửa

  1. ^ Nguyễn Hữu Việt Hưng (1999)

Tham khảo sửa

  • Garling, D. J. H. (2011). Clifford algebras. An introduction. London Mathematical Society Student Texts. 78. Cambridge: Cambridge University Press. ISBN 978-1-107-09638-7. Zbl 1235.15025.
  • Nguyễn Hữu Việt Hưng (1999). Đại số tuyến tính. Xem Chương VI, Mục 5, Định lý 5.1
Lấy từ “https://vi.wikipedia.org/w/index.php?title=Định_lý_quán_tính_Sylvester&oldid=64438708”