2
$\begingroup$

Lets say we have a complex vector $\vec{z} \!=\!(1\!+\!2i~~2\!+\!3i~~3\!+\!4i)^T$. Its scalar product $\vec{z}^T\!\! \cdot \vec{z}$ with itself will be a complex number, but if we conjugate the transposed vector we get $\overline{\vec{z}^T}\!\! \cdot \vec{z}$ (this is a inner product right?) and a positive real number as a result:

\begin{align*} \overline{\vec{z}\,^{T}}\! \cdot \vec{z}&=\begin{pmatrix}1-2i&2-3i&3-4i\end{pmatrix} \begin{pmatrix}1+2i\\2+3i\\3+4i\end{pmatrix} =\\ &=\begin{pmatrix}(1-2i)(1+2i) + (2-3i)(2+3i) + (3-4i)(3+4i)\end{pmatrix} = \\ &= \begin{pmatrix}(1-2i+2i+4) + (4+6i-6i+9) + (9-12i+12i+16)\end{pmatrix} = \\ &= (5 + 13 + 25) = 43 \end{align*}


1st question:

I know that ket $\left|z\right\rangle$ is a vector of a Hilbert space and i know that $\vec{z}$ is the same as $\left|z\right\rangle$. But what about $\overline{\vec{z}^T}$? Is it equal to a bra $\left\langle z\right|$ ?


2nd question

Notation $\overline{\vec{z}^T}$ means we have to conjugate & transposethe a vector $\vec{z}$. Can this notation be swapped with a dagger $\dagger$ (afterall this is an operation named conjugate transpose)?


3rd question:

From all of the above it seems logical to ask if this equality holds $\left|z\right\rangle^\dagger = \left \langle z \right|$ ?

$\endgroup$
2
  • $\begingroup$ You might get a better response if you ask one question at a time. $\endgroup$
    – ChrisF
    May 18, 2013 at 11:40
  • 2
    $\begingroup$ But they are all connected and i like it better like this. $\endgroup$
    – 71GA
    May 18, 2013 at 11:53

2 Answers 2

1
$\begingroup$

From Wiki:

For a finite-dimensional vector space, using a fixed orthonormal basis, the inner product can be written as a matrix multiplication of a row vector with a column vector:

$ \langle A | B \rangle = A_1^* B_1 + A_2^* B_2 + \cdots + A_N^* B_N = \begin{pmatrix} A_1^* & A_2^* & \cdots & A_N^* \end{pmatrix} \begin{pmatrix} B_1 \\ B_2 \\ \vdots \\ B_N \end{pmatrix}$

Based on this, the bras and kets can be defined as:

$\langle A | = \begin{pmatrix} A_1^* & A_2^* & \cdots & A_N^* \end{pmatrix}$

$ | B \rangle = \begin{pmatrix} B_1 \\ B_2 \\ \vdots \\ B_N \end{pmatrix}$

and then it is understood that a bra next to a ket implies matrix multiplication.

The conjugate transpose (also called ''Hermitian conjugate'') of a bra is the corresponding ket and vice-versa:

$\langle A |^\dagger = |A \rangle, \quad |A \rangle^\dagger = \langle A |$

because if one starts with the bra

$\begin{pmatrix} A_1^* & A_2^* & \cdots & A_N^* \end{pmatrix},$ then performs a complex conjugation, and then a matrix transpose, one ends up with the ket

$\begin{pmatrix} A_1 \\ A_2 \\ \vdots \\ A_N \end{pmatrix}$

$\endgroup$
5
  • $\begingroup$ So my assumptions are correct :D TY! $\endgroup$
    – 71GA
    May 18, 2013 at 13:13
  • $\begingroup$ If i look closer now i can see that $\left\langle A|B \right\rangle$ is an inner product between $\left|B\right\rangle$ and $\left|A\right\rangle$. This is correct right? Can I allso say that this is a matrix multiplication of an $\left|A\right\rangle^\dagger$ and $\left|B\right\rangle$? $\endgroup$
    – 71GA
    May 18, 2013 at 13:39
  • $\begingroup$ Dirac notation is now somehow clearer to me :) $\endgroup$
    – 71GA
    May 18, 2013 at 13:43
  • $\begingroup$ The bras "live" in a vector space that is dual to the vector space the kets "live" in. This is true for the row and column vectors too. Geometrically, a row vector (or co-vector or one-form) rotates, under a coordinate rotation, in the opposite direction from a column vector (or contra-vector). Geometrically, the contraction (or inner-product) of a one-form and vector produces a number. In this way, one can see that a bra is function that takes a ket as an argument and maps it to a number. And, it is equally true that a ket is function that takes a bra and maps it to a number. $\endgroup$ May 18, 2013 at 14:10
  • $\begingroup$ Interesting but i don't understand quite that much yet. I hope i will in the future. $\endgroup$
    – 71GA
    May 18, 2013 at 14:20
1
$\begingroup$

In the comments Alfred raises the notion of the dual space. In fact, if you try to read Dirac's principles of QM, you will find that he starts with dual space.

In Dirac notation $|z\rangle$ is an element of an abstract vector space $\mathcal{H}$. Then, there is a notion of dual space: the dual space $\mathcal{H}^*$ is the space of all (continious) linear functionals on $\mathcal{H}$. Here the continuity(as well as the topology) is required only in infinite-dimensional space, in finite-dimensional case with reasonable topology the continuity is granted. Now, linear functional is just a linear function $v:\mathcal{H}\to\mathbb{C}$. It takes a $|z\rangle\in\mathcal{H}$ to the number $v(|z\rangle)\in\mathbb{C}$ and you have $$v(\alpha|z\rangle+\beta|x\rangle)=\alpha v(|z\rangle)+\beta v(|x\rangle).$$

Now, the Dirac notation is to write $\langle v|z \rangle$ instead of $v(|z\rangle)$. That is, $|z\rangle\in\mathcal{H}$ while $\langle v|\in\mathcal{H}^*$.

Then an assumption is made. There is a hermitian inner product on $\mathcal{H}$. That is, for any pair of vetors $|x\rangle,|y\rangle\in\mathcal{H}$ we have a number $\left(\alpha|x\rangle,\beta|y\rangle\right)=\bar{\alpha}\beta\left(|x\rangle,|y\rangle\right)$. (Caution: mathematicians usulally put the bar above $\beta$). This inner product creates an isomorphism between $\mathcal{H}$ and $\mathcal{H}^*$. That is, for any vector $|x\rangle\in\mathcal{H}$ define the functional $\langle x|\in\mathcal{H}^*$ by its action on vectors: $$ \langle x|z\rangle:=\left(|x\rangle,|z\rangle\right). $$

In this formulation $\dagger$, hermitian conjugate, is defined for operators: $$ \left(|x\rangle,A|y\rangle\right)=\left(A^\dagger|x\rangle,|y\rangle\right). $$

For vectors it is defined usually in the matrix notation as the complex conjugate of the transpose. From the written below it is clear that it is natural to extend $\dagger$ to this formalism as $\dagger:\mathcal{H}\to\mathcal{H}^*$, $|z\rangle^\dagger=\langle z|$.

In finite-dimensional space you can pick a basis $|b_i\rangle$ and identify a vector with its coordinates: $|z\rangle=z^i|b_i\rangle$. No reason not to arrange them in a column $Z$. Then you can define a dual basis $\langle \beta^j|$ in $\mathcal{H}^*$ by $$ \langle \beta^j | b_i\rangle=\delta^j_i\\ \beta^j(|b_i\rangle)=\delta^j_i $$ (the last line is in 'standard' notation, to remind you that here is no scalar product involved). Then a functional can be identified with its coordinates $\langle a|=a_j\langle \beta^j|$. If we arrange them into a row $A$, then it can be checked that the number $a(|z\rangle)=\langle a|z \rangle$ is given by $AZ$.

So, you can think about rows as of the elements of the dual space $\mathcal{H}^*$ (and identify them with bras), and columns as of the elements of the space $\mathcal{H}$ (and identify them with kets). What about conjugate transpose? If you now say that there is a hermitian inner product on your space, and $|b_i\rangle$ is an orthonormal basis, then this product for two vectors represented by columns $X$ and $Y$ is given by $X^\dagger Y$, where $\dagger$ is the usual conjugate transpose. Then it is easy to see that the mentioned isomorphism $\mathcal{H}\to\mathcal{H}^*$ is provided by $\dagger$ taking columns to rows.

(This is not mathematically rigorous, start from the fact that actually in the hermitian case it is called anti-isomorphism, etc..)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.