Fundamentos de la Matemática Profesorado Semipresencial

FUNCIONES

Las funciones intervienen en álgebra, en geometría, en análisis, es decir, en todas ramas de la

Matemática y también se aplica a otras disciplinas.

Las funciones también son una herramienta fundamental en la modelización de diversos fenómenos
de la naturaleza y de la vida humana.

Definición de función

Dados dos conjuntos no vacíos, A y B , decimos que f es una función de A en B , si y solo si f

es una relación de A en B ( f : A → B ) , que cumple las siguientes condiciones:

Existencia: Todo elemento de A tiene imagen en B según f

En símbolos: x, x  A, y, y  B tal que ( x, y)  f

Unicidad: Cada elemento de A tiene una única imagen en B según f

En símbolos: x, x  A,  ( x, y1 )  f  ( x, y2 )  f   y1 = y2

Al conjunto A le llamamos dominio de la función y lo notamos: D ( f ) = A .

Al conjunto B le llamamos codominio de la función.

Si x es un elemento de A , por definición sabemos que existe un único elemento y de B tal que x
está relacionado con y según f . En ese caso decimos que y es la imagen de x y que x es una
preimagen de y y lo denotamos: y = f ( x)

Llamamos conjunto imagen o recorrido de f al conjunto cuyos elementos pertenecen al

codominio y son imagen de algún elemento del dominio según f . Se denota con Im( f ) o también
con f ( A)

Simbólicamente: f ( A) = Im( f ) =  y  B | y = f ( x), x  A

Muchas veces la función se define por comprensión mediante una fórmula o ecuación que llamamos
expresión analítica de la función.

1
Fundamentos de la Matemática Profesorado Semipresencial

Por ejemplo, f : → , f ( x) = 2 x es la función cuyo dominio y codominio es el conjunto de los

naturales y asocia cada número natural con su doble y f ( x) = 2 x es su expresión analítica.

Ejemplos

Si A = 1, 2,3 y B = m, n, p, q la relación f : A → B, f = (1, m),(2, m),(3, q) , f es una función de A

en B .

Podemos hacer un diagrama, para visualizar que todo elemento de A tiene una y solo una imagen en
B.

El conjunto imagen de esta función es Im( f ) = m, q

Pero si consideramos ahora, la relación g : A → B, g = (1, m),(2, q) , podemos decir que no es una

función porque 3 es un elemento de A que no tiene imagen en B (no cumple existencia)

Y la relación h : A → B, h = (1, m),(1, n),(2, p),(3, q) tampoco es una función porque 1 es un elemento

de A que tiene dos imágenes en B (no cumple unicidad).

Observaciones
1) No es lo mismo escribir f que f ( x) porque f es la función y f ( x) es la imagen de un
elemento x que pertenece al dominio de f .
Por eso no es correcto decir “la función f ( x)
2) Una función no queda determinada solamente por su expresión analítica. Para determinar la
función, es necesario conocer su dominio, su codominio y una regla que permita asignar a
cada elemento del dominio un único elemento del codominio, que puede ser su expresión
analítica. Por esto, no es correcto preguntar “¿cuál es el dominio de la función cuya expresión
analítica es f ( x) = 1/ x ? Porque si no hay dominio, no hay función. Lo correcto sería
preguntar ¿cuál es el mayor conjunto A, A  tal que f : A → , f ( x) = 1/ x es una función?

2
Fundamentos de la Matemática Profesorado Semipresencial

Ejercicio 1

Indicar en cada caso, si las siguientes relaciones son funciones. Determinar el conjunto imagen
cuando corresponda.

1) f : A → B, A = a, b , B =  p, q , f (a) = p y f (b) = q.

2) f : A → B, A = a, b, c , B =  p, q , f (a) = p, f (b) = q y f (c) = q.

3) f : A → B, A = a, b, c , B =  p, q , f (a) = p, f (b) = p, f (c) = q y f (b) = q.

4) f : A → B, A = a, b, c , B =  p, q , f (a) = p, f (b) = p y f (c) = p.

Ejercicio 2

Sean los conjuntos A = 1, 2,3 y B =  p, q

1) Escribe todas las funciones que se puedan definir de A en B.

2) Escribe todas las funciones que se puedan definir de B en A.
3) Si A tiene n elementos y B tiene m elementos, ¿cuántas funciones se pueden definir de
A en B ?

Igualdad de funciones

Dos funciones f : A → B y g : C → D son iguales si y solo si A = C  B = D  f ( x) = g ( x) para

todo x, x  A

Restricción y extensión de una función

Si f : A → B es una función y A1  A, entonces f |A1 : A1 → B es la restricción de f a A1 donde

f |A1 ( x) = f ( x) para todo x que pertenece a A1

Si A  A2 y f : A → B es una función. Si g : A2 → B es una función tal que g ( x) = f ( x) para todo

x  A , entonces g : A2 → B es una extensión de f a A2 .

3
Fundamentos de la Matemática Profesorado Semipresencial

Funciones inyectivas, sobreyectivas y biyectivas

Decimos que una función f : A → B es inyectiva si y solo si cada elemento de B es imagen como
máximo de un elemento de A.

En símbolos: f : A → B es inyectiva  x, x  A, w, w  A, ( f ( x) = f ( w)  x = w )

Observamos que, si sustituimos el condicional que aparece en la definición de función inyectiva por
su contrarrecíproco, obtenemos una definición equivalente a la anterior, cuyo enunciado es el
siguiente:

Una función es inyectiva si y solo si, dos elementos cualesquiera distintos del dominio tienen
imágenes distintas en el codominio.

En símbolos: f : A → B es inyectiva  x, x  A, w, w  A, ( x  w  f ( x)  f ( w) )

Ejemplos

1) Sean los conjuntos A = 1, 2,3 y B =  p, q, u, v y las funciones

f : A → B, f = (1, p), (2, q), (3, u ) y g : A → B, g = (1, p), (2, p), (3, q)

Podemos ver que f es una función inyectiva.

Mientras que g es una función, pero no es inyectiva ya que g (1) = g (2) = p siendo 1  2.

2) Consideramos la función f : → , f ( x) = 3 x + 7

Cualesquiera sean x, w  tales que f ( x) = f ( w)  3x + 7 = 3w + 7  3x = 3w  x=w

cancelativa cancelativa
de la suma del producto

Entonces concluimos que f es inyectiva.

Si ahora consideramos la función g : → , g ( x) = x 2 + 2 y calculamos g (3) y g (−3) ,

vemos que se cumple g (3) = g (−3) = 11 pero 3  −3
Concluimos entonces que la función g no es inyectiva.

4
Fundamentos de la Matemática Profesorado Semipresencial

Decimos que una función f : A → B es sobreyectiva si y solo si cada elemento de B es imagen

como mínimo de un elemento de A.

En símbolos: f : A → B es sobreyectiva  y, y  B, x, x  A, y = f ( x)

También podemos decir que:

Una función f : A → B es sobreyectiva si y solo si Im( f ) = B

Ejemplos

1) Sean los conjuntos A = 1, 2,3 y B =  p, q y las funciones

f : A → B, f = (1, p), (2, q), (3, q) y g : A → B, g = (1, p), (2, p), (3, p)

Podemos ver que f es una función sobreyectiva.

Mientras que g es una función, pero no es sobreyectiva ya que no existe x, x  A tal que
g ( x) = q

2) La función f : → , f ( x) = 3x + 7 es una función sobreyectiva, ya que si a es un

número real cualquiera, o sea un elemento cualquiera del codominio de f , entonces,

a−7  a−7
x= es un número real (pertenece al dominio de f ) y cumple: f  =a.
3  3 

En cambio, g : → , g ( x) = x 2 + 1 no es sobreyectiva porque no existe un número real

x tal que g( x) = 0 y 0 pertenece al codominio de g

Decimos que una función f : A → B es biyectiva si y solo f es inyectiva y sobreyectiva.

En los ejemplos anteriores vimos que f : → , f ( x) = 3x + 7 es una función inyectiva y

sobreyectiva, por lo tanto, es biyectiva.

5
Fundamentos de la Matemática Profesorado Semipresencial

Ejercicio 3

Dar un ejemplo en cada caso, mediante un diagrama de flechas:

1) Una función que no sea ni inyectiva ni sobreyectiva.

2) Una función inyectiva que no sea sobreyectiva.
3) Una función sobreyectiva que no sea inyectiva.
4) Una función biyectiva.

Ejercicio 4

Investigar si las siguientes funciones son inyectivas o sobreyectivas. Justificar las respuestas a partir
de las definiciones.

1) f : → , f ( x) = 3 x − 2

2) f : → , f ( x) = 3 x − 2

3) f : → , f ( x) = 2 x 2 + 3

x + 3 si x  0
4) f : → , f ( x) =  2
2 x + 3 si x  0

Ejercicio 5

1) Indicar cuáles de las siguientes relaciones de en , representadas gráficamente son

funciones. Justificar.

2) Las que son funciones, ¿son inyectivas o sobreyectivas? Justificar.

6
Fundamentos de la Matemática Profesorado Semipresencial

Función inversa

Si f : A → B es una relación de A en B , llamamos relación inversa de f a la relación

f −1 : B → A tal que f −1 = ( y, x) | ( x, y )  f 

De la definición de relación inversa podemos escribir: y = f ( x)  x = f −1 ( y )

Si f : A → B es una función, su relación inversa f −1 : B → A no es siempre una función. La

condición necesaria y suficiente para que la inversa de una función sea también una función esta
enunciada en el siguiente teorema.

TEOREMA

Sea f : A → B una función.

La relación f −1 : B → A es una función si y solo si f : A → B es una función biyectiva.

Demostración del directo: f −1 : B → A es función  f : A → B es biyectiva

x  A, w  A, f ( x) = f (w)  f −1 ( f ( x) ) = f −1 ( f (w) )  x = w
f −1 es función

Por lo tanto, f : A → B es inyectiva (1)

Como y, y  B  x, x  A, f −1 ( y ) = x  x, x  A, y = f ( x)

f −1 es función

Por lo tanto, f : A → B es sobreyectiva (2)

De (1) y (2), f : A → B es biyectiva.

Recíprocamente: f : A → B es biyectiva  f −1 : B → A es función

Si f : A → B es biyectiva , entonces f : A → B es sobreyectiva, y por lo tanto,

y, y  B, x, x  A tal que y = f ( x)  x = f −1 (y) , entonces f −1 cumple la propiedad de existencia

de la definición de función (1)

Además, Si x, x  A  w, w  A tales que f −1 ( y) = x  f −1 ( y) = w  y = f ( x) = f (w)  x=w

f es inyectiva

Por lo tanto, f −1 cumple la propiedad de unicidad de la definición de función (2)

De (1) y (2), f −1 es función.

7
Fundamentos de la Matemática Profesorado Semipresencial

Observación: Si f : A → B es biyectiva, su relación inversa es función. En ese caso, decimos que es

existe su función inversa y que la función es invertible.

Ejercicio 6

1) Investigar si las siguientes funciones son invertibles y en caso afirmativo, hallar la expresión
analítica de la función inversa.

a) f : → , f ( x) = 2 x + 5 b) f : → , f ( x) = x 2 + 5 x

1
c) f : → , f ( x) = x 3 d) f : − 2 → − 0 , f ( x) =
x−2

2) Graficar en el mismo sistema de coordenadas cada función y su inversa, en los casos que exista.

3) Concluir una relación entre los gráficos de f y f −1 .

Relación compuesta y composición de funciones

Si una relación R1 establece una correspondencia entre elementos de un conjunto A y elementos de

un conjunto B y otra relación, hace que a los elementos de B , le correspondan elementos de un

conjunto C , entonces la relación compuesta de R1 con R2 es la relación R3 que relaciona los

 R1 R2
  R3

elementos de A con los de C del modo siguiente:  x u u y  x y
   

Por ejemplo:

A = 1, 2,3 , B = 4,5, 6 , C = 7,8

R1 : A → B, R1 = (1, 4), (1, 6), (3,5) 
  R3 : A → C , R3 = (1, 7), (1,8), (3,8)
R2 : B → C , R2 = (4, 7), (5,8), (6,8)

8
Fundamentos de la Matemática Profesorado Semipresencial

La relación R3 : A → C es la relación compuesta de R1 con R2 y se anota: R3 = R2 R1

Definición de relación compuesta

Dadas las relaciones R1 : A → B y R2 : C → D , tales que B  C   , llamamos relación

compuesta de R1 con R2 a la relación R2 R1 : A → D ,

R2 R1 = ( x, y ) , u, u  ( B  C ) / ( x, u )  R1  (u, y )  R2 

TEOREMA

Dadas las funciones f : A → B y g : C → D . la relación compuesta g f es función, si el conjunto

imagen de f , está incluido en el dominio de g

f : A → B es función 

g : C → D es función   g f : A → D es función
Im( f )  C 


Demostración

x, x  A, u, u  B / u = f ( x) porque f es función, además u es único.

 u  Im( f ), Im( f )  C  u  C
 y, y  D / y = g (u ) porque g es función, además y es único.
Por lo tanto,x, x  A, y, y  D / y = g (u )  u = f ( x)  y = ( g f ) ( x)

Concluimos que g f : A → D es función y la llamamos función compuesta de f con g

Observación: en la demostración escribimos y = g (u )  u = f ( x)  y = g ( f ( x) )  y = ( g f ) ( x)

entonces g ( f ( x) ) = ( g f ) ( x) . De esto es que se escriba en el orden “inverso” a como se lee.

A partir de este teorema, podemos definir función compuesta sin necesidad de definir relación
compuesta, de la siguiente manera:

Sean f : A → B y g : C → D dos funciones tales que el conjunto imagen de f , está incluido en el

dominio de g , llamamos función compuesta de f con g a la función

g f : A → D , ( g f ) ( x) = g ( f ( x) )

9
Fundamentos de la Matemática Profesorado Semipresencial

Ejercicio 7

Dadas f : → , f ( x) = 2 x + 3 y g : → , f ( x) = x 2 − 5

a) Hallar g f
b) Hallar f g
c) ¿Son iguales las funciones halladas en las partes anteriores?

Ejercicio 8

Dadas las funciones f : A → B , g : B → C y h : C → D , probar que:

1) Si f : A → B y g : C → D son inyectivas, entonces g f : A → C es inyectiva.

2) Si f : A → B y g : C → D son sobreyectivas, entonces g f : A → C es sobreyectiva.
3) Si f : A → B y g : C → D son biyectivas, entonces g f : A → C es biyectiva y

(g f ) = f −1 g −1
−1

4) La composición de funciones cumple la propiedad asociativa: ( f g ) h = f (g h)

5) La función id A : A → A, id A ( x) = x es biyectiva y ( id A ) = id A . A esta función la llamamos

−1

función identidad en A
6) Si f : A → B es biyectiva, f −1 f = id A y f f −1 = id B

Ejercicio 9

 x2 −1 x0
Sea f : → B, B  tal que f ( x) = 
2 x + 1 x0

a) Bosquejar el gráfico de f . Puedes ayudarte con GeoGebra.

b) Hallar B para que f sea sobreyectiva. Justificar algebraicamente.
c) Investigar si f es inyectiva. Justificar algebraicamente.

d) Para el B hallado en la parte (b), demostrar que existe f h siendo h : → , h( x ) = x 3 − 1 y

hallar su expresión analítica.

Ejercicio 10

En cada uno de los siguientes casos, investigar si existe g f y de ser posible, hallarla.

10
Fundamentos de la Matemática Profesorado Semipresencial


 x −1
2
si − 1  x  3
a) f: → , f ( x) = −3x + 5 y g :[−1,8] → , g ( x) =  2
− x
 si 3 x 8


 x −1
2
si − 1  x  3
b) f :[−1, 2] → , f ( x) = −3x + 5 y g :[−1,8] → , g ( x) =  2
− x
 si 3 x 8

3x + 4 si 0  x  2  x2 si 2  x  5
c) f :[0, 4] → , f ( x) =  y g :[2,12] → , g ( x) = 
x +1 si 2  x  4 4 si 5  x  12

Ejercicio 11

 x +1
 si x  3
Sea f : → , f ( x) =  2
 x 2 +1 x3
 si

a) Graficar la función e indicar si es inyectiva y/o sobreyectiva. Justificar algebraicamente.

b) Consideramos h : → , h( x) = 2 x + 1 . Investigar la existencia de h f y de f h .
Determinar la expresión analítica cuando sea posible.

Ejercicio 12

Consideramos f : 2
→ 2
, f ( x, y) = (− x, y) y g : 2
→ 2
, g ( x, y ) = ( − y , x )

a) Probar que ambas son funciones biyectivas. Interpretar geométricamente.

b) Demostrar que existe g f y determinar su expresión analítica.

Ejercicio 13
 2
x + 3, si x  1
Se considera el conjunto A, A  y la función f : → A, f (x ) = 
5x − 6, si x  1


(1) Hallar la expresión analítica de la función f f.

(2) Hallar A , para que exista la función inversa de f . Justificar
(3) Para el conjunto A hallado en la parte anterior, indicar dominio, codominio y expresión analítica
de f −1 .

11
Fundamentos de la Matemática Profesorado Semipresencial

Ejercicio 14

2x + 3, si x  −1
Se consideran las funciones f : → , f (x ) =  y h : [0, +) → , h(x ) = x 2
2x − 3, si x  −1


a) ¿ f es invertible? Justifica y determina su expresión analítica si corresponde.

b) ¿Existe h f ? Justifica y determina su expresión analítica si corresponde.
c) ¿Existe f h ? Justifica y determina su expresión analítica si corresponde.

Ejercicio 15

Sea f : X → una función, con X  tal que x  X  −x  X .

Decimos que f es una función par si y solo si x, x  X , f (−x ) = f (x )

Decimos que f es una función impar si y solo si x, x  X , f (−x ) = − f (x )

1) Observar que el gráfico de una función par es simétrico respecto al eje de las ordenadas y el
gráfico de una función impar es simétrico respecto al origen de coordenadas.
2) Investigar si las siguientes funciones son pares o impares:

a) f : → , f (x ) = x 3 + x b) f : → , f (x ) = x 2 + a, a 

3 si x  −2  x  2 x si − 2  x  2
 
c) f : → , f (x ) = x si 0  x  2 d) f : → , f (x ) = 3 si x 2
−x si − 2  x  0 −3 si x  −2
 

Para la elaboración de estas notas se utilizaron los siguientes materiales:

Franco, G, Olave, M. y Vitabar, F. (2015). ¿Cuál es el título de este libro? Montevideo: Palíndromo.

Grimaldi, R. (1997). Matemáticas discreta y combinatoria. México: Pearson Educación.

Milano, A. (2020). Funciones. Montevideo.

Osín, L. (1975). Introducción al análisis matemático. Buenos Aires: Kapelusz.

Rojo, A. (1996). Algebra I. Buenos Aires: El Ateneo.

Siberio, D. (2003). Notas de Álgebra 1. Montevideo: Publicaciones del CEIPA

12