A right inverse of a T:VWT:V\to W is a linear map R:WVR:W\to V such that

TR=IW.TR=I_W.

It supplies a solution v=Rwv=Rw to Tv=wTv=w for every wWw\in W, so TT is surjective. A right inverse need not be unique: adding a linear map K:WVK:W\to V satisfying TK=0TK=0 preserves the identity.

Compatibility and regularity

If a differential operator is inverted only on a subspace of compatible sources, that subspace is the target WW in the right-inverse statement. Existence of an algebraic right inverse does not assert boundedness, smooth parameter dependence or support preservation; each is an additional property of the chosen inverse.

Example

For T(x,y)=xT(x,y)=x, the map R(t)=(t,0)R(t)=(t,0) is a right inverse. Here RTRT is a projection, not the identity on R2\mathbb R^2.

References