Triangle Inequality in 'Linear Algebra Done Right'

  • Thread starter TheOldHag
  • Start date
  • #1
44
3
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.
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
4,525
571
Can you explain your question in a way that doesn't require having the book?
 
  • #3
1,082
25
It's not an equality; it is ≤.

2Re< u, v > ≤ 2|<u, v>|
 
Last edited:
  • #4
44
3
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.
 
  • #5
341
51
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.
 
  • #6
44
3
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.
 
  • #7
44
3
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]
 

Related Threads on Triangle Inequality in 'Linear Algebra Done Right'

  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
856
Replies
3
Views
835
  • Last Post
Replies
1
Views
552
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
1
Views
6K
  • Last Post
Replies
2
Views
1K
Top