Disuguaglianza di riarrangiamento

Niente fonti!
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

La disuguaglianza di riarrangiamento consiste nell'osservazione che il prodotto scalare fra due vettori è massimo (risp. minimo) quando le componenti dei vettori sono ordinate nello stesso modo (risp. in modo opposto).

Se le componenti dei vettori a e b sono

a 1 a 2 a n {\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}
b 1 b 2 b n {\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}}

allora

a 1 b 1 + a 2 b 2 + + a n b n {\displaystyle a_{1}b_{1}+a_{2}b_{2}+\cdots +a_{n}b_{n}}

è il valore massimo che può assumere il prodotto scalare fra i due vettori (quando le componenti sono ordinate nello stesso modo) e

a 1 b n + a 2 b n 1 + + a n b 1 {\displaystyle a_{1}b_{n}+a_{2}b_{n-1}+\cdots +a_{n}b_{1}}

è il valore minimo che lo stesso può assumere.

Dimostrazione

Procediamo per assurdo: supponiamo che il valore massimo che può assumere il prodotto scalare non si possa ottenere con le componenti dei vettori a e b, ordinate nello stesso modo:

a 1 a 2 a n {\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}
b 1 b 2 b n {\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}}

Poniamo: a p   a m {\displaystyle a_{p}\geq \ a_{m}} e : b p   b m {\displaystyle b_{p}\leq \ b_{m}} (considerando le corrispondenze: a a = a 1 , a b = a 2 . . . {\displaystyle a_{a}=a_{1},a_{b}=a_{2}...} e b a = b 1 , b b = b 2 . . . {\displaystyle b_{a}=b_{1},b_{b}=b_{2}...} )

k = 1 n a k b k   k   m , p n a k b k + a p b m + a m b p {\displaystyle \sum _{k=1}^{n}a_{k}b_{k}\leq \ \sum _{k\not \equiv \ m,p}^{n}a_{k}b_{k}+a_{p}b_{m}+a_{m}b_{p}}

molti elementi della prima serie si annullano con tutti gli elementi della seconda:

a p b p + a m b m   a p b m + a m b p {\displaystyle a_{p}b_{p}+a_{m}b_{m}\leq \ a_{p}b_{m}+a_{m}b_{p}}
a p ( b m b p ) + a m ( b p b m )   0 {\displaystyle a_{p}(b_{m}-b_{p})+a_{m}(b_{p}-b_{m})\geq \ 0}
a p ( b m b p ) a m ( b m b p )   0 {\displaystyle a_{p}(b_{m}-b_{p})-a_{m}(b_{m}-b_{p})\geq \ 0}
( a p a m ) ( b m b p )   0 {\displaystyle (a_{p}-a_{m})(b_{m}-b_{p})\geq \ 0}

Questa disuguaglianza è sempre vera in base alle condizioni iniziali a p   a m {\displaystyle a_{p}\geq \ a_{m}} e b p   b m {\displaystyle b_{p}\leq \ b_{m}}

Questo dimostra che non è possibile maggiorare con un semplice scambio il prodotto a n b n {\displaystyle a_{n}b_{n}} quando le componenti a e b non sono ordinate allo stesso modo.

La dimostrazione andrebbe conclusa mostrando che per ogni catena di scambi maggiore di 2 non è possibile la maggiorazione.

Uso

Questa disuguaglianza può essere usata per dimostrarne alcune più complesse come la disuguaglianza della media aritmetica e geometrica, la Disuguaglianza di Cauchy-Schwarz e la Disuguaglianza di Čebyšëv sulla somma.

Voci correlate

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica