La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es

Aplicación inyectiva

De la Enciclopedia Libre Universal en Español
Saltar a: navegación, buscar

Se dice que una aplicación:

f: AB

es inyectiva, o una inyección, si ocurre que de la relación:

f(a1) = f(a2)

se deduce siempre que:

a1 = a2

Es decir, a elementos diferentes del conjunto origen les corresponden siempre imágenes diferentes. En otras palabras, una aplicación es inyectiva si no podemos encontrar ningún elemento en el conjunto imagen que tenga más de una antiimagen.

Los homomorfismos inyectivos se llaman monomorfismos.

Véase también la noción dual de aplicación sobreyectiva.