Lably
Skip to content

Unitary operator

Surjective bounded operator on a Hilbert space preserving the inner product

  • 4 min read
  • 4 chapters

Related on Lably

Through Surjective function, Identity (mathematics) and Topology

Definition

Definition 1. A unitary operator is a bounded linear operator U : H → H on a Hilbert space H that satisfies U*U = UU* = I, where U* is the adjoint of U, and I : H → H is the identity operator.

The weaker condition U*U = I defines an isometry. The other weaker condition, UU* = I, defines a coisometry. Thus a unitary operator is a bounded linear operator that is both an isometry and a coisometry, or, equivalently, a surjective isometry.

An equivalent definition is the following:

Definition 2. A unitary operator is a bounded linear operator U : H → H on a Hilbert space H for which the following hold:

  • U is surjective, and
  • U preserves the inner product of the Hilbert space, H. In other words, for all vectors x and y in H we have:
    ⟨Ux,Uy⟩H=⟨x,y⟩H.

The notion of isomorphism in the category of Hilbert spaces is captured if domain and range are allowed to differ in this definition. Isometries preserve Cauchy sequences; hence the completeness property of Hilbert spaces is preserved

The following, seemingly weaker, definition is also equivalent:

Definition 3. A unitary operator is a bounded linear operator U : H → H on a Hilbert space H for which the following hold:

  • the range of U is dense in H, and
  • U preserves the inner product of the Hilbert space, H. In other words, for all vectors x and y in H we have:
    ⟨Ux,Uy⟩H=⟨x,y⟩H.

To see that definitions 1 and 3 are equivalent, notice that U preserving the inner product implies U is an isometry (thus, a bounded linear operator). The fact that U has dense range ensures it has a bounded inverse U−1. It is clear that U−1 = U*.

Thus, unitary operators are just automorphisms of Hilbert spaces, i.e., they preserve the structure (the vector space structure, the inner product, and hence the topology) of the space on which they act. The group of all unitary operators from a given Hilbert space H to itself is sometimes referred to as the Hilbert group of H, denoted Hilb(H) or U(H).

Sign in to keep reading

3 more chapters are free with a Lably account.

More in Physics