Ma trận tương đẳng

Trong toán học, hai ma trận vuông AB trên một trường được gọi là tương đẳng (congruent) nếu tồn tại một ma trận khả nghịch P trên cùng trường sao cho

PTAP = B

trong đó "T" ký hiệu cho phép chuyển vị ma trận. Sự tương đẳng ma trận là một quan hệ tương đương.

Khái niệm ma trận tương đẳng nảy sinh khi xét tác động của phép chuyển cơ sở trên ma trận Gram gắn với một dạng song tuyến tính hay dạng toàn phương trên một không gian vectơ hữu hạn chiều: hai ma trận tương đẳng khi và chỉ khi chúng biểu diễn cùng một dạng song tuyến tính đối với các cơ sở khác nhau.

Lưu ý rằng Halmos định nghĩa sự tương đẳng dưới dạng chuyển vị liên hợp (đối với một không gian tích trong phức) thay vì chuyển vị,[1] nhưng định nghĩa này không được chấp nhận bởi hầu hết các tác giả khác.

Sự tương đẳng trên trường số thựcSửa đổi

Định lý quán tính Sylvester phát biểu rằng hai ma trận đối xứng thực tương đẳng có cùng số giá trị riêng dương, âm và bằng 0. Tức là số giá trị riêng của mỗi dấu là bất biến đối với dạng toàn phương tương ứng.[2]

Xem thêmSửa đổi

Tham khảoSửa đổi

  1. ^ Halmos, Paul R. (1958). Finite dimensional vector spaces. van Nostrand. tr. 134.
  2. ^ Sylvester, J J (1852). “A demonstration of the theorem that every homogeneous quadratic polynomial is reducible by real orthogonal substitutions to the form of a sum of positive and negative squares” (PDF). Philosophical Magazine. IV: 138–142. Truy cập ngày 30 tháng 12 năm 2007.

Văn liệuSửa đổi