Cauchy-Schwarz Inequality Proof | MathWorld Demonstration and Solution

[fluidistic]

Homework Statement

I'm trying to follow the demonstration of the Cauchy-Schwarz's inequality proof given in http://mathworld.wolfram.com/SchwarzsInequality.html.
I am stuck at the last step, namely that [itex]\langle \bar g , f \rangle \langle f , \bar g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle \Rightarrow |\langle f , g \rangle |^2 \leq \langle f , f \rangle \langle g , g \rangle[/itex].

Homework Equations

I don't know.

The Attempt at a Solution

[itex]\langle \bar g , f \rangle \langle f , \bar g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle \Rightarrow \langle \bar f , g \rangle \langle \bar f , g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle[/itex]. I'm stuck here.
I know that [itex]||f||=\sqrt {\langle f , f \rangle}[/itex] but I don't even know if I can use this fact. Any tip is appreciated.

 

[fluidistic]

I've made some progress I think.
Mathworld didn't specify it explicitely but I think that f and g are real functions.
So that I reach [itex]\langle \bar g , f \rangle \langle f , \bar g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle \Rightarrow \langle \bar f , g \rangle \langle \bar f , g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle \Rightarrow \langle f , g \rangle ^2 \leq \langle f , f \rangle \langle g , g \rangle[/itex]. So I "almost" reach the proof. I have a missing absolute value though. Any idea why?

 

[fluidistic]

Ok I got it wrong, f and g aren't real valued function because lambda (which is complex) is defined by some inner products involving f and g and their complex conjugate only.
If someone could tell me how to understand the last step I'd be grateful.

 

[HallsofIvy]

I've made some progress I think.
Mathworld didn't specify it explicitely but I think that f and g are real functions.
So that I reach [itex]\langle \bar g , f \rangle \langle f , \bar g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle \Rightarrow \langle \bar f , g \rangle \langle \bar f , g \rangle \leq \langle \bar f , f \rangle \langle \bar g , g \rangle \Rightarrow \langle f , g \rangle ^2[/itex]

This is incorrect. [itex]\langle f, g\rangle^2[/itex] is a complex number. You want [itex]\left|\langle f, g\rangle\right|^2[/itex].

[itex] \leq \langle f , f \rangle \langle g , g \rangle[/itex]. So I "almost" reach the proof. I have a missing absolute value though. Any idea why?

Again, those are wrong. You want [itex]\langle f, \bar f\rangle= |f|^2[/itex] and [itex]\langle g, \bar g\rangle= |g|^2[/itex].

 

[fluidistic]

Thanks HallsofIvy!

This is incorrect. [itex]\langle f, g\rangle^2[/itex] is a complex number. You want [itex]\left|\langle f, g\rangle\right|^2[/itex].

Yeah you are right, I realized this in my previous post.

You want [itex]\langle f, \bar f\rangle= |f|^2[/itex] and [itex]\langle g, \bar g\rangle= |g|^2[/itex].

Ok... How do I prove these, for any inner product? I'm looking at the properties of Hermitian inner product given there: http://mathworld.wolfram.com/HermitianInnerProduct.html but I've no clue how to relate it with the [itex]|.|^2[/itex] (same as norm squared?)