Mayorización
En matemáticas, la mayorización es un preorden en vectores de números reales. Para un vector , denotamos por el vector con los mismos componentes, pero ordena en orden descendente. Dado , decimos que débilmente mayoriza (o domina) a desde abajo escrito como si y sólo si:
donde y son los elementos of y , respectivamente, ordenados en orden decreciente. De manera equivalente, se dice que débilmente mayoriza (o domina) por desde abajo, denotando como .
Similarmente, decimos que: débilmente mayoriza desde abajo escrito como si y sólo si:
De manera equivalente, decimos que es débilmente mayorizado por desde abajo, denotado como .
Si y además decimos que mayoriza (o domina) escrito como . De manera equivalente, decimos que es mayoritariazado (o dominado) por , denotado como .
Es fácil ver que si y solo si y .
Tenga en cuenta que el orden mayorización no dependen del orden de las componentes de los vectores o . La Mayorización no es un orden parcial, ya un y no implican un . Sólo implica que los componentes de cada vector son iguales, pero no necesariamente en el mismo orden.
Lamentablemente, para confundir el asunto, algunas fuentes bibliográficas utilizan la notación inversa, por ejemplo, se sustituye con . Sobre todo, en Horn y Johnson, el análisis de la matriz (Cambridge Univ. Press, 1985), Definición 4.3.24, mientras que los mismos autores cambiar a la notación tradicional, introducido aquí, más adelante en sus temas de matriz de Topics in Matrix Analysis (1994), y la segunda Matrix analysis (2013).
Una función se dice que es Schur convexo cuando implica . Similarmente, es Schur cóncavo cuando implica
El orden parcial de la mayoría en los conjuntos finitos, que se describe aquí, se puede generalizar al orden de Lorenz , un orden parcial en las funciones de distribución.
Ejemplos
El orden de las entradas no afecta la mayorización, por ejemplo, la declaración es simplemente equivalente a .
(Fuerte) mayorización: . Para vectores con n componentes
(Mayoría débil): . Para vectores con n componentes
Geometría de la mayorización
![](../I/2D_Majorization_Example.png.webp)
Por , tenemos si y solo si está en el casco convexo de todos los vectores obtenidos permutando las coordenadas de .
La Figura 1 muestra el casco convexo en 2D para el vector . Tenga en cuenta que el centro del casco convexo, que es un intervalo en este caso, es el vector . Este es el vector "más pequeño" que satisface para este vector dado .
![](../I/3D_Majorization_Example.png.webp)
La Figura 2 muestra el casco convexo en 3D. El centro del casco convexo, que es un polígono 2D en este caso, es el vector "más pequeño" satisfactorio para este vector dado .
Referencias
- J. Karamata. Sur une inegalite relative aux fonctions convexes. Publ. Math. Univ. Belgrade 1, 145–158, 1932.
- G. H. Hardy, J. E. Littlewood and G. Pólya, Inequalities, 2nd edition, 1952, Cambridge University Press, London.
- Inequalities: Theory of Majorization and Its Applications Albert W. Marshall, Ingram Olkin, Barry Arnold, Second edition. Springer Series in Statistics. Springer, New York, 2011. ISBN 978-0-387-40087-7
- Inequalities: Theory of Majorization and Its Applications (1980) Albert W. Marshall, Ingram Olkin, Academic Press, ISBN 978-0-12-473750-1
- A tribute to Marshall and Olkin's book "Inequalities: Theory of Majorization and its Applications"
- Quantum Computation and Quantum Information, (2000) Michael A. Nielsen and Isaac L. Chuang, Cambridge University Press, ISBN 978-0-521-63503-5
- Matrix Analysis (1996) Rajendra Bhatia, Springer, ISBN 978-0-387-94846-1
- Topics in Matrix Analysis (1994) Roger A. Horn and Charles R. Johnson, Cambridge University Press, ISBN 978-0-521-46713-1
- Majorization and Matrix Monotone Functions in Wireless Communications (2007) Eduard Jorswieck and Holger Boche, Now Publishers, ISBN 978-1-60198-040-3
- The Cauchy Schwarz Master Class (2004) J. Michael Steele, Cambridge University Press, ISBN 978-0-521-54677-5