We say a nonincreasing sequence of real numbers $a_1, \ldots ,a_n$ majorizes another nonincreasing sequence $b_1,b_2,\ldots,b_n$, and write $\{a_i\}_{i=1}^n\succ\{b_i\}_{i=1}^n$ if and only if all for all $1 \le k \le n$, $\sum_{i=1}^{k}a_i \ge \sum_{i=1}^{k}b_i$, with equality when $k = n$. If $\{a_i\}$ and $\{b_i\}$ are not necessarily nonincreasing, then we still write $\{a_i\}\succ\{b_i\}$ if this is true after the sequences have been sorted in nonincreasing order.


We will occasionally say that $b_1, \ldots, b_n$ minorizes $a_1, \ldots, a_n$, and write $\{b_i\}\prec\{a_i\}$, if $\{a_i\}\succ\{b_i\}$.

Alternative Criteria

It is also true that $\{a_i\}_{i=1}^n$Succ.gif$\{b_i\}_{i=1}^n$ if and only if for all $1\le k \le n$, $\sum_{i=k}^n a_i \le \sum_{i=k}^n b_i$, with equality when $k=1$. An interesting consequence of this is that the finite sequence $\{a_i\}$ majorizes $\{b_i\}$ if and only if $\{-a_i\}$ minorizes $\{-b_i\}$.

We can also say that this is the case if and only if for all $t \in \mathbb{R}$,

$\sum_{i=1}^{n}|t-a_i| \ge \sum_{i=1}^{n}|t-b_i|$.

Both of these conditions are equivalent to our original definition.

See Also

This article is a stub. Help us out by expanding it.