In mathematical functional analysis a partial isometry is a linear map between Hilbert spaces such that it is an isometry on the orthogonal complement of its kernel.

The orthogonal complement of its kernel is called the initial subspace and its range is called the final subspace.

Partial isometries appear in the polar decomposition.

General definition

edit

The concept of partial isometry can be defined in other equivalent ways. If U is an isometric map defined on a closed subset H1 of a Hilbert space H then we can define an extension W of U to all of H by the condition that W be zero on the orthogonal complement of H1. Thus a partial isometry is also sometimes defined as a closed partially defined isometric map.

Partial isometries (and projections) can be defined in the more abstract setting of a semigroup with involution; the definition coincides with the one herein.

Characterization in finite dimensions

edit

In finite-dimensional vector spaces, a matrix   is a partial isometry if and only if   is the projection onto its support. Contrast this with the more demanding definition of isometry: a matrix   is an isometry if and only if  . In other words, an isometry is an injective partial isometry.

Any finite-dimensional partial isometry can be represented, in some choice of basis, as a matrix of the form  , that is, as a matrix whose first   columns form an isometry, while all the other columns are identically 0.

Note that for any isometry  , the Hermitian conjugate   is a partial isometry, although not every partial isometry has this form, as shown explicitly in the given examples.

Operator Algebras

edit

For operator algebras one introduces the initial and final subspaces:

 

C*-Algebras

edit

For C*-algebras one has the chain of equivalences due to the C*-property:

 

So one defines partial isometries by either of the above and declares the initial resp. final projection to be W*W resp. WW*.

A pair of projections are partitioned by the equivalence relation:

 

It plays an important role in K-theory for C*-algebras and in the Murray-von Neumann theory of projections in a von Neumann algebra.

Special Classes

edit

Projections

edit

Any orthogonal projection is one with common initial and final subspace:

 

Embeddings

edit

Any isometric embedding is one with full initial subspace:

 

Unitaries

edit

Any unitary operator is one with full initial and final subspace:

 

(Apart from these there are far more partial isometries.)

Examples

edit

Nilpotents

edit

On the two-dimensional complex Hilbert space the matrix

 

is a partial isometry with initial subspace

 

and final subspace

 

Generic finite-dimensional examples

edit

Other possible examples in finite dimensions are This is clearly not an isometry, because the columns are not orthonormal. However, its support is the span of   and  , and restricting the action of   on this space, it becomes an isometry (and in particular, a unitary). One can similarly verify that  , that is, that   is the projection onto its support.

Partial isometries do not necessarily correspond to squared matrices. Consider for example, This matrix has support the span of   and  , and acts as an isometry (and in particular, as the identity) on this space.


Yet another example, in which this time   acts like a non-trivial isometry on its support, is One can readily verify that  , and  , showing the isometric behavior of   between its support   and its range  .

Leftshift and Rightshift

edit

On the square summable sequences the operators

 
 

which are related by

 

are partial isometries with initial subspace

 

and final subspace:

 .

References

edit
  • John B. Conway (1999). "A course in operator theory", AMS Bookstore, ISBN 0-8218-2065-6
  • Carey, R. W.; Pincus, J. D. (May 1974). "An Invariant for Certain Operator Algebras". Proceedings of the National Academy of Sciences. 71 (5): 1952–1956. Bibcode:1974PNAS...71.1952C. doi:10.1073/pnas.71.5.1952. PMC 388361. PMID 16592156.
  • Alan L. T. Paterson (1999). "Groupoids, inverse semigroups, and their operator algebras", Springer, ISBN 0-8176-4051-7
  • Mark V. Lawson (1998). "Inverse semigroups: the theory of partial symmetries". World Scientific ISBN 981-02-3316-7
  • Stephan Ramon Garcia; Matthew Okubo Patterson; Ross, William T. (2019). "Partially isometric matrices: A brief and selective survey". arXiv:1903.11648 [math.FA].
edit