Cálculo diferencial e integral I

Eleonora Catsigeras

Universidad de la República
Montevideo, Uruguay
01 de setiembre de 2011.
CLASE 14 complementaria.
Sobre sucesiones y conjuntos en la recta real.

Sucesiones de Cauchy y sucesiones convergentes. Recordemos la siguiente

definición:
Definición de sucesión de Cauchy
an es una sucesión de Cauchy cuando para todo  > 0 existe N ≥ 1 tal que si n > N
y si m > N entonces |an − am | < .
Definición de sucesión convergente an es convergente cuando existe un número
real L (llamado lı́mite de an ) tal que para todo  > 0 existe N ≥ 1 tal que si n > N
entonces |an − L| < .
Vimos y demostramos que en la recta real toda sucesión de Cauchy es convergente y
recı́procamente, toda sucesión convergente es de Cauchy. (Al final de este complemento
damos otra demostración de esa equivalencia) Para cualquier sucesión de reales ser de
Cauchy es lo mismo que ser convergente, o sea que tener algún lı́mite real.

Conjuntos completos, cerrados, compactos y abiertos en la recta real

Definición 1. Conjunto completo. Un conjunto no vacı́o A de reales se dice que es
completo (el conjunto) cuando toda sucesión an que verifique las siguientes condiciones:
an ∈ A ∀ n ≥ 1 natural
an es una sucesión de Cauchy
satisface que
existe real L = lim an y L es un elemento del conjunto A.
Ya vimos que toda sucesión de Cauchy tiene lı́mite real L, entonces la condición que
importa verificar en esta definición, para que un conjunto A sea completo, es que el lı́mite
L ∈ A, cualquiera sea la sucesión de Cauchy cuyos términos pertenezcan a A. Si todos
los términos an de la sucesión de Cauchy están en A entonces su lı́mite L también está
en A.
Por favor notar que el adjetivo completo se aplica al conjunto, y no a sus sucesiones. Se
usan todas las sucesiones posibles formadas con elementos de A y que sean convergentes,
para decidir si el conjunto A es completo o no lo es. Lo es cuando los lı́mites de todas esas

1
sucesiones pertenecen al conjunto A, y no lo es cuando alguna de esas sucesiones tiene un
lı́mite fuera del conjunto A.
En particular si el conjunto A es toda la recta real A = R, la recta real R es un
conjunto completo, porque toda sucesión de Cauchy es convergente, y por definición de
ser convergente lim an = L ∈ R.
Definición 2. Conjunto cerrado. Un conjunto no vacı́o A se dice que es cerrado
si toda sucesión an que verifique:
an ∈ A ∀ n ≥ 1 natural
an es convergente (es decir existe un real L = lim an )
satisface que
lim an = L es un elemento de A.
Como toda sucesión de reales es de Cauchy si y solo si es convergente, entonces com-
parando la definición 1 con la definición 2, vemos que son la misma: un conjunto A es
completo si y solo si es cerrado. Los adjetivos completo y cerrado (cuando se aplica a
conjuntos de reales) significan lo mismo, son sinónimos.
¿Por qué entonces dar dos definiciones de la mismo? Simplemente porque en la teorı́a
matemática topológica, existen otros espacios, además del conjunto de reales, muy difer-
entes de R, que son llamados en general espacios topológicos (por ejemplo ciertos espacios
vectoriales de dimensión infinita, mientras que la recta real es un espacio vectorial de di-
mensión 1), para los cuales hay sucesiones de Cauchy que no son convergentes. Entonces
en esos otros espacios topológicos un subconjunto puede ser cerrado sin ser completo.
Sin embargo, en este curso, como solo trabajaremos en la recta real R, son sinónimos
los adjetivos completo y cerrado aplicados a cualquier conjunto A no vacı́o de reales. Y
puede por lo tanto usarse indistintamente la definición 1 ó la 2: ambas significan lo mismo,
definen el mismo concepto.
Ejemplos de conjuntos de reales completos o cerrados:
Ejemplo 1.
Sea el intervalo [a, b] = {x ∈ R : a ≤ x ≤ b} donde a < b, llamados extremos del
intervalo [a, b] son reales fijos. El intervalo [a, b] es cerrado o completo: para probarlo
tomemos cualquier sucesión an que cumpla:
an ∈ [a, b] ∀ n ≥ 1, es decir a ≤ an ≤ b para todo n ≥ 1
y tal que existe el real L = lim an . Hay que probar que L ∈ [a, b].
Siendo a ≤ an ≤ b, por la monotonı́a del lı́mite se cumple lim a ≤ lim an ≤ b Como
a y b son reales fijos (constantes), entonces obtenemos lim a = a, lim b = b. Luego de la
monotonı́a del lı́mite deducimos que a ≤ lim an ≤ b, de donde a ≤ L ≤ b. Esto implica
que L ∈ [a, b]. LQQD (esta sigla significa “Lo que querı́amos demostrar”).
Ejemplo 2. Sea el intervalo [a, b) = {x ∈ R : a ≤ x < b} que contiene a su extremo
izquierdo a, pero no contiene a su extremo derecho b. Probemos que no es cerrado (no
completo). Para eso alcanza con encontrar una sucesión particular an que cumpla que
an ∈ [a, b) ∀ n ≥ 1

2
 an sea convergente, es decir exista lim an = L ∈ R
pero L 6∈ [a, b)
Elegimos la sucesión an = b − [(b − a)/n] para todo natural n ≥ 1. Es fácil verificar
que an < b y que an ≥ a para todo n ≥ 1 (se puede verificar gráficamente marcando los
primeros dos o tres términos de la sucesión dentro del intervalo [a, b), y luego demostrar
en general para todo n que la sucesión an es monótona creciente y acotada superiormente
por b). Entonces an ∈ [a, b) para todo n ≥ 1.
Además lim an = lim( b − [(b − a)/n] ) = b − 0 = b, entonces la sucesión es convergente,
pero su lı́mite es b 6∈ [a, b). Ası́ probamos que el intervalo [a, b) no es cerrado o completo.
Ejemplo 3. La semirrecta (−∞, b] = {x ∈ R : x ≤ b} donde b es un real fijo, es
un conjunto cerrado o completo, pues toda sucesión an ∈ (−∞, b] que sea convergente,
verifica an ≤ b. Entonces por la monotonı́a del lı́mite tenemos lim an ≤ lim b. Pero b
es un real fijo (una constante), entonces lim b = b y deducimos que lim an ≤ b. Luego
lim an = L ∈ (−∞, b]. Hemos probado que toda sucesión an convergente de términos
en la semirrecta (−∞, b] tiene su lı́mite que también pertenece a la semirrecta (−∞, b].
Entonces esta semirrecta es cerrada o completa.
Ejemplo 4. La semirrecta (−∞, b) = {x ∈ R : x < b} no es cerrada (no es completa.)
Para probarlo hay que construir una sucesión que sea convergente, y que tenga todos sus
términos an pertenecientes a la semirrecta (−∞, b), pero que su lı́mite no pertenezca a
esa semirrecta. Por ejemplo la sucesión an = b − (1/n) para todo n ≥ 1 natural, satisface
esas condiciones, pues an ∈ (−∞, b) ∀ n ≥ 1, pero lim an = b 6∈ (−∞, b).

Definición 3. Conjunto compacto . Sea un conjunto A no vacı́o de reales. Se

dice que es compacto si es cerrado y acotado (acotado significa acotado superiormente
e inferiormente a la vez). Por ejemplo el intervalo [a, b] es compacto. Pero el intervalo
[a, b) no es compacto porque si bien es acotado, no es cerrado. Y el intervalo (−∞, b] (la
semirrecta también se dice que es un intervalo), no es compacto porque si bien es cerrado,
no es acotado (tiene cota superior, pero no tiene cota inferior, entonces no es acotado).

Definición 4. Conjunto abierto. Un conjunto A no vacı́o de reales se dice que es

abierto, si para todo x0 ∈ A existe algún entorno E de centro en x0 y radio adecuado δ
de modo que E ⊂ A. Dicho de otra forma, todo punto del conjunto A está inmerso en
una vecindad suya E, toda contenida en A. Por ejemplo
el intervalo (a, b) = {x ∈ R : a < x < b} es abierto.
el intervalo [a, b) = {x ∈ R : a ≤ x < b} no es abierto, pues el punto a ∈ [a, b) pero
para ese punto a no existe ningún entorno E con centro en a de modo que E ⊂ [a, b). En
efecto, todo entorno E de a contiene un semientorno izquierdo (a la izquierda de a) que
está fuera del intervalo [a, b). Entonces E no puede estar contenido en A.
Ası́ vemos que el intervalo [a, b) no es ni cerrado ni abierto. En matemática cerrado y
abierto no son opuestos (no son adjetivos antagónicos).
Además el conjunto A formado por todos los reales es cerrado (porque es completo
que es lo mismo), y es abierto también, a la vez.

3
 Por convención el conjunto vacı́o también se dice que es abierto y es cerrado a la vez.
También por convención el conjunto vacı́o se dice que es compacto.
Las definiciones 2 y 4 de cerrado y abierto, parece que no tienen nada que ver entre
sı́. Sin embargo, el siguiente teorema relaciona los conceptos de abierto y cerrado para
conjuntos:

Teorema A es un conjunto cerrado si y solo si su complemento Ac = {x ∈ R : x 6∈ A}

es abierto.
Este teorema es la base de la topologı́a (una rama de la matemática).
Por ejemplo, vimos que el intervalo [a, b] es cerrado. Entonces su complemento, for-
mado por la unión de las semirrectas (−∞, a) con (b, +∞) es abierto.
La semirrecta (−∞, b) es abierta. Entonces su complemento, que es la semirrecta
[b, +∞) es cerrada.
Otros teoremas importantes de la teorı́a topológica son los siguientes:
La unión de dos conjuntos abiertos es abierta, de dos conjuntos cerrados es cerrada,
de dos conjuntos compactos es compacta.
La intersección de dos conjuntos abiertos es abierta, de dos conjuntos cerrados es
cerrada, de dos conjuntos compactos es compacta.
En la recta real, los únicos conjuntos que son a la vez abiertos y cerrados son toda la
recta real, y el conjunto vacı́o.

Demostración del teorema de Bolzano Weierstrass para sucesiones de reales

por el método de las cumbres
Definición 5. Puntos cumbre de una sucesión. Sea an una sucesión de reales.
Decimos que el término am de la sucesion es un punto cumbre si am ≥ an ∀ n > m.
Significa que no aparecerán después del término m-ésimo que es am , otros términos de la
sucesión que sean mayores estrictamente que am . Significa que am = sup{an : n ≥ m}.
Dada una sucesión an pueden ocurrir tres situaciones:
Caso 1: La sucesión no tiene puntos cumbres. Por ejemplo an = 2 − 1/n. Es
monótona creciente estrictamente, entonces ningún punto es cumbre. Otro ejemplo an =
2 − 1/n si n es par, an = 4 − 1/n si n es impar. No es monótona creciente, porque después
del término an ≥ 3 que aparece en el instante n impar, aparece un término an ≤ 2 en el
instante n par. Sin embargo ningún punto es punto cumbre, pues an < an+2 para todo
natural n ≥ 1.
Caso 2: La sucesión tiene puntos cumbres, pero solo aparecen en una cantidad finita
de instantes n. Por ejemplo an definida ası́ a1 = 5, a2 = 1, a3 = 3, a4 = 0, an = 2 − 1/n
si n ≥ 5. En esta sucesión los únicos puntos cumbres son a1 y a3 .
Caso 3: La sucesión tiene puntos cumbres en infinitos instantes n: más precisamente,
hay infinitos instantes ni tales que ani son puntos cumbres. Por ejemplo an = 1/n.
Todos los puntos son puntos cumbre porque la sucesión es decreciente. Otro ejemplo

4
no decreciente en que hay infinitos puntos cumbres es an = 1 + 1/n si n es impar y
an = 4 + 1/n si n es par. Todos los an que aparecen en los instantes n pares, son puntos
cumbre. Los que aparecen en los instantes n impares no lo son.
Teorema de Bolzano-Weierstrass para sucesiones de reales.
Si an es una sucesión acotada de reales, entonces existe alguna subsucesión bj = anj
de ella, que es convergente.
Demostración usando el método de las cumbres.
Discutimos según la sucesión dada an pertenezca al caso 1, 2 ó 3, descriptos antes.
1er. caso: an no tiene puntos cumbres. Entonces tomamos n1 = 1 y usamos que a1
no es punto cumbre. Por definición de punto cumbre, a1 no es mayor o igual que an para
todo n > 1. Entonces existe n2 > 1 tal que a1 < an2 .
(A) Obtuvimos n2 > n1 tal que an1 < an2 .
an2 tampoco es punto cumbre. Entonces por definición de punto cumbre, an2 no es
mayor o igual que an para todo n > n2 . Es decir, existe n3 > n2 tal que an2 < an3 .
Obtuvimos n3 > n2 > n1 tal que an2 < an3 .
Por inducción completa, probemos la siguiente proposición:
Hipótesis de inducción: tenemos ni > ni−1 > . . . > n1 tales que ani−1 < ani . Tesis de
inducción a probar: existe ni+1 > ni > . . . > n1 tal que ani < ani+1 .
Demostración de la proposición de inducción completa: Como ani no es punto cumbre,
ani no es mayor o igual que an para todo n > ni . Entonces existe ni+1 > ni tal que
ani < ani+1 . Esto prueba la tesis de inducción.
Entonces por inducción completa, para todo natural i tenemos ni tal que cumple
n1 < n2 < . . . < ni < ni+1 < . . .
ani < ani+1 (B)
La subsucesión bi = ani es monótona creciente por (B), y es acotada, porque toda
la sucesión an era acotada. Ya sabemos que las sucesiones monótonas acotadas, son
convergentes. Entonces la subsucesión bi que encontramos es convergente, probando el
teorema de Bolzano Weierstrass en el 1er. caso.
2do. caso: an presenta puntos cumbres solo en una cantidad finita de instantes. Sea
an0 el último de los puntos cumbres (el que aparece en el instante n0 más tarde posible,
después del cual no hay más puntos cumbre). Denotemos n1 = 1 + n0 . El término an1 es
el que aparece en el instante siguiente, y no es punto cumbre. Entonces por definición de
punto cumbre an1 no es mayor o igual que an para todo n > n1 . Esto significa que existe
n2 > n1 tal que an1 < an2 .
(A) Obtuvimos n2 > n1 tal que an1 < an2 . Ahora la prueba sigue exactamente, sin
ningún cambio, desde la afirmación (A) en el primer caso, hasta concluir que existe una
subsucesión bi = ani convergente, probando el teorema de Bolzano-Weierstrass en el 2do.
caso.
3er. caso: an presenta puntos cumbres en infinitos instantes n1 < n2 < n3 . . . < ni <
ni+1 < . . . siendo ani el i−ésimo punto cumbre de la sucesión an . Por definición de punto

5
cumbre ani ≥ an para todo n > ni . En particular para n = ni+1 se cumple ani ≥ ani+1 .
Consideremos la subsucesión bi = ani . Por construcción quedó bi ≥ bi+1 . Entonces es una
subsucesión monótona decreciente. Como es una subsucesión de an y toda la sucesión an
es acotada, por hipótesis, resulta que la subsucesión bi es acotada. Ya demostramos que
las sucesiones de reales monótonas y acotadas son convergentes. Entonces encontramos
una subsucesión convergente, probando el teorema de Bolzano-Weierstrass en el 3er. caso.
LQQD

Demostración del siguiente Teorema de Completitud, usando el Teorema

de Bolzano Weierstrass para sucesiones de reales:
Teorema de Completitud para sucesiones de reales.
Toda sucesión de Cauchy de reales es convergente y recı́procamente.
Directo del Teorema de Completitud
Hipótesis: an es convergente Tesis a probar: an es una sucesión de Cauchy.
Dem. del Directo: Sea  > 0 (cualquiera pero fijo).
an es convergente ⇒ ∃ L ∈ R L = lim an ⇒ (por definición de lı́mite):
∀ 0 > 0 ∃ N ≥ 1 tal que si n > N entonces |an − L| < 0 .
Sabemos que vale lo anterior para todo 0 > 0. Entonces en particular vale cuando
0
 = /2.
Si tomamos n > N y m > N entonces |an −L| < 0 = /2, |am −L| < 0 = /2 (I)
Por separado, aplicando la propiedad triangular del valor absoluto, tenemos:
|an − am | = |(an − L) + (L − am )| ≤ |an − L| + |L − am | = |an − L| + |am − L| (II)
Juntando (II) con (I) obtenemos:
Si n > N y m > N entonces |an − am | ≤ |an − L| + |am − L| < (/2) + (/2) = 
Hemos probado que para todo  > 0 existe N tal que si n > N y si m > N entonces
|an − am | < . Esta es la definición de que an es una sucesión de Cauchy. LQQD el
Directo.
Antes de probar el Recı́proco del Teorema de Completitud, probemos el siguiente
Lema:
Lema Si an es una sucesión de Cauchy, entonces an es acotada.
Dem. del lema Por definición de sucesión de Cauchy, para todo  > 0 existe N tal
que si n > N y si m > N entonces |an − am | < .
Sabemos que eso es cierto para todo  > 0. Entonces en particular es cierto cuando
 = 1. Deducimos que si n > N , tomando m = N + 1 se cumple |an − aN +1 | < 1 ∀ n > N
Entonces aN +1 − 1 < an < aN +1 + 1 ∀ n > N (P)
Observar que en la afirmación (P) el número natural N está fijo, y por lo tanto el
número real aN +1 está fijo. En cambio el número natural n es variable mayor que N , y
por lo tanto el número real an es variable tomando todos los valores de la sucesión dada
que aparezcan después del instante N .

6
 Por separado, tomamos M1 = max{a1 , a2 , a3 , . . . , aN }. Ese número M1 existe, porque
es el mayor de los elementos de un conjunto que tiene una cantidad finita de elementos.
Análogamente, tomamos M2 = min{a1 , a2 , a3 , . . . , aN }. Ese número M2 existe porque es
el menor de los elementos de un conjunto que tiene una cantidad finita de elementos.
Tenemos M2 ≤ an ≤ M1 ∀ n = 1, 2, 3, . . . , N (Q)
La afirmación (P) acota algunos términos de la sucesión an , precisamente los que apare-
cen después del instante N . La afirmación (Q) acota los demás términos de la sucesión
an , precisamente los que aparecieron antes o hasta el instante N inclusive. Entonces el
mayor real entre M1 y aN +1 + 1, acota superiormente a todos los términos de an a la vez,
y el menor real entre M2 y aN +1 − 1, acota inferiormente a todos los términos de an a
la vez. Hemos probado que la sucesión an está acotada (superiormente e inferiormente).
LQQD el Lema.

Recı́proco del Teorema de Completitud

Hipótesis: an es una sucesión de Cauchy.
Tesis a probar: an es convergente, es decir existe L ∈ R tal que L = lim an .
Dem. del Recı́proco: Sea  > 0 cualquiera pero fijo.
Por hipótesis an es una sucesión de Cauchy. Por el Lema es una sucesión acotada. Por
el teorema de Bolzano Weierstrass existe una subsucesión bi = ani que es convergente.
Por definición de convergencia de una sucesión, existe L ∈ R tal que L = lim bi . Por
definición de lı́mite de la sucesión bi :
Para todo 0 > 0 existe N 0 tal que si i > N 0 entonces |bi − L| < 0 .
Como sabemos que lo anterior vale para todo 0 > 0, en particular vale para 0 = /2:
Existe N 0 tal que si i > N 0 entonces |bi − L| < /2.
Siendo bi = ani , y ni ≥ i (como en toda subsucesión), obtenemos lo siguiente:
Si i > N 0 entonces |ani − L| < /2 (V) Además ni ≥ i (VI)
Por hipótesis an es una sucesión de Cauchy. Por definición de sucesión de Cauchy,
para todo 00 > 0 existe N tal que si n > N y si m > N entonces |an − am | < 00 .
Como sabemos lo anterior para todo 00 > 0, en particular vale para 00 = /2:
Existe N tal que si n > N y si m > N entonces |an − am | < /2. (VII)
Elegimos y dejamos fijo un número natural i que sea a la vez mayor que N 0 y que N .
Al tener fijo i tenemos fijo ni y tenemos fijo ani . Usando la afirmación (VI) se cumple
ni ≥ i > N . Resulta ni > N . Usando la afirmación (VII) con m = ni deducimos que
si n > N entonces |an − ani | < /2 (VIII)
Por separado usamos la propiedad triangular:
|an − L| = |(an − ani ) + (ani − L)| ≤ |an − ani | + |ani − L| ⇒
|an − L| ≤ |an − ani | + |ani − L| (IX)
Ahora juntamos la desigualdad (IX) con (VIII) y con (V):
Si n > N entonces |an − L| ≤ |an − ani | + |ani − L| < (/2) + (/2) = 
Hemos probado que para todo  > 0 existe N tal que si n > N entonces |an − L| < .
Esto es la definición de lim an = L. LQQD el recı́proco del teorema de completitud.