En matemáticas , dos matrices cuadradasysobre un campo se denominan congruentes si existe una matriz invertible sobre el mismo campo de tal manera que
La congruencia de matrices surge al considerar el efecto del cambio de base en la matriz de Gram asociada a una forma bilineal o cuadrática en un espacio vectorial de dimensión finita : dos matrices son congruentes si y solo si representan la misma forma bilineal con respecto a bases diferentes .
Halmos define la congruencia en términos de transpuesta conjugada (con respecto a un espacio de producto interno complejo ) en lugar de transpuesta, [ 1 ] pero esta definición no ha sido adoptada por la mayoría de los demás autores.
Congruencia sobre los números reales
La ley de inercia de Sylvester establece que dos matrices simétricas congruentes con entradas reales tienen el mismo número de autovalores positivos, negativos y cero . Es decir, el número de autovalores de cada signo es un invariante de la forma cuadrática asociada. [ 2 ]
Véase también
Referencias
- ^ Halmos, Paul R. (1958). Espacios vectoriales de dimensión finita . van Nostrand . pag. 134.
- ↑ Sylvester, JJ (1852). "Una demostración del teorema de que todo polinomio cuadrático homogéneo es reducible mediante sustituciones ortogonales reales a la forma de una suma de cuadrados positivos y negativos" (PDF) . Philosophical Magazine . IV : 138–142 . Consultado el 30 de diciembre de 2007 .
- Gruenberg, KW ; Weir, AJ (1967). Geometría lineal . van Nostrand. pág. 80.
- Hadley, G. (1961). Álgebra lineal . Addison-Wesley . pág. 253 .
- Herstein, IN (1975). Temas de álgebra . Wiley . pág . 352. ISBN 0-471-02371-X.
- Mirsky, L. (1990). Introducción al álgebra lineal . Dover Publications . pág. 182. ISBN 0-486-66434-1.
- Marcus, Marvin ; Minc, Henryk (1992). Un estudio sobre la teoría de matrices y las desigualdades matriciales . Dover Publications. pág. 81. ISBN 0-486-67102-X.
- Norman, CW (1986). Álgebra para estudiantes de pregrado . Oxford University Press . pág. 354. ISBN 0-19-853248-2.
- Álgebra lineal
- Matrices (matemáticas)
- Equivalencia (matemáticas)