where ψ is just some label and H is a Hilbert space.
This is a universal way to represent quantum states that is independent of the underlying Hilbert space upon which it is defined e.g. if the Hilbert is finite or infinite dimensional. In addition, it is a basis independent way to represent the quantum state.
Properties
Given quantum states are vectors in a vector space, any linear combination of
quantum states is also a quantum state. This give the principal of superposition, where one would say ∣ϕ⟩∈H is in a superposition of states ∣ψ1⟩,∣ψ2⟩,…,∣ψn⟩∈H if there exists a set {αi:αi∈C1∀n}i=1n such that
One can find sets of basis vectors for H, {∣i⟩}i=0d−1, such that any state in the space ∣ψ⟩∈H can be written as a superposition over those basis elements,
This dual vector space is the space of linear functionals mapping elements in H to the scalars C1. Note, there is a one to one correspondence between elements in the space H and elements in the dual space H∗.
The conjugate transpose of a ket gives it’s associated bra,
This inner product satisfies all the conditions of an inner product in a vector space:
⟨ψ∣ϕ⟩≥0
Positive-definiteness
⟨ψ∣ϕ⟩=⟨ϕ∣ψ⟩∗
Conjugate symmetry
⟨ψ∣(α1∣ϕ1⟩+α2∣ϕ2⟩)=α1⟨ψ∣ϕ1⟩+α2⟨ψ∣ϕ2⟩
Additivity and Linearity in the second argument
Interpretation of Inner Product
Colloquially, the inner product measures the ‘overlap’ between the two quantum states ∣ψ⟩ and ∣ϕ⟩.
More formally, the inner product between two states, ∣ψ⟩ and ∣ϕ⟩, gives the probability amplitude of making a measurement on ∣ψ⟩ and finding the state in ∣ϕ⟩. The square of the probability amplitude then gives the probability. Hence, the probability of observing the state ∣ψ⟩ to be in the state ∣ϕ⟩ is given by
Two states, ∣ψ⟩ and ∣ϕ⟩, are said to be orthogonal if their inner product is zero, ⟨ψ∣ϕ⟩=0.
The inner product induces a norm, ∣∣∣ψ⟩∣∣=⟨ψ∣ψ⟩. All valid quantum states are those such that ∣∣∣ψ⟩∣∣=1. This is known as normalisation and ensures that the probability of observing the state ∣ψ⟩ to be in the state ∣ψ⟩ is one.
The smallest quantum systems are states of dimension 2, known as qubits (quantum bits). They are model by vectors in a Hilbert space defined over C2, where C are the complex numbers. Hence, one can write the state of a qubit ∣ψ⟩ as
Note, when writing a column vector, one must do so with respect to a given basis, meaning the column vector of a quantum state is not unique. Vectors of a basis can also be written as kets, as seen above, with the standard basis in 2 dimensions denoted in terms of kets as