Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ANÁLISIS MATEMÁTICO
z
“La única forma de aprender matemáticas ...
- Paul Halmos -
Julio César
Ramos Fernández
El Análisis Matemático es considerada una de las áreas de la ciencia Matemática. A nivel mun-
dial, ésta es una parte fundamental de cualquier programa de matemáticas ya que proporciona
las herramientas necesarias para comprender y analizar las funciones, las sucesiones y las se-
ries, que son conceptos clave en la mayoría de las ciencias. Además, en esta área se desarrollan
habilidades importantes, como lo son el razonamiento abstracto, la capacidad para formular y
resolver problemas, y la comprensión de la estructura y la lógica matemática.
Una revisión exhaustiva en la internet nos dice que el inicio de esta área básicamente empieza
con los trabajos de los antiguos matemáticos griegos; de hecho en la famosa paradoja de Ze-
non: ”Aquiles y la tortuga” que data del año 350 a.C. se da a entender una situación que involucra
hallar la suma de una serie geométrica. Posteriormente, se puede ver como en los trabajos de
Arquímedes aparecen de manera informal los conceptos de límites y convergencia cuando se
quiere aproximar el área y volumen de ciertas regiones y sólidos. Desde entonces, muchos han
sido los grandes matemáticos que han hecho importantes contribuciones a esta área; pero se
puede decir que los fundamentos modernos empiezan en el siglo XVII con los trabajos de Des-
cartes y Fermat que dan inicio a la geometría analítica y con los célebres teoremas fundamenta-
les del cálculo de Newton y Leibniz. También es importante destacar las contribuciones que se
hicieron en el siglo XIX: el estudio de las funciones analíticas de Cauchy, la teoría de integración
de Riemann y la definición de límite tal como se conoce en la actualidad dada por Weierstrass.
La construcción de los números reales por medio de ”cortaduras” se debe a Dedekind y en la
actualidad el estudio de convergencias en espacios de funciones tienen sus fundamentos en
los trabajos de Lebesgue, Hilbert y Banach. Una excelente exposición de la historia del análisis
matemático se puede encontrar en el link: https://es.wikipedia.org/wiki/Análisis_matemático.
Existen varias razones para justificar la escritura de un texto guía para un primer curso de aná-
lisis matemático. Aunque existen libros clásicos y obras recientes sobre el tema que son difíci-
les de superar, como científico e investigador en esta área y como docente de un programa de
matemáticas en una universidad, siento la responsabilidad y la necesidad de crear un enfoque
diferente que permita a los estudiantes comprender los conceptos de una manera más clara y
accesible. Por lo tanto, mi objetivo es presentar un lenguaje más coloquial sin sacrificar la rigu-
rosidad y formalidad necesarias en los enunciados y demostraciones, amén que se provee una
buena colección de ejemplos resueltos, la mayoría con gráficos ilustrativos, y una cantidad im-
portante de ejercicios que estoy seguro serán de gran ayuda para los estudiantes del curso. Al
crear un texto de análisis matemático con estas características, espero facilitar el aprendizaje
y mejorar la comprensión de los estudiantes en esta importante área de las matemáticas.
Este trabajo se divide en 6 capítulos que abarcan temas esenciales como números reales (axio-
ma del supremo), espacios métricos, sucesiones, límites, continuidad y diferenciabilidad. Lo
novedad de este texto es que todos los temas se estudian desde un enfoque de ínfimo y supre-
mo; así que el estudio de límite, continuidad y diferenciabilidad se basan en los célebres límites
inferior y superior que son de gran utilidad en las aplicaciones de las matemáticas.
Cada capítulo comienza con una propuesta de distribución del contenido por clases, lo que
permite al docente enfatizar en los conceptos más relevantes y a los estudiantes tener una guía
clara de estudio para el trabajo autónomo. Este enfoque busca optimizar el tiempo y el esfuerzo
de todos los involucrados en el curso, de modo que se logre un aprendizaje efectivo y profundo
en el análisis matemático.
Este texto está diseñado como una guía tanto para el docente como para el estudiante de un
primer curso de análisis matemático. En la Universidad Distrital Francisco José de Caldas, el
curso de Análisis Matemático I es una asignatura de 4 créditos que se distribuye en 4 horas lec-
tivas (2 sesiones de 2 horas cada una) por semana por parte del docente y 8 horas de trabajo
autónomo por parte del estudiante para un total de 12 horas semanales y generalmente se rea-
liza en un periodo o semestre de una duración de 18 semanas, siendo las dos última semanas
para la realización de los exámenes finales.
Clase # 1 Presentación del curso. Breve repaso de los axiomas de cuerpo y orden. Mostrar
que 1 > 0. Construir Z+ y Z.
Clase # 2 Números racionales Q y sus propiedades. Mostrar que no existe un racional
cuyo cuadrado sea 2. Intervalos en R. Arbitrariedad de ϵ > 0.
Clase # 3 Cotas inferiores y superiores. Ínfimo y supremo. La propiedad de aproximación
del supremo. El axioma del supremo. La propiedad arquimedeana. Existencia
de la parte entera.
p
Clase # 4 Existencia de 2. Números irracionales. Densidad de los racionales y de los
irracionales. Escritura decimal de un número real.
Clase # 5 Taller o Quiz de 10 %. El Docente hará una evaluación con una duración de hora
y media y en la siguiente media hora hará una retroalimentación.
Cuadro 2. Propuesta para la Parte I - El axioma del supremo
El curso culmina con un examen final el cual tiene un valor del 30 % y trata sobre todo el con-
tenido estudiado en la asignatura. Éste se realizará entre las semanas 17 y 18 previo acuerdo
entre los estudiantes y el docente.
Finalmente quiero expresar mis más sinceros agradecimientos a todas aquellas personas que
me motivaron a organizar y transcribir los apuntes que he estado acumulando en las muchas
ocasiones que he dictado esta asignatura; en especial a mis estudiantes de la carrera de mate-
máticas de la Universidad Distrital Francisco José de Caldas.
2.10. Cubrimientos............................................................................................ 52
Capítulo 3. Sucesiones 69
Bibliografía 231
Índice alfabético 233
6.2. Función con derivadas laterales distintas - existencia de picos ..................... 201
La base del estudio del Análisis Matemático reposa en un buen entendimiento del conjunto de
los números reales y de sus propiedades. Por eso, en este capítulo se hace un estudio axiomá-
tico de este conjunto y se dan las propiedades más importante de las operaciones en R.
Se propone que el contenido de este capítulo se estudien en dos semanas y media con la si-
guiente guía de actividades para las clases:
Clase # 1 Presentación del curso. Breve repaso Revisar los ejercicios propuestos en
de los axiomas de cuerpo y orden. las secciones 1.1, 1.2 y la primera par-
Mostrar que 0 · = 0 y que 1 > 0. te de la sección 1.3, en particular los
Construir Z+ y Z. Hacer énfasis que que tienen que ver con la unicidad del
no existe un entero entre 0 y 1. opuesto y del inverso; así como los
ejercicios que usan el axioma de tri-
cotomía; como por ejemplo la regla de
los signos en el ejercicio 1.2.4.
Clase # 2 Definir los números racionales Q. Demostrar que Q es campo. Estable-
Mencionar sus propiedades. Mostrar cer la relación de orden en los racio-
que no existe un racional cuyo cua- nales. Resolver los ejercicios 1.3.18,
drado sea 2. Hablar de intervalos en 1.3.25, 1.3.26, 1.3.27, 1.4.1 y 1.4.2.
R. Punto medio racional. Arbitrariedad
de ϵ > 0.
Cuadro 1.1. Propuesta - semana 1 - Cap.1 - Números reales
Se asume la existencia de un conjunto R, llamado conjunto de los números reales, con dos ele-
mentos distintos 0 (cero) y 1 (uno) y dos operaciones binarias + (suma) y × (multiplicación)
que satisfacen los siguientes axiomas:
+ y = y + y × y = y × .
+ (y + z) = ( + y) + z y × (y × z) = ( × y) × z.
En tal caso, se escribe + y + z o yz para indicar la suma o el producto de 3 números reales.
Ax. 3 Neutro e Identidad. Para cada ∈ R, se cumple que
+ 0 = 0 + = y × 1 = 1 × = .
+ y = y + = 0.
× z = z × = 1.
× (y + z) = × y + × z,
donde se asume que la multiplicación tiene prioridad con respecto a la suma y que las ope-
raciones en paréntesis tienen la mayor prioridad.
- Alguna veces escribimos y o bien · y en vez de × y. Entre las propiedades de los números
reales que se pueden deducir con estos axiomas se puede mencionar:
+ e = e + = ,
Ejercicio 1.1.1 (unicidad de la identidad). Demostrar que la identidad 1 (uno) es única. Es decir,
si existe e ∈ R tal que
·e=e·=
Ejercicio 1.1.2 (unicidad del opuesto). Demostrar que para cada ∈ R, el opuesto de es único.
Es decir, si existen y, z ∈ R tales que + y = 0 y + z = 0, entonces y = z.
- En virtud de esta unicidad, el opuesto de se denota por − y por unicidad se logra ver que:
☞ Observación
Para cada ∈ R, se cumple que −(−) = pues + (−) = 0.
− y := + (−y);
☞ Observación
Para cada , y ∈ R, se cumple que −( − y) = − + y.
Ejercicio 1.1.3 (unicidad del inverso). Demostrar que para cada ∈ R − {0}, el inverso de es
único. Es decir, si existen y, z ∈ R tales que y = 1 y z = 1, entonces y = z.
- En virtud de la unicidad, para ∈ R − {0}, se denota su inverso por −1 . En particular 1−1 = 1
pues por el axioma de identidad se sabe que 1 × 1 = 1.
−1
(3) ̸= 0 ⇒ −1 = , (4) · y = 0 ⇐⇒ ( = 0) ∨ (y = 0),
p q p p·s
(1) = 0 ⇐⇒ p = 0, (2) = 1, (3) = ,
q q q q·s
p
p r ps + qr q ps p −p p
(7) + = , (8) r ̸= 0 ⇒ r = , (9) − = = .
q s qs s
qr q q −q
Sin embargo, los axiomas de campo o cuerpo no demuestran existencia de algún otro número
real distinto del 0 (cero) y el 1 (uno). De hecho, se tiene:
+ 0 1 × 0 1
0 0 1 0 0 0
1 1 0 1 0 1
Demuestre que Z2 con esta suma y esta multiplicación satisface los 5 axiomas de cuerpo.
☞ Observación
Observe que en este campo −1 = 1 pues 1 + 1 = 0. Es decir, 1 es su propio opuesto.
+ 0 1 2 × 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1
Demuestre que Z3 con esta suma y esta multiplicación satisface los 5 axiomas de cuerpo.
☞ Observación
En el campo Z3 , se cumple que −1 = 2 pues 1 + 2 = 0; esto es, el opuesto de 1 es 2 y
1
también 2−1 = 2
= 2 debido a que 2 × 2 = 1.
Se asume la existencia de un conjunto R, llamado conjunto de los números reales, con dos ele-
mentos distintos 0 (cero) y 1 (uno), con dos operaciones binarias + (suma) y × (multiplicación)
que satisfacen los 5 axiomas de cuerpo; y adicionalmente, se asume la existencia de una rela-
ción de orden estricta < (menor que) que satisface las siguientes propiedades:
Ax. 6. Tricotomía. Para cada par , y ∈ R se cumple una y sólo una de las siguientes proposiciones:
< y ⇒ + z < y + z.
> y ⇐⇒ y < ;
≤ y ⇐⇒ ( < y) ∨ ( = y).
y esta unión es disjunta; esto es, no existe un número real que al mismo tiempo sea positivo y
negativo.
Teorema 1.2
1 > 0. Esto es, 1 ∈ R+ .
Demostración. Por construcción ya sabemos que los números 0 y 1 son distintos; así que por
tricotomía, debe ocurrir: (a) 1 < 0 o bien (b) 1 > 0. Veamos que el caso (a) no es posible. Por la
vía de la contradicción, suponemos que si es cierto que 1 < 0. Entonces por la compatibilidad
con la suma y agregando a cada lado de la desigualdad el opuesto de 1, se tiene
Así que por los axiomas del opuesto y del neutro, se obtiene 0 < −1. Luego, usando la compa-
tibilidad con el producto se puede escribir
(7) ( < y) ∧ (z < 0) ⇒ z > yz, (8) 2 < ⇒ ( > 0) ∧ ( < 1),
(12) y
≤ 0 ⇐⇒ (( ≥ 0) ∧ (y < 0)) ∨ (( ≤ 0) ∧ (y > 0)),
(13) y > 0 ⇐⇒ (( > 0) ∧ (y > 0)) ∨ (( < 0) ∧ (y < 0)),
Similarmente para ≤ < b, < ≤ b y para ≤ ≤ b. Con esta notación, el ejercicio (10)
queda:
≤ 0 ⇐⇒ (y < 0 ≤ ) ∨ ( ≤ 0 < y).
y
Adicionalmente, se tiene los siguientes ejercicios:
☞ Observación
A estas últimas propiedades se le suele llamar la regla de los signos.
Se recomienda el excelente texto de Jesús A. Venero Baldeón [9] para más propiedades de las
desigualdades de los números reales.
Se asume la existencia de un conjunto R, llamado conjunto de los números reales, con dos ele-
mentos distintos 0 (cero) y 1 (uno), con dos operaciones binarias + (suma) y × (multiplicación)
que satisfacen los 5 axiomas de cuerpo; y que adicionalmente tiene definida una relación de or-
den estricta < (menor que) que satisface los 4 axiomas de orden.
Con estos axiomas de campo y orden, ahora se puede garantizar la existencia de número reales
distintos al cero y al uno; por ejemplo:
Proposición 1.1
1 + 1 ̸= 0 y 1 + 1 ̸= 1.
Demostración. En efecto, como 0 < 1, entonces por la compatibilidad con la suma se tiene
0 + 1 < 1 + 1; esto es 1 + 1 > 1 y por transitividad también se tiene 1 + 1 > 0. Luego, por
tricotomía, se concluye que 1 + 1 ̸= 1 y 1 + 1 ̸= 0. ■
que define un conjunto inductivo. Observe que n + 1 > n. También por construcción, es im-
portante destacar que no existe un entero positivo entre 0 (cero) y 1 (uno) y que si n y m son
enteros positivos tales que n > m, entonces n − m ≥ 1. Esto es,
∀n, m ∈ Z+ : n > m ⇒ n − m ≥ 1.
>0⇒+1>1>0
con lo cual ∈ R+ ⇒ + 1 ∈ R+ .
n, m ∈ Z+ ⇒ (n + m ∈ Z+ ) ∧ (n · m ∈ Z+ ).
Un número p ∈ Z+ tal que p ≥ 2 se dice primo si es divisible solamente por 1 y por el mismo.
En caso contrario, se dice que p es compuesto. El 1 no es ni primo ni compuesto.
Ejercicio 1.3.7 (Existencia del mínimo común múltiplo). Si n y m son enteros positivos entonces
existe p ∈ Z+ tal que n divide a p, m divide a p y p divide a cualquier otro múltiplo común de n
y m.
El número p del ejercicio anterior se llama el mínimo común múltiplo de n y m y se denota por
m.c.m(n, m) y por definición
m.c.m(n, m)
∈ Z+ .
n
Por ejemplo, m.c.m(8, 6) = 24. Los múltiplos de 8 son 8Z+ = {8, 16, 24, 32, 40, ...} y los
múltiplos de 6 son 6Z+ = {6, 12, 18, 24, 30, 36, ...}.
Ejercicio 1.3.8 (Existencia del máximo común divisor). Si n y m son enteros positivos entonces
existe p ∈ Z+ tal que p divide a n, p divide a m y cualquier otro divisor común de n y m también
divide a p.
El número p del ejercicio anterior se llama el máximo común divisor de n y m y se denota por
M.C.D(n, m) y por definición
n
∈ Z+ .
M.C.D(n, m)
Por ejemplo, M.C.D(8, 6) = 2. Los divisores de 8 son {1, 2, 4, 8} y los divisores de 6 son
{1, 2, 3, 6}.
Esto significa que los números n′ y m′ que se obtienen dividiendo por el máximo común divisor
son primos relativos.
(primos relativos)
☞ Observación
Dos números n, m ∈ Z+ se dicen primos relativos si M.C.D(n, m) = 1. Esto significa que
estos dos número no tiene factores comunes salvo el 1.
Para las propiedades de los enteros positivos, se recomienda revisar el Capítulo 9 del texto de
Armando Rojo [6].
n+1 = n · = · n .
Ejercicio 1.3.12. Para n ∈ Z+ , se cumple: > 0 ⇒ n > 0. ¿Qué pasa con el recíproco?
< y ⇐⇒ n < y n .
n < m ⇐⇒ n > m .
n < m ⇐⇒ n < m .
Las potencia con base mayor que 1 crecen en la medida que crecen sus exponentes.
de los enteros negativos y entonces el conjunto Z de los enteros viene dado por
Todos los elementos de este conjunto son distintos entre sí. De hecho, todo negativo es menor
que todo positivo.
Ejercicio 1.3.19 (suma y producto de enteros). El conjunto Z es cerrado con la suma y el produc-
to. Es decir,
n, m ∈ Z ⇒ (n + m ∈ Z) ∧ (n · m ∈ Z).
La suma y producto de enteros da como resultado otros enteros.
(n )m = n·m .
Esta son las reglas de multiplicación de potencias de igual base y la de potencia de potencia.
Existen números reales que no son enteros. Por ejemplos, de la relación 0 < 1 < 2, podemos
multiplicar por 2−1 , el inverso de 2, el cual es un número positivo y obtener
1
0 < 2−1 < 1 ⇐⇒ 0 < <1
2
1
y entonces = 2
es un número real positivo y no entero. Esto permite definir el conjunto de los
números racionales Q mediante la expresión
p
Q= : p ∈ Z ∧ q ∈ Z+ .
q
Observe que
p
Ejercicio 1.3.21. Q = : p, q ∈ Z ∧ q ̸= 0 .
q
Ejercicio 1.3.22. El conjunto Q es cerrado con la suma, la resta, el producto y la división. Es decir,
Ejercicio 1.3.25 (punto medio de racionales). Demuestre que para cada r, s ∈ Q con r < s, existe
q ∈ Q tal que r < q < s.
3
Ejercicio 1.3.26. Escriba 3 racionales entre 5
y 45 .
n
Demostración. Supongamos que existe un racional positivo m
∈ Q con n, m ∈ Z+ tal que
n 2
= 2.
m
Dividiendo el numerador y denominador por M.C.D(n, m); podemos suponer que n y m son
primos relativos; es decir, que no tienen factores común distinto de 1. De la relación anterior, se
obtiene n2 = 2m2 , lo cual significa que n2 es par y consecuentemente, n es par; así que existe
k ∈ Z+ tal que n = 2k. Luego, sustituyendo, también se tiene
De aquí que multiplicando por 2−1 , el inverso de 2, se obtiene 2k 2 = m2 , lo cual significa que
m2 es par y entonces m también es par. En total, n y m son pares, contradiciendo que estos
números son primos relativos. La contradicción surge por suponer que existe un racional cuyo
cuadrado sea 2. ■
Ejercicio 1.3.27. Demostrar que no existe un número racional positivo cuyo cuadrado sea 3.
Ejercicio 1.3.28. Demostrar que no existe un número racional positivo cuyo cuadrado sea 5.
Con los axiomas de cuerpo y orden, se tiene que R es un campo totalmente ordenado con la
relación < (menor que). Entonces los elementos , b de R se pueden representar en una recta
horizontal (diagrama de Hasse) y dibujar a la izquierda de b para indicar que < b. tal como
se muestra en la Figura 1.1.
(∀ϵ > 0 : ≤ b + ϵ) ⇒ ≤ b.
Si es más pequeño que b con cualquier positivo es porque es menor o igual que b.
En símbolos:
Todavía más, nos podemos aprovechar de las relaciones de orden para definir otros subconjun-
tos de R:
Esto es, si e y están en , entones todos los valores que estén entre e y también son
elementos de .
✿ Intervalos abiertos.
(, b] = { ∈ R : < ≤ b} ,
[ , b) = { ∈ R : ≤ < b} ,
[ , ∞) = { ∈ R : ≥ } ,
(−∞, b] = { ∈ R : ≤ b} .
✿ Intervalo cerrado . [ , b] = { ∈ R : ≤ ≤ b}
El conjunto unitario {} = [ , ] y el mismo R = (−∞, ∞). Las operaciones usuales que
hacemos con A y B subconjuntos de R son:
✿ Intersección . A ∩ B = { ∈ R : ∈ A y ∈ B},
✿ Unión. A ∪ B = { ∈ R : ∈ A o ∈ B},
✿ Diferencia. A − B = { ∈ R : ∈ A y ∈
/ B},
✿ Complemento. Ac = { ∈ R : ∈
/ A} = R − A.
De la definición anterior es claro que si M es cota superior del conjunto no vacío A, entonces
para cada ϵ > 0, se cumple que M + ϵ es también cota superior; pero no queda claro (todavía)
que exista un número real S que sea la “menor” de las cotas superiores de A. Tal número, si
existe, se llama el supremo de A y se denota por S = sp(A). Más precisamente,
También es de utilidad:
A + B = { + b : ∈ A ∧ b ∈ B} .
Ejercicio 1.5.6 (propiedad arquimedeana). Para cada ϵ > 0 existe n0 ∈ Z+ tal que
1
< ϵ.
n0
1
En particular, n
< ϵ para cada n ∈ Z+ tal que n ≥ n0 .
2n > n
para todo n ∈ Z+ .
Ejercicio 1.5.8 (propiedad arquimedeana). Para cada ϵ > 0 existe n0 ∈ Z+ tal que
1
< ϵ.
2n0
1
En particular, 2n
< ϵ para cada n ∈ Z+ tal que n ≥ n0 .
\ 1 1
(c) − ,b+ = [ , b],
n∈Z+ n n
2n
S = sp : n ∈ Z+ = 1.
2n + 1
✿ Si L es cota inferior del conjunto no vacío A, entonces para cada ϵ > 0, se cumple que L − ϵ
es también cota inferior. Es decir, todo número menor que L es también cota inferior para A.
2. es la mayor de las cotas inferiores; es decir, si L es una cota inferior para A, entonces
≥ L.
Esto es, el ínfimo de un conjunto se puede aproximar por los elementos del conjunto.
−A = {− : ∈ A}
Ejercicio 1.6.4 (completitud). Todo conjunto no vacío y acotado inferiormente de números reales
admite ínfimo en R.
n0 ≤ < n1 .
Esto es, todo número real se puede encerrar entre dos enteros.
Ejercicio 1.6.7 (existencia de la parte entera). Para cada ∈ R existe un entero n tal que
n ≤ < n + 1.
Ejercicio 1.6.8 (descomposición diádica). Sea n ∈ Z+ fijo. Para cada ∈ [ 0, 1) existe un entero
k ∈ {0, 1, 2, 3, · · · , 2n − 1} tal que
k k+1
≤< .
2n 2n
Esto es, todo número real se puede encerrar entre dos racionales cuyos denominadores sean
potencias de 2.
Ejercicio 1.6.9 (principio del buen orden). Todo subconjunto no vacío de enteros positivo tiene
elemento mínimo.
Ejercicio 1.6.10 (principio del buen orden). Todo subconjunto no vacío acotado superiormente
de enteros tiene elemento máximo.
Ejercicio 1.6.11. Usar el axioma del supremo para deducir la existencia del mínimo común múlti-
plo y el máximo común divisor de dos enteros positivos.
Ya hemos visto que no existe un número racional cuyo cuadrado sea 2. En esta sección mostra-
remos que como consecuencia del axioma del supremo (y de los axiomas de campo y de orden)
se puede garantizar la existencias de números reales que no son racionales. El resultado que
se presenta es el siguiente:
Por el axioma del supremo existe b ∈ R tal que b = sp(B). Vamos a mostrar que b2 = 2 lo
cual demuestra el teorema. Observe que como 1 ∈ B, entonces b ≥ 1 y que como ≤ 2 para
todo ∈ B, se tiene que b ≤ 2. Así que 1 ≤ b ≤ 2.
Por la ley de tricotomía, se tienen tres casos para b2 : (i) b2 < 2, (ii) b2 > 2 o (iii) b2 = 2. Vamos
a mostrar que los dos primeros casos no son factibles.
(i) Supongamos primero que b2 < 2. La idea es utilizar la propiedad aquimedeana para demos-
trar la existencia de un elemento de B de la forma
1
b+
n
para algún n ∈ Z+ , lo cual contradice el hecho que b es el supremo de B. En este caso, para
n ∈ Z+ se cumple n ≥ 1 y por esta razón,
2
1 1 1 1 1 1
b+ = b2 + 2b + ≤ b2 + 2b + = b2 + (2b + 1) .
n n n2 n n n
Luego,
1 2b + 1
b2 + (2b + 1) < 2 ⇐⇒ n >
.
n 2 − b2
Por tanto, por la propiedad arquimedeana (Z+ no está acotado superiormente), podemos se-
leccionar n ∈ Z+ tal que
2b + 1
n>
2 − b2
2
y entonces el número real 0 = b+ 1n satisface 20 = b + 1n < 2; lo cual significa que 0 ∈ B,
contradiciendo el hecho que b = sp(B). Así que el caso (i) no es factible.
(ii) Supongamos ahora que b2 > 2. De nuevo, vamos a usar la propiedad arquímedeana para
1
construir una contradicción. Se observa que para cada n ∈ Z, el número real b − n
no es cota
superior y por tanto, debe existir 0 ∈ B, que depende de n, tal que
1
b− < 0 ≤ b.
n
Observe que el lado izquierdo de la desigualdad es no negativo pues b ≥ 1 y n ≥ 1. Entonces
2
1 1 1 1
20 > b − = b2 − 2b + > b2 − 2b
n n n2 n
pues n2 ≥ 0. Luego
1 2b
b2 − 2b > 2 ⇐⇒ n >
n b2 − 2
y entonces, por la propiedad arquimedeana (Z+ no está acotado superiormente), podemos en-
contrar n ∈ Z+ tal que
2b
n>
b2 − 2
1 2
2
y con este n, existe 0 ∈ B tal que 0 > b − n > 2 lo que contradice la definición de B
(20 < 2). Así que el caso (ii) tampoco es factible.
Ejercicio 1.7.2 (existencia de raíz de 3). Demuestre que existe un número real positivo cuyo cua-
p
drado es 3. Denote este número por 3.
Ejercicio 1.7.3 (existencia de raíz de 5). Demuestre que existe un número real positivo cuyo cua-
p
drado es 5. Denote este número por 5.
Ejercicio 1.7.4 (acotando raíz de 3). Demuestre, por definición del supremo, que
17 p 18
≤ 3≤ .
10 10
Esto es, raíz de 3 se puede encerrar entre dos racionales con denominador común 10.
Ejercicio 1.7.5 (existencia de raíz de > 0). Fijemos ∈ R+ . Demuestre que existe un número
p
real positivo cuyo cuadrado es . Denote este número por , la raíz cuadrada de .
Ejercicio 1.7.6 (raíz del producto y del cociente). Demuestre que si , y ∈ R+ , entonces
v
u p
p p p t
y = y, =p .
y y
p
donde se define 0 = 0.
Ejercicio 1.7.13. Establecer propiedades del producto, cociente y monotonía para la raíces n-
ésimas.
3. Si , y son números reales tales que < y, entonces existe ∈ I tal que < < y.
2. Supongamos que , y son números reales tales que < y, entonces y − > 0 y consecuen-
temente, por la propiedad arquimedeana, existe un entero positivo n tal que
1
< y − .
n
Sea m la parte entera de n. Por definición se tiene que m ≤ n < m + 1, con lo cual
m m+1
≤<
n n
y por tanto
m 1 m+1
y = + (y − ) > + = > .
n n n
Así que la proposición es cierta con r = (m + 1)/ n ∈ Q.
p
3. Supongamos que , y son números reales tales que < y. Como 2 > 0 entonces
y
p <p .
2 2
Luego, como consecuencia del item 2, existe un número racional r, el cual podemos suponer
distinto de cero, en virtud de que podemos usar el item 2 dos veces, tal que
y
p <r< p ;
2 2
p p
lo cual equivale a decir que < r 2 < y y el resultado sique haciendo = r 2 el cual es un
número irracional en virtud del item 1. ■
Ejercicio 1.7.16. Demuestre que si n y m son enteros tal que n2 + m2 ̸= 0 (esto significa que
p p
ambos no son nulos al mismo tiempo), entonces n 2 + m 3 es un número irracional.
p
Ejercicio 1.7.17. Usando el hecho que 2 es un irracional entre 1 y 2, construya dos números
3
irracionales entre y 45 . Justifique su respuesta.
5
p p
Ejercicio 1.7.18. Usando el hecho que 1 < 2 < 3 < 2, construya dos números racionales
p p
entre 2 y 3.
En esta sección veremos una generalización del teorema de la existencia de la parte entera. Más
precisamente, estableceremos que todo número real positivo se puede aproximar por racionales
de la forma
E.d1 d2 d3 d4 . . . dn ,
donde E es un entero no negativo y los dk con k ∈ {1, 2, · · · , n} son dígitos, es decir, números
enteros entre 0 y 9. En primer lugar, se aclara que significa la notación centrada:
E.d1 d2 · · · dn , (1.1)
d1 d2 d3 dn
rn = E + + + + ···+ . (1.2)
10 102 103 10n
2 5 1 1 20 + 4 + 1 25 5
r =1+ + =1+ + = = = .
10 102 5 20 20 20 4
Esto es, el número dado es justamente una fracción.
El siguiente resultado nos provee un algoritmo para los números E y dk de la escritura (1.1).
1
rn ≤ < rn + .
10n
Esto es, cada número real se puede aproximar por un racional del tipo rn .
E ≤ < E + 1.
Ahora hacemos y1 = − E con lo cual 0 ≤ 10y1 < 10 y llamamos d1 la parte entera de 10y1 ,
así que d1 es un dígito y además d1 ≤ 10y1 < d1 + 1 lo cual implica que
d1 d1 + 1 d1 1
≤ y1 < = + ;
10 10 10 10
es decir,
d1 d1 1
≤−E< +
10 10 10
esto implica que
d1 d1 1
E+ ≤<E+ +
10 10 10
y la proposición es cierta para n = 1.
Ahora se hace y2 = 10y1 − d1 lo cual es un número en [ 0, 1) y por tal motivo, la parte entera
de 10y2 , el cual se denota por d2 , es un dígito que satisface la relación d2 ≤ 10y2 < d2 + 1
con lo cual
d2 d2 1
≤ y2 < + .
10 10 10
Por lo tanto, sustituyendo y2 y y1 se obtiene
d2 d2 1
≤ 10( − E) − d1 < + .
10 10 10
lo cual implica que
d1 d2 d1 d2 1
E+ + ≤<E+ + +
10 102 10 102 102
y la proposición es cierta para n = 2.
Finalmente, suponiendo que se han encontrado el dígito dn−1 el cual es la parte entera de
10yn−1 , se define yn = 10yn−1 − dn−1 el cual es un número en el intervalo [ 0, 1) y por tanto la
parte entera de 10yn es un dígito que se denota por dn y el se obtiene por sustitución sucesiva
que
d1 d2 dn d1 d2 dn 1
E+ + + ···+ ≤<E+ + + ···+ + .
10 102 10n 10 102 10n 10n
Esto muestra el resultado. ■
5
Solución. Si = 4
, entonces por el algoritmo de la división, = 1 + 1/ 4, de donde la parte
entera de es E = 1. De manera que y1 = − E = 1/ 4 y así 10y1 = 10/ 4 = 5/ 2 = 2 + 1/ 2.
Por tanto, la parte entera de 10y1 es d1 = 2. Ahora y2 = 10y1 − d1 = 1/ 2 y por tal motivo, la
parte entera de 10y2 es d2 = 5. Se concluye desde aquí que d3 = d4 = · · · = 0 y la escritura
de es
5
= 1,25.
=
4
Esto se complementa con lo que se había hecho en el Ejemplo 1.8. ■
☞ Observación
Si es un número real, la notación = E.d1 d2 d3 ... indica que los números E y los dk
son los obtenidos en el teorema anterior. Si en el Teorema 1.8 se impone la condición que
los rn deben cumplir que
1
rn < ≤ rn +
,
10n
se obtiene una representación distinta de los números reales. Por ejemplo, con esta con-
5
dición, se tendría que = 4
= 1,24999 · · · .
p
Ejercicio 1.8.1. Demuestre que 1,4 < 2 < 1,5.
p
Ejercicio 1.8.2. Demuestre que 1,7 < 3 < 1,8.
Ejercicio 1.8.3. Usando el método en la demostración del resultado anterior, halle la representa-
ción decimal de 76 .
[1] Tom M. Apostol. Análisis Matemático, 2da Edición. Editorial Reverté, S.A. Barcelona, 1976.
ISBN 978-84-291-5004-9.
[2] Robert G. Bartle & Donald R. Sherbert. Introducción al análisis matemático de una variable,
3a Edición. Limusa-Wiley, México, 2010. ISBN 978-607-05-0216-3.
[3] Ignacio L. Iribarren. Topología de espacios métricos. Editorial Limusa-Wiley, S.A. México,
1973.
[4] Jerrold E. Marsden & Michael J. Hoffman. Elementary classical analysis, 2da Edición. W.H.
Freeman and Company, San Francisco, 1993. ISBN 978-0716721055.
[5] James R. Munkres. Topología, 2da Edición. Pearson Educación, S.A., Madrid, 2002. ISBN.
84-205-3180-0.
[6] Armando Rojo. Álgebra I. Ed. El Ateneo, Buenos Aires, 2006. ISBN 95Q-02-S204-X.
[7] Walter Rudin. Principios de Análisis Matemático, 3a Edición. McGraw Hill, México, 1980.
ISBN 968-6046-82-8.
[8] Antonio Tineo. Topología espacios métricos. Kariña Editores, Los Andes, 1973.
ANÁLISIS MATEMÁTICO
- GUÍA PARA EL CURSO -
Lo novedad de este texto es que todos los temas se estudian desde un enfoque de
ínfimo y supremo; así que el estudio de límite, continuidad y diferenciabilidad se
basan en los célebres límites inferior y superior que son de gran utilidad en las
aplicaciones de las matemáticas.