• Support PF! Buy your school textbooks, materials and every day products Here!

Cauchy Schwarz's proof

  • Thread starter fluidistic
  • Start date
  • #1
fluidistic
Gold Member
3,649
99

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.
 

Answers and Replies

  • #2
fluidistic
Gold Member
3,649
99
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?
 
  • #3
fluidistic
Gold Member
3,649
99
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.
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
41,770
911
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].
 
  • #5
fluidistic
Gold Member
3,649
99
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?)
 

Related Threads for: Cauchy Schwarz's proof

  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
1
Views
10K
  • Last Post
Replies
3
Views
5K
Replies
2
Views
1K
Replies
2
Views
10K
Replies
7
Views
2K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
14
Views
2K
Top