FUNCIONES

Estas notas solo pretenden proporcionar de una manera relativamente detallada,

los elementos conceptualmente importantes al momento de discutir la nocion
de funcion. La idea es entonces dejar de percibir las funciones simplemente
como algo de la forma f (x) sin ning
un tipo de justificacion rigurosa como
suele ocurrir en los primeros cursos de matematicas. Quiero insistir en que mas
importante que desarrollar habilidades operativas sobre el concepto de funcion,
es necesario dominar los elementos basicos presentes en su definicion. Por ello
estas notas deben leerse con atencion y se
nalar todo aquello que consideren vital
para su debida comprension. De antemano me excuso ante cualquier error en la
redaccion, y estare atento a cualquier sugerencia de este tipo.

1.

CONCEPTOS BASICOS
DE FUNCIONES

Una funcion de un conjunto A en un conjunto B es una regla que especifica un

elemento de B para cada elemento de A. Usualmente denotamos las funciones
por las letras f, g, h sin ser esto una camisa de fuerza. Mas concretamente
Definici
on 1.1 Sean A y B conjuntos. Una funci
on total (tambien conocida
como mapeo, transformaci
on o aplicaci
on) f de un conjunto A a un conjunto
B, denotada por f : A B es una relaci
on f A B que satisface:
(x A)(y B) tal que (x, y) f
Si (x, y) f y (x, z) f entonces y = z
La terminologa asociada con funciones es consistente con la tratada en relaciones. Es decir, si f es una funcion de A en B, entonces A es llamado dominio
de f y B es llamado el codominio de f . Si (a, b) f entonces usaremos la
1


1. CONCEPTOS BASICOS
DE FUNCIONES

notacion f (a) = b para indicar que el elemento a A es enviado al elemento

b B. Se dice entonces que a es el argumento de la funcion y b es llamado el
valor de la funcion.
Para definir una funcion es necesario especificar el dominio, el codominio y
el valor de f (x) para cada argumento posible x, es decir, indicar una regla de
transformacion. La notacion f : A B indica que f es una funcion con dominio
A y codominio B. Los valores de f (x) son especificados por un conjunto de reglas
que cubren todos los posibles valores de x, por ejemplo
f :NN
f (x) = 1
x
f (x) =
2

si x es impar
si x es par

Cuando el dominio de la funcion es finito, la funcion se puede especificar

indicando de forma explcita los valores para todos los posibles argumentos, por
ejemplo
g : {1, 2, 3} {A, B, C}

g(1) = A
g(2) = C
g(3) = C

o a traves de un diagrama de flechas

g
1
2
3

B
C

La definicion de funcion por supuesto puede incluir mas de una variable. Es

decir, podemos tener funcionesQf : S1 S2 Cn T que a cada n-tupla
n
de elementos (s1 , s2 , . . . , sn ) i=i Si con si Si le asigna o hace corresponder
un u
nico elemento en T .
EJEMPLOS
i) Sea f : Z N {1, 2} Z definida por f (x, y, z) = xy + z. Entonces
f (4, 3, 1) = (4)3 + 1 = 63
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI


1. CONCEPTOS BASICOS
DE FUNCIONES

ii) Sea S el conjunto de todas las cadenas de caracteres de longitud finita.

Entonces, la correspondencia que asigna a cada cadena le asigna el n
umero
de caracteres de la cadena es un funcion con dominio S y codominio N.
(aqu permitimos que la cadena vaca tenga cero caracteres).
iii) Cualquier formula bien formada con n letras define una funcion con dominio {0, 1}n (es decir, el producto cartesiano de n conjuntos de la forma
{0, 1}) y codominio {0, 1}. El dominio consiste de todas las tuplas de valores 0, 1. Con cada n-tupla se asocia un u
nico valor ya sea 0 o 1. La tabla
de verdad para la formula bien formada exhibe la regla de transformacion.
Por ejemplo, si la formula es A B entonces la tabla de verdad
A
1
1
0
0

B
1
0
1
0

B
0
1
0
1

A B
1
1
0
1

dice que el valor de la funcion cuando se eval

ua en la tupla (0, 1) es 0.
Si llamamos a esta funcion v (el parecido con la idea de valuacion no es
ninguna coincidencia ingenieros!!!) entonces v(0, 1) = 0.
Cuando consideremos la funcion f : A B generalmente pensamos en f como
un mapeo de elementos de A a elementos de B, pero es u
til con frecuencia,
considerar tambien a f como un mapeo de SUBCONJUNTOS de A a SUBCONJUNTOS de B. La siguiente definicion nos da una notacion conveniente
Definici
on 1.2 Sea f : A B y sea A0 A un subconjunto del dominio A.
Entonces f (A0 ) denota un subconjunto de B llamado imagen de A0 bajo f . Es
decir
f (A0 ) = {f (x) B|x A0 }

La imagen del dominio completo f (A) es llamada la imagen de la funci

on f .

Notese que para cualquier funcion f : A B la definicion 1.2 de forma implcita especifica otra funcion F donde F : P(A) P(B). Es decir, F mapea
subconjuntos del dominio A a subconjuntos del codominio B. Para A0 A, el
conjunto F (A0 ) se denota simplemente por f (A0 ). Notese tambien que f y F
no son la misma funcion; el dominio y codominio de f son los conjuntos A y
B, mientras que el dominio y codominio de F son los conjuntos P(A) y P(B).
As la funcion f mapea elementos de A a elementos de B, mientras que F mapea
subconjuntos de A a subconjuntos de B. Esta diferencia entre f y F motiva la
siguiente definicion
Definici
on 1.3 Dos funciones son iguales si tienen el mismo dominio, mismo
codominio y la misma regla de transformaci
on entre elementos del dominio a
elementos del codominio. Es decir para todo elemento a de sus dominios f (a) =
g(a).
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI


1. CONCEPTOS BASICOS
DE FUNCIONES

Ejercicio
sea S = {1, 2, 3} y T = {1, 4, 9}. La funcion f : S T esta definida por
f = {(1, 1), (2, 4), (3, 9)}. La funcion g : S T esta definida por la ecuacion
Pn
(4k 2)
g(n) = k=1
2
Probar que f = g.
Ejemplos
i) Suponga f : {0, 1, 2, 3} {a, b, c} definida por el siguiente diagrama de
flechas
0


b
c

entonces
f ({0, 1, 2, 3}) = {a, b, c}
f ({2, 3}) = {b, c}
f ({0}) = {b}
f ({0, 3} = {b}

y
f () =
ii) sea f una funcion de N a N tal que f (x) = 1 para entero impar x y
f (x) = x/2 para todo entero par x. Entonces
f (0) = 0
f (1) = 1
f (2) = 1
f (3) = 1
f (4) = 1
..
.

CARLOS RAMIREZ

f ({0}) = {0}
f ({1}) = {1}

f ({0, 2, 4, 6, . . .}) = N
f ({4, 6, 8}) = {2, 3, 4}
f ({1, 3, 5, 7 . . .}) = {1}

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

1. CONCEPTOS BASICOS
DE FUNCIONES

Dado que las funciones son tambien relaciones, si f es una funcion de A a B y

g es una funcion de B a C, una relacion composicion existe de A a C. Mas a
un,
el siguiente teorema establece que esta composicion es de hecho una funcion.
Usaremos la notacion estandar para funcion compuesta g f indicando que
primero act
ua la funcion f y luego act
ua la funcion g.
Teorema 1.4 Sean f : A B y g : B C. Entonces la composici
on g f es
un funci
on de A a C y (g f )(x) = g(f (x)).
Demostraci
on
Puesto que f y g son relaciones, claramente g f es una relacion de A a C. Para
establecer que g f es funcion debe mostrarse que para todo a A existe un
u
nico c C tal que (a, c) g f .
Como f es funcion, para cada a A existe un u
nico b B tal que f (a) = b;
igualmente, como g es funcion, para cada b B existe un u
nico c C tal que
g(b) = c. Ahora bien, como (a, b) f y (b, c) g, por definicion de composicion
de relaciones se sabe que (a, c) g f . Mas a
un, b esta determinado de forma
u
nica para el argumento a de la funcion f y as mismo, c esta determinado de
forma u
nica para el argumento b de la funcion g. De esto se sigue que (a, c) es
el u
nico par ordenado de la composicion g f con a como primer elemento, por
lo que c esta determinado de forma u
nica para a. As, g f es una funcion y
(g f )(a) = c = f (b) = f (g(a)).
Ejemplos
i) sea f : {0, 1, 2} {a, b} y g : {a, b} {A, B, C} definidas por los siguientes diagramas de flechas
g
f
a
a
0
C
1

B


Entonces g f : {0, 1, 2} {A, B, C} puede ser representada por

0


CARLOS RAMIREZ

B
C

MATEMATICA
DISCRETA UNIVERSIDAD ICESI


1. CONCEPTOS BASICOS
DE FUNCIONES

ii) sea f : {0, 1, 2} N definida por f (x) = x y g : N N definida por

g(x) = x. La composicion f g no esta definida pues el dominio de f no es
igual al codominio de g. Sin embargo la composicion g f si esta definida:
g f : {0, 1, 2} N

(g f )(x) = x

En este caso g f = f .
iii) sea f : N N donde f (x) = 2x para x N, y sea g : N N donde
g(x) = x/2 si x es impar y g(x) = 0 en cualquier otro caso.
Tanto g f como f g estan definidas. En efecto:
gf :NN
(g f )(x) = g(f (x)) = g(2x) = x
f g :NN

(f g)(x) = f (g(x)) = f (x/2) = x

(f g)(x) = f (g(x)) = f (0) = 0

si x es par
si x es impar

Las relaciones entre varias funciones y sus composiciones a menudo se representan usando lo que se denomina diagrama conmutativo. Un diagrama conmutativo es un diagrama cuyos arcos representan funciones y los nodos representan
dominios y codominios. Un arco etiquetado con f desde un nodo etiquetado con
A a un nodo etiquetado con B indica que f es una funcion de A a B. Un camino
dirigido desde el nodo A al nodo B corresponde a una aplicacion secuencial de
las funciones que aparecen como etiquetas sobre los caminos. Por ejemplo, el
siguiente diagrama representa la afirmacion de que (f g)(x) = f (g(x)).
f g

A
g

Al decir que el diagrama anterior conmuta, estamos asegurando que ir de A

hasta B por g y luego ir de B a C por f da el mismo resultado que ir de A a C
por f g. Esto fue lo que demostramos en el teorema 1.4
En general, cada camino de un diagrama conmutativo puede ser asociado con
la composicion de funciones que aparecen como etiquetas sobre el camino. Si el
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

1. CONCEPTOS BASICOS
DE FUNCIONES

diagrama conmuta, entonces diferentes caminos con los mismos nodos iniciales
y terminales representan diferentes descripciones de la misma funcion. De esta
forma, por ejemplo, el siguiente diagrama asegura que f g = h k para los
mapeos g : A B, f : B D, k : A C y h : C D
A

g


k
C

Cuando una composicion de funciones aparece en una discusion, asumimos de

com
un acuerdo que los comentarios sobre la composicion solo aplican en los
casos en que la composicion tenga sentido, es decir, este definida. Con esto
presente, se
nalamos el siguiente resultado
Teorema 1.5 La composici
on de funciones es asociativa: Si f, g y h son funciones entonces (f g) h = f (g h)
Ejercicio
Construir un diagrama conmutativo que represente la afirmacion del teorema
1.5. (No se esta pidiendo demostrar el teorema, solo representarlo a traves de
un diagrama conmutativo. Permitira el diagrama sugerir una demostracion?
Explique)
Si f : A A para alg
un conjunto A, entonces la funcion f puede componerse
con ella misma (tal y como ocurre con las relaciones definidas de A en A)
cualquier cantidad de veces. La notacion usada para la composicion repetida de
f consigo misma puede definirse inductivamente por:
1. f 0 (a) = a,
2. f n+1 (a) = f (f n (a)) para n N.
El conjunto de todas las funciones del conjunto A al conjunto B se denota a
menudo por B n . Si alguno de los conjuntos A o B son los primeros n n
umeros
naturales, {0, 1, 2, . . . , n 1} entonces el conjunto se representa con el smbolo
n. Por ejemplo, el conjunto de todas las funciones de A a {0, 1} se denota
por 2A , y el conjunto de todas las funciones de {0, 1, 2} a B se denota por
B 3 . De esta forma, la notacion An puede denotar el conjunto de n-tuplas de
elementos de A o tambien el conjunto de todas las aplicaciones de {0, 1, 2, . . . , n
1} a A. Esta notacion no produce ambig
uedad entre ambos significados pues
existe una correspondencia natural entre ellos. Podras sugerir cual es esta
correspondencia?
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

2. FUNCIONES PARCIALES

2.

FUNCIONES PARCIALES

A menudo es conveniente considerar una funcion de un conjunto A0 A a

un conjunto B sin especificar especificar de forma exacta el dominio A0 de la
funcion. Alternativamente, podemos ver esta situacion con una en la cual la
funcion tiene dominio A y codominio B, pero el valor de la funcion no existe
(no esta definida) para algunos argumentos. Esto es llamado funcion parcial
Definici
on 2.1 Sean A y B conjuntos. Una funci
on parcial f con dominio A
y codominio B es cualquier funci
on de A0 a B donde A0 A. Para cualquier
x A A0 , el valor de f (x) se dice que es indefinido.
Notese que si f es una funcion de A a B, entonces f es una funcion parcial
de A a B. En adelante siempre nos referiremos a funciones parciales con ese
adjetivo,parcial, mientras que para referirnos a una funcion total simplemente
lo indicaremos por nombre de funcion.
La notacion y los teoremas que hemos desarrollado para funciones, aplica exactamente igual para funciones parciales. Por ejemplo, la composicion de funciones
parciales es una funcion parcial.
Ejemplos
i) La operacion de calcular
la raz cuadrada de una n
umero real es una
funcion parcial de R a R; x no esta definida para x < 0
ii) La funcion parcial f (x) = 1/x de R a R es indefinida para el argumento
x = 0.
iii) La funcion parcial f (x) = x de R a R es una funcion total
iv) Los programas de computador representan funciones parciales. La entrada
de un programa es el argumento de la funcion parcial, y la salida del programa es el valor de la funcion parcial. Si el program no termina o termina
de forma anormal (por ejemplo, intentando ejecutar una operacion ilegal
como la division por cero) entonces la funcion parcial no esta definida
para ese argumento. Usar la salida de un programa como la entrada para
otro programa corresponde a la composicion de funciones parciales vistas
como programas. Esta perspectiva de los programa provee un fundamento
matematico para investigar la correctitud de los programas. El significado de un programa puede ser definido como la funcion parcial que este
computa y el programa es correcto si computa la funcion parcial deseada.
El programa terminara para todas las entradas si la funcion parcial es
tambien total.

3.

CLASES ESPECIALES DE FUNCIONES

Algunas propiedades de las funciones son lo suficientemente importantes como

para merecer una definicion
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

3. CLASES ESPECIALES DE FUNCIONES

Definici
on 3.1 sea f una funci
on f : A B
a) f es sobreyectiva (sobre) si f (A) = B es decir, (b B)(a A)(f (a) =
b)) que es lo mismo que decir que la imagen directa de A es todo el conjunto
B.
b) f es inyectiva (1-1) si a 6= a0 implica que f (a) 6= f (a0 ) para todo a, a0 A,
lo que equivale a decir que f (a) = f (a0 ) a = a0 para todo a, a0 A
que es lo mismo que decir que elementos distintos en A producen valores
distintos en B.
c) f es biyectiva si es sobreyectiva e inyectiva simult
aneamente.
Cuando consideremos el diagrama de flechas asociado a funcion f : A B.
Si f es sobre, al menos alg
un arco termina en cada elemento de B. Si f es
inyectiva, no mas de un arco termina en cada elemento de B, y si f es biyectiva
exactamente un arco termina en cada elemento de B.
Ejemplos
i) Los siguientes diagramas de flechas ilustran los conceptos de la definicion
3.1:

Inyectiva
No sobreyectiva

Sobreyectiva
No inyectiva

Biyectiva

ii) Sea f : N N donde f (x) = 2x. Esta funcion es inyectiva pero no

sobreyectiva; la imagen de f es el conjunto de enteros pares no negativos.
No es sobre pues no existe ning
un valor de x N tal que f (x) = 3 = 2x
pues de lo contrario x no seria un natural.

n/2,
si n es par;
iii) La funcion f : N Z definida por f (n) =
(1 n)/2, si n es impar.
es sobreyectiva mas no inyectiva. En efecto:
En primer lugar tenemos
f (0) =
CARLOS RAMIREZ

0
11
=0=
= f (1)
2
2

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

10

3. CLASES ESPECIALES DE FUNCIONES

por lo que f no es inyectiva y por lo tanto tampoco biyectiva. Queremos

ver que f es sobre, es decir, que para todo z Z existe n N tal que
f (n) = z.
la funcion f enva los n
umero pares positivos a los enteros positivos (por
ejemplo, f (4) = 2), los n
umeros 0 y 1 a 0, y los impares mayores que 1 a
los enteros negativos (por ejemplo, f (5) = 2).
Para z Z distinguimos dos casos:

si z 0 entonces n = 2z es el n
umero par en N tal que
f (n) = f (2z) =

2z
=z
2

si z < 0 entonces 2z > 0 y n = 2z + 1 es un n

umero impar en N
tal que
f (n) = f (2z + 1) =

2z
1 (2z + 1)
=
=z
2
2

iv) Sea f : N N la funcion definida por f (0) = 0 y f (n) = 2f (n 1) + 1

para n 1; entonces f es 1-1. En efecto
La funcion f tiene una definicion recursiva en la cual el primer elemento
es 0 y luego cada elemento se obtiene a partir del anterior multiplicandolo
por 2 y sumando 1, obteniendo as una sucesion estrictamente creciente:
0

15

31

63

127

255

511 . . .

Como cada n
umero es mayor que el anterior, tenemos que si n < m entonces f (n) < f (m), por lo que f (n) 6= f (m) siempre que n 6= m, es decir,
f es 1-1. Por otro lado, f no puede ser sobre pues en su codominio no
existen n
umeros pares positivos.
Ejercicios
1. Definimos una funcion parcial f = {(x, y) N N | 2x + y = 16}.
Cual de las siguientes afirmaciones es cierta?
a) Df = Dominio de f = {n N | n 16}
b) Imf = Imagen de f = {n N | 0 n 28}
c) f f = {(4, 0), (5, 4), (6, 8), (7, 12), (8, 16)}

2. Sea f : [0, 1] [a, b] definida por f (x) = (b a)x + a. Mostrar que

esta funcion es una biyeccion.
Proposici
on 3.1 (Propiedades de la imagen directa) Si f : X Y es
una aplicaci
on y A, B X, se verifican las siguientes propiedades:
i) A B f (A) f (B)
ii) f (AU B) = f (A) f (B)
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

3. CLASES ESPECIALES DE FUNCIONES

11

iii) f (A B) f (A) f (B). La igualdad se cumple si f es 1-1

iv) f (Ac ) f (A)c si f es inyectiva y f (A)c f (Ac ) si f es sobre (Ac denota
el complemento del conjunto A).
Demostraci
on
i) El objetivo es mostrar que dado un y f (A), ocurre que y f (B). Ahora
bien, si y f (A), entonces existe x A tal que f (x) = y. Pero por hipotesis
A B por lo que x B. As y f (B).
ii) Se debe comprobar que f (AB) f (A)f (B) y que f (A)f (B) f (AB).
Veamos la primera parte. Sea y f (A B). Entonces existe x A B tal
que f (x) = y. Pero como x A B entonces x A o x B, de donde
f (x) = y f (A) o f (x) = y f (B) por lo que y f (A) f (B).
Por otro lado, si y f (A) f (B) entonces y f (A) o y f (B). Luego,
existe x A tal que f (x) = y o existe x B tal que f (x) = y. En cualquier
caso existe x A B tal que f (x) = y y por lo tanto f (x) = y f (A B).
iii) Sea y f (A B). Entonces, existe x A B tal que f (x) = y. Como
x A B entonces x A y x B. Luego f (x) = y f (A) y f (x) = y f (B).
De aqu se obtiene entonces que y f (A) f (B). Para ver que la igualdad
se cumple, suponemos f inyectiva. Sea entonces y f (A) f (B). Entonces
y f (A) y y f (B). Luego, existe a A tal que f (a) = y y existe b B tal
que f (b) = y. Dado que f es 1-1, se tiene que a = b. As, existe a A B con
f (a) = y, de donde y f (A B).
Notese que en la u
ltima parte de esta prueba se requiere que la funcion sea
inyectiva para que el resultado sea cierto. Es decir, si f no es 1-1, no necesariamente se va a cumplir que f (A)f (B) f (AB). Construya un contraejemplo
que verifique esta observacion.
iv) Sea f inyectiva y tomemos y f (Ac ). Luego, existe x Ac tal que f (x) = y.
Como x Ac entonces x
/ A. Dado que f es 1-1, f (x) = y
/ f (A), pues si
fuera as, entonces existira x0 A tal que f (x0 ) = y y como f es 1-1 entonces
x0 = x por lo que que y f (A) lo cual es una contradiccion. As que podemos
asegurar que en efecto f (x) = y
/ f (A), y por lo tanto y f (A)c .
La otra parte de la prueba es un ejercicio para ustedes.
Teorema 3.2 Sea g f una composici
on de funciones.
i) Si f y g son sobres entonces g f es sobre
ii) Si f y g son 1-1 entonces g f es inyectiva
iii) Si f y g son biyectivas entonces g f es biyectiva

CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

3. CLASES ESPECIALES DE FUNCIONES

12

Demostraci
on
sean f : A B y g : B C
i) Sea c C. Puesto que g es sobreyectiva, existe alg
un elemento b B tal
que g(b) = c. Dado que f es sobreyectiva, existe alg
un a A tal que f (a) = b.
Luego (g f )(a) = g(f (a)) = g(b) = c. Y por lo tanto c (g f )(A). Dado que
c es un elemento arbitrario, esto comprueba la parte i)
ii) Sean a, b A y supongamos que a 6= b. Puesto que f es 1-1 entonces
necesariamente f (a) 6= f (b). De igual forma, como g es inyectiva y f (a) 6= f (b)
entonces se tiene queg(f (a)) 6= g(f (b)). Luego, a 6= b implica (g f )(a) 6=
(g f )(b)
iii) Inmediato de i) y ii).

Ejemplos
i) Sea A = Z y definamos las biyecciones f y g como sigue:
f : A Z+ ,
g : Z+ N,

donde f (x) = x
donde f (x) = x 1

Puesto que f y g son biyecciones, la composicion g f es biyectiva tambien

y (g f )(x) = x 1
ii) Deseamos construir una inyeccion de [0,1] a (0,1). Para ello definamos
f : [0, 1] [0, 21 ] por f (x) = x/2; y g : [0, 21 ] (0, 1) por g(x) = x + 14 .
Entonces g f : [0, 1] (0, 1) es la inyeccion (g f )(x) = x/2 + 14 . La
imagen directa de [0,1] es el intervalo [ 14 , 43 ] el cual esta contenido en el
intervalo abierto (0,1).
El resultado opuesto al teorema 3.2 es falso. Es decir, el hecho de que g f sea
inyectiva, no implica que f y g tambien lo sean (encontrar un contraejemplo para
esto). Sin embargo, es posible presentar un teorema parcialmente opuesto al
teorema 3.2.
Teorema 3.3 Sea g f una composici
on de funciones
i) Si g f es sobreyectiva entonces g es sobreyectiva
ii) Si g f es inyectiva entonces f es inyectiva
iii) si g f es biyectiva entonces g es sobreyectiva y f es inyectiva.

CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

3. CLASES ESPECIALES DE FUNCIONES

13

Demostraci
on
Sean f : A B y g : C.

i) Supongamos que g f es sobreyectiva y que g no lo es (razonando por reduccion al absurdo). Recordemos que g es sobreyectiva si y solo si (c C)(b
B)(g(b) = c). Por lo tanto, negar que g sea sobreyectiva equivale a negar la
expresion anterior, es decir
(c C)(b B)(g(b) = c) (c C)(b B)(g(b) 6= c)
Ahora bien, como g f es sobre, entonces (c C)(a A)((g f )(a) = c) pero
(g f )(a) = g(f (a)) = g(b) = c lo cual muestra que si existe un b B tal que
g(b) = c cuando supuestamente habamos afirmado que b B g(b) 6= c para
c C, lo cual es una contradiccion
ii) Ejercicio

iii) Ejercicio
Las siguientes clases de funciones son u
tiles
Definici
on 3.4 Una funci
on f : A B es una funci
on constante si existe
alg
un b B tal que f (a) = b para todo a A. Es decir f (A) = {b}.
Definici
on 3.5 La funci
on identidad sobre A denotada por 1A es la funci
on
sobre A tal que 1A (a) = a para todo a A
Note que toda funcion identidad 1A es una biyeccion. El siguiente teorema
asegura que si f : A B entonces la funcion identidad de A es una identidad
derecha para f y la funcion identidad sobre B es una identidad izquierda
para f
Teorema 3.6 Sea f : A B. Entonces f = f 1A = 1B f
Demostraci
on
a A , (1B f )(a) = 1B (f (a)) = f (a),
a A , (f 1A )(a) = f (1A (a)) = f (a),

luego 1B f = f

luego f 1A = f

El siguiente diagrama conmutativo representa el teorema 3.6

f


f
1A

1B
f

CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

14

INVERSA
4. FUNCION

INVERSA
FUNCION

4.

Si f es una biyeccion de A a B, entonces f consiste de un conjunto de pares

ordenados con la propiedad de que todo elemento a A aparece exactamente
una vez como primer elemento de una pareja y todo elemento b B aparece
exactamente una vez como segundo elemento de una pareja. La relacion inversa
formada por las parejas formadas en orden opuesto en f es un relacion con las
mismas propiedades, es decir, la relacion inversa para f es una biyeccion de B
a A.
Definici
on 4.1 Sea f : A B una biyecci
on de A a B. La funci
on inversa
de f denotada por f 1 es la relaci
on inversa de f .
Notese que la funcion inversa f 1 solo esta definida si f es una biyeccion.
Teorema 4.2 Una aplicaci
on f : A B es biyectiva si y solo si existe f 1
1
para f que cumple f f = 1B y f 1 f = 1A
Demostraci
on
Si f : A B es biyectiva, en particular, es sobre, y por lo tanto, para cada
b B existe a A tal que f (a) = b y ademas a es el u
nico elemento para el cual
f (a) = b pues f es inyectiva. Definamos f 1 : B B mediante f 1 (b) = a. Se
verifica entonces :
a A , (f 1 f )(a) = f 1 (f (a)) = f 1 (b) = a = 1A (a),
b B , (f f 1 )(b) = f (f 1 (b)) = f (a) = b = 1B (b),

luego f 1 f = 1A
luego f f 1 = 1B

De forma recproca, si f (x) = f (y) (f 1 f )(x) = (f 1 f )(y) y como

f f = 1A se tiene que x = y, por lo que f resulta ser biyectiva. Por otro
lado, si b B, sea a = f 1 (b), entonces existe a A con f (a) = (f f 1 )(b) = b
por lo que f es tambien sobre.
Ejemplo Sea f : {0, 1, 2} {a, b, c} definida por el siguiente diagrama de
flechas.
1

0
1

2


b
c

Entonces f 1 es representado como sigue:

CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

 INVERSA
4. FUNCION

f 1

15

b
c

2


Estas funciones pueden componerte para formar 1A y 1B .

f 1 f
f f 1
0


b
c

Teorema 4.3 Si f es biyectiva, entonces (f 1 )1 = f

Demostraci
on
Ejercicio
La definicion 1.2 establece una notacion para la imagen de un subconjunto
A0 A bajo un mapeo f : A B. Esta notacion esta definida por:
f (A0 ) = {f (x) B|x A0 }
Una notacion similar es usada para denotar el conjunto de elementos en A que
son enviados a un subconjunto B 0 B.
Definici
on 4.4 Sea f : A B y sea B 0 B. Entonces f 1 (B 0 ) denota un
subconjunto de A llamado imagen inversa o pre-imagen de B 0 bajo f .
f 1 (B 0 ) = {x A|f (x) B 0 }
As como el smbolo f denota una funcion de P(A) a P(B) cuando es escrito
con un argumento A0 A, el smbolo f 1 denota una funcion de P(B) a P(A)
cuando es aplicado a un argumento B 0 B. As la notacion f 1 denota tanto
la inversa de una funcion f biyectiva, como la imagen inversa de un conjunto
bajo una funcion arbitraria f . El contexto determina que usa se esta dando para
cada caso particular.
Ejemplo
Considere la funcion representada por el siguiente diagrama de flechas
CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI

 INVERSA
4. FUNCION

2
3

16

b
c
d
e

Entonces f 1 ({a}) = {0}, f 1 ({a, b} = {0, 1, 2}, f 1 ({c, d}) = {3} y f 1 ({d, e}) =
. Notese que f no tiene funcion inversa (porque?).
Proposici
on 4.1 Sea f : X Y una aplicaci
on, A X y B Y . Entonces
i) A f 1 (f (A)). La igualdad se cumple si f es inyectiva
ii) f (f 1 (B)) B. La igualdad se cumple si f es sobreyectiva.
Demostraci
on
i) Si a A, se cumple que b = f (a) f (A). Y como existe b f (A) con
f (a) = b, por definicion de imagen inversa se tiene que a f 1 (f (A)). Para ver
el otro contenido con f inyectiva, sea a f 1 (f (A)). Entonces existe b f (A)
con f (a) = b. Y como b f (A), entonces existe x A con f (x) = b, y como f
es 1-1 entonces a = x A.
ii) Ejercicio

Terminamos este material con un problema adicional

Ejercicio
Si f : X Y es una funcion y A, B Y entonces muestre que se verifican las
siguientes propiedades
1. A B f 1 (A) f 1 (B)
2. f 1 (A B) = f 1 (A) f 1 (B)
3. f 1 (A B) = f 1 (A) f 1 (B)
4. f 1 (Ac ) = f 1 (A)c

CARLOS RAMIREZ

MATEMATICA
DISCRETA UNIVERSIDAD ICESI