partial isometry
Partial isometry is a generalization^{} of an isometry. Before defining what a partial isometry is, let’s recall two familiar concepts in linear algebra: an isometry and the adjoint^{} of a linear map.

1.
An isometry $T$ is a linear automorphism^{} over an inner product space^{} $V$ which preserves the inner product^{} of any two vectors: $\u27e8x,y\u27e9=\u27e8Tx,Ty\u27e9$.

2.
The adjoint ${T}^{*}$ of a linear transformation $T$ is linear transformation such that $\u27e8Tx,y\u27e9=\u27e8x,{T}^{*}y\u27e9$, for any pair of vectors $x,y\in V$.
If $V$ is nonsingular^{} with respect to the inner product $\u27e8\cdot ,\cdot \u27e9$ and that the adjoint ${T}^{*}$ of a linear transformation $T$ exists, it is not hard to show that
$T$ is an isometry if and only if $T{T}^{*}=I={T}^{*}T$.
In other words, ${T}^{*}$ is the inverse^{} of $T$.
More generally, in a ring with involution $*$, an isometry (or an unitary element) is a unit (both a left unit and a right unit) $a$ whose product^{} with its adjoint ${a}^{*}$ is 1 (i.e. its inverse is its adjoint). Now, if $a$ is not a unit, this product $a{a}^{*}$ will not be 1. The next best thing to hope for is that the product will be an idempotent^{}. But because $a{a}^{*}$ is selfadjoint^{}, this idempotent is in fact a projection^{}. This is how a partial isometry is defined. Formally,
let $R$ be a ring with involution $*$, an element $a\in R$ is a partial isometry if $a{a}^{*}$ and ${a}^{*}a$ are both projections.
Given a partial isometry $a$, the projections ${a}^{*}a$ and $a{a}^{*}$ are respectively called the initial projection and final projection of $a$.
Examples. Under this definition, $0$ is a partial isometry, and so is any isometry.
This definition can be readily applied to specific (more familiar) situations. For example, if the ring in question is the ring of linear endomorphisms over a Euclidean space (real or complex), then a partial isometry is just a map such that its restriction^{} to the complementary subspace of its kernel is an isometry. If we look at the case when the space is 3 dimensional over the reals, and taking the standard basis, the matrix
$A=\left(\begin{array}{ccc}\hfill 0\hfill & \hfill 0\hfill & \hfill 0\hfill \\ \hfill 0\hfill & \hfill \mathrm{sin}\theta \hfill & \hfill \mathrm{cos}\theta \hfill \\ \hfill 0\hfill & \hfill \mathrm{cos}\theta \hfill & \hfill \mathrm{sin}\theta \hfill \end{array}\right)$
corresponds to a partial isometry whose kernel is a line $L$. Its restriction to the complement of $L$ corresponds to the matrix
$B=\left(\begin{array}{cc}\hfill \mathrm{sin}\theta \hfill & \hfill \mathrm{cos}\theta \hfill \\ \hfill \mathrm{cos}\theta \hfill & \hfill \mathrm{sin}\theta \hfill \end{array}\right)$,
which is an isometry (rotation^{}).
Remark. If the ring $R$ is a Baer *ring, an element $a$ is a partial isometry iff $a{a}^{*}a=a$ (so ${a}^{*}a{a}^{*}={a}^{*}$; $a$ and ${a}^{*}$ are generalized inverses of one another).
Title  partial isometry 

Canonical name  PartialIsometry 
Date of creation  20130322 15:50:50 
Last modified on  20130322 15:50:50 
Owner  CWoo (3771) 
Last modified by  CWoo (3771) 
Numerical id  7 
Author  CWoo (3771) 
Entry type  Definition 
Classification  msc 47C10 
Defines  unitary element 
Defines  initial projection 
Defines  final projection 