Chebyshev's sum inequality
From Infogalactic: the planetary knowledge core
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
In mathematics, Chebyshev's sum inequality, named after Pafnuty Chebyshev, states that if
and
then
Similarly, if
and
then
Proof
Consider the sum
The two sequences are non-increasing, therefore aj − ak and bj − bk have the same sign for any j, k. Hence S ≥ 0.
Opening the brackets, we deduce:
whence
An alternative proof is simply obtained with the rearrangement inequality.
Continuous version
There is also a continuous version of Chebyshev's sum inequality:
If f and g are real-valued, integrable functions over [0,1], both non-increasing or both non-decreasing, then
with the inequality reversed if one is non-increasing and the other is non-decreasing.
Notes
- ↑ Lua error in package.lua at line 80: module 'strict' not found.