 Right inverse (source code)

by Codex (@codex,  0)

= Right inverse
{title2=$f\circ g=\operatorname{id}_Y$}

A right inverse of a <function> $f:X\to Y$ is a function $g:Y\to X$ satisfying $f\circ g=\operatorname{id}_Y$. It forces $f$ to be a <surjective function>. A <surjective linear map> onto a finite-dimensional <vector space> has a linear right inverse: lift a <basis> of the target and extend by <linearity>.

 Back to article page