|
|
inner product: produces a
complex number from vectors in the Hilbert space |
|
|
ket vector |
|
|
bra vector |
|
bra-ket |
There are two distinct
spaces. There is a on-to-one
correspondence so that for every ket there is an associated bra and vice
versa. |
|
|
The spaces have the
necessary relationship to fulfill this inner product rule. |
|
|
Columns [kets] and rows
[bras] that have coefficients that are complex conjugates fulfill this
relationship. [Matrix arithmetic] |
|
|
You can find an orthonormal
basis to span the spaces. |
|
|
Operators have adjoints or
associated dagger operators. |
|
|
The relationship maintains
the inner product rule. Below we show two ways to characterize the
relationship between |
|
|
The operators as matrices
are related by the complex conjugate transpose. |
|
|
With a complete set of
vectors ei or x one can construct an identity operator that can be inserted
into vector equations without changing the meaning of the equation. |
|
|
Any quantum state can be
represented wrt a given basis as a sum over all the basis vectors with each
vector assigned an amplitude that can be complex. If the basis in continuous
the sum is represented by an integral and the amplitude becomes a function. |
|
|
Using the inner product you
can project out an amplitude. |
|
|
Using the above formalism
you can derive the Fourier transform relationship between amplitudes wrt the
x and p basis |
|
|
General operator equation.
An operator takes a vector into another vector. |
|
|
Using a complete set of
states one can write operators as functions that express the amount of each
component present in the new vector. |
|
|
When the basis is discrete
the same result appears as the more obvious matrix math. |
|
|
Hermetian or self adjoint operators.
Observables have Hermetian op. These
are real symmetric or imaginary antisymmetric “matrices”. |
|
|
Unitary operators |
Notation
![]()
![]()

The book defines all operations on the ket vectors. I prefer to define the adjoint by its impact on the bra space.
|
The inner product rule is: |
DEF1

The adjoint is defined wrt the bra-space but this space has an algebra based on the one-to-one relationship to the ket space and the requirements imposed on the space due to the inner product rule. How the vectors are related in the bra space is determined by the inner product.
DEF2
![]()
This leads to
![]()
One can restrict all operators to the ket space. So the adjoint is the operator that will be used on the ket space if the inner product rule is applied. Since bračket and vice versa the operator in the equation must now operate on a new ket vector and the impact is a different operation ie the adjoint.
The two approaches yield
![]()
|
1 |
|
|
Operators that are related because they produce the same vector but in opposite spaces. |
|
|
2 |
|
|
Operators that work on the ket vectors when the product rule is used to switch roles |
|
In principle this is a different result. However one can
extend either definition by defining the operator to act in either direction.
Because the one form of the operator can be expressed as an amount that relates
a basis vector
to a basis state
you can see that the
coefficients
can be used to build a
vector in either space first and the inner product rule will hold.
Observations:

So it is trivial to extend the meaning of the operation either left or right in this case, the result is not the same because a different vector is created in each space.

Rotate a vector keep the basis fixed and examine the vector after a rotation.

The operator can be expressed as a matrix or a set of numbers that relate the amount of jth component that become ith component.
You can similarly develop a representation of an operator wrt the position basis. The result should be

The operator has a representation with respect to the x-basis.
Using the p-basis

Relating amplitudes between x-basis and the p-basis
