Prove ||w + z|| <= ||w|| + ||z|| for complex vectors

s_j_sawyer
Messages
19
Reaction score
0

Homework Statement



Let z, w be complex vectors of C^n.

Prove ||w + z|| <= ||w|| + ||z||

(using the standard inner product for C^n)
(i.e. <w,z> = w*z', where * is the dot product and ' denotes the complex conjugate)


The Attempt at a Solution



Well, I found that

||w + z||
= sqrt( w*w' + z*z' + z*w' + w*z')
= sqrt( w*w' + z*z' + <w,z> + <w,z>' )

and

||w|| + ||z||
= sqrt(w*w' + z*z')

So by showing that <w,z> + <w,z>' <= 0 then I guess that will finish the proof but I am unsure of how to do this.

Any help?
 
Physics news on Phys.org
s_j_sawyer said:

Homework Statement



Let z, w be complex vectors of C^n.

Prove ||w + z|| <= ||w|| + ||z||

(using the standard inner product for C^n)
(i.e. <w,z> = w*z', where * is the dot product and ' denotes the complex conjugate)


The Attempt at a Solution



Well, I found that

||w + z||
= sqrt( w*w' + z*z' + z*w' + w*z')
= sqrt( w*w' + z*z' + <w,z> + <w,z>' )

and

||w|| + ||z||
= sqrt(w*w' + z*z')
The equation above isn't true. ||w|| = sqrt(w*w') and ||z|| = sqrt(z*z'), but the two square roots don't add to sqrt(w*w' + z*z'). This is like saying that the lengths of two sides of a right triangle add up to the length of the hypotenuse.
s_j_sawyer said:
So by showing that <w,z> + <w,z>' <= 0 then I guess that will finish the proof but I am unsure of how to do this.

Any help?
 
Mark44 said:
The equation above isn't true. ||w|| = sqrt(w*w') and ||z|| = sqrt(z*z'), but the two square roots don't add to sqrt(w*w' + z*z'). This is like saying that the lengths of two sides of a right triangle add up to the length of the hypotenuse.

Oooohhh deeaarr how embarrassing. Thank you for that insightful information. I should be able to get it now.
 
Sorry to double post but I didn't think simply editing would bump this up.

Alright so I played around with this some more but still could not get it to work.

I tried to prove this using the method of squaring both sides for the regular 'scalar triangle inequality' proof like so:

||w + z||^2 = (sqrt<w + z,w + z>)^2
= <w + z, w + z>
= <w,w> + <w,z> + <z,w> + <z,z>
= ||w||^2 + <w,z> + <w,z>' + ||z||^2


and so if I can show that

<w,z> + <w,z>' <= 2*||w||*||z||


then I would have

||w + z||^2 <= (||w|| + ||z||)^2

but I have been unable to do so. Any assistance would be greatly appreciated!
 
have you tried assuming a complex form, say w = aj + b and expanding the inner products?
 
\|w + z\|^2 is not equal to \langle w + z, w + z \rangle unless you're in a real vector space. But since these are complex, then

<br /> \|w + z\|^2 = \langle w + z, \overline{w + z} \rangle<br />

Some hints:
If w is a complex number (or vector, or whatever), then w = a + bi, where a and b are real numbers (or vectors), and

<br /> w + \overline{w} = a + bi + a - bi = 2a = 2\operatorname{Re}(w).<br />

Also, \operatorname{Re}(w) \le \|w\|

These should hopefully get you on the right track.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top