Francais | English | Espanõl

Unitary operator

From Wikipedia, the free encyclopedia

Jump to: navigation, search

In functional analysis, a branch of mathematics, a unitary operator is a bounded linear operator <math>U</math> on a Hilbert space satisfying

<math>U^*U=UU^*=I</math>

where <math>U^*</math> is the adjoint of <math>U</math>, and <math>I</math> is the identity operator. This property is equivalent to the following:

  1. The range of <math>U</math> is dense, and
  2. U preserves the inner product <  ,  > on the Hilbert space, i.e. for all vectors <math>x</math> and <math>y</math> in the Hilbert space,
<math>\langle Ux, Uy \rangle = \langle x, y \rangle.</math>

To see this, notice that U preserves the inner product implies U is an isometry. 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 isomorphisms between Hilbert spaces, i.e., they preserve the structure (in this case, the linear space structure, the inner product, and hence the topology) of the spaces.

[edit] Examples

  • On the vector space C of complex numbers, multiplication by a number of absolute value 1, that is, a number of the form ei θ for θR, is a unitary operator. θ is referred to as a phase, and this multiplication is referred to as multiplication by a phase. Notice that the value of θ modulo 2<math>\pi</math> does not affect the result of the multiplication, and so the independent unitary operators on C are parametrized by a circle. The corresponding group, which as a set is the circle, is called U(1).
  • More generally, unitary matrices are precisely the unitary operators on finite-dimensional Hilbert spaces, so the notion of a unitary operator is a generalisation of the notion of a unitary matrix. Orthogonal matrices are the special case of unitary matrices in which all entries are real. They are the unitary operators on Rn.

[edit] Properties

  • The spectrum of a unitary operator U lies on the unit circle. That is, for any complex number λ in the spectrum, one has |λ|=1. This can be seen as a consequence of the spectral theorem for normal operators. By the theorem, U is unitarily equivalent to multiplication by a Borel-measurable f on L2(μ), for some finite measure space (X, μ). Now U U* = I implies |f(x)|2 = 1 μ-a.e. This shows that the essential range of f, therefore the spectrum of U, lies on the unit circle.
Personal tools