Clase 25: Funciones

El objetivo de esta clase es que usted se apropie de la definición de función, y a partir de ahı́ co-
mience a poder establecer cuando una regla que asocia los elementos de un conjunto A a elementos
de otro conjunto B es una función y cuando no. También buscamos que comience a poder definir
sus propias funciones, para expresar relaciones entre objetos.

Definición 1: Función

Dados dos conjuntos A y B, una función f : A → B, es una regla que asocia a cada elemento
del conjunto A (el domino de f ) un único elemento del conjunto B (el codominio de f ).

La enunciación de una función (la definición de una función) tiene dos partes:
(1) La declaración del nombre de la función, de su dominio, y de su codominio.
(2) La declaración de la regla mediante la cual la función asocia a cada elemento del dominio, un
único elemento del codominio.

Definición 2: Imagen de un elemento del dominio, f (z)

Dada una función f : A → B, y un elemento cualquiera z de A (z ∈ A), llamamos al único

elemento de B que la función asocia a z, la imagen de z bajo f y lo denotamos como f (z).

F Es posible que alguna vez usted haya usado y para nombrar la imagen de x. Por ejemplo, si
f : R → R, f (x) = x + 3, ha visto lo mismo escrito como y = x + 3. Nosotros no usaremos esta
notación dentro de la clase. Para nosotros y y x son variables. Entonces, en este ejemplo, podemos
escribir cualquiera de las siguientes expresiones f (y) = y + 3 o f (x) = x + 3, pero no y = x + 3.

Ejemplo 1. Sea A = {0, 1, 2, 3, 4, 5}, B = N y f : A → B dada por:

f (0) = 1231, f (1) = 1, f (2) = 23, f (3) = 35, f (4) = 14, f (5) = 10
Al decir “Sea f : A → R” estamos declarando la existencia de una función a la que le damos el
nombre f (el nombre podrı́a ser cualquiera: f , g, o azar, pero escogimos f ), y que tiene como
dominio el conjunto A y como codominio el conjunto R.
En este caso definimos la función elemento, por elemento. Es decir, hicimos un lista exhaustiva de
las imágenes de cada uno de los elementos del conjunto A.

1
Ejemplo 2. Sea A = {Camila, Andrés, T omás} y h : A → R, la función dada por:

h(x) = La altura de x (en metros)

Al decir “Sea h : A → R” estamos declarando la existencia de una función a la que le damos el

nombre h (el nombre podrı́a ser cualquiera: f , g, o altura, pero escogimos h), y que tiene como
dominio el conjunto A y como codominio el conjunto R.
En este caso la función asocia a cada persona en el conjunto A su altura en metros. Entonces, por
ejemplo, si Tomás mide 1.74 metros, h(T omás) = 1,74.

F Las palabras “cada” y “único” en la definición de función son totalmente claves para entender
qué reglas que asocian elementos de un conjunto A a elementos de un conjunto B, son funciones
y cuales no. De acuerdo con la definición, para que la regla sea una función es necesario que (1)
cada elemento del dominio, A, tenga una imagen en el codominio, B, y que (2) la imagen de cada
elemento del dominio sea única; es decir, que no haya ningún elemento del dominio que tenga más
de una imagen en el codominio.

En los siguientes ejemplos mire detenidamente si las reglas que están descritas son o no funciones
antes de ver la respuesta. Mire la definición de función y si la cumple o no y porque.

Ejemplo 3. Sea g : {1, 2, 3} → {4, 5, 6, 7} dada por:

g(1) = 4, g(2) = 6

Al volver a la definición de función se ve que esta no es una función (no es una función bien
definida). La definición exige que cada elemento del dominio tenga una imagen en el codominio.
Sin embargo, la regla no especifica cual es la imagen de 3.
¿Cómo arreglamos la definición anterior? Hay varias formas, piense en ellas antes de seguir leyendo.
Vale la pena notar que en cambio la siguiente si es una buena definición de función. ¿Por qué?
Sea g : {1, 2} → {4, 5, 6, 7} dada por:

g(1) = 4, g(2) = 6

Ejemplo 4. Sea g1 : R → R dada por g1 (x) = x1 .

Al volver a la definición de función se ve que esta no es una función (no es una función bien
definida). La definición exige que cada elemento del dominio tenga una imagen en el codominio.
Sin embargo, la regla no nos deja en claro cual es la imagen en R de 0. ¿Cómo podrı́amos ajustar
el dominio de esta función para que la regla propuesta definiera una función?

2
Ejemplo 5. Sea A = {Camila, Andrés, T omás} y sea d : A → N dada por:

0 si el nombre de x tiene al menos una a
d(x) =
1 si el nombre de x tiene al menos una e

Esta no es una función bien definida. Claramente la imagen de Camila es 0,y la imagen de Tomás
también es 0. Pero, ¿cuál es la imagen de Andrés? Es imposible decidir entre 1 y 0, porque de
acuerdo con la regla de asignación la imagen debe ser tanto 1 como 0. Una posibilidad es que
sean las dos, es decir, que Andrés tenga dos imágenes en N. Sin embargo, la definición de función
nos dice que cada elemento del dominio debe tener una única imagen en el codominio. ¿Cómo
podrı́amos ajustar el dominio de esta función para que la regla propuesta definiera una función?