Está en la página 1de 212

Algebra y

Análisis II

Javier Trejos

Supuestos

Los Números Algebra y Análisis II


Reales

Sucesiones y
Series
Numéricas
Conceptos
Javier Trejos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Escuela de Matemática – CIMPA
Sucesiones de
Cauchy Universidad de Costa Rica
Series 2012
Expansiones

Equipotencia

Las Funciones
exp y log
Tabla de Contenidos

Algebra y
Análisis II
1 Supuestos
Javier Trejos 2 Los Números Reales
Supuestos 3 Sucesiones y Series Numéricas
Los Números Conceptos Básicos
Reales
Convergencia
Sucesiones y
Series Tópicos adicionales
Numéricas
Conceptos
Básicos
Subsucesiones
Convergencia
Tópicos
Puntos Lı́mite
adicionales
Subsucesiones
El lim sup
Puntos Lı́mite
El lim sup
Sucesiones de Cauchy
Sucesiones de
Cauchy 4 Series
Series

Expansiones
5 Expansiones
Equipotencia 6 Equipotencia
Las Funciones
exp y log
7 Las Funciones exp y log
Lógica
Lo que se debe saber de lógica proposicional

Algebra y
Análisis II Conectivas y tablas de verdad
Javier Trejos
p q p ∧ q p ∨ q p∨q p ⇒ q p ⇔ q
Supuestos
1 1 1 1 0 1 1
Los Números
Reales 1 0 0 1 1 0 0
Sucesiones y 0 1 0 1 1 1 0
Series
Numéricas 0 0 0 0 0 1 1
Conceptos
Básicos
Convergencia
Tópicos
Equivalencias lógicas
adicionales
Subsucesiones ¬(¬p) ⇔ p
Puntos Lı́mite
El lim sup
p ⇒ q ⇔ ¬p ∧ q
Sucesiones de
Cauchy
p ⇒ q ⇔ ¬q ⇒ ¬p (contrapositiva)
Series asociatividad, conmutatividad, distributividad
Expansiones
¬(p ∨ q) ≡ ¬p ∧ ¬q, ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan)
Equipotencia Reglas de inferencia: p1 ∧ p2 ∧ . . . ∧ pn =⇒ q
Las Funciones
exp y log Cuantificadores: ∀, ∃, ∃!
Conjuntos
Lo que se debe saber sobre teorı́a de conjuntos

Algebra y
Análisis II

Javier Trejos
Conjuntos A, B, . . .; elementos x, y, z, . . .; pertenencia
x∈A
Supuestos

Los Números
A = B ≡ ∀x : x ∈ A ⇔ x ∈ B
Reales
Conjunto vacı́o ∅
Sucesiones y
Series
Numéricas
Relaciones entre conjuntos: inclusión A ⊂ B
Conceptos
Básicos
Operaciones con conjuntos
Convergencia
Tópicos Unión A ∪ B = {x/x ∈ A ∨ x ∈ B}
adicionales
Subsucesiones Intersección A ∩ B = {x/x ∈ A ∧ x ∈ B}
Puntos Lı́mite
El lim sup
Diferencia A − B = {x/x ∈ A ∧ x 6∈ B}
Sucesiones de
Cauchy
Complemento A = U − A = {x/x 6∈ A} (U universo)
S
Familias de conjuntos S∈C {x/∃S ∈ C : x ∈ S},
Series
T
S∈C {x/∀S ∈ C : x ∈ S}
Expansiones

Equipotencia
Producto cartesiano A × B = {(a, b)/a ∈ A ∧ b ∈ B)}
Las Funciones
exp y log
Relaciones
Lo que se debe saber sobre relaciones

Algebra y
Análisis II

Javier Trejos Relaciones binarias, representación gráfica


R = (A, B, R) con R ⊂ A × B
Supuestos
Reflexiva: ∀x ∈ A : xRx
Los Números
Reales Simétrica: ∀x, y ∈ A : xRy =⇒ yRx
Sucesiones y Antisimétrica: si xRy ∧ yRx ⇒ x = y
Series
Numéricas
Transitiva: ∀x, y, z ∈ A : xRy ∧ yRz ⇒ xRz
Conceptos
Básicos Relaciones de orden: reflexiva, antisimétrica, transitiva
Convergencia
Tópicos
adicionales Orden total, orden parcial, conjunto acotado
Subsucesiones
Puntos Lı́mite (superiormente, inferiormente)
El lim sup
Sucesiones de
Cauchy
Relaciones de equivalencia: reflexiva, simétrica, transitiva
Series Clases de equivalencia, conjunto cociente
Expansiones Clases de equivalencia
Equipotencia Conjunto cociente
Las Funciones
exp y log
Funciones
Lo que se debe saber sobre funciones

Algebra y
Análisis II

Javier Trejos
Funciones: f : A −→ B ó (A, B, f ) tal que si x ∈ A existe
Supuestos un único b ∈ B tal que f (a) = b ó (a, b) ∈ f
Los Números
Reales
Dominio, codominio; conjunto imagen
Sucesiones y Función constante f (x) = c, identidad f (x) = x
Series
Numéricas Composición: f : A −→ B, g : B −→ C,
Conceptos
Básicos
Convergencia
g ◦ f (x) = g(f (x))
Tópicos
adicionales Funciones inyectivas f (x) = f (y) ⇒ x = y
Subsucesiones
Puntos Lı́mite
El lim sup Funciones sobreyectivas ∀y ∈ B, ∃x ∈ A : f (x) = y
Sucesiones de
Cauchy
Funciones biyectivas: inyectiva y sobreyectiva
Series

Expansiones
Funciones inversas: si f es biyectiva entonces f −1 (y) = x
Equipotencia
si f (x) = y. Entonces f ◦ f −1 = idB y f −1 ◦ f = idA
Las Funciones
exp y log
El Principio de Inducción
Lo que se debe saber sobre inducción matemática

Algebra y
Análisis II

Javier Trejos N = {0, 1, 2, 3, 4, . . .}: conjunto de números naturales


Supuestos
El principio de inducción: una proposición es válida en
Los Números
todo N si
Reales es válida para un primer natural, por ejemplo 0
Sucesiones y si es válida para n entonces también lo es para n + 1
Series
Numéricas Definiciones por recurrencia
Conceptos
Básicos 1
X n+1
X n
X
Convergencia
Tópicos Sumatorias: xi = x1 , xi = xi + xn+1
adicionales
Subsucesiones i=1 i=1 i=1
Puntos Lı́mite Factoriales: 0! = 1, (n + 1)! = (n + 1) · n!
El lim sup
Sucesiones de
Cauchy
Potencias: a0 = 1, an+1 = a · an
Y1 n+1
Y Yn
Series
Productoria: xi = x1 , xi = xi × xn+1
Expansiones
i=1 i=1 i=1
Equipotencia
Segundo principio de inducción matemática
Las Funciones
exp y log
Combinatoria Básica
Lo que se debe saber de combintoria

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Reales
Número de funciones: |F (k, n)| = nk
n!
Sucesiones y Número de funciones inyectivas: |I(k, n)| = (n−k)!
Series
Numéricas
Conceptos
Permutaciones o número de biyecciones: |B(n, n)| = n!
Básicos  
Convergencia n n!
Tópicos Combinaciones: =
adicionales
Subsucesiones
k k!(n − k)!
Puntos Lı́mite
El lim sup Principio del conteo
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Lo que se debe saber sobre números naturales

Algebra y
Análisis II Conceptos primitivos
Javier Trejos 1 Existe un conjunto N
2 Existe el cero, denotado 0
Supuestos
3 Existe una función llamada “siguiente”, denotada sig
Los Números
Reales Axiomas de Peano
Sucesiones y
Series
1 0 ∈ N.
Numéricas 2 Si n ∈ N, existe un único m ∈ N tal que m = sig(n).
Conceptos
Básicos 3 Para todo n ∈ N, sig(n) 6= 0.
Convergencia
Tópicos 4 Si sig(n) = sig(m) entonces n = m.
adicionales
Subsucesiones
5 Si A ⊂ N y verifica:
Puntos Lı́mite
El lim sup
i) 0 ∈ A,
Sucesiones de
Cauchy
ii) n ∈ A ⇒ sig(n) ∈ A;
Series entonces A = N.
Expansiones Operaciones con números naturales: +, ×
Equipotencia
Orden en N
Las Funciones
exp y log Bases de numeración
Números Enteros
Lo que se debe saber sobre Z

Algebra y
Análisis II Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}
Javier Trejos Divisibilidad: sean a, b ∈ Z con a 6= 0, a|b si
∃k ∈ Z : ak = b
Supuestos

Los Números
Números primos: a es primo si sus únicos divisores son
Reales a, −a, 1, −1
Sucesiones y
Series
Algoritmo de la división Euclı́dea: sean a, b ∈ Z con b > 0,
Numéricas entonces ∃!q, r ∈ Z : a = bq + r con 0 ≤ r < b
Conceptos
Básicos
Convergencia
Máximo común divisor (a, b)
Tópicos
adicionales Mı́nimo común múltiplo [a, b]
Subsucesiones
Puntos Lı́mite Teorema Fundamental de la Aritmética: todo número
El lim sup
Sucesiones de entero se puede escribir de manera única como producto
Cauchy

Series
de números primos
Expansiones Construcción de Z usando la relación de equivalencia en
Equipotencia N × N: (a, b) ∼ (c, d) ⇔ a + d = b + c
Las Funciones Operaciones en Z: + y ×
exp y log
Orden en Z: a ≤ b ⇔ ∃c ∈ N : a + c = b
Números Racionales
Lo que se debe saber sobre Q

Algebra y
Análisis II

Javier Trejos
p
Supuestos
Fracciones: x = q es solución de la ecuación q · x = p, con
Los Números p, q ∈ Z, q 6= 0
Reales
Construcción de Q usando la relación de equivalencia en
Sucesiones y
Series Z × Z∗ : (a, b) ∼ (c, d) ⇔ a · d = b · c
Numéricas
a c ad+bc a c ac
Conceptos
Básicos
Operaciones en Q: b + d = bd y b · d = bd
Convergencia
Tópicos
adicionales
Orden en Q
Subsucesiones
Puntos Lı́mite
Veremos en este curso:
El lim sup
Sucesiones de Incompletitud de Q en R
Cauchy
Axioma del extremo superior
Series
Densidad de Q en R
Expansiones

Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Incompletitud de Q

Algebra y
Análisis II No existe un número racional cuyo cuadrado sea 2.
Javier Trejos Teorema de Pitágoras: lleva a ilustrar la incompletitud
geométrica de Q ya que no se puede “llenar” la recta
Supuestos

Los Números
numérica solamente con números racionales
Reales Expansiones decimales: los racionales tienen expansión
Sucesiones y
Series
finita o infinita numerable; no es el caso de
Numéricas
Conceptos 0.0100100010000100000 . . . y 0.53353535553535553533 . . .
Básicos
Convergencia
Tópicos
adicionales
Versión analı́tica
Subsucesiones
Puntos Lı́mite Ejemplo
El lim sup
Sucesiones de
Cauchy P = 3 ∈ Q divide A = {x ∈ Q : x < 3} y B = {x ∈ Q : x > 3}
Series

Expansiones Ejemplo
Equipotencia
No existe P ∈ Q que divida A = Q− ∪ {x ∈ Q+ : x2 < 2} y
Las Funciones
exp y log B = {x ∈ Q+ : x2 > 2}
El Paso de los Racionales a los Reales
Axiomatización de los números reales

Algebra y
Análisis II
Se asume la existencia de un conjunto R provisto de dos
Javier Trejos operaciones internas + y ·, y un orden ≤, que cumplen tres
grupos de axiomas:
Supuestos
Axiomas de campo
Los Números
Reales 1 La suma es cerrada
Sucesiones y 2 Si a, b ∈ R entonces a + b = b + a (conmutativa)
Series
Numéricas
3 Si a, b, c ∈ R entonces a + (b + c) = (a + b) + c (asociativa)
Conceptos
Básicos
4 ∃0 ∈ R tal que ∀a ∈ R : a + 0 = 0 + a = a (neutro)
Convergencia 5 ∀a ∈ R, ∃ − a ∈ R: a + (−a) = (−a) + a = 0 (inverso)
Tópicos
adicionales 6 La multiplicación es cerrada
Subsucesiones
Puntos Lı́mite 7 Si a, b ∈ R entonces a · b = b · a (conmutativa)
El lim sup
Sucesiones de 8 Si a, b, c ∈ R entonces a · (b · c) = (a · b) · c (asociativa)
Cauchy
9 ∃1 ∈ R, 1 6= 0, tal que ∀a ∈ R : a · 1 = 1 · a = a (neutro)
Series
10 ∀a ∈ R, a 6= 0, ∃a−1 ∈ R: a · a−1 = a−1 · a = 1 (inverso)
Expansiones
11 ∀a, b, c ∈ R : (a + b) · c) = a · c + b · c (distributividad)
Equipotencia

Las Funciones
Axiomas de orden
exp y log Axioma del extremo superior
El Paso de los Racionales a los Reales
Propiedades básicas

Algebra y
Análisis II Teorema
Javier Trejos
Los elementos 0 y 1 son únicos.
Supuestos

Los Números
Reales
Teorema (Leyes de cancelación)
Sucesiones y Sean a, b, c ∈ R: si a + c = b + c entonces a = b.
Series
Numéricas Sean a, b, c ∈ R, c 6= 0: si a · c = b · c entonces a = b.
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Teorema
Subsucesiones
Puntos Lı́mite Sean a, b ∈ R, entonces ∃!x ∈ R tal que x + a = b.
El lim sup
Sucesiones de
Cauchy
Sean a, b ∈ R, b 6= 0, entonces ∃!y ∈ R tal que ay = b.
Series

Expansiones Teorema
Equipotencia ∀a, b ∈ R: −(−a) = a, −(a + b) = (−a) + (−b).
Las Funciones
exp y log
∀a, b ∈ R∗ : (a−1 )−1 = a, (ab)−1 = a−1 b−1 .
El Paso de los Racionales a los Reales
Propiedades básicas

Algebra y
Análisis II

Javier Trejos Teorema (Propiedad absorbente del cero)


Supuestos ∀a ∈ R : a · 0 = 0 · a = 0.
Los Números
Reales

Sucesiones y
Teorema
Series
Numéricas Sean a, b ∈ R: a · b = 0 ⇔ a = 0 ∨ b = 0.
Conceptos
Básicos
Convergencia
Tópicos Teorema (Leyes de signos)
adicionales
Subsucesiones
Puntos Lı́mite Sean a, b ∈ R. Entonces:
El lim sup
Sucesiones de
Cauchy a(−b) = −(ab).
Series
(−a)b = −(ab).
Expansiones

Equipotencia
(−a)(−b) = ab.
Las Funciones
exp y log
El Paso de los Racionales a los Reales
Cálculo de cocientes

Algebra y
a
Análisis II
Si a, b ∈ R, b 6= 0, se escribe ab−1 = .
Javier Trejos b
Supuestos Teorema
Los Números
Reales Sean a, b, c, d ∈ R, b 6= 0 6= d. Entonces
Sucesiones y
Series a c ac a c ad + bc
Numéricas · = , + = .
Conceptos b d bd b d bd
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite Teorema
El lim sup
Sucesiones de
Cauchy
Sean a, b ∈ R con b 6= 0. Entonces
Series
a
Expansiones = 0 ⇔ a = 0.
b
Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Axiomatización de los números reales

Algebra y
Análisis II

Javier Trejos Axiomas de orden. Se acepta la existencia de un conjunto


Supuestos
P ⊂ R (los reales positivos) tal que
Los Números
1 Si a ∈ P y b ∈ P entonces a + b ∈ P
Reales 2 Si a ∈ P y b ∈ P entonces a · b ∈ P
Sucesiones y 3 Si a ∈ R, a 6= 0 entonces a ∈ P ó −a ∈ P . Además 0 6∈ P .
Series
Numéricas
Conceptos
Se define R+ = P ∪ {0}.
Básicos
Convergencia Propiedades del orden
Tópicos
adicionales
Subsucesiones Notación: a > b ⇔ a − b ∈ P ; b < a ⇔ a > b;
Puntos Lı́mite
El lim sup
Sucesiones de
a ≥ b ⇔ (a > b ∨ a = b); b ≤ a ⇔ a ≥ b
Cauchy

Series
Falta: Axioma del extremo superior o de completitud:
Expansiones
todo subconjunto de R acotado superiormente posee un
Equipotencia supremo en R
Las Funciones
exp y log
El Paso de los Racionales a los Reales
Propiedades del Orden

Algebra y
Análisis II 13. Si a ∈ R entonces a y −a no pueden ser ambos positivos.
Javier Trejos
14. 1 > 0.
Supuestos 15. ≤ es un orden total.
Los Números
Reales 16. Si a, b, c ∈ R entonces a ≥ b ⇔ a + c ≥ b + c.
Sucesiones y
Series
17. Si a, b, c ∈ Rc > 0 entonces a ≥ b ⇔ ac ≥ bc.
Numéricas 18. Si a, b, c ∈ R entonces
Conceptos
Básicos
Convergencia
Si a > 0, b < 0 entonces ab < 0.
Tópicos
adicionales
Si a < 0, b < 0 entonces ab > 0.
Subsucesiones
Puntos Lı́mite 19. Si a ≤ b, c < 0 entonces bc ≤ ac.
El lim sup
Sucesiones de
Cauchy
20. Sean a, b, c ∈ R. Entonces
Series 1 a > 0 ⇒ a−1 > 0.
Expansiones
2 a > b > 0 ⇒ 1b > a1 .
Equipotencia
3 a2 + b2 ≥ 2ab.
Las Funciones
4 a > 1 ⇒ a2 > a.
exp y log 5 0 < a < 1 ⇒ a > a2 .
El Paso de los Racionales a los Reales
Intervalos

Algebra y
Análisis II
Sean a, b ∈ R. Son casos de intervalos:
Javier Trejos
]a, b[ = {x ∈ R : a < x < b}
Supuestos [a, b] = {x ∈ R : a ≤ x ≤ b}
Los Números
Reales [a, b[ = {x ∈ R : a ≤ x < b}
Sucesiones y
Series
]a, b] = {x ∈ R : a < x ≤ b}
Numéricas
Conceptos ]a, +∞[ = {x ∈ R : x > a}
Básicos
Convergencia
Tópicos
[a, +∞[ = {x ∈ R : x ≥ a}
adicionales
Subsucesiones ] − ∞, a] = {x ∈ R : x ≤ a}
Puntos Lı́mite
El lim sup
Sucesiones de ] − ∞, a[ = {x ∈ R : x < a}
Cauchy

Series I ⊂ R es un intervalo si ∀x, y ∈ I, x ≤ y se tiene [x, y] ⊆ I.


Expansiones
A = [2, 3[∪{5} no es un intervalo.
Equipotencia

Las Funciones
R∗ no es un intervalo.
exp y log A = {x ∈ R+ : x2 > 2} sı́ es un intervalo.
El Paso de los Racionales a los Reales
Valor Absoluto

Algebra y
Análisis II

Javier Trejos |x| es el mayor valor entre x y −x:


Supuestos
|x| = max(x, −x).
Los Números
Reales

Sucesiones y |x − y| es la distancia entre los puntos x y y


Series
Numéricas |x| = |y| ⇔ (x = y ∨ x = −y).
Conceptos
Básicos
Convergencia
21. ∀x ∈ R : −|x| ≤ x ≤ |x|
Tópicos
adicionales
Subsucesiones
22. Si a ≥ 0 entonces |x| ≤ a ⇔ −a ≤ x ≤ a.
Puntos Lı́mite
El lim sup 23. Para a, b ∈ R, a2 < b2 ⇔ |a| < |b|.
Sucesiones de
Cauchy Si x, y ∈ R, se cumple:
Series
1 |x| = 0 ⇔ x = 0.
Expansiones
2 |xy| = |x||y|.
Equipotencia
3 |x + y| ≤ |x| + |y|.
Las Funciones
exp y log
El Paso de los Racionales a los Reales
Una copia de Q

Algebra y
Análisis II Un conjunto A es inductivo si
Javier Trejos (a) 0 ∈ A.
(b) x ∈ A ⇒ x + 1 ∈ A.
Supuestos
Sea I el conjunto de todos los subconjuntos inductivos de
Los Números
Reales R.
T
Sucesiones y
Series
N es el menor subconjunto inductivo de R: N = A∈I A.
Numéricas
Conceptos
Para este N se cumplen los axiomas de Peano, por lo
Básicos
Convergencia tanto es el mismo N conocido de cursos anteriores
Tópicos
adicionales Z = {x ∈ R : |x| ∈ N} = {n − m : n, m ∈ N}. Se
Subsucesiones
Puntos Lı́mite cumplen los axiomas de anillo de Z, por lo tanto es el
El lim sup
Sucesiones de mismo Z construido en cursos anteriores.
Cauchy
a
Series Q = { : a ∈ Z, b ∈ Z∗ }.
Expansiones
b
Las operaciones de R son cerradas en Q.
Equipotencia
Q cumple los axiomas de campo y de orden. Luego es el
Las Funciones
exp y log mismo Q ya conocido.
El Paso de los Racionales a los Reales
Completitud de R

Algebra y
Análisis II

Javier Trejos
Recta numérica
Supuestos

Los Números
Conjuntos acotados superiormente.
Reales
Extremo superior.
Sucesiones y
Series Axioma del Extremo Superior: Sea A ⊂ R, A 6= ∅,
Numéricas
Conceptos
Básicos
acotado superiormente. Entonces existe el extremo
Convergencia
Tópicos
superior de A.
adicionales
Subsucesiones Consecuencias de la completitud de R.
Puntos Lı́mite
El lim sup
Sucesiones de
Existencia de la raı́z cuadrada.
Cauchy

Series
Los números irracionales.
Expansiones Caso general de raı́ces.
Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Completitud de R

Algebra y
Análisis II Definición
Javier Trejos
A ⊂ R está acotado superiormente si
Supuestos ∃b ∈ R, ∀x ∈ A : x ≤ b. Se dice que b es una cota superior de
Los Números A.
Reales

Sucesiones y
Series Definición
Numéricas
Conceptos
Básicos
Sea A acotado superiormente, A 6= ∅. Entonces β ∈ R es un
Convergencia
Tópicos
extremo superior o supremo de A si:
adicionales
Subsucesiones
Puntos Lı́mite
1 β es cota superior de A,
El lim sup
Sucesiones de 2 ∀b ∈ R cota superior de A, se tiene β ≤ b.
Cauchy

Series

Expansiones Axioma
Equipotencia
Sea A un subconjunto no vacı́o de R, acotado superiormente.
Las Funciones
exp y log Entonces existe el extremo superior de A.
El Paso de los Racionales a los Reales
Completitud de R

Algebra y
Análisis II

Javier Trejos
Ejemplos:
Supuestos
A = [1, 3] ∪ {7}, β = 7 es cota superior y el supremo.
Los Números
Reales A = [0, 1], α = 1 es cota superior. sup A = 1.
Sucesiones y
Series A = {x ∈ R : x < α} es acotado sup., α = sup A.
Numéricas
Conceptos
Básicos
Convergencia
Teorema (25)
Tópicos
adicionales
Subsucesiones
Sea A ⊂ R, A 6= ∅, sea α ∈ R. Entonces α = sup A si y sólo
Puntos Lı́mite
El lim sup
si:
Sucesiones de
Cauchy (a) x ≤ α para cada x ∈ A.
Series
(b) ∀ǫ > 0, ∃x ∈ A : α − ǫ < x.
Expansiones

Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Completitud de R

Algebra y
Análisis II

Javier Trejos
Definición

Supuestos
Se llama extremo inferior o ı́nfimo de un conjunto A ⊂ R, a
Los Números
la mayor de sus cotas inferiores. Se denota inf A.
Reales

Sucesiones y
Series
Teorema (26)
Numéricas
Conceptos
Básicos
Si A ⊂ R es acotado inferiormente A 6= ∅, entonces tiene
Convergencia
Tópicos
ı́nfimo.
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Teorema (27)
Sucesiones de
Cauchy
Sea A ⊂ R, A 6= ∅, sea β ∈ R. Entonces β = inf A si y sólo si:
Series

Expansiones (a) β ≤ x para cada x ∈ A.


Equipotencia (b) ∀ǫ > 0, ∃x ∈ A : x < β + ǫ.
Las Funciones
exp y log
El Paso de los Racionales a los Reales
Propiedad Arquimediana de R

Algebra y
Análisis II

Javier Trejos Teorema (28. Principio de Arquı́medes)


Supuestos Para todo x ∈ R existe n ∈ N tal que n > x.
Los Números
Reales

Sucesiones y
Teorema (29)
Series
Numéricas Sea y ∈ R tal que y > 0. Entonces
Conceptos
1
Básicos
Convergencia 1 Existe n ∈ N∗ tal que n < y.
Tópicos
adicionales
Subsucesiones
2 ∀x ∈ R, ∃n ∈ N : x < ny.
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy Teorema (30)
Series

Expansiones Dados x, y ∈ R con x < y existe r ∈ Q tal que x < r < y.


Equipotencia

Las Funciones
Ejemplo 1.3.4: A = {x ∈ Q : x < 1}, sup A = 1.
exp y log
El Paso de los Racionales a los Reales
Propiedad Arquimediana de R

Algebra y
Análisis II

Javier Trejos

Supuestos
Teorema (28. Principio de Arquı́medes)
Los Números
Reales
Para todo x ∈ R existe n ∈ N tal que n > x.
Sucesiones y
Series
Numéricas demostración. Supóngase por contradicción que
Conceptos
Básicos
Convergencia
∃x ∈ R, ∀n ∈ N : x ≥ n. Como N serı́a acotado superiormente
Tópicos
adicionales entonces tendrı́a un supremo, sea α = sup N.
Subsucesiones
Puntos Lı́mite Por el teorema 25, con ǫ = 1, existirı́a n ∈ N tal que
El lim sup
Sucesiones de n > α − 1, de donde n + 1 > α.
Cauchy

Series
Pero n + 1 ∈ N, lo que lleva a una contradicción.
Expansiones

Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Propiedad Arquimediana de R

Algebra y
Análisis II Teorema (29)
Javier Trejos
Sea y ∈ R tal que y > 0. Entonces
Supuestos 1
1 Existe n ∈ N∗ tal que n < y.
Los Números
Reales
2 ∀x ∈ R, ∃n ∈ N : x < ny.
Sucesiones y
Series
Numéricas
Conceptos
demostración.
Básicos
Convergencia 1 Como y > 0, tómese x = 1/y. Por la propiedad
Tópicos
adicionales
Subsucesiones
arquimediana aplicada en x, existe n′ ∈ N tal que x < n′ ,
Puntos Lı́mite
El lim sup
es decir y1 < n′ . Sea n = n′ + 1 ∈ N∗ , entonces y1 < n de
Sucesiones de
Cauchy donde n1 < y.
Series
2 Considérese el número real x′ = xy . Entonces por la
Expansiones
propiedad arquimediana de R se tiene que
Equipotencia
∃n ∈ N : x′ < n, de donde xy < n, es decir x < ny pues
Las Funciones
exp y log y > 0.
El Paso de los Racionales a los Reales
Densidad de Q en R

Algebra y
Análisis II
Teorema (30, densidad de Q en R)
Javier Trejos
Dados x, y ∈ R con x < y existe r ∈ Q tal que x < r < y.
Supuestos

Los Números
Reales
demostración.
Sucesiones y Si 0 ≤ x ≤ y. Por T. 29 ∃n ∈ N∗ : 1/n < y − x. Sea
Series
Numéricas A = {j ∈ N : j > nx}. Por arquimedianidad A 6= ∅ y por
Conceptos
Básicos el principio del buen orden en N, A tiene primer elemento
k, con k ∈ A y k − 1 6∈ A. De donde k−1 k
Convergencia
Tópicos
adicionales n ≤ x < n . Luego
k 1 k
n ≤ x + n < x + (y − x) = y. Ası́ x < n < y.
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de Tómese r = nk .
Cauchy

Series Si x < 0 < y: listo con r = 0.


Expansiones Si x < y ≤ 0 se tiene 0 ≤ −y < −x por lo que aplica el
Equipotencia primer caso: ∃r′ ∈ Q : −y < r′ < −x y tomendo
Las Funciones
exp y log
r = −r′ : x < r < y.
El Paso de los Racionales a los Reales
Densidad de Q en R

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Ejemplo (1.3.4)


Reales

Sucesiones y A = {x ∈ Q : x < 1}, sup A = 1.


Series
Numéricas
Conceptos Veamos que sup A = 1:
Básicos
Convergencia
Tópicos
1 es cota superior de A.
adicionales
Subsucesiones
Sea ǫ > 0, por ser Q denso entonces x ∈ Q : 1 − ǫ < x < 1.
Puntos Lı́mite
El lim sup
Luego x ∈ A y x > 1 − ǫ.
Sucesiones de
Cauchy Por lo tanto sup A = 1.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Completitud de R: existencia de la raı́z cuadrada

Algebra y
Análisis II
√ √
Javier Trejos Dado a > 0, se escribe a al número real tal que ( a)2 = a.

Supuestos
Veamos que a existe en R.
Los Números
Reales Teorema (31. Existencia de la raı́z cuadrada)
Dado a > 0, existe un único real α > 0 tal que α2 = a. Se
Sucesiones y
Series
Numéricas √
Conceptos
denota α = a.
Básicos
Convergencia
Tópicos
adicionales
demostración. Sea A = {x ∈ R, x ≥ 0 : x2 ≤ a}. Véase
Subsucesiones
Puntos Lı́mite
que A 6= ∅ pues 0 ∈ A.
El lim sup
Sucesiones de
x > a + 1 ⇒ x2 > (a + 1)2 > a + 1 > a ⇒ x 6∈ A,
Cauchy
que equivale a x ∈ A ⇒ x ≤ a + 1, ası́ a + 1 es cota superior
Series

Expansiones
de A. Por el axioma del extremo superior ∃α = sup A. Veamos
Equipotencia
que α2 = a. Descartemos los casos α2 < a y α2 > a.
Las Funciones
exp y log
El Paso de los Racionales a los Reales
Completitud de R: existencia de la raı́z cuadrada (Cont.)

Algebra y
Análisis II
Si α2 < a tómese 0 < ǫ < 1:
Javier Trejos
(α + ǫ)2 = α2 + 2αǫ + ǫ2 < α2 + (2α + 1)ǫ.
Supuestos Si además ǫ < (a − α2 )/(2α + 1) se sigue que (α + ǫ)2 < a
2
Los Números
Reales
y α + ǫ ∈ A para todo ǫ tal que 0 < ǫ < min(1, a−α
2α+1 ), lo
Sucesiones y
que contradice que α es el supremo de A.
Series
Numéricas Si α2 > a, para ǫ > 0:
Conceptos
Básicos (α − ǫ)2 = α2 − 2αǫ + ǫ2 > α2 − 2αǫ.
Convergencia
Tópicos
adicionales
Si 0 < ǫ < (α2 − a)/2α, se obtiene (α − ǫ)2 > a.
Subsucesiones
Puntos Lı́mite
Como α = sup A, existe x ∈ A : x > α − ǫ, de donde
El lim sup
Sucesiones de
x2 > (α − ǫ)2 > a, lo cual es una contradicción.
Cauchy

Series
Definición
Expansiones

Equipotencia Se definen los números irracionales I como I = R − Q.


Las Funciones √
exp y log Nótese que 2 ∈ I.
El Paso de los Racionales a los Reales
Sumatorias

Algebra y
Análisis II
Sea f : N → R una función y sea an = f (n). Entonces se
Javier Trejos define
X0 n+1
X Xn
Supuestos ak = a0 ak = ak + an+1
Los Números k=0 k=0 k=0
Reales

Sucesiones y Esto es:


Series
n
X
Numéricas
Conceptos
= a0 + a1 + · · · an
Básicos
Convergencia
k=0
Tópicos
adicionales
Subsucesiones
Ejemplos 1.4
Pn n(n+1)
k=0 k =
Puntos Lı́mite
El lim sup 1 2
Sucesiones de P99
Si ak = k
(−1) entonces = 1−1+···+1−1 = 0
k=0 ak
Cauchy
2
Series
1
Expansiones
3 Si ak = k+1entonces
P4 1 1 1 137
Equipotencia
k=0 ak = 0+1 + 1+1 + · · · + 4+1 = 60
Las Funciones
Pn 2 n
exp y log 4 k=0 k = 6 (n + 1)(2n + 1)
El Paso de los Racionales a los Reales
Sumatorias

Algebra y
Análisis II

Javier Trejos
Para 0 < m ≤ n se define
Supuestos
n
X n
X m−1
X
Los Números
Reales ak = ak − ak = am + · · · + an
Sucesiones y k=m k=0 k=0
Series
Numéricas
Conceptos
Básicos
Ejemplos 1.4
Convergencia 6
Tópicos X 1 1 1 1 37
adicionales
Subsucesiones
5) = + + =
Puntos Lı́mite k 4 5 6 60
El lim sup
k=4
Sucesiones de 3
Cauchy X 1 1 1 3
Series 6) = + =
k−1 2−1 3−1 2
Expansiones k=2
Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Propiedades de las Sumatorias

Algebra y
Análisis II n
X n
X
Javier Trejos 1 cak = c ak
Supuestos
k=0 k=0
n
X n
X n
X
Los Números
Reales 2 (ak + bk ) = ak + bk
Sucesiones y k=0 k=0 k=0
Series
Numéricas 3 Si ak ≥ bk para cada k = 0, . . . , n entonces
Conceptos
Xn Xn
Básicos
Convergencia
Tópicos
ak ≥ bk
adicionales
Subsucesiones
k=0 k=0
Puntos Lı́mite n
X n
X n+1
X
El lim sup
Sucesiones de
Cauchy
4 Si bk = ak+1 entonces ak+1 = bk = ak
Series k=0 k=0 k=1
n
X n+1
X
Expansiones

Equipotencia
También ak = ak−1
Las Funciones
k=0 k=1
exp y log
El Paso de los Racionales a los Reales
Propiedades de las Sumatorias

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (Suma telescópica)
Los Números
Reales
Si ak = bk − bk+1 , entonces
Sucesiones y
Series
n
X n
X n+1
X
Numéricas
Conceptos
ak = bk − bk
Básicos
Convergencia
k=0 k=0 k=1
Tópicos n n
!
adicionales X X
Subsucesiones
Puntos Lı́mite
= b0 + bk − bk + bn+1
El lim sup
Sucesiones de
k=0 k=1
Cauchy
= b0 − bn+1
Series

Expansiones

Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Propiedades de las Sumatorias

Algebra y
Análisis II

Javier Trejos
Ejemplo (Suma geométrica)
Supuestos
Si r ∈ R, r 6= 1 entonces
Los Números
Reales
n
X 1 − rn+1
rk =
Sucesiones y
Series
Numéricas 1−r
Conceptos
k=0
Básicos
Convergencia
Tópicos
pues
adicionales
Subsucesiones
Puntos Lı́mite
n
X n
X
k
El lim sup
Sucesiones de
(1 − r) r = (rk − rk+1 )
Cauchy
k=0 k=0
Series

Expansiones
= 1 − rn+1
Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Combinatoria y fórmula del binomio

Algebra y
Análisis II

Javier Trejos  
n n!
=
Supuestos k k!(n − k)!
Los Números      
Reales n n n+1
+ =
Sucesiones y k−1 k k
Series
Numéricas
Conceptos
Si a, b ∈ R, n ∈ N:
Básicos
Convergencia n  
Tópicos
n
X n
adicionales
(a + b) = an−k bk
Subsucesiones
Puntos Lı́mite
k
El lim sup
k=0
Sucesiones de
Cauchy  
Pn n
Series
k=0 = 2n
Expansiones k
Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Un poco de conteo

Algebra y
Análisis II

Javier Trejos

Supuestos
 
n
Los Números Si |A| = n entonces A tiene exactamente
Reales k
Sucesiones y subconjuntos de cardinalidad k
Series
Numéricas Si |A| = k y |B| = n entonces existen
Conceptos
Básicos
Convergencia
Tópicos n!
adicionales = n(n − 1) · · · (n − k + 1)
Subsucesiones (n − k)!
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy funciones inyectivas de A en B
Series

Expansiones

Equipotencia

Las Funciones
exp y log
El Paso de los Racionales a los Reales
Existencia de raı́ces. El caso general

Algebra y
Análisis II

Javier Trejos

Supuestos Lema
Los Números
Reales Para 0 < ǫ < α y n ≥ 2 se tiene (α − ǫ)n > αn − nαn−1 ǫ.
Sucesiones y
Series
Numéricas Lema
Conceptos
Básicos
Convergencia
Para α > 0 y 0 < ǫ < 1 se tiene (α + ǫ)n < αn + (α + 1)n ǫ.
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite Teorema
El lim sup
Sucesiones de
Cauchy
Dados 2 ≤ n ∈ N y 0 < α ∈ R, existe α > 0 único tal que
Series αn = a.
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Conceptos básicos

Algebra y
Análisis II

Javier Trejos
Una sucesión de números reales es un conjunto “ordenado”
Supuestos

Los Números a = (a0 , a1 , a2 , a3 , . . . , an , . . .)


Reales

Sucesiones y
Series Lo que está ordenado son los ı́ndices de los números de la
Numéricas
Conceptos
sucesión
Básicos
Convergencia Los números pueden repetirse
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Definición
Sucesiones de
Cauchy Una sucesión numérica es una función a : N → R. Para
Series
n ∈ N se denota an = a(n) y se llama n-ésimo término de la
Expansiones
sucesión. La sucesión a se denota por (an ) o por (an )n∈N
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Conceptos básicos

Algebra y
Análisis II Ejemplo (2.2.1)
Javier Trejos 1
Si an = entonces
Supuestos
n+1
Los Números    
Reales 1 1 1 1
a= = 1, , , . . . , , . . .
Sucesiones y n + 1 n∈N 2 3 n
Series
Numéricas
Conceptos
Básicos
Convergencia
Tópicos Ejemplo (2.2.2 Sucesión constante)
adicionales
Subsucesiones
Puntos Lı́mite an = c, con c ∈ R, para todo n ∈ N.
El lim sup
Sucesiones de
Cauchy

Series
Ejemplo (2.2.3)

Expansiones Si an = 1 + 12 1 + (−1)n+1 , entonces

Equipotencia
1 si n es par
Las Funciones an =
exp y log 2 si n es impar
Sucesiones y Series Numéricas
Conceptos básicos

Algebra y
Análisis II Sucesiones a partir de un rango n0 ∈ N:
Javier Trejos

Supuestos
(an )n≥n0 es a : {n0 , n0 + 1, n0 + 2, . . .} → R
Los Números
Reales En particular (an )n∈N = (an )n≥0 .
Sucesiones y
Series
Numéricas
Ejemplo (2.2.4)
Conceptos   
Básicos
Convergencia
a = n1 n≥1 es an = n1 , entonces 1
n n≥1 = 1, 21 , 31 , . . .
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Ejemplo (2.2.5)
Sucesiones de
 
n
Cauchy
Para a = n2 +8n+7 se tiene a8 = 78 , a9 = 16
9
, . . ..
Series n≥8 
n
Expansiones No se puede escribir n2 +8n+7 pues el cociente se indefine
Equipotencia n≥0
para n = 1 y n = 7.
Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Monótonas

Algebra y
Análisis II

Javier Trejos

Supuestos
Definición
Los Números Una sucesión (an ) es:
Reales

Sucesiones y
1 creciente si ∀n ∈ N : an ≤ an+1 .
Series
Numéricas 2 estrictamente creciente si ∀n ∈ N : an < an+1 .
Conceptos
Básicos
Convergencia
3 decreciente si ∀n ∈ N : an ≥ an+1 .
Tópicos
adicionales 4 estrictamente decreciente si ∀n ∈ N : an > an+1 .
Subsucesiones
Puntos Lı́mite
El lim sup
5 monótona si es creciente o decreciente.
Sucesiones de
Cauchy 6 estrictamente monótona si es estrictamente creciente o
Series
estrictamente decreciente.
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Monótonas

Algebra y
Análisis II
Ejemplo (2.2.6)
Javier Trejos  
1
Supuestos n+1 es estrictamente decreciente.
Los Números
Reales

Sucesiones y
Ejemplo (2.2.7)
Series
Numéricas La sucesión constante (c)n∈N es creciente y decreciente, pero
Conceptos
Básicos no estrictamente.
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
Ejemplo (2.2.8)
El lim sup
Sucesiones de
Cauchy
(⌊ n2 ⌋) = (0, 0, 1, 1, 2, 2, . . .) es creciente, pero no estrictamente.
Series

Expansiones Ejemplo (2.2.9)


Equipotencia

Las Funciones
((−1)n )n∈N no es creciente ni decreciente.
exp y log
Sucesiones y Series Numéricas
Rango de una sucesión

Algebra y
Análisis II

Javier Trejos Definición (Rango de una sucesión)


Supuestos
El rango de la suceción (an )n≥n0 es
Los Números
Reales

Sucesiones y
R = rango(an ) = {an : n ≥ n0 }
Series
Numéricas
Conceptos
Básicos
Convergencia Ejemplo (2.2.10)
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El rango de ((−1)n ) es R = {−1, 1}.
El lim sup
Sucesiones de
Cauchy
Ejemplo (2.2.11)
Series

Expansiones
n + (−1)n n
El rango de es R = N.
Equipotencia 4
Las Funciones
exp y log
Sucesiones y Series Numéricas
Rango de una sucesión

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.2.12)

Supuestos
− n+1
2 si n es impar
Los Números Sea (an ) definida por an = n
Reales
2 si n es par.
Sucesiones y Entonces (an )n∈N = (0, −1, 1, −2, 2, −3, 3, . . .).
Series
Numéricas El rango es R = Z.
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Ejemplo (2.2.13)
n − 2k
Subsucesiones

para 2k ≤ n < 2k+1 . El rango es el conjunto


Puntos Lı́mite
El lim sup Sea xn =
Sucesiones de
Cauchy
2k
de los números diádicos en [0, 1] (un número es diádico si tiene
Series m
Expansiones
la forma n )
2
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Acotadas

Algebra y
Análisis II Definición (Sucesión acotada)
Javier Trejos
La sucesión (an ) se llama acotada superiormente si su rango
Supuestos es un conjunto acotado superiormente: es decir, si
Los Números
Reales
∃b ∈ R, ∀n ∈ N : an ≤ b. La sucesión se llama acotada
Sucesiones y
inferiormente si su rango lo es: es decir, si
Series
Numéricas
∃c ∈ R, ∀n ∈ N : an ≥ c. Se llama acotada si su rango es
Conceptos
Básicos
acotado.
Convergencia
Tópicos
adicionales
Subsucesiones
Ejemplo (2.2.14)
Puntos Lı́mite
 
1 n
n+1 y ((−1) ) son acotadas pues |an | ≤ 1 para cada n ∈ N.
El lim sup
Sucesiones de
Cauchy

Series

Expansiones Ejemplo (2.2.15)


Equipotencia
((−1)n n) no es acotada ni superior ni inferiormente: por
Las Funciones
exp y log arquimedianidad, dado b ∈ R, ∃n ∈ N : n > b con n par.
Sucesiones y Series Numéricas
Sucesiones Acotadas

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (2.2.16)
Los Números
Reales √
( n) es acotada inferiormente pero no superiormente.
Sucesiones y
Series
Numéricas
Conceptos Lema
Básicos
Convergencia
Tópicos
La sucesión (an ) es no acotada superiormente si, y sólo si,
adicionales
Subsucesiones ∀b > 0, ∃n ∈ N : an > b.
Puntos Lı́mite
El lim sup La sucesión (an ) es no acotada inferiormente si, y sólo si,
Sucesiones de
Cauchy ∀c < 0, ∃n ∈ N : an < c.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Cola de una Sucesión

Algebra y
Análisis II

Javier Trejos

Supuestos
Definición (Cola)
Los Números
Reales
Dada (an ) y m ∈ N, la sucesión (bn ) definida por bn = an+m
Sucesiones y
se llama una cola de (an ).
Series
Numéricas
Conceptos
Básicos
Ejemplo (2.2.17)
Convergencia
1
Tópicos
adicionales ( n+4 )n∈N = ( 15 , 16 , . . .) es una cola de ( n+1
1
)n∈N
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy
Ejemplo (2.2.18)
Series
√ √ √ √
( n + 10)n∈N = ( 10, 11, . . .) es una cola de ( n)n∈N .
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Cola de una Sucesión

Algebra y
Análisis II Lema (2.2.2)
Javier Trejos
Dada una sucesión (an ), son equivalentes:
Supuestos
i (an ) es acotada.
Los Números
Reales ii Todas las colas de (an ) son acotadas.
Sucesiones y
Series iii Un cola de (an ) es acotada.
Numéricas
Conceptos
Básicos
Convergencia demostración.
Tópicos
adicionales
Subsucesiones
(i)⇒(ii) Sea (an ) acotada, entonces ∃b > 0, ∀n ∈ N : |an | ≤ b.
Puntos Lı́mite
El lim sup
Dado m ∈ N : |am+n | ≤ b, luego la cola (am+n ) es
Sucesiones de
Cauchy acotada.
Series
ii)⇒iii) Evidente.
Expansiones
(iii)⇒(i) Si (am+n ) es una cola acotada:
Equipotencia

Las Funciones
∃b > 0, ∀n ∈ N : |am+n | ≤ b, luego si k ≥ m : |ak | ≤ b. Si
exp y log c = max(|a0 |, . . . , |am−1 |, b) : |an | ≤ c para todo n ∈ N.
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II Una sucesión (xn ) converge a x ∈ R si, para valores
Javier Trejos grandes de n, el término xn está cerca de x.
Supuestos Si ǫ > 0, debe tenerse xn ∈]x − ǫ, x + ǫ[ para n
Los Números suficientemente grande.
Reales

Sucesiones y
Series
Definición
Numéricas
Conceptos
Una sucesión (xn ) converge a x ∈ R si
Básicos
Convergencia
Tópicos
adicionales ∀ǫ > 0, ∃N ∈ N, ∀n ≥ N : |xn − x| < ǫ.
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Se dice que la sucesión es convergente y que su lı́mite es x.
Cauchy
Se escribe
Series
lim xn = x
Expansiones n→∞
Equipotencia
o bien xn → x. Si no existe tal x se dice que la sucesión es
Las Funciones
exp y log divergente.
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II Ejemplo (2.3.1)
Javier Trejos
La sucesión constante (c)n∈N converge a c: dado ǫ > 0, se
Supuestos puede tomar N = 0 y se tiene |an − c| = 0 < ǫ para todo
Los Números
Reales
x ≥ 0.
Sucesiones y
Series Ejemplo (2.3.2)
Numéricas
1
Conceptos
Básicos
n → 0: sea ǫ > 0, hallar N tal que
Convergencia
Tópicos
adicionales
1 1
Subsucesiones
Puntos Lı́mite ∀n ≥ N : < ǫ ⇔ ∀n ≥ N : n >
El lim sup n ǫ
Sucesiones de
Cauchy

Series Tómese N = ⌊ 1ǫ ⌋ + 1:
Expansiones
1 1
Equipotencia n≥N ⇒n> ⇒ |an − 0| = < ǫ.
Las Funciones ǫ n
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II
Ejemplo (2.3.3)
Javier Trejos
n2 − 1
Supuestos an = 2 converge a x = 1. Sea ǫ > 0:
n +1
Los Números
Reales 2
n − 1 2
Sucesiones y |an − 1| < ǫ ⇔ 2 − 1 < ǫ ⇔ 2 <ǫ
Series
Numéricas
n +1 n + 1
Conceptos 2
Básicos
Convergencia ⇔ < n2 + 1.
Tópicos ǫ
adicionales
Subsucesiones q
Bastarı́a que n2 > 2ǫ , esto es n > 2ǫ .
Puntos Lı́mite
El lim sup
Sucesiones de q
Cauchy

Series Tómese N = ⌊ 2ǫ ⌋ + 1, entonces


Expansiones

Equipotencia n ≥ N ⇒ |an − 1| < ǫ.


Las Funciones
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.3.4)
Supuestos
La sucesión ((−1)n ) es divergente.
Los Números
Reales Veamos por contradicción, si ∃l ∈ R : (−1)n → l, al tomar
Sucesiones y
Series
ǫ = 1 existe N ∈ N, ∀n ≥ N :
Numéricas
Conceptos
Básicos |(−1)n − l| < 1.
Convergencia
Tópicos
adicionales
Subsucesiones Tomando un par n ∈ N se tiene |1 − l| < 1, de donde l > 0.
Puntos Lı́mite
El lim sup Tomando un impar n ∈ N se tiene | − 1 − l| < 1, de donde
Sucesiones de
Cauchy l < 0.
Series
Esto es una contradicción.
Expansiones
Por lo tanto, la sucesión diverge.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II Lema (2.3.1)
Javier Trejos
Si (an ) converge, su lı́mite es único.
Supuestos

Los Números demostración. Sean a y b dos lı́mites de (an ) y sea ǫ > 0.


Reales

Sucesiones y
Luego ∃N1 , N2 ∈ N:
Series
Numéricas ǫ
Conceptos ∀n ≥ N1 : |an − a| <
Básicos 2
Convergencia
ǫ
Tópicos
adicionales ∀n ≥ N2 : |an − b| <
Subsucesiones 2
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series Si n = max{N1 , N2 } se tiene:


Expansiones

Equipotencia |a − b| = |a − an + an − b| ≤ |a − an | + |an − b| < ǫ


Las Funciones
exp y log por lo que ∀ǫ > 0 : |a − b| < ǫ, de donde a = b.
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II

Javier Trejos

Supuestos
Lema (2.3.2)
Los Números
Reales
Toda sucesión convergente es acotada.
Sucesiones y
Series demostración. Sea an → a. Tomando
Numéricas
Conceptos
ǫ = 1, ∃N ∈ N, ∀n ≥ N : |an − a| < 1. Por la desigualdad
Básicos
Convergencia triangular ∀n ≥ N :
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
|an | = |(an − a) + a| ≤ |an − a| + |a| ≤ 1 + |a|.
El lim sup
Sucesiones de
Cauchy
Luego la cola (an )n≥N es acotada y entonces (an ) lo es.
Series

Expansiones El recı́proco es falso: ((−1)n ) es acotada pero divergente.


Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (2.3.5)
Los Números
Reales √
La sucesión ( n) es divergente.
Sucesiones y
Series En efecto, si fuera convergente serı́a acotada, pero ya sabemos
Numéricas
Conceptos
que no es acotada (ver ejemplo 2.2.16).
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Ejemplo (2.3.6)
Puntos Lı́mite
El lim sup
Sucesiones de
La sucesión (n − n2 ) es divergente, pues no es acotada
Cauchy
inferiormente.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II
Teorema (34)
Javier Trejos

Supuestos
Para (an ) son equivalentes:
Los Números (i) an → x
Reales

Sucesiones y
(ii) Toda cola de (an ) converge a x
Series
Numéricas (iii) Una cola de (an ) converge a x
Conceptos
Básicos
Convergencia
Tópicos demostración.
adicionales
Subsucesiones
Puntos Lı́mite
i ⇒ ii Sea m ∈ N. Dado
El lim sup
Sucesiones de
ǫ > 0, ∃N, ∀n ≥ N : |an − x| < ǫ.
Cauchy
Para n ≥ N se tiene m + n ≥ N , luego
Series

Expansiones
|am+n − x| < ǫ.
Equipotencia ii ⇒ iii Inmediato.
Las Funciones
exp y log
iii ⇒ i
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II

Javier Trejos

Supuestos Ejemplo (2.3.7)


Los Números   
1 1
Reales La sucesión n+11 converge a 0 pues es una cola de n n≥1 .
Sucesiones y
Series
Numéricas
Conceptos
Básicos
Ejemplo (2.3.8)
Convergencia
 2
Tópicos n si n < 1000
adicionales Sea an = 1
Subsucesiones
n si n ≥ 1000.
Puntos Lı́mite
El lim sup Entonces
 la cola (a 1000+n ) converge a 0, pues también es cola
Sucesiones de
Cauchy de n1 n≥1 . Por el teorema anterior an → 0.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II

Javier Trejos

Supuestos Nótese que, de la definición, son equivalentes:


Los Números
Reales
1 an → x
Sucesiones y 2 an − x → 0
Series
Numéricas
Conceptos
3 x − an → 0
Básicos
Convergencia 4 |an − x| → 0
Tópicos
adicionales
Subsucesiones Todas se escriben:
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy ∀ǫ > 0, ∃N ∈ N, ∀n ≥ N : |an − x| < ǫ.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Convergencia y Divergencia

Algebra y
Análisis II Ejemplo (2.3.9)
Javier Trejos 
La sucesión − n1 n≥1
converge a 0 pues 1
n → 0, y esto equivale
Supuestos
a 0 − n1 → 0.
Los Números
Reales

Sucesiones y Ejemplo (2.3.10)


Series  
n 1
Numéricas
Conceptos
Sea a = n+1 . Véase que an = 1 − n+1 , ası́ que
Básicos n∈N
1
Convergencia
Tópicos
1 − an = n+1 → 0. Por tanto an → 1.
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Ejemplo (2.3.11)
Sucesiones de
Cauchy

2
 n2 − 1
Series n2 +1
→ 0 pues antes se mostró que → 1 y entonces
n2 + 1
Expansiones

Equipotencia 2 n2 − 1
= 1 − → 0.
Las Funciones
exp y log n2 + 1 n2 + 1
Sucesiones y Series Numéricas
Divergencia a infinito

Algebra y
Análisis II Definición (an → ∞)
Javier Trejos
Se dice que (an ) diverge a infinito si
Supuestos ∀b > 0, ∃N ∈ N, ∀n ≥ N : an ≥ b. Se escribe limn→∞ an = ∞.
Los Números
Reales
Se dice que (an ) diverge a −∞ si −(an ) diverge a ∞. Se pone
Sucesiones y
an → −∞.
Series
Numéricas
Conceptos
Básicos
Ejemplo (2.3.12)
Convergencia √
Tópicos
adicionales
n→∞
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Ejemplo (2.3.13)
Cauchy

Series n − n2 → −∞
Expansiones

Equipotencia Ejemplo (2.3.14)


Las Funciones
exp y log an = (−1)n n no es acotada, ni diverge a ∞ ni diverge a −∞.
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II

Javier Trejos Lema (2.3.3)


Supuestos Si an → x y si c ∈ R entonces can → cx.
Los Números
Reales demostración. Si
ǫ
Sucesiones y ǫ > 0, ∃N ∈ N, ∀n ≥ N : |an − x| < , entonces
Series
Numéricas
|c| + 1
ǫ
Conceptos
Básicos
∀n ≥ N : |can − cx| = |c| · |an − x| ≤ |c| · |c|+1 < ǫ.
Convergencia
Tópicos
adicionales Ejemplo (2.3.15)
Subsucesiones
Puntos Lı́mite 
El lim sup La sucesión n8 converge a 0, pues 8
n = 8 · n1 .
Sucesiones de
Cauchy

Series
Ejemplo (2.3.16)
Expansiones
1 2 1 1 2 1
Equipotencia
n2 +1
→ 0 pues n2 +1
→0y n2 +1
= 2 · n2 +1
→ 2 · 0 = 0.
Las Funciones
exp y log
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II Lema (2.3.4)
Javier Trejos
Si (an ) y (bn ) son convergentes y si ∃n0 , ∀n ≥ n0 : an ≤ bn ,
Supuestos entonces limn→∞ an ≤ limn→∞ bn .
Los Números
Reales
demostración. Sean a = limn→∞ an , b = limn→∞ bn .
Sucesiones y
Series Supóngase por contradicción que a > b, es decir a − b > 0.
Numéricas
Conceptos
Sea ǫ = 21 (a − b), por cv
Básicos
Convergencia
Tópicos
adicionales
∃n1 ∈ N, ∀n ≥ n1 : a − ǫ < an < a + ǫ
Subsucesiones
Puntos Lı́mite
El lim sup ∃n2 ∈ N, ∀n ≥ n2 : b − ǫ < bn < b + ǫ
Sucesiones de
Cauchy

Series
Si n ≥ max(n0 , n1 , n2 ):
Expansiones
a+b
Equipotencia bn < b + ǫ = = a − ǫ < a n ≤ bn ,
2
Las Funciones
exp y log
lo cual es una contradicción. Luego a < b.
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II Teorema (35. Ley del emparedado)
Javier Trejos
Si bn → x y cn → x, y si ∃n0 , ∀n ≥ n0 : bn ≤ an ≤ cn .
Supuestos Entonces an → x.
Los Números
Reales
demostración. Dado ǫ > 0, existe n1 ∈ N,
Sucesiones y
Series
Numéricas
Conceptos
∀n ≥ n1 : |bn − x| < ǫ
Básicos
Convergencia
Tópicos
adicionales
y existe n2 ∈ N,
Subsucesiones
Puntos Lı́mite
El lim sup ∀n ≥ n2 : |cn − x| < ǫ.
Sucesiones de
Cauchy

Series Si N = max(n0 , n1 , n2 ) entonces ∀n ≥ N :


Expansiones

Equipotencia x − ǫ < bn ≤ an ≤ cn < x + ǫ.


Las Funciones
exp y log
Por lo tanto an → x.
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II Lema (2.3.5)
Javier Trejos
Si bn → ∞ y ∃n0 , ∀n ≥ n0 : bn ≤ an , entonces a→ ∞.
Supuestos

Los Números
Reales Ejemplo (2.3.17)
 
(−1)n (−1)n
Sucesiones y
Series n → 0 pues − n1 ≤ n ≤ n1 , y sabemos que 1
n →0y
Numéricas
Conceptos
Básicos
− n1 → 0.
Convergencia
Tópicos
adicionales
Subsucesiones Ejemplo (2.3.18)
Puntos Lı́mite
n2 +8n−45
Nótese que n2 + 4n + 6 > n2 y
El lim sup
Sucesiones de Sea an = n2 +4n+6
.
Cauchy
2
Series 8n − 45 < 8n. Entonces para n ≥ 1: an < n n+8n
2 = 1 + n8 .
Expansiones Por otro lado an ≥ 1 para n ≥ 13 pues
Equipotencia an ≥ 1 ⇔ n2 + 8n − 45 ≥ n2 + 4n + 6 ⇔ n ≥ 51 4 . Se tiene
8
Las Funciones
exp y log
entonces 1 ≤ an ≤ 1 + n para n ≥ 13. Por lo tanto an → 1.
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II
Ejemplo (2.3.19)
Javier Trejos √ √
Sea an = n a, donde a > 1 es fijo. Si ǫn = n a − 1 > 0, se
Supuestos
tiene por la desigualdad de Bernoulli:
Los Números
Reales √
Sucesiones y a = ( n a)n = (1 + ǫn )n ≥ 1 + nǫn > nǫn .
Series
Numéricas
Conceptos
Básicos
Entonces 0 < ǫn < na y por el teorema del emparedado se sigue
Convergencia
Tópicos
que ǫn → 0. Por lo tanto an = 1 + ǫn → 1.
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup Lema (2.3.6)
Sucesiones de

Sea an → x 6= 0. Entonces ∃n0 , ∀n ≥ n0 : |an | > 12 |x|.


Cauchy

Series

Expansiones
demostración. Para ǫ = 12 |x|, ∃n0 ∈ N, ∀n ≥ n0 :
Equipotencia
|an − x| < 12 |x|. Por la desigualdad triangular |x| − |an | < 21 |x|
Las Funciones
exp y log para n ≥ n0 .
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II

Javier Trejos

Supuestos Teorema (36)


Los Números
Reales
Sean an → a y bn → b. Entonces
Sucesiones y 1 (Suma) an + bn → a + b.
Series
Numéricas
Conceptos
2 (Producto) an bn → ab.
Básicos
an
Convergencia 3 (Cociente) bn → ab .
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Nota. Combinando la ley de la suma y el lema 2.3.3 se obtiene:
Sucesiones de
Cauchy

Series can + dbn → ca + db.


Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II Ejemplo (2.3.20)
Javier Trejos
1 1
Sea an = n2
. Como n la ley del producto permite concluir que
Supuestos

Los Números 1 1
Reales an = · → 0.
Sucesiones y
n n
Series
Numéricas
Conceptos
Básicos
Convergencia Ejemplo (2.3.21)
Tópicos
adicionales 3 5
Subsucesiones Si an = 1 + n − n2
, se tiene que an → 1 por la ley de la suma.
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy
Ejemplo (2.3.22)
Series
n 1 1 1
Expansiones Si an = n2 +1
se tiene que an = n · 1+ 12
→0· 1+0 = 0.
n
Equipotencia
Sea ha usado la ley del producto, la del cociente y el ejemplo
Las Funciones
exp y log 2.3.20.
Sucesiones y Series Numéricas
Cálculo de Lı́mites

Algebra y
Análisis II
Ejemplo (2.3.23)
Javier Trejos
n2 + 3n − 5 n2 (1 + n3 − n52 ) 1
Supuestos an = 2 = 2 40 6 → .
Los Números
2n + 40n + 6 n (2 + n + n2 ) 2
Reales

Sucesiones y
Series Ejemplo (2.3.24)
Numéricas
n + cos n 1
Conceptos
Básicos an = → pues
Convergencia 3n + 1 3
Tópicos
adicionales
Subsucesiones n−1 n+1
Puntos Lı́mite
≤ an ≤
El lim sup
Sucesiones de
3n + 1 3n + 1
Cauchy

Series y
1
Expansiones n±1 1± n 1
= 1 → .
Equipotencia 3n + 1 3± n
3
Las Funciones
exp y log
Sucesiones y Series Numéricas
Otras propiedades

Algebra y
Análisis II Lema (2.3.7)
Javier Trejos
Si an → a y si p ∈ N∗ , entonces apn → ap .
Supuestos

Los Números demostración. Por inducción: Si p = 1 es evidente.


Asumiendo para p, apn → ap , entonces
Reales

Sucesiones y
Series
Numéricas
Conceptos
ap+1
n = apn · an → ap · a = ap+1 .
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones Ejemplo (2.3.25)
Puntos Lı́mite
1 1
El lim sup
Sucesiones de
Dado que n → 0 entonces para p ∈ N∗ se tiene np → 0.
Cauchy

Series

Expansiones Ejemplo (2.3.26)


   100
Equipotencia n + 3 100 3
Las Funciones
bn = 1 + → .
exp y log 2n + 5 2
Sucesiones y Series Numéricas
Otras propiedades

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Lema (2.3.8)
Reales √ √
Sucesiones y
Si an → a > 0, entonces an → a.
Series
Numéricas
Conceptos demostración.
Básicos
Convergencia
Tópicos Lema (2.3.9)
adicionales
√ √
Si an → a > 0 y p ∈ N∗ , entonces
Subsucesiones
Puntos Lı́mite
p an → p
a.
El lim sup
Sucesiones de
Cauchy
demostración.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Otras propiedades

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.3.27)
Supuestos √
n + 3 8n6 + 7n + 3 1
Los Números
Reales
an = 2
→ .
4n + 5 2
Sucesiones y
Series
Numéricas
Conceptos
Ejemplo (2.3.28)
Básicos
Convergencia
Tópicos
an = rn → ∞ si r > 1.
an = rn → 0 si 0 < r < 1.
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy Ejemplo (2.3.29)
Series √
Expansiones
an = n n → 1.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II
Ejemplo (Progresión aritmética)
Javier Trejos

Sean a, c ∈ R fijos, se define a0 = a, an+1 = an + c. Se obtiene


Supuestos
(an ) = (a, a + c, a + 2c, a + 3c, . . .). En general an = a + nc.
Los Números
Reales
Si c > 0 la sucesión diverge a ∞
Sucesiones y
Series Si c < 0 la sucesión diverge a −∞
Numéricas
Conceptos
Básicos Converge si y sólo si c = 0.
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II
Ejemplo (Progresión aritmética)
Javier Trejos

Sean a, c ∈ R fijos, se define a0 = a, an+1 = an + c. Se obtiene


Supuestos
(an ) = (a, a + c, a + 2c, a + 3c, . . .). En general an = a + nc.
Los Números
Reales
Si c > 0 la sucesión diverge a ∞
Sucesiones y
Series Si c < 0 la sucesión diverge a −∞
Numéricas
Conceptos
Básicos Converge si y sólo si c = 0.
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
Ejemplo (Progresión geométrica)
El lim sup
Sucesiones de
Cauchy Sea c ∈ R fijo, se define (xn ) por x0 = 1 y xn+1 = cxn .
Series Véase que xn = cn (inducción).
Expansiones
Si c > 1 la sucesión diverge a ∞
Equipotencia

Las Funciones
Si |c| < 1 la progresión geométrica converge a 0
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.4.3)
√ √
Supuestos
Se define a1 = 2 y an = 2 + an−1 .
Los Números
Los términos de la sucesión son:
Reales r
q q
Sucesiones y √ √ √
Series
Numéricas
2, 2 + 2, 2 + 2 + 2, . . .
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.4.3)
√ √
Supuestos
Se define a1 = 2 y an = 2 + an−1 .
Los Números
Los términos de la sucesión son:
Reales r
q q
Sucesiones y √ √ √
Series
Numéricas
2, 2 + 2, 2 + 2 + 2, . . .
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones Ejemplo (2.4.4 Sucesión de Fibonacci)
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy
La sucesión de Fibonacci se define por
Series

Expansiones
F0 = F1 = 1, Fn = Fn−1 + Fn2 para n ≥ 2
Equipotencia

Las Funciones
Nótese qe (Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, . . .)
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II
Ejemplo (2.4.5 Sumas parciales)
Javier Trejos

Supuestos
Dada (an ) se puede definir la sucesión (Sn ) por
Los Números
Reales S0 = a0 , Sn = Sn−1 + an para n ≥ 1.
Sucesiones y
Series
Numéricas Sn es una definición rigurosa dePlo que entendemos como
Conceptos
Básicos a0 + · · · + an . Ponemos Sn = nk=0 ak .
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II
Ejemplo (2.4.5 Sumas parciales)
Javier Trejos

Supuestos
Dada (an ) se puede definir la sucesión (Sn ) por
Los Números
Reales S0 = a0 , Sn = Sn−1 + an para n ≥ 1.
Sucesiones y
Series
Numéricas Sn es una definición rigurosa dePlo que entendemos como
Conceptos
Básicos a0 + · · · + an . Ponemos Sn = nk=0 ak .
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
Ejemplo (2.4.6 Productoria)
El lim sup
Sucesiones de
Cauchy
Similarmente, sea (Pn )n∈N :
Series

Expansiones
P0 = a0 , Pn = an · Pn−1 para n ≥ 1.
Equipotencia Q
Las Funciones
Se denota Pn = nk=0 ak .
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos
Teorema (37 Weierstrass)

Supuestos
Toda sucesión monótona y acotada es convergente.
Los Números
Reales

Sucesiones y
Series
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos
Teorema (37 Weierstrass)

Supuestos
Toda sucesión monótona y acotada es convergente.
Los Números
Reales demostración. Sea (an ) acotada y creciente.
Sucesiones y El rango R es un conjunto acotada, sea
Series
Numéricas α = sup R = sup{an : n ∈ N}.
Conceptos
Básicos Dado ǫ > 0, ∃N ∈ N : α − ǫ < aN .
Convergencia
Tópicos
adicionales
Como (an ) es creciente, para n ≥ N :
Subsucesiones
Puntos Lı́mite
El lim sup α − ǫ < aN ≤ an ≤ α
Sucesiones de
Cauchy

Series ⇒ −ǫ < an − α ≤ 0 < ǫ


Expansiones

Equipotencia
|an − α| < ǫ.
Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Reales
Ejemplo (2.4.7)
Sucesiones y
Series
Sea la sucesión
Numéricas
Conceptos
√ p
Básicos a0 = 2, an = 2 + an−1
Convergencia
Tópicos
adicionales
Subsucesiones Veamos que es creciente y acotada superiormente por 2.
Puntos Lı́mite
El lim sup Por inducción.
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos Ejemplo (2.4.8 Intervalos encajados)


Supuestos
Sea (In ) una sucesión de intervalos tales que
Los Números
Reales
∀n ∈ N : In+1 ⊆ In .
Sucesiones y Si In = [an , bn ] se obtiene que (an ) es creciente y (bn )
Series
Numéricas decreciente. Como a0 ≤ an ≤ bn ≤ b0 , por el teorema de
Conceptos
Básicos Weierstrass (an ) y (bn ) son convergentes. Véase que
Convergencia
Tópicos
adicionales
Subsucesiones α = lim an ≤ β = lim bn
Puntos Lı́mite n→∞ n→∞
El lim sup
Sucesiones de \
Cauchy
⇒ In = [α, β].
Series
n∈N
Expansiones

Equipotencia Si además bn − an → 0 se concluye que α = β


Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones Recurrentes

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Dos sucesiones (an ) (bn ) se llaman adyacentes si:


Reales

Sucesiones y
1 ∀n : an ≤ bn
Series
Numéricas 2 (an ) es creciente y (bn ) es decreciente
Conceptos
Básicos 3 (bn − an ) → 0.
Convergencia
Tópicos
adicionales En el ejemplo 2.4.8 las sucesiones son adyacentes.
Subsucesiones
Puntos Lı́mite Dos sucesiones adyacentes siempre convergen y ambas tienen el
El lim sup
Sucesiones de
Cauchy
mismo lı́mite.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El Número de Euler

Algebra y n
Análisis II
X 1
Sea Sn =
Javier Trejos k!
k=0
1
Supuestos Es creciente pues Sn+1 = Sn + (n+1)! > Sn
Los Números
Reales
Para n ≥ 2 :
n n
Sucesiones y X 1 X 1
Series
Sn = 2 + <2+
Numéricas
k! k(k − 1)
Conceptos
Básicos
k=2 k=2
Convergencia n  
Tópicos
X 1 1 1
adicionales = 2+ − = 3 − < 3.
Subsucesiones
k−1 k n
Puntos Lı́mite k=2
El lim sup
Sucesiones de
Cauchy Es acotada. Por el teorema de Weierstrass es convergente.
Series
Su lı́mite se llama el número de Euler
Expansiones
n
Equipotencia
X 1
e = lim
Las Funciones n→∞ k!
exp y log k=0
Sucesiones y Series Numéricas
El Número de Euler

Algebra y
Análisis II
 n
Javier Trejos 1
Veamos que e = limn→∞ an con an = 1+
Supuestos n
 n+1
Los Números 1
Reales 1+  n
Sucesiones y
an+1 n+1 1 n+2
Series =  n = 1− 2
Numéricas an 1 (n + 1) n+1
Conceptos
1+
Básicos n
Convergencia
1
Tópicos
adicionales Aplicando la desigualdad de Bernoulli con x = − (n+1) 2:
Subsucesiones
Puntos Lı́mite
 
El lim sup
Sucesiones de an+1 n n+2 (n2 + n + 1)(n + 2)
Cauchy ≥ 1− = >1
Series
an (n + 1)2 n+1 (n + 1)3
Expansiones

Equipotencia
Ası́ (an ) es estrictamente creciente
Las Funciones
exp y log
Sucesiones y Series Numéricas
El Número de Euler

Algebra y
Análisis II Por el teorema del binomio:
Javier Trejos
n   n
X n 1 X n(n − 1) · · · (n − k + 1) 1
Supuestos an = k
= 2 +
k n nk k!
Los Números k=0 k=2
Reales n
X 1
Sucesiones y
≤ <e
Series
Numéricas
k!
k=0
Conceptos
Básicos
Convergencia
Tópicos
Por el teorema de Weierstrass (an ) es convergente
adicionales
Subsucesiones Sea a = limn→∞ an
Puntos Lı́mite
El lim sup
Sucesiones de
Véase que a ≤ e
Cauchy

Series
Para m fijo, n ≥ m:
Expansiones m
X n(n − 1) · · · (n − k + 1) 1
Equipotencia an ≥ 2 +
Las Funciones nk k!
k=2
exp y log
Sucesiones y Series Numéricas
El Número de Euler

Algebra y
Análisis II
n(n − 1) · · · (n − k + 1)
Javier Trejos
Para todo k ∈ {2, . . . , m}: →1
nk
Supuestos
Como m es fijo:
Los Números
Reales
X n(n − 1) · · · (n − k + 1) 1 m
Sucesiones y
X 1
Series 2+ k
→2+ = Sm
Numéricas n k! k!
k=2 k=2
Conceptos
Básicos
Convergencia
Tópicos Luego a = limn→∞ an ≥ Sm para cada m ∈ N
adicionales
Subsucesiones
Puntos Lı́mite
Tomando lı́mite cuando m → ∞ se concluye que a ≥ e
El lim sup
Sucesiones de
Cauchy
Como también a ≤ e entonces se tiene
 
1 n
Series

Expansiones e = a = lim 1 +
Equipotencia
n→∞ n
Las Funciones
exp y log
Sucesiones y Series Numéricas
El Número de Euler

Algebra y
Análisis II Ejemplo (2.4.9)
Javier Trejos
Sea an = (1 + n1 )3n+1 :
Supuestos
  3  
Los Números
1 n 1
Reales
an = 1+ 1+ → e3
Sucesiones y n n
Series
Numéricas
Conceptos
Básicos
Convergencia
Tópicos Ejemplo (2.4.10)
adicionales
Subsucesiones 1 n
Puntos Lı́mite Sea an = (1 + n2
) :
El lim sup
Sucesiones de
Cauchy "
   2 #1/n
Series 1 n 1 n
1≤ 1+ 2 = 1+ 2 ≤ e1/n → 1
Expansiones
n n
Equipotencia

Las Funciones
exp y log
Por el teorema del emparedado se tiene an → 1
Sucesiones y Series Numéricas
El Número de Euler

Algebra y
Análisis II

Javier Trejos

Supuestos Ejemplo (2.4.11)


2
Los Números
Reales Sea an = (1 + n1 )n :
Sucesiones y
  2   n
1 n 1 n
Series
Numéricas
Conceptos an = 1 + = 1+ ≥ 2n → ∞
Básicos
Convergencia
n n
Tópicos
adicionales
Subsucesiones luego
  2
1 n
Puntos Lı́mite
El lim sup
Sucesiones de lim 1 + = ∞.
Cauchy
n→∞ n
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II
Una subsucesión de (an ) resulta de escoger ciertos términos de
Javier Trejos forma ordenada: a2 , a5 , a8 , a0 , a12 , a15 , . . .
Supuestos Definición
Los Números
Reales
Dada una sucesión a = (an ) y una función ϕ : N → N
Sucesiones y
estrictamente creciente, se dice que b = a ◦ ϕ es una
Series
Numéricas
subsucesión de a.
Conceptos
Básicos
Se pone bk = aϕ(k) = ank para cada k ∈ N, donde nk = ϕ(k).
Convergencia
Tópicos
adicionales
Subsucesiones Ejemplo (2.4.12)
Puntos Lı́mite
El lim sup
Sucesiones de b = (1)n∈N es subsucesión de a = (−1)n con ϕ(k) = 2k.
Cauchy

Series
c = (−1)n∈N también, con ϕ(k) = 2k + 1.
Expansiones

Equipotencia Ejemplo (2.4.13)


Las Funciones
exp y log
(n)n∈N es subsucesión de (⌊ n3 ⌋), considerando ϕ(k) = 2k + 1.
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II

Javier Trejos
Nota: Si ϕ : N → N es estrictamente creciente, entonces
Supuestos ϕ(k) ≥ k para todo k.
Los Números
Reales Lema (2.4.1)
Sucesiones y
Series Si an → l entonces toda subsucesión aϕ(k) → l.
Numéricas
Conceptos
Básicos
Convergencia demostración. Sea ǫ > 0, ∃N ∈ N, ∀n ≥ N : |an − l| < ǫ.
Tópicos
adicionales Para k ≥ N se tiene ϕ(k) ≥ k ≥ N y luego |aϕ(k) − l| < ǫ para
Subsucesiones
Puntos Lı́mite k ≥ N.
El lim sup
Sucesiones de
Cauchy
Lema (2.4.2)
Series

Expansiones Si (an ) diverge a ∞ cualquier subsucesión de (an ) diverge a ∞.


Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II Ejemplo (2.4.14)
Javier Trejos
1
3n−1 → 0 pues es subsucesión de ( n1 )n≥1 .
Supuestos

Los Números
Reales Ejemplo (2.4.15)
Sucesiones y √ √
Series ( n2 + 1) diverge a ∞ dado que es subsucesión de ( n).
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
Ejemplo (2.4.16)
adicionales
Subsucesiones
Puntos Lı́mite
La sucesión a = (cos nπ
4 ) diverge, pues la subsucesión
El lim sup k
a4k = ((−1) ) diverge.
Sucesiones de
Cauchy

Series

Expansiones
Ejemplo (2.4.17)
Equipotencia La sucesión (an ) = (1 + (−1)n ) diverge, pues a2k → 2 y
Las Funciones
exp y log
a2k+1 → 0.
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II Lema (2.4.3)
Javier Trejos
Si (an ) es no acotada superiormente (inferiormente), entonces
Supuestos
tiene una subsucesión que diverge a ∞ (−∞).
Los Números
Reales

Sucesiones y
demostración. Sea (an ) no acotada superiormente,
Series entonces ninguna cola es (an ) es acotada superiormente. Sea ϕ
Numéricas
Conceptos
Básicos
definida por:
Convergencia
Tópicos ϕ(1) es el primer natural tal que aϕ(1) > 1
adicionales
Subsucesiones
Puntos Lı́mite
ϕ(k + 1) es el primer natural mayor que ϕ(k) tal que
El lim sup
Sucesiones de
aϕ(k+1) > k + 1, primer elemento de:
Cauchy

Series
Ak {n ∈ N : n > ϕ(k) y an > k + 1}
Expansiones

Equipotencia
Ak 6= ∅ pues (an )n≥ϕ(k) es no acotada.
Las Funciones
exp y log Como aϕ(k) > k se tiene aϕ(k) → ∞.
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Reales

Sucesiones y
Ejemplo (2.4.18)
Series
Numéricas La sucesión (n + n1 + (−1)n n)n∈N es no acotada
Conceptos
Básicos
Convergencia
superiormente. La subsucesión a2k diverge a ∞, aunque la
Tópicos
adicionales subsucesión (a2k+1 ) → 0.
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II Teorema (38. Bolzano Weierstrass)
Javier Trejos
Toda sucesión acotada tiene una subsucesión convergente.
Supuestos

Los Números demostración. Sea (an ) acotada y sea A su rango. Existe


Reales
α1 , β1 con A ⊂ [α1 , β1 ]. Separamos N:
Sucesiones y
Series    
Numéricas α1 + β 1 α1 + β 1
Conceptos N = j ∈ N : aj ≤ ∪ j ∈ N : aj >
Básicos
Convergencia 2 2
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
Al menos uno de estos conjuntos es infinito por ser N infinito.
El lim sup
Sucesiones de
Si es el primero, sea α2 = α1 , β2 = α1 +β2
1

sino, sea α2 = α1 +β
Cauchy
2 , β2 = β1 . Se define ası́ una sucesión
1
Series

Expansiones
([αn , βn ]) de intervalos encajados tal que
Equipotencia
βn − αn = 21n (β1 − α1 ) → 0, y cada conjunto
Las Funciones {j ∈ N : aj ∈ [αn , βn ] = In } es infinito.
exp y log
(sigue)
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II

Javier Trejos

Supuestos Teorema (38. Bolzano Weierstrass)


Los Números
Reales Toda sucesión acotada tiene una subsucesión convergente.
Sucesiones y
Series
Numéricas
demostración. (Cont.) T
Conceptos
Básicos
Según el ejemplo 2.4.8 se sigue que n∈N In = {λ}, donde
Convergencia
Tópicos
λ = limn→∞ αn = limn→∞ βn .
adicionales
Subsucesiones Se define n1 = 1 y
Puntos Lı́mite
El lim sup nk+1 = min {n > nk : an ∈ [αk+1 , βk+1 ] − {an1 , . . . , ank }}.
Sucesiones de
Cauchy Por αk ≤ ank ≤ βk y el teorema del emparedado se concluye
Series
que ank → λ.
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Subsucesiones

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Ejemplo (2.4.19)


Reales

Sucesiones y La sucesión a = (cos nπ


2 )n∈N tiene las siguientes subsucesiones
Series
Numéricas convergentes (constantes):
Conceptos
Básicos
Convergencia
a2n+1 → 0
Tópicos
adicionales
Subsucesiones
a4n → 1
Puntos Lı́mite
El lim sup a4n+2 → 1.
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos Definición


Supuestos
Un punto c ∈ R se llama punto lı́mite de una sucesión (xn ), si
Los Números
existe una subsucesión (xnk ) que converge a c: Nótese que si
Reales ese es el caso, entonces por la definición de converegencia, se
Sucesiones y
Series
tiene la siguiente propiedad:
Numéricas
Conceptos
Básicos Dado ε > 0; existe una cantidad infinita de ı́ndices tales
Convergencia
Tópicos
adicionales
|xn − c| < ε (2.3)
Subsucesiones
Puntos Lı́mite
El lim sup
O dicho de otra forma, en todo intervalo abierto que contiene a
Sucesiones de
Cauchy c; existe una cantidad infinita de elementos de la sucesión.
Series Después de dar algunos ejemplos, vamos a demostrar que esta
Expansiones condición es también suficiente para garantizar que c sea un
Equipotencia
punto lı́mite de (xn )
Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.4.20)
Supuestos

Los Números Para xn = (−1)n tenemos que x2k = 1 → 1;


Reales
x2k+1 = −1 → −1.
Sucesiones y
Series Además, cualquier subsucesión convergente debe converger a
Numéricas
Conceptos
uno de estos números. Entonces (xn ) posee únicamente los
Básicos
Convergencia puntos lı́mite 1 y −1.
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.4.20)
Supuestos

Los Números Para xn = (−1)n tenemos que x2k = 1 → 1;


Reales
x2k+1 = −1 → −1.
Sucesiones y
Series Además, cualquier subsucesión convergente debe converger a
Numéricas
Conceptos
uno de estos números. Entonces (xn ) posee únicamente los
Básicos
Convergencia puntos lı́mite 1 y −1.
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Ejemplo (2.4.21)
Sucesiones de n n+1
Cauchy
Considere xn = + (−1)n . En este caso tenemos
Series n+1 n
Expansiones los puntos lı́mite 0 y 2; dado que x2k → 2; y x2k+1 → 0.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (2.4.22)
Los Números Para xn = cos nπ
4 tenemos x4k = coskπ = (−1)k ;
Reales  √
Sucesiones y x4k+1 = cos π4 + kπ  = (−1)k 22 ,
Series
Numéricas x4k+2 = cos π2 + kπ = 0,
 √
k+1 2
x4k+3 = cos 3π
Conceptos
Básicos
Convergencia 4 + kπ = (−1) 2 .
Tópicos
adicionales
Entonces el conjunto de puntos lı́mite (reales) de esta sucesión
Subsucesiones
Puntos Lı́mite
es ( √ √ )
El lim sup
2 2
Sucesiones de
Cauchy Ω= − , −1, 0, 1,
Series
2 2
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos
Lema (2.4.4)
Supuestos

Los Números El número real c es un punto lı́mite de (xn ) sii satisface la


Reales
propiedad (2.3).
Sucesiones y
Series
Numéricas demostración. Si c es punto lı́mite, se tiene c = lim xnk ,
Conceptos
Básicos
Convergencia
para alguna subsucesión (xnk ). Dado ε > 0, ∃K ∈ N tal que
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
|xnk − c| < ε; para k ≥ K.
El lim sup
Sucesiones de
Cauchy Entonces efectivamente existe una cantidad infinita de ı́ndices
Series
(todos los nk con k ≥ K) que cumplen |xn − c| < ε.
Expansiones
(Sigue)
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II Lema (2.4.4)
Javier Trejos
El número real c es un punto lı́mite de (xn ) sii satisface la
Supuestos propiedad (2.3).
Los Números
Reales
demostración. (Cont.) Recı́procamente, si (2.3) se
Sucesiones y
Series satisface, se define nk en forma recursiva como sigue. Primero
Numéricas
Conceptos
n1 = 1; y dado nk escogemos nk+1 como el primer elemento
Básicos
Convergencia del conjunto
Tópicos  
adicionales
Subsucesiones 1
Puntos Lı́mite n > nk : |xn − c| <
El lim sup k+1
Sucesiones de
Cauchy
Este conjunto es no vacı́o dado que es infinito. Como
Series
1
Expansiones |xnk − c| < tenemos:
k
Equipotencia
xnk → c
Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos

Supuestos
Para lo que sigue conviene incluir los casos a = ±∞ como
Los Números
posibles puntos lı́mite.
Reales
Decimos que ∞ es un punto lı́mite de (xn ) si esta
Sucesiones y
Series sucesión posee una subsucesión que diverge a ∞
Numéricas
Conceptos (similarmente con −∞).
Básicos
Convergencia
Tópicos
Entonces ∞ es punto lı́mite si y sólo si (xn ) es no acotada
adicionales
Subsucesiones superiormente.
Puntos Lı́mite
El lim sup
Sucesiones de
El conjunto de puntos lı́mite de x = (xn ) lo vamos a
Cauchy
denotar por:
Series
Ω(x) ⊂ R ∪ {∞, −∞}.
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Ejemplo (2.4.23)
Reales

Sucesiones y
El conjunto de puntos lı́mites de la sucesión
Series
Numéricas
a = (n + (−1)n n)n∈N es Ω(a) = {0, ∞}.
Conceptos
Básicos
Convergencia
Tópicos Ejemplo (2.4.24)
adicionales

Para la sucesión dada por xn = (−1)n n se tiene


Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy
Ω(x) = {−∞, ∞}.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (2.4.25)
Los Números 
Reales
Para la sucesión x = n cos nπ
2 n∈N
tenemos
Sucesiones y
Series Ω(x) = {−∞ , 0, ∞}.
Numéricas
Conceptos
Básicos
Convergencia Ejemplo (2.4.26)
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
 nπ  1
El lim sup
Ω n + (−1)n n + cos = {−1, , ∞}
Sucesiones de
Cauchy 3 2
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos

Supuestos Lema (2.4.5)


Los Números
Reales Para toda sucesión (xn ) tenemos Ω ((xn )) 6= ∅
Sucesiones y
Series
Numéricas demostración.
Conceptos
Básicos
Convergencia
Si (xn ) es acotada, el resultado se sigue del teorema de
Tópicos
adicionales
Bolzano-Weierstrass.
Subsucesiones
Puntos Lı́mite Si (xn ) no es acotada, entonces es no acotada
El lim sup
Sucesiones de
Cauchy
superiormente o no acotada inferiormente. En el primer
Series caso, ∞ es punto lı́mite, en el segundo lo es −∞.
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II
Lema (2.4.6)
Javier Trejos

Supuestos
La sucesión (xn ) converge a l si y sólo si l es su único punto
Los Números
lı́mite. Similarmente, (xn ) diverge a ∞ si y sólo si ∞ es su
Reales único punto lı́mite.
Sucesiones y
Series
Numéricas demostración. Hay una dirección fácil. Si (xn ) converge a
Conceptos
Básicos l, entonces toda subsucesión converge a l, y por lo tanto éste
Convergencia
Tópicos es el único punto lı́mite de (xn ).
adicionales
Subsucesiones Recı́procamente, suponga que l ∈ R es el único punto lı́mite.
Puntos Lı́mite
El lim sup Vamos a proceder por contradicción. Suponga que no es cierto
Sucesiones de
Cauchy
que (xn ) converge a l. Entonces
Series

Expansiones
∃ε > 0, ∀N ∈ N, ∃n > N : |xn − l| ≥ ε.
Equipotencia

Las Funciones
exp y log
(Sigue)
Sucesiones y Series Numéricas
Puntos Lı́mite

Algebra y
Análisis II

Javier Trejos

Supuestos
Lema (2.4.6)
Los Números
Reales
La sucesión (xn ) converge a l si y sólo si l es su único punto
Sucesiones y
lı́mite. Similarmente, (xn ) diverge a ∞ si y sólo si ∞ es su
Series
Numéricas
único punto lı́mite.
Conceptos
Básicos
Convergencia demostración. (Cont.) Pero entonces existe toda una
Tópicos
adicionales subsucesión (xnk ) tal que |xnk − l| ≥ ε para cada k ∈ N: Sea a
Subsucesiones
Puntos Lı́mite un punto lı́mite de (xnk ) ; el cual existe por el lema anterior.
El lim sup
Sucesiones de
Cauchy
Como |xnk − l| ≥ ε se tiene a 6= l pero además a es punto
Series lı́mite de (xn ) ; lo cual es contradictorio. Por lo tanto,xn → l.
Expansiones El caso l = ∞se deja como ejercicio.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos El conjunto R̄ = R ∪ {−∞, ∞} se puede ordenar


extendiendo el orden usual de R en forma natural.
Supuestos

Los Números Para esto basta con imponer que


Reales

Sucesiones y
Series
−∞ ≤ x ≤ ∞
Numéricas
Conceptos
Básicos para cada x ∈ R̄.
Convergencia
Tópicos
adicionales Este es un orden total en R̄, en el cual todo conjunto es
Subsucesiones
Puntos Lı́mite acotado (∞es cota superior de R y −∞ es cota inferior).
El lim sup
Sucesiones de
Cauchy
Con esto en mente, podemos hablar del supremo de
Series cualquier conjunto A ⊆ R̄, como la menor cota superior.
Expansiones
En el caso que A tenga una cota superior b ∈ R, la noción
Equipotencia
de supremo es la misma de antes.
Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos Definición


Supuestos
En caso contrario, obtenemos las siguientes posibilidades:
Los Números 1 Si A = ∅ ó A = {−∞} todo elemento de R̄ es cota
Reales
superior de A, ası́ que supA = −∞
Sucesiones y
Series
Numéricas
2 Si A no tiene cota superior en R (en particular si ∞ ∈ A)
Conceptos
Básicos
entonces supA = ∞
Convergencia
Tópicos
adicionales
Subsucesiones
El extremo inferior o ı́nfimo se define de manera similar. Por
Puntos Lı́mite
El lim sup
ejemplo:
Sucesiones de
Cauchy inf ∅ = inf{∞} = ∞
Series

Expansiones
mientras que inf A = −∞ cuando A no tiene cota inferior en
Equipotencia
R. Nótese que A = ∅ , es el único conjunto que cumple
Las Funciones sup A < inf A.
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (2.4.27)
Los Números
Reales
Si A = {−∞, ∞}, B = Z, C = (−∞, 0) ∪ {∞} se tiene
Sucesiones y
Series
Numéricas
Conceptos
sup A = sup B = sup C = ∞
Básicos
Convergencia
Tópicos
adicionales
mientras que
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
inf A = inf B = inf C = −∞
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Reales
Definición (2.4.2)
Sucesiones y
Series
Sea x = (xn ) una sucesión, y Ω el conjunto formado por sus
Numéricas puntos lı́mite.
Conceptos
Básicos
Convergencia
Se define:
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
lim sup xn = sup Ω, lim inf xn = inf Ω
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II
Lema (2.4.7)
Javier Trejos

Ambos lim sup xn y lim inf xn son puntos lı́mite de x (es decir,
Supuestos
pertenecen a Ω).
Los Números
Reales

Sucesiones y demostración. Considere α = lim sup xn y suponga que


Series
Numéricas α ∈ R. Dado ε > 0 existe a ∈ Ω tal que α ≥ a ≥ α − 2ε . Por
Conceptos
Básicos ser a punto lı́mite, existe un número infinito de elementos de la
Convergencia
Tópicos sucesión en el intervalo
adicionales
Subsucesiones i ε εh
Puntos Lı́mite
El lim sup a − ,a +
Sucesiones de 2 2
Cauchy

Series el cual está contenido en ]α − ε, α + ε[. Entonces α es un


Expansiones
punto lı́mite.
Equipotencia
El caso α ∈ {−∞, ∞} se deja como ejercicio.
Las Funciones
exp y log Para el lim inf se procede similarmente.
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos

Supuestos Ejemplo (2.4.28)


Los Números
Reales Para xn = cos nπ
4 tenemos lim sup xn = 1, lim inf xn = −1
Sucesiones y
Series
Numéricas
Conceptos
Ejemplo (2.4.29)
Básicos
Convergencia
Tópicos
lim sup (n + (−1)n n) = ∞, lim inf (n + (−1)n n) = 0
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup Ejemplo (2.4.30)
Sucesiones de
Cauchy

Series
lim sup ((−1)n n) = ∞, lim inf ((−1)n n) = 0
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Ejemplo (2.4.31)


Reales

Sucesiones y
lim sup (n − 2n ) = lim inf (n − 2n ) = −∞ dado que
Series
Numéricas
n − 2n → −∞
Conceptos
Básicos
Convergencia
Tópicos
Ejemplo (2.4.32)
adicionales 
Subsucesiones
Puntos Lı́mite lim sup n + (−1)n n + cos nπ3  = ∞,
El lim sup
Sucesiones de lim inf n + (−1)n n + cos nπ
3 = −1
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos
Teorema (39)
Supuestos
Sea (xn ) una sucesión de números reales, tal que
Los Números
Reales α = lim sup xn ∈ R. Entonces:
Sucesiones y
Series
1 Para todo ε > 0 existe n ∈ N tal que xn < α + ε para
Numéricas
Conceptos
n≥N
Básicos
Convergencia 2 Para todo ε > 0 y todo N ∈ N, existe n > N tal que
Tópicos
adicionales
Subsucesiones
xn > α − ε
Puntos Lı́mite
!
El lim sup
Sucesiones de 3 α = lim sup xk . En otras palabras, la sucesión
Cauchy n→∞ k≥n
Series
bn = sup xk converge a α.
Expansiones k≥n
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos

Supuestos
Teorema (39.1)
Los Números
Reales
Sea (xn ) una sucesión de números reales, tal que
Sucesiones y
α = lim sup xn ∈ R. Entonces:
Series
Numéricas
1. Para todo ε > 0 existe n ∈ N tal que xn < α + ε para
Conceptos
Básicos
n ≥ N.
Convergencia
Tópicos
adicionales demostración. Si esto fuera falso, se podrı́a construir una
Subsucesiones
Puntos Lı́mite subsucesión (xnk ) tal que xnk ≥ α + ε.
El lim sup
Sucesiones de
Cauchy
En tal caso (xnk ) serı́a acotada, por lo que habrı́a un punto
Series lı́mite a ≥ α + ε.
Expansiones Esto contradice el hecho que α es el mayor punto lı́mite.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II

Javier Trejos

Supuestos
Teorema (39.2)
Los Números
Reales
Sea (xn ) una sucesión de números reales, tal que
Sucesiones y
Series α = lim sup xn ∈ R. Entonces:
Numéricas
Conceptos 2. Para todo ε > 0 y todo N ∈ N, existe n > N tal que
Básicos
Convergencia xn > α − ε.
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite demostración. Como existe un número infunito de
El lim sup
Sucesiones de elementos de la sucesión en el intevalo ]α − ε, α + ε[, en
Cauchy

Series
particular se tiene que éstos son mayores que α − ε.
Expansiones

Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
El lim sup y el lim inf

Algebra y
Análisis II
Teorema (39.3)
Javier Trejos
Sea (xn ) una sucesión de números reales, tal que
Supuestos
α = lim sup xn ∈ R. Entonces:
!
Los Números
Reales

Sucesiones y
3. α = lim sup xk .
n→∞ k≥n
Series
Numéricas
Conceptos
En otras palabras, la sucesión bn = sup xk converge a α.
Básicos k≥n
Convergencia
Tópicos
adicionales
Subsucesiones demostración. Sea ε > 0. Por la propiedad 1 existe N tal
Puntos Lı́mite
El lim sup que bn = sup xk ≤ α + ε para cada n > N . Pero por (2)
Sucesiones de
Cauchy
k≥n
Series
también tenemos bn > α − ε, para todo n ∈ N. Entonces
Expansiones

Equipotencia
|bn − α| < ε para n ≥ N
Las Funciones
exp y log Esto es bn → α.
Sucesiones y Series Numéricas
Sucesiones de Cauchy

Algebra y
Análisis II

Javier Trejos
Lema (2.4.8)
Supuestos
Si (an ) es convergente, para todo ε > 0 existe N ∈ N tal que
Los Números
Reales |an − am | < ε, siempre que n, m ≥ N . Equivalentemente, la
Sucesiones y sucesión
Series
Numéricas αn = sup |an − am |
Conceptos m≥n
Básicos
Convergencia
Tópicos converge a 0.
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
demostración. Si l es el lı́mite de (an ), existe N ∈ N tal
Sucesiones de ε
Cauchy que |an − l| < para cada n ≥ N . Luego para cada n, m ≥ N
Series 2
se tiene
Expansiones
|an − am | ≤ |an − l| + |l − am | < ε.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones de Cauchy

Algebra y
Análisis II

Javier Trejos
Definición (2.4.3)
Supuestos

Los Números
(an ) se llama una sucesión de Cauchy si
Reales

Sucesiones y
Series
∀ε > 0, ∃N ∈ N, ∀n, m ≥ N : |an − am | < ε.
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Por el Lema anterior tenemos que toda sucesión
Subsucesiones
Puntos Lı́mite
convergente es de Cauchy.
El lim sup
Sucesiones de
Cauchy
Demostraremos que, para sucesiones reales, toda sucesión
Series de Cauchy es convergente.
Expansiones Para esto se requieren algunos resultados previos.
Equipotencia

Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones de Cauchy

Algebra y
Análisis II

Javier Trejos
Lema (2.4.9)
Supuestos
Si (an ) es de Cauchy, y tiene un punto lı́mite λ, entonces (an )
Los Números
Reales converge a λ.
Sucesiones y
Series
Numéricas
demostración. Sea (ank ) una subsucesión que converge a λ,
ε
Conceptos
Básicos y sea ε > 0. Existen N1 y N2 tales que |ank − λ| < para
Convergencia 2
Tópicos ε
adicionales k ≥ N1 y |an − am | < para n, m ≥ N2 .
Subsucesiones
Puntos Lı́mite
2
El lim sup Sea N = max{N1 , N2 } y sea k = N . Para todo n ≥ N se
Sucesiones de
Cauchy tiene
Series |an − λ| ≤ |an − ank | + |ank − λ| < ε.
Expansiones

Equipotencia Por lo tanto (an ) converge a λ.


Las Funciones
exp y log
Sucesiones y Series Numéricas
Sucesiones de Cauchy

Algebra y
Análisis II

Javier Trejos Lema (2.4.10)


Supuestos Toda sucesión de Cauchy es acotada.
Los Números
Reales

Sucesiones y
Teorema (40)
Series
Numéricas Una sucesión de números reales (an ) es convergente si y sólo si
Conceptos
Básicos
Convergencia
es de Cauchy.
Tópicos
adicionales
Subsucesiones demostración. El lema 2.4.8 da una dirección (⇒).
Puntos Lı́mite
El lim sup Supongamos que (an ) es de Cauchy. Por el lema 2.4.10 es
Sucesiones de
Cauchy acotada.
Series
Por el teorema de Bolzano–Weierstrass tiene un punto lı́mite.
Expansiones
Por el lema 2.4.9 es convergente.
Equipotencia
Nota: esto es equivalente al Axioma del Extremo Superior.
Las Funciones
exp y log
Un barniz de series
Un barniz de series

Algebra y
Análisis II

Javier Trejos

Supuestos Recordemos la históricamente famosa paradoja de Zenón.


Los Números
Reales Al tratar de recorrer un intervalo de longitud 1, primero se
Sucesiones y debe pasar por la mitad, luego por la mitad de la mitad, y
Series
Numéricas ası́ sucesivamente.
Conceptos
Básicos
Convergencia
Se obtiene ası́ la identidad
Tópicos
adicionales
Subsucesiones 1 1 1 1 1 1
Puntos Lı́mite + + + ... = + 2 + 3 + ... = 1
El lim sup 2 4 8 2 2 2
Sucesiones de
Cauchy

Series
que desde el punto de vista geométrico es evidente.
Expansiones

Equipotencia

Las Funciones
exp y log
Un barniz de series
La serie geométrica

Algebra y
Análisis II
Sea la progresión geométrica (an )n∈N , definida por an = crn ,
Javier Trejos donde c, r ∈ R.Definimos la sucesión de sumas parciales
Supuestos n
X
n
Los Números Sn = c + cr + . . . + cr = c + crk
Reales
k=1
Sucesiones y
Series
Numéricas
Conceptos
Básicos
Definición (Serie Geométrica)
Convergencia
Tópicos
adicionales A la sucesión (Sn )n∈N le llamaremos la serie geométrica de
Subsucesiones
Puntos Lı́mite razón r. Cuando (Sn ) converge a S, escribimos
El lim sup
Sucesiones de
Cauchy ∞
X
Series c+ crn = S
Expansiones n=1
Equipotencia

Las Funciones
exp y log (Sn ) se define recursivamente por S0 = c, Sn+1 = Sn + crn+1
Un Barniz de Series
La serie geométrica: Algunos casos particulares

Algebra y
Análisis II

Javier Trejos Si c = 0 tenemos Sn = 0 para cada n y la serie converge a


Supuestos
S = 0.
Los Números Si r = 0 tenemos que Sn = c para cada n y la serie
Reales
converge a S = c.
Sucesiones y
Series
Numéricas
Si c 6= 0 y r = 1 se tiene Sn = (n + 1)c, y por lo tanto
Conceptos
Básicos
(Sn ) diverge a +∞ ó −∞ dependiendo del signo de c.
Convergencia
Tópicos
Tenemos entonces
adicionales
Subsucesiones ∞
X ∞
X
Puntos Lı́mite
El lim sup
Sucesiones de
c = +∞ si c > 0, c = −∞ si c < 0
Cauchy
n=0 n=0
Series

Expansiones Si c 6= 0 y r = −1 tenemos S2k = c y S2k+1 = 0. Luego


Equipotencia (Sn ) es divergente.
Las Funciones
exp y log
Un Barniz de Series
La serie geométrica: Algunos casos particulares

Algebra y 1
Análisis II Para c = 1 y r = 2 tenemos que
Javier Trejos
1 1 1
Sn = 1 + + ... + n = 2 − n
Supuestos 2 2 2
Los Números 1
Reales Luego la serie geométrica de razón converge, y además
Sucesiones y
2
Series ∞
Numéricas X 1
Conceptos =2
Básicos 2n
Convergencia n=0
Tópicos
adicionales
Subsucesiones Si c = 1 y r = 3, tenemos
Puntos Lı́mite
El lim sup
Sucesiones de Sn = 1 + 3 + 32 + . . . + 3n > 3n ,
Cauchy

Series ası́ que la serie geométrica diverge a +∞ en este caso.


Expansiones Escribimos
X∞
Equipotencia

Las Funciones
3n = ∞
exp y log n=0
Un Barniz de Series
La serie geométrica: El caso general

Algebra y
Análisis II
Sn = c + cr + cr2 + . . . + crn . Multiplicando por 1 − r se
Javier Trejos obtiene
Supuestos
(1−r)Sn = (c−cr)+(cr−cr2 )+(cr2 −cr3 )+. . .+(crn −crn+1 )
Los Números
Reales
donde no se cancelan el primero y el último término. Entonces
Sucesiones y c − crn+1
Series Sn = para cada n ∈ N
Numéricas 1−r
Conceptos
Básicos
Convergencia
siempre que r 6= 1. Los casos c = 0 y |r| = 1 fueron analizados
Tópicos
adicionales antes, ası́ que tomamos c 6= 0 y |r| 6= 1.
Para |r| > 1, la sucesión (rn ) diverge, y luego también
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de (Sn ).
Cauchy
c
Series Para |r| < 1, rn → 0, y entonces (Sn ) → .
1−r
Expansiones
Por lo tanto la serie geométrica converge si y solo si |r| < 1, y
Equipotencia
además
Las Funciones ∞
X c
exp y log
crn = , |r| < 1
Un Barniz de Series
La serie geométrica: El caso general

Algebra y
Análisis II Ejemplo (2.5.1)
Javier Trejos
3 3
Entendiendo que x = 0, 333 . . . signfica x = + + ...
Supuestos 10 102
tenemos
Los Números
Reales
∞  n 3
3 3 X 3 1 1
Sucesiones y
Series 0, 333 . . . = + 2 + ... = = 10 1 =
Numéricas 10 10 10 10 1 − 10 3
n=0
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
Ejemplo (2.5.2)
El lim sup
Sucesiones de
Cauchy En el caso de la paradoja de Zenón se tiene
Series
1 ∞
Expansiones 1 1 1 X1 1
+ + + ... = . n = 2 1 =1
Equipotencia 2 4 8 2 2 1− 2
n=0
Las Funciones
exp y log
Un Barniz de Series
La serie geométrica: El caso general

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.5.3)

Supuestos
Otro ejemplo que debe sonar familiar es
Los Números ∞  n 9
Reales X 9 1
Sucesiones y
0.999 . . . = = 10 1 = 1
Series 10 10 1 − 10
n=0
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Ejemplo (2.5.4)
Puntos Lı́mite
El lim sup
Sucesiones de
Similarmente
Cauchy
∞  n 9
Series 4 X 9 1 4 2 1
0.4999 . . . = + = + 10 1 = = 0.5
Expansiones
10 102 10 10 1 − 10 2
Equipotencia
n=0

Las Funciones
exp y log
Un Barniz de Series
La serie geométrica: El caso general

Algebra y
Análisis II

Javier Trejos

Nótese que en general podemos definir la serie comenzando en


Supuestos

Los Números
n = 1 ası́:
Reales
∞ ∞
X X c cr
Sucesiones y
Series crn = crn − c = −c= , |r| < 1
Numéricas 1−r 1−r
Conceptos
n=1 n=0
Básicos
Convergencia
Tópicos Esto también puede verse como
adicionales
Subsucesiones
Puntos Lı́mite ∞ ∞
X X cr
crn = cr+cr2 +. . . = cr(1+r+r2 +. . .) = cr rn =
El lim sup
Sucesiones de
Cauchy 1−r
Series
n=1 n=0

Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
La serie geométrica: El caso general

Algebra y
Análisis II Ejemplo (2.5.5)
Javier Trejos ∞
X 3n 3
Supuestos
La serie (−1)n n es geométrica, con r = − . Por lo tanto
4 4
Los Números n=0
Reales es convergente
Sucesiones y
∞ ∞  
Series X 3n X 3 n 1 4
Numéricas
(−1)n n = − = 3 =
Conceptos
Básicos 4 4 1+ 4
7
Convergencia
n=0 n=0
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Ejemplo (2.5.6)
Cauchy

Series
X 22n 3n
La serie diverge, dado que es geométrica con
Expansiones 11n
n=0
Equipotencia 12
Las Funciones r= > 1.
exp y log 11
Un Barniz de Series
La serie geométrica: El caso general

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Ejemplo (2.5.7)


Reales ∞
X (−1)n 2n
Sucesiones y
La serie converge, y se tiene
Series
Numéricas
3n
n=1
Conceptos
Básicos
∞ ∞  
2 n − 23
Convergencia
Tópicos
X (−1)n 2n X 2
adicionales = − = 2 = −5
Subsucesiones
3n 3 1+ 3
Puntos Lı́mite n=1 n=1
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos

En general, dada una sucesión (an ) podemos formar la sucesión


Supuestos

Los Números
de sumas parciales (Sn ) definida por
Reales

Sucesiones y S0 = a0 , Sn+1 = Sn + an+1


Series
Numéricas
Conceptos

X
Básicos
Convergencia Si (Sn ) converge, decimos que la serie an converge, y
Tópicos
adicionales n=0
Subsucesiones
Puntos Lı́mite
escribimos

X
El lim sup
Sucesiones de
Cauchy an = S = lim Sn
n→∞
Series n=1
Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.5.8 (Una serie telescópica))

Supuestos X 1
Los Números Para analizar la serie podemos observar que
Reales n(n + 1)
n=1
Sucesiones y 1 1 1
Series = − , y que por lo tanto Sn =
Numéricas n(n
 + 1)
  n n +1  
Conceptos
Básicos 1 1 1 1 1 1
Convergencia 1− + − + ... + − =1−
Tópicos
adicionales
2 2 3 n (n + 1) (n + 1)
Subsucesiones
Puntos Lı́mite
Luego la serie converge, y
El lim sup
Sucesiones de ∞
Cauchy X 1
Series =1
n(n + 1)
Expansiones n=1
Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II Note que en el último ejemplo la serie comienza en n = 1. En
Javier Trejos general, para hablar de
Supuestos ∞
X
Los Números
Reales
bn = bN + bN +1 + . . .
Sucesiones y
n=N
Series
Numéricas
Conceptos
escribimos
Básicos
Convergencia
Tópicos
adicionales
bN + bN +1 + . . . = a0 + a1 + . . . , donde an = bn+N
Subsucesiones
Puntos Lı́mite
El lim sup Definimos entonces
Sucesiones de
Cauchy

X ∞
X ∞
X ∞
X
Series

Expansiones
bn = bn+N ⇔ bn = cn
n=N n=0 n=N n=0
Equipotencia

Las Funciones
exp y log donde cn = bn para n ≥ N , y cn = 0 para n < N .
Un Barniz de Series
Otras Series

Algebra y
Análisis II
Observe que cualquier combinación lineal de series
Javier Trejos convergentes es convergente.
Supuestos
Lema

X ∞
X
Los Números
Reales Si las series an y bn convergen y si α y β son
Sucesiones y n=0 n=0
Series ∞
X
Numéricas
Conceptos constantes, entonces la serie (αan + βbn ) también
Básicos
Convergencia n=0
Tópicos ∞
X ∞
X ∞
X
adicionales
Subsucesiones
Puntos Lı́mite
converge. Además (αan + βbn ) = α an + β bn .
El lim sup n=0 n=0 n=0
Sucesiones de ∞
X ∞
X
Cauchy

Series Esto es, si an = S y bn = T entonces


Expansiones n=0 n=0
Equipotencia

X
Las Funciones
exp y log (αan + βbn ) = αS + βT
n=0
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos

Ejemplo (2.5.9)
Supuestos
∞   ∞
Los Números
X 3 4 X 1
Reales La serie n
+ converge, dado que y
2 n(n + 1) 2n
Sucesiones y n=1 n=1
Series ∞
Numéricas
X 1
Conceptos convergen.
Básicos n(n + 1)
Convergencia n=1
Tópicos
adicionales
Además
Subsucesiones
Puntos Lı́mite ∞ ∞ ∞
El lim sup
X 3 4 X 1 X 1
Sucesiones de
n
+ =3 n
+4 = 3·1+4·1 = 7
Cauchy
2 n(n + 1) 2 n(n + 1)
Series n=1 n=1 n=1
Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos

Supuestos Ejemplo (2.5.10)


Los Números
Reales La serie

Sucesiones y
X 1 + (−1)n
Series
Numéricas 3n
n=1
Conceptos
Básicos
Convergencia converge, por ser suma de series convergentes, y se tiene
Tópicos
adicionales
∞ ∞  n X ∞  
1 n 1 −1
Subsucesiones
Puntos Lı́mite
X 1 + (−1)n X 1 1
El lim sup = + − = 3 1+ 3 1 =
Sucesiones de 3n 3 3 1− 3 1+ 3 4
Cauchy n=1 n=1 n=1
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II Ejemplo (2.5.11)
Javier Trejos
La serie

Supuestos
X 2 + 4n
(2.4)
Los Números 3n
Reales n=1
Sucesiones y
Series diverge.
Numéricas
Conceptos
Básicos Para probar esto, suponga que la serie converge. Entonces al
Convergencia ∞
Tópicos
X 2
adicionales restarle nos darı́a una serie convergente. Pero
Subsucesiones
3n
Puntos Lı́mite n=1
El lim sup
 n
2 + 4n
Sucesiones de
Cauchy 2 4
Series n
− n =
3 3 3
Expansiones

Equipotencia y este último es el término general de una serie geométrica


Las Funciones divergente. Consecuentemente, la serie en (2.4) no puede
exp y log
converger.
Un Barniz de Series
Otras Series

Algebra y P∞ P∞
Análisis II
En
P∞general, si n=0 an y n=0 (an + bn ) convergen entonces
Javier Trejos
n=0 bn también converge, debido P a que
Supuestos bn = −an + (an + bn ). EsP
P decir, si ∞ n=0 an converge y
∞ ∞
Los Números
n=0 bn diverge, la serie n=0 (a n + bn ) debe diverger. Pero
Reales

Sucesiones y
la suma de dos series divergentes puede ser convergente:
Series
Numéricas ∞ ∞
Conceptos
X 2 + 4n X 2 − 4n
Básicos y
Convergencia 3n 3n
Tópicos n=1 n=1
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
son divergentes, mientras que su suma
Sucesiones de
Cauchy
∞   ∞
Series
X 2 + 4n 2 − 4n X 4
+ =
Expansiones 3n 3n 3n
n=1 n=1
Equipotencia

Las Funciones es convergente.


exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos Lema (2.5.2, criterio de divergencia)



X
Supuestos

Los Números
Si la serie an converge, entonces (an ) → 0.
Reales n=1
Sucesiones y
Series
Numéricas
demostración. Como la serie converge, existe el lı́mite
Conceptos
Básicos
Convergencia S = lim Sn
Tópicos
adicionales
n→∞
Subsucesiones
Puntos Lı́mite
El lim sup
y por lo tanto an = Sn − Sn−1 → S − S = 0.
Sucesiones de
Cauchy Nótese que entonces, si an 9 0 la serie debe diverger. No se
Series asegura que si an → 0 entonces la serie converge. Es decir,
Expansiones an → 0 es una condición necesaria pero no suficiente para la
Equipotencia
convergencia de la serie.
Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.5.12)

Supuestos
Las siguientes series son divergentes:

Los Números
X n n
Reales 1 pues → 1.
n+1 n+1
Sucesiones y n=1
Series
∞    
Numéricas X 1 n 1 n
Conceptos 2 1+ pues 1 + → e.
Básicos
Convergencia n n
Tópicos
n=1
adicionales
X∞
Subsucesiones
Puntos Lı́mite
El lim sup
3 (−1)n pues limn→∞ (−1)n no existe.
Sucesiones de
Cauchy
n=1

Series X √
n

Expansiones
4 n pues n
n diverge a ∞.
n=1
Equipotencia

Las Funciones
En los cuatro casos el término general no converge a cero.
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos Ejemplo (2.5.13)



Supuestos
X √ √
Los Números
Para la serie ( n + 1 − n) tenemos que
Reales n=1
Sucesiones y
Series √ √ 1
Numéricas an = n+1− n= √ √ →0
Conceptos
Básicos
n+1+ n
Convergencia
Tópicos
adicionales y sin embargo la serie diverge, pues como el lector puede
Subsucesiones
Puntos Lı́mite verificar:
El lim sup
Sucesiones de
n  √  √
Cauchy X √
Series Sn = k+1− k = n+1−1→∞
Expansiones k=1
Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos
Teorema (41, de comparación)
Supuestos

Los Números
Suponga
P que 0 ≤ an ≤ bn para todoP n ∈ N, y que la serie
Reales bn converge. Entonces la serie an converge, y además
Sucesiones y
Series ∞
X ∞
X
Numéricas
Conceptos
Básicos
an ≤ bn
Convergencia n=0 n=0
Tópicos
adicionales
Subsucesiones ∞
X ∞
X
Puntos Lı́mite
El lim sup
Sucesiones de
Más precisamente, si S = ak y T = bk , entonces
Cauchy
k=0 k=0
Series S ≤ T .Con estas hipótesis, la igualdad puede darse únicamente
Expansiones si an = bn para cada n.
Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II
n
X
Javier Trejos demostración. (Teorema 41) Sea Sn = ak y
k=0
Supuestos n
X
Los Números Tn = bk , las sumas parciales correspondientes. Como (Tn )
Reales
k=0
Sucesiones y
Series
es creciente y T n → T tenemos T n ≤ T para todo n ∈ N.
Numéricas
Conceptos
Además, es fácil establecer por inducción que Sn ≤ Tn . Por lo
Básicos
Convergencia
tanto Sn ≤ T , ası́ que (Sn ) es acotada, y como es creciente, se
Tópicos
adicionales sigue del teorema de Weierstrass que es convergente. Luego,
Subsucesiones
Puntos Lı́mite como Sn ≤ Tn para cada n, por las propiedades de los lı́mites
El lim sup
Sucesiones de
Cauchy
de sucesiones se sigue que
Series

Expansiones
S = lim Sn ≤ lim Tn = T
n→∞ n→∞
Equipotencia

Las Funciones (Continúa)


exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos

demostración. (Cont.) Si además ak < bk para algún k,


Supuestos

Los Números
entonces Sk < Tk y para n > k tendremos:
Reales
n
X
Sucesiones y
Series Sn = Sk + aj ≤ Sk + Tn − Tk
Numéricas
Conceptos j=k+1
Básicos
Convergencia
Tópicos
adicionales de donde
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
S = lim Sn ≤ lim (Sk − Tk + T ) < T
Cauchy n→∞ n→∞
Series

Expansiones
Esto demuestra la última afirmación.
Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II
Ejemplo (2.5.14)
Javier Trejos
P∞ 1
Consideremos la serie n=1 n2 . Para n ≥ 2 se tiene:
Supuestos

Los Números
1 1
Reales
<
Sucesiones y n2 n(n − 1)
Series
Numéricas P∞ 1
Conceptos
Básicos
Note que la serie n=2 n(n−1) es convergente, dado que
Convergencia
Tópicos
adicionales n n  
Subsucesiones
X 1 X 1 1 1
Puntos Lı́mite = − =1− →1
El lim sup k(k − 1) k−1 k n
Sucesiones de k=2 k=2
Cauchy

Series P∞ 1
Por
P∞ 1el teorema de comparación n=2 n2 converge, y que
Expansiones

Equipotencia n=2 n2 < 1. Luego, la serie original converge, y


P∞ 1 P∞ 1 π2
Las Funciones n=1 n2 < 2. Nota: Se puede demostrar que n=1 n2 = 6
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos

Supuestos
Ejemplo (2.5.15)
Los Números
Reales
Para p ≥ 2 y n ≥ 1 se tiene que n1p ≤ 1
n2
. Consecuentemente,
Sucesiones y ∞
Series
X 1
Numéricas la serie converge y además
Conceptos np
Básicos n=1
Convergencia
Tópicos
adicionales ∞ ∞
Subsucesiones
X 1 X 1
Puntos Lı́mite
p
≤ para todo p ≥ 2
El lim sup n n2
Sucesiones de n=1 n=1
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
Otras Series

Algebra y
Análisis II Ejemplo (2.5.16)
Javier Trejos P∞ 1
Dado que n! ≥ n(n − 1), se sigue que n=0 n! converge y, de
Supuestos acuerdo con la sección 2.4.2 se tiene
Los Números
Reales ∞ ∞ ∞
X 1 X 1 X 1
Sucesiones y e= =2+ <2+ =3
Series n! n! n(n − 1)
Numéricas n=0 n=2 n=2
Conceptos
Básicos
Convergencia Nótese además que
Tópicos
adicionales
Subsucesiones ∞  
Puntos Lı́mite
X 1 1 1 1
El lim sup S10 < e = S10 + = S10 + 1+ + + ... ,
Sucesiones de n! 11! 12 12 · 13
Cauchy n=11
Series

Expansiones y la última suma se puede acotar ası́


Equipotencia
1 1 1 1
Las Funciones 1+ + + ... < 1 + + + ... = e − 1 < 2
exp y log 12 12 · 13 2! 3!
Un Barniz de Series
Otras Series

Algebra y
Análisis II

Javier Trejos

Supuestos Ejemplo (2.5.16, Cont.)


2
Los Números
Reales
Obtenemos entonces S10 < e < S10 + 11! , es decir
Sucesiones y
Series 9864101 36168371
Numéricas <e<
Conceptos
Básicos
3628800 13305600
Convergencia
Tópicos
adicionales
En particular se tiene 2, 718281801 < e < 2, 718281851, lo que
Subsucesiones
Puntos Lı́mite
da 7 dı́gitos decimales exactos en la expansión decimal de e:
El lim sup
Sucesiones de
Cauchy
e ≈ 2, 7182818 . . .
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
La serie armónica

Algebra y
Análisis II Definición
Javier Trejos
La serie armónica está dada por
Supuestos

Los Números
X 1
Reales
n
Sucesiones y n=1
Series
Numéricas
Conceptos
Básicos
Convergencia
Las sumas parciales
Tópicos
adicionales n
Subsucesiones
X 1 1 1
Puntos Lı́mite Sn = = 1 + + ... +
El lim sup k 2 n
Sucesiones de k=1
Cauchy

Series crecen muy despacio, por ejemplo:


Expansiones

Equipotencia S32 = 4.0584 . . . , S1024 = 7.5092 . . . , S10000 = 9.7876 . . . ,


Las Funciones
exp y log S106 = 14.3927 . . . , S2100 = 69, 8919 . . . , S2500 = 347.1508 . . .
Un Barniz de Series
La serie armónica

Algebra y
Análisis II

Javier Trejos
Para demostrar que (Sn ) diverge, bastarı́a con demostrar que la
Supuestos subsucesión (S2n ) diverge. Observe que
Los Números
Reales 1 1 1 1
S2n+1 = S2n + + n + . . . + n+1 + n+1
Sucesiones y
Series 2n+1 2 +2 2 −1 2
Numéricas 1 1 1 1
Conceptos > S2n + n+1 + n+1 + . . . + + n+1 + n+1
Básicos
Convergencia
2 2 2 2
Tópicos 2n 1
adicionales
Subsucesiones = S2n + n+1 = S2n + .
Puntos Lı́mite 2 2
El lim sup
Sucesiones de
Cauchy Dado que S21 = 1 + 21 > 12 y S2n+1 > S2n + 21 se concluye por
Series
inducción que S2n > n2 . Esto demuestra que S2n → ∞, y por
Expansiones
lo tanto la serie armónica es divergente.
Equipotencia

Las Funciones
exp y log
Un Barniz de Series
La serie telescópica

Algebra y
Análisis II Definición
Javier Trejos Una serie escrita en la forma
Supuestos ∞
X
Los Números
Reales
(bn − bn+1 )
n=n0
Sucesiones y
Series
Numéricas se llama serie telescópica. En tal caso se tiene que
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Sn = bn0 − bn+1 para n ≥ n0
Subsucesiones
Puntos Lı́mite
El lim sup Por lo tanto la serie converge si y sólo si la sucesión (bn )
Sucesiones de
Cauchy converge, y se tiene
Series

Expansiones

X
Equipotencia (bn − bn+1 ) = bn0 − lim bn
n→∞
Las Funciones n=n0
exp y log
Un Barniz de Series
La serie telescópica

Algebra y
Análisis II

Javier Trejos

Ejemplo (2.5.17)
Supuestos

Los Números
X 1
Reales La serie converge, pues en este caso:
(n + 1)(n + 2)
Sucesiones y n=1
Series
Numéricas
Conceptos 1 1 1
Básicos an = = −
Convergencia
Tópicos
(n + 1)(n + 2) n+1 n+2
adicionales
Subsucesiones
1
Puntos Lı́mite y bn = n+1 → 0. Además
El lim sup

Sucesiones de
Cauchy
X 1 1
= b1 − lim bn =
Series (n + 1)(n + 2) n→∞ 2
n=1
Expansiones

Equipotencia

Las Funciones
exp y log
Un Barniz de Series
La serie telescópica

Algebra y
Análisis II Ejemplo (2.5.18)
P
Sea la serie ∞
Javier Trejos 1
n=1 n(n+2) . Se tiene
Supuestos


Los Números 11 1
Reales an = − =
Sucesiones y
2
n n+2
Series
Numéricas    
Conceptos 1 1 1 1 1
Básicos − + −
Convergencia 2 n n+1 n+1 n+2
Tópicos
adicionales
Subsucesiones La serie es entonces la suma de dos telescópicas, y:
Puntos Lı́mite
El lim sup
Sucesiones de ∞
Cauchy X 1
Series
=
n(n + 2)
Expansiones n=1
Equipotencia "
∞   X∞  #
1 X 1 1 1 1 3
Las Funciones
exp y log
− + − =
2 n n+1 n+1 n+2 4
n=1 n=1
Un Barniz de Series
La serie telescópica

Algebra y
Análisis II

Javier Trejos
Ejemplo (2.5.19)
Supuestos

Los Números
La serie geométrica se puede analizar como una telescópica. En
Reales efecto, dado que
Sucesiones y
Series
Numéricas (1 − r)rn = rn − rn+1
Conceptos
Básicos
Convergencia
Tópicos tenemos:
adicionales
Subsucesiones
Puntos Lı́mite

X ∞
X
n
El lim sup
Sucesiones de
(1 − r)r = (rn − rn+1 ) = 1 − lim rn = 1
Cauchy n→∞
n=0 n=0
Series

Expansiones y luego dividimos por 1 − r.


Equipotencia

Las Funciones
exp y log
Un Barniz de Series
La serie telescópica

Algebra y
Análisis II
Nota
Javier Trejos En general, toda serie se puede escribir como telescópica. En
efecto, dado que S0 = a0 y Sn = Sn−1 + an tenemos
Supuestos

Los Números
Reales
an = Sn − Sn−1
Sucesiones y
Series para cada n ≥ 1. Luego
Numéricas
Conceptos
Básicos ∞
X ∞
X ∞
X
Convergencia
Tópicos
adicionales
an = a0 + (Sn − Sn−1 ) = a0 − (Sn − Sn+1 )
Subsucesiones n=0 n=1 n=0
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy
En particular, si la serie converge se tiene
Series

X ∞
X  
Expansiones
an = a0 − (Sn − Sn+1 ) = a0 − S0 − lim Sn = lim Sn
Equipotencia n→∞ n→∞
n=0 n=0
Las Funciones
exp y log
en concordancia con la definición.
Expansiones
Expansiones decimales

Algebra y
Análisis II

Javier Trejos

Supuestos Consideremos para empezar solo números reales positivos.


Los Números
Reales Sea x ≥ 0, veremos que se P puede escribir:
Sucesiones y x = c0 + 10 + 100 + . . . = ∞
c1 c2 cn
n=0 10n donde c1 , c2 , . . . son
Series
Numéricas naturales entre 0 y 9, c0 ∈ N.
Conceptos
Básicos
Convergencia
Se escribe x = c0 , c1 c2 . . .
Tópicos
adicionales Por ejemplo:
Subsucesiones
Puntos Lı́mite
El lim sup 4 7
Sucesiones de
Cauchy = 1, 333 . . . , = 3, 500 . . . , e = 2, 718281828 . . .
3 2
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Expansiones
Expansiones decimales

Algebra y
Análisis II Teorema (42)
Javier Trejos
Dado un número real x ∈ [0, 1], existe una única sucesión
Supuestos cn ∈ {0, 1, 2, . . . , 9} tal que ∀n ∈ N:
Los Números
Reales n n
X ck X ck 1
Sucesiones y
k
≤ x < k
+ n.
Series 10 10 10
Numéricas k=1 k=1
Conceptos
Básicos
Convergencia
Tópicos
Además (rn ) y (sn ) definidas por
adicionales
Subsucesiones
n
Puntos Lı́mite X ck
El lim sup
rn =
Sucesiones de
Cauchy 10k
k=1
Series

Expansiones 1
s n = rn +
Equipotencia
10n
Las Funciones
exp y log son adyacentes y ambas convergen a x.
Expansiones
Expansiones decimales

Algebra y
Análisis II Ejemplo (3.1.1)
Javier Trejos
Dado x = 37 se tiene ⌊x⌋ = 2, y x − 2 = 1
3 = 0, 333 . . ..
Supuestos Entonces 37 = 2, 333.
Los Números
Reales

Sucesiones y
Ejemplo (3.1.2)
Series
1
Numéricas Si x = 3 = 0, 3 se tiene r4 = 0.3333 y s4 = 0, 3334.
Conceptos
Básicos
Convergencia
n n−1
Tópicos
adicionales
X 3 X 3 4
Subsucesiones rn = 0. 33 . . . 3} = k
s n = 0. 33 . . . 3 4 = k
+ n
Puntos Lı́mite
| {z 10 | {z } 10 10
El lim sup n veces k=1 n−1 veces k=1
Sucesiones de
Cauchy

Series

Expansiones Ejemplo (3.1.3)


Si x = − 85 se tiene |x| = 8 3 3
Equipotencia
5 =1+ 5 y 5 = 0, 6, luego
Las Funciones
exp y log x = −1, 6.
Expansiones
Aritmética con expansiones decimales

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Propiedades
Reales
1 Si x = a0 , a1 . . . entonces x − a0 = 0, a1 . . .
Sucesiones y
Series
Numéricas
2 Si x = a0 , a1 . . . entonces 10x = a0 a1 , a2 . . . y
x
10 = 0, a0 a1 . . .
Conceptos
Básicos
Convergencia
Tópicos
10n x = a0 a1 . . . an , an+1 an+2 . . . y 10xn = 0, 0 . . . 0a0 a1 . . .
adicionales
Subsucesiones
Puntos Lı́mite
3 Si x = a0 , a1 a2 . . . y y = b0 , b1 b2 . . ., la expansión de
El lim sup
Sucesiones de
z = x + y se halla de la forma usual.
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Expansiones
Expansiones decimales

Algebra y
Análisis II

Javier Trejos
Definición (3.1.1 Expansión decimal)

Supuestos
Dado un real x ≥ 0 se dice que la sucesión (an )n∈N es una
Los Números
expansión decimal de x si se cumple
Reales a0 ∈ N, an ∈ {0, 1, . . . , 9} para n ≥ 1 y
Sucesiones y
Series n ∞
Numéricas X ak X ak
Conceptos x = a0 + lim = a 0 + .
Básicos
Convergencia
n→∞ 10k 10k
Tópicos
k=1 k=1
adicionales
Subsucesiones
Puntos Lı́mite Se escribe x = a0 , a1 a2 . . .
El lim sup
Sucesiones de
Cauchy
Se tiene
Series
1 = 1, 000 . . . = 0, 999 . . .
Expansiones
1
Equipotencia
= 0.5000 . . . = 0.499 . . .
Las Funciones 2
exp y log
Expansiones
Expansiones decimales

Algebra y
Análisis II Lema (3.1.1)
Javier Trejos
Para n ∈ N se tiene
Supuestos

Los Números X 9 1
Reales
k
= n.
Sucesiones y 10 10
k=n+1
Series
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Corolario (3.1.1)
Subsucesiones
Puntos Lı́mite
El lim sup
Para cualquier sucesión (an ), con an ∈ {0, 1, . . . , 9} se tiene
Sucesiones de
Cauchy

Series
X ak 1
0≤ k
≤ n.
Expansiones 10 10
k=n+1
Equipotencia

Las Funciones
exp y log
En particular 0 ≤ 0, a1 a2 . . . ≤ 1.
Expansiones
Expansiones decimales

Algebra y
Análisis II

Javier Trejos

Supuestos Lema (3.1.2)


Los Números
Reales Un número real x tiene dos expansiones decimales si y sólo si
Sucesiones y tiene la forma a = 10mn , donde m ∈ Z y n ∈ N.
Series
Numéricas
Conceptos
Básicos
Convergencia
Notar que todo número irracional tiene expansión decimal
Tópicos
adicionales
única.
Subsucesiones
Puntos Lı́mite Todo racional tiene expansión decimal periódica, y
El lim sup
Sucesiones de
Cauchy
viceversa.
Series LEER: Sección 3.2 Expansiones en otras bases
Expansiones

Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Equipotencia

Algebra y
Análisis II

Javier Trejos
Definición
Supuestos Se dice que el conjunto A es equipotente al conjunto B si
Los Números
Reales
existe una biyección f : A → B. En tal caso se escribe A ∼ B.
Sucesiones y
Series Nota: La relación “∼” es de equivalencia.
Numéricas
Conceptos
Básicos Ejemplo (4.1.1)
Convergencia
Tópicos
adicionales Z es equipotente a N.
Subsucesiones
Puntos Lı́mite Sea ϕ : Z → N definida por
El lim sup
Sucesiones de 
Cauchy
2n − 1 si n > 0
Series ϕ(n) =
Expansiones
−2n si n ≤ 0.
Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Equipotencia

Algebra y
Análisis II

Javier Trejos Ejemplo (4.1.2)


x
Supuestos (−1, 1) ∼ R tomando f (x) = 1−|x| .
Los Números
Reales

Sucesiones y Lema (4.1.1)


Series
Numéricas
Conceptos
Si f : A → B es inyectiva entonces A ∼ f (A).
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Lema (4.1.2)
Puntos Lı́mite
El lim sup
Sucesiones de
Si a, b ∈ A entonces A − {a} ∼ A − {b}.
Cauchy

Series
Lema (4.1.3)
Expansiones

Equipotencia Si A ∼ B, a ∈ A, b ∈ B entonces A − {a} ∼ B − {b}.


Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Equipotencia

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números
Reales
Definición (4.1.2)
Sucesiones y
Series
Numéricas
A se llama finito si es vacı́o o si ∃n ∈ N∗ : A ∼ {1, 2, . . . , n}.
Conceptos
Básicos
Se dice que A tiene n elementos y se escribe |A| = n (se dice
Convergencia
Tópicos
que A tiene cardinalidad n).
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Por los lemas anteriores el n de la definición es único.
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Equipotencia

Algebra y
Análisis II

Javier Trejos
Teorema (44)
Supuestos

Los Números
Dado A ⊂ R finito y no vacı́o, existe un elemento en A que es
Reales
mayor que todos los demás. A tal elemento se le llama el
Sucesiones y
Series máximo de A y se denota max A.
Numéricas
Conceptos
Básicos demostración. Por inducción sobre n = |A| ≥ 1.
Convergencia
Tópicos
adicionales
Si n = 1 entonces A = {a} y max A = a.
Subsucesiones
Puntos Lı́mite
Supóngase cierto para n, si |A| = n + 1 se considera
El lim sup
Sucesiones de
B = A − {a} para un a ∈ A fijo. Por hipótesis de inducción
Cauchy
existe b = max B.
Series
Si a > b entonces a = max A.
Expansiones

Equipotencia
Si a ≤ b entonces b = max A.
Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos
Sea Sn = {1, 2, . . . , n}.
Supuestos

Los Números
Reales
Definición (4.1.3)
Sucesiones y
Series
Un conjunto A es infinito si no es finito: si 6 ∃n ∈ N : A ∼ Sn .
Numéricas
Conceptos
Básicos
Convergencia
Teorema (45)
Tópicos
adicionales
Subsucesiones
N es infinito.
Puntos Lı́mite
El lim sup
Sucesiones de
demostración. Si N fuera finito entonces existirı́a el máximo
Cauchy
de N, es decir, ∃n ∈ N : n = max N.
Series

Expansiones
Como n + 1 ∈ N entonces n + 1 ≤ n, lo cual es absurdo.
Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II Definición (4.2.1)
Javier Trejos
Un conjunto es numerable si es equipotente a N.
Supuestos

Los Números
Reales Ejemplo (4.2.1)
Sucesiones y
Series El conjunto P de los naturales pares es numerable. Basta
Numéricas
Conceptos
considerar f : N → P tal que f (n) = 2n.
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Ejemplo (4.2.2)
Puntos Lı́mite
El lim sup
Sucesiones de
Sea D = {2n : n ∈ N}, el cual es numerable pues ϕ : N → D
Cauchy
tal que ϕ(n) = 2n es una biyección.
Series

Expansiones

Equipotencia
Ejemplo (4.2.3)
Las Funciones
exp y log
Z es numerable (por el ejemplo 4.1.1).
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Nota: Q es numerable:


Reales

Sucesiones y 1 1 2 1 3 1 2 3 4 1 5
Series , , , , , , , , , , ,...
Numéricas 1 2 1 3 1 4 3 2 1 5 1
Conceptos
Básicos
Convergencia
Tópicos
adicionales Definición
Subsucesiones
Puntos Lı́mite
El lim sup
Un conjunto es contable si es finito o numerable
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II Teorema (46)
Javier Trejos
Todo subconjunto de N es contable.
Supuestos

Los Números
demostración. Sea A ⊂ N infinito. Sea ϕ : N → A tal que
Reales ϕ(0) = min A y ϕ(n + 1) = min(A − {ϕ(0), . . . , ϕ(n)}).
Sucesiones y
Series ϕ es estrictamente creciente: como ϕ(0) = min A y
Numéricas
Conceptos
ϕ(1) ∈ A − {ϕ(0)} entonces ϕ(0) < ϕ(1); igualmente
Básicos
Convergencia ϕ(n) < ϕ(n + 1). Luego ϕ es inyectiva y además
Tópicos
adicionales ϕ(n) ≥ n para todo n ∈ N.
Subsucesiones
Puntos Lı́mite ϕ es sobreyectiva: sea n ∈ A y probemos que
El lim sup
Sucesiones de
∃j ∈ N : ϕ(j) = n. Se tiene
Cauchy
ϕ(n) = min(A − {ϕ(0), . . . , ϕ(n − 1)}):
Series
Si n ∈ A − {ϕ(0), . . . , ϕ(n − 1)} entonces ϕ(n) ≤ n (por
Expansiones
ser ϕ(n) el mı́nimo), y como ϕ(n) ≥ n entonces ϕ(n) = n.
Equipotencia
Si n 6∈ A − {ϕ(0), . . . , ϕ(n − 1)} entonces n = ϕ(i) para
Las Funciones
exp y log
algún i = 0, . . . , n − 1.
En cualquier caso existe j ∈ N tal que ϕ(j) = n.
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Teorema (47)


Reales

Sucesiones y Si A es contable y B es subconjunto de A entonces B es


Series
Numéricas contable.
Conceptos
Básicos
Convergencia demostración. Sean A contable y B ⊂ A. Existe una
Tópicos
adicionales
Subsucesiones
biyección f entre A y un subconjunto de N. Entonces
Puntos Lı́mite
El lim sup
B ∼ f (B) y como f (B) ⊂ N se sigue que f (B) es contable.
Sucesiones de
Cauchy
Luego B es contable.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos

Supuestos
Corolario (4.2.1)
Los Números
Reales
Todo subconjunto infinito de un conjunto numerable es
Sucesiones y
Series numerable.
Numéricas
Conceptos
Básicos demostración. Si A es numerable y B ⊂ A, entonces por el
Convergencia
Tópicos
adicionales
teorema 47 se tiene que B es contable, y además B es infinito,
Subsucesiones
Puntos Lı́mite
entonces B es numerable.
El lim sup
Sucesiones de
Ası́, los conjuntos numerables son los conjuntos infinitos más
Cauchy
pequeños.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II
Corolario (4.2.2)
Javier Trejos
A 6= ∅ es contable si y solo si existe una inyección de A en N.
Supuestos

Los Números
Reales
demostración. Si A es contable entonces A es equipotente
Sucesiones y
con N o con algún Sn . En el primer caso existe una biyección
Series
Numéricas
entre A y N, la cual es inyectiva. En el segundo caso existe una
Conceptos
Básicos
biyección f = (A, Sn , G) entre A y Sn , y luego g = (A, N, G)
Convergencia
Tópicos
es una inyección de A a N.
adicionales
Subsucesiones Recı́procamente, si existe f : A → N inyectiva, entonces
Puntos Lı́mite
El lim sup A ∼ f (A) ⊂ N, y por el teorema 46 se tiene que f (A) es
Sucesiones de
Cauchy contable. Consecuentemente A también lo es.
Series

Expansiones
Corolario (4.2.3)
Equipotencia A 6= ∅ es contable si y solo si existe una función sobreyectiva
Las Funciones
exp y log
de N en A.
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos

Supuestos

Los Números Teorema (48)


Reales

Sucesiones y El conjunto N × N es numerable.


Series
Numéricas
Conceptos demostración. Sea ϕ : N × N → N definida por
Básicos
Convergencia ϕ(n, m) = 2n 3m , es inyectiva y por el corolario 4.2.2, N × N es
Tópicos
adicionales
Subsucesiones
contable. Además f : {1} × N → N tal que f (1, n) = n es
Puntos Lı́mite
El lim sup
biyectiva de un subconjunto de N × N en N. Luego N × N es
Sucesiones de
Cauchy contable infinito, por lo que es numerable.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II Teorema (49)
Javier Trejos
Si A y B son contables, entonces A × B es contable.
Supuestos

Los Números
demostración. Como A y B son contables, existen
Reales inyecciones f : A → N y g : B → N. La aplicación
Sucesiones y
Series
ϕ : A × B → N × N tal que ϕ(a, b) = (f (a), g(b)) es inyectiva
Numéricas
Conceptos
pues
Básicos
Convergencia
Tópicos
ϕ(a, b) = ϕ(a′ , b′ ) ⇒ (f (a), g(b)) = (f (a′ ), g(b′ ))
adicionales
Subsucesiones ⇒ f (a) = f (a′ ) ∧ g(b) = g(b′ )
Puntos Lı́mite
El lim sup
Sucesiones de
⇒ (a, b) = (a′ , b′ ).
Cauchy

Series Ahora, como N × N es numerable, existe una biyección


Expansiones η : N × N → N, resultando que
Equipotencia
η◦ϕ:A×B →N
Las Funciones
exp y log
es inyectiva y por lo tanto A × B es contable.
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II
Teorema (50)
Javier Trejos
Si (An )n∈N es S
una familia contable de conjuntos contables,
Supuestos
entonces A = n∈N An es un conjunto contable.
Los Números
Reales

Sucesiones y demostración. Por hipótesis y el corolario 4.2.2, para cada


Series
Numéricas
n ∈ N existe ϕn : An → N inyectiva. Definimos f : A → N × N
Conceptos
Básicos
por f (x) = (mx , ϕmx (x)), donde mx = min{n ∈ N : x ∈ An }.
Convergencia
Tópicos Veamos que f es inyectiva:
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
f (x) = f (y) ⇒ (mx , ϕmx (x)) = (my , ϕmy (y))
Sucesiones de
Cauchy ⇒ mx = my ∧ ϕmx (x) = ϕmy (y)
Series

Expansiones
⇒ ϕn (x) = ϕn (y),
Equipotencia
donde n = mx . Como ϕn es inyectiva, concluimos que x = y.
Las Funciones
exp y log Por el corolario 4.2.2 concluimos que A es contable.
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos Teorema (51)


Supuestos Todo conjunto infinito contiene un subconjunto numerable.
Los Números
Reales demostración. Sea M infinito y a0 ∈ M . Como M es
Sucesiones y
Series
infinito se puede encontrar a1 6= a0 . Luego se puede encontrar
Numéricas a2 ∈ M − {a0 , a1 }. Continuando con este proceso se obtiene
Conceptos
Básicos
Convergencia
un conjunto numerable A tal que
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
A = {a0 , a1 , . . .} ⊂ M.
El lim sup
Sucesiones de
Cauchy

Series

Expansiones
Definición (4.2.2)
Equipotencia
Si A es numerable se dice que tiene cardinalidad ℵ0 .
Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II Teorema (52)
Javier Trejos
El intervalo [0, 1] no es numerable.
Supuestos

Los Números demostración. Usar el proceso diagonal de Cantor: si


Reales
x ∈ [0, 1] entonces x = 0, a1 a2 a3 . . . con los ak ∈ {0, 1, . . . , 9}.
Sucesiones y
Series Supóngase por contradicción que los elementos de [0, 1] se
Numéricas
Conceptos pueden disponer en una sucesión x1 , x2 , . . . , xn . . . con
Básicos
Convergencia xn = 0, an1 an2 an3 . . . Sea (bn )n∈N tal que
Tópicos
adicionales
Subsucesiones 
Puntos Lı́mite 7 si ann 6= 7
El lim sup bn =
Sucesiones de
Cauchy
5 si ann = 7.
Series

Expansiones
Sea y = 0, b1 b2 . . .. Es claro que y ∈ [0, 1] y que
Equipotencia ∀n ∈ N : y 6= xn .
Las Funciones Nota: El conjunto de números irracionales I no es numerable.
exp y log
De lo contrario, R = Q ∪ I serı́a numerable.
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II

Javier Trejos
Ejemplo (4.2.4)

Supuestos
P(N) no es contable.
Los Números
demostración. Siempre hay una inyección de N en P(N)
Reales dada por f (n) = {n}.
Sucesiones y
Series
Supongamos por contradicción que hay una inyección de P(N)
Numéricas
Conceptos
en N, es decir, que los elementos de P(N) se pueden poner
Básicos
Convergencia
como una sucesión P(N) = {A0 , A1 , A2 , . . .}. Sea
Tópicos
adicionales D = {n ∈ N : n 6∈ An }, el cual está bien definido y puede verse
Subsucesiones
Puntos Lı́mite que D ∈ P(N). Entonces debe existir k tal que D = Ak .
El lim sup
Sucesiones de
Cauchy Si k ∈ D: k 6∈ Ak por definición de D, y entonces k 6∈ D
Series pues D = Ak (⇔)
Expansiones
Si k 6∈ D: k ∈ Ak por definición de D, y entonces k ∈ D
Equipotencia
pues D = Ak (⇔)
Las Funciones
exp y log
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II Ejemplo (4.2.5)
Javier Trejos
La familia F de subconjuntos finitos de N es numerable.
Supuestos En efecto, en primer lugar F es infinito. Además, si A ⊂ N es
Los Números
Reales
finito, entonces ∃n ∈ N : A ⊂ {1, . . . , n}. Esto demuestra que
Sucesiones y [
Series
Numéricas
F= P({1, . . . , n}).
Conceptos n∈N
Básicos
Convergencia
Tópicos
adicionales Como este es una unión numerable de conjuntos finitos, se
Subsucesiones
Puntos Lı́mite concluye que F es contable. La familia G de subconjuntos
El lim sup
Sucesiones de infinitos de N es no contable (ver ejemplo 4.2.4).
Cauchy

Series

Expansiones Definición (4.2.3)


Equipotencia
Se dice que un conjunto E tiene cardinalidad del continuo, o
Las Funciones
exp y log que tiene cardinalidad c, si existe una biyección entre E y [0, 1].
Equipotencia, Infinitud y Numerabilidad
Conjuntos Numerables

Algebra y
Análisis II Teorema (53)
Javier Trejos
Todo intervalo no trivial de R tiene la cardinalidad del
Supuestos
continuo. En particular, ningún intervalo no trivial es contable.
Los Números
Reales
demostración. Sea ϕ : [0, 1] → [0, 1) tal que
Sucesiones y
Series  1
Numéricas
si x = n1 , para algún n ∈ N
Conceptos
Básicos ϕ(x) n+1
Convergencia x en caso contrario.
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite ϕ es biyectiva y luego [0, 1] ∼ [0, 1).
El lim sup
Sucesiones de
Cauchy
ψ : [0, 1) → (0, 1] tal que ψ(x) = 1 − x es biyectiva, luego
Series [0, 1] ∼ [0, 1) ∼ (0, 1].
Expansiones ϕ restringida a (0, 1], demuestra que (0, 1] ∼ (0, 1).
Equipotencia
f (x) = a + (b − a)x es biyectiva de [0, 1] en [a, b].
Las Funciones
exp y log
[a, b], [a, ), (a, b), (a, b], R tienen cardinalidad c.
Las Funciones Exponencial y Logarı́tmica
Exponentes enteros

Algebra y
Análisis II

Javier Trejos

Supuestos Para n ∈ N se define a0 = 1, an+1 = an · a.


Los Números
Reales
Para z entero negativo se define az = a1n con n = |z|. Se
Sucesiones y
tienen las propiedades conocidas, si a, b ∈ R, n, m ∈ Z:
Series
Numéricas am · an = am+n
Conceptos
Básicos
Convergencia
(an )m = an·m
an
Tópicos
adicionales
am = an−m , si a 6= 0
Subsucesiones
Puntos Lı́mite
El lim sup
(ab)n = an · bn
Sucesiones de 
a n n
Cauchy
b = abn , si b 6= 0.
Series

Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Exponentes fraccionarios

m
Algebra y
Análisis II
Si n ∈ Q, a ∈ R+ se define
Javier Trejos m √
a n = (am )1/n = n
am
Supuestos

Los Números donde b = n
a cumple bn = a. Luego
Reales

Sucesiones y
Series
(bm )n = bmn = (bn )m = am
Numéricas √ √
Conceptos
Básicos
( n a)m = bm = n am
Convergencia
Tópicos
adicionales por lo que bm es la raı́z n-ésima de am .
Subsucesiones
Puntos Lı́mite Se tienen las propiedades conocidas, si a, b ∈ R, r, s ∈ Q:
El lim sup
Sucesiones de
Cauchy
ar · as = ar+s
Series (ar )s = ar·s
ar r−s , si a 6= 0
as = a
Expansiones

Equipotencia
(ab)r = ar · br
Las Funciones
a r
 r
exp y log
b = abr , si b 6= 0.
Las Funciones Exponencial y Logarı́tmica
Exponentes fraccionarios

Algebra y
Análisis II

Javier Trejos

Lema (5.2.1)
Supuestos

Los Números Sea a ∈ R, a > 1. Entonces f : Q → R tal que f (r) = ar es


Reales

Sucesiones y
estrictamente creciente.
Series
Numéricas demostración. Por inducción se prueba que bn > 1 ⇔ b > 1
Conceptos
Básicos
Convergencia
para n ∈ N. Si r, s ∈ Q con r < s, sea s − r = m
n > 0 con
Tópicos
adicionales
m, n ∈ N∗ , ası́ que am > 1.
m
Subsucesiones
Puntos Lı́mite
Ahora, como b = as−r = a n satisface bn = am > 1, se
El lim sup
Sucesiones de concluye que b > 1.
Cauchy

Series
Finalmente
Expansiones
as = ar as−r = ar b > ar .
Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Exponentes fraccionarios

Algebra y
Análisis II

Javier Trejos

Ejemplo (5.2.1)
Supuestos
2 1
Los Números Resolver la ecuación x 3 − 3x 3 + 2 = 0
Reales

Sucesiones y
Series
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Exponentes fraccionarios

Algebra y
Análisis II

Javier Trejos

Ejemplo (5.2.1)
Supuestos
2 1
Los Números Resolver la ecuación x 3 − 3x 3 + 2 = 0
Reales
1
Sucesiones y
Series
Tomando t = x 3 se tiene t2 − 3t + 2 = 0, y resolviendo se
Numéricas obtiene t ∈ {1, 2}. Luego la solución es x ∈ {1, 8}.
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Exponentes fraccionarios

Algebra y
Análisis II

Javier Trejos

Ejemplo (5.2.1)
Supuestos
2 1
Los Números Resolver la ecuación x 3 − 3x 3 + 2 = 0
Reales
1
Sucesiones y
Series
Tomando t = x 3 se tiene t2 − 3t + 2 = 0, y resolviendo se
Numéricas obtiene t ∈ {1, 2}. Luego la solución es x ∈ {1, 8}.
Conceptos
Básicos
Convergencia
Tópicos
Ejemplo (5.2.2)
adicionales
Subsucesiones
Puntos Lı́mite Resolver la ecuación 4x − 2x+1 + 1 = 0.
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Exponentes fraccionarios

Algebra y
Análisis II

Javier Trejos

Ejemplo (5.2.1)
Supuestos
2 1
Los Números Resolver la ecuación x 3 − 3x 3 + 2 = 0
Reales
1
Sucesiones y
Series
Tomando t = x 3 se tiene t2 − 3t + 2 = 0, y resolviendo se
Numéricas obtiene t ∈ {1, 2}. Luego la solución es x ∈ {1, 8}.
Conceptos
Básicos
Convergencia
Tópicos
Ejemplo (5.2.2)
adicionales
Subsucesiones
Puntos Lı́mite Resolver la ecuación 4x − 2x+1 + 1 = 0.
El lim sup

Tomando t = 2x se tiene 4x = 22x = t2 , 2x+1 = 2 · 2x = 2t, ası́


Sucesiones de
Cauchy

Series que la ecuación es t2 − 2t + 1 = 0, y entonces t = 1. Luego la


Expansiones
solución es x = 0.
Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Exponentes reales

Algebra y
Análisis II
Sea a = 2; se quiere definir 2x con x ∈ R.
Javier Trejos Tomemos x ∈ R − Q y consideremos
Supuestos A = {2r : r ∈ Q, r < x}, B = {y ∈ R : y cota superior de A}
Los Números
Reales Como A es acotado superiormente por x entonces existe
Sucesiones y
Series
α = sup A ∈ R tal que ∀z ∈ A, y ∈ B : z ≤ α ≤ y. En
Numéricas
Conceptos
particular α ∈ B.
Básicos
Convergencia
Si s ∈ Q, s > x entonces 2s ∈ B pues
Tópicos
adicionales
Subsucesiones s > x ⇒ s > r para x > r ∈ Q
Puntos Lı́mite
El lim sup
Sucesiones de
⇒ 2s > 2r para x > r ∈ Q
Cauchy

Series ⇒ 2s > z para cada z ∈ A.


Expansiones
Se define 2x = α = sup A. Se cumple:
Equipotencia

Las Funciones
exp y log
2r ≤ 2x ≤ 2s para r, s ∈ Q, r < x < s.
Las Funciones Exponencial y Logarı́tmica
Función exponencial

Algebra y
Análisis II La función f (x) = 2x es estrictamente creciente en R:
Javier Trejos si x, y ∈ R, x < y, entonces existe r ∈ Q : x < r < y y existe
Supuestos
s ∈ Q : r < s < y.
Los Números
Por ser f estrictamente creciente en Q entonces
Reales 2x ≤ 2r < 2s ≤ 2y .
Sucesiones y
Series
Numéricas
La misma construcción se puede hacer para f (x) = ax , con
Conceptos
Básicos
a > 0 cualquiera.
Convergencia
Tópicos
Para 0 < a < 1 la función resulta decreciente y para a = 1 es
adicionales
Subsucesiones constante.
Puntos Lı́mite
El lim sup
Sucesiones de Si la base es e se conoce como función exponencial:
Cauchy

Series
f (x) = ex = exp(x).
Expansiones

Equipotencia
Se tienen las mismas propiedades 1–5 para exponentes enteros
Las Funciones
exp y log y racionales.
Las Funciones Exponencial y Logarı́tmica
Función exponencial

Algebra y
Análisis II

Javier Trejos
Ejemplo (5.3.1)
√
√ √2 2 √ √2·√2

Supuestos
√ 2
2 = 2 = 2 = 2.
Los Números
Reales

Sucesiones y
Series
Numéricas
Conceptos
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Función exponencial

Algebra y
Análisis II

Javier Trejos
Ejemplo (5.3.1)
√
√ √2 2 √ √2·√2

Supuestos
√ 2
2 = 2 = 2 = 2.
Los Números
Reales

Sucesiones y
Series Ejemplo (5.3.2)
Numéricas
1  √1 2 √
(4) 2 = 22 2 = 2 2 = 2 2 .
Conceptos √ √
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Cauchy

Series

Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Función exponencial

Algebra y
Análisis II

Javier Trejos
Ejemplo (5.3.1)
√
√ √2 2 √ √2·√2

Supuestos
√ 2
2 = 2 = 2 = 2.
Los Números
Reales

Sucesiones y
Series Ejemplo (5.3.2)
Numéricas
1  √1 2 √
(4) 2 = 22 2 = 2 2 = 2 2 .
Conceptos √ √
Básicos
Convergencia
Tópicos
adicionales
Subsucesiones
Puntos Lı́mite Ejemplo (5.3.3)
El lim sup √ √
Sucesiones de
Cauchy Resolver la ecuación
√ x 8 − 3x 2 + 2 = 0.
Series 2
Tomando t = x tenemos
Expansiones t2 − 3t + 2 = 0√⇔ (t − 2)(t − 1) = 0. Se obtiene t ∈ {1, 2}, ası́
Equipotencia
que x ∈ {1, 21/ 2 }.
Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Construcción vı́a sucesiones

Algebra y
Análisis II

Javier Trejos Sea x ∈ R. Consideremos a > 1 y f : Q → R, f (r) = ar , que


Supuestos
es estrictamente creciente en Q.
Los Números
Según lo visto en el capı́tulo 3 sobre expansiones, existen
Reales
sucesiones de racionales (rn ) creciente y (sn ) decreciente, tales
Sucesiones y
Series
que
Numéricas 1
Conceptos rn ≤ x < sn = rn + n , para cada n ∈ N.
Básicos
Convergencia
10
Tópicos
adicionales Dado que ∀n ∈ N : r1 ≤ rn ≤ rn+1 ≤ x ≤ sn+1 ≤ sn ≤ s1 ,
se sigue que ar1 ≤ arn ≤ arn+1 ≤ asn+1 ≤ asn ≤ as1 .
Subsucesiones
Puntos Lı́mite

Luego, (arn ) es creciente y acotada superiormente por as1 , y


El lim sup
Sucesiones de
Cauchy

Series
(asn ) es decreciente y acotada inferiormente por ar1 . Por el
Expansiones teorema de Weierstrass ambas son convergentes, sean
Equipotencia λ = limn→∞ arn , µ = limn→ asn .
Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
Construcción vı́a sucesiones

Algebra y
Análisis II
En el ejemplo 2.3.19 se tiene a1/n → 1. Por ello y la
Javier Trejos desigualdad de Bernoulli:
a
Supuestos 1 < a1/n < 1 + . (5.1)
n
Los Números n
Reales Como (a 1/10 ) es una subsucesión de (a1/n ) se tiene
1/10n
Sucesiones y
Series
a → 1. Luego
Numéricas n n
Conceptos µ = lim asn = lim arn +1/10 = lim arn a1/10 = λ.
Básicos n→∞ n→∞ n→∞
Convergencia
Tópicos
adicionales Entonces λ es el único número real que es a la vez mayor que
Subsucesiones
Puntos Lı́mite cada arn y menor que cada asn . Si se quiere que f siga siendo
El lim sup
Sucesiones de creciente, la única definición posible para ax es:
Cauchy

Series ax = λ = lim arn = lim asn .


n→∞ n→∞
Expansiones

Equipotencia
Para 0 < a < 1 se define
1
Las Funciones
exp y log ax = .
( a1 )x
Las Funciones Exponencial y Logarı́tmica
Propiedades de la función exponencial: estrictamente monótona

Algebra y
Análisis II Lema (5.3.1)
Javier Trejos
Para a > 1, la función exponencial de base a, f : R → R+ ∗,
Supuestos f (x) = ax , es estrictamente creciente. Para 0 < a < 1 es
Los Números
Reales
estrictamente decreciente.
Sucesiones y
Series
demostración.
Numéricas
Conceptos
Sean x, y ∈ R : x < y. Sea (rn ) la sucesión creciente de
Básicos
Convergencia
racionales usada en la definición de ax , y sea (sn ) la sucesión
Tópicos
adicionales decreciente usada en la definición de ay . Sean
Subsucesiones
Puntos Lı́mite p, q ∈ Q : x < p < q < y. Como la función exponencial de base
El lim sup
Sucesiones de
Cauchy
a es estrictamente creciente en Q:
Series
a r n < a p < a q < a sn .
Expansiones

Equipotencia
ax = lim arn < ap < aq < lim asn = ay .
Las Funciones n→∞ n→∞
exp y log
El caso 0 < a < 1 se deduce.
Las Funciones Exponencial y Logarı́tmica
Propiedades de la función exponencial: secuencialmente continua

Algebra y
Análisis II Lema (5.3.2, Continuidad secuencial)
Javier Trejos
Si (αn ) es una sucesión de números reales que converge a x,
Supuestos
entonces la suceción (aαn ) converge a ax .
Los Números
Reales

Sucesiones y
demostración. Sea a > 1 y (rn ) la sucesión de racionales
Series usada para definir ax .
Numéricas
a
Conceptos
Básicos
Dado ε > 0 se escoge m ∈ N tal que m < ε. Como
1 1
Convergencia
Tópicos
αn − rn → 0 existe N tal que − m < αn − rn < m para
adicionales
Subsucesiones
n ≥ N . El crecimiento estricto de f y (5.1) llevan a:
Puntos Lı́mite
El lim sup
1 1
−m 1 a
< aαn −rn < a m < 1 + , para n ≥ N.
Sucesiones de
a <a
Cauchy

Series 1+ m m
Expansiones
a 1
Equipotencia Como m < ε y 1+ε > 1 − ε se sigue que
1−ε<a α n −r n < 1 + ε, para n ≥ N. Ası́ aαn −rn → 1 y
Las Funciones
exp y log α
a =a a
n r n α n −r n → ax · 1 = ax .
Las Funciones Exponencial y Logarı́tmica
Propiedades de la función exponencial: Otras propiedades

Algebra y
Análisis II 1 ∀x, y ∈ R : ax+y = ax ay .
Javier Trejos Tomar sn → x y tn → y, entonces sn + tn → x + y. Por el
lema 5.3.2 y las propiedades de Q:
Supuestos

Los Números ax+y = lim asn +tn = lim asn atn = ax ay .


Reales n→∞ n→∞

Sucesiones y
Series 1
Numéricas 2 ∀x ∈ R : a−1 = ax .
Conceptos −x x
Básicos Note que a a = a−x+x = a0 = 1.
Convergencia x ax
Tópicos
adicionales
3 ∀x ∈ R : (ab)x = ax bx , ab = bx . (ejercicio)
Subsucesiones
Puntos Lı́mite
4 ∀x, y ∈ R : (ax )y = axy .
El lim sup
Sucesiones de
Sean s ∈ Q y rn → x en Q:
Cauchy

Series (ax )s = lim (arn )s = lim arn s = axs .


n→∞ n→∞
Expansiones
Si sn → y en Q entonces xsn → xy. Luego
Equipotencia

Las Funciones (ax )y = lim (ax )sn = lim axsn = axy .


exp y log n→∞ n→∞
Las Funciones Exponencial y Logarı́tmica
Propiedades de la función exponencial: Sobreyectividad de la exponencial

Algebra y
Análisis II
Teorema (54)
Javier Trejos

Para 0 < a, a 6= 0, la función exponencial de base a,


Supuestos
expa : R →]0, ∞[, expa (x) = ax , es biyectiva.
Los Números
Reales

Sucesiones y demostración. Sobreyectividad. Caso a > 1.


Series
Numéricas Por la desigualdad de Bernoulli
Conceptos
Básicos
Convergencia
Tópicos
∀n ∈ N : an = (1 + a − 1)n > n(a − 1)
adicionales
Subsucesiones
Puntos Lı́mite
El lim sup
Dado y > 0, por arquimedianidad ∃n1 ∈ N : n1 (a − 1) > y, y
Sucesiones de
Cauchy
entonces an1 > n1 (a − 1) > y.
Series Igualmente, ∃n0 ∈ N : n0 (a − 1) > y y an0 > y1 .
Expansiones Entonces A = {x ∈ R : ax < y} = 6 ∅ (pues −n0 ∈ A) y es
Equipotencia acotado superiormente (por n1 ).
Las Funciones
exp y log (sigue)
Las Funciones Exponencial y Logarı́tmica
Propiedades de la función exponencial: Sobreyectividad de la exponencial

Algebra y
Análisis II
Teorema (54 (cont.))
Javier Trejos

Para 0 < a, a 6= 0, la función exponencial de base a,


Supuestos
expa : R →]0, ∞[, expa (x) = ax , es biyectiva.
Los Números
Reales

Sucesiones y demostración. Sea t = sup A, probemos que at = y.


Series
Numéricas Como t es el supremo de A, entonces
Conceptos
Básicos ∀n ∈ N, ∃xn ∈ A : t − n1 < xn ≤ t, luego xn → t, y
Convergencia
Tópicos
adicionales
Subsucesiones
at = lim axn ≤ y.
Puntos Lı́mite
n→∞
El lim sup
Sucesiones de 1
Cauchy Por otro lado, como tn = t + n 6∈ A se tiene atn ≥ y, y luego
Series

Expansiones at = lim atn ≥ y.


n→∞
Equipotencia

Las Funciones
exp y log Combinando las dos desigualdades se obtiene at = y. (sigue)
Las Funciones Exponencial y Logarı́tmica
Propiedades de la función exponencial: Sobreyectividad de la exponencial

Algebra y
Análisis II

Javier Trejos

Supuestos
Teorema (54 (cont.))
Los Números
Reales
Para 0 < a, a 6= 0, la función exponencial de base a,
Sucesiones y
expa : R →]0, ∞[, expa (x) = ax , es biyectiva.
Series
Numéricas
Conceptos
demostración. Sobreyectividad. Caso 0 < a < 1.
Básicos
Convergencia
Tópicos 1 1
adicionales ax = , con b = > 1
Subsucesiones
Puntos Lı́mite
bx a
El lim sup
Sucesiones de que sigue siendo sobreyectiva.
Cauchy

Series Inyectividad: por ser estrictamente creciente.


Expansiones Por lo tanto, expa es biyectiva
Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
La función logarı́tmica

Algebra y
Análisis II

Javier Trejos
Sea a > 0, a 6= 1. Como la función exponencial de base a es
Supuestos biyectiva, entonces existe su función inversa, que denotamos
Los Números
Reales
loga :]0, ∞[→ R.
Sucesiones y
Series
Numéricas
Conceptos
Se tiene entonces
Básicos
Convergencia
Tópicos
adicionales
ax = y ⇔ x = loga y.
Subsucesiones
Puntos Lı́mite
El lim sup
Sucesiones de
Escrito de otra forma:
Cauchy

Series
∀x ∈ R : loga ax = x, ∀y > 0 : aloga y = y.
Expansiones

Equipotencia

Las Funciones
exp y log
Las Funciones Exponencial y Logarı́tmica
La función logarı́tmica: propiedades

Algebra y
Análisis II
A partir de las propiedades de la exponencial, se deduce:
Javier Trejos
loga 1 = 0, pues a0 = 1.
Supuestos
loga a = 1, debido a que a1 = a.
Los Números
Reales
loga (xy) = loga x + loga y.
Sucesiones y
Series Viene de t = loga x, s = loga y para x, y > 0; luego
Numéricas
Conceptos
at = x, as = y y xy = at as = at+s , de donde t + s = loga (xy).
Básicos
Convergencia loga xs = s loga x.
Tópicos
adicionales
Subsucesiones
Si x > 0 y t = loga x. Para todo s ∈ R : ats = (at )s = xs , de
Puntos Lı́mite
El lim sup
donde ts = loga xs .
Sucesiones de 1
Cauchy loga x = − loga x.
Series
Basta tomar s = −1 en la propiedad anterior.
Expansiones
x
Equipotencia
loga y = loga x − loga y.
Las Funciones
Viene de las propiedades anteriores.
exp y log
Las Funciones Exponencial y Logarı́tmica
La función logarı́tmica: propiedades

Algebra y
Análisis II
También se tiene:
Javier Trejos La función loga x es estrictamente creciente en ]0, ∞[,
Supuestos
pues es la inversa de una función estrictamente creciente.
Los Números En efecto, sean t = loga x, s = loga y. Si t ≥ s, al ser la
Reales
exponencial una función creciente se tendrı́a x = at ≥ as = y.
Sucesiones y
Series Luego, de x < y se sigue t < s, es decir ln x < ln y.
Numéricas
Conceptos
Básicos
Cambio de base:
Convergencia
Tópicos Sean a, b positivos y distintos de 1. Sea x > 0,
adicionales
Subsucesiones t = loga x, s = logb x.
Puntos Lı́mite
El lim sup De la igualdad at = x = bs se sigue que
Sucesiones de
Cauchy
t = loga bs = s loga b, despejando s se obtiene la fórmula
Series
de cambio de base:
Expansiones

Equipotencia loga x
logb x = .
Las Funciones loga b
exp y log
Las Funciones Exponencial y Logarı́tmica
La función logarı́tmica: continuidad secuencial

Algebra y
Análisis II Sea la sucesión (yn ) en R+ que converge a y > 0.
Javier Trejos Sea xn = loga yn
Supuestos Sean α, β tales que α ≤ yn ≤ β para cada n ∈ N
Los Números Como loga es creciente: loga α ≤ xn = loga yn ≤a β para
Reales
cada n ∈ N
Sucesiones y
Series Por el teorema de Bolzano-Weierstrass, toda subsucesión
Numéricas
Conceptos
Básicos
de (xn ) tiene una subsucesión (xnk ) convergente:
Convergencia
Tópicos
xnk → x.
adicionales
Subsucesiones Por la continuidad secuencial de la exponencial se sigue:
Puntos Lı́mite
El lim sup
Sucesiones de yn k = a n k → a x
Cauchy

Series de donde ax = y, es decir x = loga y.


Expansiones
Ası́, toda subsucesión de (yn ) tiene una subsucesión que
Equipotencia
converge a loga y
Las Funciones
exp y log Luego, loga yn → loga y.
Las Funciones Exponencial y Logarı́tmica
La función logarı́tmica: Logaritmo natural o neperieno

Algebra y
Análisis II

Javier Trejos
Considerando el número de Euler
 
1 n
Supuestos

Los Números e = lim 1 +


Reales n→∞ n
Sucesiones y
Series
Numéricas La función loge se llama logaritmo natural o logaritmo
Conceptos
Básicos neperieno:
Convergencia
Tópicos loge x = ln x.
adicionales
Subsucesiones
Puntos Lı́mite Por la continuidad secuencial se tiene:
El lim sup
   
1 n
Sucesiones de
Cauchy
1
Series lim n ln 1 + = lim ln 1 + = ln e = 1.
n→∞ n n→∞ n
Expansiones

Equipotencia

Las Funciones
exp y log

También podría gustarte