In matematica, la disuguaglianza di Čebyšëv sulla somma, che porta il nome di Pafnutij L'vovič Čebyšëv, stabilisce che se:
![{\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}\quad ;\quad b_{1}\geq b_{2}\geq \cdots \geq b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba744791d8b113dfe2547c695be9e10e251f3375)
allora:
![{\displaystyle n\sum _{k=1}^{n}a_{k}b_{k}\geq \left(\sum _{k=1}^{n}a_{k}\right)\left(\sum _{k=1}^{n}b_{k}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/694769a156440ae0f260ee5c2967eca041b703ab)
In modo simile, se:
![{\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}\quad ;\quad b_{1}\leq b_{2}\leq \cdots \leq b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/941d7f65aaec3ca4843aa8bfeb396398e5a61f0c)
allora:
![{\displaystyle n\sum _{k=1}^{n}a_{k}b_{k}\leq \left(\sum _{k=1}^{n}a_{k}\right)\left(\sum _{k=1}^{n}b_{k}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d65f645631386a1989ec44483ed6b3d402936c5b)
o meglio:
![{\displaystyle {\frac {(a_{1}b_{1}+\cdots +a_{n}b_{n})}{n}}\geq {\frac {(a_{1}+\cdots +a_{n})}{n}}\cdot {\frac {(b_{1}+\cdots +b_{n})}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cffa6c339cb0609aec6dd41ec55ac401c3716665)
Dimostrazione
La disuguaglianza di Čebyšëv sulla somma segue dalla disuguaglianza di riarrangiamento. Si supponga di avere:
![{\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}\quad ;\quad b_{1}\geq b_{2}\geq \cdots \geq b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba744791d8b113dfe2547c695be9e10e251f3375)
per la disuguaglianza di riarrangiamento si ha che:
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/254a1e0de4967407f3a24e9810a2e85973cfd13b)
è il valore massimo che assume il prodotto scalare fra le due sequenze. Dunque:
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}=a_{1}b_{1}+\cdots +a_{n}b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3662ec3f6592f49e91ddf1d084319c6edab7d283)
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{2}+a_{2}b_{3}+\cdots +a_{n}b_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed9a0ad698f9e7229a3f81a887112a3061d58622)
![{\displaystyle \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1d67495288eac0fa90d5bbcad7d9a343c15ad56)
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{n}+\cdots +a_{n}b_{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4d6bd6727a2ddcf098190de18f454efcf9ac9e5)
sommando tutte queste disuguaglianze si ottiene:
![{\displaystyle n(a_{1}b_{1}+\cdots +a_{n}b_{n})\geq (a_{1}+\cdots +a_{n})(b_{1}+\cdots +b_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25d59f6f75c9709817428cc367be0b30ee1ed72c)
e dividendo per
:
![{\displaystyle {\frac {(a_{1}b_{1}+\cdots +a_{n}b_{n})}{n}}\geq {\frac {(a_{1}+\cdots +a_{n})}{n}}\cdot {\frac {(b_{1}+\cdots +b_{n})}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cffa6c339cb0609aec6dd41ec55ac401c3716665)
Disuguaglianza sulle funzioni
Esiste inoltre una versione continua della disuguaglianza di Čebyšëv: se
e
sono funzioni reali ed integrabili in
, entrambe crescenti o entrambe decrescenti, allora:
![{\displaystyle \int fg\geq \int f\int g}](https://wikimedia.org/api/rest_v1/media/math/render/svg/762336d59d73ac28abfc1a18616916f8d68df725)
Questo può essere generalizzato ad integrali in qualsiasi altro spazio, come anche a prodotti numerabili di integrali.
Bibliografia
- (EN) Gradshteyn, I. S. and Ryzhik, I. M. Tables of Integrals, Series, and Products, 6th ed. San Diego, CA: Academic Press, p. 1092, 2000.
- (EN) G. H. Hardy, J. E. Littlewood e G. Pólya, Inequalities, Cambridge Mathematical Library, Cambridge, Cambridge University Press, 1988, ISBN 0-521-35880-9, MR 0944909.
- (EN) Hardy, G. H.; Littlewood, J. E.; and Pólya, G. Inequalities, 2nd ed. Cambridge, England: Cambridge University Press, pp. 43-44, 1988.
Voci correlate
- Disuguaglianza di riarrangiamento
Collegamenti esterni
- (EN) Eric W. Weisstein, Disuguaglianza di Čebyšëv sulla somma, su MathWorld, Wolfram Research.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica