In
operator theory
In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operat ...
, the commutant lifting theorem, due to
Sz.-Nagy and
Foias, is a powerful theorem used to prove several interpolation results.
Statement
The commutant lifting theorem states that if
is a
contraction on a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
,
is its minimal unitary
dilation
Dilation (or dilatation) may refer to:
Physiology or medicine
* Cervical dilation, the widening of the cervix in childbirth, miscarriage etc.
* Coronary dilation, or coronary reflex
* Dilation and curettage, the opening of the cervix and surgic ...
acting on some Hilbert space
(which can be shown to exist by
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_H,\quad n\ge 0.
Moreove ...
), and
is an operator on
commuting with
, then there is an operator
on
commuting with
such that
:
and
:
Here,
is the
projection
Projection, projections or projective may refer to:
Physics
* Projection (physics), the action/process of light, heat, or sound reflecting from a surface to another in a different direction
* The display of images by a projector
Optics, graphic ...
from
onto
. In other words, an operator from the
commutant
In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set of elements \mathrm_G(S) of ''G'' such that each member g \in \mathrm_G(S) commutes with each element of ''S'', o ...
of ''T'' can be "lifted" to an operator in the commutant of the unitary dilation of ''T''.
Applications
The commutant lifting theorem can be used to prove the left
Nevanlinna-Pick interpolation theorem, the
Sarason interpolation theorem
In mathematics complex analysis, the Sarason interpolation theorem, introduced by , is a generalization of the Caratheodory interpolation theorem and Nevanlinna–Pick interpolation In complex analysis, given ''initial data'' consisting of n p ...
, and the two-sided Nudelman theorem, among others.
References
*Vern Paulsen, ''Completely Bounded Maps and Operator Algebras'' 2002,
*B Sz.-Nagy and C. Foias, "The "Lifting theorem" for intertwining operators and some new applications", ''Indiana Univ. Math. J'' 20 (1971): 901-904
*Foiaş, Ciprian, ed. ''Metric Constrained Interpolation, Commutant Lifting, and Systems. Vol. 100. Springer, 1998''.
{{Functional analysis
Operator theory
Theorems in functional analysis