Funciones

Con frecuencia escribimos f(a) = b cuando (a,b) es un par ordenado en la función f. Si (a,b) pertenece a f,
b se conoce como la imagen de mediante f, mientras que a es una preimagen de b. Además, la definición
sugiere que f es un método para asociar a cada a que pertenece a A una única b que pertenece a B,
anotamos este proceso como f(a) = b.

En consecuencia, decir que (a,b) y (a,c) pertenecen a f implica necesariamente que b = c.

A menudo una función puede ser representada en forma gráfica. La figura 1 a) muestra una función R de
A={a,b,c,d,e} en B={1,2,3,4}. Si seguimos la convención de representar una relación binaria en forma
tabular, podemos representar la función de la figura 1 a) como la de la figura 1 b). No obstante, una
forma tabular más conveniente para representar funciones es la mostrada en la figura 1 c), donde la
columna izquierda contiene todos los elementos en el dominio y la columna derecha contiene sus
imágenes correspondientes.

Tipos de Funciones:
Existen varias formas de representar las relaciones y cada una puede usarse para representar los mismos
tipos de relaciones, por ejemplo:

Dominio, Codominio y Imagen:

Como pueden ver en el ejemplo de la figura 1 en la primera representacion(la a)) el lado izquierdo es
llamado Dominio y el derecho Codominio, tambien, la imagen de el conjunto del lado izquierdo es el del
lado derecho.
Funcion Injectiva:
Una función

f : A -> B

se denomina inyectiva, o uno a uno si distintos elementos de A

tienen distintas imágenes en B bajo f:

t.q.

x1 , x2 ∈ A y

12x∈x

implica

()()

12