A left inverse of a T:VWT:V\to W is a linear map L:WVL:W\to V satisfying LT=IVLT=I_V. Therefore TT is injective: Tv=0Tv=0 implies v=LTv=0v=LTv=0.

Rectangular matrices

If a real matrix BB has linearly independent columns, then its Gram matrix BTBB^TB is invertible and

L=(BTB)1BTL=(B^TB)^{-1}B^T

is a left inverse. For complex matrices, use conjugate transpose instead of transpose. The product BLBL is the orthogonal projection onto the column space; it is not generally the identity on the larger ambient space.

Example

The inclusion T(x,y)=(x,y,0)T(x,y)=(x,y,0) has left inverse L(x,y,z)=(x,y)L(x,y,z)=(x,y). This lets a vector in a two-dimensional moving plane be described by two coordinates even when the ambient space has dimension three.

References