Sz.-Nagy's dilation theorem

Sz.-Nagy's dilation theorem

The Sz.-Nagy dilation theorem (proved by Béla Szőkefalvi-Nagy) states that every contraction "T" on a Hilbert space "H" has a unitary dilation "U" to a Hilbert space "K", containing "H", with:T^n = P_H U^n vert_HMoreover, such a dilation is unique (up to unitary equivalence) when one assumes "K" is minimal, in the sense that the linear span of ∪"n""UnK" is dense in "K". When this minimality condition holds, "U" is called the minimal unitary dilation of "T".

Proof

For a contraction "T" (i.e., (|T|le1), its defect operator "DT" is defined to be the (unique) positive square root "DT" = ("I - T*T")½. In the special case that "S" is an isometry, the following is an Sz. Nagy unitary dilation of "S" with the required polynomial functional calculus property:

:U = egin{bmatrix} S & D_S \ 0 & -S^* end{bmatrix}.

Also, every contraction "T" on a Hilbert space "H" has an isometric dilation, again with the calculus property, on

:oplus_{n geq 0} H

given by

:V =

egin{bmatrix} T & 0 & & \ D_T & 0 & ddots & \ 0 & I & 0 & \ & ddots & ddots & end{bmatrix}.

Applying the above two constructions successively gives a unitary dilation for a contraction "T":

:T^n = P_H S^n vert_H = P_H (Q_{H'} U vert_{H'})^n vert_H = P_H U^n vert_H.

Schaffer form

The Schaffer form of a unitary Sz. Nagy dilation can be viewed as a beginning point for the characterization of all unitary dilations, with the required property, for a given contraction.

Remarks

A generalisation of this theorem, by Berger, Foias and Lebow, shows that if "X" is a spectral set for "T", and

:mathcal{R}(X)

is a Dirichlet algebra, then "T" has a minimal normal "δX" dilation, of the form above. A consequence of this is that any operator with a simply connected spectral set "X" has a minimal normal "δX" dilation.

To see that this generalises Sz.-Nagy's theorem, note that contraction operators have the unit disc D as a spectral set, and that normal operators with spectrum in the unit circle "δ"D are unitary.

References

*V. Paulsen, "Completely Bounded Maps and Operator Algebras", Cambridge University Press, 2003.

*J.J. Schaffer, On unitary dilations of contractions, "Proc. Amer. Math. Soc." 6, 1955, 322.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Dilation theorem — may refer to: Sz. Nagy s dilation theorem Stinespring dilation theorem Naimark s dilation theorem This disambiguation page lists articles associated with the same title. If an …   Wikipedia

  • Dilation (operator theory) — In operator theory, a dilation of an operator T on a Hilbert space H is an operator on a larger Hilbert space K , whose restriction to H is T. More formally, let T be a bounded operator on some Hilbert space H, and H be a subspace of a larger… …   Wikipedia

  • Stinespring factorization theorem — In mathematics, Stinespring s dilation theorem, also called Stinespring s factorization theorem, is a result from operator theory that represents any completely positive map on a C* algebra as a composition of two completely positive maps each of …   Wikipedia

  • Commutant lifting theorem — In operator theory, the commutant lifting theorem, due to Sz. Nagy and Foias, states that if T is a contraction on a Hilbert space H, U is its minimal unitary dilation acting on some Hilbert space K (which can be shown to exist by Sz. Nagy s… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Positive definite function on a group — In operator theory, a positive definite function on a group relates the notions of positivity, in the context of Hilbert spaces, and algebraic groups. It can be viewed as a particular type of positive definite kernel where the underlying set has… …   Wikipedia

  • Dirichlet algebra — In mathematics, a Dirichlet algebra is a particular type of algebra associated to a compact Hausdorff space X. It is a closed subalgebra of C(X), the uniform algebra of bounded continuous functions on X, whose real parts are dense in the algebra… …   Wikipedia

  • Positive definite kernel — In operator theory, a positive definite kernel is a generalization of a positive matrix. Definition Let :{ H n } {n in {mathbb Z be a sequence of (complex) Hilbert spaces and :mathcal{L}(H i, H j)be the bounded operators from Hi to Hj . A map A… …   Wikipedia

Share the article and excerpts

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