What is the significance of complex conjugates in Bra-ket notation?

Click For Summary
SUMMARY

The discussion focuses on the significance of complex conjugates in bra-ket notation within quantum mechanics. Participants clarify that kets, represented as |a⟩, correspond to column vectors, while bras, represented as ⟨a|, are the conjugate transposes of these vectors. The Riesz representation theorem is highlighted as the foundational principle linking kets and bras, establishing a bijection between a vector space and its dual space. This relationship ensures that the inner product ⟨a|b⟩ can be computed using the components of the vectors involved.

PREREQUISITES
  • Understanding of vector spaces and inner products in quantum mechanics.
  • Familiarity with the Riesz representation theorem.
  • Knowledge of complex numbers and their conjugates.
  • Basic principles of linear algebra, particularly regarding transposes and dual spaces.
NEXT STEPS
  • Study the Riesz representation theorem in detail.
  • Learn about inner product spaces and their properties in quantum mechanics.
  • Explore the mathematical foundations of complex vector spaces.
  • Investigate applications of bra-ket notation in quantum mechanics problems.
USEFUL FOR

Students and professionals in quantum mechanics, particularly those studying linear algebra and its applications in quantum theory, will benefit from this discussion.

iScience
Messages
466
Reaction score
5
so I'm fine with the kets, e.g, |a>.. but i don't understand what the bras are. the kets are basically just a column vector right? ie the components (with the direction) of the vector being described.
but what is the bra?

this was given to us in class:
<a|=a1<e1|+a2<e2|= (a1* a2*)

(where e1 and e2 are the unit basis vectors)

but why the complex conjugates? where'd they come from?

and the professor gave us this in class:

<a|b>=a1*b1<e1|e1>+a1*b2<e1|e2>+a2*b1<e2|e1>+a2*b2<e2|e2>

i understand the pattern but i am still at a loss as to where this all came from
 
Physics news on Phys.org
Given a vector space ##V## over the desired field there exists a dual space ##V^{*}## consisting of all linear functionals mapping elements of ##V## into said field. Furthermore given an inner product ##< , >## on ##V## there exists a bijection between ##V## and ##V^{*}## such that for any ##v\in V##, there exists a unique ##f \in V^{*}## such that ##f(w) = <v, w>## for all ##w\in V##, which is normally called the Riesz representation theorem. As a result, given any ##v\in V## we can denote it by ##|v\rangle## (called a "ket vector") and since the Riesz representation theorem says there exists a unique ##f\in V^{*}## associated with ##v## such that ##f(w) = <v,w>##, we can simply denote ##f## by ##\langle v|## (called a "bra vector") and denote ##f(w)## by ##\langle v|w\rangle## so that ##\langle v|w\rangle= <v,w>##. So the Riesz representation theorem is the reason why bra-ket notation can be used.
 
Since this poster is probably just starting with quantum mechanics, do you actually think that any of that is going to be useful to him/her? Looks to me like you are showing off instead of helping the poster. I would like to see some other responses to the original post, something more digestible for a beginner. Maybe I'm wrong and your post cleared it up perfectly to the original poster (It sure didn't for me)... Often people asking for help around here get replies that are correct, but not useful at all.
 
Yah.. ModusPwnd is correct.. the answer you gave WannabeNewton, is something i could have easily found on wikipedia or on some other web site, but, although embaressing, i still do not understand mathematical statements like the one you just gave. can you put it in terms of easer.. lingo/format?
 
Last edited:
iScience,

Consider a simple system whose states can be spanned by a finite number of basis states. (I.e., any state can be expressed as a linear combination of those basis states.) This is modeled in basic QM by an inner product space (i.e., vector space with an inner product defined thereon). IF it were a real vector space, then the bras would simply be the transposes of the column vectors. But in QM, we use complex vector spaces in general, so the bras are conjugate-transposes of the column vectors. This corresponds to the 1st equation you wrote in your original post.

This choice is made so that the inner product on the space, can be used to define a positive-definite norm. E.g., ##\def\<{\langle} \def\>{\rangle}##
$$
\|a\| ~:=~ \<a|a\> ~=~ \pmatrix{a_1^* & a_2^*} \pmatrix{a_1 \\ a_2} ~=~ |a_1|^2 + |a_2|^2
~\ge~ 0~.
$$I can't say much more than that without knowing more of the context of your lecture. (I'm guessing it's in the context of a system with 2 independent states.)

Btw, WBN's reply is also applicable to the infinite-dimensional Hilbert spaces that are quite common in QM.
 
Last edited:
ModusPwnd said:
Since this poster is probably just starting with quantum mechanics, do you actually think that any of that is going to be useful to him/her? Looks to me like you are showing off instead of helping the poster.
It helps to keep in mind that this forum is really intended for graduate-level questions. Homework and textbook-level questions should probably go in the homework forum.
 
strangerep said:
this forum is really intended for graduate-level questions.

No, it's not. Undergraduate-level conceptual questions are fine here. Even high-school level, although you don't get too many of those in QM!

The homework forums are for getting help with working through specific exercises, e.g. from textbooks.
 
  • Like
Likes   Reactions: 1 person
ignore this reply
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K