Desigualdad de Hadamard
En matemáticas, la desigualdad de Hadamard (también conocida como teorema de Hadamard sobre los determinantes[1]) es un resultado publicado por primera vez por Jacques Hadamard en 1893.[2] Es una cota del determinante de una matriz cuyas entradas son números complejos en términos de las longitudes de sus vectores columna. En términos geométricos, cuando se restringe a números reales, limita el volumen en el espacio euclídeo de n dimensiones marcadas por n vectores vi para 1 ≤ i ≤ n en términos de las longitudes de estos vectores ||vi ||.
Específicamente, la desigualdad de Hadamard establece que si N es la matriz que tiene columnas[3] Vi, entonces
Si los n vectores son distintos de cero, la igualdad en la desigualdad de Hadamard se logra si la bicondicional de los vectores son ortogonales.
Formas alternativas y corolarios
Un corolario es que si las entradas de una matriz N de n por n están acotadas por B, entonces |Nij | ≤ B para todo i y j, entonces
En particular, si las entradas de N son +1 y −1 solamente, entonces[4]
En combinatoria, las matrices N para las cuales se cumple la igualdad, es decir, aquellas con columnas ortogonales, se denominan matrices de Hadamard.
De manera más general, supongamos que N es una matriz compleja de orden n, cuyas entradas están acotadas por |Nij | ≤ 1, para cada i, j entre 1 y n. Entonces la desigualdad de Hadamard establece que
La igualdad en este límite se logra para una matriz real N si la bicondicional N es una matriz de Hadamard.
Una matriz P semidefinida positiva se puede escribir como N*N, donde N* denota la matriz transpuesta conjugada de N (ver Descomposición de una matriz semidefinida). Entonces
Entonces, el determinante de una matriz definida positiva es menor o igual al producto de sus entradas diagonales. A veces esto también se conoce como desigualdad de Hadamard.[2][5]
Prueba
El resultado es trivial si la matriz N es singular, así que supongamos que las columnas de N son linealmente independientes. Al dividir cada columna por su longitud, se puede ver que el resultado es equivalente al caso especial donde cada columna tiene longitud 1, es decir, si ei son vectores unitarios y M es la matriz que tiene a ei como columnas entonces
|
| (1) |
y la igualdad se logra si y sólo si los vectores son un conjunto ortogonal. El resultado general ahora es el siguiente:
Para probar (1), considere P = M*M y sean los valores propios de P λ1, λ2, … λn. Dado que la longitud de cada columna de M es 1, cada entrada en la diagonal de P es 1, por lo que la traza de P es n. Aplicando la desigualdad de medias aritméticas y geométricas,
entonces
Si hay igualdad, entonces cada uno de los λi debe ser igual y su suma es n, por lo que todos deben ser 1. La matriz P es hermitiana, por lo tanto diagonalizable, por lo que es la matriz identidad; en otras palabras, las columnas de M son un conjunto ortonormal y las columnas de N son un conjunto ortogonal.[6] Se pueden encontrar muchas otras pruebas en la literatura.
Véase también
Notas
- ↑ «Hadamard theorem - Encyclopedia of Mathematics». encyclopediaofmath.org. Consultado el 15 de junio de 2020.
- ↑ a b Maz'ya & Shaposhnikova
- ↑ The result is sometimes stated in terms of row vectors. That this is equivalent is seen by applying the transpose.
- ↑ Garling
- ↑ Różański, Michał; Wituła, Roman; Hetmaniok, Edyta (2017). «More subtle versions of the Hadamard inequality». Linear Algebra and Its Applications 532: 500-511. doi:10.1016/j.laa.2017.07.003.
- ↑ Proof follows, with minor modifications, the second proof given in Maz'ya & Shaposhnikova.
Referencias
- Maz'ya, Vladimir; Shaposhnikova, T. O. (1999). Jacques Hadamard: A Universal Mathematician. AMS. pp. 383ff. ISBN 0-8218-1923-2.
- Garling, D. J. H. (2007). Inequalities: A Journey into Linear Analysis. Cambridge. p. 233. ISBN 978-0-521-69973-0.
- Riesz, Frigyes; Szőkefalvi-Nagy, Béla (1990). Functional Analysis. Dover. p. 176. ISBN 0-486-66289-6.
- Weisstein, Eric W. «Hadamard's Inequality». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
Bibliografía
- Beckenbach, Edwin F; Bellman, Richard Ernest (1965). Inequalities. Springer. p. 64.