Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Cauchy-Schwarz Inequality

  1. Aug 12, 2009 #1

    For two n-dimensional vectors [tex]\mathbf{v}_1\text{ and }\mathbf{v}_2[/tex], what is the Cauchy-Schwarz Inequality:

    1- [tex]|\mathbf{v}_1.\mathbf{v}_2|\leq\|\mathbf{v}_1\|\|\mathbf{v}_2\|[/tex], or

    2- [tex]|\mathbf{v}_1.\mathbf{v}_2|\leq\|\mathbf{v}_1\|+\|\mathbf{v}_2\|[/tex]

    In either case, the equality holds when [tex]\mathbf{v}_1=a\,\mathbf{v}_2[/tex], where a is a positive real constant. Is there any specific way to compute a, or just pick an arbitrary positive real number?

  2. jcsd
  3. Aug 12, 2009 #2
    I don't believe you can calculate 'a' from the inequality. You would need another route to get it.
  4. Aug 12, 2009 #3


    User Avatar
    Gold Member

    Your second inequality is the "triangle inequality." The Cauchy-Schwarz inequality is [itex]| \langle \mathbf{A},\mathbf{B} \rangle | \leq \|{\mathbf{A}}\| \, \|{\mathbf{B}} \|[/itex]
  5. Aug 12, 2009 #4
    the equality holds when v1=av2 for any scalar a.
  6. Aug 13, 2009 #5


    User Avatar
    Science Advisor

    The first is the CS inequality.

    BTW the second inequality has an error (dot instead or plus). It should read :

    [tex]|\mathbf{v}_1 + \mathbf{v}_2|\leq\|\mathbf{v}_1\|+\|\mathbf{v}_2\|[/tex]

    In which case it's the triangle inequality.
  7. Aug 13, 2009 #6
    So, can we write:

  8. Aug 14, 2009 #7


    User Avatar
    Science Advisor

    What they are saying is that equality holds if an only if one vector is a multiple of the other. a could be any real number. It is not a matter of calculating a or a picking a.
  9. Aug 14, 2009 #8
    Ok, thank you all guys.
  10. Aug 15, 2009 #9
    Could we say, more generally, that a could be any scalar (so that this would hold for any inner product space, over any field)?
  11. Aug 15, 2009 #10
    As far as I know, Cauchy proved the inequality for complex vector spaces and Schwarz proved it for polynomial space. In my general linear algebra text, it is proven for real/complex vector spaces. It is a special case of a http://planetmath.org/encyclopedia/CauchySchwartzInequality.html [Broken].
    Last edited by a moderator: May 4, 2017
  12. Aug 18, 2009 #11


    User Avatar
    Science Advisor

    Over any ordered field, yes. That is necessary in order that we be able to say "[itex]\le[/itex]".
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Cauchy Schwarz Inequality Date
I Understanding Cauchy-Schwarz Inequality Nov 26, 2017
Cauchy-Goursat Theorem question Dec 23, 2013
Few suggestions about cauchy inequality Feb 18, 2012
Cauchy Reimann & Complex functions Aug 14, 2011
Cauchy -schwarz inequality help Jul 5, 2010