Inegalite de Cauchy-Schwarz --------------------------Si f, g appartinnent H espace d'Hilbert <f g> <= f .

galit si multiple l'un de l'autre Dmonstration ------------landa = h appartient R On regarde: 0 <= <f+ h g f+ h g> = <f f> + <f h g >+ <h g f> + <hg hg> = = f ^2 + h <f g> + h conj(<f g>) + h^2 f ^2 + 2* h R[ <f g>] + h^2 g ^2 g ^2

car si z = a+ib alors z + conj(z) = 2a ==> trinome du 2me degr en h delta = [ 2* R (<f g>)]^2 - 4* ==> on divise le delta en 4 R(<f g>) <= f * g g ^2 * f ^2 <= 0

on a demontre le theoreme dans le cas des reels Pour tous les nombres : <f g> = e^i*o <f g> <f g> = e^-i*o <f g> = <e^-io f g> = R (<e^-io g>) <= e^io f * = e^io * f * g = f * g car e^io gal 1 pour o = 0 g