Ejercicios

Funciones: definición y propiedades

1. Sean A = {−1, 1, 2, 3} y B = {−1, 2, 5, 7}, y sean las relaciones f = {(−1, 1), (1, −1), (2, 2), (3, 7)}
y g = {(−1, 7), (1, −1), (2, −1), (2, 2), (3, 5)}.

a) Determine si cada una de estas relaciones es una función o no. Justifique.

b) Si es una función determine su imagen.

Solución de b):

Para f : Cada elemento de A aparece exactamente una vez como primera componente:
(−1, 1), (1, −1), (2, 2), (3, 7). Por tanto, f es función. Su imagen es el conjunto de
las segundas componentes: {1, −1, 2, 7} = {−1, 1, 2, 7}.
Para g: El elemento 2 ∈ A aparece dos veces como primera componente: (2, −1) y
(2, 2). Por tanto, g no es función (no está bien definida para 2). No se pide imagen.

2. Sea la función f definida en Z, como:

f = {(2, 5), (3, m2 ), (2, m + n), (3, 4), (b, 5)}

Hallar m + n.
Solución: Para que f sea función, cada elemento del dominio debe tener una única
imagen. Notamos que el elemento 2 aparece con dos imágenes: 5 y m + n. Por tanto,
deben ser iguales: 5 = m + n. Además, el elemento 3 aparece con imágenes m2 y 4, luego
m2 = 4. También b es un elemento del dominio, pero no hay conflicto. De m2 = 4 tenemos
m = ±2. Pero también necesitamos m + n = 5. Si m = 2, entonces n = 3. Si m = −2,
entonces n = 7. En ambos casos m + n = 5. Por lo tanto, m + n = 5.

3. Determinar el dominio, imagen (rango) y sus respectivas gráficas de las siguientes funcio-
nes:

a) f (x) = |x2 − 4|
√
b) g(x) = 5 − x
x2
c) h(x) = x2 −9

d) r(x) = √1
x−1

e) p(x) = cos x
f) q(x) = 2 sin x + 1

Solución de b), d), f ):

√
b) g(x) = 5 − x.

1
 Dominio: La expresión dentro de la raı́z cuadrada debe ser no negativa: 5−x ≥
0 ⇒ x ≤ 5. Además, como es raı́z cuadrada, no hay otras restricciones. Dominio:
(−∞, 5].
√
Imagen: El valor de 5 − x es siempre no negativo. √ Además, cuando x = 5,
vale 0; cuando x → −∞, 5 − x → +∞, luego 5 − x → +∞. La función es
continua, ası́ que toma todos los valores desde 0 hasta +∞. Imagen: [0, +∞).
√
Gráfica: Es la mitad de una parábola horizontal. La ecuación y = 5 − x
equivale a y 2 = 5 − x con y ≥ 0, es decir, x = 5 − y 2 , y ≥ 0. Es una parábola
que abre hacia la izquierda, con vértice en (5, 0).
d) r(x) = √1 .
x−1
Dominio: Necesitamos que el denominador esté definido √ y no sea cero. La raı́z
cuadrada requiere x − 1 ≥ 0, es decir, x ≥ 1. Además, x − 1 ̸= 0 ⇒ x − 1 ̸=
0 ⇒ x ̸= 1. Por tanto, dominio: (1, +∞).
+
√
√ Cuando x → 1 , x − 1 →
Imagen: 0+ , luego r(x) → +∞. Cuando x →
+
+∞, x − 1 → +∞, luego r(x) → 0 . La función es continua y estrictamente
decreciente (pues el denominador crece). Por tanto, la imagen es (0, +∞).
Gráfica: Es una curva decreciente en el primer cuadrante, con ası́ntota vertical
en x = 1 (por la derecha) y ası́ntota horizontal y = 0 cuando x → +∞.
f) q(x) = 2 sin x + 1.
Dominio: La función seno está definida para todos los reales. Dominio: R.
Imagen: El seno toma valores en [−1, 1]. Entonces 2 sin x toma valores en
[−2, 2], y sumando 1, q(x) toma valores en [−1, 3]. Imagen: [−1, 3].
Gráfica: Es una onda senoidal con amplitud 2, desplazada verticalmente 1 uni-
dad hacia arriba. El periodo es 2π.

4. Sean los conjuntos A = {1, 2, 3} y B = {1, 2}. Demuestre que la función f : P(A) → P(B)
definida por f (X) = X ∩ B es una función sobreyectiva.
Demostración: Para mostrar que f es sobreyectiva, debemos probar que para cualquier
Y ∈ P(B) (es decir, Y ⊆ B), existe X ∈ P(A) tal que f (X) = Y . Sea Y ⊆ B.
Consideramos X = Y ∪ {3} si 3 ∈ / Y ? Pero cuidado: Y es subconjunto de B = {1, 2},
por lo que Y puede ser ∅, {1}, {2}, {1, 2}. Definimos X = Y . Entonces X ⊆ A porque
Y ⊆ B ⊆ A. Luego f (X) = X ∩ B = Y ∩ B = Y (ya que Y ⊆ B). Por tanto, para cada
Y hemos encontrado una preimagen X = Y . Ası́, f es sobreyectiva.

5. Sea f (x) = x3 , considerada como una función f : A → B para los distintos A y B que se
enumeran a continuación. En cada caso determine si f es inyectiva, o si f es sobreyectiva.

a) f : R → R
b) f : Z → Z
c) f : Q → Q
d) f : {−1, 0, 2} → {−1, 0, 8}
e) f : [0, 1] → [−1, 1]
f) f : [0, ∞) → [0, ∞)

Solución de b), d), f ):

b) f : Z → Z, f (x) = x3 .

2
 Inyectiva: Si x3 = y 3 para enteros x, y, entonces x = y (porque la función cubo
es inyectiva en los enteros: si x ̸= y, entonces x3 ̸= y 3 ). Sı́ es inyectiva.
Sobreyectiva: ¿Todo entero es un cubo de algún entero? No, por ejemplo, 2 no
es el cubo de ningún entero (pues 13 = 1, 23 = 8). Luego no es sobreyectiva.
d) f : {−1, 0, 2} → {−1, 0, 8}, f (x) = x3 .
Evaluamos: f (−1) = (−1)3 = −1, f (0) = 0, f (2) = 8. La función está definida
en el conjunto finito. Todos los elementos del dominio tienen imágenes distintas
y el codominio es exactamente {−1, 0, 8}. Por tanto, es biyectiva: inyectiva y
sobreyectiva.
f) f : [0, ∞) → [0, ∞), f (x) = x3 .
Inyectiva: En los números reales no negativos, la función cubo es estrictamente
creciente, por lo tanto inyectiva.
√
Sobreyectiva: Dado y ∈ [0, ∞), existe x = 3 y ∈ [0, ∞) tal que x3 = y. Sı́ es
sobreyectiva.
Por tanto, es biyectiva.
6. Sean A = {1, 2, 3} y B = {2, 3}. Representar y clasificar f : R2 → Z definida por
f (a, b) = 3a − b.
Solución:
Representación: La función toma un par de números reales (a, b) y les asigna el
entero 3a − b. Pero como a, b son reales, 3a − b es un número real, pero la función
va a Z, por lo que el resultado debe ser un entero. Esto implica que 3a − b debe ser
entero para cualquier par (a, b)? No, la función está definida como f : R2 → Z, lo que
significa que para cada (a, b) ∈ R2 , f (a, b) debe ser un entero. Pero 3a − b no siempre
es entero si a, b son reales arbitrarios. Por tanto, hay un problema: la definición dice
f : R2 → Z, pero la regla f (a, b) = 3a − b no garantiza que la imagen sea entera.
Probablemente hay un error: quizás el dominio es Z2 o algo ası́. Sin embargo, el
enunciado dice explı́citamente f : R2 → Z. En tal caso, la función no estarı́a bien
definida porque para la mayorı́a de los reales, 3a − b no es entero. Quizás la intención
es considerar la función con regla f (a, b) = 3a − b y clasificarla como función de R2
en R, pero el codominio es Z. Para que sea función, debemos restringir el dominio
a aquellos pares que produzcan un entero. Pero el problema no aclara. Asumiremos
que es una función de R2 en R y luego clasificamos inyectividad y sobreyectividad
respecto a Z como codominio. Pero eso no tiene sentido. Mejor reinterpretar: Tal vez
el dominio es R2 y la regla asigna un número real, pero el codominio es Z, lo que
significa que la imagen debe estar contenida en Z. Eso obliga a que 3a−b sea siempre
entero, lo cual no es cierto. Por tanto, probablemente el dominio es Z2 . Dado que se
mencionan conjuntos A y B, quizás son irrelevantes. Otra posibilidad: la función es
f : A × B → Z? Pero dice f : R2 → Z.
Dado que el problema pide representar y clasificar”, y los conjuntos A y B se dan,
quizás hay confusión. Releamos: ”Sean A = {1, 2, 3} y B = {2, 3}. Representar y
clasificar f : R2 → Z definida por f (a, b) = 3a − b.”Quizás los conjuntos A y B
son para otro ejercicio. Posiblemente es un error tipográfico. Supondremos que la
función es f : R2 → R con regla f (a, b) = 3a − b, y clasificaremos inyectividad y
sobreyectividad respecto a R. Pero el codominio es Z según el enunciado, lo que es
extraño. Otra opción: quizás es f : Z2 → Z. Pero entonces ¿para qué A y B? Tal vez
los conjuntos A y B son para definir algo más, pero no se usan. Quizás el ejercicio
es independiente.

3
 Vamos a asumir que es f : R2 → R y clasificamos. Luego, si el codominio es Z, no
es sobreyectiva porque la imagen es todo R, no solo Z. Pero si el dominio es R2 y
codominio Z, la función no está bien definida porque no siempre da un entero. Por lo
tanto, lo más razonable es suponer que el dominio es Z2 y codominio Z. Dado que el
problema pide clasificar, evaluemos inyectividad y sobreyectividad con dominio Z2
y codominio Z.
Clasificación: Suponemos f : Z2 → Z, f (a, b) = 3a − b.
• Inyectiva: ¿Es uno a uno? Supongamos f (a, b) = f (c, d), es decir, 3a − b =
3c − d. Esto implica 3(a − c) = b − d. Por ejemplo, tomemos (a, b) = (0, 0) y
(c, d) = (1, 3): f (0, 0) = 0, f (1, 3) = 3 − 3 = 0. Son distintos pares con la misma
imagen. Luego no es inyectiva.
• Sobreyectiva: Dado cualquier entero k ∈ Z, ¿existen enteros a, b tales que
3a − b = k? Sı́, por ejemplo, tomando a = 0, b = −k, entonces f (0, −k) =
0 − (−k) = k. Por tanto, es sobreyectiva.
Ası́, la función es sobreyectiva pero no inyectiva.
Representación: Podemos representar la función como un conjunto de pares, pero
como el dominio es infinito, se describe mediante la regla.

7. Sea la función f : R → R dada por f (x) = 2x2 − 3x + 1. Determine un intervalo I ⊆ R

tal que la restricción de f sobre I sea inyectiva.
Solución: La función f es una parábola que abre hacia arriba (coeficiente de x2 positivo).
b
Su vértice se encuentra en x = − 2a = 34 . La función es decreciente en (−∞, 43 ] y creciente
en [ 34 , +∞). En cada uno de estos intervalos, f es inyectiva. Por tanto, podemos tomar
I = (−∞, 34 ] o I = [ 34 , +∞). También cualquier subintervalo de estos donde la función sea
monótona. Por ejemplo, I = [0, 1] también es inyectiva si está completamente a un lado
del vértice, pero no debe contener puntos a ambos lados. Para garantizar inyectividad,
basta con que I sea un intervalo donde f sea estrictamente monótona. Ası́, una respuesta
posible: I = [ 43 , +∞).

8. Sea f : N → N tal que f (x) = 2x. Si A = {1, 2, 3, 4} y g : A → N definida por

g = {(1, 2), (2, 3), (3, 5), (4, 7)}. Hallar f ◦ g.
Solución: La composición f ◦ g : A → N se define como (f ◦ g)(x) = f (g(x)). Calculamos
para cada x ∈ A:

Para x = 1: g(1) = 2, luego f (g(1)) = f (2) = 2 · 2 = 4.

Para x = 2: g(2) = 3, f (3) = 6.
Para x = 3: g(3) = 5, f (5) = 10.
Para x = 4: g(4) = 7, f (7) = 14.

Por tanto, f ◦ g = {(1, 4), (2, 6), (3, 10), (4, 14)}.
x
9. Sean f : R → (−1, 1) definida por f (x) = 1−|x|
.

a) Probar que f es biyectiva.

b) Hallar f −1 (x).

Solución de b): Hallar la inversa. Dado que f es biyectiva (se asume probado en a)),
x
podemos despejar. Sea y = 1−|x| , con y ∈ (−1, 1) y x ∈ R. Queremos expresar x en
función de y. Consideramos dos casos:

4
 x
Si x ≥ 0, entonces |x| = x. Luego y = 1−x . Resolvemos: y(1 − x) = x ⇒ y − yx =
y
x ⇒ y = x + yx = x(1 + y) ⇒ x = 1+y . Pero cuidado: esto es válido si 1 + y ̸= 0, es
decir, y ̸= −1. Como y ∈ (−1, 1), 1 + y > 0. Además, para que x ≥ 0, necesitamos
y
1+y
≥ 0, lo cual ocurre si y ≥ 0 (pues denominador positivo). Entonces para y ≥ 0,
y
x = 1+y .
x x
Si x < 0, entonces |x| = −x. Luego y = 1−(−x) = 1+x . Resolvemos: y(1 + x) = x ⇒
y y
y + yx = x ⇒ y = x − yx = x(1 − y) ⇒ x = 1−y . Para x < 0, necesitamos 1−y < 0.
Como 1 − y > 0 (pues y < 1), el signo depende de y. Para que sea negativo, y < 0.
y
Entonces para y < 0, x = 1−y .

Notamos que cuando y = 0, ambas fórmulas dan x = 0. Por tanto, podemos unificar:
(
y
si y ≥ 0,
f −1 (y) = 1+y
y
1−y
si y < 0.

O bien, observando que para y ≥ 0, 1 + y > 0, y para y < 0, 1 − y > 0. Podemos escribir:
y
f −1 (y) = , y ∈ (−1, 1).
1 − |y|
y y y
Comprobemos: Si y ≥ 0, |y| = y, entonces 1−y
? No, eso darı́a 1−y
, pero tenı́amos 1+y
.
Hay discrepancia. Revisemos el álgebra:
x
Caso x ≥ 0: y = 1−x . Despejamos: y(1 − x) = x ⇒ y − yx = x ⇒ y = x + yx = x(1 + y) ⇒
y
x = 1+y . Correcto.
x x
Caso x < 0: y = 1−(−x) = 1+x . Despejamos: y(1 + x) = x ⇒ y + yx = x ⇒ y = x − yx =
y
x(1 − y) ⇒ x = 1−y . Correcto.
Entonces la inversa no es simétrica a la original porque en la original el denominador es
y
1 − |x|, y en la inversa tendrı́amos 1 − |y| solo si fuera 1−|y| , pero eso darı́a para y ≥ 0:
y y
1−y
, que no coincide con 1+y . Por tanto, no es simétrica. La expresión correcta es la dada
por casos.
−x −x
Sin embargo, podemos notar que f es impar? Verificamos: f (−x) = 1−|−x| = 1−|x| =
−f (x). Sı́, es impar. Entonces la inversa también será impar? Probemos con la expresión
y y
por casos: para y > 0, f −1 (y) = 1+y ; para y < 0, f −1 (y) = 1−y . Efectivamente, si y > 0,
−y −y
−y < 0, y f −1 (−y) = 1−(−y) = 1+y = −f −1 (y). Correcto.
Por lo tanto, la función inversa es:
(
x
−1 1+x
si x ≥ 0,
f (x) = x
1−x
si x < 0.

4x−3 6x−2
10. Sean f, g : R → R tales que f (x) = 2
y (f ◦ g)(x) = 3
. Hallar g(x).
6x−2 4x−3
Solución: Tenemos f (g(x)) = 3
. Como f (x) = 2
, entonces:

4g(x) − 3 6x − 2
f (g(x)) = = .
2 3
Multiplicamos ambos lados por 6:
5
3(4g(x) − 3) = 2(6x − 2) ⇒ 12g(x) − 9 = 12x − 4 ⇒ 12g(x) = 12x + 5 ⇒ g(x) = x + .
12

5
11. Demuestre que si f : A → B y g : B → C son funciones sobreyectivas entonces g ◦ f es
sobreyectiva.
Demostración: Queremos probar que para todo c ∈ C, existe a ∈ A tal que (g◦f )(a) = c.
Como g es sobreyectiva, para cada c ∈ C existe b ∈ B tal que g(b) = c. Como f es
sobreyectiva, para ese b existe a ∈ A tal que f (a) = b. Entonces (g ◦ f )(a) = g(f (a)) =
g(b) = c. Luego g ◦ f es sobreyectiva.

12. Sean f : A → B y g : B → A funciones. Demostrar que:

a) Si f ◦ g es la función identidad en B, entonces f es sobreyectiva.

b) Si g ◦ f es la función identidad en A, entonces f es inyectiva.

Demostración de b): Supongamos que g ◦f = idA . Queremos probar que f es inyectiva.

Sean a1 , a2 ∈ A tales que f (a1 ) = f (a2 ). Aplicando g a ambos lados: g(f (a1 )) = g(f (a2 )).
Pero g(f (a1 )) = (g ◦ f )(a1 ) = idA (a1 ) = a1 , y análogamente g(f (a2 )) = a2 . Por tanto,
a1 = a2 . Luego f es inyectiva.

13. Sea f : R → R definida como f (x) = x2 + 1. Determine las imágenes de los siguientes
subconjuntos del dominio bajo f :

a) [−1, 1]
b) −∞, 21


c) [0, 3]
d) (0, 3)
e) [1, 10]
f) [−1, ∞)

Solución de b), d), f ):

b) Para A = −∞, 21 . La función f (x) = x2 + 1 es decreciente en (−∞, 0] y creciente



en [0, ∞). El punto crı́tico es x = 0. Evaluamos: cuando x → −∞, f (x) → +∞;

en x = 21 , f 12 = 14 + 1 = 45 ; en x = 0, f (0) = 1. Pero como el intervalo incluye

valores negativos grandes, la imagen será [1, +∞)? No exactamente: el mı́nimo valor
en este intervalo ocurre en x = 0 (porque 0 está en el intervalo) con valor 1. Los
valores cerca de −∞ dan valores grandes. Además, para x = 12 , el valor es 54 . Pero
para x negativo, x2 es grande, ası́ que la imagen incluye todos los números desde 1
hasta +∞. ¿El 45 es el máximo? No, porque para x negativo grande, f (x) es grande.
De hecho, no hay máximo. El conjunto imagen es√[1, +∞). Verifiquemos: Cualquier
y ≥ 1 puede escribirse como y = x2 + 1 con x = √ ± y − 1. Necesitamos que al√menos
uno de estos esté en (−∞, 12 ]. Para
√ y grande, y − 1 > 1
2
, pero el negativo − y − 1
1 1
será < 0 ≤ 2 , y ciertamente − y − 1 ∈ (−∞, 2 ]. Por tanto, imagen = [1, +∞).
d) Para A = (0, 3). Es un intervalo abierto. La función es creciente en [0, ∞), por lo
que en (0, 3) es creciente (pues no incluye 0, pero sı́ números positivos). El mı́nimo
se aproxima cuando x → 0+ , f (x) → 1, pero 1 no se alcanza porque 0 no está en el
dominio. El máximo se aproxima cuando x → 3− , f (x) → 9 + 1 = 10, pero 10 no
se alcanza porque 3 no está. Además, la función es continua, ası́ que la imagen es el
intervalo abierto (1, 10).
f) Para A = [−1, ∞). Este intervalo incluye números negativos y positivos. El mı́nimo
valor de f ocurre en x = 0 (que está en el intervalo) con valor 1. No hay máximo
porque cuando x → ∞, f (x) → ∞. La imagen es [1, ∞).

6
14. Sea A = {1, 2, 3, 4, 5} y sea f : A → A definida por

f = {(1, 4), (2, 1), (3, 4), (4, 2), (5, 3)}.

Hallar: f −1 (2), f −1 (4), f −1 (5), f −1 ({4, 5}), f −1 ({1, 2, 3}), f −1 ({3, 4, 5}).
Solución de los ı́tems pares:

f −1 (4): Buscamos todos los x ∈ A tales que f (x) = 4. De la definición, f (1) = 4 y

f (3) = 4. Por tanto, f −1 (4) = {1, 3}.
f −1 ({4, 5}): Preimagen del conjunto {4, 5}, es decir, {x ∈ A : f (x) ∈ {4, 5}}. f (x) =
4 para x = 1, 3; f (x) = 5 para ningún x (porque 5 no aparece como imagen, excepto
quizás si hubiera, pero revisando: las imágenes son 4,1,4,2,3; el 5 no está). Entonces
f −1 ({4, 5}) = {1, 3}.
f −1 ({3, 4, 5}): {x : f (x) ∈ {3, 4, 5}}. f (x) = 3 solo para x = 5 (pues f (5) = 3);
f (x) = 4 para x = 1, 3; f (x) = 5 para ninguno. Por tanto, f −1 ({3, 4, 5}) = {1, 3, 5}.

15. Sea f : R → R definida por f (x) = x2 − 2. Determinar las preimágenes de los siguientes
subconjuntos del codominio:

(−∞, −2); [−2, 2]; (2, ∞).

Solución del ı́tem par: Para [−2, 2]. Queremos {x ∈ R : f (x) ∈ [−2, 2]}, es decir,
−2 ≤ x2 − 2 ≤ 2. Resolvemos:

−2 ≤ x2 − 2 ≤ 2 ⇒ 0 ≤ x2 ≤ 4 ⇒ |x| ≤ 2 ⇒ x ∈ [−2, 2].

Por tanto, la preimagen es el intervalo [−2, 2].

16. Sea f : X → Y . Demostrar la equivalencia de las siguientes proposiciones:

a) f es inyectiva.
b) Para todo A ⊂ X entonces f −1 [f (A)] = A.

Demostración:

(a) ⇒ (b): Supongamos f inyectiva. Sea A ⊂ X. Siempre se tiene A ⊂ f −1 [f (A)]

(propiedad general). Demostremos la otra inclusión: sea x ∈ f −1 [f (A)], entonces
f (x) ∈ f (A). Existe a ∈ A tal que f (a) = f (x). Por inyectividad, x = a ∈ A. Luego
f −1 [f (A)] ⊂ A. Por tanto, igualdad.
(b) ⇒ (a): Supongamos que para todo A ⊂ X, f −1 [f (A)] = A. Queremos probar que
f es inyectiva. Sean x1 , x2 ∈ X tales que f (x1 ) = f (x2 ). Tomemos A = {x1 }. Enton-
ces f (A) = {f (x1 )}. Luego f −1 [f (A)] = f −1 ({f (x1 )}). Por hipótesis, f −1 [f (A)] =
A = {x1 }. Por tanto, f −1 ({f (x1 )}) = {x1 }. Pero como f (x2 ) = f (x1 ), tenemos que
x2 ∈ f −1 ({f (x1 )}), luego x2 ∈ {x1 }, es decir, x2 = x1 . Ası́, f es inyectiva.

Por lo tanto, las proposiciones son equivalentes.

17. La función f : R → R2 está definida por f (x) = (x, −x). Demostrar:

a) f (x + y) = f (x) + f (y)
b) f (k · x) = k · f (x)

7
 Demostración de b): Sea k ∈ R y x ∈ R. Entonces:

f (kx) = (kx, −kx) = k(x, −x) = kf (x).

Esto muestra que f es una transformación lineal.

18. Sea f una función arbitraria de un conjunto A en R. Demostrar que para todo número
real x se verifica ∞
\
f −1 (−∞, x + 2−n ) = f −1 (−∞, x].
n=1

Demostración: Recordemos que para cualquier conjunto B ⊆ R, f −1 (B) = {a ∈ A :

f (a) ∈ B}. Queremos probar la igualdad de dos conjuntos.

⊆: Sea a ∈ ∞ −1
(−∞, x + 2−n ). Entonces para cada n ≥ 1, a ∈ f −1 (−∞, x +
T
n=1 f
2−n ), es decir, f (a) < x + 2−n . Esto implica que f (a) ≤ x, porque si f (a) > x,
entonces existirı́a ε = f (a) − x > 0, y tomando n suficientemente grande tal que
2−n < ε, tendrı́amos f (a) > x + 2−n , contradicción. Luego f (a) ≤ x, por lo que
a ∈ f −1 (−∞, x].
⊇: Sea a ∈ f −1 (−∞, x], es decir, f (a) ≤ x. Entonces para cualquier
T n, −1f (a) ≤ x <
x + 2−n , luego a ∈ f −1 (−∞, x + 2−n ) para cada n. Por tanto, a ∈ ∞
n=1 f (−∞, x +
−n
2 ).

Ası́, la igualdad queda demostrada.