Normal operator

Normal operator

In mathematics, especially functional analysis, a normal operator on a complex Hilbert space H (or equivalently in a C* algebra) is a continuous linear operator

N:H\to H

that commutes with its hermitian adjoint N*:

  N\,N^*=N^*N.

Normal operators are important because the spectral theorem holds for them. Today, the class of normal operators is well-understood. Examples of normal operators are

  • unitary operators: N * = N − 1
  • Hermitian operators (i.e., selfadjoint operators): N * = N; (also, anti-selfadjoint operators: N * = − N)
  • positive operators: N = MM *
  • orthogonal projection operators: N = N * = N2
  • normal matrices can be seen as normal operators if one takes the Hilbert space to be \C^n.

Contents

Properties

Normal operators are characterized by the spectral theorem. A compact normal operator (in particular, a normal operator on a finite-dimensional linear space) is diagonalizable.

Let T be a bounded operator. The following are equivalent.

  • T is normal.
  • T* is normal.
  • ||Tx|| = ||T*x|| for all x (use \|Tx\|^2 = \langle T^*Tx, x \rangle = \langle TT^*x, x \rangle = \|T^*x\|^2).
  • The selfadjoint and anti-selfadjoint parts of T commute.

If N is a normal operator, then N and N* have the same kernel and range. Consequently, the range of N is dense if and only if N is injective. Put in another way, the kernel of a normal operator is the orthogonal complement of its range; thus, the kernel of Nk coincides with that of N for any k. Every generalized eigenvalue of a normal operator is thus genuine. λ is an eigenvalue of a normal operator N if and only if its complex conjugate \overline{\lambda} is an eigenvalue of N * . Eigenvectors of a normal operator corresponding to different eigenvalues are orthogonal, and it stabilizes orthogonal complements to its eigenspaces .[1] This implies the usual spectral theorem: every normal operator on a finite-dimensional space is diagonalizable by a unitary operator. There is also an infinite dimensional generalization in terms of projection-valued measures. Residual spectrum of a normal operator is empty.[1]

The product of normal operators that commute is again normal; this is nontrivial and follows from Fuglede's theorem, which states (in a form generalized by Putnam):

If N1 and N2 are normal operators and if A is a bounded linear operator such that N1A = AN2, then N_1^* A = A N_2^*.

The operator norm of a normal operator equals to its numerical radius and spectral radius.

A normal operator coincides with its Aluthge transform.

Properties in finite-dimensional case

If a normal operator T on a finite-dimensional real or complex Hilbert space (inner product space) H stabilizes a subspace V, then it also stabilizes its orthogonal complement V^\bot.

Proof. Denote by PV the orthogonal projection onto V. Then the orthogonal projection onto V^\bot is \boldsymbol{1}_H-P_V. The fact that T stabilizes V can be expressed as (\boldsymbol{1}_H-P_V)TP_V=0, or TPV = PVTPV. The goal is to show that X:=P_VT(\boldsymbol{1}_H-P_V)=0. Since (A,B)\mapsto\operatorname{tr}(AB^*) is an inner product on the space of endomorphisms of H, it is enough to show that \operatorname{tr}(XX^*)=0. This follows from a direct computation, using properties of the trace and of orthogonal projections:

XX^* = P_VT(\boldsymbol{1}_H-P_V)^2T^*P_V = P_VT(\boldsymbol{1}_H-P_V)T^*P_V = PVTT * PVPVTPVT * PV,

\operatorname{tr}(XX^*) = \operatorname{tr}(P_VTT^*P_V)
- \operatorname{tr}(P_VTP_VT^*P_V) = \operatorname{tr}(P_V^2TT^*)
- \operatorname{tr}(P_V^2TP_VT^*) = \operatorname{tr}(P_VTT^*) - \operatorname{tr}(P_VTP_VT^*) = \operatorname{tr}(P_VTT^*) - \operatorname{tr}(TP_VT^*) = \operatorname{tr}(P_VTT^*) - \operatorname{tr}(P_VT^*T) = \operatorname{tr}(P_V(TT^*-T^*T)) = 0.

This generalizes to compact normal operators in infinite dimensional Hilbert spaces.[2] However, for bounded normal operators orthogonal complement to a stable subspace may not be stable.[3] It follows that such subspaces cannot be spanned by eigenvectors.

Normal elements

The notion of normal operators generalizes to an involutive algebra; namely, an element x of an involutive algebra is said to be normal if xx * = x * x. The most important case is when such an algebra is a C*-algebra. A positive element is an example of a normal element.

Unbounded normal operators

The definition of normal operators naturally generalizes to some class of unbounded operators. Explicitly, a closed operator N is said to be normal if

N * N = NN *

Here, the existence of the adjoint N * implies that the domain of N is dense, and the equality implies that the domain of N * N equals that of NN * , which is not necessarily the case in general.

The spectral theorem still holds for unbounded normal operators, but usually requires a different proof.

Generalization

The success of the theory of normal operators led to several attempts for generalization by weakening the commutativity requirement. Classes of operators that include normal operators are (in order of inclusion)

Notes

  1. ^ a b Naylor, Arch W.; Sell George R. (1982). Linear Operator Theory in Engineering and Sciences. New York: Springer. ISBN 978-0-387-95001-3. http://books.google.com/books?id=t3SXs4-KrE0C&dq=naylor+sell+linear. 
  2. ^ Andô, Tsuyoshi (1963). "Note on invariant subspaces of a compact normal operator". Archiv der Mathematik 14: 337–340. doi:10.1007/BF01234964. 
  3. ^ Garrett, Paul (2005). "Operators on Hilbert spaces". http://www.math.umn.edu/~garrett/m/fun/Notes/04a_ops_hsp.pdf. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Normal map — may refer to: Normal mapping in 3D computer graphics Normal invariants in mathematical surgery theory Normal matrix in linear algebra Normal operator in functional analysis This disambiguation page lists articles associated with the same title.… …   Wikipedia

  • Operator norm — In mathematics, the operator norm is a means to measure the size of certain linear operators. Formally, it is a norm defined on the space of bounded linear operators between two given normed vector spaces. Contents 1 Introduction and definition 2 …   Wikipedia

  • Normal (mathematics) — In mathematics, normal can have several meanings:* Surface normal, a vector (or line) that is perpendicular to a surface. * Normal component, the component of a vector that is perpendicular to a surface. ** Normal curvature, of a curve on a… …   Wikipedia

  • Normal Accidents —   …   Wikipedia

  • Normal order — For other uses, see Normal order (disambiguation). In quantum field theory a product of quantum fields, or equivalently their creation and annihilation operators, is usually said to be normal ordered (also called Wick order) when all creation… …   Wikipedia

  • Operator product expansion — Contents 1 2D Euclidean quantum field theory 2 General 3 See also 4 External links 2D Euclidean quantum field theory …   Wikipedia

  • Normal matrix — A complex square matrix A is a normal matrix if where A* is the conjugate transpose of A. That is, a matrix is normal if it commutes with its conjugate transpose. If A is a real matrix, then A*=AT. Hence, the matrix is normal if ATA = AAT.… …   Wikipedia

  • Operator (physics) — In physics, an operator is a function acting on the space of physical states. As a result of its application on a physical state, another physical state is obtained, very often along with some extra relevant information. The simplest example of… …   Wikipedia

  • Operator theory — In mathematics, operator theory is the branch of functional analysis that focuses on bounded linear operators, but which includes closed operators and nonlinear operators. Operator theory also includes the study of algebras of operators. Contents …   Wikipedia

  • Normal (Mathematik) — Das Wort normal wird in der Mathematik in den folgenden Zusammenhängen benutzt: in der Geometrie: orthogonal in der Algebra: in der Gruppentheorie sagt man, eine Untergruppe sei normal, wenn sie ein Normalteiler ist in der Körpertheorie für… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”