We say a nonincreasing sequence of real numbers majorizes another nonincreasing sequence , and write if and only if all for all , , with equality when . If and are not necessarily nonincreasing, then we still write if this is true after the sequences have been sorted in nonincreasing order.
We can also say that this is the case if and only if for all ,
Both of these conditions are equivalent to our original definition.
This article is a stub. Help us out by.