# Mayorización

En matemáticas, la mayorización es un preorden en vectores de números reales. Para un vector $\mathbf {a} \in \mathbb {R} ^{d}$, denotamos por $\mathbf {a} ^{\downarrow }\in \mathbb {R} ^{d}$ el vector con los mismos componentes, pero ordena en orden descendente. Dado $\mathbf {a} ,\mathbf {b} \in \mathbb {R} ^{d}$, decimos que $\mathbf {a}$ débilmente mayoriza (o domina) a $\mathbf {b}$ desde abajo escrito como $\mathbf {a} \succ _{w}\mathbf {b}$ si y sólo si:
    $\sum _{i=1}^{k}a_{i}^{\downarrow }\geq \sum _{i=1}^{k}b_{i}^{\downarrow }\quad {\text{for }}k=1,\dots ,d,$
donde $a_{i}^{\downarrow }$ y $b_{i}^{\downarrow }$ son los elementos of $\mathbf {a}$ y $\mathbf {b}$, respectivamente, ordenados en orden decreciente. De manera equivalente, se dice que $\mathbf {b}$ débilmente mayoriza (o domina) por $\mathbf {a}$ desde abajo, denotando como $\mathbf {b} \prec _{w}\mathbf {a}$.
Similarmente, decimos que: $\mathbf {a}$ débilmente mayoriza $\mathbf {b}$ desde abajo escrito como $\mathbf {a} \succ ^{w}\mathbf {b}$ si y sólo si:
    $\sum _{i=k}^{d}a_{i}^{\downarrow }\leq \sum _{i=k}^{d}b_{i}^{\downarrow }\quad {\text{for }}k=1,\dots ,d,$
De manera equivalente, decimos que $\mathbf {b}$ es débilmente mayorizado por $\mathbf {a}$ desde abajo, denotado como $\mathbf {b} \prec ^{w}\mathbf {a}$.
Si $\mathbf {a} \succ _{w}\mathbf {b}$ y además $\sum _{i=1}^{d}a_{i}=\sum _{i=1}^{d}b_{i}$ decimos que $\mathbf {a}$ mayoriza (o domina) $\mathbf {b}$ escrito como $\mathbf {a} \succ \mathbf {b}$. De manera equivalente, decimos que $\mathbf {b}$ es mayoritariazado (o dominado) por $\mathbf {a}$, denotado como $\mathbf {b} \prec \mathbf {a}$.
Es fácil ver que $\mathbf {a} \succ \mathbf {b}$ si y solo si $\mathbf {a} \succ _{w}\mathbf {b}$ y $\mathbf {a} \succ ^{w}\mathbf {b}$.
Tenga en cuenta que el orden mayorización no dependen del orden de las componentes de los vectores $\mathbf {a}$ o $\mathbf {b}$. La Mayorización no es un orden parcial, ya un $\mathbf {a} \succ \mathbf {b}$ y $\mathbf {b} \succ \mathbf {a}$ no implican un $\mathbf {a} =\mathbf {b}$. 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,$\succ$ se sustituye con $\prec$. 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 $f:\mathbb {R} ^{d}\to \mathbb {R}$ se dice que es Schur convexo cuando $\mathbf {a} \succ \mathbf {b}$ implica $f(\mathbf {a} )\geq f(\mathbf {b} )$. Similarmente, $f(\mathbf {a} )$ es Schur cóncavo cuando $\mathbf {a} \succ \mathbf {b}$ implica $f(\mathbf {a} )\leq f(\mathbf {b} ).$
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 $(1,2)\prec (0,3)$ es simplemente equivalente a $(2,1)\prec (3,0)$.
(Fuerte) mayorización: $(1,2,3)\prec (0,3,3)\prec (0,0,6)$. Para vectores con n componentes
    $\left({\frac {1}{n}},\ldots ,{\frac {1}{n}}\right)\prec \left({\frac {1}{n-1}},\ldots ,{\frac {1}{n-1}},0\right)\prec \cdots \prec \left({\frac {1}{2}},{\frac {1}{2}},0,\ldots ,0\right)\prec \left(1,0,\ldots ,0\right).$
(Mayoría débil): $(1,2,3)\prec _{w}(1,3,3)\prec _{w}(1,3,4)$. Para vectores con n componentes
    $\left({\frac {1}{n}},\ldots ,{\frac {1}{n}}\right)\prec _{w}\left({\frac {1}{n-1}},\ldots ,{\frac {1}{n-1}},1\right).$

## Geometría de la mayorización

Por $\mathbf {x} ,\mathbf {y} \in \mathbb {R} ^{n},$, tenemos $\mathbf {x} \prec \mathbf {y}$ si y solo si $\mathbf {x}$ está en el casco convexo de todos los vectores obtenidos permutando las coordenadas de $\mathbf {y}$.
La Figura 1 muestra el casco convexo en 2D para el vector $\mathbf {y} =(3,\,1)$. Tenga en cuenta que el centro del casco convexo, que es un intervalo en este caso, es el vector $\mathbf {x} =(2,\,2)$. Este es el vector "más pequeño" que satisface $\mathbf {x} \prec \mathbf {y}$ para este vector dado $\mathbf {y}$.
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" $\mathbf {x}$ satisfactorio $\mathbf {x} \prec \mathbf {y}$ para este vector dado $\mathbf {y}$.