In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the rearrangement inequality states that
for every choice of
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s
and every
permutation
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or proc ...
of
If the numbers are different, meaning that
then the lower bound is attained only for the permutation which reverses the order, that is,
for all
and the upper bound is attained only for the identity, that is,
for all
Note that the rearrangement inequality makes no assumptions on the signs of the real numbers.
Applications
Many important inequalities can be proved by the rearrangement inequality, such as the
arithmetic mean – geometric mean inequality, the
Cauchy–Schwarz inequality
The Cauchy–Schwarz inequality (also called Cauchy–Bunyakovsky–Schwarz inequality) is considered one of the most important and widely used inequalities in mathematics.
The inequality for sums was published by . The corresponding inequality fo ...
, and
Chebyshev's sum inequality
In mathematics, Chebyshev's sum inequality, named after Pafnuty Chebyshev, states that if
:a_1 \geq a_2 \geq \cdots \geq a_n \quad and \quad b_1 \geq b_2 \geq \cdots \geq b_n,
then
: \sum_^n a_k b_k \geq \left(\sum_^n a_k\right)\!\!\left(\sum_^n b ...
.
One particular consequence is that if
then (by using
):
holds for every
permutation
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or proc ...
of
Intuition
The rearrangement inequality is actually very intuitive. Imagine there is a heap of $10 bills, a heap of $20 bills and one more heap of $100 bills. You are allowed to take 7 bills from a heap of your choice and then the heap disappears. In the second round you are allowed to take 5 bills from another heap and the heap disappears. In the last round you may take 3 bills from the last heap. In what order do you want to choose the heaps to maximize your profit? Obviously, the best you can do is to gain
dollars. This is exactly what rearrangement inequality says for sequences
and
It is also an application of a
greedy algorithm
A greedy algorithm is any algorithm that follows the problem-solving heuristic of making the locally optimal choice at each stage. In many problems, a greedy strategy does not produce an optimal solution, but a greedy heuristic can yield locally ...
.
Proof
The lower bound follows by applying the upper bound to
Therefore, it suffices to prove the upper bound. Since there are only finitely many permutations, there exists at least one for which
is maximal. In case there are several permutations with this property, let σ denote one with the highest number of
fixed points.
We will now
prove by contradiction, that σ has to be the identity (then we are done). Assume that σ is the identity. Then there exists a ''j'' in such that σ(''j'') ≠ ''j'' and σ(''i'') = ''i'' for all ''i'' in . Hence σ(''j'') > ''j'' and there exists a ''k'' in with σ(''k'') = ''j''. Now
Therefore,
Expanding this product and rearranging gives
hence the permutation
which arises from σ by exchanging the values σ(''j'') and σ(''k''), has at least one additional fixed point compared to σ, namely at ''j'', and also attains the maximum. This contradicts the choice of σ.
If
then we have strict inequalities at (1), (2), and (3), hence the maximum can only be attained by the identity, any other permutation σ cannot be optimal.
Proof by induction
Observe first that
implies
hence the result is true if ''n'' = 2.
Assume it is true at rank ''n-1'', and let
Choose a
permutation
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or proc ...
σ for which the arrangement gives rise a maximal result.
If σ(''n'') were different from ''n'', say σ(''n'') = ''k'',
there would exist ''j'' < ''n'' such that σ(''j'') = ''n''.
But
by what has just been proved.
Consequently, it would follow that the permutation τ coinciding with σ, except at ''j'' and ''n'', where
τ(''j'') = ''k'' and τ(''n'') = ''n'', gives rise a better result. This contradicts the choice of σ.
Hence σ(''n'') = ''n'', and from the
induction
Induction, Inducible or Inductive may refer to:
Biology and medicine
* Labor induction (birth/pregnancy)
* Induction chemotherapy, in medicine
* Induced stem cells, stem cells derived from somatic, reproductive, pluripotent or other cell t ...
hypothesis, σ(''i'') = ''i'' for every ''i'' < ''n''.
The same proof holds if one replace strict inequalities by non strict ones.
Generalizations
A straightforward generalization takes into account more sequences. Assume we have ordered sequences of positive real numbers
and a permutation
of
and another permutation
of
. Then it holds
Note that unlike the common rearrangement inequality this statement requires the numbers to be nonnegative. A similar statement is true for any number of sequences with all numbers nonnegative.
Another generalization of the rearrangement inequality states that for all
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s
and any choice of functions
such that the derivatives
satisfy: