Each vector in the Hilbert space is known as a ket, and denoted
where ψ is a label for the ket.
Each ket |ψ> has a dual vector, called a bra, and denoted
A bra <ψ′| and a ket |ψ> may form an inner product, called a bra-ket, or bracket and denoted
[Outer products]? are written as |ψψ′><ψ|. One use of the outer product is to denote the [projection operator]? on the [linear subspace]? spanned by, say, a ket |ψ>. This is simply |ψ><ψ|.
Two Hilber spaces V and W may form a tensor product V × W. If |ψ> is a ket in V and |φ> is a ket in W, the tensor product of the two ket is a ket in V × W, and denoted