Análisis Real - Dennis A. Redtwitz PDF

lisis Real
Ana
M.Sc. Dennis A. Redtwitz
FaCEN - UNA
Indice general
1. Teora de Conjuntos
1.1. Conjuntos . . . . . . . . . . .
1.1.1. Definicion y ejemplos .
1.1.2. Operaciones . . . . . .
1.1.3. Producto cartesiano .
1.2. Funciones . . . . . . . . . . .
1.2.1. Definicion y ejemplos .
1.2.2. Familias . . . . . . . .
1.2.3. Operaciones grandes
1.2.4. Imagenes . . . . . . . .
1.2.5. Preimagenes . . . . . .
1.2.6. Composiciones . . . .
1.2.7. Inyectividad . . . . . .
1.2.8. Sobreyectividad . . . .
1.2.9. Biyectividad . . . . . .
1.2.10. Funciones especiales .
1.2.11. Inversas a la izquierda
1.2.12. Inversas a la derecha .
1.2.13. Inversas bilaterales . .
1.3. Relaciones de equivalencia . .
1.4. Ejercicios . . . . . . . . . . .
2. Finitud y numerabilidad
2.1. N
umeros naturales . .
2.2. Finitud . . . . . . . . .
2.3. Numerabilidad . . . .
2.4. Ejercicios . . . . . . .
3. N
umeros Reales
3.1. Propiedades . .
3.2. Funciones reales
3.3. Intervalos . . .
3.4. Valor absoluto .
3.5. Ejercicios . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
7
7
8
10
12
12
12
13
15
16
17
17
18
19
19
19
20
21
23
26
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
31
34
37
39
. . . . . . . . .
de variable real
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
41
43
45
47
50
51
.
.
.
.
53
55
62
63
69
.
.
.
.
4. Sucesiones
4.1. Definicion y propiedades
4.2. Lmites infinitos . . . . .
4.3. Series numericas . . . . .
4.4. Series de potencias . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5. La topologa de R
5.1. Puntos interiores . . .
5.2. Puntos de clausura . .
5.3. Puntos de frontera . .
5.4. Puntos de acumulacion
5.5. Compacidad . . . . . .
5.6. Ejercicios . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6. Noci
on de lmite
6.1. Definicion y propiedades . . . . . .
6.2. Lmites laterales . . . . . . . . . . .
6.3. Continuidad . . . . . . . . . . . . .
6.4. Funciones continuas en un intervalo
6.5. Funciones continuas en un conjunto
6.6. Continuidad uniforme . . . . . . . .
6.7. Ejercicios . . . . . . . . . . . . . .
7. Derivadas
7.1. Definicion y propiedades .
7.2. Derivadas laterales . . . .
7.3. Funciones derivables en un
7.4. Funciones convexas . . . .
7.5. Ejercicios . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . .
. . . . . .
. . . . . .
. . . . . .
compacto
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
73
78
81
82
84
87
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
91
96
98
103
105
107
110
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
113
. 115
. 120
. 123
. 126
. 130
8. La Integral de Riemann
8.1. Definicion y propiedades . . . . . . .
8.2. El Teorema de Riemann-Lebesgue . .
8.3. El Teorema Fundamental del Calculo
8.4. Funciones analticas . . . . . . . . . .
8.5. Logaritmos y exponenciales . . . . .
8.6. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . .
. . . . .
intervalo
. . . . .
. . . . .
Referencias bibliogr
aficas
133
135
140
142
145
148
150
153
Captulo 1
Teora de Conjuntos
1.1.
1.1.1.
Conjuntos
Definici
on y ejemplos
Seg
un Georg Cantor, un conjunto es cualquier reunion M de objetos determinados x, bien
distintos de nuestra percepcion o de nuestro pensamiento (que son denominados elementos
de M ), en un todo.
Aunque esto no constituye una definicion valida de la palabra conjunto, al menos no en el
sentido matematico, sera suficiente para nuestros propositos, siempre y mientras que especifiquemos conjuntos de la manera
M = {x U : (x)}
donde M es el conjunto formado por aquellos elementos del conjunto U que cumplen con la
propiedad .
Si x es un elemento de M , escribimos x M . De lo contrario, x
/ M.
Ejemplo 1.1.1 Suponiendo que conocemos al conjunto N (los n
umeros naturales o enteros
positivos), podemos definir otro conjunto
M = {x N : x es par}.
Otras formas usuales de denotar este conjunto son
M = {2x : x N}
o
M = {2, 4, 6, 8, }.
Ejemplo 1.1.2 R = {x : x
/ x} no especifica un conjunto. Si R estuviese bien definido,
tendramos que R R o que R
/ R.
Sin embargo, si R R, R no cumple con la propiedad x
/ x y tenemos que R
/ R; y si
R
/ R, R cumple con la propiedad x
/ x y tenemos que R R.
Esto constituye una contradiccion.
El ejemplo anterior muestra que la ausencia del conjunto universal U puede causar contradicciones.
Diremos que dos conjuntos son iguales si poseen los mismos elementos; es decir, A = B si
y solo si
x (x A x B).
Claramente, A = B si y solo si B = A.
A esta incluido en B (o A es una parte de B o A es un subconjunto de B o B contiene a
A o B es un superconjunto de A) si cada elemento de A es tambien elemento de B; es decir,
A B si y solo si
x (x A x B).
Una notacion alternativa es B A.
Ya que x A x A, siempre se verifica que A A.

Supongamos que A B y B C. Si x A, como A B, x B. Luego, como B C,
x C. Esto prueba que A C.
Es claro que A = B si y solo si A B y B A. Si A B pero A 6= B, diremos que
A esta propiamente incluido en B (o A es una parte propia de B o A es un subconjunto propio de B o B contiene propiamente a A o B es un superconjunto propio de A). Escribiremos
A B prop. o B A prop. para especificar que la inclusion es propia.
Dado cualquier conjunto U , se puede formar el conjunto V = {x U : x 6= x}. Ya que
x 6= x no puede cumplirse, sea cual sea x, el conjunto V no posee elementos.
Si M es cualquier conjunto, se cumple que V M , ya que
x (x V x M ),
puesto que ning
un x cumple con el antecedente.
En particular, si suponemos que existen dos conjuntos distintos que no poseen elementos,
V y W , tenemos que V W y W V , de manera que V = W . Esto contradice el supuesto.
Luego, existe un u
nico conjunto sin elementos, al que llamaremos conjunto vaco. Lo denotaremos con .
Si el superconjunto U se sobreentiende, podemos escribir Ac para denotar el conjunto
{x U : x
/ A},
el complemento de A. Es claro que (Ac )c = A.
Ejemplo 1.1.3 La notacion de complemento puede llevar a confusiones. Por ejemplo, si
A = {1, 2, 3},
Ac podra ser
{4, 5, 6, }
o
{ , 2, 1, 0, 4, 5, 6, },
dependiendo de si consideramos N o Z como conjunto universal.
1.1.2.
Operaciones
Si A y B son conjuntos, la intersecci

on de A y B es el conjunto de todos los elementos
comunes de A y B. Lo denotaremos con A B. Formalmente,
x A B x A x B.
La uni
on de A y B es el conjunto de todos los elementos que pertenecen a A o a B. Lo
denotaremos con A B. Formalmente,
x A B x A x B.
8
para indicar
Si A y B son disjuntos, es decir, si A B = , la union puede denotarse con AB
que se trata de una union disjunta.
La diferencia entre A y B (en este orden) es el conjunto de todos los elementos que
pertenecen a A pero no a B. Lo denotaremos con A B. Algunos textos utilizan A \ B.
Formalmente,
x A B x A x
/ B.
La diferencia sim
etrica entre A y B es el conjunto de todos los elementos que pertenecen
a A o a B, pero no a ambos. Lo denotaremos con A4B. Formalmente,
A4B = (A B) (A B).
El conjunto de partes de A es el conjunto formado por todos los subconjuntos de A. Lo
denotaremos con P(A). Algunos textos utilizan 2A . Tambien es llamado conjunto potencia de
A. Formalmente,
x P(A) x A.
La siguiente tabla engloba algunas de las propiedades mas importantes de estas operaciones.
I1.
AA=A
I2.
A=
I3.
AU =A
I4.
A Ac =
I5.
AB =BA
I6.
A (B C) = (A B) C
I7.
A B A B = A
I8.
A B A C A B C
U1. A A = A
U2. A = A
U3. A U = U
U4. A Ac = U
U5. A B = B A
U6. A (B C) = (A B) C
U7. A B A B = B
U8. A C B C A B C
U9. A B = A(B
A)
IU1. A (B C) = (A B) (A C)
IU2. A (B C) = (A B) (A C)
IU3. (A B)c = Ac B c
IU4. (A B)c = Ac B c
D1.
D2.
D3.
D2.
D5.
D6.
D7.
D8.
S1.
S2.
S3.
S4.
S5.
S6.
S7.
S8.
S9.
P1.
P2.
P3.
P4.
AA=
A=A
A U = A y U A = Ac
A Ac = A y Ac A = Ac
A B = A Bc
(A B) C = A (B C)
A (B C) = (A B) (A C)
A B A B =
A4A =
A4 = A
A4U = Ac
A4Ac = U
A4B = B4A
A4(B4C) = (A4B)4C
A4B = A4C B = C
A4B = A = B
A4B = (A B)(B
A)
P() = {}
A B P(A) P(B)
P(A B) P(A) P(B)
P(A) P(B) P(A B)
La mayora de estas propiedades, las identidades, son faciles de demostrar si las concebimos
como proposiciones logicas compuestas por las proposiciones atomicas x A, x B, etc.
Por ejemplo, la propiedad IU2 es claramente equivalente a la proposicion
x (x A (B C) x (A B) (A C)).
La tabla de verdad a continuacion la demuestra:
9
xA xB
V
V
V
V
F
V
V
F
V
F
F
V
F
F
F
F
xC
V
F
V
F
V
F
V
F
xBC
V
F
F
F
V
F
F
F
x A (B C) x A B
V
V
V
V
V
V
V
V
V
V
F
V
F
F
F
F
xAC
V
V
V
V
V
F
V
F
x (A B) (A C)
V
V
V
V
V
F
F
F
Para ahorrar espacio, podemos usar tambien una tabla de pertenencia como la que presentamos a continuacion:
A
BC
A (B C)
AB
AC
(A B) (A C)
Aunque es posible utilizar estas tablas para probar propiedades como I7, puede resultar
mas facil sin ellas.
Proposici
on 1.1.4 A, B (A B A B = A)
n:
Demostracio
Supongamos que A B. Si x A B, es claro que, en particular, x A. Esto prueba que
A B A. Por otro lado, si x A, como A B, tambien es cierto que x B, de manera
que x A B. Esto prueba que A A B. En conclusion, A B = A, y la implicacion de
izquierda a derecha queda probada.
Supongamos ahora que A B = A. Si x A, como A B = A, x A B y, en particular,
x B. Luego, A B, lo cual completa la prueba.//
Dejaremos las restantes demostraciones como ejercicio.
1.1.3.
Producto cartesiano
Dados dos elementos a y b, podemos definir el par ordenado a b como

(a, b) := {{a}, {a, b}}.
Lema 1.1.5 a, b, c ({a} = {b, c} a = b = c)
Proposici
on 1.1.6 a, b, c, d ((a, b) = (c, d) a = c b = d)
n:
Demostracio
Sean a, b, c y d elementos arbitrarios pero fijos y tales que (a, b) = (c, d).
10
Como {a} {{a}, {a, b}} = (a, b) = (c, d) = {{c}, {c, d}}, {a} = {c} {a} = {c, d}. Si
{a} = {c}, a = c, y si {a} = {c, d}, por el lema previo, a = c = d. En ambos casos posibles,
queda probado que a = c.
Como {a, b} {{a}, {a, b}} = (a, b) = (c, d) = (a, d) = {{a}, {a, d}}, {a, b} = {a}{a, b} =
{a, d}. En ambos casos, {a, b} {a, d}.
Como b {a, b} {a, d}, b {a, d} y, por tanto, b = a b = d. Si b = d, no hay
nada que probar. Por otro lado, si b = a, {{a}, {a, d}} = (a, d) = (c, d) = (a, b) = (a, a) =
{{a}, {a, a}} = {{a}}. Esto, por el lema previo, implica que {a} = {a, d} y, por tanto, a = d.
Como ademas b = a, b = d.//
El producto cartesiano de dos conjuntos A y B (en este orden) es el conjunto de todos los
pares ordenados cuya primera coordenada pertenece a A y cuya segunda coordenada pertenece
a B, y se denota con A B.
La demostracion de las propiedades a continuacion queda como ejercicio.
C1.
C2.
C3.
C4.
C5.
C6.
C7.
C8.
A B = A = B =
A B = C D 6= A = C B = D
A C B D A B C D
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)
(A B) (C D) = (A C) (B D)
(A B) (C D) = (A C) (A D) (B C) (B D)
11
1.2.
1.2.1.
Funciones
Definici
on y ejemplos
Definici
on 1.2.1 Sean A, B y F conjuntos no vacos. Decimos que f = (A, B, F ) es una
funci
on (o aplicacion) de A en B si F A B es una relacion entre A y B y se verifican
las siguientes condiciones:
x A y B (x, y) F (Existencia)
x A y, z B ((x, y) F (x, z) F y = z) (Unicidad)
En caso afirmativo, decimos que A el es dominio de f , que denotaremos con D(f ), B es el
codominio de f , que denotaremos con C(f ), y F es la grafica de f , que denotaremos con G(f ).
Bien entendido, las dos condiciones de la definicion expresan que para cada elemento x del
dominio debe haber un u
nico elemento y del codominio tal que (x, y) F . A este u
nico y,
llamamos imagen de x por f , y escribimos f (x) = y (se lee: f de x es y). Recprocamente, si
f (x) = y, decimos que x es una preimagen de y por f .
Para simbolizar que f es una funcion de A en B, utilizaremos la notacion f : A B (usamos la flecha para las implicaciones). Similarmente, para expresar que f (x) = y, tambien
podemos escribir f : x 7 y.
Establecer funciones mediante la definicion puede resultar algo incomodo. Por ejemplo, si
queremos establecer f como la funcion de Z en N que a cada n
umero entero le asigna su cuadrado, debemos establecer previamente la grafica como F = {(k, k 2 ) : k Z}, y luego establecer
que f = (Z, N, F ).
Para el efecto, podemos utilizar las notaciones que hemos mencionado. Una manera formal
de definir f es escribir:
f :Z N .
x 7 x2
Menos formal, pero mas utilizado, es sea f : Z N la funcion definida por f (x) = x2 .
1.2.2.
Familias
Una familia es un conjunto cuyos elementos son, a su vez, conjuntos. Ya hemos visto el
ejemplo del conjunto de partes.
Para razones practicas, es usual indizar los conjuntos de una familia, es decir, asignar un
ndice a cada conjunto. Por ejemplo, la familia
F = {{1, 2, 3, }, {2, 3, 4, }, {3, 4, 5, }, }
tambien puede ser descrita de esta manera:
F = {A1 , A2 , A3 , }, donde An = {n, n + 1, n + 2, }.
Bien entendido, A es una funcion que asigna un conjunto a cada n
umero natural. Cuando
se indizan conjuntos, es com
un escribir An en vez del acostumbrado A(n).
12
En general, una familia indizada es un conjunto de la forma

F = {A : L}
donde A es una funcion de dominio L, el conjunto de los subndices. Aunque L es muchas veces
un conjunto numerico, esto no es necesario.
Cualquier familia no vaca puede ser indizada. Si F es una familia no vaca, podemos considerar la funcion
A : F F definida por A = .
Es claro que
F = { : F} = {A : F}.
Por este motivo, solo trabajaremos con familias indizadas a partir de ahora.
1.2.3.
Operaciones grandes
Dada una familia

F = {A : L}
podemos definir la gran intersecci
on y la gran uni
on, respectivamente, de la siguiente
manera:
\
A := {x : L x A }
L
y
[
A := {x : L x A }
Es decir,
tras que
A es el conjunto de los elementos que pertenecen a cada A de la familia, mien-
L
[
A es el conjunto de los elementos que pertenecen a (por lo menos) un A de la
L
familia.
Ejemplo 1.2.2 Sea
F = {An : n N}, donde An = {n, n + 1, n + 2}.
\
An = , ya que para cada m N tenemos que m

/ Am+1 = {m + 1, m + 2, m + 3}, de
nN
manera que ning

un m pertenece a todos los An .
Es com
un escribir
An = o
n1
An = para denotar este conjunto.
n=1
An = N, ya que todo elemento de la gran union es claramente un n

umero natural y, por
nN
otro lado, para cada m N tenemos que m Am = {m, m + 1, m + 2}, de manera que cada m
pertenece a alg
un An .
Proposici
on 1.2.3 Sea F = {A : L M } una familia arbitraria.
\
1. Si 0 L, entonces
A A0 .
L
13
2. Si 0 L es tal que L A0 A , entonces A0
A .
3. Si 0 L es tal que L A0 A , entonces
A = A0 .
4. Si M L, entonces
5.
A =
LM
A .
n:
Demostracio
\
1. Sea x
A arbitrario pero fijo. Por definicion, L x A . Como, en particular,
L
0 L, tenemos que x A0 . El apartado se sigue.

2. Sean x A0 y L arbitrarios pero fijos. \
Como x A0 A , tenemos que x A .
Siendo L arbitrario, esto prueba que x
A . El apartado se sigue.
L
3. Este apartado es consecuencia inmediata de los dos anteriores.

\
A arbitrario pero fijo. Por definicion, L x A .
4. Sea x
L
Sea M arbitrario pero fijo.

\ Como M L, tenemos que L, lo que implica que
A . El apartado se sigue.
x A . Esto prueba que x
M
5. Como \
L y M son\subconjuntos\
de L M ,\
dos aplicaciones del apartado anterior revelan
que
A
A y que
A
A . Luego, por la monotona de la inclusion
LM
\
(I8),
L
\
LM
Sea x
M
\ LM
A , y solo nos resta probar la inclusion inversa.
A
A arbitrario pero fijo. Por definicion de interseccion, x
A y
A , y por definicion de gran interseccion, L x M y M x M .
Sea L M arbitrario pero fijo. Por definicion\

de union, L o M , y en ambos
casos tenemos que x A . Esto prueba que x
A . La inclusion restante se sigue.//
LM
Enunciar y demostrar la proposicion analoga para la gran union quedara como ejercicio.
La proposicion a continuacion formaliza la extension de las Leyes de DeMorgan a las operaciones grandes. Dejaremos la demostracion como ejercicio.
Proposici
on 1.2.4 Sea F = {A : L} una familia arbitraria.
!c
\
[
1.
A =
A c
L
!c
2.
[
L
A c
14
1.2.4.
Im
agenes
Definici
on 1.2.5 Sea f : A B una funcion. Si X A, la imagen de X por f es el
conjunto de las imagenes (por f ) de los elementos de X, y se denota f [X]. Simbolicamente,
f [X] = {f (x) : x X}.
Ejemplo 1.2.6 Sea f : N N la funcion definida por f (x) = 2x + 1. La imagen de X =
{1, 2, 5} es f [X] = {f (x) : x X} = {2x + 1 : x {1, 2, 5}} = {f (1), f (2), f (5)} = {3, 5, 11}.
Proposici
on 1.2.7 Sea f : A B una funcion.
1. f [] =
2. X P(A) (f [X] = X = )
3. X1 , X2 P(A) (X1 X2 f [X1 ] f [X2 ])
n:
Demostracio
1. Supongamos que y f []. Por definicion de imagen, esto implica que existe un x tal
que y = f (x), lo cual es absurdo. Por tanto, f [] es vaco.
2. Supongamos que x X. Por definicion de imagen, esto implica que f (x) f [X] = , lo
cual es absurdo. Por tanto, X = .
3. Sea y f [X1 ] arbitrario pero fijo. Por definicion de imagen, x X1 y = f (x). Como X1
X2 , x X2 , de manera que y = f (x) f [X2 ]. Hemos probado que y f [X1 ] y f [X2 ], la
definicion de f [X1 ] f [X2 ].//
Para las operaciones entre conjuntos, tenemos las siguientes propiedades para las imagenes:
Proposici
1. X1 , X2 P(A) f [X1 X2 ] f [X1 ] f [X2 ]
2. X1 , X2 P(A) f [X1 ] f [X2 ] f [X1 X2 ]
3. X1 , X2 P(A) f [X1 X2 ] = f [X1 ] f [X2 ]
n:
Demostracio
1. Como X1 X2 X1 y X1 X2 X2 , por la proposicion 1.2.7, f [X1 X2 ] f [X1 ] y
f [X1 X2 ] f [X2 ]. Luego, f [X1 X2 ] f [X1 ] f [X2 ].
2. Sea y f [X1 ] f [X2 ] arbitrario pero fijo. Como y f [X1 ], x X1 y = f (x). Como
f (x) = y
/ f [X2 ], x
/ X2 . Por tanto, x X1 X2 , de manera que y = f (x) f [X1 X2 ].
Esto prueba que f [X1 ] f [X2 ] f [X1 X2 ].
3. Como X1 X1 X2 y X2 X1 X2 , por la proposicion 1.2.7, f [X1 ] f [X1 X2 ] y
f [X2 ] f [X1 X2 ]. Luego, f [X1 ] f [X2 ] f [X1 X2 ].
Para probar la inclusion inversa, sea y f [X1 X2 ] arbitrario pero fijo. Por definicion de
imagen, x X1 X2 y = f (x). Si x X1 , y = f (x) f [X1 ] f [X1 ] f [X2 ], y si x X2 ,
y = f (x) f [X2 ] f [X1 ] f [X2 ]. En ambos casos, queda probado que y f [X1 ] f [X2 ].
Esto prueba que f [X1 X2 ] f [X1 ] f [X2 ].
La igualdad se sigue de la doble inclusion.//
15
La proposicion anterior tambien es valida para las operaciones generalizadas.

Proposici
on 1.2.9 Sea f : A B una funcion, F = {A : L} P(A).
"
#
\
\
1. f
A
f [A ]
L
"
2. f
#
[
A =
f [A ]
n:
Demostracio
\
1. Como, por la proposicion 1.2.3, tenemos que 0 L
A A0 , la proposicion 1.2.7
L
"
#
\
implica que L f
A f [A0 ]. De nuevo por la proposicion 1.2.3, esto implica
L
"
#
\
\
que f
A
f A , lo cual prueba el apartado.
L
[
2. Como, por una proposicion analoga a la proposicion 1.2.3, 0 L A0
A , la propoL
"
#
[
sicion 1.2.7 implica que L f [A0 ] f
A . De nuevo por la proposicion analoga a
L
"
#
[
[
f [A ] f
A , lo cual prueba una inclusion
la proposicion 1.2.3, esto implica que
L
del apartado.
"
#
[
Para probar la inclusion inversa, sea y f
A arbitrario pero fijo. Por definicion de
imagen, x
A y = f (x). Por definicion de union, 0 L x A0 , de manera que
y = f (x) f [A0 ]
f [A ]. Esto prueba la inclusion inversa.//
1.2.5.
Preim
agenes
Definici
on 1.2.10 Sea f : A B una funcion. Si Y B, la preimagen (o imagen inversa)
de Y por f es el conjunto de los elementos del dominio cuya imagen (por f ) esta en Y , y se
denota f 1 [Y ]. Simbolicamente, f 1 [Y ] = {x A : f (x) Y }.
Ejemplo 1.2.11 Sea f : Z N la funcion definida por f (x) = x2 . La preimagen de Y =
{1, 2, 4} es f 1 [Y ] = {x N : f (x) Y } = {x : x2 {1, 2, 4}} = {1, 1, 2, 2}.
A continuacion, enunciamos las propiedades que poseen las preimagenes de una funcion.
Sus demostraciones son parecidas a las de las imagenes, y las dejaremos como ejercicio.
Proposici
1. f 1 [] =
16
2. f 1 [B] = A
3. Y1 , Y2 P(B) Y1 Y2 f 1 [Y1 ] f 1 [Y2 ]
Proposici
1. Y1 , Y2 P(B) f 1 [Y1 Y2 ] = f 1 [Y1 ] f 1 [Y2 ]
2. Y1 , Y2 P(B) f 1 [Y1 Y2 ] = f 1 [Y1 ] f 1 [Y2 ]
3. Y P(B) f 1 [Y c ] = (f 1 [Y ])c
4. Y1 , Y2 P(B) f 1 [Y1 Y2 ] = f 1 [Y1 ] f 1 [Y2 ]
Proposici
on 1.2.14 Sea f : A B una funcion, F = {A : L} P(B).
"
#
\
\
1. f 1
A =
f 1 [A ]
L
"
2. f 1
#
[
L
1.2.6.
A =
f 1 [A ]
Composiciones
Definici
on 1.2.15 Sean f : A B y g : B C funciones. La composici
on de f con g (en
este orden) es la funcion h : A C definida por h(x) = g(f (x)), que denotaremos con g f .
Ejemplo 1.2.16 Sean f, g : Z Z las funciones definidas por f (x) = x2 y g(y) = y + 1.
g f : Z Z es la funcion definida por (g f )(x) = g(f (x)) = g(x2 ) = x2 + 1, y f g : Z Z
es la funcion definida por (f g)(y) = f (g(y)) = f (y + 1) = (y + 1)2 = y 2 + 2y + 1. Notemos
que la composion de funciones no es conmutativa.
Proposici
on 1.2.17 Si f : A B, g : B C y h : C D son funciones, entonces
h (g f ) = (h g) f ).
Proposici
on 1.2.18 Sean f : A B y g : B C funciones.
1. Si X P(A), (g f )[X] = g[f [X]].
2. Si Z P(C), (g f )1 [Z] = f 1 [g 1 [Z]].
Las demostraciones son sencillas y quedaran como ejercicio.
1.2.7.
Inyectividad
Definici
on 1.2.19 Sea f : A B una funcion. Diremos que f es inyectiva si las im
agenes
de elementos distintos de A por f son distintas. Simbolicamente, f es inyectiva si y s
olo si
x1 , x2 A f (x1 ) = f (x2 ) x1 = x2 .
Ejemplo 1.2.20 Sea f : Z Z. La funcion definida por f (x) = 2x. Si f (x1 ) = f (x2 ),
tenemos que 2x1 = 2x2 y, dividiendo por 2, que x1 = x2 . Por tanto, f es inyectiva.
Ejemplo 1.2.21 Sea f : Z Z. La funcion definida por f (x) = x2 . Como f (1) = 1 = f (1),
f no es inyectiva, pues 1 y 1 poseen la misma imagen por f .
17
Proposici
on 1.2.22 Sea f : A B y g : B C funciones. Si f y g son ambas inyectivas,
entonces la composicion g f tambien es inyectiva.
n:
Demostracio
Observemos que la composicion esta bien definida (pues C(f ) = D(g)) y que D(g f ) =
D(f ) = A.
Sean x1 , x2 A, y supongamos que (g f )(x1 ) = (g f )(x2 ). Por definicion de composicion,
g(f (x1 )) = g(f (x2 )).
Como g es inyectiva y f (x1 ) y f (x2 ) poseen la misma imagen por g, f (x1 ) = f (x2 ). Siendo
f inyectiva, esto implica que x1 = x2 .
Esto prueba que g f es inyectiva.//
Ejemplo 1.2.23 Sean F = {(1, 3), (2, 4)}, G = {(3, 1), (4, 2), (5, 2)}, f = (A, B, F ) y g =
(B, A, G), donde A = {1, 2} y B = {3, 4, 5}.
Claramente, g no es inyectiva, pues g(4) = 2 = g(5). Sin embargo, la composicion g f es
inyectiva, pues D(g f ) = A, (g f )(1) = g(f (1)) = g(3) = 1 y (g f )(2) = g(f (2)) = g(4) = 2.
Aunque no necesariamente ambas funciones cuya composicion es inyectiva son inyectivas,
s lo es la funcion derecha.
Proposici
on 1.2.24 Sea f : A B y g : B C funciones. Si g f es inyectiva, entonces la
funcion f tambien es inyectiva.
n:
Demostracio
Observemos que la composicion esta bien definida (pues C(f ) = D(g)).
Sean x1 , x2 A tales que f (x1 ) = f (x2 ). Aplicando g a ambos miembros, queda g(f (x1 )) =
g(f (x2 )), de manera que (g f )(x1 ) = (g f )(x2 ). Como g f es inyectiva, esto implica que
x1 = x2 , de manera que f es inyectiva.//
1.2.8.
Sobreyectividad
Definici
on 1.2.25 Sea f : A B una funcion. Diremos que f es sobreyectiva si cada
elemento del codominio posee una preimagen. Simbolicamente, f es sobreyectiva si y solo si
f [A] = B.
Ejemplo 1.2.26 La funcion f : Q Q definida por f (x) = 2x es sobreyectiva, pues para
cada y Q, f ( y2 ) = 2 y2 = y, de manera que cada y Q pertenece a f [Q].
Ejemplo 1.2.27 La funcion f : Z Z definida por f (x) = 2x, aunque muy parecida a la
anterior, no es sobreyectiva. 3 Z, pero para cada x Z, f (x) = 2x 6= 3. De hecho, f [Z] es el
conjunto de todos los n
umeros enteros pares (positivos y negativos) y, por tanto, distinto de Z.
Proposici
on 1.2.28 Sea f : A B y g : B C funciones. Si f y g son ambas sobreyectivas,
entonces la composicion g f tambien es sobreyectiva.
Proposici
on 1.2.29 Sea f : A B y g : B C funciones. Si g f es sobreyectiva, entonces
la funcion g tambien es sobreyectiva.
Las demostraciones son sencillas y quedaran como ejercicio.
18
1.2.9.
Biyectividad
Definici
on 1.2.30 Sea f : A B una funcion. Diremos que f es biyectiva si es tanto
inyectiva como sobreyectiva.
Las propiedades de las funciones biyectivas, se deducen directamente de las dos secciones
anteriores.
1.2.10.
Funciones especiales
Definici
on 1.2.31 Sea A un conjunto no vaco. La identidad en A es la funcion IA : A A
definida por IA (x) = x.
Aplicar IA a un elemento de A reproduce el mismo elemento. Es claro que toda funcion
identidad es biyectiva, pues IA (x1 ) = IA (x2 ) es literalmente igual a x1 = x2 e IA [A] = {IA (x) :
x A} = {x : x A} = A.
Definici
on 1.2.32 Sean A y B conjuntos no vacos tales que A B. La inclusi
on de A en
B es la funcion iA;B : A B definida por iA;B (x) = x.
La inclusion posee la misma regla de asignacion que la identidad; es decir, si x A B,
iA;B (x) = x = IA (x). Sin embargo, si A 6= B, estas dos funciones son distintas, pues poseen
codominios distintos. En efecto, iA;B no es sobreyectiva, pues iA;B [A] = {iA;B (x) : x A} =
{x : x A} = A 6= B.
Definici
on 1.2.33 Sea f : A B una funcion. Si X P(A) es no vaco, la restricci
on de
f a X es la funcion f iX;A , que se denota con f |X .
De nuevo, las funciones f y su restriccion f |X poseen la misma regla de asignacion; es
decir, si x X, f (x) = f |X (x). Sin embargo, si X 6= A, no son iguales, pues poseen dominios
distintos. En efecto, si x AX, f (x) representa un elemento del codominio de f , pero f |X (x)
carece de sentido, ya que x
/ X = D(f |X ).
Definici
on 1.2.34 Sean A1 , , An conjuntos no vacos y A = A1 An . Para cada
k {1, , n}, la proyecci
on sobre la k-esima coordenada es la funcion A;k : A Ak
definida por A;k (a1 , , ak , , an ) = ak .
Por ejemplo, las funciones Z2 ;1 , Z2 ;2 : Z2 Z definidas por Z2 ;1 (x, y) = x y Z2 ;2 (x, y) = y
asignan a cada vector (x, y) Z2 su primera y segunda coordenada.
Dejaremos como ejercicio verificar que las proyecciones son siempre sobreyectivas.
1.2.11.
Inversas a la izquierda
Definici
on 1.2.35 Sea f : A B una funcion. Se dice que g es una inversa a la izquierda
de f si g f = IA .
Observemos que, para que la composicion g f tenga sentido, es necesario y suficiente que
D(g) = C(f ) = A. Ademas, para que C(g f ) = C(IA ) = A, debe cumplirse que C(g) = A.
Es decir, si g es una inversa a la izquierda de f , g : B A.
19
Ejemplo 1.2.36 Sea f = (A, B, F ) una funcion, donde A = {1, 2, 3}, B = {1, 2, 3, 4} y F =
{(1, 2), (2, 3), (3, 4)}. Para que g : B A pueda ser una inversa a la izquierda de f , es necesario
y suficiente que g(2) = g(f (1)) = IA (1) = 1, g(3) = g(f (2)) = IA (2) = 2 y g(4) = g(f (3)) =
IA (3) = 3. Por tanto, si G1 = {(1, 1), (2, 1), (3, 2), (4, 3)}, G2 = {(1, 2), (2, 1), (3, 2), (4, 3)}
y G3 = {(1, 3), (2, 1), (3, 2), (4, 3)}, las funciones g1 = (B, A, G1 ), g2 = (B, A, G2 ) y g3 =
(B, A, G3 ) son inversas a la izquierda de f .
Ejemplo 1.2.37 Sea f = (A, B, F ) una funcion, donde A = {1, 2, 3}, B = {1, 2} y F =
{(1, 2), (2, 1), (3, 2)}. Para que g : B A pueda ser una inversa a la izquierda de f , es
necesario que g(2) = g(f (1)) = IA (1) = 1 y que, por otro lado, g(2) = g(f (3)) = IA (3) = 3.
Claramente, esto imposibilita la existencia de una inversa a la izquierda de f .
Proposici
on 1.2.38 Sea f : A B una funcion. A fin de que f posea una inversa a la
izquierda, es necesario y suficiente que f sea inyectiva.
n:
Demostracio
Supongamos que g sea una inversa a la izquierda de f . Como g f = IA es inyectiva, por
la proposicion 1.2.22, f debe ser inyectiva. Esto prueba que la inyectividad es necesaria.
Supongamos que f sea inyectiva y consideremos la funcion f : A f [A] definida por
f(x) = f (x) que es claramente biyectiva. Como para cada y f [A] existe exactamente un
x A tal que y = f(x) (existe por sobreyectividad y es u
nico por inyectividad), podemos
definir g : B A mediante g(y) = x, donde x es tal que y = f(x). Si f [A] = B, sea g = g. De
lo contrario, elijamos arbitrariamente a A y definamos la funcion
g:B A

g(y) si y f [A]
y 7
a si y
/ f [A]
Solo nos falta comprobar que g f = IA . En efecto:
Es claro que g f esta bien definido y que D(g f ) = C(g f ) = A. Sea x A arbitrario.
Como f (x) f [A], (g f )(x) = g(f (x)) = g(f (x)) = x. Esto prueba que la inyectividad es
suficiente.//
Ejemplo 1.2.39 La funcion f : R+ {0} R definida por f (x) = x es claramente inyectiva, de manera que debe poseer una inversa a la izquierda. En efecto, la funcion g : R R+ {0}
2
definida por g(y) = y 2 cumple que (g f )(x) = g(f (x)) = x = x, ya que, por definicion, x
es el n
umero positivo cuyo cuadrado es igual a x.
Observemos que f g no es la funcion identidad en R. (f g)(y) = f (g(y)) =
y solamente si y 0, pues la raz cuadrada de un n
umero no puede ser negativa.
1.2.12.
p
y 2 = y si
Inversas a la derecha
Definici
on 1.2.40 Sea f : A B una funcion. Se dice que g es una inversa a la derecha
de f si f g = IB .
Ya vimos que la funcion f : R+ {0} R definida por f (x) = x es una inversa a la

derecha de la funcion g : R R+ {0} definida por g(y) = y 2 .
De hecho, por la definicion es claro que f es una inversa a la derecha de g si y solo si g es
una inversa a la izquierda de f .
20
Ejemplo 1.2.41 Sean A = {3, 2, 1, 1, 2, 3}, B = {1, 2, 3}, F = {(x, y) AB : x2 = y 2 }

y f = (A, B, F ). Determinar una inversa a la derecha de f es tarea facil: Para cada y B,
debemos elegir un x A tal que f (x) = y; es decir, podemos tomar g = (B, A, G), donde
G = {(1, 1), (2, 2), (3, 3)}, G = {(1, 1), (2, 2), (3, 3)} o G = {(1, 1), (2, 2), (3, 3)}, para
citar algunas de las (8) inversas a la derecha de f .
Por el ejemplo, parece ser obvio que toda funcion sobreyectiva posee inversa a la derecha.
Sin embargo, este resultado dista de ser obvio o incluso intuitivo. Por de pronto, probaremos
la implicacion inversa.
Proposici
on 1.2.42 Sea f : A B una funcion. Si f posee inversa a la derecha, entonces
es sobreyectiva.
n:
Demostracio
Supongamos que g sea una inversa a la derecha de f . Como f g = IB es sobreyectiva, por
la proposicion 1.2.29, f debe ser sobreyectiva. Esto prueba el enunciado.//
La implicacion inversa depende del axioma a continuacion:
Axioma 1.2.43 (Elecci
on) Sea F = {X : L} una familia no vaca de conjuntos no
vacos y dos a dos disjuntos, es decir, tal que X X = si 6= . En estas condiciones, existe
un conjunto X tal que para cada L existe un a X con la propiedad que X X = {a }.
En otras palabras: el conjunto X posee exactamente un elemento de cada X .
Proposici
on 1.2.44 Sea f : A B una funcion. Si f es sobreyectiva, entonces posee inversa
a la derecha.
n:
Demostracio
Para cada B, sea X = f 1 [{}]. La familia F = {X : B} es claramente no
vaca y consiste de conjuntos no vacos (por sobreyectividad) y dos a dos disjuntos (pues si
x X X , entonces = f (x) = ).
Por el Axioma de Eleccion, existe un conjunto X tal que para cada L existe un a X
con la propiedad que X X = {a }. Esto nos permite definir
g : B A por g() = a .
Solo nos falta comprobar que f g = IB . En efecto:
Sea B arbitrario. Como x X = f 1 [{}], (f g)() = f (g()) = f (x ) = . Esto
prueba el enunciado.//
1.2.13.
Inversas bilaterales
Definici
on 1.2.45 Sea f : A B una funcion. Se dice que g es una inversa (bilateral) de
f si es tanto una inversa a la izquierda como a la derecha de f .
El termino inversa bilateral es poco com
un. Siempre que digamos que g es una inversa de
f o que f posee inversa, nos referiremos a las inversas bilaterales. Con esta terminologa, una
inversa a la izquierda no es una inversa, pues no es bilateral.
21
Proposici
on 1.2.46 Sea f : A B una funcion biyectiva. Si g es una inversa a la izquierda
de f , entonces es una inversa de f . Si h es una inversa a la derecha de f , entonces es una
inversa de f . Ademas, dos inversas unilaterales cualesquiera, son iguales.
n:
Demostracio
Sean g y h inversas a la izquierda y a la derecha, respectivamente, de f (su existencia
esta asegurada, pues f es biyectiva). Por definicion de inversas laterales y por la asociatividad
de la composicion, queda que g = g IB = g (f h) = (g f ) h = IA h = h, de manera que
g = h, g es tambien una inversa a la derecha y h es tambien una inversa a la izquierda. Esto
prueba el enunciado.//
Corolario 1.2.47 Sea f : A B una funcion. Los siguientes enunciados son equivalentes:
(1) f es biyectiva.
(2) f posee exactamente una inversa.
(3) f posee una inversa.
n:
Demostracio
Supongamos (1). Como f es, en particular, inyectiva, la proposicion 1.2.38 revela que f
posee una inversa a la izquierda g (digamos). Por la proposicion 1.2.46, g es una inversa de f .
Esto prueba (2).
Es claro que (2) implica (3).
Supongamos (3), y sea g una inversa de f . Como g es una inversa a la izquierda y a la
derecha, por las proposiciones 1.2.38 y 1.2.42, f debe ser biyectiva. Esto prueba (1).//
Como la inversa de una funcion f es u
nica (si existe), la denotaremos con f 1 .
22
1.3.
Relaciones de equivalencia
Definici
on 1.3.1 Sean A, B y R conjuntos. Si R A B, diremos que R es una relaci
on
entre A y B (en este orden). Si R es una relacion entre A y A, diremos que R es una relaci
on
binaria (en A).
En vez de (a, b) R, podemos escribir aRb, lo que leeremos a se relaciona con b.
Definici
on 1.3.2 Sea A un conjunto no vaco y una relacion binaria (en A). Diremos que
es de equivalencia (en A) si:
a A a a (Reflexividad)
a, b A (a b b a) (Simetra)
a, b, c A (a b b c a c) (Transitividad)
Ejemplo 1.3.3 Sea = {(m, n) Z2 : m2 = n2 }. Veamos que es de equivalencia:
Sean x, y, z Z arbitrarios pero fijos.
Como x2 = x2 , x x. Esto prueba que es reflexiva.
x y x2 = y 2 y 2 = x2 y x. Esto prueba que es simetrica.
x y y z x2 = y 2 y 2 = z 2 x2 = z 2 x z. Esto prueba que es
transitiva.
Ejemplo 1.3.4 Sea = {(x, y) R2 : x y Q}. Veamos que es de equivalencia:
Sean x, y, z R arbitrarios pero fijos.
Como x x = 0 Q, x x. Esto prueba que es reflexiva.
x y x y Q y x = (x y) Q y x. Esto prueba que es
simetrica.
x y y z x y Q y z Q x z = (x y) + (y z) Q x z.
Esto prueba que es transitiva.
Ejemplo 1.3.5 Sea R = {(x, y) R2 : x y Qc } (tomando R como conjunto universal).
Veamos que R es simetrica, pero que no es reflexiva ni transtiva:
Como 0 0 = 0 Q, (0R0). Esto prueba que R no es reflexiva.
Sean x, y R arbitrarios pero fijos. xRy x y Qc y x = (x y) Qc
yRx. Esto prueba que R es simetrica.
1R 2 (pues 1 2 Qc ) y 2R0 (pues 2 0 = 2 Qc ), pero (1R0) (pues

1 0 = 1 Q). Esto prueba que R no es transitiva.
Definici
on 1.3.6 Sea una relacion de equivalencia en A, y sea a A. La clase (de equivalencia) de a es el conjunto de todos los elementos que son equivalentes a a (que se relacionan
con a mediante ), y se denota a (o simplemente a si la relacion se sobreentiende). Simb
olicamente, a = {x A : x a}.
23
Ejemplo 1.3.7 Sea la relacion de equivalencia del ejemplo 1.3.3. Si n Z, x n

x2 = n2 x2 n2 = 0 (x n) (x + n) = 0 x = n x = n, de manera que
n = {n, n}. As, 0 = {0}, 1 = 1 = {1, 1}, 2 = 2 = {2, 2}...
Ejemplo 1.3.8 Sea la relacion de equivalencia del ejemplo 1.3.4. Si a R, x a
x a Q r Q x a = r r Q x = a + r x {a + r : r Q}, de manera
que a = {a + r : r Q}. En particular, 0 = Q.
Proposici
on 1.3.9 Sea una relacion de equivalencia en A, y sean a, b A. Los enunciados
a continuacion son equivalentes:
(1) a b 6=
(2) a b
(3) a = b
n:
Demostracio
Supongamos (1). Entonces, x a b. Como x a, x a; y como x b, x b. Siendo
simetrica, de x a se sigue a x. As, siendo transitiva, de a x y x b se sigue (2).
Esto prueba que (1) (2).
Supongamos (2). Sea x a arbitrario pero fijo. Por definicion, x a. Siendo transitiva,
de x a y (2) se sigue x b, la definicion de x b. Esto prueba que a b. Ademas, siendo
simetrica, de (2) se sigue b a, lo cual prueba que b a. De la doble inclusion se sigue (3).
Esto prueba que (2) (3).
Supongamos (3). Como es reflexiva, a a, de manera que a a = a b. Como a a b,
tenemos (1). Esto prueba que (3) (1).//
Definici
on 1.3.10 Sea una relacion de equivalencia en A. El conjunto cociente (entre
A y ) es el conjunto de todas las clases de equivalencia de los elementos de A, y se denota
A
A
. Simbolicamente,
= {a : a A}.
Ejemplo 1.3.11 Sea la relacion del ejemplo 1.3.3.
Z
= {{0}, {1, 1}, {2, 2}, }.
R
Ejemplo 1.3.12 Sea la relacion del ejemplo 1.3.4.
= {{a + r : r Q} : a R}. Como
sucede con R, es imposible denotar este conjunto por extension, pero podemos observar que
R
Q .
Definici
on 1.3.13 Sea A un conjunto. Se dice que la
on de A si
[familia P es una partici
/ P, los miembros de P son dos a dos disjuntos y

M = A.
M P
Ejemplo 1.3.14 Sea A = {1, 2, 3, 4}. Las familias P = {{1, 2}, {3, 4}}, Q = {{1, 2}, {3}, {4}}
y R = {{1}, {2}, {3}, {4}} son particiones de A, mientras que las familias S = {, A}, T =
{{1, 2, 3}, {2, 3, 4}} y W = {{1, 2}, {3}} no lo son.
24
Ejemplo 1.3.15 Para cada n Z+ (enteros positivos), sea Dn el conjunto de todos los enteros
positivos que poseen exactamente n divisores. D = {D1 , D2 , D3 , } es una particion de Z+ .
Es notable que cada Dn con n > 1 es infinito y existe una cantidad infinita de ellos.
Teorema 1.3.16 Sea A un conjunto y una relacion binaria en A. Si es de equivalencia,
A
es una particion de A.
n:
Demostracio
A
La proposicion 1.3.9 prueba que los miembros de
son dos a dos disjuntos y, como a = a
[
que a 6= . Solo resta probar que
M = A. En efecto:
A
M
Como M
[
A
M A, es claro que
M A (por una proposicion analoga a la
A
M
proposicion 1.2.3). Para probar la otra inclusion, sea a A arbitrario pero fijo. Como a a
A
(pues es reflexiva), a a. Luego, como a , la definicion de gran union implica que
[
[
a
M . Esto prueba que A
M . Por doble inclusion, el enunciado queda probado.//
A
M
A
M
25
1.4.
Ejercicios
Seccion 1: 1. Demuestre las propiedades de la tabla en la seccion 1.1.2.

2. Demuestre las propiedades de la tabla en la seccion 1.1.3.
Seccion 2: 1. Pruebe que si f1 = (A1 , B1 , F1 ) y f2 = (A2 , B2 , F2 ) son funciones y A1 y A2 son
disjuntos, entonces g = (A1 A2 , B1 B2 , F1 F2 ) tambien es una funcion.
2. Sean f1 = (A1 , B1 , F1 ) y f2 = (A2 , B2 , F2 ) funciones, y sea g = (A1 A2 , B1
B2 , F1 F2 ). Pruebe que g es una funcion si y solo si x A1 A2 f1 (x) = f2 (x).
3. Enuncie y demuestre la proposicion analoga para uniones a la proposicion 1.2.3.
4. Demuestre la proposicion 1.2.4.
5. Demuestre las proposiciones 1.2.12 y 1.2.13.
7. Sea f : A B una funcion. Cuales de las proposiciones a continuacion son
verdaderas y cuales falsas? Justifique su respuesta en ambos casos.
a)
b)
c)
d)
e)
f)
g)
Si
Si
Si
Si
Si
Si
Si
X1 , X2 P(A) y f [X1 ] f [X2 ], entonces X1 X2 .

X1 , X2 P(A), entonces f [X1 X2 ] = f [X1 ] f [X2 ].
X1 , X2 P(A), entonces f [X1 X2 ] = f [X1 ] f [X2 ].
X1 , X2 P(A), entonces f [X1 4X2 ] = f [X1 ]4f [X2 ].
Y P(B) y f 1 [Y ] = , entonces Y = .
Y1 , Y2 P(B) y f 1 [Y1 ] f 1 [Y2 ], entonces Y1 Y2 .
Y1 , Y2 P(B), entonces f 1 [Y1 4Y2 ] = f 1 [Y1 ]4f 1 [Y2 ].
8. Pruebe que si f : A B es una funcion y X A, entonces X f 1 [f [X]]. Es

cierta la inclusion inversa? Justifique su respuesta.
9. Pruebe que si f : A B es una funcion e Y B, entonces f [f 1 [Y ]] Y .
De una formula explcita para f [f 1 [Y ]], exclusivamente en terminos de imagenes
e intersecciones.
12. Demuestre que toda funcion proyeccion es sobreyectiva.
13. Sea f : A B una funcion. Pruebe que los enunciados a continuacion son
equivalentes.
1. f es inyectiva
2. X P(A) f 1 [f [X]] = X
3. X1 , X2 P(A) f [X1 X2 ] = f [X1 ] f [X2 ]
14. Sea f : A B una funcion. Pruebe que f es sobreyectiva si y solo si Y
P(B) f [f 1 [Y ]] = Y .
15. En la teora, hemos atribuido dos significados distintos al smbolo 1 (un llamado
abuso de notacion). Mientras que f 1 (x) indica claramente la imagen de x por
la inversa de la funcion f , f 1 [X] puede referirse tanto a la preimagen de X por
la funcion f , como a la imagen X por la inversa de la funcion f .
Pruebe que no existe confusion posible; es decir, si f : A B es una funcion
g es su inversa y X P(A), entonces f 1 [X] = g[X] (donde f 1 denota la
preimagen).
26
Seccion 3: 1. Si R es una relacion binaria en A, definamos la clase lateral derecha de a A

como Ra = {x A : xRa}. Si A 6= y {Ra : a A} forma una particion de A,
es seguro afirmar que R es de equivalencia? Justifique su respuesta.
2. Si R es una relacion binaria en A, definamos la clase lateral izquierda de a A
como aR = {x A : aRx}. Cuales de las proposiciones a continuacion son
verdaderas y cuales falsas? Justifique su respuesta en ambos casos.
a)
b)
c)
d)
e)
R es simetrica si y solo si a A aR Ra
R es simetrica si y solo si a A Ra aR
R es simetrica si y solo si a A aR = Ra
Si R es transitiva y a A aR Ra 6= , entonces R es reflexiva.
Si R es transitiva, simetrica y a A Ra 6= , entonces R es de equivalencia.
3. Sean A un conjunto no vaco y P una particion de A. Pruebe que la relacion

= {(x, y) A2 : P P tal que {x, y} P } es de equivalencia y verifica que
A
= P.
27
28
Captulo 2
Finitud y numerabilidad
2.1.
N
umeros naturales
Definiremos los conceptos de finitud y numerabilidad en funcion de los n

umeros naturales.
Observemos que N := {1, 2, 3, } no es una definicion, pues para entenderla deberamos
conocer de antemano los n
umeros naturales. Los introduciremos de forma axiomatica:
Axioma 2.1.1 Existe un conjunto N tal que:
Existe 1 N y una funcion biyectiva s : N N {1}. (Funcion siguiente)
Para cualquier conjunto X, si 1 X y s[X] X, entonces X N.
Observemos que el primer apartado afirma que todo n
umero natural posee un siguiente,
que el 1 no es siguiente de ning
un n
umero natural y que n
umeros naturales distintos poseen
siguientes distintos.
El segundo apartado se conoce con el nombre de Principio de Induccion. Entre otras cosas,
implica que no existen naturales entre n y n + 1.
El Principio de Induccion nos permite hacer definiciones recursivas1 como las a continuacion:
Definici
on 2.1.2
Para cada n N, n + 1 = s(n).
Para cada n, m N, n + s(m) = s(n + m).
El primer apartado no presenta dificultades, pero el significado del segundo puede no ser
claro a primera vista. Analicemos lo que implica:
Como n + 1 ha sido definido, n + 2 = n + s(1) = s(n + 1) tiene sentido.
Como n + 2 ha sido definida, n + 3 = n + s(2) = s(n + 2) tiene sentido.
etc.
De forma parecida, definiremos el producto:
Definici
on 2.1.3
Para cada n N, n 1 = n.
Para cada n, m N, n s(m) = n m + n.
Estas operaciones poseen la propiedades conocidas:
Asociatividad.
Conmutatividad.
Cancelacion.
1
(n + m) + k = n + (m + k)
(n m) k = n (m k)
n+m=m+n
nm=mn
n + k = m + k n = m
n k = m k n = m
Para m
as detalles, consulte cualquier libro de Teora Axiomatica de Conjuntos
31
Para ejemplificar, probaremos la asociatividad de la suma:

Sea X = {k N : n, m N (n + m) + k = n + (m + k)}. Si probamos que N X, hemos
terminado. En efecto:
1 X, pues (n + m) + 1 = s(n + m) = n + s(m) = n + (m + 1).
kX
Si k X, (n+m)+s(k) = s((n+m)+k) = s(n+(m+k)) = n+s(m+k) = n+(m+s(k)),

de manera que s(k) X.
Por induccion, N X y la propiedad queda probada.
Definici
on 2.1.4 Sean n, m N.
n < m (o m > n) si existe k N tal que n + k = m.
n m (o m n) si n < m o n = m.
La relacion satisface las siguientes propiedades, sencillas de comprobar utilizando el
Principio de Induccion. Enunciar y demostrar las propiedades analogas para la relacion < quedara como ejercicio.
1. n, m, k N (n m n + k m + k n k m k) (Monotona)
2. n N n n (Reflexividad)
3. n, m, k N (n m m k n k) (Transitividad)
4. n, m N (n m m n n = m) (Antisimetra)
5. n, m N (n m m n) (Dicotoma)
En general, toda relacion binaria que satisface (1) y (2) es una relaci
on de pre-orden,
toda relacion de pre-orden que satisface (3) es una relaci
on de orden y toda relacion de orden
que satisface (4) es una relaci
on de orden total.
En toda relacion de pre-orden, se puede definir el concepto de mnimo:
Definici
on 2.1.5 Sea una relacion de pre-orden en el conjunto X e Y X.
mn Y = a (se lee: a es el mnimo de Y ) si a Y y a Y para cada y Y .
Es facil probar que mn N = 1. De hecho, todo subconjunto no vaco de N posee mnimo.
Tales relaciones de orden son llamadas relaciones de buen orden.
Proposici
on 2.1.6 (Principio de Buen Orden) Si X N es no vaco, entonces X posee
mnimo.
32
n:
Demostracio
Si 1 X, hemos terminado pues mn X = 1. De lo contrario, 1 N X.
Sea Nn = {m N : m n} e Y = {n N : Nn N X}. Claramente, 1 Y . Como
Y 6= N (pues X 6= ), no es cierto que s[Y ] Y . Luego, existe b Y tal que s(b)
/ Y.
Sea a = s(b). Como Na Nb = {a} (confronte los ejercicios de esta seccion), Nb N X
pero Na 6 N X, tenemos que a N. Ademas, si x X, entonces
x
/ N X Nb = Na {a} = {n N : n < a},
de manera que x a.
Esto prueba el enunciado.//
A partir de ahora, utilizaremos la notacion Nn = {m N : m n}.
33
2.2.
Finitud
Definici
on 2.2.1 Un conjunto X es finito si es vaco o si existe n N y una biyeccion
: Nn X.
Esta biyeccion, en general no es u
nica.
Proposici
on 2.2.2 Si existe una biyeccion
: Nn X
y a X es arbitrario, entonces existe otra biyeccion
: Nn X
tal que (n) = a.
Dejaremos la demostracion como ejercicio.
Proposici
on 2.2.3 Sean n, m N. Si existe una biyeccion
: Nn Nm ,
entonces n = m.
n:
Demostracio
Supongamos que el enunciado sea falso y sea
X = {m N : n N (n < m : Nn Nm biyectiva)}.
Por suposicion X 6= , de manera que X posee mnimo b (digamos). As, existe n < b y una
biyeccion
: Nn Nb .
Claramente, b > 1 y, por tanto, n > 1. Sean k y a tales que s(k) = n y s(a) = b.
Por la proposicion 2.2.2, existe una biyeccion
: Nn Nb
tal que (n) = b. Es claro que la funcion
: Nk Na definida por (x)

= (x)
tambien es biyectiva, lo cual implica que a X.
Como a < b = mn X, esto constituye una contradiccion y el enunciado queda probado.//
Corolario 2.2.4 Si existen biyecciones
: Nn X y : Nm X,
entonces n = m.
34
n:
Demostracio
Como es biyectiva, posee inversa
1 : X Nm ,
de manera que la composicion
1 : Nn Nm
es biyectiva.
Luego, n = m, en virtud de la proposicion 2.2.3.//
Por esta unicidad, escribiremos |X| = n si existe una biyeccion
: Nn X.
Proposici
on 2.2.5 Todo subconjunto de un conjunto finito, es finito.
n:
Demostracio
Sea X finito. Si |X| = 1, el enunciado es trivialmente cierto.
Supongamos que el enunciado sea valido para todos los conjuntos de n elementos y que
|X| = n + 1, y sea Y un subconjunto propio y no vaco de X. Elijamos a X Y .
Por definicion y en virtud de la proposicion 2.2.2 existe una biyeccion
: Nn+1 X
tal que (n + 1) = a, de manera que la funcion
: Nn X {a} definida por (x)
= (x)
tambien es biyectiva.
Como Y X {a} y |X {a}| = n, Y es finito. El enunciado se sigue.//
Corolario 2.2.6 Sean X e Y conjuntos y f : X Y una funcion.
(1) Si f es inyectiva e Y es finito, entonces X es finito.
(2) Si f es sobreyectiva y X es finito, entonces Y es finito.
n:
Demostracio
Para probar (1), supongamos que f sea inyectiva y que Y sea finito. Consideremos la funcion
f : X f [X] definida por f(x) = f (x).
Como f [X] Y , en virtud de la proposicion 2.2.5, f [X] es finito. Luego, existe n N y
una biyeccion
: Nn f [X].
35
Como la funcion
f1 : Nn X
es biyectiva, (1) se sigue.
Para probar (2), supongamos que f sea sobreyectiva y X sea finito. Como f es sobreyectiva,
posee inversa a la derecha
g:Y X
que es inyectiva.
Luego, basta aplicar (1) y (2) se sigue.//
Definici
on 2.2.7 Un conjunto es infinito si no es finito.
Ejemplo 2.2.8 N es infinito.
Si N fuese finito, existira una biyeccion
: Nn N
para alg
un n N. Tomando
a = (1) + + (n),
tendramos que x a para cada x N.
Esto constituye claramente una contradiccion, ya que a + 1 N, pero a + 1 > a.
Proposici
on 2.2.9 Sea X un conjunto. X es infinito si y solo si existe una inyeccion
: N X.
n:
Demostracio
Supongamos que exista la inyeccion , pero que X sea finito. Por el corolario 2.2.6, N sera
finito, lo cual es falso. La implicacion de derecha a izquierda se sigue.
Supongamos ahora que X sea infinito. Definamos
:NX
de la siguiente manera:
Eligimos arbitrariamente f (1) X.
Una vez fijados f (1), , f (n), elegimos arbitrariamente f (n + 1) en el conjunto (no vaco
por infinitud)
X {f (1), , f (n)}.
Solo falta probar que es inyectiva. En efecto:
Sean n, m N tales que n < m. Como f (m)
/ {f (1), , f (n), , f (m1)}, f (n) 6= f (m).
La implicacion inversa se sigue.//
36
2.3.
Numerabilidad
Definici
on 2.3.1 Un conjunto X es numerable si es vaco o si existe una sobreyecci
on
f : N X.
Proposici
on 2.3.2 Sean X e Y conjuntos y f : X Y una funcion.
(1) Si f es inyectiva e Y es numerable, entonces X es finito.
(2) Si f es sobreyectiva y X es numerable, entonces Y es finito.
(3) Todo subconjunto de un conjunto numerable es numerable.
n:
Demostracio
Supogamos que f sea inyectiva y que Y sea numerable. Como f es inyectiva, posee una
inversa a la izquierda
g:Y X
que es, a su vez, sobreyectiva. Siendo Y numerable, existe una sobreyeccion
: N Y.
Luego, la composicion
g:NX
es sobreyectiva y, por tanto, (1) se sigue.
Supogamos que f sea sobreyectiva y que X sea numerable. Siendo X numerable, existe una
sobreyeccion
: N X.
Luego, la composicion
f :NY
es sobreyectiva y, por tanto, (2) se sigue.
Para probar (3), basta observar que la funcion inclusion es inyectiva.//
Proposici
on 2.3.3 Si X e Y son numerables, entonces X Y es numerable.
n:
Demostracio
Si X o Y es vaco, la demostracion es trivial. Supongamos lo contrario.
Como X e Y son numerables, existen sobreyecciones
:NX
y
: N Y.
Es facil comprobar que la funcion
: N N definida por (n, m) = ((n), (m))
37
tambien es sobreyectiva, de manera que es suficiente probar que N N es numerable. En efecto:

La funcion
: N N N definida por (n, m) = 2n 3m
es inyectiva (Teorema Fundamental de la Aritmetica).
Por la proposicion 2.3.2, el enunciado se sigue.//
Corolario 2.3.4 La union de una familia numerable de conjuntos numerables es, a su vez,
numerable.
n:
Demostracio
El enunciado es trivialmente cierto si la familia es vaca o si alguno de los conjuntos de la
familia es vaco. Supongamos lo contrario.
Sea F una familia. Como F es numerable, existe una sobreyeccion
A : N F.
Como cada An es numerable, existen sobreyecciones
n : N An .
Es inmediato verificar que la funcion
:NN
An
nN
definida por
(n, m) = n (m)
es sobreyectiva.
Como N N es numerable, es enunciado se sigue.//
Georg Cantor fue el primer matematico en estudiar los conjuntos no numerables como tales.
Daremos uno de sus resultados principales y un ejemplo a continuacion.
Teorema 2.3.5 (Cantor) Ninguna funcion g : X P(X) es sobreyectiva.
n:
Demostracio
Supongamos que el enunciado es falso, y sea
Y = {x X : x
/ g(x)}.
Como g es sobreyectiva, existe y X tal que g(y) = Y .
Si y Y , por definicion de Y , y
/ g(y) = Y , lo cual es absurdo.
Por otro lado, si y
/ Y = g(y), por definicion de Y , y Y , lo cual es absurdo.
En conclusion, g no puede ser sobreyectiva.//
Ejemplo 2.3.6 P(N) no es numerable. En efecto, esto es consecuencia inmediata del Teorema
de Cantor.
38
2.4.
Ejercicios
Seccion 1: 1. Demuestre que no existen n

umeros naturales n y m tales que n < m < n + 1.
2. Demuestre las propiedades de la suma y del producto.
3. Demuestre las propiedades de la relacion .
4. Enuncie y demuestre las propiedades de la relacion <.
5. Pruebe que mn N = 1.
6. Si n y m son n
umeros naturales, pruebe que existen n
umeros naturales u
nicos q
y r tales que n = mq + r y r < m.
7. Sea n N. Pruebe que todo subconjunto de Nn posee maximo, es decir, existe
b Nn tal que m b para cada m Nn .
Seccion 2: 1. Demuestre la proposicion 2.2.2.
2. Si X e Y son finitos y no vacos, pruebe que |X Y | + |X Y | = |X| + |Y |
3. Pruebe que si X es finito y no vaco, |P(X)| = 2|X| .
4. Pruebe que X es infinito si y solo si existe una biyeccion entre X y un subconjunto
propio de X.
Seccion 3: 1. Demuestre que Z es numerable.
2. Demuestre que Q es numerable.
3. Demuestre que la familia de los subconjuntos finitos de N es numerable.
4. Sea X un conjunto. Pruebe que X es numerable si y solo si es finito o existe una
biyeccion entre N y X.
5. De ejemplo de una biyeccion entre N y N N
6. Pruebe que en cualquier conjunto numerable no vaco puede definirse una relacion
de buen orden.
7. Dada una familia
F = {A : L},
se define el gran producto cartesiano como
(
!
)
Y
[
A :=
f :L
A : L f () A .
L
Si L es infinito y cada A posee por lo menos dos elementos, pruebe que

Y
A
L
no es numerable.
39
40
Captulo 3
N
umeros Reales
3.1.
Propiedades
Definici
on 3.1.1 Una terna (K, +, ), donde K es un conjunto no vaco y + y son funciones
de K K en K, es un cuerpo si satisface las siguientes propiedades:
x, y, z K (x + (y + z) = (x + y) + z x (y z) = (x y) z) (Asociatividad)
x, y K (x + y = y + x x y = y x) (Conmutatividad)
x, y, z K x (y + z) = x +y z (Distributividad)
0, 1 K x K (x + 0 = x x 1 = x) (Neutros)
x K {0} x, x1 K (x + (x) = 0 x x1 = 1) (Inversos)
Como de costumbre, escribiremos x y en vez de x + (y) y
x
en vez de x y 1 .
y
Ejemplo 3.1.2 Sean 0 y 1 el conjunto de los n

umeros enteros pares e impares respectivamente
con las operaciones obvias (par+impar=impar, etc.). As, Z2 es un cuerpo. Este es el
ejemplo mas sencillo de cuerpo no trivial (con mas de un elemento).
Todas las propiedades a continuacion pueden deducirse de la definicion de cuerpo y sus
demostraciones quedaran como ejercicio.
K1. x 0 = 0
K2. x y = 0 x = 0 y = 0
K3. (x) y = x (y) = (x y) (x) (y) = x y
Definici
on 3.1.3 Una cuaterna (K, K + , +, ) es un cuerpo ordenado si (K, K + , +, ) es un
cuerpo y K posee subconjuntos K + y K que satisfacen las siguientes propiedades:
x, y K + (x + y K + x y K + ) (Clausura)
{0}
K + K
(Tricotoma)
Ejemplo 3.1.4 (Q, Q+ , +, ) es un cuerpo ordenado.
Ejemplo 3.1.5 El cuerpo del ejemplo 3.1.2 no puede ser ordenado ya que 1 + 1 = 0.
De hecho, ning
un cuerpo finito puede ser ordenado. Todo cuerpo contiene una copia de Q
(confronte los ejercicios de esta seccion).
Ejemplo 3.1.6 En ning
un cuerpo ordenado K existe un elemento i tal que ii = 1. En efecto,
si tal cuerpo fuese ordenado tendramos que i K + o que i K . Si i K + , tenemos que
iii = i
/ K + ; y si i K , tenemos que i K + y, por tanto, que (i)(i)(i) = i
/ K +.
Un cuerpo ordenado siempre admite una relacion de orden total definida por x < y
y x K + y x y x < y x = y.
La relacion < satisface las siguientes propiedades:
43
O1. x > 0 x K +
x < 0 x K
O2. x < y x + z < y + z
O3. x < y z < w x + z < y + w
O4. x < y z > 0 x z < y z
O5. 0 < x < y 0 < z < w x z < y w
O6. x < y z < 0 x z > y z
Las demostraciones son directas y quedan como ejercicio.
Definici
on 3.1.7 Sea K un cuerpo ordenado y X K.
b K es una cota superior de X si x b para cada x X. Si tal cota superior existe,
X es superiormente acotado.
a K es una cota inferior de X si x a para cada x X. Si tal cota inferior existe,
X es inferiormente acotado.
X es acotado si existe b K tal que c x c para cada x X.
Definici
on 3.1.8 Un cuerpo ordenado K se dice arquimediano si N no es superiormente
acotado en K.
Ejemplo 3.1.9 Q es arquimediano.
Ejemplo 3.1.10 Sea R el conjunto de todos los cocientes de polinomios con coeficientes racionales. Definamos la suma y el producto de estas funciones de la forma usual, y sea R+ el
p(t)
subconjunto formado por todos los cocientes
tales que p(t) q(t) tiene coeficiente positivo
q(t)
en su termino dominante. Se verifica que (R, R+ , +, ) es un cuerpo ordenado no arquimediano.
Definici
on 3.1.11 Sea K un cuerpo ordenado y X K. b K es el supremo de X (se
escribe: b = sup X) si:
b es una cota superior de X.
b no es una cota superior de X, para cada > 0.
Definici
on 3.1.12 Sea K un cuerpo ordenado y X K. a K es el nfimo de X (se
escribe: a = nf X) si:
a es una cota inferior de X.
a + no es una cota inferior de X, para cada > 0.
Definici
on 3.1.13 Sea K un cuerpo ordenado. K es completo si todo subconjunto acotado
no vaco de K posee supremo.
Ejemplo 3.1.14 Q no es completo (confronte los ejercicios).
Axioma 3.1.15 (Fundamental del An
alisis) Existe un cuerpo ordenado completo.
Llamaremos R a este cuerpo ordenado completo o bien a uno de ellos ya que, de hecho,
podra darse el caso que existan varios. Sin embargo, las u
nicas propiedades de R que precisaremos son las expuestas en esta seccion.
44
3.2.
Funciones reales de variable real
Definici
on 3.2.1 Una funci
on real de variable real es una funcion
f : X Y,
donde X e Y son subconjuntos de R.
Definici
on 3.2.2 Sea
f :XY
una funcion real de variable real.
f es (superiormente/inferiormente) acotada si f [X] es (superiormente/inferiormente)
acotado.
f es creciente si x, y X (x y f (x) f (y))
f es estrictamente creciente si x, y X (x < y f (x) < f (y))
f es decreciente si x, y X (x y f (x) f (y))
f es estrictamente decreciente si x, y X (x < y f (x) > f (y))
f es (estrictamente) mon
otona si es (estrictamente) creciente o (estrictamente) decreciente.
Ejemplo 3.2.3 La funcion
f : R R definida por f (x) = x2
es inferiormente acotada pues x2 0 para cada x R.
Sin embargo, no es superiormente acotada. Supongamos que s, esto es, que existe b R
tal que x2 b para cada x R. Claramente, b > 1. Esto lleva a una contradiccion, pues
f (b) = b2 > b.
f no es monotona. Como
f (2) = 4 > 1 = f (1),
f no es creciente, y como
f (1) = 1 > 4 = f (2),
f no es decreciente.
es estrictamente creciente. En efecto:
Supongamos que x < y. Si xy < 0, no hay nada que probar, pues x3 < 0 < y 3 . Supongamos
que xy 0.
Como y x > 0, tenemos que
y 3 3xy 2 + 3x2 y x3 = (y x)3 > 0
o bien
y 3 x3 > 3xy(y x) 0.
45
Definici
on 3.2.5 Sean f, g : X R son funciones, donde X R, R y n Z.
f g :X R
x 7 f (x) g(x)
f :X R
x 7 f (x)
f g :X R
x 7 f (x) g(x)
f
si 0
/ g[X]
:X R
g
f (x)
x 7
g(x)
fn : X R
x 7 (f (x))n
Utilizaremos estas definiciones mas adelante.
46
3.3.
Intervalos
Definici
on 3.3.1 Sean a, b R. Los conjuntos a continuacion son intervalos.
Abiertos:
Semi-ab. a la izq.:
Semi-ab. a la der.:
Cerrados:
(a, b) := {x R : a < x < b}

(a, +) := {x R : a < x}
(, b) := {x R : x < b}
(, +) := R
(a, b] := {x R : a < x b}
(, b] := {x R : x b}
[a, b) := {x R : a x < b}
[a, +) := {x R : a x}
[a, b] := {x R : a x b}
Proposici
on 3.3.2 Sea I R. I es un intervalo si y solo si [x, y] I siempre que x, y I.
n:
Demostracio
Es claro que si I es un intervalo, entonces [x, y] I siempre que x, y I (observe que
[x, y] = si x > y).
Para probar la implicacion inversa, supongamos que I sea tal que [x, y] I siempre que
x, y I.
Supondremos que I es acotado y no vaco. Si I no es acotado, la demostracion se realiza de
manera similar.
Sean a = nf I y b = sup I. Por definicion, I [a, b]. Afirmamos que (a, b) I. En efecto:
Si z (a, b), sean a = z a y b = b z. Como z = a + a ya no es cota inferior y z = b b
ya no es cota superior, existen x, y I tales que x < z < y. Por hipotesis, z I.
Esto completa la prueba.//
Corolario 3.3.3 Si I y J son intervalos, I J tambien es un intervalo.
La demostracion quedara como ejercicio.
Corolario 3.3.4 Sean I y J intervalos. Si I J 6= , I J tambien es un intervalo.
n:
Demostracio
Sean x, y I J tales x < y. Por la proposicion 3.3.2, basta probar que [x, y] I J.
Si x e y pertenecen al mismo intervalo, no hay nada que probar. Para fijar ideas, supongamos que x I J y que y J I. Como I J 6= , podemos elegir w I J. Como
x
/ J, no es posible que w x < y (por la proposicion 3.3.2), y como y
/ I, no es posible que
x < y w. Luego, debe ser x < w < y.
Ahora, si z [x, y], x z w < y o x < w < z y, de manera que z I o z J (de
nuevo, por la proposicion 3.3.2).
47
Teorema 3.3.5 (Intervalos Encajados, Cantor) Sea

F = {In : n N}
una familia de intervalos cerrados y acotados tales que
In+1 In para cada n N.
En estas condiciones,
\
In 6= .
nN
n:
Demostracio
Sean an y bn tales que In = [an , bn ] para cada n N. Por las inclusiones de los intervalos,
tenemos que
a1 an b n b 1
y sea A = {an : n N}.
Como A es superiormente acotado por cada bn , posee supremo s (digamos) y s bn para
cada n N. Ademas, por definicion de supremo, an s para cada n N. Por tanto,
\
s
In
nN
y el enunciado queda probado.//

Corolario 3.3.6 R no es numerable.
n:
Demostracio
Supongamos que el enunciado sea falso, es decir, que exista una sobreyeccion
: N R.
Elijamos I1 = [a1 , b1 ], con a1 < b1 de manera que (1)
/ I1 . Una vez elegidos
I1 = [a1 , b1 ], , In = [an , bn ],
como
an <
a1 + 2b1
2a1 + b1
<
< bn ,
3
3
podemos elegir
In+1

2a1 + b1
a1 + 2b1
entre an ,
y
, bn
3
3
de manera que (n + 1)
/ In+1 .
Por el Teorema de los Intervalos Encajados (3.3.5), existe
\
c
In .
nN
Sin embargo, c
/ [N] ya que (n) In para cada n N.
Esta contradiccion prueba el enunciado.//
48
Corolario 3.3.7 Ning

un intervalo con al menos dos elementos es numerable.
Corolario 3.3.8 Todo intervalo con al menos dos elementos posee tanto n
umeros racionales
como irracionales.
n:
Demostracio
Sea I un intervalo tal que a, b I, donde a < b. Como I, por el corolario 3.3.7, no es numerable, posee n
umeros irracionales, y solo falta probar que I posee n
umeros racionales. En efecto:
Como R es arquimediano, podemos elegir n N tal que
n>
1
1
, o bien, a < b .
ba
n
Como el conjunto {k N : k < b n} es claramente acotado, posee maximo k0 (confronte los

ejercicios de la seccion 2.1).
Como
k0 < b n, o bien,
k0
<b
n
pero, por definicion de maximo,

b
k0 + 1
,
n
tenemos que
a<b
1
k0
< b.
n
n
Luego,
k0
(a, b) I,
n
lo cual prueba el enunciado.//
49
3.4.
Valor absoluto
Definici
on 3.4.1 Sea x R. El valor absoluto de x es
|x| := max{x, x}.
Ejemplo 3.4.2 Como 7 > 7, |7| = | 7| = 7.
La tabla a continucion engloba las propiedades mas resaltantes del valor absoluto.
V1.
x R+ |x| = x
x R |x| = x
x=0
|x| = 0
2
2
|x| = x
| x| = |x|
V2.
|x| 0
|x| = x2
|x| a
a
xa
1
1
V7. |x y| = |x| |y|
V8. x > 0 =
x |x|
x |x|
V9. |x| =
6 0
V10. y 6= 0 =
y
|y|
V11. |x| < |y| x2 < y 2
V11. |x + y| |x| + |y|
V13. |x z| |x y| + |y z| V14. ||x| |y|| |x y|
V3.
V5.
V4.
V6.
Las propiedades V 12 V 13 reciben el nombre de Desigualdad Triangular.

Para ejemplificar, probaremos V 11:
Como, claramente, |x| |x| y |y| |y|, por V 6, |x| x |x| y |y| y |y|. Por O3,
queda
(|x| + |y|) = |x| |y| x + y |x| + |y|.
Por V 6, V 11 se sigue.
Las restantes demostraciones
quedaran como ejercicio. Para probar
V 4, recordemos que si
n
n
n
n N es par, b = a b = a b > 0, y si n N es impar, b = a bn = a.
50
3.5.
Ejercicios
Seccion 1: 1. Demuestre las propiedades K1 - K3.

2. Demuestre las afirmaciones del ejemplo 3.1.4.
3. Sea (K, K + , +, ) un cuerpo ordenado. Pruebe que K posee un subconjunto algebraicamente isomorfo a Q, es decir, existe L K y una biyeccion
:QL
tal que
(x + y) = (x) + (y)
y
(x y) = (x) (y)
para cada x, y Q.
4. Pruebe que la relacion definida en cualquier cuerpo ordenado es de orden total.
5. Demuestre las propiedades O1 - O5.
6. Pruebe que un subconjunto de un cuerpo ordenado es acotado si y solo si es
superior e inferiormente acotado.
8. Demuestre que todo conjunto no vaco e inferiormente acotado de n
umeros reales
posee nfimo.
9. Demuestre el supremo de un conjunto, si existe, es u
nico.
10. Sea n N. Demuestre que n Q si y solo si n N.
11. Sean a, b Q. Demuestre que a + b Q si y solo si a Q y b Q.

12. Pruebe que R es arquimediando.
13. Pruebe que dos cuerpos ordenados completos cualesquiera son algebraicamente
isomorfos.
14. Sean A, B R.
Defnase que
A + B := {a + b : a A b B}.
Pruebe que sup A + B = sup A + sup B.
Seccion 2: 1. Si f, g : X R son funciones superiormente acotadas, con X R, pruebe
que sup(f + g) sup f + sup g. De un ejemplo para probar que, en general, la
desigualdad es estricta.
(Notacion: sup f = sup f [X].)
2. Si f, g : X R+ son funciones acotadas (superior e inferiormente), con X R,
pruebe que sup(f g) sup f sup g. De un ejemplo para probar que, en general,
la desigualdad es estricta.
3. Si la funcion f : X R+ es acotada, pruebe que sup f 2 = (sup f )2 .
Seccion 3: 1. Demuestre el corolario 3.3.3.
2. Pruebe que todo conjunto finito de n
umeros reales posee maximo y mnimo.
51
3. Sean
x, y, a1 , , an R y b1 , , bn , t1 , , tn R+
tales que
a1
an
,,
(x, y).
b1
bn
Pruebe que
t1 a1 + + tn an
(x, y).
t1 b1 + + tn bn
4. Demuestre el corolario 3.3.7.

5. Sea A el conjunto de todo los n
umeros reales algebraicos, es decir, el conjunto de
todos los n
umeros reales que son raz de alg
un polinomio con coeficientes enteros.
Pruebe que A es numerable.
6. Los elementos de R A se llaman n
umeros reales trascendentes. Pruebe que
existen n
umeros reales trascendentes.
Seccion 4: 1. Demuestre las propiedades V 1 - V 14.
2. Si x, L, R, pruebe que
|x L| < L < x < L + .
3. Demuestre que |x1 + +xn | = |x1 |+ +|xn |, para cada n N y x1 , , xn R.
4. Demuestre que |xn | = |x|n , para cada x R y n N.
52
Captulo 4
Sucesiones
4.1.
Definici
on y propiedades
Definici
on 4.1.1 Una sucesi
on de n
umeros reales es una funcion
x : N R.
Escribiremos xn en vez de x(n) y hxn inN para indicar la sucesion.
Definici
on 4.1.2 Sea hxn inN una sucesion y L R.
L es el lmite de la sucesion, lo cual escribiremos
xn L cuando n +,
si
> 0 n0 N n N (n > n0 |xn L| < ).
Una sucesion que posee lmite, se dice convergente y que converge a este lmite.
1
0 cuando n +. En efecto:
n
1
Sea > 0. Como R es arquimediano, existe n0 > . De esta manera, si n > n0 ,

1

0 = 1 < 1 < .
n
n
n0
Ejemplo 4.1.3
Proposici
on 4.1.4 Toda sucesion convergente es acotada.
n:
Demostracio
Sea hxn inN una sucesion de lmite L.
Por definicion de lmite, existe n0 N tal que n N n > n0 |xn L| < 1, es decir, si
n > n0 , L 1 < xn < L + 1.
Sea A = {x1 , . . . , xn0 , L 1, L + 1}, y sean a = mn A y b = max A. Si n n0 , xn A, de
manera que a xn b, y si n > n0 , a L 1 < xn < L + 1 b.
Esto prueba que la sucesion es acotada.//
Ejemplo 4.1.5 Si a > 1, la sucesion han i no es convergente ni es superiormente acotada.
Bastara corroborar la segunda afirmacion. En efecto:
Supongamos que la sucesion fuese superiormente acotada.
Como R es completo, A = {an : n N} posee supremo s (digamos).
Sea
=s
s
> 0.
a
Por definicion de supremo, existe n N tal que

s
an > s = .
a
55
De esta manera,
an+1 = a an > a
s
= s,
a
lo cual es una contradiccion.

Proposici
on 4.1.6 Toda sucesion creciente y superiormente acotada es convergente.
n:
Demostracio
Sea hxn inN una sucesion creciente y superiormente acotada.
Como la sucesion es superiormente acotada, A = {xn : n N} posee supremo s (digamos).
Sea > 0. Por definicion de supremo, existe n0 N tal que s < xn0 . Ahora, si n > n0 ,
como la sucesion es creciente y por definicion de supremo,
s < xn0 xn s < s + .
En sntesis, si n > n0 , |xn s| < , lo cual completa la prueba.//
Corolario 4.1.7 Toda sucesion decreciente e inferiormente acotada es convergente.
La demostracion es inmediata y quedara como ejercicio.
Ejemplo 4.1.8 Si 0 a 1, la sucesion han i es convergente. (De hecho, converge a 0 si
a < 1 y a 1 si a = 1. La prueba de esto quedara como ejercicio.)
Claramente, 0 an para cada n N, de manera que la sucesion es inferiormente acotada.
Ademas, como a 1 y a 0, a1 a2 . Suponiendo que an an+1 , siendo a 0, se
prueba que an+1 an+2 . Esto prueba, por induccion, que la sucesion es decreciente (confronte
los ejercicios de esta seccion).
El corolario 4.1.7 prueba la afirmacion.
Ejemplo 4.1.9 Dado cualquier n
umero positivo a > 0, la sucesion
hxn i definida por x1 = a, xn+1 =
converge a
positivo).
x2n + a
2xn
a (lo cual prueba la existencia de la raz cuadrada de cualquier n

umero real
Proposici
on 4.1.10 Sea hxn inN una sucesion y L, M R.
Si xn L y xn M cuando n +, entonces L = M .
n:
Demostracio
Para fijar ideas, supongamos que L < M . Sea
=
M L
.
2
56
Por definicion de convergencia, existen n1 , n2 N tales que

|xn L| < si n > n1 y |xn M | < si n > n2 .
Tomando n0 = max{n1 , n2 }, si n > n0 , tenemos que n > n1 y n > n2 , de manera que
xn < L + =
L+M
= M < xn
2
(confronte los ejercicios de la seccion 3.4).

Siendo el lmite de la sucesion hxn inN u
nico (si existe), lo denotaremos con lm xn o
n+
simplemente lm xn .
Definici
on 4.1.11 Sean hxn inN e hyn inN dos sucesiones.
hyn inN es una subsucesi
on de hxn inN si existe una sucesion estrictamente creciente de
n
umeros naturales hnk ikN tal que
yk = xnk para cada k N.
Lema 4.1.12 Si hnk ikN es una sucesion estrictamente creciente de n
umeros naturales, entonces nk k para cada k N. En particular, la sucesion no es acotada.
Definici
on 4.1.13 Sean hxn inN una sucesion y a R.
a es un valor de adherencia de la sucesion si esta posee una subsucesion hxnk ikN tal
que
lm xnk = a.
k+
Proposici
on 4.1.14 Toda sucesion convergente posee un u
nico valor de adherencia.
n:
Demostracio
Sea hxn inN una sucesion convergente, sea L = lm xn y sea hxnk ikN una subsucesion arbitraria.
Sea > 0. Como lm xn = L, existe n0 N tal que
|xn L| < si n > n0 .
Ahora, si k > n0 , nk > n0 (por el lema 4.1.12), de manera que
|xnk L| < si k > n0 .
57
Ejemplo 4.1.15 La sucesion hxn = (1)n inN no converge, pues

lm x2n = lm(1)2n = lm 1 = 1
y
lm x2n1 = lm(1)2n1 = lm 1 = 1,
de manera que hxn = (1)n inN posee dos subsucesiones con lmites distintos.
Proposici
on 4.1.16 Sean hxn inN e hyn inN sucesiones.
Si hxn inN es acotada y lm yn = 0, entonces lm(xn yn ) = 0.
n:
Demostracio
Como hxn inN es acotada, existe c R (que podemos elegir positivo) tal que
|xn | c para cada n N.
Sea > 0. Como lm yn = 0, existe n0 N tal que
|yn | < si n > n0 ,

c
de manera que
|xn yn | = |xn | |yn | < c
= si n > n0 .
c

Corolario 4.1.17 Sean hxn inN e hyn inN sucesiones tales que lm xn = L y lm yn = M .
1. lm(xn yn ) = L M
2. lm(xn yn ) = L M
3. lm
1
1
=
si M 6= 0
yn
M
4. lm
xn
L
=
si M 6= 0
yn
M
n:
Demostracio
Sea > 0.
1. Existen n1 , n2 N tales que
|xn L| <
si n > n1 y |yn M | < si n > n2 .

2
2
Tomando n0 = max{n1 , n2 }, si n > n0 , tenemos que n > n1 y n > n2 , de manera que

L
< xn < L + y M < yn < M +

2
2
2
2
y, por tanto,
L M < xn + yn < L M + , o |(xn yn ) (L + M )| < .
Esto prueba el apartado.
58
2. Claramente,
xn yn = (xn yn LM )+LM = (xn yn Lyn +Lyn LM )+LM = (xn L)yn +L(yn M )+LM.
En virtud de la proposicion 4.1.16, lm(xn L)yn = lm L(yn M ) = 0. Luego, en virtud
del apartado anterior,
lm(xn yn ) = lm(xn L)yn + lm L(yn M ) + lm LM = 0 + 0 + LM = LM.
3. La prueba de este apartado quedara como ejercicio.
4. Es consecuencia inmediata de los dos apartados anteriores.//
Proposici
on 4.1.18 (Intercalaci
on) Sean hxn inN , hyn inN y hzn inN sucesiones tales que
lm yn = lm zn = L. Si existe n0 N tal que
yn xn zn si n N,
entonces lm xn = L.
n:
Demostracio
Sea > 0.
Como lm yn = lm zn = L, existen n1 , n2 N tales que
|yn L| < si n > n1 y |zn L| < si n > n2 .
Tomando k0 = max{n0 , n1 , n2 }, si n > k0 , tenemos que n > n0 , n > n1 y n > n2 , de manera
que
L < yn xn zn < L + .
As,
|xn L| < si n > k0 ,
Teorema 4.1.19 (Bolzano-Weierstrass) Toda sucesion acotada posee un valor de adherencia.
n:
Demostracio
Sea hxn inN una sucesion acotada.
Para cada n N, sean An = {xm : m n}, an = sup An y a = lm an .
Claramente cada Ak es acotada, de manera que cada ak esta bien definido, y como An Am
si n > m, la sucesion han inN es decreciente (y acotada por nf x[N]), de manera que a esta bien
definido.
Por definicion de a1 , existe n1 N tal que
a1 1 < xn1 a1 .
59
Definidos n1 , , nk , por definicion de ank +1 , existe nk+1 nk + 1 > nk tal que

ank +1
1
< xnk+1 ank +1 .
k+1
Siendo hank +1 ikN una subsucesion de han inN , por la proposicion 4.1.14,
lm ank +1 = a
k+
y, por tanto,
lm ank +1
k+
1
= a,
k+1
en virtud del ejemplo 4.1.3 y el corolario 4.1.17.

Por intercalacion (proposicion 4.1.18),
lm xnk+1 = a
k+

Proposici
Si lm xn lm yn , entonces existe n0 N tal que
xn yn para cada n > n0 .
En particular, si lm xn a (respectivamente, a), entonces existe n0 N tal que
xn a (respectivamente, a) para cada n > n0 .
n:
Demostracio
Supongamos que lm yn < lm xn . En estas condiciones, existe b R tal que
lm yn < b < lm xn .
Tomando 1 = lm xn b y 2 = b lm yn , por definicion de lmite, existen n1 , n2 N tales

que
|xn lm xn | < 1 si n > n1 y |yn lm yn | < 2 si n > n2 .
Tomando k0 = max{n0 , n1 , n2 }, si n > k0 , tenemos que n > n0 , n > n1 y n > n2 , de manera
que
yn < lm yn + 2 = b = lm xn 1 < xn .
Corolario 4.1.21 Toda sucesion acotada que posee un u
nico valor de adherencia, es convergente.
60
n:
Demostracio
Sea hxn inN una sucesion acotada con un u
nico valor de adherencia L (digamos).
Supongamos que L no sea el lmite de la sucesion. Esto es, existe 0 > 0 tal que para cada
m N existe n > m tal que
|xn L| 0 , esto es, xn L 0 xn L + 0 .
Por tanto, la sucesion posee infinitos terminos en (, L 0 ] o en [L + 0 , +). Sea
hxnk ikN la subsucesion de los terminos infinitos en cualquiera de estos intervalos.
Al pasar, de nuevo, a una subsucesion convergente (si es necesario, esto puede hacerse utilizando el Teorema de Bolzano-Weierstrass), obtenemos un valor de adherencia que pertenece
a alguno de estos intervalos (en virtud de la proposicion 4.1.20). Esto es una contradiccion, ya
que L es el u
nico valor de adherencia de la sucesion original.
61
4.2.
Lmites infinitos
Definici
on 4.2.1 Sea hxn inN una sucesion.
lm xn =
n+
si
1
> 0 n0 N n N n > n0 xn > .
Observemos que las sucesiones con lmite no poseen un lmite en el sentido tradicional, es decir, no son convergentes, ya que + y no son n
umeros reales.
Proposici
on 4.2.2 Toda sucesion monotona posee lmite (finito o infinito).
Ejemplo 4.2.3 Si a > 1, lm an = +.
La prueba de estos dos resultados quedara como ejercicio.
Proposici
1. Si lm xn = + e hyn i es inferiormente acotada, entonces lm(xn + yn )) = +.
2. Si lm xn = + y existe a > 0 tal que y[N] (a, +), entonces lm(xn yn )) = +.
3. Si existe a > 0 tal que x[N] (a, +), y[N] R+ y lm yn = 0, entonces lm
4. Si hxn i es acotada y lm yn = +, entonces lm
xn
= +
yn
xn
= 0.
yn
n:
Demostracio
Sea > 0.
1. Como hyn i es inferiormente acotada, existe a R tal que y[N] (a, +).
Sea > 0. Como lm xn = +, existe n0 N tal que
xn >
1
a si n > n0 1 .
Ahora, si n > n0 , como yn > a, tenemos que

xn + y n >
1
1
a + a = si n > n0 .

La prueba de los restantes apartados quedara como ejercicio.//
La definici
on s
olo asegura la existencia de este n0 si
fortiori.
62
a > 0. Sin embargo, si
a 0, tal n0 existe a
4.3.
Series num
ericas
Una serie numerica no es mas ni menos que una sucesion de n

umeros reales. Sin embargo,
la notacion difiere ya que en una serie no estudiamos el n-esimo termino de la sucesion sino el
incremento del n-esimo termino al siguiente.
Definici
on 4.3.1 Sean han inN una sucesion de n
umeros reales y k Z.
1
X
an := ak
n=1
k+1
X
an :=
k
X
n=1
+
X
an + ak
n=1
an =
n=1
an =
k+
nN
* k
X
k
X
an := lm
an
n=1
+
es la serie asociada a la sucesion han inN y
an
n=1
k
X
an es la k-
esima suma
n=1
kN
parcial de esta serie.

Una suma de la forma
k
X
an recibe el nombre de sumatoria y posee las siguientes propie-
n=1
dades:
k
X
1.
(an + bn ) =
k
X
n=1
k
X
2.
(c an ) = c
n=1
k
X
n=1
k
X
3.
an +
k
X
bn (Prop. aditiva)
n=1
an (Prop. homogenea)
n=1
(an+1 an ) = ak+1 a1 (Prop. telescopica)
n=1
Las pruebas se realizan por induccion y quedaran como ejercicio.

Ejemplo 4.3.2 Si |a| < 1,
k
X
an1 =
n=1
X
1 ak
1
y
an1 =
.
1a
1
a
nN
En efecto:
Como
(a 1)
k
X
n=1
n1
=a
k
X
n=1
n1
k
X
n1
n=1
k
X
n=1
k
X
n1
n=1
k
X
(an an1 ) = (ak 1),
n=1
queda
k
X
n=1
an1 =
1 ak
ak 1
=
.
a1
1a
Ahora, siendo lm ak = 0, la afirmacion queda probada por el corolario 4.1.17.

63
En general, no podremos deducir una formula sencilla para la k-esima suma parcial. La
teora de esta seccion no trata de calcular los lmites de series dadas, sino de averiguar si una
serie dada posee o no lmite.
Proposici
on 4.3.3 (Criterio de Comparaci
on) Sean
negativos tales que existe n0 N tal que
an y
bn series de terminos no
an bn para cada n > n0 .

P
P
En estas condiciones, si
bn converge,
an tambien converge.
n:
Demostracio
Si k > k0 , como los terminos de las series son no negativos,
k
X
n=1
an =
n0
X
an +
n=1
k
X
an
n=n0 +1
n0
X
an +
n=1
k
X
bn
n=n0 +1
n0
X
n=1
an +
bn ,
nN
de manera que la sucesion

* k
X
+
an
n=1
es superiormente acotada. Siendo ademas creciente, la convergencia se sigue de la proposicion

4.1.6.//
Ejemplo 4.3.4 La serie
X
1
(n 1)!
converge, pues
1
(n 1)!
n1
1
para cada n N
2
y la serie
X 1 n1
2
= 3.
Su lmite es, por definicion e. Como

2
X
n=1
1
= 1 + 1 = 2,
(n 1)!
tenemos que 2 < e 3.

Ejemplo 4.3.5 Sea an =
Como
1
1+
n
n
.
1 n(n 1) 1
n(n 1) 1
an = 1 + n +
2 + +
,
n
2
n
n!

1
1
1
1
2
n1
1
+ +
1
1
1
,
an = 1 + 1 +
2!
n
n!
n
n
n
64
de manera que
an
n+1
X
k=1
1
e.
(k 1)!
Por el criterio de comparacion, han i converge y por la proposicion 4.1.20, lm an e.

Ademas, si m N y n > m,

1
1
1
1
2
m1
an 1 + 1 +
1
+ +
1
1
1
,
2!
n
m!
n
n
n
de manera que, por la proposicion 4.1.20,
lm an
m+1
X
k=1
1
.
(k 1)!
De nuevo por la proposicion 4.1.20, esto implica que

lm an e.

1
En sntesis, lm 1 +
n
n
= e.
Proposici
on 4.3.6 (Primer Criterio de Divergencia) Si
an converge, entonces
lm an = 0.
n:
Demostracio
Sea
sn =
n
X
ak .
k=1
As,
sn+1 = sn + an para cada n N.
Por la proposicion 4.1.14, lm sn+1 = lm sn , de manera que, por el corolario 4.1.17, se sigue
que lm an = 0.//
P
(1)n no converge, ya que h(1)n i no converge a 0.
Ejemplo 4.3.8 A pesar de que el termino general de la serie armonica
serie diverge. En efecto,
X1
1
= 1 +
+
n
2
1
1 +
+
2
= 1 +
1
+
2
1 1
+
3 4

1 1
+
4 4
1 1 1 1
+ + +
5 6 7 8
+

1
2
lo cual sustenta la afirmacion.

65

+
1 1 1 1
+ + +
8 8 8 8
1
2
P1
converge a 0, la
n
+
+ ,
Un argumento parecido determina si las p-series convergen.

P 1
converge si p > 1 y diverge si p 1.
np
La divergencia de las p-series con p 1 es obvia teniendo en cuenta el criterio de comparaci

on y el hecho que la serie armonica diverge.
Si p > 1,
X 1
=
np
1
+
1p
1
1
1
1
+
+
+
+
+
4p 5p 6p 7p

1
1
1
1
1
1
+
+ +
+
+
+
+
+
2p 2p
4p 4p 4p 4p
+
1
1
+
2p 3p
2
2p
4
4p
+ ,
lo cual sustenta que la serie esta acotada por

X 2 n1
2p
2p1
,
2p1 1
de manera que converge.

Proposici
on 4.3.10P(Criterio de Leibniz) Si la sucesion han i es decreciente y tiene lmite
0, entonces la serie
(1)n+1 an converge.
n:
Demostracio
Para cada n N, sea
sn =
n
X
(1)k+1 ak .
k=1
Como
s2n+1 = s2n1 (a2n a2n1 ) y a2n a2n1 ,
tenemos que la sucesion hs2n1 i es decreciente.
Por otro lado, como
s2n+2 = s2n + (a2n+1 a2n+2 ) y a2n+1 a2n+2 ,
tenemos que la sucesion hs2n i es creciente.
Teniendo en cuenta que s2n s2n1 (pues s2n1 s2n = a2n 0), queda:
s2 s4 s2n s2n1 s3 s1 .
Esto prueba que las dos subsucesiones convergen. Ademas, como s2n1 s2n = a2n 0
cuando n +, tenemos que lm s2n = lm2n1 .
66
Ejemplo 4.3.11 Por el criterio de Leibniz, la serie armonica alternada

Definici
on 4.3.12 Sea
P (1)n
converge.
n
an una serie.
La serie es absolutamente convergente si
|an | converge.
La serie es condicionalmente convergente si es convergente pero no absolutamente

convergente.
Ejemplo 4.3.13 Claramente, toda serie convergente de terminos positivos es absolutamente
convergente.
Ejemplo 4.3.14 Como ya hemos visto, la serie armonica alternada es condicionalmente convergente.
Proposici
on 4.3.15 Toda serie absolutamente convergente es convergente.
n:
Demostracio
Sea
an una serie absolutamente convergente.
Definamos
a+
ax{an , 0} y a
ax{an , 0}, para cada n N.
n = m
n = m
Si n N, se verifica facilmente que
a+
n + an = |an | y an an = an .
Tenemos que
a+
n y
a
n convergen, ya que, claramente,
a+
n |an | y an |an |, para cada n N,
|an | converge.
Luego, por el corolario 4.1.17,

X
an =
(a+
n an ) =
a+
n
a
n,

Corolario 4.3.16 (Criterio de dAlembert) Sea han i una sucesion de terminos no nulos.
Si existen c (0, 1) y n0 N tales que

an + 1

an c, para cada n > n0 ,
entonces
an es (absolutamente) convergente.
67
n:
Demostracio
Sea n > n0 . Como

n+1
an + 1

c= c ,
an
cn
tenemos que
|an |
|an + 1|
n .
n+1
c
c
Esto prueba que la sucesion

|an |
cn
es decreciente a partir de n0 , de manera que esta acotada por

|a1 |
|an0 |
b = max
, , n0 .
c
c
As,
|an | b cn , para cada n N.
Ahora, como
b cn converge, el enunciado se sigue por el criterio de comparacion.//
Corolario 4.3.17 Sean han i una sucesion de terminos no nulos y

an + 1
constante de dAlembert.
L = lm
an
P
La serie
an converge si L < 1 y diverge si L > 1.
La demostracion es sencilla y quedara como ejercicio.
Ejemplo 4.3.18 Sean a > 1, b R y k N. Se verifica que
nk
bn
n!
=
l
m
= lm n = 0.
n
a
n!
n
Demostrar las afirmaciones de este ejemplo quedara como ejercicio.
lm
Corolario 4.3.19 (Criterio de Cauchy) Sea han i una sucesion.

Si existen c (0, 1) y n0 N tales que
p
n
|an | c, para cada n > n0 ,
P
entonces
an es (absolutamente) convergente.
n:
Demostracio
Sea n > n0 . Como
p
n
|an | c,
tenemos que
|an | cn .
Ahora, como
cn converge, el enunciado se sigue por el criterio de comparacion.//
Corolario 4.3.20 Sea han i una sucesion y

p
L = lm n |an | constante de Cauchy.
P
La serie
an converge si L < 1 y diverge si L > 1.
La demostracion es sencilla y quedara como ejericio.
68
4.4.
Series de potencias
Por razones praticas, consideraremos sucesiones y series que comienzan en el 0.

Proposici
on 4.4.1 Sean han inN{0} una sucesion y
r = sup{c 0 : n0 N {0} n > n0 c n an 1} +.
La serie
+
X
an x n
n=0
converge si |x| < r y diverge si |x| > r.

Ademas, si L es la constante de Cauchy de
+
X
an ,
n=0
se verifica que
r=
1
L
(con los convenios naturales para 0 e +).

Definici
on 4.4.2 Sea x R.
+
X
(1)n 2n+1
sen x :=
x
si la serie converge.
(2n + 1)!
n=0
cos x :=
+
X
(1)n
n=0
(2n)!
x2n si la serie converge.
Definiremos las restantes funciones trigonometricas de la forma usual.

Aunque a
un no estamos en condiciones de probar las propiedades de las funciones trigonometricas, las utilizaremos sin restricciones en los ejemplos ya que esto no interfiere con el
desarrollo de nuestra teora.
Ejemplo 4.4.3 Los radios de convergencia de sen x y cos x son infinitos.
Proposici
on 4.4.4 Sean r el radio de convergencia de la serie
+
X
an x n
n=0
y c (0, r).
En estas condiciones, dado > 0, existe n0 N {0} tal que si n > n0 y x [c, c],
entonces

n
+
X

X

ak x k
ak xk < .

n=0
k=0
Las demostraciones quedaran como ejercicio.

69
4.5.
Ejercicios

3. Pruebe que lm n n = 1.
4. Demuestre el lema 4.1.12.
5. Demuestre el apartado 3 del corolario 4.1.17.
6. Sean hxn inN una sucesion de n
umeros reales, L R y P y Q conjuntos tales que
P Q = N. Pruebe que:
1. Si P es infinto, entonces hxn i posee una (
unica) subsucesion hxnk ikN tal que
n[N] = P que indicaremos con h(x|P )k ikN .
2. Si P es finito, entonces hxn i converge a L si y solo si h(x|Q )k ikN converge a
L.
3. Si P y Q son infinitos, entonces hxn i converge a L si y solo si h(x|P )k ikN y
h(x|Q )k ikN convergen a L.
7. Si hxn inN es una sucesion de n
umeros reales, defnase que hxn i es de Cauchy si
> 0 n0 N n, m N (n > n0 m > n0 |xn xm | < ).
Pruebe que una sucesion de n
uemros reales es convergente si y solo si es de
Cauchy.
3. Demuestre los apartados faltantes de la proposicion 4.2.4.
Seccion 3: 1. Demuestre las propiedades 1 - 3.
P
2. Si han i es decreciente y
an converge, pruebe que lm(nan ) = 0.
P
P 2
3. Si
an es absolutamente convergente, pruebe que
an converge.
7. Si la constante de dAlembert de una serie existe, pruebe que la constante de
Cauchy tambien existe y que son iguales.
8. Pruebe que
9. Calcule lm
n
= e.
lm
n
n!
n!.

2. De un ejemplo de series con radio de convergencia r tales la serie converja para
x = r pero no para x = r.
70
Captulo 5
La topologa de R
5.1.
Puntos interiores
Definici
on 5.1.1 Sea X R.
El interior de X es el conjunto
int X := {a R : > 0 (a , a + ) X}
y sus elementos son puntos interiores de X.
X es abierto si X int X.
Claramente, int X X, de manera que X es abierto si y solo si X = int X.
Por la definicion, es obvio que si X Y , entonces int X int Y .
Ejemplo 5.1.2 int (a, b) = (a, b).
Para corroborar esta afirmacion, elijamos x (a, b). Sea = mn{b x, x a}.
As,
a = x (x a) x y x + x + (b x) = b,
de manera que
(x , x + ) (a, b).
Ejemplo 5.1.3 int [a, b] = (a, b).
Como (a, b) [a, b] e int (a, b) = (a, b), tenemos que (a, b) int [a, b] y solo falta probar que
a, b
/ int [a, b]. En efecto:
Supongamos que a int [a, b]. Por definicion, existe 0 > 0 tal que
(a , a + ) [a, b],
de manera que a a, lo cual es una contradiccion.
Ejemplo 5.1.4 int Q = , en virtud del corolario 3.3.8.
Proposici
on 5.1.5 El interior de todo conjunto, es un conjunto abierto.
n:
Demostracio
Sea X R arbitrario, y sea A = int X. Queremos probar que A int A. En efecto:
Sea x A. Por definicion, existe 0 > 0 tal que
(x 0 , x + 0 ) X.
Ahora, si y (x 0 , x + 0 ), como todo intervalo abierto es abierto (ejemplo 5.1.2), existe
> 0 tal que
(y , y + ) (x 0 , x + 0 ) X,
de manera que y A.
Esto prueba que
(x 0 , x + 0 ) A,
lo cual, a su vez, prueba que x int A.//
73
Corolario 5.1.6 Sea X R.

Si A X es abierto, entonces A int X.
Proposici
on 5.1.7 La interseccion de dos conjuntos abiertos, es un conjunto abierto.
n:
Demostracio
Sean X e Y dos conjuntos abiertos y sea a X Y .
Como X e Y son abiertos, existen 1 , 2 > 0 tales que
(a 1 , a + 1 ) X y (a 2 , a + 2 ) Y.
Tomando = mn{1 , 2 }, quedara
(a , a + ) (a 1 , a + 1 ) X y (a , a + ) (a 2 , a + 2 ) Y,
de manera que
(a , a + ) X Y.
Corolario 5.1.8 La interseccion de una familia finita de conjuntos abiertos, es un conjunto
abierto.
Proposici
on 5.1.9 La union de una familia arbitraria de conjuntos abiertos, es un conjunto
abierto.
n:
Demostracio
Sea
F = {X : L}
una familia de conjunto abiertos y sea
a
X .
i nL
Por definicion de union, existe 0 L tal que a X0 . Siendo X0 abierto, existe > 0 tal
que
[
(a , a + ) X0
X .
i nL

La interseccion de una familia arbitraria de conjuntos abiertos, no es necesariamente un
conjunto abierto.
74
Proposici
on 5.1.10 Dado X R, existe una familia numerable de conjuntos abiertos
F = {Xn : n N}
tal que
X=
Xn .
nN

Teorema 5.1.11 Todo conjunto abierto es union numerable de intervalos abiertos y dos a dos
disjuntos.
n:
Demostracio
Sea X R abierto.
Si a, b X, definamos que a b si y solo si existe un intervalo
I X tal que a I b I.
Claramente, la relacion es reflexiva y transitiva. Ademas, si a b y b c, existen
intervalos
I, J X tales que (a I b I) (b J c J).
Como b I J, por el corolario 3.3.4, I J es un intervalo que tiene a a y c como elementos,
de manera que a c. Esto prueba que es transitiva y, por tanto, de equivalencia.
X
es una particion de X y solo falta probar que el conjunto cociente
Por el teorema 1.3.16,
es numerable y que cada clase de equivalencia es un intervalo abierto. En efecto:

Sean x X, a = nf x y b = sup x (con el convenio que a = si x no es inferiormente
acotado y b = + si x no es superiormente acotado). Si y (a, b), por definicion de nfimo
y supremo, existen c, d x tales que c < y < d. Como x c y d x, d c, de manera que
existe un intervalo incluido en X que tiene a c y d como elementos. Claramente, y tambien
pertenece a este intervalo, de manera que c y y, por tanto, x y. Esto prueba que (a, b) x.
Para probar que x = (a, b), solo debemos verificar que a y b no pertenecen a x. Probaremos
que b
/ x:
Si b
/ R, hemos terminado. De lo contrario, como X es abierto, existe > 0 tal que
(b 2, b + 2) X.
Ahora, como x b y b b + , x b + , de manera que b + x y, por definicion de
supremo, b + b. Esta contradiccion completa la prueba de que x = (a, b).
X
Ahora, siendo cada miembro de
un intervalo abierto no vaco, podemos elegir un n
umero
racional
X
rM M para cada M .
75
Esto define una funcion inyectiva (pues las clases de equivalencia son dos a dos disjuntas)
r:
Siendo Q numerable, se sigue que
X
Q.
X
es numerable (por la proposicion 2.3.2).

Este teorema caracteriza por completo a los conjuntos abiertos, lo que nos facilitara el
estudio de sus propiedades.
Definici
on 5.1.12 Sea X R.
X es conexo si no existen conjuntos abiertos A y B tales que
X A B, X A 6= , X B 6= , pero (X A) (X B) = .
Corolario 5.1.13 Un conjunto de n
umeros reales es conexo si y solo si es un intervalo.
n:
Demostracio
Sea X R.
En efecto, si X no es un intervalo, por la proposicion 3.3.2, existen x, y X y z ([x, y]
tal que z
/ X. Tomando A = (, z) y B = (z, +), obtenemos dos conjuntos abiertos,
disjuntos y que intersecan a A y B (x A e y B) tales que X A B. Esto prueba la
implicacion de derecha a izquierda.
Para probar la implicacion inversa, supongamos que X sea un intervalo no conexo, esto es,
existen conjuntos abiertos y no vacos A y B tales que
X A B, X A 6= , X B 6= , pero (X A) (X B) = .
Sea x X A. Como A es abierto, por el teorema 5.1.11, existe una familia F de intervalos
abiertos y dos a dos disjuntos cuya union es A. Sea I = (a, b) aquel intervalo al que pertenece x.
Como (a, b) A, por definicion de A y B, X 6 (a, b), esto es, existe y X (a, b). Claramente, y a y b. Para fijar ideas, supongamos que y b.
Como x, y X y X es un intervalo, por la proposicion 3.3.2, [x, y] X, de manera que
b X. Claramente, b A b B.
Supongamos que b A y sea J F aquel intervalo al que pertenece b. Siendo J abierto,
(a, b) J 6= , lo cual contradice la definicion de F. Por tanto, b
/ A.
Luego, b B. Siendo B abierto, existe > 0 tal que
(b , b + ) B.
Como [x, b] X (x < b pues x A pero b B) y (a, b) A, podemos elegir
z [x, b] (a, b) (b , b + ) X A B = (X A) (X B),
76
lo cual contradice la definicion de A y B.

Confronte los ejercicios de esta seccion para una demostracion alternativa del corolario
anterior.
Definici
on 5.1.14 Sea X R.
Un recubrimiento (abierto/cerrado) de X es una familia de conjuntos (abiertos/cerrados)
F = {C : L}
tal que
X
C .
Un subrecubrimiento de un recubrimiento dado de X es un recubrimiento de X es una

subfamilia del recubrimiento original.
Lema 5.1.15 Existe un recubrimiento B de R que es abierto, numerable y tal que para cada
abierto A R y cada x A, existe B B tal que x B A.
Teorema 5.1.16 (Lindel
of ) Todo recubrimiento abierto de un conjunto de n
umeros reales
posee un subrecubrimiento numerable.
La demostracion del teorema es una aplicacion directa del lema. Ambas demostraciones
quedaran como ejercicio.
77
5.2.
Puntos de clausura
Definici
on 5.2.1 Sea X R.
La clausura de X es el conjunto
X := (int X c )c
y sus elementos son puntos de clausura de (o puntos adherentes a) X.
X es cerrado si X X.
La cadena de implicaciones
a X a
/ X c a
/ int X c a (int X c )c
ilustra que X X, de manera que X es cerrado si y solo si X = X.
Ademas, la cadena de implicaciones
X Y Y c X c int Y c int X c X = (int X c )c (int Y c ) = Y
ilustra que la clausura preserva inclusiones.
Proposici
on 5.2.2 Un conjunto X R es cerrado si y solo si X c es abierto.
n:
Demostracio
Para probar la implicacion de derecha a izquierda, supongamos que X sea cerrado, esto es,
X = X = (int X c )c .
Tomando complementos a izquierda y derecha queda
X c = int X c ,
de manera que X c es abierto, lo cual prueba la implicacion.
Para probar la implicacion inversa, supongamos que X c sea abierto, esto es,
X c = int X c .
Tomando complementos queda
X = (int X c )c = X,
lo cual completa la prueba.//
Ejemplo 5.2.3 Z es un conjunto cerrado ya que
[
Zc =
(k, k + 1)
kZ
y el u
ltimo es un conjunto abierto.
78

Corolario 5.2.4 La clausura de todo conjunto, es un conjunto cerrado.
Corolario 5.2.5 La union de una familia finita de conjuntos cerrados, es un conjunto cerrado.
Corolario 5.2.6 La interseccion de una familia arbitraria de conjuntos cerrados, es un conjunto cerrado.
Corolario 5.2.7 Sea X R.
X es abierto y cerrado si y solo si X = o X = R.
Las demostraciones son inmediatas y quedaran como ejercicio.
Proposici
on 5.2.8 Sean X R y a R. Los enunciados a continuacion son equivalentes:
(1) a X
(2) > 0 (a , a + ) X 6=
(3) Existe una sucesion hxn inN en X (x[N] X) tal que lm xn = a.
n:
Demostracio
Supongamos (1) y sea > 0 arbitrario. Como a X, a
/ int X c , de manera que
(a , a + ) 6 X c , esto es, (a , a + ) X 6=
y (2) se sigue. Esto prueba que (1) (2).
Supongamos (2). Por hipotesis, existe

1
1
xn a , a +
X, para cada n N,
n
n
de manera que, por intercalacion (proposicion 4.1.18), lm xn = a y (3) se sigue. Esto prueba
que (2) (3).
Supongamos (3) y sea > 0 arbitrario. Por definicion de lmite, existe n0 N tal que
|xn0 +1 a| < , esto es, xn0 +1 (a , a + ).
Como xn0 +1 X, esto prueba que
(a , a + ) 6 X c ,
de manera que
a X = (int X c )c
y (1) se sigue. Esto prueba que (3) (1).//
Ejemplo 5.2.9 Q = Qc = R ya que, por la proposicion 3.3.8,para cada x R y cada > 0 se
verifica que
(x , x + ) Q 6= y (x , x + ) Qc 6=
y las inclusiones inversas son triviales.
79
Corolario 5.2.10 Sean X R y hxn inN una sucesion en X. Los enunciados a continuacion
son equivalentes:
(1) X es cerrado.
(2) Si hxn i es convergente, entonces lm xn X.
(3) Si hxn i es acotada, entonces posee una subsucesion hxnk ikN tal que lm xnk X.
80
5.3.
Puntos de frontera
Definici
on 5.3.1 Sea X R.
La frontera de X es el conjunto
fr X := X X c
y sus elementos son puntos de frontera de X.
Ejemplo 5.3.2 Con la notacion de frontera, el ejemplo 5.2.9 afirma que fr Q = R.
La tabla a continuacion engloba las propiedades mas resaltantes de la frontera. Sus demostraciones son aplicaciones inmediatas de los resultados de las secciones anteriores y quedaran
como ejercicio.
F1. fr X es cerrado.
F4. X es abierto si y solo si X fr X = .
X = X.
F5. X es cerrado si y solo si fr X X.
F2. int X fr
F3. frX = X int X. F6. fr X = X = X = R.
Ejemplo 5.3.3 El conjunto de Cantor,
(
)
X xn
C :=
: hxn inN es una sucesi
on en {0, 2} ,
n
3
nN
satisface que fr C = C.
Probar las afirmaciones de este ejemplo quedara como ejercicio.
La forma mas sencilla de visualizar el conjunto de Cantor es definir
(
)
X xn
Cn :=
: x[N] {0, 1, 2} x[Nn ] {0, 2} ,
3n
nN
y luego observar que
C=
\
nN
81
Cn .
5.4.
Puntos de acumulaci
on
Definici
on 5.4.1 Sea X R.
El conjunto derivado de X es el conjunto
\
X 0 :=
X {x}
xX
y sus elementos son puntos de acumulaci

on de X.
a es aislado en X si a X X 0 .
X es perfecto si X 0 = X.
Lema 5.4.2 Sean X R y a R.
a X 0 si y solo si a X {a}
La demostracion es sencilla y quedara como ejercicio.
Ejemplo 5.4.3 Q0 = R. En efecto, si a R y > 0,
(a , a + ) (Q {a}) = ((a , a) Q) ((a, a + ) Q) 6= ,
ya que ambos conjuntos de la union son no vacos (por la proposicion 3.3.8), de manera que
a Q {a}.
Proposici
on 5.4.4 Sea X R.
1. X 0 es cerrado.
2. X X 0 = X.
3. X es cerrado si y solo si X 0 X.
n:
Demostracio
1. Es inmediato por la definicion de conjunto derivado y el corolario 5.2.6.
2. Claramente X X. Ademas, X = X 0 = y de lo contrario podemos fijar a X de
manera que
\
X {x} X {a} X.
X0 =
xX
Esto prueba que X X 0 X.

Para probar la inclusion inversa, fijemos a X y supongamos que a
/ X. As, X {a} = X
y, por tanto, a X = X {a}.
Por el lema 5.4.2, la inclusion queda probada.
3. En efecto, si X es cerrado, X = X = X X 0 y, por la propiedad U 7, X 0 X.
Recprocamente, si X 0 X, entonces X = X X 0 = X, de manera que X es cerrado.//
82
Proposici
on 5.4.5 Sean X R y a R. Los enunciados a continuacion son equivalentes:
(1) a X 0
(2) Existe una sucesion hxn inN en X {a} (x[N] X) tal que lm xn = a.
(3) Todo intervalo abierto I tal que a I posee infinitos puntos de X.
(4) Existe una sucesion monotona hxn inN en X {a} (x[N] X) tal que lm xn = a.
Ejemplo 5.4.6 Todos los puntos de un conjunto finito F R son aislados.
Ejemplo 5.4.7 El conjunto de Cantor es perfecto.
Demostrar estas afirmaciones quedara como ejercicio.
Teorema 5.4.8 (Bolzano-Weierstrass) Todo conjunto infinito y acotado de n
umeros reales
posee por lo menos un punto de acumulacion.
n:
Demostracio
Sea X R infinito y acotado.
Por la proposicion 2.2.9, existe una sucesion inyectiva hxn inN en X.
Como esta sucesion es claramente acotada, posee una subsucesion convergente en virtud
del teorema de sucesiones del mismo nombre.
Sean hxnk ikN esta subsucesion y a su lmite. Como la subsucesion es hereditariamente inyectiva, a lo sumo uno de sus terminos es igual a a. Despreciandolo, si es necesario, obtenemos
una sucesion en X {a} que converge a a, de manera que a X 0 .
83
5.5.
Compacidad
Definici
on 5.5.1 Sea X R.
X es compacto si todo recubrimiento abierto de X posee un subrecubrimiento finito.
Ejemplo 5.5.2 Claramente, todo conjunto finito es compacto.
Lema 5.5.3 Todo intervalo cerrado y acotado, es compacto.
n:
Demostracio
Sean [a, b] un intervalo cerrado y acotado y F = {A : L} un recubrimiento abierto de
este intervalo.
Supongamos que F no admita subrecubrimiento finito. Sea [a1 , b1 ]. Una vez elegidos
[a1 , b1 ], , [an , bn ]
de manera que F no admita subrecubrimiento finito para ninguno de ellos, elegimos [an+1 , bn+1 ]
de la siguiente manera:
Claramente, F tambien es un recubrimiento de los intervalos

an + b n
an + b n
an ,
,b
y
2
2
y por lo menos uno de ellos no posee subrecubrimiento finito. Sea [an+1 , bn+1 ] este intervalo.
As, obtenemos la sucesion
[a1 , b1 ] [an , bn ]
tal que ninguno de estos intervalos posea subrecubrimiento finito. Ademas
bn an = 2n1 (b a), para cada n N,
como se prueba facilmente por induccion.
Por el Teorema de los Intervalos Encajados (3.3.5), existe
\
[an , bn ].
c
nN
Por definicion de recubrimiento, existe 0 L tal que c A0 .

Como A0 es abierto, existe > 0 tal que
(c , c + ) A0 .
Eligiendo n0 N de manera que
ba
< ,
2n1
tenemos que
c [an0 , bn0 ] (c , c + ) A0 ,
lo cual constituye una contradiccion.
84
Teorema 5.5.4 (Heine-Borel) Un conjunto de n

umeros reales es compacto si y solo si es
cerrado y acotado.
n:
Demostracio
Sea X R.
Para probar la implicacion de derecha a izquierda, supongamos que X sea cerrado y acotado
y sea F un recubrimiento abierto de X.
Como X es acotado, existen a, b R tales que X [a, b]. Siendo X cerrado, X c es abierto
y como F {X c } es un recubrimiento abierto de R, es, en particular, un recubrimiento abierto
de [a, b].
Por el lema 5.5.3, F {X c } posee un subrecubrimiento finito de [a, b]. Eliminando, si es
necesario, el conjunto X c de este subrecubrimiento, obtenemos un subrecubrimiento de F para
el conjunto X, de manera que X es compacto.
Esto prueba la implicacion.
Para probar la implicacion inversa, supongamos que X sea compacto.
Supongamos que X no sea cerrado, esto es, existe a X X.
Por definicion de compacidad, el recubrimiento abierto
{[a , a + ]c : > 0}
posee un subrecubrimiento
{[a k , a + k ]c : k Nn }.
Sea 0 = mn{k : k Nn }. As,
[
[a k , a + k ]c [a 0 , a + 0 ]c ,
X
kNn
lo cual es una contradiccion pues a X pero (a 0 , a + 0 ) X = (confronte la proposicion

5.2.8).
Por otro lado,
{(r, r) : r R}
es claramento un recubrimiento abierto de X que, por definicion de compacidad, posee un
subrecubrimiento
{(rk , rk ) : k N n}.
Sea r0 = max{rk : k N n}. As,
X
(rk , rk ) (r0 , r0 ),
kNn
de manera que X es acotado.

Esto prueba la implicacion restante.//
85
Corolario 5.5.5 Un conjunto de n

umeros reales X es compacto si y solo si toda sucesion en
X posee una subsucesion que converge en X.
Corolario 5.5.6 Sea
F = {Kn : n N}
una familia de conjuntos compactos tales que
Kn+1 Kn para cada n N.
\
Kn 6= .
nN
86
5.6.
Ejercicios

2. Sean X, Y R. Pruebe que int (X Y ) = int X int Y mientras que int X
int Y int (X Y ). De un ejemplo en el que la inclusion es propia.
3. Sean X e Y conjuntos abiertos de n
umeros reales. Pruebe que X + Y es abierto.
7. Demuestre el teorema 5.1.16.
Seccion 2: 1. Sean X, Y R. Pruebe que X Y = X Y mientras que X Y X Y .
De un ejemplo en el que la inclusion es propia.
5. Si X y Y son conjuntos cerrados de n
umeros reales, es X + Y tambien cerrado?
Justifique su respuesta.
9. Utilice la biseccon de intervalos (la tecnica empleada en la demostracion del
teorema de Heine-Borel (5.5.4)) para probar que todo intervalo es conexo.
10. Defnase que X Y R es denso en Y si Y X.
Pruebe que todo conjunto de numeros reales posee un subconjunto numerable y
denso.
Seccion 3: 1. Demuestre las propiedades F 1 - F 6.
2. Averigue si existe una formula para fr (X Y ), fr (X Y ) o fr (X Y ).
3. Si X Y , es cierto que fr X fr Y ? Justifique su respuesta.
5. Pruebe que el conjunto de Cantor no es numerable.
Seccion 4: 1. Demuestre el lema 5.4.2.
3. Si X Y , es cierto que X 0 Y 0 ? Justifique su respuesta.
6. Pruebe que todo conjunto no numerable de n
umeros reales posee por lo menos
un punto de acumulacion.
87
2. Demuestre el corolario 5.5.6

3. Si X y Y son conjuntos ccompactos de n
umeros reales, es X + Y tambien
compacto? Justifique su respuesta.
4. Pruebe que la union finita de conjuntos compactos es un conjunto compacto.
5. Pruebe que todo conjunto compacto de n
umeros reales posee maximo y mnimo.
6. Sean X e Y conjuntos disjuntos de n
umeros reales. Si X es compacto e Y es
cerrado, pruebe que existen x0 X e y0 Y tales que
|x0 y0 | |x y|, para cada (x, y) X Y.
7. Pruebe que todo conjunto compacto cuyos puntos son todos aislados es finito.
88
Captulo 6
Noci
on de lmite
6.1.
Definici
on y propiedades
Definici
on 6.1.1 Sean X R, a X 0 , L R y
f :XR
una funcion.
lm f (x) = L
xa
si para cada sucesion hxn inN en X {a} se tiene que

lm f (xn ) = L si
n+
lm xn = a.
n+
En caso afirmativo, L es el lmite de f en a.

No daremos trato especial a los lmites infinitos ni a los lmites en el infinito. Bastara considerar la posibilidad que a, L = , donde convendremos que + X 0 (respectivamente,
X 0 ) si X no es superiormente (respectivamente, inferiormente) acotado.
Ejemplo 6.1.2 Sean c R y
f : R R definida por f (x) = c.
Si a R y hxn inN es cualquier sucesion, se verifica que lmn+ f (xn ) = lmn+ c = c.
Luego, lmxa c = c, para cada a R.
Ejemplo 6.1.3 Sea
f : R R definida por f (x) = x.
Si a R y hxn inN es cualquier sucesion, se verifica que lmn+ f (xn ) = lmn+ xn = a.
Luego, lmxa x = a, para cada a R.
Ejemplo 6.1.4 La funcion seno
f : R R definida por f (x) = cos
1
x
no posee lmite en el 0.
En efecto, se verifica que
1
=0y
n+ 2n
lm
1
=0
n+ (2n 1)
lm
mientras que

lm f
n+
1
2n

= lm cos(2n) = lm 1 = 1
n+
n+
pero

lm f
n+
1
(2n 1)

= lm cos((2n 1)) = lm 1 = 1.
n+
n+
91

1
= 0.
Ejemplo 6.1.5 lm x cos
x0
x
En efecto, si hxn i es cualquier sucesion en R{0} tal que lmn+ xn = 0 como la sucesion

1
cos
xn
es acotada, se verifica

1
lm xn cos
= 0,
n+
xn
en virtud de la proposicion 4.1.16.
El ejemplo anterior muestra que las proposiciones referentes a lmites de sucesiones pueden
ser generalizadas para lmites de funciones. Todas las demostraciones quedaran como ejercicio.
Proposici
on 6.1.6 Sean X R, a X 0 , L R y
f :XR
una funcion.
Si
lm f (x) = L y lm f (x) = M,
xa
xa
entonces L = M .
La proposicion anterior justifica la notacion
lm f (x) = L,
xa
ya que el lmite es, de hecho, un (

unico) n
umero real.
Proposici
on 6.1.7 Sean X R, Y X, a X 0 , L R y
f :XR
una funcion.
Si a Y 0 y
lm f (x) = L,
xa
entonces
lm f |Y (x) = L.
xa
Proposici
on 6.1.8 Sean X R, a X 0 , y
f, g : X R
dos funciones.
Si f es acotada y
lm g(x) = 0,
xa
entonces
lm (f (x) g(x)) = 0.
xa
92
Proposici
on 6.1.9 Sean X R, a X 0 , L, M R y
f, g : X R
dos funciones tales que
lm f (x) = L y lm g(x) = M.
xa
xa
1. lm (f (x) g(x)) = L M
xa
2. lm (f (x) g(x)) = L M
xa
f (x)
L
=
si M 6= 0
xa g(x)
M
3. lm
Definici
on 6.1.10 Sea p : R R una funcion.
p es un polinomio si existen a0 , , an R tales que
p(x) =
n
X
ak xk , para cada x R.
k=0
Corolario 6.1.11 Si p es un polinomio y x0 R, entonces

lm p(x) = p(x0 ).
xx0
Proposici
on 6.1.12 (Intercalaci
on) Sean X R, a X 0 , L R y
f, g, h : X R
tres funciones tales que
lm g(x) = lm h(x) = L.
xa
xa
Si existe r > 0 tal que

g(x) f (x) h(x) si 0 < |x a| < r,
entonces
lm f (x) = L.
xa
Aunque fructfero para la deduccion de algunas propiedades, en la practica puede resultar

incomodo trabajar con la definicion de lmite. Presentaremos a continuacion la equivalencia
entre la definicion dada con la conocida definicion .
Proposici
on 6.1.13 Sean X R, a X 0 , L R y
f :XR
una funcion.
lm f (x) = L
xa
si y solo si
> 0 > 0 x X (0 < |x a| < |f (x) L| < ).
93
n:
Demostracio
Para probar la implicacion de izquierda a derecha, supongamos que
lm f (x) = L
xa
pero que
0 > 0 > 0 x X (0 < |x a| < |f (x) L| ).
En particular,
0 > 0 n N xn X (0 < |xn a| <
1
|f (xn ) L| 0 ).
n
La sucesion hxn inN cumple que x[N] X {a} y converge, por Intercalacion, a a, de
manera que, por definicion de lmite (de funciones),
lm f (xn ) = L.
n+
Esto contradice la proposicion 4.1.20, pues

|f (xn ) L| 0 para cada n N,
lo cual prueba la implicacion.
Para probar la implicacion inversa,
> 0 > 0 x X (0 < |x a| < |f (x) L| < )
y sea hxn inN una sucesion en X {a} que converge a a.
Por definicion de lmite (de sucesiones) y como xn 6= a para cada n N, existe n0 N tal
que
0 < |xn a| < si n > n0 ,
de manera que
|f (xn ) L| < si n > n0 .
Esto prueba que
lm f (xn ) = L
n+
y la implicacion restante se sigue.//

Corolario 6.1.14 Sean X R, a X 0 , L, M R y
f, g : X R
dos funciones,
lm f (x) = L y lm g(x) = M.
xa
xa
Si L < M , entonces existe > 0 tal que

f (x) < g(x) si x X 0 < |x a| < .
En particular, si L < c R, entonces existe > 0 tal que
f (x) < c si 0 < |x a| < .
94
n:
Demostracio
Sea
=
M L
,
2
de manera que
L+M
= M .
2
Por la proposicion 6.1.13, existen 1 , 2 > 0 tales que
L+=
|f (x) L| < si x X 0 < |x a| < 1 y|g(x) M | < si x X 0 < |x a| < 2 .

Tomando = mn{1 , 2 }, si x X 0 < |x a| < , tenemos que 0 < |x a| < 1 y
0 < |x a| < 2 , de manera que
f (x) < L + = M < g(x).
Corolario 6.1.15 Sean X R, a X 0 y
f :XR
una funcion.
Si
lm f (x) R,
xa
entonces existen r > 0 y c R tales que

|f (x)| c si x X 0 < |x a| < r.
n:
Demostracio
Sea
L = lm f (x).
xa
Por la proposicion 6.1.13, existe r > 0 tal que

|f (x) L| < 1 si x X 0 < |x a| < r.
Ahora, si c = 1 + |L|, x X y 0 < |x a| < r, tenemos que
|f (x)| = |f (x) L + L| |f (x) L| + |L| < 1 + |L| = c,
1
Ejemplo 6.1.16 lm no existe, ya que esto contradira el corolario 6.1.15, como se verifica
x0 x
facilmente.
95
6.2.
Lmites laterales
Definici
on 6.2.1 Sean X R, a X 0 y
f :XR
una funcion.
El lmite lateral derecho de f en a es
f (a+) = lm f (x) := lm f |X(a,+) (x)
xa+
xa
y el lmites lateral izquierdo de f en a es

f (a) = lm f (x) := lm f |X(,a) (x),
xa
xa
si estos lmites existen.

Ejemplo 6.2.2 Consideremos la funcion
f : R {0} R definida por f (x) =
Claramente,
|x|
.
x
x
= 1,
x0 x
f (0+) = lm f |(0,+) (x) = lm

x0
mientras que
x
= 1.
x0 x
f (0) = lm f |(,0) (x) = lm

x0

f : [0, +) R definida por f (x) =
f (0+) = lm f(0,+) (x) = lm
x0
x0
x.
x = 0 = 0,
como veremos en el ejemplo 6.4.6.

f (0) no existe, pues D(f ) (, 0) = , de manera que f |D(f )(,0) carece de sentido.
La siguiente definicion descarta los inconvenientes del ejemplo anterior.
Definici
on 6.2.4 Sean X R y a R.
a X+0 si a (X (a, +))0
a X0 si a (X (, a))0
Proposici
on 6.2.5 Si X R, entonces X 0 = X+0 X0 .
Proposici
f :XR
una funcion.
f (a+) existe si y solo si a X + y
> 0 > 0 x X (a < x < a + |f (x) L| < ).
96
Corolario 6.2.7 Sean X R, a X 0 , L R y

f :XR
una funcion.
1. Si lm f (x) = L y a X+0 , entonces f (a+) = L.
xa
2. Si el lmite en a existe, entonces existe por lo menos uno de los lmites laterales.
3. Si f (a+) = f (a), entonces lm f (x) existe.
xa
4. Si lm f (x) = L R y f (a+) existe, entonces f (a+) = L.

xa
5. Si f (a+) = L R y a
/ X0 (en particular, si X [a, +)), entonces lm f (x) = L.
xa
Proposici
on 6.2.8 Sean X R y
f :XR
una funcion creciente.
Si f es inferiormente acotada y a X+0 , entonces f (a+) existe.
En particular, si a X X+0 , entonces f (a+) existe.
Es claro que valen resultados completamente analogos para los puntos de acumulacion por
la izquierda (los elementos de X0 ) y el lmite lateral por la izquierda (f (a)). Para probarlo,
basta aplicar los resultados de arriba a la funcion f (x).
97
6.3.
Continuidad
Definici
on 6.3.1 Sean X R, a X y
f :XR
una funcion.
f es continua en a si para cada sucesion hxn inN en X se tiene que
lm f (xn ) = f (a) si
n+
lm xn = a.
n+
f es discontinua en a si no es continua en X.
f es una funci
on continua si no es discontinua en ning
un punto.
Proposici
on 6.3.2 Sean X, Y, Z R a X, b Y y
f :XY yg:Y Z
dos funciones tales que b = f (a).
Si f es continua en a1 y g es continua en b, entonces g f es continua en a.
n:
Demostracio
Tenemos que
g f : X Z.
Sea hxn inN una sucesion en X tal que
lm xn = a.
n+
Como f es continua en a, la sucesion hf (xn )inN esta en Y y verifica que

lm f (xn ) = f (a) = b.
n+
Ahora, como g es continua en b, tenemos que

lm (g f )(xn ) = lm g(f (xn )) = g(b) = g(f (a)) = (g f )(a).
n+
n+

La siguiente proposicion ayuda a reducir la nocion de continuidad a nociones ya conocidas.
Proposici
f :XR
una funcion. Los siguientes enunciados son equivalentes:
1
Estrictamente hablando, no hemos definido la continuidad para funciones cuyo codominio es distinto de
R. Sin embargo, el codominio no interviene en absoluto en la nocion de continuidad, de manera que, para el
efecto, f es equivalente a iY ;R f .
98
(1) f es continua en a.
(2) a es aislado en X o lm f (x) = f (a).
xa
(3) > 0 > 0 x X (|x a| < |f (x) f (a)| < )

n:
Demostracio
Supongamos (1) y que a no sea asilado en X, esto es, a X 0 .
Sea hxn inN una sucesion en X {a} tal que
lm xn = a.
n+
Como hxn i es, en particular, una sucesion en X, por continuidad, se verifica que
lm f (x) = f (a)
xa

Supongamos (2) y sea > 0.
Si a es aislado en X: a
/ X {a}, esto es, existe > 0 tal que
(X {a}) (a , a + ) = .
Ahora, si x X es tal que |x a| < , tenemos que x = a y, por tanto,
|f (x) f (a)| = 0 < ,
de manera que (3) se verifica.
Si lm f (x) = f (a): Por la proposicion 6.1.13, tenemos que
xa
> 0 x X (0 < |x a| < |f (x) f (a)| < ).

Teniendo en cuenta que
|f (x) f (a)| = 0 < six = a,
(3) se verifica.
En sntesis, (2) (3).
Supongamos (3) y sea hxn inN una sucesion en X tal que
lm xn = a.
n+
Por definicion de lmite (de sucesiones), existe n0 N tal que

|xn a| < si n > n0 ,
de manera que
|f (xn ) L| < si n > n0
99
Ejemplo 6.3.4 Toda funcion

f :ZR
es continua, ya que todos los puntos de Z son aislados.
Esta proposicion permite obtener algunos resultados completamente analogos a los de la
seccion anterior.
Corolario 6.3.5 Sean X R, Y X y
f :XR
una funcion.
Si f es una funcion continua, entonces f |Y tambien es una funcion continua.
n:
Demostracio
Sea a X.
Si a
/ Y 0 , por la proposicion 6.3.3, f |Y es continua en a.
Por otro lado, si a Y 0 , entonces a X 0 (confronte los ejercicios de la seccion 5.4). Luego,
por la misma proposicion,
lm f (x) = f (a),
xa
de manera que, por la proposicion 6.1.7,

lm f |Y (x) = f (a) = f |Y (a)
xa
y, por la proposicion 6.3.3, f |Y es continua en a.

De manera parecida se prueban los 3 corolarios a continuacion. Sus demostraciones quedaran
como ejercicio.
Corolario 6.3.6 Sean X R, a X y
f, g : X R
dos funciones que son continuas en a.
Si f (a) < g(a), entonces existe > 0 tal que
f (x) < g(x) para cada x X (a , a + ).
En particular, si f (a) < c R, entonces existe > 0 tal que
f (x) < c para cada x X (a , a + ).
Corolario 6.3.7 Sean f y g funciones continuas tales que D(f ) = D(g).
En estas condiciones, f + g, f g y f g son funciones continuas.
Ademas,
f
es una funcion continua si 0
/ g[D(g)].
g
100
Corolario 6.3.8 Todo polinomio es una funcion continua.

Definici
on 6.3.9 Sean r > 0, x0 R y f : (x0 r, x0 + r) R una funcion.
f es analtica si existe una sucesion han inN{0} tal que
f (x) =
+
X
ak (x x0 )k , para cada x (x0 r, x0 + r)
k=0
y r es el radio de convergencia de la serie (posiblemente infinito).

Por razones de simplicidad, solo trataremos las funciones analticas con x0 = 0.
Corolario 6.3.10 Toda funcion analtica es continua.
n:
Demostracio
Sean r > 0, han inN{0} una sucesion y
f : (r, r) R definida por f (x) =
+
X
ak xk , para cada x (r, r)
k=0
tal que r sea el radio de convergencia de la serie. Para simplificar la notacion, sea
fn : (r, r) R definida por fn (x) =
n
X
ak x k ,
k=0
para cada n N {0}.

Sean > 0 y a (r, r).
Con esta notacion, la proposicion 4.4.4 afirma que existe n0 N {0} tal que si n > n0 y
x [c, c], entonces
|fn (x) f (x)| < .

3
Como fn0 +1 es continua en a, por la proposicion 6.3.3, existe > 0 tal que

x (r, r) |x a| < |fn0 +1 (x) fn0 +1 (a)| <
.
3
As, si x (r, r) es tal que |x a| < , tenemos que
|f (x) f (a)| |fn0 +1 (x) f (x)| + |fn0 +1 (x) fn0 +1 (a)| + |fn0 +1 (a) f (a)| <

+ + = .
3 3 3

Ejemplo 6.3.11 Como toda funcion analtica es continua, las funciones seno y coseno son
continuas.
Por el corolario 6.3.7, esto implica que todas las funciones trigonometricas son continuas.
101
Proposici
on 6.3.12 Sean X R y
f :XR
una funcion.
En estas condiciones, f es continua si y solo si para cada abierto A R existe un abierto
B R tal que f 1 [A] = B X.
n:
Demostracio
Para probar la primera implicacion, supongamos que f sea continua y sea A R abierto.
Si a f 1 [A], f (x) A que es abierto, por lo que existe a > 0 tal que (f (a)a , f (a)+a )
A, de manera que, por continuidad, existe a > 0 tal que
f (x) (f (a) a , f (a) + a ) A para cada x X (a a , a + a ).
Sea
B=
(a a , a + a ).
af 1 [A]
B es claramente abierto.
Si x f 1 [A], x (x x , x + x ) X B X. Recprocamente, si x B X, existe
a f 1 [A] tal que x (a a , a + a ), de manera que f (x) A, o bien, x f 1 [A].
Esto prueba la implicacion.
Para probar la implicacion inversa, supongamos que para cada abierto A R exista un
abierto B R tal que f 1 [A] = B X y sean > 0 y a X arbitrarios.
Como (f (a), f (a)+) es abierto, existe B abierto tal que f 1 [(f (a), f (a)+)] = BX.
En particular, a B.
Luego, siendo B abierto, existe > 0 tal que (a , a + ) B. As, si x X y |x a| < ,
x B X = f 1 [(f (a) , f (a) + )],
de manera que
f (x) (f (a) , f (a) + ),
o bien,
|f (x) f (a)| < .
Esto prueba la implicacion restante.//
102
6.4.
Funciones continuas en un intervalo
Proposici
on 6.4.1 Sean I R y
f :IR
una funcion continua.
Si I es un intervalo, entonces f (I) tambien es un intervalo.
n:
Demostracio
En efecto, por el corolario 5.1.13, tenemos que I es conexo y bastara probar que f (I) tambien es conexo.
Supongamos que f (I) no sea conexo, esto es, existen conjuntos abiertos A y B tales que
f (I) A B, f (I) A 6= , f (I) B 6= , pero (f (I) A) (f (I) B) = .
Por la proposicion 6.3.12, existen conjuntos abiertos C y D tales que
f 1 [A] = C I y f 1 [B] = D I.
Claramente, I = f 1 [f (I)] f 1 [A B] = f 1 [A] f 1 [B] C D.
Ademas, fijando a f (I) A 6= , existe b I tal que f (b) = a A, de manera que
b f 1 [A] = C I 6= . Un razonamiento analogo prueba que D I 6= .
Por u
ltimo, si tuviesemos x (I C) (I D) = f 1 [A] f 1 [B], tendramos que
f (x) f (I) (A B) = (f (I) A) (f (I) B) = , de manera que (I C) (I D) = .
Lo dicho contradice el hecho que I es conexo y el enunciado queda probado.//
Confronte los ejercicios de esta seccion para una demostracion alternativa de la proposicion
anterior.
Teorema 6.4.2 (Valor Intermedio, Bolzano) Sean a, b, d R y
f : [a, b] R
Si f (a) < d < f (b) o f (b) < d < f (a), entonces existe c (a, b) tal que f (c) = d.
Ejemplo 6.4.3 Sean a R, n N y
f : R R definida por f (x) = xn .
Si a 1, se verifica que f (a) = an a y que f (1) = 1 a. Luego, existe b [1, a] tal que
bn = a.
Si 0 a < 1, se verifica que f (0) = 0 a y que f (1) = 1 > a. Luego, existe b [0, 1) tal
que bn = a.
Ademas, si a < 0, como a > 0, existe c > 0 tal que cn = a. Ahora, si n es impar, basta
tomar b = c para que se verifique que bn = (c)n = cn = (a) = a.
103
El ejemplo anterior muestra que todo n

umero no negativo posee races n-esimas de cualquier
orden y que todo n
umero real posee races n-esimas de orden impar.
Ejemplo 6.4.4 Todo polinomio impar posee, por lo menos, una raz real.
Demostrar las afirmaciones del ejemplo anterior quedara como ejercicio.
Proposici
on 6.4.5 Sean I R un intervalo y
f :IJ
continua y biyectiva.
(1) Si I es un intervalo cerrado, entonces f es monotona.
(2) Si I es un intervalo arbitrario, entonces f es monotona.
(3) f 1 es monotona.
(4) f 1 |int J es continua.
(5) f 1 es continua.
Aunque la prueba sea extensa, la proposicion anterior es sencilla de probar si se sigue el
orden natural de sus apartados. La demostracion quedara como ejercicio.
Ejemplo 6.4.6 Sean n, m N, con n par y m impar, y sean
f : [0, +) [0, +) definida por f (x) =
y
g : R R definida por g(x) =
n
x
m
x.
f y g son funciones continuas.

104
6.5.
Funciones continuas en un conjunto compacto
Proposici
on 6.5.1 Sean K R y
f :KR
Si K es compacto, entonces f (K) es compacto.
n:
Demostracio
En efecto, por el corolario 5.5.5, tenemos que toda sucesion en K posee una subsucesion
que converge en K y bastara probar que toda sucesion en f (K) posee una subsucesion que
converge en f (K).
Sea hyn inN una sucesion en f (K). Por definicion de imagen, existe una sucesion hxn inN
tal que
yn = f (xn ) para cada n N.
Por hipotesis, existe una subsucesion hxnk ikN tal que lm xnk K, de manera que, como f
es una funcion continua, tenemos que
lm ynk = lm f (xnk ) = f (lm(xnk )) f (K).
Teorema 6.5.2 (Weierstrass) Sean K R y
f :KR
Si K es compacto, entonces existen x1 , x2 K tales que
f (x1 ) f (x) f (x2 ) para cada x K.
Corolario 6.5.3 Toda funcion de dominio compacto es acotada.
Proposici
on 6.5.4 Sean K, Y R y
f :KY
una biyeccion continua.
Si K es compacto, entonces f 1 es continua.
n:
Demostracio
Sea b Y arbitrario y supongamos que f 1 no fuese continua en b, esto es, existe 0 > 0
tal que

1
1
Y |f 1 (yn ) f 1 (b)| 0 .
n N yn b , b +
n
n
105
Claramente, lm yn = b.
Definiendo a = f 1 (b) y xn = f 1 (yn ) para cada n N, podemos considerar una subsucesion hxnk i que converge a c K (digamos). Como
|xn a| 0 para cada n N,
una aplicacion del corolario 4.1.20 revela que c 6= a.
Por otro lado, como f es continua, tenemos que
lm ynk = lm f (xnk ) = f (c).
Sin embargo,
lm yn = b = f (a),
de manera que f (c) = f (a).
Esto contradice la hipotesis que f es inyectiva y el enunciado se sigue.//
106
6.6.
Continuidad uniforme
Definici
on 6.6.1 Sean X R y
f :XR
una funcion.
f es uniformemente continua si para cada par de sucesiones hxn inN e hyn inN en X
se tiene que
lm (f (xn ) f (yn )) = 0 si lm (xn yn ) = 0.
n+
n+
Es inmediato verificar que toda funcion uniformemente continua es continua, ya que basta
tomar yn = a para cada n N.
A primera vista puede parecer que el recproco es valido, es decir, que toda funcion continua
es uniformemente continua. Esto esta aparentemente probado por la cadena de implicaciones
lm(xn yn ) = 0
lm xn = lm yn
f (lm xn ) = f (lm yn )
lm f (xn ) = lm f (yn ) lm(f (xn ) f (yn )) = 0.

Sin embargo, hay dos casos posibles en los que este razonamiento puede fallar: si hxn i no
es acotada y si converge fuera del domino de f (de manera que f (lm xn ) carecera de sentido).
es continua pero no es uniformemente continua. En efecto:

La sucesiones xn = n + n1 nN e hyn = ninN verifican que
lm(xn yn ) = lm
1
= 0.
n
Sin embargo,
!

2

1
1
2
lm(f (xn ) f (yn )) = lm
n+
n = lm 2 +
= 2 6= 0.
n
n
f : R {0} R definida por f (x) =
1
x
es continua pero no es uniformemente continua. En efecto:
La sucesiones xn =
1
2n nN

e yn = n1 nN verifican que

1
lm(xn yn ) = lm
= 0.
2n
Sin embargo,
lm(f (xn ) f (yn )) = lm(2n n) = lm n = +.
107
Proposici
on 6.6.4 Sea K R y
f :KR
Si K es compacto, entonces f es uniformemente continua.
n:
Demostracio
Supongamos que f no sea uniformemente continua, esto es, que existen dos sucesiones
hxn inN e hyn inN en K tales que lm(xn yn ) = 0 pero que no verifican que
lm(f (xn ) f (yn )) = 0.
Para cada n N, sea zn = f (xn ) f (yn ). Es claro que hzn inN es acotado (pues f (K) es
compacto), de manera que, por el corolario 4.1.21, la sucesion posee un valor de adherencia
a 6= 0, esto es, existe una subsucesion hznk ikN tal que lm znk = a.
Ahora, como K es compacto, la sucesion hynk ikN posee una subsucesion convergente
D
E
ynkl
lN
(por el corolario 5.5.5) y, por la misma razon, la sucesion

E
D
xnkl
lN
posee una subsucesion convergente

D
xnkl
E
j
.
jN
Es claro que
lm xnkl = lm ynkl ,
j
pues lm(xn yn ) = 0, de manera que

= f lm xnkl f lm ynkl = 0,
lm znkl = lm f xnkl f ynkl
j
lo cual es una contradiccion pues lm znk = a.

Una fuente natural de funciones uniformemente continuas son las funciones Lipschitzianas:
Definici
on 6.6.5 Sean X R y
f :XR
una funcion.
f es lipschitziana si
l 0 x, y X |f (x) f (y)| l|x y|.
En caso afirmativo, l es la constante de Lipschitz de f .
Proposici
on 6.6.6 Toda funcion lipschitziana es uniformemente continua.
108

f : [0, 1] R
es uniformemente continua pero no es lipschitziana.
Demostrar las afirmaciones del ejemplo anterior quedara como ejercicio.
Cerraremos el captulo con dos criterios de no continuidad uniforme.
Proposici
on 6.6.8 Sean X R y
f :XR
una funcion uniformemente continua.
Si Y X es acotado, entonces f (Y ) es acotado.
n:
Demostracio
Supongamos que f (Y ) no sea acotado (inferiormente, para fijar ideas).
Entonces podemos definir inductivamente una sucesion hzn inN en f (Y ) tal que
zn+1 < zn 1 para cada n N.
Por definicion de imagen, existe una sucesion hxn inN en Y tal que
zn = f (xn ) para cada n N.
Como hxn i es claramente acotada, por el Teorema de Bolzano-Weierstrass, posee una subsucesion convergente hxnk ikN .
La sucesion hyk = xnk +1 inN verifica claramente que lm(xnk yk ) = 0. Sin embargo,
f (xnk ) f (yk ) = f (xnk ) f (xnk +1 ) = znk znk +1 > 1,
lo cual implica, en particular, que no se verifica que lm(f (xnk ) f (yk )) = 0, contradiciendo la
hipotesis que f es uniformemente continua.
Ejemplo
La funcion tangente no es uniformemente continua pues la imagen del inter 6.6.9

no es acotada.
valo ,
2 2
Proposici
f :XR
una funcion uniformemente continua.
lm f (x)
xa
existe.
109
6.7.
Ejercicios
Seccion 1: 1. Sean X R, a X 0 y
f :XR
una funcion.
Pruebe que
lm f (x) =
xa
si y solo si
1
= 0 y lm (f (x) |f (x)|) = 0.
xa f (x)
xa
lm
2. Demuestre las proposiciones 6.1.6, 6.1.7, 6.1.8, 6.1.9 y 6.1.12.

Seccion 2: 1. Pruebe la proposicion 6.2.5.
2. Pruebe la proposicion 6.2.6.
3. Pruebe el corolario 6.2.7.
4. Pruebe la proposicion 6.2.8.
5. Sean X R y
f :XR
una funcion monotona y acotada. Pruebe que
D := {a X+0 X0 : f (a+) 6= f (a)}
es numerable.
Seccion 3: 1. Sean D X R y
f, g : X R
dos funciones.
Si D es denso en X y
f (x) = g(x) para cada x D,
pruebe que f = g.
5. Sean X R y
f :XR
una funcion.
En estas condiciones, f es continua si y solo si para cada cerrado C R existe
un cerrado D R tal que f 1 [C] = D X.
110
6. Sean X R y
f :XR
una funcion.
Pruebe que f es continua si y solo si
f (A X) f (A X) para cada A X.
7. Sean X R,
f, g : X R
dos funciones continuas e
Y = {x X : f (x) < g(x)}.
En estas condiciones, existe un conjunto abierto A tal que Y = X A.
Seccion 4: 1. Demuestre el teorema 6.4.2.
3. Sean X R, c X y
f :XR
una funcion.
Defnase que c es un punto fijo de f si f (c) = c.
Si X es un intervalo cerrado, pruebe que f posee, por lo menos, un punto fijo.
5. Se verifica que la inversa de cualquier funcion continua y biyectiva es continua?
Seccion 5: 1. Sean a, b R y
f : [a, b] R
= [a, b] y f [X] = f [Y ].
Pruebe que no existen X, Y R tales que X Y
2. Sean X R y
f :RR
una funcion.
Defnase que f es periodica si existe p R tal que
f (x + p) = f (x) para cada x X.
Si f es continua y periodica, pruebe que existen x1 , x2 X tales que
f (x1 ) f (x) f (x2 ) para cada x X.
111
3. Sean K R y
f :KR
Si K es compacto, pruebe que
> 0 l 0 x, y K (|x y| |f (x) f (y)| l |x y|).
Seccion 6: 1. Sean X R y
f :XR
una funcion.
Pruebe que f es uniformemente continua si y solo si
> 0 > 0 x, y X (|x y| < |f (x) f (y)|).
2. Es cierto que la suma y el producto de funciones uniformemente continuas es
una funcion uniformemente continua? Justifique su respuesta.
6. Pruebe que la funcion
f : R {0} R definida por f (x) = cos
1
x
no es uniformemente continua.
7. Sean X R cerrado y
f :XX
una contraccion, es decir, una funcion con constante de Lipschitz l < 1. Pruebe
que:
(1) Para cualquier x1 X, la sucesion hxn inN definida inductivamente por
xn+1 = f (xn ) para cada n N, converge a un punto fijo de f .
(2) f posee un u
nico punto fijo.
112
Captulo 7
Derivadas
7.1.
Definici
on y propiedades
Definici
on 7.1.1 Sean X R, a X X 0 y
f :XR
una funcion.
La derivada de f en a es
f (x) f (a)
xa
xa
f 0 (a) := lm
si este lmite existe.
f es derivable en a si f 0 (a) existe.
Geometricamente, el cociente
f (x) f (a)
xa
representa la pendiente de la recta que pasa por los puntos (x, f (x)) y (a, f (a)). Si pensamos
en la variable independiente como el tiempo y en la variable dependiente como la posicion de
un objeto, esta pendiente es la velocidad media del objeto entre los instantes a y x.
Al pasar al lmite en a, obtenemos la velocidad en el instante a y, por definicion, la pendiente
de la curva en (a, f (a)).
p : R R definida por p(x) = xn ,
donde n N {0}.
Si x, a R, sabemos del algebra que
xn an = (x a)
n
X
(xnk ak1 ).
k=1
Luego,
n
n
n
X
X
X
f (x) f (a)
nk k1
nk k1
p (a) := lm
= lm
(x a ) =
lm (x a ) =
an1 = n an1 .
xa
xa
xa
xa
k=1
k=1
k=1
0
Proposici
f :XR
una funcion.
Si f es derivable en a, entonces f es continua en a.
115
n:
Demostracio
Claramente,
f (x) = f (x) f (a) + f (a) = (x a)
f (x) f (a)
+ f (a),
xa
de manera que, por la proposicion 6.1.9, la definicion de derivada y la continuidad de los

polinomios,
f (x) f (a)
+ lm f (a) = 0 f 0 (a) + f (a) = f (a).
xa
xa
xa
lm f (x) = lm (x a) lm
xa
xa
Luego, el enunciado queda probado por la proposicion 6.3.3.//

1
f : R {0} R definida por f (x) = x cos .
x
f es continua en 0, como hemos visto en el ejemplo, 6.1.5. Sin embargo, f no es derivable

en 0.
Proposici
f, g : X R
dos funciones derivables en a.
1. (f g)0 (a) = f 0 (a) g 0 (a)
2. (f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a)
0
1
g 0 (a)
(a) = 2
3.
g
g (a)
0
f
f 0 (a)g(a) f (a)g 0 (a)
4.
(a) =
g
g 2 (a)
n:
Demostracio
1. Como (f g)(x) (f g)(a) = f (x) g(x) f (a) g(a) = (f (x) f (a)) (g(x) g(a),
tenemos, por la proposicion 6.1.9, que
(f g)(x) (f g)(a)
f (x) f (a)
g(x) g(a)
= lm
lm
,
xa
xa
xa
xa
xa
xa
lm
de manera que
(f g)0 (a) = f 0 (a) g 0 (a),
por definicion de derivada.
116
2. Tenemos que
(f g)(x) (f g)(a) = f (x)g(x) f (a)g(a) = f (x)g(x) f (a)g(x) + f (a)g(x) f (a)g(a),
de manera que
(f g)(x) (f g)(a)
(f (x) f (a))g(x) + f (a)(g(x) g(a))
=
xa
xa
=
g(x) g(a)
f (x) f (a)
g(x) + f (a)
.
xa
xa
Teniendo en cuenta que

lm g(x) = g(a),
xa
ya que g es derivable y, por tanto, continua en a, la proposicion 6.1.9, la definicion de

derivada y la continuidad de los polinomios nos permiten concluir que

f (x) f (a)
g(x) g(a)
0
(f g) (a) = lmxa
g(x) + f (a)
xa
xa
g(x) g(a)
f (x) f (a)
lm g(x) + lm f (a) lm
xa
xa
xa
xa
xa
xa
= lm
= f 0 (a)g(a) + f (a)g 0 (a),

lo cual prueba el apartado.
3. La prueba de este apartado quedara como ejercicio.
4. Es consecuencia inmediata de los dos apartados anteriores.//
Ejemplo 7.1.6 El polinomio
p(x) =
n
X
ak x k
k=0
es derivable ya que, en virtud del ejemplo 7.1.2 y de la proposicion 7.1.5,

0
p (x) =
n
X
kak x
k1
k=0
n1
X
(k + 1)ak+1 xk .
k=0
Proposici
on 7.1.7 (Regla de la Cadena) Sean X, Y R, a X X 0 y
f : X Y, g : Y R
dos funciones tales que f (a) Y Y 0 .
Si f es derivable en a y g es derivable en f (a), entonces (g f )0 (a) = g 0 (f (a)) f 0 (a).
n:
Demostracio
Sean hxn inN una sucesion en X {a} que converge a a, hyn = f (xn )inN , b = f (a)
hzn = g(yn )inN y c = g(b). Con esta notacion,
zn c
g(yn ) g(b) f (xn ) f (a)
=
xn a
yn b
xn a
117
y queremos probar que

lm
zn c
= g 0 (b) f 0 (a).
xn a
Sean P = {n N : f (xn ) 6= a} y Q = {n N : f (xn ) = a} (confronte los ejercicios de la

seccion 4.1).
Si P es infinito,
lm
(z|P )k c
g((y|P )k ) g(b)
f ((x|P )k ) f (a)
= lm
lm
= g 0 (b) f 0 (a).
(x|P )k a
(y|P )k b
xk a
Si Q es infinito, las sucesiones h(y|Q )k = f ((x|Q )k )i y h(z|Q )k = g((y|Q )k )i son constantes,

de manera que f 0 (a) = 0 y, por tanto,
lm
(z|Q )k c
= 0 = g(b) f 0 (a).
(x|Q )k a
En cualquier caso, tenemos que

lm
zn c
= g 0 (b) f 0 (a)
xn a

Corolario 7.1.8 Sean X, Y R, a X X 0 y f : X Y una biyeccion que verifica que f
es derivable en a y que f 1 es continua en b = f (a).
(1) f 1 es derivable en b si y solo si f 0 (a) 6= 0.
(2) En caso afirmativo, (f 1 )0 (b) =
1
f 0 (a)
n:
Demostracio
Si f 1 es derivable en b:
Como (f 1 f )(x) = x para cada x X, la Regla de la Cadena implica que (f 1 )0 (b)f 0 (a) =
1, lo cual prueba (2) con esta hipotesis. En particular, f 0 (a) = 0, lo cual prueba la implicacion
de izquierda a derecha de (1).
Si f 0 (a) 6= 0:
Como a X 0 , existe una sucesion han inN en X {a} que converge a a. Como f es inyectiva
y continua en a, la sucesion hbn = f (an )inN esta en Y {b} y converge a b. Luego, b Y Y 0
y la nocion de derivada tiene sentido.
Sea hyn inN una sucesion en Y {b} tal que lm yn = b. Como f 1 es inyectiva y continua
en b, la sucesion hxn = f 1 (yn )inN esta en X {a} y lm xn = a. Luego,
(f
f 1 (yn ) f 1 (b)
= lm
) (b) = lm
yn b
1 0
yn b
1
f (yn ) f 1 (b)
1

= lm
f (xn ) a
xn a
1
=
1
f 0 (a)
lo cual prueba (2) con esta hipotesis. En particular, f 1 es derivable en b, lo cual prueba la
implicacion restante de (1).//
118

f : R R definida por f (x) = x3 .
Esta funcion posee inversa
g : R R definida por g(y) =
3
y.
Por el corolario 7.1.8, g no es derivable en el 0 (pues f 0 (0) = 0) y

g 0 (y) =
1
1 2
= y 3 para cada y R {0}.
2
3
3( y)
3
119
7.2.
Derivadas laterales
Definici
f :XR
una funcion.
Si a X,0 , la derivada lateral derecha de f en a es
f (x) f (a)
xa+
xa
f+0 (a) := lm
Si a X0 , la derivada lateral derecha de f en a es

f (x) f (a)
xa
xa
f0 (a) := lm
Solamente enunciaremos proposiciones respecto al lmite lateral derecho. Los resultados

analogos para el lmite lateral izquierdo se obtienen aplicando estas proposiciones a f (x).
Proposici
on 7.2.2 Sean X R, a X X+0 y
f :XR
una funcion.
Si f+0 (a) > 0, entonces existe > 0 tal que
f (a) < f (x) para cada x X (a, a + ).
n:
Demostracio
Tomando = f+0 (a) > 0 en la proposicion 6.2.6, tenemos que existe > 0 tal que

f (x) f (a)

0

f+ (a) < f+0 (a) para cada x X (a, a + ).
xa
As si x X (a, a + ),
f (x) f (a)
> f+0 (a) f+0 (a) = 0,
xa
de manera que f (a) < f (x).
Corolario 7.2.3 Las derivadas laterales de un funcion creciente, si existen, son no negativas.
120
Corolario 7.2.4 Sean X R, a X X+0 X0 y

f :XR
una funcion.
Si f+0 (a) > 0, entonces existe > 0 tal que
f (x) < f (a) < f (y) para cada x, y X tales que a < x < a < y < a + .
Definici
f :XR
una funcion.
f posee un m
aximo local (o maximo relativo) en a si existe r > 0 tal que f (x) f (a)
para cada x X (a r, a + r).
f posee un mnimo local (o mnimo relativo) en a si existe r > 0 tal que f (x) f (a)
para cada x X (a r, a + r).
f posee un m
aximo global (o maximo absoluto) en a si existe r > 0 tal que f (x) f (a)
para cada x X.
f posee un mnimo global (o mnimo absoluto) en a si existe r > 0 tal que f (x) f (a)
para cada x X.
Corolario 7.2.6 Sean X R, a X X+0 y
f :XR
una funcion.
Si f posee un maximo local en a y f+0 (a) existe, entonces f+0 (a) 0.
Corolario 7.2.7 Sean X R, a X X+0 X0 y
f :XR
una funcion.
Si f es derivable en a y posee un maximo o mnimo local en a, entonces f 0 (a) = 0.
f : R R definida por f (0) = 0 y f (x) =
x
1
+ x2 cos si x 6= 0.
2
x
Claramente,
0
f (0) = lm
x0
x
2

+ x2 cos x1
1
1
= + lm x cos
= 1 + 0 = 1.
x
2 x0
x
A pesar de lo que afirma el corolario 7.2.4, no existe r > 0 tal que f sea creciente en (r, r).
121

f : [0, 1] R definida por f (x) = x.
Aunque f posee un maximo local en 1, f 0 (1) = 1.
Esto prueba que la hipotesis a X X+0 X0 del corolario 7.2.7 es esencial.
122
7.3.
Funciones derivables en un intervalo
Teorema 7.3.1 (Darboux) Sean a, b, d R y

f : [a, b] R
una funcion derivable.
Si f 0 (a) < d < f 0 (b), entonces existe c (a, b) tal que f 0 (c) = d.
n:
Demostracio
Sea
g : [a, b] R definida por g(x) = f (x) dx.
Claramente, g es derivable (y, por tanto, continua) y g 0 (a) = f 0 (a)d < 0 < f 0 (b)d = g 0 (b).
Por el Teorema de Weierstrass, existe c [a, b] tal que g posea un maximo absoluto en c.
Como g 0 (a) < 0, por la proposicion 7.2.2, existe x (a, b) tal que g(x) < g(a), de manera
que a < c. Analogamente se prueba que c < b.
Luego, c [a, b]0+ [a, b]0 , y el corolario 7.2.7 prueba que g 0 (c) = 0, de manera que f 0 (c) = d.
Considerando f 0 como funcion, el Teorema de Darboux afirma que f 0 posee la propiedad
del valor intermedio si f es derivable y D(f ) es un intervalo. Sin embargo, esto no implica que
f 0 sea continua.
f : R R definida por f (0) = 0 y f (x) = x2 cos
1
si x 6= 0.
x
f es derivable (en particular, en 0), pero

lm f 0 (x)
x0
no existe.
Teorema 7.3.3 (Rolle) Sean a, b R y
f : [a, b] R
Si f es derivable en (a, b) y f (a) = f (b), entonces existe c (a, b) tal que f 0 (c) = 0.
123
n:
Demostracio
El enunciado es trivialmente cierto si f es constante. Supongamos lo contrario.
Por el Teorema de Weierstrass, existen x1 , x2 [a, b] tales que
f (x1 ) f (x) f (x2 ) para cada x [a, b].
Como f no es constante, f (x1 ) 6= f (x2 ), de manera que, como f (a) = f (b), {x1 , x2 } 6 {a, b}.
Sea c {x1 , x2 } (a, b).
Por el corolario 7.2.7, f 0 (c) = 0 y el enunciado queda probado.//
Teorema 7.3.4 (Valor Medio de Lagrange) Sean a, b R y
f : [a, b] R
Si f es derivable en (a, b), entonces existe c (a, b) tal que
f 0 (c) =
f (b) f (a)
.
ba
n:
Demostracio
Sea
f (b) f (a)
.
ba
Claramente, g es continua en [a, b], derivable en (a, b) y se verifica que
g : [a, b] R definida por g(x) = f (x) (x a)
g(b) = f (b) (b a)
f (b) f (a)
= f (b) (f (b) f (a)) = f (a) = g(a).
ba
Luego, por el Teorema de Rolle, existe c (a, b) tal que g 0 (c) = 0, esto es,
f 0 (c)
f (b) f (a)
=0
ba
o bien,
f 0 (c) =
f (b) f (a)
.
ba

Geometricamente, el Teorema del Valor Medio de Lagrange afirma que por lo menos una de
las tangentes a la curva definida por f es paralela a la recta que pasa por (a, f (a)) y (b, f (b)).
Corolario 7.3.5 Sean I un intervalo y
f :IR
Si f 0 (x) = 0 para cada x int I, entonces f es constante.
124

f, g : I R
dos funciones continuas.
Si f 0 (x) = g 0 (x) para cada x int I, entonces existe c R tal que g(x) = f (x) + c para
cada x I.
f :IR
Si f 0 es acotada, entonces f es lipschitziana.
Ejemplo 7.3.8 Si p es un polinomio y X es acotado, entonces X es un conjunto compacto y,
por tanto, p0 es acotada en X.
Luego, (p|X )0 es acotada y, por el corolario 7.3.7, p|X es lipschitziana.
f :IR
f es creciente si y solo si f 0 (x) 0 para cada x I.
Ademas, si f 0 (x) > 0 para cada x I, entonces f es estrictamente creciente.
Las demostraciones de estos corolarios son inmediatas y quedaran como ejercicio.
p : R R definida por p(x) = x3 .
p es estrictamente creciente, pero p0 (0) = 0.
125
7.4.
Funciones convexas
Definici
on 7.4.1 Sean I un intervalo y
f :IR
una funcion.
f es convexa si para cada par de puntos a, b int I y cada t [0, 1], se verifica que
f ((1 t)a + tb) (1 t)f (x) + tf (y).
f es c
oncava si para cada par de puntos a, b int I y cada t [0, 1], se verifica que
f ((1 t)a + tb) (1 t)f (x) + tf (y).
Geometricamente,
{((1 t)a + tb, (1 t)f (a) + tf (b) : t [0, 1]}
es el segmento de recta que une los puntos (a, f (a)) e (b, f (b)). As, f es convexa si y solo si el
grafico de f se sit
ua bajo cualquiera de sus secantes.
Claramente, f es concava si y solo si f es convexa. Por tanto, solo enunciaremos proposiciones respecto a funciones convexas.
Lema 7.4.2 Sean I un intervalo y
f :IR
una funcion. Los enunciados a continuacion son equivalentes:
(1) f es convexa.
(2)
f (v) f (u)
f (w) f (u)
para cada u, v, w I tales que u < v < w.

vu
wu
(3)
f (w) f (u)
f (v) f (w)
para cada u, v, w I tales que u < v < w.

vw
wu

p : R R definida por p(x) = x2 .
Si u < v < w, en particular,
p(v) p(u) v 2 u2
w 2 u2
p(w) p(u)
=v+u<w+u=
=
,
vu
vu
wu
wu
de manera que p es convexa.
Proposici
f :IR
una funcion.
Si f es convexa, entonces f+0 (c) existe para cada c int I.
126
n:
Demostracio
Fijemos c int I y sea
: I R definida por (x) =
f (x) f (c)
.
xc
Si x, y I (c, +) son tales que x < y, c < x < y, de manera que, por el apartado (2)
del lema 7.4.2,
f (y) f (c)
f (x) f (c)
= (y).
(x) =
xc
yc
Luego, es creciente en I (c, +).
Como c int I, podemos fijar a I (, c). Luego, si x I (c, +), a < c < x, de
manera que, por el apartado (3) del lema 7.4.2,
(x) =
f (x) f (c)
f (c) f (a)
,
xc
ca
lo cual prueba que es inferiormente acotada en I (c, +).

Por la proposicion 6.2.8,
f+0 (c) = (c+)
existe, lo cual prueba el enunciado.//
Corolario 7.4.5 Sean a, b R y
f : (a, b) R
una funcion.
Si f es convexa, entonces f es continua.
n:
Demostracio
Sea x (a, b) = int (a, b). Por la proposicion 7.4.4 (y su analogo), f+0 (x) y f0 (x) existen,
de manera que las funciones f |[x,b) y f |(a,x] son derivables y, por tanto, continuas.
Esto prueba que f (x+) = f (x) = f (x) y el enunciado se sigue.//
El ejemplo a continuacion muestra que el corolario anterior o es valido si el intervalo abierto
se sustituye por uno cerrado.
f : [0, 1] R definida por f (0) = 1 yf (x) = x2 si x 6= 0.
Ya vimos que f |(0,1] es convexa. Ahora, si 0 < x < y 1,
1
1
f (y) f (0)
f (x) f (0)
=1 =1 =
,
x0
x
y
y0
lo cual prueba que f es convexa.
Sin embargo, f no es continua en 0.
127
Proposici
f :IR
una funcion derivable. Los enunciados a continuacion son equivalentes:
(1) f es convexa.
(2) La derivada f 0 : I R es creciente.
(3) Se verifica que f (x) f (a) + (x a)f 0 (a), para cada a, x I.
Geometricamente, (3) afirma que el grafico de f se sit
ua por encima de cualquiera de sus
tangentes.
n:
Demostracio
Supongamos (1) y sean a, b I tales que a < b.
Para cada x (a, b), por el lema 7.4.2, tenemos que
f (b) f (a)
f (x) f (b)
f (x) f (a)
.
xa
ba
xb
Luego, por el corolario 6.1.14,
f+0 (a)
f (b) f (a)
f0 (b),
ba
de manera que, como f es derivable,

f 0 (a) f 0 (b)
Supongamos (2) y sean a, x I.
Por el Teorema del Valor Medio de Lagrange, existe c entre a y x tal que
f 0 (c) =
f (x) f (a)
,
xa
o bien,
f (x) = f (a) + (x a)f 0 (c).
Si a < x, como f 0 es creciente, f 0 (c) f 0 (a). Ademas, x a 0, de manera que
f (x) f (a) + (x a)f 0 (a).
Si a > x, como f 0 es creciente, f 0 (c) f 0 (a). Ademas, x a 0, de manera que
f (x) f (a) + (x a)f 0 (a).
Luego, (2) se sigue y esto prueba que (2) (3).
128
Supongamos (3) y sea x, y I tales que x < y.

Por hipotesis,
f (x) f (y) + (x y)f 0 (y) (f (x) + (y x)f 0 (x)) + (x y)f 0 (y) = f (x) + (y x)(f 0 (x) f 0 (y)),
de manera que
0 (y x)(f 0 (x) f 0 (y)), o bien, f 0 (x) f 0 (y)
Supongamos (2) y sean u, v, w I tales que u < v < w.
Por el Teorema del Valor Medio de Lagrange, existen c (u, w) tal que
f 0 (c) =
f (w) f (u)
.
wu
Claramente, c < v o v < c.

Si c < v, por el Teorema del Valor Medio de Lagrange, existe d (v, w) tal que
f 0 (d) =
f (v) f (w)
.
vw
Como f 0 (d) f 0 (c) (pues f 0 es creciente), se sigue el apartado (3) del lema 7.4.2 y, por tanto,
que f es convexa.
Si v < c, por el Teorema del Valor Medio de Lagrange, existe d (u, v) tal que
f 0 (d) =
f (v) f (u)
.
vu
Como f 0 (d) f 0 (c) (pues f 0 es creciente), se sigue el apartado (2) del lema 7.4.2 y, por tanto,
que f es convexa.
Esto prueba que (2) (1).//
Corolario 7.4.8 Una funcion convexa alcanza un mnimo absoluto en cada uno de sus puntos
crticos.
f :IR
una funcion dos veces derivable (f 0 es derivable).
f es convexa si y solo si f 00 (x) 0 para cada x I.
129
7.5.
Ejercicios
Seccion 1: 1. Demuestre las afirmaciones del ejemplo 7.1.4.

2. Demuestre el apartado 3 de la proposicion 7.1.5.
3. Sean X R, a X X+0 X0 ,
f :XR
una funcion derivable en a y hxn inN e hxn inN dos sucesiones tales que lm xn =
lm yn = a.
f (xn ) f (yn )
(1) Si xn < a < yn para cada n N, pruebe que lm
= f 0 (a).
xn y n
(2) De un ejemplo para probar que si a < xn < yn para cada n N, en general,
f (xn ) f (yn )
lm
no existe.
xn y n
6. Sean I un intervalo, c I I 0 y
f :IR
Defnase que c es un punto crtico de f si f 0 (c) = 0.
Si c es un punto crtico de f y f 00 (c) := (f 0 )0 (c) 6= 0, pruebe que f posee un
maximo o un mnimo local en f .
7. Sean I un intervalo y
f :IR
Si hcn inN es una sucesion de puntos crticos de f , c = lm cn tambien es un punto
crtico y f 00 (c) existe, pruebe que f 00 (c) = 0.
130
3. Sean a, b, d R y
f : [a, b] R
una funcion tal que f (a) < d < f (b).
Si f es continua y convexa, pruebe que existe un u
nico c (a, b) tal que f (c) = d.
131
132
Captulo 8
La Integral de Riemann
8.1.
Definici
on y propiedades
A lo largo de esta seccion, siempre consideraremos que a, b R, con a < b, que

f, g : [a, b] R
son funciones acotadas y que
P = {p0 , , pn },
Q = {q0 , , qm }
satisfacen que
a = p0 < < pn = b y a = q0 < < qn = b,
es decir, que P y Q son particiones por intervalos de [a, b].
Claramente,
ba=
n
X
ti ti1 .
i=1
Ademas, utilizaremos las siguientes notaciones:

m(f ) = nf f ([a, b])
M (f ) = sup f ([a, b])
(f ) = M (f ) m(f )
m(f, P, i) = nf f ([pi1 , pi ])
M (f, P, i) = sup f ([pi1 , pi ])
(f, P, i) = M (f, P, i) m(f, P, i)
Definici
on 8.1.1
La suma inferior de f respecto a la particion por intervalos P es
s(f, P ) :=
n
X
(ti ti1 )m(f, P, i).
i=1
La suma superior de f respecto a la particion por intervalos P es

S(f, P ) :=
n
X
(ti ti1 )M (f, P, i).
i=1
Claramente, se verifica que

(b a)m(f ) s(f, P ) S(f, P ) (b a)M (f )
y que
S(f, P ) s(f, P ) =
n
X
(ti ti1 )(f, P, i).
i=1
Geometricamente, si f ([a, b]) [0, +), s(f, P ) y S(f, P ) son aproximaciones, por defecto
y por exceso, del area comprendida entre el grafico de f y las rectas y = 0, x = a y x = b.
135
Proposici
on 8.1.2 Si P Q, entonces s(f, P ) s(f, Q) y S(f, Q) S(f, P ).
n:
Demostracio
Supongamos inicialmente que existe r R tal que Q = P {r} y sea j tal que pj1 < r < pj .
Sean m = m(f, P, j), m1 = nf f ([pj1 , r]) y m2 = nf f ([r, pj ]). Claramente, m m1 ,
m m2 y pj pj1 = (pj r) + (r pj1 ).
Luego,
s(f, Q)s(f, P ) = m2 (pj r)+m1 (rpj1 )m(pj pj1 ) = (m2 m)(pj r)+(m1 m)(rpj1 ),
de manera que s(f, Q) s(f, P ) 0. El resultado general se demuestra extendiendo lo demostrado por induccion.
Analogamente, se prueba que S(f, Q) S(f, P ).//
Corolario 8.1.3 Para P y Q cualesquiera, s(f, P ) S(f, Q).
n:
Demostracio
Como P P Q y Q P Q, por la proposicion 8.1.2, se verifica que
s(f, P ) s(f, P Q) S(f, P Q) S(f, Q).
Definici
on 8.1.4 La integral inferior y la integral superior de f (entre a y b) son,
respectivamente,
Z b
on por intervalos de [a, b]}
f (x) dx := sup{s(f, P ) : P es una partici
a
y
Z
f (x) dx := nf{S(f, P ) : P es una partici

on por intervalos de [a, b]}.
a
Corolario 8.1.5 La integral inferior y la integral superior siempre existen y verifican que
Z b
Z b
(b a)m(f )
f (x) dx
f (x) dx (b a)M (f )
a
n:
Demostracio
En efecto, tomando supremo sobre las particiones por intervalos P de [a, b] en la desigualdad
del corolario 8.1.3, tenemos que
Z b
f (x) dx S(f, Q).
a
Tomando luego nfimo sobre las particiones por intervalos Q de [a, b], queda
Z b
Z b
f (x) dx
f (x) dx.
a

136
Ejemplo 8.1.6 Si f (x) = 1 para cada x Q y f (x) = 0 en caso contrario, entonces

m(f, P, i) = 0 y M (f, P, i) = 1 para cada P y cada i,
de manera que
s(f, P ) = 0 y S(f, P ) = b a para cada P.
Por tanto,
b
Z
f (x) dx = 0 y
f (x) dx = 1.
Definici
on 8.1.7 f es integrable si
Z b
Z
f (x) dx =
f (x) dx.
En caso afirmativo, la integral de f (entre a y b) es

Z b
Z b
f (x) dx.
f (x) dx :=
a
Geometricamente, si f ([a, b]) [0, +) y f es integrable, la integral de f es, por definicion,

el area comprendida entre el grafico de f y las rectas y = 0, x = a y x = b.
Ejemplo 8.1.8 Si f (x) = c para cada x [a, b], entonces
m(f, P, i) = c y M (f, P, i) = c para cada P y cada i,
de manera que
s(f, P ) = (b a)c = S(f, P ) para cada P.
Por tanto, f es integrable y
Z
f (x) dx = (b a)c.
a
Proposici
on 8.1.9 Los enunciados a continuacion son equivalentes:
(1) f es integrable.
(2) > 0 P, Q S(f, Q) s(f, P ) < .
(3) > 0 P S(f, P ) s(f, P ) < .
n:
Demostracio
Supongamos (1). Por definicion de supremo e nfimo, existen P y Q tales que
Z b
s(f, P ) >
f (x) dx
2
a
y
Z
S(f, Q) <
a
f (x) dx + .
2
Siendo f integrable, esto implica que

S(f, Q) s(f, P ) <
137

+ =
2 2

Supongamos (2). La proposicion 8.1.2 implica que
S(f, P Q) s(f, P Q) S(f, Q) s(f, P ) < ,
de manera que (3) se sigue. Esto prueba que (2) (3).
Supongamos (3) y sea > 0 arbitrario.
Por hipotesis, existe P tal que S(f, P ) s(f, P ) < .
Ahora, como
b
Z
f (x) dx S(f, P ) y
f (x) dx s(f, P ),
a
tenemos que
Z
Z
f (x) dx
f (x) dx S(f, P ) s(f, P ) <

Ejemplo 8.1.10 Si f (x) = c para cada x (a, b), entonces
Z
f (x) dx = (b a)c,
a
independientemente del valor de f (a) y f (b).

Lema 8.1.11 Para cada Q,
b
f (x) dx = sup{s(f, P ) : P es una partici

on por intervalos de [a, b] y P Q}
a
y
Z
f (x) dx = nf{S(f, P ) : P es una partici

on por intervalos de [a, b] y P Q}.
a

Proposici
on 8.1.12 Sea c (a, b). f es integrable si y solo si f |[a,c] y f |[c,b] son integrables.
En caso afirmativo,
Z
Z
f (x) dx =
Z
f (x) dx +
f (x) dx,
c
donde las integrales del miembro derecho se definen de la manera obvia.

138
n:
Demostracio
Sean A y B los conjuntos de las sumas inferiores de f |[a,c] y f |[c,b] , respectivamente.
Claramente, A + B es el conjunto de las sumas inferiores de f respecto a las particiones de
intervalos que contienen a c, de manera que, por el lema 8.1.11,
Z b
f (x) dx.
sup A + B =
a
Por otro lado,

sup A + B = sup A + sup B
(confronte los ejercicios de la seccion 3.1), de manera que
Z b
Z c
Z b
f (x) dx =
f (x) dx +
f (x) dx
a
y vale el resultado analogo para integrales superiores.

Luego,
Z c
Z b

Z b
Z c
Z b
Z b
f (x) dx =
f (x) dx +
f (x) dx ,
f (x) dx
f (x) dx
f (x) dx
a
donde los sumandos del miembro derecho son no negativos.

Por tanto, f es integrable si y solo si f |[a,c] y f |[c,b] lo son y en caso afirmativo, vale la
igualdad para integrales.//
Ejemplo 8.1.13 Una funcion escalonada es una funcion f tal que existe P y n
umeros reales
c1 , , cn que verifican que f (x) = ci si ti1 < x < ti .
Z
f (x) dx =
a
n
X
(ti ti1 )ci .
i=1

Proposici
on 8.1.14 Si f y g son integrables y , R, entonces
Z b
Z b
Z b
(f (x) + g(x)) dx =
f (x) dx +
g(x) dx.
a
Proposici
on 8.1.15 Si f y g son integrables y f (x) g(x) para cada x [a, b], entonces
Z b
Z b
f (x) dx
g(x) dx.
a
Corolario 8.1.16 Si f es integrable, entonces

Z b
Z b

f
(x)
dx
|f (x)| dx.

a
Corolario 8.1.17 Si f es integrable y existe c R tal que f ([a, b]) [c, c], entonces
Z b

f (x) dx (b a)c.

a
Las cuatro demostraciones quedaran como ejercicio.

139
8.2.
El Teorema de Riemann-Lebesgue
Definici
on 8.2.1 Sea X R.
X tiene medida nula si para todo > 0, X posee un recubrimiento de la forma
F = {(an , bn ) : n N an < bn }
tal que
X
(bn an ) < .
nN
Ejemplo 8.2.2 Sea X un conjunto numerable. Entonces existe una funcion sobreyectiva
f : N X.
La familia
o

:
n
N
,
f
(n)
+
2n+2
2n+2
es claramente un recubrimiento de X. Ademas,
X

X
f (n) + n+2 f (n) n+2
= < .
=
n+1
2
2
2
2
nN
nN
F=
n
f (n)
Luego, X tiene medida nula.

Ejemplo 8.2.3 El conjunto de Cantor tiene medida nula.
Teorema 8.2.4 (Riemann-Lebesgue) Sean a, b R tales que a < b y
f : [a, b] R
una funcion acotada.
Si el conjunto
D := {x [a, b] : f es discontinua en x}
tiene medida nula, entonces f es integrable.
De hecho, el Teorema de Riemann-Lebesgue afirma tambien el recproco, pero no lo probaremos.
n:
Demostracio
Sea > 0.
Como D tiene medida nula, existen intervalos abiertos I1 = (a1 , b1 ), tales que
D
[
kN
Ik y
(bk ak ) <
kN
140
.
2(f )
Sea x [a, b] D. Como f es continua en x, existe x > 0 tal que

|f (y) f (x)| <
si |y x| < .
4(b a)
Sea Jx = (x x , x + x ), para cada x [a, b] D.

Claramente,
!
[a, b]
Ik
kN
Jx
x[a,b]D
y como [a, b] es compacto, existen k1 , , kn y x1 , , xm tales que que

!
!
n
m
[
[
[a, b]
Iki
Jxi .
i=1
i=1
Sea P la particion por intervalos de [a, b] formada por a, b y los extremos de los m + n
intervalos definido arriba que pertenecen a [a, b].
Sean A el conjunto de los subndices i tales que [ti1 , ti ] este contenido en alg
un Ik y
B = Nn A, de manera que [ti1 , ti ] esta incluidos en alg
un Jk si i B. As,
X
y (f, P, i) <
para cada i B.
(ti ti1 ) <
2(f
)
2(b
a)
iA
Luego, como
S(f, P ) s(f, P ) =
(ti ti1 )(f, P, i) +
iA
se sigue que
S(f, P ) s(f, P ) <
(ti ti1 )(f, P, i),
iB
(f ) + (b a)
= .
2(f )
2(b a)

Corolario 8.2.5 Sean a, b R tales que a < b y
f : [a, b] R
una funcion.
Si f es continua, entonces f es integrable.
Corolario 8.2.6 Sean a, b R tales que a < b y
f, g : [a, b] R
dos funciones acotadas.
1. Si f y g son integrables, entonces f g es integrable.
2. Si f y g son integrables y existe c > 0 tal que g([a, b]) [c, +), entonces
Las demostraciones de estos corolarios quedaran como ejercicio.
141
f
es integrable.
g
8.3.
El Teorema Fundamental del C

alculo
Usaremos como convenio de notacion que

Z a
f (x) dx = 0
a
y que
a
Z
f (x) dx =
f (x) dx
a
si la integral del miembro derecho existe.

Es facil verificar que la proposicion 8.1.12 se verifica tambien con este convenio.
Teorema 8.3.1 (Fundamental del C
alculo) Sean I un intervalo y
f, F : I R
dos funciones. Si f es continua, los enunciados a continuacion son equivalentes:
Z x
(1) Existe a I tal que F (x) = F (a) +
f (t) dt para cada x I.
a
(2) F 0 (x) = f (x) para cada x I.

Por definicion, (1) afirma que F es una integral indefinida de f y (2) afirma que F es
una primitiva de f .
n:
Demostracio
Supongamos (1) y sean b, x I.
Como
Z
Z
f (t) dt F (a)
F (x) F (b) = F (a) +

a
f (t) dt
f (t) dt =
b
f (b) dt = (x b) f (b),
b
tenemos que
Z x
F (x) F (b)
1
(f (t) f (b)) dt.
f (b) =
xb
xb b
Sea > 0. Como f es continua en b, existe > 0 tal que
|f (t) f (b)| < si |t b| < .
Ahora, si t I y 0 < |t b| < ,

Z

F (x) F (b)

1 x
1

<
f
(b)
|f
(t)
f
(b)|
dt
|x b| = .

xb
|x b| b
|x b|
Luego,
F (x) F (b)
= f (b)
xb
xb
lm
142

Supongamos (2) y fijemos a I.
Sea
Z
: I R definida por (x) =
f (t) dt.
a
Como (a) = 0, satisface (1) y, por tanto, 0 = f .

Luego, por el corolario 7.3.6, existe c R tal que
F (x) = c + (x) para cada x I.
Evaluando esta identidad en x = a, obtenemos que c = F (a) y (2) se sigue. Esto prueba
que (2) (1).//
Debido al Teorema Fundamental del Calculo, la determinacion de una integral de una
funcion continua se reduce a la b
usqueda de una primitiva de esta funcion.
Corolario 8.3.2 (Sustituci
on) Sean a, b, c, d R,
f : [a, c] R
continua y
u : [c, d] [a, b]
tal que u0 sea continua.
Z
u(d)
f (u(x)) u (x) dx =
f (t) dt.
u(c)
n:
Demostracio
Como f es continua, posee, por el Teorema Fundamental de Calculo, una primitiva F
(digamos) tal que
Z u(d)
f (t) dt = F (u(c)) F (u(d)).
u(c)
Por otro lado, la Regla de la Cadena tenemos que

(F u)0 (t) = F 0 (u(t)) u0 (t) = f (u(t)) u0 (t) para cada t [c, d],
de manera que F u es una primitiva de la funcion continua (f u) u0 . Por el Teorema
Fundamental del Calculo,
Z
f (u(x)) u0 (x) dx = F (u(d)) F (u(c)).

143
Corolario 8.3.3 (Integraci

on por Partes) Sean a, b R y
u, v : [a, b] R
dos funciones con derivadas continuas.
Z b
Z b
0
u(x) v (x) dx = (u v)(b) (u v)(a)
v(x) u0 (x) dx.
a
Teorema 8.3.4 (Valor Medio para Integrales) Sean a, b R,

f : [a, b] R
una funcion continua y
: [a, b] [0, +)
una funcion integrable.
En estas condiciones, existe c [a, b] tal que
Z
Z
f (x)(x) dx = f (c)
(x) dx.
a
Corolario 8.3.5 Sean a, b R y

f : [a, b] R
En estas condiciones, existe c [a, b] tal que
Z
f (x) dx = f (c) (b a).

a
144
8.4.
Funciones analticas
Proposici
on 8.4.1 Sean han inN{0} una sucesion y
+
X
ak x k ,
k=0
donde r > 0 es el radio de convergencia de la serie.

Si [, ] (r, r), entonces
Z
+
X
ak
f (x) dx =
( k+1 k+1 ).
k
+
1
k=0
n:
Demostracio
Sea > 0.
Para simplificar la notacion, sea
fn : (r, r) R definida por fn (x) =
n
X
ak x k ,
k=0
para cada n N {0}.

Con esta notacion, la proposicion 4.4.4 afirma que existe n0 N {0} tal que si n > n0 y
x [, ] [ max{, }, max{, }], entonces
|fn (x) f (x)| <
.
2(b a)
Como f es integrable (pues, por el corolario 6.3.10, es continua), tenemos que

Z

Z

Z

f (x) dx
fn (x) dx =
(f (x) fn (x)) dx

|f (x) fn (x)| dx
(b a)
= < .
2(b a)
2
Esto es,
Z
f (x) dx = lm
n
+
X
X
ak
ak
k+1
k+1
fn (x) dx = lm
(
)=
( k+1 k+1 ).
k
+
1
k
+
1
k=0
k=0

Corolario 8.4.2 Sean han inN{0} una sucesion y
+
X
k=0
145
ak x k ,

0
f (x) =
+
X
(k + 1)ak+1 xk para cada x (r, r).
k=0
La n-esima derivada de una funcion f se define recursivamente por

f (0) (x) = f (x)
f (n) (x) = (f (n1) )0 (x)
siempre que los miembros derechos tengan sentido.
Corolario 8.4.3 Sean han inN{0} una sucesion y
+
X
ak x k ,
k=0

ak =
f (k) (x)
para cada k N.
k!
Corolario 8.4.4 Sean

+
X
ak x y
k=0
+
X
bk x k
k=0
series de potencias y sea r el menor radio de convergencia de estas.

Si existe X (r, r) tal que 0 X 0 y tal que
+
X
ak x =
k=0
+
X
bk xk para cada x X,
k=0
entonces ak = bk para cada k N.

Ejemplo 8.4.5 Si consideramos sen y cos como funciones de R en R, entonces sen0 = cos y
cos0 = sen.
Ademas, se verifica que
sen2 x + cos2 x = 1, | sen x| 1 y | cos x| 1 para cada x R.
146
Ejemplo 8.4.6 Para cada x R, se verifican las igualdades

sen(x + y) = sen x cos y + cos x sen y
y
cos(x + y) = cos x cos y sen x sen y.
En efecto, si fijamos y R y definimos
f, g : R R
por
f (x) = sen x cos y + cos x sen y sen(x + y)
y
g(x) = cos x cos y sen x sen y cos(x + y),
se verifica que f 0 = g y g 0 = f .
Luego, (f 2 + g 2 )0 = 2f f 0 + 2gg 0 = 2f g + 2g(f ) = 0, de manera que existe c R tal que
f 2 (x) + g 2 (x) = c para cada x R.
Como f (0) = g(0) = 0 (es inmediato verificar que sen 0 = 0 y que cos 0 = 1),
f (x) = g(x) = 0 para cada x R,
lo cual prueba la afirmacion.
Ejemplo 8.4.7 Existe x (0, +) tal que cos x = 0. En efecto:
Supongamos que no. Como cos x = 1 y cos es continua, esto implica que cos x > 0 para
cada x (0, +), de manera que sen es estrictamente creciente en (0, +). En particular,
como sen 0 = 0, sen x > 0 para cada x [0, +).
As, si x (0, +),
sen x < sen 2x = 2 sen x cos x,
de manera que
1
cos x > .
2
Por el Teorema del Valor Medio de Lagrange, existe c (0, 2) tal que
cos c =
sen 2
sen 2 sen 0
=
,
2
2
lo cual es absurdo pues implicara que sen 2 > 1.

Como vimos X := {x (0, +) : cos x = 0} es no vaco. Claramente X no es acotado, de
manera que posee nfimo. Definimos = 2nf X.
147
8.5.
Logaritmos y exponenciales
Definici
on 8.5.1 El logaritmo natural es la funcion
log : R+ R
definida por
Z
log x =
1
1
dt.
t
Es claro que log 1 = 0 y que log es derivable, ya que

log0 (x) =
1
para cada x R+ .
x
Dejaremos la mayora de las demostraciones como ejercicio, ya que son aplicaciones directas
de los resultados de la seccion 8.3.
Proposici
on 8.5.2 Si x, y R+ , entonces log(xy) = log x + log y.
Corolario 8.5.3 Si x R+ y r Q, entonces log(xr ) = r log x.
Corolario 8.5.4 log es biyectiva.
Definici
on 8.5.5 La funci
on exponencial exp : R R+ es la inversa de la funcion log.
Proposici
on 8.5.6
1. exp es biyectiva.
2. exp0 = exp.
3. exp es creciente y convexa.
4. Si x, y R, entonces exp(x + y) = exp(x) exp(y)
5. Si r Q, entonces exp(r) = (exp(1))r .
Ejemplo 8.5.7 exp(1) = e. En efecto:
La funcion
f : (1, +) R definida por f (x) = log(1 + x)
cumple que
f 0 (x) =
1
para cada x (1, +),
1+x
de manera que

lm log (1 + x)
x0
1
x
= lm
x0
log(1 + x)
f (x) f (0)
= lm
= f 0 (0) = 1.
x0
x
x0
Por lo tanto,

1
1
1
lm (1 + x) x = lm exp log (1 + x) x
= exp lm log (1 + x) x
= exp(1).
x0
x0
x0

n
1
= e (confronte el ejemplo 4.3.5).
Luego, basta recordar que lm 1 +
n
148
Como consecuencia inmediata, log e = 1.

Definici
on 8.5.8
Si a (0, +) y x R, ax := exp(x log a).
Si b (0, 1) (1, +) y x R+ , logb x =
log x
.
log b
Las exponenciales y los logaritmos as definidos cumplen todas las propiedades conocidas
para cada a (0, 1) (1, +).
E1.
E2.
E3.
E4.
E5.
x > 0 aloga x = x
ax+y = ax ay
(ax )y = axy
x < y a > 1 ax < ay
x < y a < 1 ax > ay
L1.
L2.
L3.
L4.
L5.
loga ax = x
xy > 0 loga (xy) = loga x + loga y
x, y > 0 loga xy = y loga x
x < y a > 1 loga x < loga y
x < y a < 1 loga x > loga y
La demostracion de estas propiedades quedara como ejercicio.
149
8.6.
Ejercicios

8. La proposicion 8.1.14, es cierta si se sustituye la integral por la integral inferior?
4. Sean a, b R tales que a < b y
f : [a, b] R
una funcion.
Si f es monotona, pruebe que f es integrable.
5. Pruebe que ning
un intervalo con al menos dos elementos tiene medida nula.
6. Sean a, b R tales que a < b, X [a, b] un conjunto cerrado de medida nula y
f : [a, b] R definida por f (x) = 1 si x X y f (x) = 0 en caso contrario.
Pruebe que f es integrable y calcule su integral.
Seccion 3: 1. Sean I un intervalo, a I y
f, : I R
dos funciones.
Si f es acotada y
f (x) dx para cada x I,
(x) =
a
pruebe que f es lipschitziana.

De un ejemplo para probar que, en general, no es derivable.
3. Demuestre el teorema 8.3.4.
150

5. Calcule sen x y cos x si x = , x = , x = y x = 2.

4
2
6. Pruebe que las funciones trigonometricas son periodicas.
5. Demuestre las propiedades E1 - E5.
6. Demuestre las propiedades L1 - L5.
7. Calcule lm ex y lm ex .
x+
8. Pruebe que exp es una funcion analtica.
151
152
Bibliografa
[1] Dugundji, James, Topology, 10. ed., Allyn and Bacon, Boston, 1975
[2] Lima, Elon Lages, Analise real I volume 1, 8. ed., IMPA, Rio de Janeiro, 2006
[3] Lima, Elon Lages, Curso de analise volume 1, 11. ed., IMPA, Rio de Janeiro, 2004
153

Análisis Real - Dennis A. Redtwitz PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Análisis Real - Dennis A. Redtwitz PDF

Cargado por

Copyright:

Formatos disponibles

lisis Real

Ya que x A x A, siempre se verifica que A A.

Si A y B son conjuntos, la intersecci

Dados dos elementos a y b, podemos definir el par ordenado a b como

En general, una familia indizada es un conjunto de la forma

Dada una familia

A es el conjunto de los elementos que pertenecen a cada A de la familia, mien-

An = , ya que para cada m N tenemos que m

manera que ning

An = para denotar este conjunto.

An = N, ya que todo elemento de la gran union es claramente un n

2. Si 0 L es tal que L A0 A , entonces A0

3. Si 0 L es tal que L A0 A , entonces

0 L, tenemos que x A0 . El apartado se sigue.

3. Este apartado es consecuencia inmediata de los dos anteriores.

Sea M arbitrario pero fijo.

A arbitrario pero fijo. Por definicion de interseccion, x

A , y por definicion de gran interseccion, L x M y M x M .

Sea L M arbitrario pero fijo. Por definicion\

La proposicion anterior tambien es valida para las operaciones generalizadas.

Para probar la inclusion inversa, sea y f

A arbitrario pero fijo. Por definicion de

A y = f (x). Por definicion de union, 0 L x A0 , de manera que

f [A ]. Esto prueba la inclusion inversa.//

Ya vimos que la funcion f : R+ {0} R definida por f (x) = x es una inversa a la

Ejemplo 1.2.41 Sean A = {3, 2, 1, 1, 2, 3}, B = {1, 2, 3}, F = {(x, y) AB : x2 = y 2 }

1R 2 (pues 1 2 Qc ) y 2R0 (pues 2 0 = 2 Qc ), pero (1R0) (pues

Ejemplo 1.3.7 Sea la relacion de equivalencia del ejemplo 1.3.3. Si n Z, x n

Ejemplo 1.3.11 Sea la relacion del ejemplo 1.3.3.

/ P, los miembros de P son dos a dos disjuntos y

Seccion 1: 1. Demuestre las propiedades de la tabla en la seccion 1.1.2.

X1 , X2 P(A) y f [X1 ] f [X2 ], entonces X1 X2 .

8. Pruebe que si f : A B es una funcion y X A, entonces X f 1 [f [X]]. Es

Seccion 3: 1. Si R es una relacion binaria en A, definamos la clase lateral derecha de a A

3. Sean A un conjunto no vaco y P una particion de A. Pruebe que la relacion

Definiremos los conceptos de finitud y numerabilidad en funcion de los n

Para ejemplificar, probaremos la asociatividad de la suma:

Si k X, (n+m)+s(k) = s((n+m)+k) = s(n+(m+k)) = n+s(m+k) = n+(m+s(k)),

: Nk Na definida por (x)

tambien es sobreyectiva, de manera que es suficiente probar que N N es numerable. En efecto:

Seccion 1: 1. Demuestre que no existen n

Si L es infinito y cada A posee por lo menos dos elementos, pruebe que

Ejemplo 3.1.2 Sean 0 y 1 el conjunto de los n

Funciones reales de variable real

(a, b) := {x R : a < x < b}

Teorema 3.3.5 (Intervalos Encajados, Cantor) Sea

y el enunciado queda probado.//

Corolario 3.3.7 Ning

Como el conjunto {k N : k < b n} es claramente acotado, posee maximo k0 (confronte los

pero, por definicion de maximo,

Las propiedades V 12 V 13 reciben el nombre de Desigualdad Triangular.

Seccion 1: 1. Demuestre las propiedades K1 - K3.

10. Sea n N. Demuestre que n Q si y solo si n N.

11. Sean a, b Q. Demuestre que a + b Q si y solo si a Q y b Q.

4. Demuestre el corolario 3.3.7.

Por definicion de supremo, existe n N tal que

lo cual es una contradiccion.

a (lo cual prueba la existencia de la raz cuadrada de cualquier n

Por definicion de convergencia, existen n1 , n2 N tales que

(confronte los ejercicios de la seccion 3.4).

Ejemplo 4.1.15 La sucesion hxn = (1)n inN no converge, pues

|yn | < si n > n0 ,

Esto prueba el enunciado.//