Triangle Inequality in 'Linear Algebra Done Right'

[TheOldHag]

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.

 

[Office_Shredder]

Can you explain your question in a way that doesn't require having the book?

 

[Jorriss]

It's not an equality; it is ≤.

2Re< u, v > ≤ 2|<u, v>|

 

[TheOldHag]

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.

 

[R136a1]

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.

Just plug in $\mathbf{v}=\alpha \mathbf{u}$ and see what happens.

 

[TheOldHag]

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.

 

[TheOldHag]

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?

|&lt;u, au&gt;| =
\sqrt{(Re &lt;u, au&gt;)^{2} + (Im &lt;u, au&gt;)^{2}} =
\sqrt{(Re \overline{a} &lt;u, u&gt;)^{2} + (Im \overline{a} &lt;u, u&gt;)^{2}} =
\sqrt{(Re \overline{a} \left\|u\right\|^{2})^{2} + (Im \overline{a} \left\|u\right\|^{2})^{2}} =
\sqrt{(Re \overline{a} \left\|u\right\|^{2})^{2}} =
Re \overline{a} \left\|u\right\|^{2} =
Re &lt;u, au&gt;