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

Triangle Inequality in 'Linear Algebra Done Right'

  1. Nov 20, 2013 #1
    I'm stuck on one aspect of the proof on page 105 of the 2nd edition. Equation 6.13 is necessary for the inequality to be an equality as it says but they never seem to account for inequality 6.11. Specifically, I don't see how this satisfies 2 Re<u,v> = 2 |<u,v>|

    Thanks for any guidance.
  2. jcsd
  3. Nov 20, 2013 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Can you explain your question in a way that doesn't require having the book?
  4. Nov 20, 2013 #3
    It's not an equality; it is ≤.

    2Re< u, v > ≤ 2|<u, v>|
    Last edited: Nov 20, 2013
  5. Nov 21, 2013 #4
    They gave as a condition for this to be an equality that u would be a scalar multiple of v or else v a scalar multiple of u. But they never showed how 2 Re <u,v> would be equal to 2 | <u,v> | in that case.
  6. Nov 21, 2013 #5
    Just plug in ##\mathbf{v}=\alpha \mathbf{u}## and see what happens.
  7. Nov 22, 2013 #6
    I've given that a try and still have not been able to get it. I'm sure there is some simple connection I'm missing. I'm starting with

    |<u, au>| =
    | a*u1*comp(u1) + a*u2*comp(u2) + ... + a*uN*comp(uN) | =
    | a |u1|^2 + a |u2|^2 + ... + a |uN|^2 |

    And from here I have no idea where that is taking me. Similar result form the other side.
  8. Nov 22, 2013 #7
    I think I got it but still a bit confused. This assumes a and hence complex conjugate of a are real numbers and hence the imaginary part in the equations below ends up being zero and dropping off. So is the case that this is an equality only if one vector is a real scalar multiple of the other?

    [itex]|<u, au>|[/itex] =
    [itex]\sqrt{(Re <u, au>)^{2} + (Im <u, au>)^{2}}[/itex] =
    [itex]\sqrt{(Re \overline{a} <u, u>)^{2} + (Im \overline{a} <u, u>)^{2}}[/itex] =
    [itex]\sqrt{(Re \overline{a} \left\|u\right\|^{2})^{2} + (Im \overline{a} \left\|u\right\|^{2})^{2}}[/itex] =
    [itex]\sqrt{(Re \overline{a} \left\|u\right\|^{2})^{2}}[/itex] =
    [itex]Re \overline{a} \left\|u\right\|^{2}[/itex] =
    [itex]Re <u, au>[/itex]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook