Capitulo3 Ocw PDF
Capitulo3 Ocw PDF
Capitulo3 Ocw PDF
Competencias
◮ Saber analizar la continuidad de funciones sencillas utilizando el lenguaje
ε - δ.
Contenidos
3.1. Límite de una función en un punto
3.2. Funciones continuas
3.3. Funciones reales continuas en un intervalo
3.4. Continuidad uniforme
3.5. Ejercicios
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
92 Límite funcional y continuidad
[a, b], [a, b), (a, b], (a, b), (−∞, +∞), (−∞, b), (−∞, b], (a, +∞), [a, +∞).
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.1 Límite de una función en un punto 93
Más tarde René Descartes y Fermat con la introducción de la geometría analítica reafir-
marían la representación de las funciones (algebraicas) mediante coordenadas. Pero fue
en la segunda mitad del siglo xviii cuando la noción de función se hizo fundamental
para el análisis matemático y cuando se plantearon las principales cuestiones acerca
de qué había que entender por función. Mientras que hasta entonces una función era
simplemente una expresión o fórmula (en términos de una o más variables) Euler, y
posteriormente, Dirichlet abrieron el concepto admitiendo funciones mucho más gene-
rales. A raíz del estudio de una cuerda sujeta por sus extremos que es desplazada y
se deja vibrar libremente Euler proponía que debía admitirse como posición inicial de
la cuerda una función con un pico (es decir definida de forma diferente en dos regio-
nes adyacentes, idealización matemática de la posición inicial al tañer la cuerda). Más
tarde, en 1837, Dirichlet escribiría:
Si ahora a cada x le corresponde una única y finita [...] entonces y es lla-
mada una función de x para este intervalo [...] Esta definición no requiere
una regla común para las diferentes partes de la curva; uno puede imagi-
nar la curva como siendo compuesta de las componentes más heterogéneas
o como siendo trazada sin ninguna ley.
Definición 3.1.1
(1) Se dice que V es un entorno de x ∈ K si existe r > 0 tal que B(x, r) ⊂ V .
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
94 Límite funcional y continuidad
Ejemplos 3.1.2
lı́m f (x) = L,
x→c
si para cada ε > 0 existe δ > 0 tal que para cada x ∈ D si 0 < |x − c| < δ entonces
|f (x) − L| < ε.
(2) Para cada sucesión (xn )n∈N ⊂ D tal que lı́mn xn = c y xn 6= c para todo
n ∈ N, se verifica L = lı́mn f (xn ).
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.1 Límite de una función en un punto 95
Conviene advertir que, sobre todo en libros antiguos, a veces se dice que f tiene
límite L en c si los valores de f (x) están «tan cerca como se desee» de L con tal de
que x esté «suficientemente cerca» de c. Aunque se trata de un lenguaje informal
e impreciso, esa formulación expresa la idea de la definición 3.1.3.
De la unicidad del límite de una sucesión, junto con la proposición 3.1.4, se
deduce fácilmente el siguiente resultado.
Al igual que ocurre con las sucesiones, también es posible dar aquí una condición
de Cauchy para la existencia de límite de una función en un punto.
(2) Para cada ε > 0 existe δ > 0 tal que para todo x, y ∈ B(c, δ) \ {c} se verifica
que |f (x) − f (y)| < ε.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
96 Límite funcional y continuidad
pero entonces
|f (xn ) − f (xm )| < ε, para n, m > n0 ,
es decir, (f (xn ))n es una sucesión de Cauchy y por tanto convergente, por lo que
existe L := lı́mn f (xn ). Sólo falta probar que L no depende de la sucesión (xn )n .
Pero eso es sencillo, pues si para otra sucesión (x′n )n con lı́mn x′n = c y x′n 6= c fuera
L′ := lı́mn f (x′n ) se tendría
para cualquier valor de ε, ya que, al ser lı́mn xn = c = lı́mn x′n se cumple que
|xn − x′n | < δ para n > n′0 y cierto n′0 .
Ejemplos 3.1.7
(1) La función f : R −→ R definida por f (x) = x tiene por límite c en el
punto c. En efecto, si (xn )n es una sucesión en R con límite c es claro que
(f (xn ))n también tiene límite c (pues f (xn ) = xn para cada n) y aplicando
la proposición 3.1.4 se obtiene el resultado.
(2) La función f : R −→ R definida por f (x) = x3 tiene por límite c3 en el punto
c. En efecto, si (xn )n es una sucesión en R con límite c entonces, aplicando
las reglas de cálculo del límite de un producto de sucesiones, se tiene que
(x3n )n es una sucesión con límite c3 y, de nuevo, el resultado se obtiene de la
proposición 3.1.4. Evidentemente el exponente 3 no tiene nada de particular
y el mismo resultado, con idéntica demostración se aplica a cualquier entero
k > 0.
√ √
(3) La función f : R −→ R definida por f (x) = 4 x tiene por límite 4 c en
el punto c y algo análogo ocurre con cualquier raíz k-ésima. La técnica de
demostración utiliza la ecuación ciclotómica e ideas que ya han sido utilizadas
en los ejemplos 2.1.3. Dejamos al cuidado del lector los detalles de la prueba.
(4) La función f : R −→ R definida por f (x) = sen x tiene por límite sen c en el
punto c.
La demostración ahora no es tan simple. De hecho una demostración rigu-
rosa exigiría tener definida de forma precisa la función seno, cuestión ésta
que no abordaremos hasta el capítulo 8. A pesar de ello es posible dar una
«justificación» basada en nuestra intuición y en el conocimiento adquirido
en la enseñanza secundaria sobre la interpretación geométrica que tienen la
funciones trigonométricas, seno, coseno y tangente y en las relaciones trigono-
métricas entre ellas. La clave para la «justificación» se apoya en la figura 3.2.
Resulta intuitivamente claro en dicha figura que
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.1 Límite de una función en un punto 97
x
sen x tg x
(6) La función f : (0, ∞) −→ R definida por f (x) = log x tiene por límite log c en
el punto c ∈ (0, ∞). Esto se obtiene fácilmente utilizando la proposición 3.1.4
juntamente con la proposición 2.5.7 (apartado 5). Sin embargo no existe
lı́mx→0 log x.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
98 Límite funcional y continuidad
(7) La función f : R −→ R definida por f (x) = [x] tiene por límite [c] si c 6∈ Z
y no tiene límite si c ∈ Z.
mientras que
lı́m f (x′n ) = 0 y lı́m f (x′′n ) = 1
n n
Entonces:
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.1 Límite de una función en un punto 99
f (x) L1
(3) Si L2 6= 0 existe lı́mx→c y vale .
g(x) L2
(4) Si además las funciones toman valores en R se cumplen las dos propiedades
siguientes:
Complete de forma precisa los detalles de las pruebas para cada uno de los
ítems de la proposición 3.1.8 indicando de forma explícita en qué resultados
se apoya para obtener las conclusiones. Si, con la notación anterior, es f (x) <
g(x) ¿se cumple que L1 < L2 ? Explíquelo.
¿Es necesario que f (x) ≤ g(x) para todo x ∈ D para tener L1 ≤ L2 ?, ¿o basta
con que la desigualdad se cumpla para ciertos x en D? En caso afirmativo,
¿puede precisar para qué valores de x es suficiente?
Hasta ahora hemos considerado que c y L son números reales o complejos, pero
es posible ampliar la definición 3.1.3 para que incluir también los casos en que c
o L sean ±∞. Utilizando la terminología de las bolas podemos emplear la misma
definición y únicamente necesitamos identificar el sentido que atribuiremos a las
«bolas» (es más adecuado hablar de entornos) de centro x, cuando x es ±∞ con
el sentido que hemos asignado a los símbolos ±∞ en la sección 2.6.
Así, consideraremos como entorno de +∞ a cualquier conjunto de la forma
(k, +∞), y entorno de −∞ es cualquier conjunto de la forma (−∞, k).
Concretemos. Por ejemplo si f (x) es una función definida en un intervalo de la
forma (a, +∞), decir que lı́mx→+∞ f (x) = L significa que para cada ε > 0, existe
k ∈ R tal que si x ∈ (a, +∞) y x > k entonces |f (x) − L| < ε.
O, como otro ejemplo, si f : D ⊂ R −→ R y c es un punto de acumulación de
D diremos que lı́mx→c f (x) = +∞ si (en términos de entornos): para cada entorno
de +∞, (k, +∞), existe una bola B(c, δ) tal que f (B(c, δ) ∩ D \ {δ}) ⊂ (k, +∞).
El lector debe preocuparse de escribir con detalle las otras posibilidades (véase
el ejercicio 2).
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
100 Límite funcional y continuidad
Figura 3.3: Jean Le Rond d’Alembert (París, 1717 – París, 1783) y Augustin Cau-
chy (París, 1789 – Sceaux, 1857)
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.1 Límite de una función en un punto 101
(1) Se llama límite por la derecha de f en c y se denota con f (c+ ) = lı́mx→c+ f (x)
al límite de la función
g : D ∩ (c, +∞) −→ R
(2) Se llama límite por la izquierda de f en c y se denota con f (c− ) = lı́mx→c− f (x)
al límite de la función
g : D ∩ (−∞, c) −→ R
lı́mx→c+ f (x) = L si para cada ε > 0, existe δ > 0 tal que para cada x ∈ D,
si 0 < x − c < δ entonces |f (x) − L| < ε.
lı́mx→c− f (x) = L si para cada ε > 0, existe δ > 0 tal que para cada x ∈ D,
si 0 < c − x < δ entonces |f (x) − L| < ε.
Ejemplos 3.1.10
(1) La función parte entera, f (x) = [x] tiene límite por la izquierda en cada
entero c que vale c − 1 y límite por la derecha que vale c.
2
(6) Para la función f (x) = e−(1/x ) , x 6= 0, se verifica que lı́mx→+∞ f (x) =
lı́mx→−∞ f (x) = 1.
(7) Las funciones monótonas (si no sabe lo que esto significa, consulte la defini-
ción 3.3.5) f : C ⊂ R −→ R tienen límite lateral en cada punto.
Todas las afirmaciones realizadas en los ejemplos anteriores son muy fáciles
de verificar. ¡Tómese la molestia de escribir con cuidado las demostraciones
de las mismas! Si f es una función monótona y c es un punto de su dominio
¿f (c) ha de coincidir siempre con alguno de los límites laterales en c?
(1) f es continua en c.
(2) Para cada sucesión (xn )n ⊂ D con c = lı́mn xn se tiene f (c) = lı́mn f (xn ).
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.2 Funciones continuas 103
Observe que el resultado de esta proposición puede ser resumido afirmando que
la continuidad de f es equivalente a la conmutatividad entre f y la operación de
tomar límites, es decir, que:
Esta proposición es muy útil porque permite aplicar propiedades de los límites
funcionales estudiados en la sección 3.1 para obtener resultados sobre funciones
continuas. En particular, el lector podrá demostrar sin dificultad la siguiente pro-
posición.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
104 Límite funcional y continuidad
Demostración: Para cualquier sucesión (xn )n∈N ⊂ D tal que c = lı́mn xn , por
la continuidad de f1 en c se tiene que f1 (c) = lı́mn f (xn ), pero al ser f2 continua
en f1 (c) se tiene, a su vez, f2 (f1 (c)) = lı́mn f2 (f1 (xn )), o dicho de otra forma
(f2 ◦ f1 )(c) = lı́mn (f2 ◦ f1 )(xn ) y en consecuencia, aplicando la proposición 3.2.2,
se obtiene que f2 ◦ f1 es continua en c.
Ejemplos 3.2.7
(3) La función logaritmo neperiano, f : (0, +∞) −→ R, definida por f (x) = log x
es continua en (0, +∞).
(5) La función definida por f (t) = cos t + i sen t para t ∈ [0, 2π] es continua.
En los cuatro primeros ejemplos se establece que las funciones habituales
en Análisis Matemático son continuas. Trate de justificar las afirmaciones
anteriores. Los ejemplos 3.1.7 junto con las proposiciones 3.2.2 y 2.1.8 le serán
de utilidad.
a pesar de que no sea posible dibujarla sin levantar el lápiz del papel. Sin
embargo la función
x si x ∈ [0, 2]
g(x) =
x2 si x ∈ (2, 4]
no es continua debido a que no lo es en el punto c = 2. Este hecho indica
que la continuidad de una función no depende sólo de la «fórmula» que,
eventualmente, la define: depende también del dominio.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.2 Funciones continuas 105
(7) La función f : K −→ [0, ∞) definida por f (x) = |x| es una función continua
en cada c ∈ K ya que
|f (x) − f (c)| = |x| − |c| ≤ |x − c|
0 = D2 (c) = lı́m
n
D2 (xn )
Evidentemente para los xn de la sucesión que sean irracionales (si los hay)
la fórmula (3.3) se verifica trialmente y también se verifica si sólo un núme-
ro finito de xn son racionales, porque puede elegirse un n0 suficientemente
avanzado que los eluda. Sólo queda ver lo que ocurre cuando el número de
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
106 Límite funcional y continuidad
f (c)
f (c)
c c
Figura 3.4: Discontinuidad evitable (izquierda) y de primera especie
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.3 Funciones reales continuas en un intervalo 107
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
108 Límite funcional y continuidad
1.2
1/x
1.15
1.1
1.05
1
0.95
0.9
0.85
0.8
0.8 0.85 0.9 0.95 1 1.05 1.1 1.15 1.2
1.2
1/x
1.15
1.1
1.05
1
0.95
0.9
0.85
0.8
0.85 0.9 0.95 1 1.05 1.1 1.15
Figura 3.5: Gráfica de la función 1/x en un entorno del punto c = 1, con ε = 0.1,
δ = 0.1 y δ = 0.05, respectivamente
(2) Existen c, d ∈ B[a, r] tales que f (c) ≤ f (x) ≤ f (d), es decir, f alcanza sus
valores máximo y mínimo en su dominio.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.3 Funciones reales continuas en un intervalo 109
Figura 3.6: Karl Theodor Wilhelm Weierstrass (Ostenfelde, 1815 – Berlín, 1897).
Biografía en MacTutor.
por ser el valor absoluto una función continua (véanse los ejemplos de 3.2.7).
Pero entonces, como f es continua en c la sucesión (f (xnk ))k∈N converge a f (c)
y por tanto es una sucesión acotada, lo cual es absurdo, ya que |f (xnk )| > nk .
Veamos ahora el segundo apartado. Por el primer apartado sabemos que el
conjunto f (B[a, r]) es acotado. Si α = sup{f (x) : x ∈ B[a, r]} existe una sucesión
(xn )n ⊂ B[a, r] con α = lı́mn f (xn ) y, procediendo como antes, existe una subsuce-
sión (xnk )k∈N de la sucesión (xn )n∈N convergente a un punto, digamos, d ∈ B[a, r].
Entonces por la continuidad de f es f (d) = lı́m f (xnk ), pero como α = lı́mk f (xnk )
se concluye que α = f (d), es decir, la función f alcanza su máximo absoluto en el
punto d. La demostración de que f alcanza su mínimo absoluto en B[a, r] puede
realizarse de forma análoga y se deja al cuidado del lector.
Teorema 3.3.2 (Bolzano) Sea f : [a, b] −→ R una función continua tal que
f (a)f (b) < 0. Entonces existe c ∈ (a, b) de modo que f (c) = 0.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
110 Límite funcional y continuidad
Figura 3.7: Bernard Placidus Johann Nepomuk Bolzano (Praga, 1781 – Praga,
1848). Biografía en MacTutor.
Demostración:
La condición f (a)f (b) < 0 significa que f tiene
signos opuestos en los extremos del intervalo [a, b].
Supongamos, por ejemplo, que
c
a m b f (a) < 0 y f (b) > 0
a2 b2
y definimos a1 = a y b1 = b. Tomemos m el punto
medio de [a, b]. Si f (m) = 0 el teorema está pro-
bado; si f (m) 6= 0, entonces f cambia de signo en
alguno de los intervalos [a, m] o [m, b]. Supongamos,
por ejemplo, f (a) < 0 y f (m) > 0 y pongamos a2 = a1 y b2 = m. Procediendo
recursivamente, o bien se encuentra un cero de f en alguna de las etapas, o bien se
obtiene una sucesión [an , bn ] en las condiciones del principio de encaje de Cantor.
T
En el segundo caso, sea {c} := n [an , bn ]. Entonces se tiene c = lı́mn an = lı́mn bn .
Como f (an ) < 0 y f es continua se tiene que lı́mn f (an ) = f (c) ≤ 0, y también al
ser f (bn ) > 0 se tiene que lı́mn f (bn ) = f (c) ≥ 0. Y de 0 ≤ f (c) ≤ 0 se concluye
que f (c) = 0.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.3 Funciones reales continuas en un intervalo 111
Los dos teoremas de este apartado son piezas clave en el desarrollo del
análisis matemático. A propósito del teorema de Weierstrass escribía el
gran matemático David Hilbert en 1897:
Con este teorema [...] Weierstrass creó una herramienta que hoy es
indispensable a todos los matemáticos para otras investigaciones analíticas
o aritméticas más refinadas.
Sobre el teorema de Bolzano, de los valores intermedios, se han escrito muchas páginas.
Era conocido, y utilizado, desde mucho antes, pero fue Bolzano el que en 1817 publica
un panfleto, ya citado en la página 7, titulado: Una demostración puramente analítica
de teorema que afirma que entre cada dos raíces que garantizan un resultado opuesto
existe al menos una raíz real de la ecuación. Como el propio título indica Bolzano es el
primero en intentar obtener una demostración del resultado, sin darlo por «evidente»
y esto suponía, como ya hemos visto, abordar el fondo de muchas cuestiones todavía
imprecisas; la noción de limite, de función continua, el sustrato numérico (la recta real
y sus propiedades, en particular la propiedad del supremo), etc.
El panfleto de Bolzano, y otros de sus trabajos, permaneció prácticamente ignorado
durante cincuenta años. Entretanto, en 1823, Cauchy incluye el teorema en uno de sus
cursos publicados. Diversos historiadores han defendido la idea de que Cauchy tomó el
resultado de Bolzano sin citar a éste, es decir, que Cauchy cometió plagio. La discusión
sobre este tema sigue abierta, con grandes estudiosos de uno y otro lado.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
112 Límite funcional y continuidad
Demostración:
6 (1) Es claro que si f es estrictamente monótona,
η entonces es inyectiva, ya que si x1 < x2 no puede
ser f (x1 ) = f (x2 ); esto prueba el recíproco del pri-
mer ítem. Para demostrar el directo de dicho ítem,
c d - supongamos, por reducción al absurdo, que siendo f
x1 x2 x3 inyectiva no fuera estrictamente monótona. Entonces,
como f es inyectiva, para toda terna x1 < x2 < x3 los valores f (x1 ), f (x2 ) y f (x3 )
son diferentes dos a dos. Si f fuera estrictamente monótona habría de ser: o bien
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.3 Funciones reales continuas en un intervalo 113
f (x1 ) < f (x2 ) < f (x3 ), o bien f (x1 ) > f (x2 ) > f (x3 ). Así pues, negar la mo-
notonía estricta equivale a que exista una terna x1 < x2 < x3 tal que, o bien
f (x1 ) < f (x2 ) > f (x3 ) o bien f (x1 ) > f (x2 ) < f (x3 ). En ambos casos la idea
de la prueba es la misma y se basa en la propiedad de los valores intermedios.
Siguiendo el esquema gráfico, supondremos que f (x1 ) < f (x2 ) > f (x3 ) y además
f (x1 ) ≥ f (x3 ). Tomando η en el intervalo (f (x1 ), f (x2 )) por la propiedad de los
valores intermedios debe existir c ∈ (x1 , x2 ) tal que f (c) = η y también debe existir
d ∈ (x2 , x3 ) tal que f (d) = η, pero eso contradice el que f sea inyectiva.
(2) Por el corolario 3.3.4, J := f (I) es un intervalo y siendo f estrictamente
monótona es inyectiva, por lo que existe la función inversa f −1 : J = f (I) −→ I
que es también una biyección estrictamente monótona. Supongamos, por ejemplo,
que sea estrictamente creciente (el razonamiento es similar para funciones estric-
tamente decrecientes) y sea d ∈ J de modo que no sea un punto extremo del
intervalo. Vamos a probar la continuidad de f −1 en el punto d1 . Sea c = f −1 (d), o
lo que es lo mismo f (c) = d. Como la función f es estrictamente monótona c no
puede ser el extremo del intervalo I. Dado ε > 0 se trata entonces de garantizar
la existencia de δ > 0 de modo que se tenga
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
114 Límite funcional y continuidad
25
1/x
20
15
10
0
0 0.5 1 1.5 2 2.5 3 3.5 4
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.4 Continuidad uniforme 115
Observe que la continuidad uniforme depende del conjunto donde se esté consi-
derando definida la función. Evidentemente toda función uniformemente continua
en un conjunto es continua en dicho conjunto, pero, en general, el recíproco no es
cierto, como ya hemos comprobado anteriormente. El teorema que sigue establece
la equivalencia de ambos conceptos en las bolas cerradas de K, en particular en
los intervalos cerrados y acotados de R.
Teorema 3.4.2 (Heine) Toda función continua definida en una bola cerrada y
acotada B[a, r] y con valores en K es uniformemente continua.
pero por otra parte |f (xnk ) − f (x′nk )| ≥ ε > 0 con lo que pasando al límite se
obtendría 0 ≥ ε, lo cual es absurdo.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
116 Límite funcional y continuidad
Figura 3.9: Heinrich Eduard Heine (Berlin, 1821 – Halle, 1881). Biografía en
MacTutor.
Los gráficos de las figuras 3.10 y 3.11 han sido realizados con Maxima. Com-
ruebe el código usado y haga sus propias experiencias en otros intervalos.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.4 Continuidad uniforme 117
Figura 3.10: Gráficas de la función f (x) = sen x2 en [0, 2π] y [6π, 8π]
1
0.8
0.6
0.4
0.2
0
-0.2
-0.4
-0.6
-0.8
-1
0 1 2 3 4 5 6 7
1
0.8
0.6
0.4
0.2
0
-0.2
-0.4
-0.6
-0.8
-1
18 19 20 21 22 23 24 25 26
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
118 Límite funcional y continuidad
Figura 3.11: Gráfica de la función f (x) = x sen x (producto de dos funciones uni-
formemente continuas) en dos intervalos diferentes de igual longitud sin escalar el
eje OY
600
400
200
-200
-400
-600
0 20 40 60 80 100
600
400
200
-200
-400
-600
500 520 540 560 580 600
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.5 Ejercicios 119
3.5. Ejercicios
Resueltos
3.5.1 Estudie la existencia de los siguientes límites y calcule su valor o los valores
de los límites laterales correspondientes, cuando existan:
√
x2 + x − 6 |x| x
lı́m 2
lı́m 2 lı́m (2 + sen(1/x)) lı́m
x→2 x −4 x→0 x +x x→0 x→0 2 + sen(1/x)
x2 + x − 6
Solución: Numerador y denominador de son funciones conti-
x2 − 4
nuas por lo que, salvo que de lugar a indeterminación, el límite coincide con
el cociente entre los límites de numerador y denominador. En este caso am-
bos son cero y se produce la indeterminación. Pero al tratarse de polinomios
que se anulan para x = 2, el teorema de Fubini garantiza que ambos son
divisibles por x − 2, asi que, para cada x 6= 2 se tiene la igualdad
x2 + x − 6 (x − 2)(x + 3) (x + 3)
2
= =
x −4 (x − 2)(x + 2) (x + 2)
y ahora es claro que
x2 + x − 6 5
lı́m 2
= .
x→2 x −4 4
|x|
Para el caso lı́mx→0 tenemos otra vez una indeterminación. De nuevo
x2
+x
podemos dividir numerador y denominador por x. Pero, ahora |x|/x, que es
lo que se conoce como «signo de x», es la función σ definida por
1 si x > 0
σ(x) =
−1 si x < 0
y entonces se tiene
|x| 1
lı́m+ = lı́m+ =1
x→0 x2 + x x→0 x + 1
mientras que
|x| −1
lı́m− = lı́m − = −1.
x→0 x2
+ x x→0,x x + 1
Así pues, el límite no existe aunque existen los límites laterales.
lı́mx→0 (2+sen(1/x)) = 2+lı́mx→0 (sen(1/x)), pero este límite no existe porque
tomando las sucesiones convergentes a cero definidas por xn = 1/(2nπ) y
xn = 1/(2nπ + π/2) se verifica que
lı́m (sen(1/xn )) = 0 6= 1 = lı́m (sen(1/x′n )).
n→∞ n→∞
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
120 Límite funcional y continuidad
√
x
Por último en el caso de lı́mx→0 el numerador tiene límite cero
2 + sen(1/x)
y el denominador no tiene límite. A pesar de ello existe el límite buscado y
vale 0 ya que
√ √
x | x|
0≤ ≤ , al ser 1 ≤ 2 + sen(1/x) ≤ 3
2 + sen(1/x) 1
y si √
x
lı́m =0
x→0 2 + sen(1/x)
también es √
x
lı́m =0
x→0 2 + sen(1/x)
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.5 Ejercicios 121
y tenemos que
((1 + x) − 1)((1 + x)n + (1 + x)n−1 + · · · + 1)
lı́m g(x) = lı́m
x→0 x→0 x
= lı́m ((1 + x)n + (1 + x)n−1 + · · · + 1) = n + 1
x→0
debido a que hay n + 1 sumandos cada uno de los cuales tiene límite 1.
3.5.3 ¿Qué se puede decir de una función real continua que sólo toma valores
racionales?
Solución: Sea f : R −→ R continua tal que f (x) ∈ Q para todo x ∈ R.
Como f es continua si existieran x1 , x2 ∈ R de modo, que f (x1 ) < f (x2 ),
entonces, por la propiedad de los valores intermedios, f debe tomar todos
los valores del intervalo [f (x1 ), f (x2 )] pero en ese intervalo hay puntos que
no son racionales y f sólo toma, por hipótesis, valores racionales, por tanto,
es imposible que existan dos puntos en los que el valor de f sea diferente.
Dicho de otro modo, f es constante.
3.5.5 Sea f : (a, b) ⊂ R −→ R una función continua. Pruebe que las siguientes
afirmaciones son equivalentes:
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
122 Límite funcional y continuidad
En consecuencia, lo único que tenemos que probar es que existen los siguien-
tes límites:
lı́m f (x), lı́m f (x).
x→a x→b
Pero como f es uniformemente continua para el ε dado existe δ > 0 tal que
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.5 Ejercicios 123
Ejercicios propuestos
x−2
3.1) Calcule λ = lı́mx−→3 y acote superiormente los números δ > 0 para
2(1 + x)
los que |x − 3| < δ implica
x − 2 1
λ − ≤ .
2(1 + x) 100
3.2) Escriba con todo detalle, en términos de ε-δ y de bolas o entornos, la defini-
ción de cada una de las siguientes afirmaciones (a, L ∈ R):
lı́mx→a f (x) = +∞ lı́mx→a+ f (x) = −∞ lı́mx→a− f (x) = +∞
lı́mx→+∞ f (x) = L lı́mx→+∞ f (x) = +∞ lı́mx→+∞ f (x) = −∞
lı́mx→−∞ f (x) = L lı́mx→−∞ f (x) = +∞ lı́mx→−∞ f (x) = −∞
1
6 sen 1
lı́mx−→0 1 lı́mx−→0 1
x
lı́mx−→ π2 2+2tg x
4+e x e x +1
x+1 √ √
x−1 1+sen x− 1−sen x
lı́mx−→1 x2 −1
lı́mx−→0 x
4
6x 3 +1001x x sen x x−sen x
lı́mx−→∞ 1
x2 +x
lı́mx−→∞ x2 +1
lı́mx−→∞ x+sen x
1001
√ √ √
3 √
3
n ( x3 +1+ 8x3 +2)−3x
lı́mx−→1 m√x−1
x−1
lı́mx−→+∞ x
x lı́mx−→+∞ 2
3.5) Dadas dos funciones reales f y g continuas en x0 . Pruebe que las funciones
M(x) = máx{f (x), g(x)} y m(x) = mı́n{f (x), g(x)} también son continuas
en x0 .
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
124 Límite funcional y continuidad
213
x − sen x − 5 = 0 x7 + = 12.
2 + + sen2 x
x2
3.9) Sean f, g : [a, b] −→ R dos funciones continuas tales que f (a) < g(a) y
g(b) < f (b). Pruebe que la ecuación f (x) = g(x) tiene solución en [a, b].
3.10) Sea f : [0, 1] −→ [0, 1] una función continua. Pruebe que la ecuación f (x) =
x tiene solución en [0, 1].
3.11) Un escalador parte, a la salida del sol, para conquistar la cima de una mon-
taña. Tras varios intentos en que asciende y desciende consigue conquistar
finalmente la cima a la puesta del sol. Pasa la noche en la cumbre y, a la
salida del sol, empieza el descenso por el mismo camino, llegando a la base
también a la puesta del sol. Pruebe que a una misma hora de los dos días se
encontró en la misma altitud.
3.15) Sea f : (a, b) −→ R una función continua tal que existen los límites lı́m+ f (x),
x→a
lı́m− f (x) y son finitos. Demuestre que f es uniformemente continua en (a, b).
x→b
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
3.5 Ejercicios 125
3.20) Si [y] denota la parte entera del número real y, estudie los siguientes límites
[x] 1
lı́m y lı́m x[ ]
x−→0 x x−→0 x
3.21) Sea f : [0, +∞] −→ R una función acotada en cada intervalo acotado de
[0, +∞].
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño
126 Límite funcional y continuidad
3.23) Sea f : [a, b] −→ [a, b] una función continua tal que existe una constante
0 < k < 1 de modo que |f (x) − f (y)| < k|x − y|. Consideramos la sucesión
(xn )n definida a partir de un punto arbitrario x1 ∈ [a, b] por la fórmula
xn+1 = f (xn ). Pruebe que la sucesión (xn )n tiene límite. Si denotamos con
z dicho límite, pruebe que se verifica f (z) = z y que además sólo existe una
solución de la ecuación f (x) = x.
f (x)
3.24) Sea f : (0, ∞) −→ R creciente tal que g(x) = x
sea decreciente. Pruebe
que f es continua.
Análisis Matemático I
J. M. Mira • S. Sánchez-Pedreño