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.
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 are also characterized by the condition that W W* or W* W is a projection. In that case, both W W* and W* W are projections (of course, since orthogonal projections are self-adjoint, each orthogonal projection is a partial isometry). This allows us to define partial isometry in any C*-algebra as follows:
If A is a C*-algebra, an element W in A is a partial isometry if and only if W W* or W* W is a projection (self-adjoint idempotent) in A. In that case W W* and W* W are both projections, and
- W*W is called the initial projection of W.
- W W* is called the final projection of W.
When A is an operator algebra, the ranges of these projections are the initial and final subspace of W respectively.
It is not hard to show that partial isometries are characterised by the equation
A pair of projections one of which is the initial projection of a partial isometry and the other a final projection of the same isometry are said to be equivalent. This is indeed an equivalence relation and 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.
Partial isometries (and projections) can be defined in the more abstract setting of a semigroup with involution; the definition coincides with the one herein.
Any isometric projection is one with full final subspace:
(Especially, the orthogonal projections when restricted to their range.)
Any isometric embedding is one with full initial subspace:
(Precisely, these are the isometries.)
Any unitary operator is one with full initial and final subspace:
(Precisely, these are simultaneously projections and embeddings.)
Apart from these there are far more partial isometries.
On the two-dimensional complex Hilbert space the matrix
is a partial isometry with initial subspace
and final subspace
Leftshift and Rightshift
On the square summable sequences the operators
which are related by
are partial isometries with initial subspace
and final subspace:
- John B. Conway (1999). "A course in operator theory", AMS Bookstore, ISBN 0-8218-2065-6
- 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