Normal Operator

Get Normal Operator essential facts below. View Videos or join the Normal Operator discussion. Add Normal Operator to your PopFlock.com topic list for future reference or share this resource on social media.
## Properties

## Properties in finite-dimensional case

## Normal elements of algebras

## Unbounded normal operators

## Generalization

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Normal Operator

In mathematics, especially functional analysis, a **normal operator** on a complex Hilbert space *H* is a continuous linear operator *N* : *H* -> *H* that commutes with its hermitian adjoint *N**, that is: *NN** = *N*N*.^{[1]}

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

- unitary operators:
*N**=*N*^{-1} - Hermitian operators (i.e., self-adjoint operators):
*N**=*N* - Skew-Hermitian operators:
*N**= -*N* - positive operators:
*N*=*MM**for some*M*(so*N*is self-adjoint).

A normal matrix is the matrix expression of a normal operator on the Hilbert space **C**^{n}.

Normal operators are characterized by the spectral theorem. A compact normal operator (in particular, a normal operator on a finite-dimensional linear space) is unitarily diagonalizable.^{[2]}

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

*T*is normal.*T**is normal.- ||
*Tx*|| = ||*T*x*|| for all*x*(use ). - The self-adjoint and anti-self adjoint parts of
*T*commute. That is, if we write with and , then .^{[3]}

If *N* is a normal operator, then *N* and *N** have the same kernel and the same range. Consequently, the range of *N* is dense if and only if *N* is injective.^{[clarification needed]} Put in another way, the kernel of a normal operator is the orthogonal complement of its range. It follows that the kernel of the operator *N ^{k}* coincides with that of

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

- If and are normal operators and if
*A*is a bounded linear operator such that , then .

The operator norm of a normal operator equals its numerical radius^{[clarification needed]} and spectral radius.

A normal operator coincides with its Aluthge transform.

If a normal operator *T* on a *finite-dimensional* real^{[clarification needed]} or complex Hilbert space (inner product space) *H* stabilizes a subspace *V*, then it also stabilizes its orthogonal complement *V*^{?}. (This statement is trivial in the case where *T* is self-adjoint.)

*Proof.* Let *P _{V}* be the orthogonal projection onto

Let *X* = *P _{V}T*(

- .

Now using properties of the trace and of orthogonal projections we have:

The same argument goes through for compact normal operators in infinite dimensional Hilbert spaces, where one make use of the Hilbert-Schmidt inner product, defined by tr(*AB**) suitably interpreted.^{[5]} However, for bounded normal operators, the orthogonal complement to a stable subspace may not be stable.^{[6]} It follows that the Hilbert space cannot in general be spanned by eigenvectors of a normal operator. Consider, for example, the bilateral shift (or two-sided shift) acting on , which is normal, but has no eigenvalues.

The invariant subspaces of a shift acting on Hardy space are characterized by Beurling's theorem.

The notion of normal operators generalizes to an involutive algebra:

An element *x* of an involutive algebra is said to be normal if *xx** = *x*x*.

Self-adjoint and unitary elements are normal.

The most important case is when such an algebra is a C*-algebra.

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

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

Equivalently normal operators are precisely those for which^{[7]}

with

The spectral theorem still holds for unbounded (normal) operators. The proofs work by reduction to bounded (normal) operators.^{[8]}^{[9]}

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)

**^**Hoffman, Kenneth; Kunze, Ray (1971),*Linear algebra*(2nd ed.), Englewood Cliffs, N.J.: Prentice-Hall, Inc., p. 312, MR 0276251**^**Hoffman & Kunze (1971), p. 317.**^**In contrast, for the important class of Creation and annihilation operators of, e.g., quantum field theory, they don't commute- ^
^{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. **^**Andô, Tsuyoshi (1963). "Note on invariant subspaces of a compact normal operator".*Archiv der Mathematik*.**14**: 337-340. doi:10.1007/BF01234964.**^**Garrett, Paul (2005). "Operators on Hilbert spaces" (PDF).**^**Weidmann, Lineare Operatoren in Hilberträumen, Chapter 4, Section 3**^**Alexander Frei, Spectral Measures, Mathematics Stack Exchange, Existence, Uniqueness**^**John B. Conway, A Course in Functional Analysis, Second Edition, Chapter X, Section §4

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists