Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Physics LibreTexts

1.4: Projection Operators and Tensor Products

( \newcommand{\kernel}{\mathrm{null}\,}\)

We can combine two linear vector spaces U and V into a new linear vector space W=UV. The symbol ⊕ is called the direct sum. The dimension of W is the sum of the dimensions of U and V:

dimW=dimU+dimV

A vector in W can be written as

|ΨW=|ψU+|ϕV,

where |ψU and |ϕV are typically not normalized (i.e., they are not unit vectors). The spaces U and V are so-called subspaces of W.

As an example, consider the three-dimensional Euclidean space spanned by the Cartesian axes x, y, and z. The xy-plane is a two-dimensional subspace of the full space, and the z-axis is a one-dimensional subspace. Any three-dimensional form can be projected onto the xy-plane by setting the z component to zero. Similarly, we can project onto the z-axis by setting the x and y coordinates to zero. A projector is therefore associated with a subspace. It acts on a vector in the full space, and forces all components to zero, except those of the subspace it projects onto.

The formal definition of a projector PU on U is given by

PU|ΨW=|ψU

This is equivalent to requiring that P2U=PU, P2U=PU, or PU is idempotent. One-dimensional projectors can be written as

Pj=|ϕjϕj|

Two projectors P1 and P2 are orthogonal is P1P2=0. If P1P2=0, then P1+P2 is another projector:

(P1+P2)2=P21+P1P2+P2P1+P22=P21+P22=P1+P2

When P1 and P2 commute but are non-orthogonal (i.e., they overlap), the general projector onto their combined subspace is

P1+2=P1+P2P1P2

(Prove this.) The orthocomplement of P is IP, which is also a projector:

P(IP)=PP2=PP=0 and (IP)2=I2P+P2=IP

Another way to combine two vector spaces U and V is via the tensor product: W=UV, where the symbol ⊗ is called the direct product or tensor product. The dimension of the space W is then

dimW=dimUdimV

Let |ψU and |ϕV. Then

|ψ|ϕW=UV

If |ψ=jaj|ψj and |ϕ=jbj|ϕj, then the tensor product of these vectors can be written as

|ψ|ϕ=jkajbk|ψj|ϕk=jkajbk|ψj|ϕk=jkajbk|ψj,ϕk,

where we introduced convenient abbreviations for the tensor product notation. The inner product of two vectors that are tensor products is

(ψ1|ϕ1|)(|ψ2|ϕ2)=ψ1ψ2ϕ1ϕ2

Operators also obey the tensor product structure, with

(AB)|ψ|ϕ=(A|ψ)(B|ϕ)

and

(AB)(CD)|ψ|ϕ=(AC|ψ)(BD|ϕ)

General rules for tensor products of operators are

  1. A0=0 and 0B=0,
  2. II=I,
  3. (A1+A2)B=A1B+A2B,
  4. aAbB=(ab)AB,
  5. (AB)1=A1B1,
  6. (AB)=AB.

Note that the last rule preserves the order of the operators. In other words, operators always act on their own space. Often, it is understood implicitly which operator acts on which subspace, and we will write AI=A and IB=B. Alternatively, we can add subscripts to the operator, e.g., AU and BV.

As a practical example, consider two two-dimensional operators

A=(A11A12A21A22) and B=(B11B12B21B22)

with respect to some orthonormal bases {|a1,|a2} and {|b1,|b2} for A and B, respectively (not necessarily eigenbases). The question is now: what is the matrix representation of AB? Since the dimension of the new vector space is the product of the dimensions of the two vector spaces, we have dimW=22=4. A natural basis for AB is then given by {|aj,bk}jk, with j, k=1,2, or

|a1|b1,|a1|b2,|a2|b1,|a2|b2

We can construct the matrix representation of AB by applying this operator to the basis vectors in Eq. (1.48), using

A|aj=A1j|a1+A2j|a2 and B|ak=B1k|b1+B2k|b2

which leads to

AB|a1,b1=(A11|a1+A21|a2)(B11|b1+B21|b2)AB|a1,b2=(A11|a1+A21|a2)(B12|b1+B22|b2)AB|a2,b1=(A12|a1+A22|a2)(B11|b1+B21|b2)AB|a2,b2=(A12|a1+A22|a2)(B12|b1+B22|b2)

Looking at the first line of Eq. (1.50), the basis vector |a1,b1 gets mapped to all basis vectors:

AB|a1,b1=A11B11|a1,b1+A11B21|a1,b2+A21B11|a2,b1+A21B21|a2,b2

Combining this into matrix form leads to

AB=(A11B11A11B12A12B11A12B12A11B21A11B22A12B21A12B22A21B11A21B12A22B11A22B12A21B21A21B22A22B21A22B22)=(A11BA12BA21BA22B)

Recall that this is dependent on the basis that we have chosen. In particular, AB may be diagonalized in some other basis.


This page titled 1.4: Projection Operators and Tensor Products is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Pieter Kok via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?