Unitary operator

From Free net encyclopedia

In functional analysis, 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 any of the following:

• <math>U</math> is a surjective isometry

• <math>U</math> is surjective and preserves the inner product <  ,  > on the Hilbert space, so that for all vectors <math>x</math> and <math>y</math> in the Hilbert space,

<math>\langle Ux, Uy \rangle = \langle x, y \rangle.</math>

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.

Examples

• The identity function is trivially a unitary operator.

• On the vector space C of complex numbers, multiplication by a number of absolute value 1, that is, a number of the form e^{i θ} 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 indepedent 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 Rⁿ.

• The bilateral shift on the sequence space <math>\ell^2</math> indexed by the integers is unitary. In general, any operator in a Hilbert space which acts by shuffling around an orthonormal basis is unitary.

• The Fourier operator is a unitary operator, i.e. the operator which performs the Fourier transform (with proper normalization). This follows from Parseval's theorem (i.e. that there is or should be the same amount of energy in an electrical signal as there is in its Fourier transform).

Properties

• The spectrum of a unitary operator lies on the unit circle. That is, for any complex number λ in the spectrum, one has |λ|=1. This is a simple consequence of the fact that unitary operators are isometries.