Facultad de Filosofı́a, Humanidades y Artes

Departamento de Matemática - U. N. S. J.
Profesorado y Licenciatura en Matemática
L. Sarmiento, I. Pelegrina, A. Giménez, J. Borchert
Ciclo lectivo: 2020

Unidad 4

Funciones

1 Funciones

1.1 Introducción
Ahora definiremos y analizaremos un tipo especial de relación binaria: funciones. El
concepto de función es sin duda, el más importante y utilizado en Matemática y en otras
ciencias.
El origen del concepto de función ha estado siempre unido al estudio de los fenómenos
sujetos a cambios, son numerosos los procesos en que se ponen de manifiesto dicho concepto
permitiendo describir el mundo real en términos matemáticos, como por ejemplo la dependen-
cia del espacio con respecto al tiempo en el movimiento rectilı́neo uniforme, las variaciones de
2 U.N.S.J.-F.F.H.A.-Departamento de Matemática

la temperatura, el movimiento de los planetas, el crecimiento de una población de bacterias,

el lanzamiento de un proyectil, inclusive hasta procesos tan complejos como las funciones del
cerebro.
Las referencias más antiguas al concepto de función se encuentran en algunos escritos de
astrónomos babilonios. En la Edad Media el estudio de funciones aparece ligado al concepto
de movimiento, siendo uno de los primeros en realizarlo Nicolás de Oresme (1323-1392) el
cuál representó en ejes coordenados, gráficos relacionados con el cambio de la velocidad
respecto al tiempo.
El primero en analizar los fenómenos naturales fue Galileo Galilei (1564-1642), aunque
no en la forma que nosotros lo conocemos actualmente. Galileo estudió el movimiento desde
un punto de vista cuantitativo, justificándolo experimentalmente y estableciendo a partir de
ello, leyes y relaciones entre magnitudes.
Isaac Newton (1642-1727) desarrolló sus ideas de la gravitación universal, de la teorı́a de
los colores y sobre la serie del binomio. También realizó estudios sobre series infinitas y sobre
la cuadratura de curvas (1693). Su obra más famosa Principia, donde expone su teorı́a de
la gravitación universal, fue publicada en 1687, pero sus argumentos son muy geométricos y
sólo dan una idea de sus métodos del cálculo infinitesimal.
Gotfried Leibniz (1646-1716) estudió filosofı́a, derecho y lenguas clásicas, pero su principal
interés estuvo centrado en desarrollar una especie de lenguaje simbólico para representar los
conceptos fundamentales del pensamiento humano y las maneras de combinar estos sı́mbolos
para llegar a conceptos más elaborados. Leibniz fue el primero que en 1673 usó la palabra
“función” para referirse a la relación de dependencia de dos variables o cantidades. Euler,
que le dio su formulación moderna y = f(x), Cauchy, Dirichlet o Gauss, las mejores mentes
de la historia de la humanidad le dedicaron su atención y sus desvelos.
A partir de Galileo, el concepto de función fue evolucionando hasta que a comienzos
del siglo XIX, en 1837, Dirichlet formuló la definición de función como relación entre dos
variables, que es la que actualmente conocemos.
Recordemos que en el Curso de Nivelación definimos coloquialmente el concepto de
función, de la siguiente manera:
Una función de A en B es una correspondencia entre los elementos de A y los elementos de
B, tal que a cada elemento de A le corresponde uno y sólo un elemento de B.
Ahora precisaremos los términos usados en esa definición, utilizaremos el concepto de
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 3

relación para indicar la correspondencia entre los elementos de ambos conjuntos.

De la definición anterior concluimos que f es una función de A en B, si es una relación
tal que a cada elemento de A le corresponde un único elemento de B.
Más formalmente,

Definición 1.1 Sean A y B dos conjuntos no vacı́os, una función f de A en B, denotada

como f : A → B, es una relación de A en B en la que para cada x ∈ A, existe un único
elemento y ∈ B tal que (x, y) ∈ f.

Es decir, f : A → B es una función si:

(i) f es una relación de A en B, esto es, f ⊆ A × B.

(ii) Para cada x ∈ A, existe y ∈ B tal que (x, y) ∈ f.
(iii) Si (x, y) ∈ f y (x, z) ∈ f, entonces y = z.

Las dos condiciones anteriores nos ofrecen la siguiente caracterización de una función.

Definición 1.2 Diremos que una relación f de A en B es una función, si satisface las
condiciones de existencia y unicidad.

 • Existencia: ∀x ∈ A, ∃y ∈ B : (x, y) ∈ f


f : A → B es función ⇐⇒ ∧

 • Unicidad:

∀x ∈ A [((x, y) ∈ f ∧ (x, z) ∈ f) −→ y = z]

Esto es:

(i) Relación: f ⊆ A×B

f : A → B es función ⇐⇒ (ii) Existencia: ∀x ∈ A, ∃y ∈ B : (x, y) ∈ f
(iii) Unicidad: ∀x ∈ A [((x, y) ∈ f ∧ (x, z) ∈ f) −→ y = z]

Observaciones 1.1

(1) La condición de existencia nos indica que todo elemento de A debe tener al menos un
correspondiente en B; lo que nos permite asegurar que el dominio de la relación f es
A, es decir, Dom(f) = A.
4 U.N.S.J.-F.F.H.A.-Departamento de Matemática

(2) La condición de unicidad nos asegura que el correspondiente de cada elemento de A es

único.

(3) Sea f : A → B, por la condición de existencia sabemos que para cada x ∈ A, existe
f(x) ∈ B, donde el sı́mbolo f(x) se lo lee: “f de x”.

Si (x, y) ∈ f y como (x, f(x)) ∈ f entonces, por la condición de unicidad, y = f(x),

esto es, y es la imagen (única) de x mediante f.

Además, si y = f(x) entonces como (x, f(x)) ∈ f, resulta que (x, y) ∈ f.

Finalmente, tenemos que:

(x, y) ∈ f si y sólo si y = f(x)

(4) Una función es un conjunto de pares ordenados:

f = {(x, y) ∈ A × B : y = f(x)} = {(x, f(x)) : x ∈ A}.

Las funciones reciben también el nombre de aplicaciones o transformaciones, ya que desde un

punto de vista geométrico, podemos considerarlas como reglas que asignan a cada elemento
x ∈ A, el único elemento f(x) ∈ B.

Nota. Podemos expresar,

 ahora, cuando f no es una función.


 (i) f 6⊆ A × B

 ∨



f no es función ⇐⇒ (ii) ∃x ∈ A : (∀y ∈ B, (x, y) ∈
/ f)

∨






 (iii) ∃x ∈ A : [((x, y) ∈ f ∧ (x, z) ∈ f) ∧ y 6= z]

Es decir, una relación f de A en B puede dejar de ser función cuando exista algún elemento
en A que no posea su correspondiente mediante f en B, o bien cuando exista algún elemento
en A que tenga dos imágenes diferentes.

Ejemplo 1

Sean los conjuntos A = {a, b, c} y B = {1, 2, 3}, y consideremos la función f : A → B

definida por f = {(a, 2), (b, 2), (c, 1)}, tenemos que f es función:
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 5

f
.......................... ..
........
A B
...... ........... ........
....................... ....
.... ........
.....
. ... ... ....
.. ... .. ...
a 1
. . .. .. ...
..
. • ...............
....... .
.. ................•
.. ..
. ....... . ..
... .. ....... .. ...... ..
.. ...... . .... ...
.. .. ......... . . ..
... ..
. .. . .
. .. ......... ..
... . ... ..
.... ......... ...........................................................
. ...
b .......
2
. .....
. ... ..........
.. •... . ... .. .• ...
... .. ...... ... .
... .... ... ..
. ...
.
... .... ... ..
. .
.
.
... ... .. ... .
.
. . .. .
.. ... .. ... ..
.. .. ..
.. ..
..
.. ...
c
..
..
3 ..
.. ..
..
... •.. ... ..
.
...
• .
...
... . ..
.... ... ... ...
........ ........... ....
.....................
.....

Ejemplo 2
Sean los conjuntos A = {a, b, c} y B = {1, 2, 3}, y g = {(a, 2), (b, 2), (c, 1), (a, 3)}, tenemos
que g : A → B no es una función, porque, no cumple con la unicidad:
(a, 2) ∈ g, (a, 3) ∈ g y sin embargo 2 6= 3.
g
........................... .
........
A B
...... ............ ........
...................... .... ........
.... ... .... ....
.... ... ...
... ...
a
. ...
1
.. . . ..
.... •........................... ... ........• ..
..
.. .... ......... .. .........
. ..
... .. ....... . .
... ... . ..... ............ ..
...
.. .... .. .........
... ...... ............ ..
.
............................ ...... ..
.. .. ... . . .. ... . ..
.... ......... .............. .. ...........................
.
b 2
. ..... ...
... •..... . . . .. .... ...
.
.. ... .........
........• ...
.... .
... .
..
... ... ....
.. ...
.
.
.. ... .
.. ..... .
.
... .
.. .
... ..... .
.
.. ... ... .. .... ...
..
.. ... ... .. ..... ...
..
c ... ...
..
3
.. ... .. ..........
..
... •. .
. . ... •
. .
.
... .. ..
.... ... ...
.... ...
....... .......... ....... ..........
........ ......

1.2 Dominio, imagen y codominio

Puesto que las funciones son relaciones, podemos determinar el dominio, imagen y codominio
teniendo en cuenta la definición vista en relaciones.

Definición 1.3 Si f : A → B, entonces:

• dominio de la función f es el conjunto A,
• el codominio de la función f es el conjunto B,
• el imagen o rango de la función f es el conjunto

Im(f) = Rg(f) = {y ∈ B/∃ x ∈ A : y = f(x)}.

Es decir:

Dom(f) = A

Cod(f) = B

Im(f) = {y ∈ B/∃ x ∈ A : y = f(x)} = {y ∈ B/∃ x : (x ∈ A ∧ y = f(x))}

6 U.N.S.J.-F.F.H.A.-Departamento de Matemática

Observación.
− Teniendo en cuenta que las funciones son relaciones, y recordando lo visto en la unidad
anterior,
Dom(f) = {x ∈ A/∃ y ∈ B : y = f(x)},

luego por la condición de existencia resulta que Dom(f) = A.

− Además por la definición de Im(f), podemos asegurar que Im(f) ⊆ B, no necesaria-
mente deben ser iguales.

1.3 Funciones especiales

1.3.1 Función constante

Dado un elemento fijo b ∈ B, la relación

f = {(x, y) ∈ A × B : y = b} = {(x, b) : x ∈ A},

verifica claramente las condiciones de existencia y unicidad, por lo tanto es una función,
llamada función constante.
Podemos decir que, f es constante si todos los elementos del dominio de f tienen el mismo
correspondiente. Es decir:
f es constante si f : A → B está definida por f(x) = b, para todo x ∈ A, siendo b un
elemento fijo de B.

1.3.2 La función identidad

La relación identidad de A, que indicaremos IA , es

IA = {(x, y) ∈ A × A : y = x} = {(x, x) : x ∈ A},

verifica claramente las condiciones de existencia y unicidad, por lo tanto es una función,
llamada función identidad.
Es decir, tenemos que IA : A → A definida por:

IA (x) = x, para cada x ∈ A.

 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 7

1.3.3 La función caracterı́stica

Sea A ⊆ U, la relación caracterı́stica de A, que denotaremos χA , es:

χA = {(x, 1) : x ∈ A} ∪ {(x, 0) : x ∈
/ A}.

Es fácil ver que, esta relación es un subconjunto del producto cartesiano U × {0, 1}. Por
otro lado, claramente verifica las condiciones de existencia y unicidad, por lo tanto es una
función, llamada función caracterı́stica de A.
Es decir, tenemos que χA : U → {0, 1} definida por:
(
1 si x ∈ A
χA (x) = , para cada x ∈ U.
0 si x ∈
/A

1.3.4 Las funciones proyecciones

Sean X1 y X2 conjuntos no vacı́os. Las funciones

p1 : X1 × X2 → X1 definida por: p1 ((x, y)) = x, para cada (x, y) ∈ X1 × X2 , y

p2 : X1 × X2 → X2 definida por: p2 ((x, y)) = y, para cada (x, y) ∈ X1 × X2 ,

se denominan primera proyección y segunda proyección respectivamente.

Es claro que, p1 ⊆ (X1 × X2 ) × X1 y que p2 ⊆ (X1 × X2 ) × X2 .

Todas las funciones que acabamos de definir desempeñan un papel importante en la teorı́a
de funciones como veremos más adelante.
8 U.N.S.J.-F.F.H.A.-Departamento de Matemática

Práctica 4: Funciones
1◦ Clase

Ejercicio 1 Determinar cuáles de las siguientes relaciones son funciones de A en B. Para

aquellas que sean función hallar, dominio, imagen y codominio. Justificar.

(a) A = {1, 2, 3, 4, 5}, B = {a, b}, f = {(1, a), (2, a), (3, b), (4, b), (5, a)}.

(b) A = [−4, ∞), B = [0, ∞), f definida por:

√
(x, y) ∈ f si, y solo si, x ∈ A ∧ y = x − 1.

(d) A = B = N, f definida por:

(x, y) ∈ f si, y solo si, x ∈ A ∧ y = x + 1.

(c) A = Z B = R, f definida por:

(x, y) ∈ f si, y solo si, x ∈ A ∧ x = y 2 .

(e) A = R − {6}, B = R − {0}, f definida por:

1
(x, y) ∈ f si, y solo si, x ∈ A ∧ y = .
x−6

Ejercicio 2 Dadas las siguientes relaciones f ⊆ R × R, probar que son funciones.

(a) f definida por:

(x, y) ∈ f si, y solo si y = −x.

(b) f definida por:

(x, y) ∈ f si, y solo si y = x2.

(c) f definida por:

(x, y) ∈ f si, y solo si y = 3 x.

(d) f definida por:

 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 9

(x, y) ∈ f si, y solo si y = x + 6.

(e) f definida por:

(x, y) ∈ f si, y solo si y = |x|.

2) Escribirlas en la forma: f : A → B definida por f(x) = y para todo x ∈ A.

3) Graficarlas en los ejes cartesianos.

4) Hallar dominio, codominio e imagen de cada una.

Ejercicio 3 Sean A, B dos conjuntos cualesquiera (no necesariamente subconjuntos de un

mismo universal).

1) Probar que las siguientes relaciones son funciones:

(a) f = {(x, y) ∈ A × B : y = b} = {(x, b) : x ∈ A}, para algún b ∈ B fijo, llamada

función constante.
(b) IA = {(x, y) ∈ A × A : y = x} = {(x, x) : x ∈ A}, llamada función identidad de
A.

2) Escribir a cada una de las funciones del item anterior como g : X → Y definida por
g(x) = . . . . . . . . . , para todo x ∈ X, siendo X = Dom(g).
10 U.N.S.J.-F.F.H.A.-Departamento de Matemática

.
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 11

2◦ Clase

1.4 Imagen de un subconjunto por medio de una función

Sea f : A → B y sea X ⊆ A, llamaremos imagen de X por medio de f, al conjunto:
f(X) = {y ∈ B/∃ x : (x ∈ X ∧ y = f(x))},
esto es:
y ∈ f(X) ⇐⇒ ∃ x : (x ∈ X ∧ y = f(x))

y ∈ f(X) ⇐⇒ ∃ x ∈ X : y = f(x))

O bien,
f(X) = {f(x) ∈ B : x ∈ X},
Es decir:

∀x (x ∈ X → f(x) ∈ f(X)).

Observación: Dada f : A → B, es fácil ver que se verifican las siguientes propiedades:

(i) Im(f) = f(A).

(ii) Para cada X, si X ⊆ A entonces f(X) ⊆ B.

Ejemplo 3 Sea f la función dada por el siguiente diagrama:

f
................................. .
........ .........
......
A ..........
.................... ...
.....
...... ...........
....
....... ..........
...
B
.
..
.
..
.
..
........... . . .
. . ...................... . . .................. ...
a
. .. .. . .... ...
1 . ....... .. . ...............
•..... ..
.. .. ..................•
.. .. .. ..
... .. . ..
. .. ............. ..
. .. . ..
... .. ... . . ....
c
... ........... .. .. . ..

....
...
.. 2 •....................................
...
..
. ... . • ..
..
..
..
... . ... ... .... . . .
. .
. ...................................... ...
....... .. ... .............
3
.
b
.. ...... .
. .... . ..
.... •.... .... ................................... .......•
.. ......
..
... .. ......... ...
. ..
... . . .. ...
. ... ..
.
.
... . ...... ... ... .
..
... .... .... ... ...
... .... .. .. ...
... ... ..
...
..
.. ... .. ... ..
.. .. . .
4
. .
..
d
.. . .. .
.. •.. .. ... • ..
... .. ... ...
... .. ... ..
.... .... .... ....
....... .. . ...... . .
.................. .................

• Im(f) = {y ∈ B/∃ x : (x ∈ A ∧ y = f(x))} = {a, b} = f(A)

• Sea X1 = {2, 4}, X1 ⊆ A, entonces f(X1 ) = {a, b} ⊆ {a, b, c, d} = B
• Sea X2 = {1, 2, 3}, X2 ⊆ A, entonces f(X2 ) = {a, b} ⊆ {a, b, c, d} = B.
12 U.N.S.J.-F.F.H.A.-Departamento de Matemática

1.4.1 Propiedades de la imagen

Sea f : A → B y sean X y X 0 subconjuntos de A, entonces se verifica:

(a) f(∅) = ∅ .

(b) Si X ⊆ X 0 entonces f(X) ⊆ f(X 0 ).

(c) f(X ∪ X 0 ) = f(X) ∪ f(X 0 ).

(d) f(X ∩ X 0 ) ⊆ f(X) ∩ f(X 0 ).

Actividad 1 Pruebe las propiedades anteriores.

(d) f(X ∩ X 0 ) ⊆ f(X) ∩ f(X 0 )

(1) Sea y ∈ f(X ∩ X 0 ) [Hip.]

(2) ∃x : (x ∈ X ∩ X 0 ∧ f(x) = y) [(1),Def. imagen de subconj. de A]

(3) ∃x : ((x ∈ X ∧ x ∈ X 0 ) ∧ f(x) = y) [(3),def.∩]

(4) ∃x : [(x ∈ X ∧ f(x) = y) ∧ (x ∈ X 0 ∧ f(x) = y)] [(3),idempotencia,asociativa ∧]

(5) [∃x : (x ∈ X ∧ f(x) = y)] ∧ [∃x : (x ∈ X 0 ∧ f(x) = y)]

[(4),∃x : (P (x) ∧ Q(x)) → [(∃x : (P (x)) ∧ ∃x : Q(x))]]

(7) y ∈ f(X) ∧ y ∈ f(X 0 ) [(6),def. imagen de un subconjunto]

(8) y ∈ f(X) ∩ f(X 0 ) [(7),def. ∩]

(9) de la arbitrariedad de y y los pasos anteriores resulta que f(X ∩ X 0 ) ⊆ f(X) ∩ f(X 0 ).

1.5 Preimagen de un subconjunto por medio de una función

Sea f : A → B, entonces para cada subconjunto Y ⊆ B, llamaremos preimagen o imagen
completa inversa de Y por medio de f, al conjunto:

f −1 (Y ) = {x ∈ A/∃ y ∈ Y : y = f(x)},

esto es:
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 13

x ∈ f −1 (Y ) ⇐⇒ ∃ y : (y ∈ Y ∧ y = f(x))

x ∈ f −1 (Y ) ⇐⇒ ∃ y ∈ Y : y = f(x)

O bien,
f −1 (Y ) = {x ∈ A : f(x) ∈ Y },
es decir:

∀x (x ∈ f −1 (Y ) ⇐⇒ f(x) ∈ Y ).

Observación: Dada f : A → B, es fácil ver que se verifican las siguientes propiedades:

(i) Dom(f) = A = f −1 (B).

(ii) Para cada Y , si Y ⊆ B entonces f −1 (Y ) ⊆ A.

Ejemplo 4 [Sea f la función dada en el ejemplo anterior, y consideremos Y1 , Y2 ⊆ B,

Y1 = {c, a}, Y2 = {c, d}, entonces tenemos : f −1 (Y1 ) = {1, 2} ⊆ A, f −1 (Y2) = ∅ ⊆ A.]

1.5.1 Propiedades de la preimagen

Sean f : A → B, X ⊆ A, Y y Y 0 subconjuntos de B, entonces se verifican las siguientes

propiedades:

(a) f −1 (∅) = ∅ .

(b) X ⊆ f −1 (f(X)), para todo X ⊆ A.

(c) f(f −1 (Y )) ⊆ Y para todo Y ⊆ B.

(d) Si Y ⊆ Y 0 entonces f −1 (Y ) ⊆ f −1 (Y 0 ).

(e) f −1 (Y ∪ Y 0) = f −1 (Y ) ∪ f −1 (Y 0 ).

(f) f −1 (Y ∩ Y 0) = f −1 (Y ) ∩ f −1 (Y 0 ).
  h iC
(g) f −1 Y C = f −1 (Y ) .

Actividad 2 Pruebe las propiedades anteriores.

14 U.N.S.J.-F.F.H.A.-Departamento de Matemática

Práctica 4: Funciones
2◦ Clase

Ejercicio 4

Sea f : A → B y sean X y X 0 subconjuntos de A. Probar que:

(a) f(∅) = ∅ .

(b) X ⊆ f −1 (f(X)) .

(c) Si X ⊆ X 0 entonces f(X) ⊆ f(X 0 ).

(d) f(X ∪ X 0 ) = f(X) ∪ f(X 0 ).

(e) f(X ∩ X 0 ) ⊆ f(X) ∩ f(X 0 ).

Ejercicio 5

Sea f : A → B. Probar que, para todo x ∈ A se verifica que:

f ({x}) = {f(x)} .

Ejercicio 6

Sea f : A → B y sean Y y Y 0 subconjuntos de B. Probar que se verifican las siguientes

propiedades:

(a) f −1 (∅) = ∅ .

(b) f(f −1 (Y )) ⊆ Y .

(c) Si Y ⊆ Y 0 entonces f −1 (Y ) ⊆ f −1 (Y 0).

(d) f −1 (Y ∪ Y 0 ) = f −1 (Y ) ∪ f −1 (Y 0).

(e) f −1 (Y ∩ Y 0 ) = f −1 (Y ) ∩ f −1 (Y 0).
  h iC
(f) f −1 Y C = f −1 (Y ) .
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 15

Ejercicio 7

Sean f : R → R definida por: f(x) = 2 x − 1 para todo x ∈ R y g : R − {0} → R definida

1
por: g(x) = 2 para todo x ∈ R − {0}.
x
(a) Representarlas gráficamente.

(b) Hallar gráfica y analı́ticamente f({0}), f((−2, 1]), f((−2, 1]C ), g([−5, 0)) y g({−2, 2}).
n 1 o
(c) Hallar gráfica y analı́ticamente f ([−3, −1]), f ({−2, −3}), g ([−3, 4)) y g
−1 −1 −1 −1
.
9
16 U.N.S.J.-F.F.H.A.-Departamento de Matemática

.
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 17

3◦ Clase

1.6 Clasificación de funciones

La clasificación de funciones obedece a la forma en que están relacionados los elementos del
dominio con los del codominio.
1.6.1 Función inyectiva

Dada f : A → B, diremos que f es inyectiva si elementos distintos de A tienen imágenes

distintas en B.
Esto es:

f : A → B es inyectiva ⇐⇒ ∀x, x0 ∈ A (x 6= x0 → f(x) 6= f(x0 ))

f g
.................................. . ..................................... ..
........ .......
A ............
B
.........
A ....
..
. ....................... ..
....
......
... ....................................... .....
... .............
....
.... ......
....
...
B ...
.
.
.. ........................ .
......
....
..................... ...........................
....
..........
....... ..........
...
.... .... .. .
. . . . . ... ...
...
.
. .
.......
. .
...
..
a
. . .
. ................ . . . .
...... ... ......... ... .. ........................
.
...
.
..
.
1 •... .......
..
.
..
. .
.
.
.
.
.
. ..
......• . . a ..
..
..
.. ...
..
. 1
..
•..... ..
... .
.
.
...
... .... ... .
......... •
. .
..
..
..
..
... ... ..
. .. ...
. .. . . . . ........ ..
..
.. ..... ...
c
.. .... ..
c 2
.... .. .. ... . . .
. ..... ...
.. .. .. • ... ... •......................................... ..... • ..
.. .. ... ... ... ... .. ..
........................
. ...
. ..
............ ........ ...
.... ...
....... ... . . . . . . . . .
. ................ . .. .. ...
....... ... ... .. .
. .
. . ... . .
.. ........... ..
...... ... ... .... ...
3
. . .
b
.. . . . .. .
2
. . .. . .
b
...... .. ............. . ... ................................•
.. • .
... .
.
... .• ... ... •....... ..
. .. ...
... . .... ...... .
... .
.
.
. .
.
... ... .... ....................... ....
... .
. .
. ... . .
. .. . .
.
... ....
...
... . .
. .. .. .......
. ..
.
... ..
.
... ....
.. ... . .
.. .. ... .... .... ... ...
... ... ... ... ... .... . ... ..
.. .. .. .. .. ... .. .. ..
..
.. .. ..
.. .. .. .... ... .. ...
.. .. .. . . .
4 ..
d
..
3 d
.. .. .. .. .
..
... •............. ... . ...
......................•
.. ... ...
.
.. •. ..
..
... • ..
..
... ............. .. ... .. ... ..
.. .......................................... .....
. .. ... ... .... ...
....
.... .... .... .... ....
...... ..... ...
........................ ........ ........... .......
.................. ......................
........

f es inyectiva g no es inyectiva

Observación

(a) De la definición de inyectividad de f, si consideramos la contrarrecı́proca de la impli-

cación resulta que:

f : A → B es inyectiva ⇔ ∀x, x0 ∈ A (f(x) = f(x0 ) → x = x0)

(b) La función inyectiva también se suele llamar función uno a uno.

(c) Negando la definición de inyectividad en (a) podemos decir que:

f : A → B es no inyectiva ⇔ ∃x, x0 ∈ A : (f(x) = f(x0 ) ∧ x 6= x0)

18 U.N.S.J.-F.F.H.A.-Departamento de Matemática

Ejemplo 5 Sea la función f : R → R tal que f(x) = x + 2, f es inyectiva.

En efecto, sean x1 y x2 dos números reales cualesquiera tales que f(x1 ) = f(x2 ) entonces
x1 + 2 = x2 + 2 entonces x1 = x2 , luego f es inyectiva.

Ejemplo 6 Sea f : R −→ R, definida por f(x) = x2 + 1, veamos si es inyectiva.

En este caso, podemos asegurar que por ejemplo, f(3) = f(−3) pues 32 + 1 = (−3)2 + 1 y
sin embargo 3 6= −3.
Luego existen a = 3 y b = −3, a, b ∈ R, tales que f(a) = f(b) ∧ a 6= b.
Por lo tanto f no es inyectiva.
Nota: se puede comprobar gráficamente si una función es inyectiva utilizando la prueba de
la linea horizontal. Si al trazar lı́neas paralelas al eje X, cada una de ellas, intersecta la
gráfica en a lo sumo un punto, la función es inyectiva. Si cualquier lı́nea horizontal corta a
la gráfica en más de un punto, la función no es inyectiva.

Actividad 3 Determine si cada una de las aplicaciones siguientes es inyectiva.

(a) A cada alumno de Lógica se le asigna el número que se corresponde con su edad.
(b) A cada libro escrito por un determinado autor, se le designa el autor del libro.
(c) A cada paı́s en el mundo que tenga un presidente se le asigna su presidente.

1.6.2 Función sobreyectiva

Dada f : A → B, diremos que f es sobreyectiva si se verifica que Im(f) = Rg(f) = B.

Esto es:

f : A → B es sobreyectiva ⇐⇒ ∀y ∈ B ∃x ∈ A : f(x) = y
f g
......................................... ................................... .
....... ........
A
...........
A .
...
........................... .
....
..... ...........
....
........
........ ..........
... B ...
.......
..................... ..
....
......
... .................................... .....
.. ...............
.....
.. .....
.... B
.
. .................. .
...
...
...
...
........................ ... . ......... ............
...
...
.. . ... . ...
a
. .. . . .. . ..
a
. .
. . .
. .. ..
1
.
....... ... .
.. ...................... . . . . .. .
........... ..
1 ......
. .. .. . .. .
...
.. •..... ..
... • .. .
.
. •... ..
. . .. ............... •
. . .....
... ..
..
.
.. . .. .. ............. ..
... .. ... .. ... .. . ..
... .. . .. ... .. .
. . . . .... ..
c
.. ............. ... . . .
...
2
.. ... ... .. ..
... ... .. . ..
.. ... •...................................
.. .
... • ..
..
... ... .. .. ... ................... .. ..
........
...
....... .... .... . . . .
. .
.
...
....
...
...
...
. .
.. . .. ..
. ............. ... .. ..
........... . .. .... . . .
. .
.
.
. .................
.. .......... . ....
... ....
3
. .
b
.. . . . .
2
.. .
b
.
.. . . . .. . ..... . .
. .. ... . ...
.........• • ........
•...... .... .... .... ..................................... ...... •
.. .
... . ... .... ..
.... ..... .. .. .. .. ........ .. ....
... .
...
. ...
. ... . . ..
.
. .. ... .
.
... ...
.
..
. ...
. ...
. . ..... ... ..
.
.
.
.
... ... ... ... ...
...
..
. ... .. ... .... .. ...
...
... .. ... .. ..
..
.. ..
... ... ..
.. ... ... ...
.. ...
.. .. ... ... .. ... ... . ..
.
. . . . .
4
.
d
.. ..
3 d
.. .. .. . .. ..
.. •............. .... ..
... .................• . .. ..
.. •... .. .. • ..
... ............ .. ... .. ..
... ........... .. ... .. ... ..
....
...... ....................................... ..... .
..... ....
..... ..... ...
.. ......
..... .... ........................ .....
....................... ....................... ......................

f es sobreyectiva g no es sobreyectiva
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 19

Observación

(a) Dada f : A → B siempre se verifica que Im(f) ⊆ B. Por lo tanto, para probar que
f es una función sobreyectiva sólo deberemos verificar que B ⊆ Im(f), esto es, para
todo y, si y ∈ B entonces y ∈ Im(f), por lo que deberemos probar que para todo
y ∈ B, existe x ∈ A tal que y = f(x).

(b) La función sobreyectiva también se suele llamar suprayectiva, epiyectiva o exhaustiva.

(c) Negando la expresión anterior, tendremos

f no es sobreyectiva ⇔ ∃y ∈ B ∀x ∈ A, f(x) 6= y

es decir, f no es sobreyectiva si podemos encontrar un elemento en B tal que no es

imagen de ningún elemento de A.

Ejemplo 7 Sea f : R → R definida por f(x) = x + 1, veamos que f es sobreyectiva.

Sea y ∈ B, debemos encontrar un x ∈ A tal que f(x) = y. Dicho de otra forma se trata de
ver si la ecuación x + 1 = y tiene solución en R. En efecto, pues
x+1 =y ⇔ x =y−1
Luego dado y ∈ R, tomando x = y − 1, se verifica que f(x) = f(y − 1) = y − 1 + 1 = y
es decir,
∀y ∈ R ∃x ∈ R : f(x) = y

luego f es sobreyectiva.

Ejemplo 8 Sea f : R → R, f(x) = x2 , veamos que esta función no es suprayectiva.

En efecto, dado un y cualquiera negativo en B, no existe x ∈ A tal que su cuadrado sea y,

ya que el cuadrado de cualquier número siempre es positivo. Es decir, si y < 0, entonces
x2 6= y, para todo x ∈ A luego,

∃y ∈ R ∀x ∈ R, f(x) 6= y

Por ejemplo existe −9 ∈ R tal que para todo x ∈ R, x2 6= −9, por lo tanto la función
propuesta no es suprayectiva.
20 U.N.S.J.-F.F.H.A.-Departamento de Matemática

Algunas funciones pueden ser inyectivas y no sobreyectivas; otras no inyectivas y so-

breyectivas; también existen funciones que no sean ni inyectivas ni sobreyectivas, y otras que
son inyectivas y sobreyectivas a la vez.

Actividad 4 Utilizando diagramas de Venn, de ejemplos que representen cada una de las
funciones anteriores.

1.6.3 Función biyectiva

Dada f : A → B, diremos que f es biyectiva si se verifica que f es inyectiva y sobreyectiva.

Ejemplo 9 Sea f : R → R tal que f(x) = 2x − 3, analicemos si f es biyectiva.

(a) Inyectiva. Sean x1, x2 ∈ R tales que f(x1 ) = f(x2 ) entonces 2x1 − 3 = 2x2 − 3 entonces
2x1 = 2x2 entonces x1 = x2
luego f es inyectiva.

(b) Sobreyectiva. Sea y ∈ R. Entonces,

y+3
y = 2x − 3 entonces 2x = y + 3 entonces x = luego tomando
 2   
y+3 y+3 y+3
x= , se verifica que x ∈ R y f(x) = f =2 −3=y
2 2 2
Consecuentemente, ∀y ∈ B ∃x ∈ A : f(x) = y es decir, f es sobreyectiva.
Por ser inyectiva y sobre, f es biyectiva.

1.7 Igualdad de funciones

Dadas dos funciones f y g definidas entre los mismos conjuntos A y B, diremos que son
iguales cuando toman idénticos valores sobre los mismos elementos del dominio. Es decir, si
f : A → B, g : A → B, entonces

f = g ⇐⇒ ∀x ∈ A , f(x) = g(x)

Ejemplo 10 Sean f : R → R definida por f(x) = (x + 1)2 , g : R → R definida por

g(x) = x2 + 2x + 1, f y g son funciones iguales.
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 21

1.8 Restricción y extensión de funciones

Dadas f : A → B y g : C → B. Diremos que f es una restricción de g (o bien, que g es
una extensión de f), si se verifican las siguientes condiciones:

(i) A ⊆ C, es decir, Dom(f) ⊆ Dom(g),

(ii) g(x) = f(x) para cada x ∈ A.

g
...................................................................
............. ...............
.............. ........ ..........
....... ..........
C ..
...
..
.. ....
... ..
...
.... ....
... B
f
.. ... .
. ..
. .. ..
... .. . ..
A .. ...................... ...
... ..
.. .....
. .. .. . .
. .......... ................ .
. .. ..
..
... ....................... ..
.
.
.
...........
... ..
.. ..... .... ..
.... ..
.. .. ... .. . . ..
.. .. . .
.... .
.. ...
..
....
. ..
... ... .. .... ... ....
... ... .. .
. . ....
... .. .. .
.
. . .
... ...
.... .... ..
. . ..
... ... .. ... ..
. ...
.
...
... ... .... .... ... ..
.
... ... .. .. .. ...
.. ... ... ... .. ..
.. .. ... ... .. ...
.. ..
.. .. .. ... ..
. ...
... .. .. .. .
.
... ... .. .. .. ..
... .... ... ... ... ...
.... ................... ...... ... ...
.... .... ....
. . .
.....
.
..................... ......... .......
......

Para indicar que f es una restricción de g, a veces usaremos el sı́mbolo f = g|A que
leeremos, f es igual a g restringida a A, donde A es el dominio de f.

Ejemplo 11 Sean A = {1, 2, 3}, B = {a, b, c}, C = {1, 2}, f : A → B, f = {(1, a), (2, b), (3, b)},
g : C → B, g = {(1, a), (2, b)}

A B C B
...................... ......
.....................
..... .... ....
.... ...
...
... .... ........................... ......
......................
... .....
f
. ... . ... .... .... ....
. . ...
g
.. ... .. .. ... ... ...
.. .. ..
. .. ... ... .. ...
... .. . ... ..
. .. . . ..
. ... .. ..
a
. .. .. ...
1
.. .. .. . ..
...
.. •...................................................................................................................................................................• .. ..... ..
.. ...
... ..
..
.. ...
.
.
. ..
..
..
... .. .
. ... ... .. .
.
... .. .. .. . ..
... . .. .. .. .
..
. ..
a
.. .... .. ..
1
.. .. .. .
..........................................................................................................................................
..
....
..
..
..
.
.
....
. ..
..
...
...
• .. .
.. ...
.... ...
. .
..... . .
... .
. .. •
..
...

2
....
b .... .. ...
...
... •..........................................................................................................................................................................................•
.
. . ....
..
...
..
..
.
. ... ....
.... ... ................... .
.
... .... .... .... .... ...
... ... ..
.. .
..... .
. ... ..
. ... ..
... ... .
. ..
.......... .. .
. ... . .. ..
2
.
b
......
... .
... . . .
............. ... ............................................................................................................................................
...
..
..
.................... .. ..
...
.. • .. .
.. ...
.... ...
. .
..... .
...
. .. .. • ...
...
.

c
...
............ .. ... ...
3
...
..
..
..
• ............ ....
.
.
..
..
.. • .
.
.
... ..
...
.. ..
.
...
..
..
... ...
...
.
.. .. ..
.. .. .. .. .. ..
... .. .. .. .. .
... ... ...
... ... .. ..
. .
.. ..
.
... ..... .. .
.... ... ..
..
... ...
...
....
....
...
. ... ... ... ..
....
........ ........... .....
........................
...
... ...... .... .
....
......... .. ....
....
......................... ........ ..........
...........

entonces A = Dom(f) = {1, 2, 3} C = Dom(g) = {1, 2}

Puesto que C ⊆ A y además se tiene que f(x) = g(x) para todo x ∈ C, resulta que
g = f|C , es decir, f extiende a g y también podemos decir que g restringe a f.
22 U.N.S.J.-F.F.H.A.-Departamento de Matemática

1.9 Función opuesta o inversa

Relación opuesta de una función

A continuación vamos a determinar en algunos ejemplos la relación opuesta de una

función, para ello consideraremos las siguientes funciones:

A...................
f1 B A f 2
C
........ ........................... ........
...................
......
.......................
....
.... ..... .... ....
....
....
....
.... .... ....
.... ....
1
... ... ....
....
...
... ..... ... ....
...
... ... ..
.
...
...
..................... •
a a
. ..
1
.
. . .. .. .. . .... .
... .
.. . .. .
... ..
. ... . ................................................ .
...
... • ....
.......... .. ..... .. . ......... .
.. ..
.. .
.. ..
. ..
. .................................
...
...
...
....................
....
...
...
.. ...
. ..
. ...
.
.
.
.
.
.
.
.
........................... •
.............................. ..
.. ...
... • ........... ..
..... .
.. ..
.
.
. ..
..
.. .. . ...
. .
.....
...
...
............ ... ... ..
..
.. ... ..
.. ............ ..
2
... ..........
...
...
... .
. .. ... ... ..
. ........... . ....
........................................... ..... ..... ....................... .... •
.... . . ..................
2
.. .
b b
.
. ... . .
.. .................. ...
...
..
...
• .
......... ... . .
.... .
..
.
. ...
. .
..
.
...
............... .
..... ...
. .
................
. . . • ..
..
. ...
...
• .................... .. ..
. .
. . . ..
.
..
..
.
..
...
... ...
.. ..
..
.. ....
...
...
. .. .
. .
. ..
...........
3
.. .. .. ..
... .... .............
...
...
....
.. ..
. .. ... .
.
.
. ... .... ... ....
.. .................... .. ..
.................................................... •
..
c c
... .. .. .. ...........
... .. ............................ ... .. .. .. ..
•........................ ... • ................................................. ..
4
... ...
... .... .. ... ... ...
....
.... .... .
.. ....
.. . ...... • ...
.....
.......... ............. ...... .... .....
............................ ..... ....
...... ....................... .........................

f1 = {(a, 1), (b, 1), (c, 2)} f2 = {(a, 1), (b, 2), (c, 3)}

A D
.......................... ............................
..... ....
f
.... ....
... ... ... ...
... ...
.. ...
.. 3 .. ...

a
.. . ..
1
. . ... ..
. ..
...
.
. •.........................
.
.. ...................... •
..
......
..
..
...
... .. ............ .. . .
. .
... .
.
... .. ...........
.. ............... ... ...
.......... ....... ...
... .... ........... ...... ....
2
.
b
.......... .......... ...
... . . .
. ..
...
..
• ........................................................................................................................................................................................... •
.
.
.
.. .........
. .. . . .
..........
.
.
...
..
.
..
..
. ....
. ................ .
..
.
.
. .
......
... ...... .....
...
.
.
.
... . .... ........... .. ..
.. ................. ...........
c
.. ..
...........
3
... ............... .. ..
...
... •................. ... ............
...
. ...
• .
....
..
.... . ...
...... .... .....
...........................
.......................

f3 = {(a, 3), (b, 2), (c, 1)}.

Entonces las relaciones opuestas son:

(i) f1op ⊆ B ×A, f1op = {(1, a), (1, b), (2, c)} no es función, puesto que no satisface unicidad.

(ii) f2op ⊆ C × A, f2op = {(1, a), (2, b), (3, c)} no es función, puesto que no satisface la
existencia.

(iii) f3op ⊆ D × A, f3op = {(3, a), (2, b), (1, c)} es función.

Observando f1 , f2, f3 y las relaciones opuestas correspondientes, vemos que:

f1 no es inyectiva, f1op no es función,
f2 no es sobreyectiva, f2op no es función,
f3 es biyectiva, f3op si es función.
 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 23

Función opuesta o inversa

Dada una función f : A → B, diremos que es invertible si su relación opuesta o inversa

también es función. En tal caso, a la relación inversa de f, la notaremos f op o f −1 y la
llamaremos función opuesta o inversa de f.
Esto es:

f op : B → A tal que f op (b) = a ⇐⇒ ∀b ∈ B, b = f(a)

Observando el ejemplo anterior, podemos deducir que para que f op sea función, f ha de
ser inyectiva y también sobreyectiva ya que de lo contrario f op no cumplirı́a las condiciones
requeridas para ser función.

1.9.1 Caracterización de la función opuesta

Lema 1.9.1 Sea f : A −→ B, las siguientes condiciones son equivalentes:

(i) f op : B −→ A es función

(ii) f es biyectiva.

Dem.

(1) Sea f : A −→ B [Hip.]

(i)⇒ (ii) Si f op : B −→ A es función probemos que f es biyectiva.

(2) Sea la función f op : B −→ A [Hip.]

(I) Inyectividad

(3) Sean x, x0 ∈ A tales que f(x) = f(x0 ) [Hip.]

Probemos que: x = x0

(4) existe y, y 0 ∈ B tal que y = f(x) e y 0 = f(x0 ). [(3),(1)]

(5) existe y, y 0 ∈ B tal que x = f op (y) y x0 = f op (y 0 ). [def. f op ]

(6) y = y 0 [(3),(4)]
 24 U.N.S.J.-F.F.H.A.-Departamento de Matemática

(7) x = x0 [(5),(6), (2), Unicidad de f op ]

(8) f es inyectiva. [(1), (3), (7), def. de inyectividad]

(II) Sobreyectividad

(9) Sea b ∈ B [Hip.]

(10) existe a ∈ A tal que f op (b) = a [(9),(2)]

(11) existe a ∈ A tal que f(a) = b [(10),def f op ]

(12) f es sobreyectiva. [(9), (11)]

De (I) y (II) f es biyectiva.

(ii)⇒ (i) Si f es biyectiva probemos que f op : B −→ A es función.

(2) Sea f biyectiva. [Hip.]

(I) Unicidad

(3) Sea x ∈ B tal que (x, u) ∈ f op y (x, v) ∈ f op [Hip.]

(4) (u, x) ∈ f y (v, x) ∈ f [(3), def f op ]

(5) f(u) = x y f(v) = x [(4),f es función]

(6) f(u) = f(v) [(5)]

(7) u = v [(6),f inyectiva]

(8) f op satisface la unicidad. [(2),(7)]

(II) Existencia

(9) Sea b ∈ B, [Hip.]

(10) existe a ∈ A tal que f(a) = b [f es sobre,(9)]

(11) existe a ∈ A tal que (a, b) ∈ f [(10)]

 Introducción a la Matemática- Lógica y Teorı́a de Conjuntos 25

(12) existe a ∈ A tal que (b, a) ∈ f op [(11),def f op ]

(13) para cada b ∈ B existe a ∈ A tal que (b, a) ∈ f op [(9),(12)]

(14) f op satisface la existencia. [(13)]

De (I) y (II) f op es función de B en A. 2

Observación De la demostración del Lema 1.9.1 concluimos que si f : A −→ B es inyectiva

y no sobre, la relación f op es función con la condición que Dom(f op ) = Im(f).
26 U.N.S.J.-F.F.H.A.-Departamento de Matemática

Práctica 4: Funciones
3◦ Clase
Ejercicio 8 Clasificar las funciones de los ejercicios 1 y 2 en inyectivas, sobreyectivas y/o
biyectivas. En caso afirmativo demostrarlo, en caso contrario dar un contraejemplo.

Ejercicio 9 Sean f : A → B inyectiva y X ⊆ A. Probar que:

∀x(x ∈ X ↔ f(x) ∈ f(X)).

Ejercicio 10 Sean las funciones f, g ⊆ R × R. Determinar si son iguales. Justificar.


 −x + 3 si x < 2,
(a) f : R → R dada por: f(x) = y
 x − 1 si x > 2 .

g : R → R dada por: g(x) = |x − 2| + 1.

x2 − 16
(b) f : R − {−4} → R dada por: f(x) = y
x+4
g : R → R dada por: g(x) = x − 4.

Ejercicio 11 Dadas las siguientes funciones:

1
f : R − {0} → R definida por: f(x) = para todo x ∈ R − {0}.
|x|
1
g : R− → R definida por: g(x) = − para todo x ∈ R− .
x
x
h : (−∞, −5] → R definida por: h(x) = 2 para todo x ∈ (∞, 5].
x
(a) Probar que g es una restricción de f, ( o f es una extensión de g), es decir, f|R− = g.

(b) Analizar si g es una extensión de h, ( o h es una restricción de g), es decir, g|(∞, 5] = h.

Ejercicio 12

Dadas las siguientes funciones hallar, cuando sea posible, las funciones inversas.

(a) f : R → R definida por: f(x) = −4x + 3.

1
(b) f : R − {5} → R − {0} definida por: f(x) = .
2x − 10
(c) f : R → R definida por: f(x) = x2 + 2.