Quasinormal operator

Quasinormal operator

In operator theory, quasinormal operators is a class of bounded operators defined by weakening the requirements of a normal operator.

Definition and some properties

Definition

Let "A" be a bounded operator on a Hilbert space "H", then "A" is said to be quasinormal if "A" commutes with "A*A", i.e.

:A(A^*A) = (A^*A) A.,

Properties

A normal operator is necessarily quasinormal.

Let "A" = "UP" be the polar decomposition of "A". If "A" is quasinormal, then "UP = PU". To see this, notice thatthe positive factor "P" in the polar decomposition is of the form ("A*A")½, the unique positive square root of "A*A". Quasinormality means "A" commutes with "A*A". As a consequence of the continuous functional calculus for self adjoint operators, "A" commutes with "P" = ("A*A")½ also, i.e.

:U P P = P U P.,

So "UP = PU" on the range of "P". On the other hand, if "h" ∈ "H" lies in kernel of "P", clearly "UP h" = 0. But "PU h" = 0 as well. because "U" is a partial isometry whose initial space is closure of range "P". Finally, the self-adjointness of "P" implies that "H" is the direct sum of its range and kernel. Thus the argument given proves "UP" = "PU" on all of "H".

On the other hand, one can readily verify that if "UP" = "PU", then "A" must be quasinormal. Thus the operator "A" is quasinormal if and only if "UP" = "PU".

When "H" is finite dimensional, every quasinormal operator "A" is normal. This is because that in the finite dimensional case, the partial isometry "U" in the polar decomposition "A" = "UP" can be taken to be unitary. This then gives

:A^*A = (UP)^* UP = PU (PU)^* = AA^*.,

In general, a partial isometry may not be extendable to a unitary operator and therefore a quasinormal operator need not be normal. For example, consider the unilateral shift "T". "T" is quasinormal because "T*T" is the identity operator. But "T" is clearly not normal.

Quasinormal invariant subspaces

It is not known that, in general, whether a bounded operator "A" on a Hilbert space "H" has a nontrivial invariant subspace. However, when "A" is normal, an affirmative answer is given by the spectral theorem. Every normal operator "A" is obtained by integrating the identity function with respect to a spectral measure "E" = {"EB"} on the spectrum of "A", "σ"("A"):

:A = int_{sigma(A)} lambda d E (lambda).,

For any Borel set "B" ⊂ "σ"("A"), the projection "EB" commutes with "A" and therefore the range of "EB" is an invariant subpsace of "A".

The above can be extended directly to quasinormal operators. To say "A" commutes with "A*A" is to say that "A" commutes with ("A*A")½. But this implies that "A" commutes with any projection "EB" in the spectral measure of ("A*A")½, which proves the invariant subspace claim. In fact, one can conclude something stronger. The range of "EB" is actually a "reducing subspace" of "A", i.e. its orthogonal complement is also invariant under "A".

See also

*Subnormal operator

References

*P. Halmos, A Hilbert Space Problem Book, Springer, New York 1982.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Subnormal operator — In mathematics, especially operator theory, subnormal operators are bounded operators on a Hilbert space defined by weakening the requirements for normal operators. Some examples of subnormal operators are isometries and Toeplitz operators with… …   Wikipedia

  • Hyponormaler Operator — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet …   Deutsch Wikipedia

  • Normaloider Operator — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet …   Deutsch Wikipedia

  • Paranormaler Operator — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet …   Deutsch Wikipedia

  • Quasinormaler Operator — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet …   Deutsch Wikipedia

  • Subnormaler Operator — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet …   Deutsch Wikipedia

  • Normaler Operator — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet… …   Deutsch Wikipedia

  • 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 that commutes with its hermitian adjoint N*: Normal operators are important because… …   Wikipedia

  • List of mathematics articles (Q) — NOTOC Q Q analog Q analysis Q derivative Q difference polynomial Q exponential Q factor Q Pochhammer symbol Q Q plot Q statistic Q systems Q test Q theta function Q Vandermonde identity Q.E.D. QED project QR algorithm QR decomposition Quadratic… …   Wikipedia

  • Hyponormal — In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra. Ist X ein Hilbertraum, so heißt ein Operator normal, falls er mit seiner Adjungierten kommutiert, d.h. wenn Dabei bezeichnet …   Deutsch Wikipedia

Share the article and excerpts

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