Pg.

1 de 3

APLICACIONES ENTRE CONJUNTOS.

Definicin:
Llamamos APLICACIN entre los conjuntos A (Inicial) y B (Final) a una relacin que
asocia TODO elemento del conjunto A con uno y solo uno elemento del conjunto B
(De cada elemento del conjunto A sale una flecha y solo una).

Para decidir si una relacin es o no aplicacin tenemos que comprobar que se cumple la
definicin, es decir, que TODO elemento del conjunto inicial (Conjunto A) est
relacionado con uno y solo un elemento del conjunto final (Conjunto B). En la figura,
f es una aplicacin. Sin embargo g no lo es por dos razones: hay un elemento de A que
no se relaciona con ningn elemento de B (No tiene imagen) y hay un elemento de A
que se relaciona con ms de un elemento de B.

Definicin:
Llamamos IMAGEN de una aplicacin entre los conjuntos A y B al subconjunto del
conjunto final (Conjunto B) formado por los elementos de B que estn relacionados con
elementos del conjunto inicial (Conjunto A). (Es decir, al subconjunto de B formado por
los elementos a los que les llega alguna flecha).

Aplicaciones entre conjuntos

 Pg. 2 de 3

TIPOS DE APLICACIONES.
Las aplicaciones se clasifican en: INYECTIVA, SUPRAYECTIVA y BIYECTIVA.

Aplicaciones Inyectivas:
Decimos que una aplicacin es INYECTIVA si cada elemento del conjunto final es
imagen de cmo mximo un elemento del conjunto inicial (A cada elemento del
conjunto final le llega como mximo una flecha).

Matemticamente se puede expresar de dos formas:

1.- f : A B es inyectiva si f ( x ) = f ( x ') x = x '

2.- f : A B es inyectiva si x x ' f ( x ) f ( x ')

Aplicaciones Suprayectivas (O sobreyectivas):

Decimos que una aplicacin es SUPRAYECTIVA si cada elemento del conjunto final
es imagen de como mnimo un elemento del conjunto inicial (A cada elemento del
conjunto final le llega como mnimo una flecha).

Matemticamente se expresa de dos formas:

1.- f : A B es sobreyectiva si Img ( f ) = B. Es decir, si la imagen de f

coincide con el conjunto final (Conjunto B).
2.- f : A B es sup rayectiva si y B x A tal que f ( x ) = y . Es decir, si
para todo y perteneciente al conjunto final (Conjunto B) existe algn o algunos x
pertenecientes al conjunto inicial (Conjunto A) tal que f(x) = y.

Aplicaciones entre conjuntos

 Pg. 3 de 3

Aplicaciones Biyectivas:
Decimos que una aplicacin es BIYECTIVA si cada elemento del conjunto final (B) es
imagen de uno y solo uno elemento del conjunto inicial (A) (A cada elemento del
conjunto final le llega una flecha y solo una).

Matemticamente se expresa de dos formas:

1.- f : A B es biyectiva si es inyectiva y suprayectiva a la vez.

2.- f : A B es sup rayectiva si y B | x A tal que f ( x ) = y Es decir, si
para todo y perteneciente a B existe un nico x perteneciente a A tal que f(x) = y

NOTAS:

Aplicaciones entre conjuntos