Para completitud...
Hay una variante de la idea de función que no incluye una noción de codominio. Por ejemplo, con esta noción, la función definida por $f(x) = x^2$ (donde $x$ es una variable real) "recuerda" que su dominio son todos los reales y que su imagen (a veces llamada su rango) son todos los reales no negativos, pero no le importa si se interpreta como un mapeo $\mathbb{R} \to \mathbb{R}_{\geq 0}$, un mapeo $\mathbb{R} \to \mathbb{R}$, un mapeo $\mathbb{R} \to \mathbb{C}$, o incluso algo más exótico.
Para esta variación específica sobre la noción de función, es cierto que cada función inyectiva es inversible.
Tengo la impresión de que esta noción de función fue popular en algún momento pero ya no lo es. Sin embargo, todavía persiste en cierta medida debido a la inercia: por ejemplo, la gente la aprendió de esa manera, así que la enseñaron a otros, conceptos relacionados han perdurado, ese tipo de cosas.
Para la noción más moderna de función, sí "recuerda" su codominio, y requerimos que el dominio de su inversa sea todo el codominio, por lo que una función inyectiva solo es inversible si también es biyectiva.
8 votos
Encuentro útil recordar que "una función inyectiva es biyectiva en su imagen".
0 votos
Algunas publicaciones relacionadas antiguas: math.stackexchange.com/questions/994282/… y math.stackexchange.com/questions/232674/…