Schwarz inequality with bra-ket notation

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 4K views
gfd43tg
Gold Member
Messages
949
Reaction score
48

Homework Statement


upload_2015-3-13_22-6-26.png


Homework Equations

The Attempt at a Solution


Hello,

I just want to make sure I am doing this right
$$<a|b> = a_{x}^{*}b_{x} + a_{y}^{*}b_{y} + a_{z}^{*}b_{z}$$
$$= [(1-i)|x>][-i|x>] + (2 |y>)(-3 |y>) + (0|z>)(|z>)$$
$$=(-i + i^{2})|x> - 6 |y> + 0|z>$$
$$=(-1-i)|x> - 6 |y> $$

Then to find ##\mid<a|b> \mid^{2}##, I need to take the complex conjugate since this is a complex vector
$$\mid<a|b> \mid^{2} = [(-1-i)|x> - 6|y> + 0|z>][(-1+i)|x> - 6|y> + 0|z>]$$
$$= 2|x> + 36 |y> + 0|z>$$

Now I want to make sure that this is even right before I spend time evaluating the other inner products to determine if Schwarz inequality is true.
 
Last edited:
Physics news on Phys.org
Maylis said:

Homework Statement


View attachment 80297

Homework Equations

The Attempt at a Solution


Hello,

I just want to make sure I am doing this right
$$<a|b> = a_{x}^{*}b_{x} + a_{y}^{*}b_{y} + a_{z}^{*}b_{z}$$
$$= [(1-i)|x>][-i|x>] + (2 |y>)(-3 |y>) + (0|z>)(|z>)$$
$$=(-i + i^{2})|x> - 6 |y> + 0|z>$$
$$=(-1-i)|x> - 6 |y> $$

Then to find ##\mid<a|b> \mid^{2}##, I need to take the complex conjugate since this is a complex vector
$$\mid<a|b> \mid^{2} = [(-1-i)|x> - 6|y> + 0|z>][(-1+i)|x> - 6|y> + 0|z>]$$
$$= 2|x> + 36 |y> + 0|z>$$

Now I want to make sure that this is even right before I spend time evaluating the other inner products to determine if Schwarz inequality is true.

The inner product is just a number not a vector. Try that again. In your formula ##a_x## is just the coefficient of ##(1+i)|x>##, i.e. ##(1+i)##.
 
  • Like
Likes   Reactions: gfd43tg
ok, so then
$$<a|b> = 1 - i^{2} - 6 = -4$$
$$<a|a> = 1 + 1 + 4 = 6$$
$$<b|b> = 1 + 9 + 1 = 11$$

So clearly ##16 \le 6(11)##

Thanks
 
Maylis said:
ok, so then
$$<a|b> = 1 - i^{2} - 6 = -4$$
$$<a|a> = 1 + 1 + 4 = 6$$
$$<b|b> = 1 + 9 + 1 = 11$$

So clearly ##16 \le 6(11)##

Thanks

Better slow down a bit. I don't think <a|b> comes out to -4. Want to show the steps that lead to that?
 
Sure,

$$(1-i)(-i) + 2(-3) + 0(1)$$
$$=-i+i^{2} - 6$$
$$=-i-7$$
So then the absolute value squared is ##(-i - 7)(i - 7) = -i^{2} + 49 = 50##

So ##50 \le 66##
 
Maylis said:
Sure,

$$(1-i)(-i) + 2(-3) + 0(1)$$
$$=-i+i^{2} - 6$$
$$=-i-7$$
So then the absolute value squared is ##(-i - 7)(i - 7) = -i^{2} + 49 = 50##

So ##50 \le 66##

That's better.