Analisis Real

An
alisis Real
M.Sc. Dennis A. Redtwitz
FaCEN - UNA
Indice general
1. Teora de Conjuntos 5
1.1. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1. Denicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.2. Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.3. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.1. Denicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.2. Familias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.3. Operaciones grandes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.4. Imagenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.5. Preimagenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.6. Composiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.7. Inyectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.8. Sobreyectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.9. Biyectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.10. Funciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.11. Inversas a la izquierda . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.12. Inversas a la derecha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.13. Inversas bilaterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.3. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2. Finitud y numerabilidad 29
2.1. N umeros naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2. Finitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3. Numerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3. N umeros Reales 41
3.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2. Funciones reales de variable real . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3. Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.4. Valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4. Sucesiones 53
4.1. Denici on y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.2. Lmites innitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3. Series numericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.4. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5. La topologa de R 71
5.1. Puntos interiores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2. Puntos de clausura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3. Puntos de frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.4. Puntos de acumulaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5.5. Compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6. Noci on de lmite 89
6.2. Lmites laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.3. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6.4. Funciones continuas en un intervalo . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.5. Funciones continuas en un conjunto compacto . . . . . . . . . . . . . . . . . . . 105
6.6. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
7. Derivadas 113
7.2. Derivadas laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
7.3. Funciones derivables en un intervalo . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.4. Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
7.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
8. La Integral de Riemann 133
8.2. El Teorema de Riemann-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . 140
8.3. El Teorema Fundamental del Calculo . . . . . . . . . . . . . . . . . . . . . . . . 142
8.4. Funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
8.5. Logaritmos y exponenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
8.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
Referencias bibliogracas 153
4
Captulo 1
Teora de Conjuntos
1.1. Conjuntos
1.1.1. Denici 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 denici on valida de la palabra conjunto, al menos no en el
sentido matem atico, sera suciente para nuestros prop ositos, siempre y mientras que especi-
quemos 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 denir 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 especica un conjunto. Si R estuviese bien denido,
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 contra-
dicciones.
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 s olo si B = A.
A est a 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 s olo si
x (x A x B).
Una notacion alternativa es B A.
7
Ya que x A x A, siempre se verica 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 s olo si A B y B A. Si A B pero A ,= B, diremos que
A est a propiamente incluido en B (o A es una parte propia de B o A es un subconjunto pro-
pio 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 especicar que la inclusion es propia.
Dado cualquier conjunto U, se puede formar el conjunto V = x U : x ,= x. Ya que
x ,= 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 unico conjunto sin elementos, al que llamaremos conjunto vaco. Lo deno-
taremos con .
Si el superconjunto U se sobreentiende, podemos escribir A
c
para denotar el conjunto
x U : x / A,
el complemento de A. Es claro que (A
c
)
c
= A.
Ejemplo 1.1.3 La notacion de complemento puede llevar a confusiones. Por ejemplo, si
A = 1, 2, 3,
A
c
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 union 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
Si A y B son disjuntos, es decir, si AB = , la union puede denotarse con A
B para indicar
que se trata de una uni on 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 simetrica 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 AB. Formalmente,
AB = (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 2
A
. Tambien es llamado conjunto potencia de
A. Formalmente,
x P(A) x A.
La siguiente tabla engloba algunas de las propiedades m as importantes de estas operaciones.
I1. A A = A D1. A A =
I2. A = D2. A = A
I3. A U = A D3. A U = A y U A = A
c
I4. A A
c
= D2. A A
c
= A y A
c
A = A
c
I5. A B = B A D5. A B = A B
c
I6. A (B C) = (A B) C D6. (A B) C = A (B C)
I7. A B A B = A D7. A (B C) = (A B) (A C)
I8. A B A C A B C D8. A B A B =
U1. A A = A S1. AA =
U2. A = A S2. A = A
U3. A U = U S3. AU = A
c
U4. A A
c
= U S4. AA
c
= U
U5. A B = B A S5. AB = BA
U6. A (B C) = (A B) C S6. A(BC) = (AB)C
U7. A B A B = B S7. AB = AC B = C
U8. A C B C A B C S8. AB = A = B
U9. A B = A
(B A) S9. AB = (A B)

(B A)
IU1. A (B C) = (A B) (A C) P1. P() =
IU2. A (B C) = (A B) (A C) P2. A B P(A) P(B)
IU3. (A B)
c
= A
c
B
c
P3. P(A B) P(A) P(B)
IU4. (A B)
c
= A
c
B
c
P4. P(A) P(B) P(A B)
La mayora de estas propiedades, las identidades, son f aciles de demostrar si las concebimos
como proposiciones l ogicas compuestas por las proposiciones at omicas x A, x B, etc.
Por ejemplo, la propiedad IU2 es claramente equivalente a la proposici on
x (x A (B C) x (A B) (A C)).
La tabla de verdad a continuaci on la demuestra:
9
x A x B x C x B C x A (B C) x A B x A C x (A B) (A C)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F
Para ahorrar espacio, podemos usar tambien una tabla de pertenencia como la que pre-
sentamos a continuaci on:
A B C B C A (B C) A B A C (A B) (A C)

/ /
/ /
/ / /
/
/ / / / / /
/ / / / / /
/ / / / / / / /
Aunque es posible utilizar estas tablas para probar propiedades como I7, puede resultar
m as f acil sin ellas.
Proposicion 1.1.4 A, B (A B A B = A)
Demostraci
on:
Supongamos que A B. Si x AB, 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 conclusi on, A B = A, y la implicaci on de
izquierda a derecha queda probada.
Supongamos ahora que AB = A. Si x A, como AB = A, x AB 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 denir el par ordenado a b como
(a, b) := a, a, b.
Lema 1.1.5 a, b, c (a = b, c a = b = c)
Proposicion 1.1.6 a, b, c, d ((a, b) = (c, d) a = c b = d)
Demostraci
on:
Sean a, b, c y d elementos arbitrarios pero jos 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 = aa, 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 continuaci on queda como ejercicio.
C1. A B = A = B =
C2. A B = C D ,= A = C B = D
C3. A C B D A B C D
C4. (A B) C = (A C) (B C)
C5. (A B) C = (A C) (B C)
C6. (A B) C = (A C) (B C)
C7. (A B) (C D) = (A C) (B D)
C8. (A B) (C D) = (A C) (A D) (B C) (B D)
11
1.2. Funciones
1.2.1. Denici on y ejemplos
Denici on 1.2.1 Sean A, B y F conjuntos no vacos. Decimos que f = (A, B, F) es una
funcion (o aplicacion) de A en B si F A B es una relacion entre A y B y se verican
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 armativo, 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 graca de f, que denotaremos con G(f).
Bien entendido, las dos condiciones de la denicion expresan que para cada elemento x del
dominio debe haber un unico elemento y del codominio tal que (x, y) F. A este unico 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 funci on de A en B, utilizaremos la notaci on f : A B (usa-
mos la echa para las implicaciones). Similarmente, para expresar que f(x) = y, tambien
podemos escribir f : x y.
Establecer funciones mediante la denici on puede resultar algo inc omodo. Por ejemplo, si
queremos establecer f como la funci on de Z en N que a cada n umero entero le asigna su cuadra-
do, debemos establecer previamente la gr aca 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 denir f es escribir:
f : Z N
x x
2
.
Menos formal, pero m as utilizado, es sea f : Z N la funcion denida por f(x) = x
2
.
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 pr acticas, 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 = A
1
, A
2
, A
3
, , donde A
n
= n, n + 1, n + 2, .
Bien entendido, A es una funci on que asigna un conjunto a cada n umero natural. Cuando
se indizan conjuntos, es com un escribir A
n
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 funci on 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 con-
siderar la funci on
A : F F denida por A
= .
Es claro que
F = : F = A
: F.
Por este motivo, s olo trabajaremos con familias indizadas a partir de ahora.
1.2.3. Operaciones grandes
Dada una familia
F = A
: L
podemos denir la gran interseccion y la gran uni on, respectivamente, de la siguiente
manera:
L
A
:= x : L x A
y
_
L
A
:= x : L x A
Es decir,
L
A
es el conjunto de los elementos que pertenecen a cada A
de la familia, mien-
tras que
_
L
A
es el conjunto de los elementos que pertenecen a (por lo menos) un A
de la
familia.
Ejemplo 1.2.2 Sea
F = A
n
: n N, donde A
n
= n, n + 1, n + 2.
nN
A
n
= , ya que para cada m N tenemos que m / A
m+1
= m + 1, m + 2, m + 3, de
manera que ning un m pertenece a todos los A
n
.
Es com un escribir
n1
A
n
= o
n=1
A
n
= para denotar este conjunto.
_
nN
A
n
= N, ya que todo elemento de la gran union es claramente un n umero natural y, por
otro lado, para cada m N tenemos que m A
m
= m, m+1, m+2, de manera que cada m
pertenece a alg un A
n
.
Proposicion 1.2.3 Sea F = A
: L M una familia arbitraria.

1. Si
0
L, entonces
L
A
0
.
13
2. Si
0
L es tal que L A
0
A
, entonces A
L
A
.
3. Si
0
L es tal que L A
0
A
, entonces
L
A
= A
0
.
4. Si M L, entonces
L
A
M
A
.
5.
LM
A
L
A
M
A
Demostraci
on:
1. Sea x
L
A
arbitrario pero jo. Por denici on, L x A
. Como, en particular,
0
L, tenemos que x A
0
. El apartado se sigue.
2. Sean x A
0
y L arbitrarios pero jos. Como x A
0
A
, tenemos que x A
.
Siendo L arbitrario, esto prueba que x
L
A
3. Este apartado es consecuencia inmediata de los dos anteriores.
4. Sea x
L
A
arbitrario pero jo. Por denici on, L x A
.
Sea M arbitrario pero jo. Como M L, tenemos que L, lo que implica que
x A
. Esto prueba que x
M
A
5. Como L y M son subconjuntos de L M, dos aplicaciones del apartado anterior revelan
que
LM
A
L
A
y que
LM
A
M
A
. Luego, por la monotona de la inclusi on

(I8),
LM
A
L
A
M
A
, y s olo nos resta probar la inclusi on inversa.

Sea x
L
A
M
A
arbitrario pero jo. Por denicion de intersecci on, x
L
A
y
x
M
A
, y por denicion de gran interseccion, L x M y M x M.

Sea L M arbitrario pero jo. Por denici on de uni on, L o M, y en ambos
casos tenemos que x A
. Esto prueba que x
LM
A
. La inclusi on restante se sigue.

//
Enunciar y demostrar la proposici on an aloga para la gran union quedar a como ejercicio.
La proposicion a continuacion formaliza la extensi on de las Leyes de DeMorgan a las ope-
raciones grandes. Dejaremos la demostraci on como ejercicio.
Proposicion 1.2.4 Sea F = A
: L una familia arbitraria.

1.
_
L
A
_
c
=
_
L
A
c
2.
_
_
L
A
_
c
=
L
A
c
14
1.2.4. Imagenes
Denici 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 denida 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.
Proposicion 1.2.7 Sea f : A B una funcion.
1. f[] =
2. X P(A) (f[X] = X = )
3. X
1
, X
2
P(A) (X
1
X
2
f[X
1
] f[X
2
])
Demostraci
on:
1. Supongamos que y f[]. Por denici on 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 denici on de imagen, esto implica que f(x) f[X] = , lo
cual es absurdo. Por tanto, X = .
3. Sea y f[X
1
] arbitrario pero jo. Por denicion de imagen, x X
1
y = f(x). Como X
1

X
2
, x X
2
, de manera que y = f(x) f[X
2
]. Hemos probado que y f[X
1
] y f[X
2
], la
denici on de f[X
1
] f[X
2
].
//
Para las operaciones entre conjuntos, tenemos las siguientes propiedades para las imagenes:
1. X
1
, X
2
P(A) f[X
1
X
2
] f[X
1
] f[X
2
]
2. X
1
, X
2
P(A) f[X
1
] f[X
2
] f[X
1
X
2
]
3. X
1
, X
2
P(A) f[X
1
X
2
] = f[X
1
] f[X
2
]
Demostraci
on:
1. Como X
1
X
2
X
1
y X
1
X
2
X
2
, por la proposicion 1.2.7, f[X
1
X
2
] f[X
1
] y
f[X
1
X
2
] f[X
2
]. Luego, f[X
1
X
2
] f[X
1
] f[X
2
].
2. Sea y f[X
1
] f[X
2
] arbitrario pero jo. Como y f[X
1
], x X
1
y = f(x). Como
f(x) = y / f[X
2
], x / X
2
. Por tanto, x X
1
X
2
, de manera que y = f(x) f[X
1
X
2
].
Esto prueba que f[X
1
] f[X
2
] f[X
1
X
2
].
3. Como X
1
X
1
X
2
y X
2
X
1
X
2
, por la proposicion 1.2.7, f[X
1
] f[X
1
X
2
] y
f[X
2
] f[X
1
X
2
]. Luego, f[X
1
] f[X
2
] f[X
1
X
2
].
Para probar la inclusion inversa, sea y f[X
1
X
2
] arbitrario pero jo. Por denicion de
imagen, x X
1
X
2
y = f(x). Si x X
1
, y = f(x) f[X
1
] f[X
1
] f[X
2
], y si x X
2
,
y = f(x) f[X
2
] f[X
1
] f[X
2
]. En ambos casos, queda probado que y f[X
1
] f[X
2
].
Esto prueba que f[X
1
X
2
] f[X
1
] f[X
2
].
La igualdad se sigue de la doble inclusion.
//
15
La proposicion anterior tambien es v alida para las operaciones generalizadas.
Proposicion 1.2.9 Sea f : A B una funcion, F = A
: L P(A).
1. f
_
L
A
L
f[A
]
2. f
_
_
L
A
_
=
_
L
f[A
]
Demostraci
on:
1. Como, por la proposici on 1.2.3, tenemos que
0
L
L
A
0
, la proposici on 1.2.7
implica que L f
_
L
A
_
f[A
0
]. De nuevo por la proposicion 1.2.3, esto implica
que f
_
L
A
L
fA
, lo cual prueba el apartado.

2. Como, por una proposicion analoga a la proposicion 1.2.3,
0
L A
0

_
L
A
, la propo-
sici on 1.2.7 implica que L f[A
0
] f
_
_
L
A
_
. De nuevo por la proposici on analoga a
la proposicion 1.2.3, esto implica que
_
L
f[A
] f
_
_
L
A
_
, lo cual prueba una inclusi on
del apartado.
Para probar la inclusi on inversa, sea y f
_
_
L
A
_
arbitrario pero jo. Por denici on de
imagen, x
_
L
A
y = f(x). Por denici on de uni on,

0
L x A
0
, de manera que
y = f(x) f[A
0
]
_
L
f[A
]. Esto prueba la inclusion inversa.

//
1.2.5. Preimagenes
Denici 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 denida por f(x) = x
2
. La preimagen de Y =
1, 2, 4 es f
1
[Y ] = x N : f(x) Y = x : x
2
1, 2, 4 = 1, 1, 2, 2.
A continuaci on, enunciamos las propiedades que poseen las preim agenes de una funci on.
Sus demostraciones son parecidas a las de las imagenes, y las dejaremos como ejercicio.
1. f
1
[] =
16
2. f
1
[B] = A
3. Y
1
, Y
2
P(B) Y
1
Y
2
f
1
[Y
1
] f
1
[Y
2
]
1. Y
1
, Y
2
P(B) f
1
[Y
1
Y
2
] = f
1
[Y
1
] f
1
[Y
2
]
2. Y
1
, Y
2
P(B) f
1
[Y
1
Y
2
] = f
1
[Y
1
] f
1
[Y
2
]
3. Y P(B) f
1
[Y
c
] = (f
1
[Y ])
c
4. Y
1
, Y
2
P(B) f
1
[Y
1
Y
2
] = f
1
[Y
1
] f
1
[Y
2
]
Proposicion 1.2.14 Sea f : A B una funcion, F = A
: L P(B).
1. f
1
_
L
A
_
=
L
f
1
[A
]
2. f
1
_
_
L
A
_
=
_
L
f
1
[A
]
1.2.6. Composiciones
Denici on 1.2.15 Sean f : A B y g : B C funciones. La composicion de f con g (en
este orden) es la funcion h : A C denida por h(x) = g(f(x)), que denotaremos con g f.
Ejemplo 1.2.16 Sean f, g : Z Z las funciones denidas por f(x) = x
2
y g(y) = y + 1.
g f : Z Z es la funcion denida por (g f)(x) = g(f(x)) = g(x
2
) = x
2
+1, y f g : Z Z
es la funcion denida 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.
Proposicion 1.2.17 Si f : A B, g : B C y h : C D son funciones, entonces
h (g f) = (h g) f).
Proposicion 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
Denici on 1.2.19 Sea f : A B una funcion. Diremos que f es inyectiva si las imagenes
de elementos distintos de A por f son distintas. Simbolicamente, f es inyectiva si y solo si
x
1
, x
2
A f(x
1
) = f(x
2
) x
1
= x
2
.
Ejemplo 1.2.20 Sea f : Z Z. La funcion denida por f(x) = 2x. Si f(x
1
) = f(x
2
),
tenemos que 2x
1
= 2x
2
y, dividiendo por 2, que x
1
= x
2
. Por tanto, f es inyectiva.
Ejemplo 1.2.21 Sea f : Z Z. La funcion denida por f(x) = x
2
. Como f(1) = 1 = f(1),
f no es inyectiva, pues 1 y 1 poseen la misma imagen por f.
17
Proposicion 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.
Demostraci
on:
Observemos que la composicion esta bien denida (pues C(f) = D(g)) y que D(g f) =
D(f) = A.
Sean x
1
, x
2
A, y supongamos que (g f)(x
1
) = (g f)(x
2
). Por denicion de composicion,
g(f(x
1
)) = g(f(x
2
)).
Como g es inyectiva y f(x
1
) y f(x
2
) poseen la misma imagen por g, f(x
1
) = f(x
2
). Siendo
f inyectiva, esto implica que x
1
= x
2
.
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(gf) = A, (gf)(1) = g(f(1)) = g(3) = 1 y (gf)(2) = g(f(2)) = g(4) = 2.
Aunque no necesariamente ambas funciones cuya composicion es inyectiva son inyectivas,
s lo es la funci on derecha.
Proposicion 1.2.24 Sea f : A B y g : B C funciones. Si g f es inyectiva, entonces la
funcion f tambien es inyectiva.
Demostraci
on:
Observemos que la composici on esta bien denida (pues C(f) = D(g)).
Sean x
1
, x
2
A tales que f(x
1
) = f(x
2
). Aplicando g a ambos miembros, queda g(f(x
1
)) =
g(f(x
2
)), de manera que (g f)(x
1
) = (g f)(x
2
). Como g f es inyectiva, esto implica que
x
1
= x
2
, de manera que f es inyectiva.
//
1.2.8. Sobreyectividad
Denici 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 denida por f(x) = 2x es sobreyectiva, pues para
cada y Q, f(
y
2
) = 2
y
2
= y, de manera que cada y Q pertenece a f[Q].
Ejemplo 1.2.27 La funcion f : Z Z denida por f(x) = 2x, aunque muy parecida a la
anterior, no es sobreyectiva. 3 Z, pero para cada x Z, f(x) = 2x ,= 3. De hecho, f[Z] es el
conjunto de todos los n umeros enteros pares (positivos y negativos) y, por tanto, distinto de Z.
Proposicion 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.
Proposicion 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
Denici 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
Denici on 1.2.31 Sea A un conjunto no vaco. La identidad en A es la funcion I
A
: A A
denida por I
A
(x) = x.
Aplicar I
A
a un elemento de A reproduce el mismo elemento. Es claro que toda funcion
identidad es biyectiva, pues I
A
(x
1
) = I
A
(x
2
) es literalmente igual a x
1
= x
2
e I
A
[A] = I
A
(x) :
x A = x : x A = A.
Denici on 1.2.32 Sean A y B conjuntos no vacos tales que A B. La inclusion de A en
B es la funcion i
A;B
: A B denida por i
A;B
(x) = x.
La inclusion posee la misma regla de asignacion que la identidad; es decir, si x A B,
i
A;B
(x) = x = I
A
(x). Sin embargo, si A ,= B, estas dos funciones son distintas, pues poseen
codominios distintos. En efecto, i
A;B
no es sobreyectiva, pues i
A;B
[A] = i
A;B
(x) : x A =
x : x A = A ,= B.
Denici on 1.2.33 Sea f : A B una funcion. Si X P(A) es no vaco, la restriccion de
f a X es la funcion f i
X;A
, que se denota con f[
X
.
De nuevo, las funciones f y su restricci on f[
X
poseen la misma regla de asignaci on; es
decir, si x X, f(x) = f[
X
(x). Sin embargo, si X ,= 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
).
Denici on 1.2.34 Sean A
1
, , A
n
conjuntos no vacos y A = A
1
A
n
. Para cada
k 1, , n, la proyeccion sobre la k-esima coordenada es la funcion
A;k
: A A
k
denida por
A;k
(a
1
, , a
k
, , a
n
) = a
k
.
Por ejemplo, las funciones
Z
2
;1
,
Z
2
;2
: Z
2
Z denidas por
Z
2
;1
(x, y) = x y
Z
2
;2
(x, y) = y
asignan a cada vector (x, y) Z
2
su primera y segunda coordenada.
Dejaremos como ejercicio vericar que las proyecciones son siempre sobreyectivas.
1.2.11. Inversas a la izquierda
Denici 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 = I
A
.
Observemos que, para que la composici on g f tenga sentido, es necesario y suciente que
D(g) = C(f) = A. Adem as, para que C(g f) = C(I
A
) = 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 suciente que g(2) = g(f(1)) = I
A
(1) = 1, g(3) = g(f(2)) = I
A
(2) = 2 y g(4) = g(f(3)) =
I
A
(3) = 3. Por tanto, si G
1
= (1, 1), (2, 1), (3, 2), (4, 3), G
2
= (1, 2), (2, 1), (3, 2), (4, 3)
y G
3
= (1, 3), (2, 1), (3, 2), (4, 3), las funciones g
1
= (B, A, G
1
), g
2
= (B, A, G
2
) y g
3
=
(B, A, G
3
) 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)) = I
A
(1) = 1 y que, por otro lado, g(2) = g(f(3)) = I
A
(3) = 3.
Claramente, esto imposibilita la existencia de una inversa a la izquierda de f.
Proposicion 1.2.38 Sea f : A B una funcion. A n de que f posea una inversa a la
izquierda, es necesario y suciente que f sea inyectiva.
Demostraci
on:
Supongamos que g sea una inversa a la izquierda de f. Como g f = I
A
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 funci on

f : A f[A] denida 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 unico por inyectividad), podemos
denir 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 denamos la funci on
g : B A
y
_
g(y) si y f[A]
a si y / f[A]
S olo nos falta comprobar que g f = I
A
. En efecto:
Es claro que g f est a bien denido 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
suciente.
//
Ejemplo 1.2.39 La funcion f : R
+
0 R denida por f(x) =

x es claramente inyecti-
va, de manera que debe poseer una inversa a la izquierda. En efecto, la funcion g : R R
+
0
denida por g(y) = y
2
cumple que (g f)(x) = g(f(x)) =

x
2
= x, ya que, por denicion,

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
2
= y si
y solamente si y 0, pues la raz cuadrada de un n umero no puede ser negativa.
1.2.12. Inversas a la derecha
Denici 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 = I
B
.
Ya vimos que la funci on f : R
+
0 R denida por f(x) =

x es una inversa a la
derecha de la funci on g : R R
+
0 denida por g(y) = y
2
.
De hecho, por la denicion es claro que f es una inversa a la derecha de g si y s olo 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 : x
2
= 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 funci on sobreyectiva posee inversa a la derecha.
Sin embargo, este resultado dista de ser obvio o incluso intuitivo. Por de pronto, probaremos
la implicacion inversa.
Proposicion 1.2.42 Sea f : A B una funcion. Si f posee inversa a la derecha, entonces
es sobreyectiva.
Demostraci
on:
Supongamos que g sea una inversa a la derecha de f. Como f g = I
B
es sobreyectiva, por
la proposicion 1.2.29, f debe ser sobreyectiva. Esto prueba el enunciado.
//
La implicacion inversa depende del axioma a continuaci on:
Axioma 1.2.43 (Eleccion) Sea F = X
: L una familia no vaca de conjuntos no

vacos y dos a dos disjuntos, es decir, tal que X
= si ,= . En estas condiciones, existe

un conjunto X tal que para cada L existe un a
con la propiedad que XX
= a
.
En otras palabras: el conjunto X posee exactamente un elemento de cada X
.
Proposicion 1.2.44 Sea f : A B una funcion. Si f es sobreyectiva, entonces posee inversa
a la derecha.
Demostraci
on:
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
, entonces = f(x) = ).
Por el Axioma de Elecci on, existe un conjunto X tal que para cada L existe un a
con la propiedad que X X
= a
. Esto nos permite denir

g : B A por g() = a
.
S olo nos falta comprobar que f g = I
B
. En efecto:
Sea B arbitrario. Como x
= f
1
[], (f g)() = f(g()) = f(x
) = . Esto
prueba el enunciado.
//
1.2.13. Inversas bilaterales
Denici 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
Proposicion 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.
Demostraci
on:
Sean g y h inversas a la izquierda y a la derecha, respectivamente, de f (su existencia
est a asegurada, pues f es biyectiva). Por denici on de inversas laterales y por la asociatividad
de la composici on, queda que g = g I
B
= g (f h) = (g f) h = I
A
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.
Demostraci
on:
Supongamos (1). Como f es, en particular, inyectiva, la proposici on 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 funci on f es unica (si existe), la denotaremos con f
1
.
22
1.3. Relaciones de equivalencia
Denici on 1.3.1 Sean A, B y R conjuntos. Si R A B, diremos que R es una relacion
entre A y B (en este orden). Si R es una relacion entre A y A, diremos que R es una relacion
binaria (en A).
En vez de (a, b) R, podemos escribir aRb, lo que leeremos a se relaciona con b.
Denici 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 (Reexividad)
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) Z
2
: m
2
= n
2
. Veamos que es de equivalencia:
Sean x, y, z Z arbitrarios pero jos.
Como x
2
= x
2
, x x. Esto prueba que es reexiva.
x y x
2
= y
2
y
2
= x
2
y x. Esto prueba que es simetrica.
x y y z x
2
= y
2
y
2
= z
2
x
2
= z
2
x z. Esto prueba que es
transitiva.
Ejemplo 1.3.4 Sea = (x, y) R
2
: x y Q. Veamos que es de equivalencia:
Sean x, y, z R arbitrarios pero jos.
Como x x = 0 Q, x x. Esto prueba que es reexiva.
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) R
2
: x y Q
c
(tomando R como conjunto universal).
Veamos que R es simetrica, pero que no es reexiva ni transtiva:
Como 0 0 = 0 Q, (0R0). Esto prueba que R no es reexiva.
Sean x, y R arbitrarios pero jos. xRy x y Q
c
y x = (x y) Q
c
yRx. Esto prueba que R es simetrica.

1R
2 (pues 1
2 Q
c
) y
2R0 (pues
2 0 =
2 Q
c
), pero (1R0) (pues
1 0 = 1 Q). Esto prueba que R no es transitiva.
Denici on 1.3.6 Sea una relacion de equivalencia en A, y sea a A. La clase (de equiva-
lencia) 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). Simboli-

camente, 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
x
2
= n
2
x
2
n
2
= 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.
Proposicion 1.3.9 Sea una relacion de equivalencia en A, y sean a, b A. Los enunciados
a continuacion son equivalentes:
(1) a b ,=
(2) a b
(3) a = b
Demostraci
on:
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 jo. Por denici on, x a. Siendo transitiva,
de x a y (2) se sigue x b, la denicion de x b. Esto prueba que a b. Adem as, siendo
simetrica, de (2) se sigue b a, lo cual prueba que b a. De la doble inclusion se sigue (3).
Supongamos (3). Como es reexiva, a a, de manera que a a = ab. Como a ab,
tenemos (1). Esto prueba que (3) (1).
//
Denici 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
. Simbolicamente,
A
= a : a A.
Ejemplo 1.3.11 Sea la relacion del ejemplo 1.3.3.
Z
= 0, 1, 1, 2, 2, .
Ejemplo 1.3.12 Sea la relacion del ejemplo 1.3.4.
R
= a + r : r Q : a R. Como
sucede con R, es imposible denotar este conjunto por extension, pero podemos observar que
Q
R
.
Denici on 1.3.13 Sea A un conjunto. Se dice que la familia P es una particion de A si
/ P, los miembros de P son dos a dos disjuntos y
_
MP
M = A.
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 D
n
el conjunto de todos los enteros
positivos que poseen exactamente n divisores. D = D
1
, D
2
, D
3
, es una particion de Z
+
.
Es notable que cada D
n
con n > 1 es innito y existe una cantidad innita 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.
Demostraci
on:
La proposici on 1.3.9 prueba que los miembros de
A
son dos a dos disjuntos y, como a = a

que a ,= . Solo resta probar que
_
M
A
M = A. En efecto:
Como M
A
M A, es claro que
_
M
A
M A (por una proposicion analoga a la

proposici on 1.2.3). Para probar la otra inclusi on, sea a A arbitrario pero jo. Como a a
(pues es reexiva), a a. Luego, como a
A
, la denici on de gran uni on implica que

a
_
M
A
M. Esto prueba que A

_
M
A
M. Por doble inclusion, el enunciado queda probado.

//
25
1.4. Ejercicios
Secci on 1: 1. Demuestre las propiedades de la tabla en la secci on 1.1.2.
2. Demuestre las propiedades de la tabla en la secci on 1.1.3.
Secci on 2: 1. Pruebe que si f
1
= (A
1
, B
1
, F
1
) y f
2
= (A
2
, B
2
, F
2
) son funciones y A
1
y A
2
son
disjuntos, entonces g = (A
1
A
2
, B
1
B
2
, F
1
F
2
) tambien es una funcion.
2. Sean f
1
= (A
1
, B
1
, F
1
) y f
2
= (A
2
, B
2
, F
2
) funciones, y sea g = (A
1
A
2
, B
1

B
2
, F
1
F
2
). Pruebe que g es una funcion si y s olo si x A
1
A
2
f
1
(x) = f
2
(x).
3. Enuncie y demuestre la proposici on an aloga para uniones a la proposicion 1.2.3.
4. Demuestre la proposici on 1.2.4.
5. Demuestre las proposiciones 1.2.12 y 1.2.13.
7. Sea f : A B una funci on. Cu ales de las proposiciones a continuacion son
verdaderas y cuales falsas? Justique su respuesta en ambos casos.
a) Si X
1
, X
2
P(A) y f[X
1
] f[X
2
], entonces X
1
X
2
.
b) Si X
1
, X
2
P(A), entonces f[X
1
X
2
] = f[X
1
] f[X
2
].
c) Si X
1
, X
2
P(A), entonces f[X
1
X
2
] = f[X
1
] f[X
2
].
d) Si X
1
, X
2
P(A), entonces f[X
1
X
2
] = f[X
1
]f[X
2
].
e) Si Y P(B) y f
1
[Y ] = , entonces Y = .
f) Si Y
1
, Y
2
P(B) y f
1
[Y
1
] f
1
[Y
2
], entonces Y
1
Y
2
.
g) Si Y
1
, Y
2
P(B), entonces f
1
[Y
1
Y
2
] = f
1
[Y
1
]f
1
[Y
2
].
8. Pruebe que si f : A B es una funcion y X A, entonces X f
1
[f[X]]. Es
cierta la inclusi on inversa? Justique su respuesta.
9. Pruebe que si f : A B es una funci on 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 funci on. Pruebe que los enunciados a continuacion son
equivalentes.
1. f es inyectiva
2. X P(A) f
1
[f[X]] = X
3. X
1
, X
2
P(A) f[X
1
X
2
] = f[X
1
] f[X
2
]
14. Sea f : A B una funcion. Pruebe que f es sobreyectiva si y s olo si Y
P(B) f[f
1
[Y ]] = Y .
15. En la teora, hemos atribuido dos signicados distintos al smbolo
1
(un llamado
abuso de notaci on). 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 funci on
g es su inversa y X P(A), entonces f
1
[X] = g[X] (donde f
1
denota la
preimagen).
26
Secci on 3: 1. Si R es una relacion binaria en A, denamos la clase lateral derecha de a A
como Ra = x A : xRa. Si A ,= y Ra : a A forma una partici on de A,
es seguro armar que R es de equivalencia? Justique su respuesta.
2. Si R es una relacion binaria en A, denamos la clase lateral izquierda de a A
como aR = x A : aRx. Cuales de las proposiciones a continuacion son
verdaderas y cuales falsas? Justique su respuesta en ambos casos.
a) R es simetrica si y s olo si a A aR Ra
b) R es simetrica si y s olo si a A Ra aR
c) R es simetrica si y s olo si a A aR = Ra
d) Si R es transitiva y a A aR Ra ,= , entonces R es reexiva.
e) Si R es transitiva, simetrica y a A Ra ,= , entonces R es de equivalencia.
3. Sean A un conjunto no vaco y P una particion de A. Pruebe que la relacion
= (x, y) A
2
: P P tal que x, y P es de equivalencia y verica que
A
= P.
27
28
Captulo 2
Finitud y numerabilidad
2.1. N umeros naturales
Deniremos los conceptos de nitud y numerabilidad en funcion de los n umeros naturales.
Observemos que N := 1, 2, 3, no es una denici on, pues para entenderla deberamos
conocer de antemano los n umeros naturales. Los introduciremos de forma axiom atica:
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 arma 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 deniciones recursivas
1
como las a continuaci on:
Denici 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 dicultades, pero el signicado del segundo puede no ser
claro a primera vista. Analicemos lo que implica:
Como n + 1 ha sido denido, n + 2 = n +s(1) = s(n + 1) tiene sentido.
Como n + 2 ha sido denida, n + 3 = n +s(2) = s(n + 2) tiene sentido.
etc.
De forma parecida, deniremos el producto:
Denici 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. (n +m) +k = n + (m+k)
(n m) k = n (m k)
Conmutatividad. n +m = m+n
n m = m n
Cancelaci on. n +k = m+k n = m
n k = m k n = m
1
Para mas detalles, consulte cualquier libro de Teora Axiomatica de Conjuntos
31
Para ejemplicar, 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).
Si k X, (n+m)+s(k) = s((n+m)+k)
kX
= s(n+(m+k)) = n+s(m+k) = n+(m+s(k)),
de manera que s(k) X.
Por inducci on, N X y la propiedad queda probada.
Denici 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 Inducci on. Enunciar y demostrar las propiedades analogas para la relaci on < que-
dar a como ejercicio.
1. n, m, k N (n m n +k m+k n k m k) (Monotona)
2. n N n n (Reexividad)
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 relaci on 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 relaci on de orden
que satisface (4) es una relaci on de orden total.
En toda relaci on de pre-orden, se puede denir el concepto de mnimo:
Denici 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.
Proposicion 2.1.6 (Principio de Buen Orden) Si X N es no vaco, entonces X posee
mnimo.
32
Demostraci
on:
Si 1 X, hemos terminado pues mn X = 1. De lo contrario, 1 N X.
Sea N
n
= m N : m n e Y = n N : N
n
N X. Claramente, 1 Y . Como
Y ,= N (pues X ,= ), no es cierto que s[Y ] Y . Luego, existe b Y tal que s(b) / Y .
Sea a = s(b). Como N
a
N
b
= a (confronte los ejercicios de esta secci on), N
b
N X
pero N
a
, N X, tenemos que a N. Ademas, si x X, entonces
x / N X N
b
= N
a
a = n N : n < a,
de manera que x a.
Esto prueba el enunciado.
//
A partir de ahora, utilizaremos la notaci on N
n
= m N : m n.
33
2.2. Finitud
Denici on 2.2.1 Un conjunto X es nito si es vaco o si existe n N y una biyeccion
: N
n
X.
Esta biyecci on, en general no es unica.
Proposicion 2.2.2 Si existe una biyeccion
: N
n
X
y a X es arbitrario, entonces existe otra biyeccion
: N
n
X
tal que (n) = a.
Dejaremos la demostracion como ejercicio.
Proposicion 2.2.3 Sean n, m N. Si existe una biyeccion
: N
n
N
m
,
entonces n = m.
Demostraci
on:
Supongamos que el enunciado sea falso y sea
X = m N : n N (n < m : N
n
N
m
biyectiva).
Por suposicion X ,= , de manera que X posee mnimo b (digamos). As, existe n < b y una
biyecci on
: N
n
N
b
.
Claramente, b > 1 y, por tanto, n > 1. Sean k y a tales que s(k) = n y s(a) = b.
Por la proposici on 2.2.2, existe una biyecci on
: N
n
N
b
tal que (n) = b. Es claro que la funcion
: N
k
N
a
denida por

(x) = (x)
tambien es biyectiva, lo cual implica que a X.
Como a < b = mn X, esto constituye una contradicci on y el enunciado queda probado.
//
Corolario 2.2.4 Si existen biyecciones
: N
n
X y : N
m
X,
entonces n = m.
34
Demostraci
on:
Como es biyectiva, posee inversa
1
: X N
m
,
de manera que la composicion
1
: N
n
N
m
es biyectiva.
Luego, n = m, en virtud de la proposici on 2.2.3.
//
Por esta unicidad, escribiremos [X[ = n si existe una biyecci on
: N
n
X.
Proposicion 2.2.5 Todo subconjunto de un conjunto nito, es nito.
Demostraci
on:
Sea X nito. 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 denici on y en virtud de la proposicion 2.2.2 existe una biyecci on
: N
n+1
X
tal que (n + 1) = a, de manera que la funci on
: N
n
X a denida por (x) = (x)
tambien es biyectiva.
Como Y X a y [X a[ = n, Y es nito. 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 nito, entonces X es nito.
(2) Si f es sobreyectiva y X es nito, entonces Y es nito.
Demostraci
on:
Para probar (1), supongamos que f sea inyectiva y que Y sea nito. Consideremos la funci on
f : X f[X] denida por

f(x) = f(x).
Como f[X] Y , en virtud de la proposici on 2.2.5, f[X] es nito. Luego, existe n N y
una biyecci on
: N
n
f[X].
35
Como la funcion
f
1
: N
n
X
es biyectiva, (1) se sigue.
Para probar (2), supongamos que f sea sobreyectiva y X sea nito. Como f es sobreyectiva,
posee inversa a la derecha
g : Y X
que es inyectiva.
Luego, basta aplicar (1) y (2) se sigue.
//
Denici on 2.2.7 Un conjunto es innito si no es nito.
Ejemplo 2.2.8 N es innito.
Si N fuese nito, existira una biyeccion
: N
n
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.
Proposicion 2.2.9 Sea X un conjunto. X es innito si y solo si existe una inyeccion
: N X.
Demostraci
on:
Supongamos que exista la inyecci on , pero que X sea nito. Por el corolario 2.2.6, N sera
nito, lo cual es falso. La implicaci on de derecha a izquierda se sigue.
Supongamos ahora que X sea innito. Denamos
: N X
de la siguiente manera:
Eligimos arbitrariamente f(1) X.
Una vez jados f(1), , f(n), elegimos arbitrariamente f(n+1) en el conjunto (no vaco
por innitud)
X f(1), , f(n).
S olo 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) ,= f(m).
La implicacion inversa se sigue.
//
36
2.3. Numerabilidad
Denici on 2.3.1 Un conjunto X es numerable si es vaco o si existe una sobreyeccion
f : N X.
Proposicion 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 nito.
(2) Si f es sobreyectiva y X es numerable, entonces Y es nito.
(3) Todo subconjunto de un conjunto numerable es numerable.
Demostraci
on:
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 composici on
g : N X
es sobreyectiva y, por tanto, (1) se sigue.
Supogamos que f sea sobreyectiva y que X sea numerable. Siendo X numerable, existe una
sobreyecci on
: N X.
Luego, la composici on
f : N Y
es sobreyectiva y, por tanto, (2) se sigue.
Para probar (3), basta observar que la funcion inclusi on es inyectiva.
//
Proposicion 2.3.3 Si X e Y son numerables, entonces X Y es numerable.
Demostraci
on:
Si X o Y es vaco, la demostraci on es trivial. Supongamos lo contrario.
Como X e Y son numerables, existen sobreyecciones
: N X
y
: N Y.
Es facil comprobar que la funci on
: N N denida por (n, m) = ((n), (m))
37
tambien es sobreyectiva, de manera que es suciente probar que NN es numerable. En efecto:
La funcion
: N N N denida por (n, m) = 2
n
3
m
es inyectiva (Teorema Fundamental de la Aritmetica).
Por la proposici on 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.
Demostraci
on:
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 sobreyecci on
A : N F.
Como cada A
n
es numerable, existen sobreyecciones
n
: N A
n
.
Es inmediato vericar que la funcion
: N N
_
nN
A
n
denida 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.
Demostraci
on:
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 denici on de Y , y / g(y) = Y , lo cual es absurdo.
Por otro lado, si y / Y = g(y), por denici on 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
Secci on 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 relaci on .
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 unicos q
y r tales que n = mq +r y r < m.
7. Sea n N. Pruebe que todo subconjunto de N
n
posee maximo, es decir, existe
b N
n
tal que m b para cada m N
n
.
Secci on 2: 1. Demuestre la proposicion 2.2.2.
2. Si X e Y son nitos y no vacos, pruebe que [X Y [ +[X Y [ = [X[ +[Y [
3. Pruebe que si X es nito y no vaco, [P(X)[ = 2
|X|
.
4. Pruebe que X es innito si y s olo si existe una biyeccion entre X y un subconjunto
propio de X.
Secci on 3: 1. Demuestre que Z es numerable.
2. Demuestre que Q es numerable.
3. Demuestre que la familia de los subconjuntos nitos de N es numerable.
4. Sea X un conjunto. Pruebe que X es numerable si y s olo si es nito o existe una
biyecci on entre N y X.
5. De ejemplo de una biyecci on entre N y N N
6. Pruebe que en cualquier conjunto numerable no vaco puede denirse una relaci on
de buen orden.
7. Dada una familia
F = A
: L,
se dene el gran producto cartesiano como
L
A
:=
__
f : L
_
L
A
_
: L f() A
_
.
Si L es innito y cada A
posee por lo menos dos elementos, pruebe que
L
A
no es numerable.
39
40
Captulo 3
N umeros Reales
3.1. Propiedades
Denici 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,
1
x
K (x + (x) = 0 x x
1
= 1) (Inversos)
Como de costumbre, escribiremos x y en vez de x + (y) y
x
y
en vez de x y
1
.
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, Z
2
es un cuerpo. Este es el
ejemplo mas sencillo de cuerpo no trivial (con mas de un elemento).
Todas las propiedades a continuaci on pueden deducirse de la denici on de cuerpo y sus
demostraciones quedar an 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
Denici 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)
K
+

0 (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 nito 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 denida 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.
Denici 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.
Denici 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 coecientes ra-
cionales. Denamos la suma y el producto de estas funciones de la forma usual, y sea R
+
el
subconjunto formado por todos los cocientes
p(t)
q(t)
tales que p(t) q(t) tiene coeciente positivo
en su termino dominante. Se verica que (R, R
+
, +, ) es un cuerpo ordenado no arquimediano.
Denici 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.
Denici on 3.1.12 Sea K un cuerpo ordenado y X K. a K es el nmo 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.
Denici 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 Analisis) 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 unicas propiedades de R que precisa-
remos son las expuestas en esta secci on.
44
3.2. Funciones reales de variable real
Denici on 3.2.1 Una funcion real de variable real es una funcion
f : X Y,
donde X e Y son subconjuntos de R.
Denici on 3.2.2 Sea
f : X Y
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) monotona si es (estrictamente) creciente o (estrictamente) decre-
ciente.
Ejemplo 3.2.3 La funcion
f : R R denida por f(x) = x
2
es inferiormente acotada pues x
2
0 para cada x R.
Sin embargo, no es superiormente acotada. Supongamos que s, esto es, que existe b R
tal que x
2
b para cada x R. Claramente, b > 1. Esto lleva a una contradiccion, pues
f(b) = b
2
> 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.
3
es estrictamente creciente. En efecto:
Supongamos que x < y. Si xy < 0, no hay nada que probar, pues x
3
< 0 < y
3
. Supongamos
que xy 0.
Como y x > 0, tenemos que
y
3
3xy
2
+ 3x
2
y x
3
= (y x)
3
> 0
o bien
y
3
x
3
> 3xy(y x) 0.
45
Denici on 3.2.5 Sean f, g : X R son funciones, donde X R, R y n Z.
f g : X R
x f(x) g(x)
f : X R
x f(x)
f g : X R
x f(x) g(x)
f
g
: X R
x
f(x)
g(x)
si 0 / g[X]
f
n
: X R
x (f(x))
n
Utilizaremos estas deniciones m as adelante.
46
3.3. Intervalos
Denici on 3.3.1 Sean a, b R. Los conjuntos a continuacion son intervalos.
Abiertos: (a, b) := x R : a < x < b
(a, +) := x R : a < x
(, b) := x R : x < b
(, +) := R
Semi-ab. a la izq.: (a, b] := x R : a < x b
(, b] := x R : x b
Semi-ab. a la der.: [a, b) := x R : a x < b
[a, +) := x R : a x
Cerrados: [a, b] := x R : a x b
Proposicion 3.3.2 Sea I R. I es un intervalo si y solo si [x, y] I siempre que x, y I.
Demostraci
on:
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 demostraci on se realiza de
manera similar.
Sean a =nf I y b = sup I. Por denicion, I [a, b]. Armamos que (a, b) I. En efecto:
Si z (a, b), sean
a
= z a y
b
= bz. 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 quedar a como ejercicio.
Corolario 3.3.4 Sean I y J intervalos. Si I J ,= , I J tambien es un intervalo.
Demostraci
on:
Sean x, y I J tales x < y. Por la proposici on 3.3.2, basta probar que [x, y] I J.
Si x e y pertenecen al mismo intervalo, no hay nada que probar. Para jar ideas, supon-
gamos que x I J y que y J I. Como I J ,= , podemos elegir w I J. Como
x / J, no es posible que w x < y (por la proposici on 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 proposici on 3.3.2).
//
47
Teorema 3.3.5 (Intervalos Encajados, Cantor) Sea
F = I
n
: n N
una familia de intervalos cerrados y acotados tales que
I
n+1
I
n
para cada n N.
En estas condiciones,
nN
I
n
,= .
Demostraci
on:
Sean a
n
y b
n
tales que I
n
= [a
n
, b
n
] para cada n N. Por las inclusiones de los intervalos,
tenemos que
a
1
a
n
b
n
b
1
y sea A = a
n
: n N.
Como A es superiormente acotado por cada b
n
, posee supremo s (digamos) y s b
n
para
cada n N. Ademas, por denicion de supremo, a
n
s para cada n N. Por tanto,
s
nN
I
n
y el enunciado queda probado.
//
Corolario 3.3.6 R no es numerable.
Demostraci
on:
Supongamos que el enunciado sea falso, es decir, que exista una sobreyecci on
: N R.
Elijamos I
1
= [a
1
, b
1
], con a
1
< b
1
de manera que (1) / I
1
. Una vez elegidos
I
1
= [a
1
, b
1
], , I
n
= [a
n
, b
n
],
como
a
n
<
2a
1
+b
1
3
<
a
1
+ 2b
1
3
< b
n
,
podemos elegir
I
n+1
entre
_
a
n
,
2a
1
+b
1
3
_
y
_
a
1
+ 2b
1
3
, b
n
_
de manera que (n + 1) / I
n+1
.
Por el Teorema de los Intervalos Encajados (3.3.5), existe
c
nN
I
n
.
Sin embargo, c / [N] ya que (n) I
n
para cada n N.
Esta contradicci on 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.
Demostraci
on:
Sea I un intervalo tal que a, b I, donde a < b. Como I, por el corolario 3.3.7, no es nume-
rable, 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
b a
, o bien, a < b
1
n
.
Como el conjunto k N : k < b n es claramente acotado, posee maximo k
0
(confronte los
ejercicios de la secci on 2.1).
Como
k
0
< b n, o bien,
k
0
n
< b
pero, por denici on de m aximo,
b
k
0
+ 1
n
,
tenemos que
a < b
1
n

k
0
n
< b.
Luego,
k
0
n
(a, b) I,
lo cual prueba el enunciado.
//
49
3.4. Valor absoluto
Denici on 3.4.1 Sea x R. El valor absoluto de x es
[x[ := m axx, x.
Ejemplo 3.4.2 Como 7 > 7, [7[ = [ 7[ = 7.
La tabla a continucion engloba las propiedades m as resaltantes del valor absoluto.
V1. x R
+
[x[ = x
x R
[x[ = x
x = 0 [x[ = 0
V2. [x[ 0
V3. [x[
2
= x
2
V4. [x[ =
x
2
V5. [ x[ = [x[ V6. [x[ a a x a
V7. [x y[ = [x[ [y[ V8. x > 0
1
x
=
1
[x[
V9. [x[ , = 0 V10. y ,= 0
x
y
=
[x[
[y[
V11. [x[ < [y[ x
2
< y
2
V11. [x +y[ [x[ +[y[
V13. [x z[ [x y[ +[y z[ V14. [[x[ [y[[ [x y[
Las propiedades V 12 V 13 reciben el nombre de Desigualdad Triangular.
Para ejemplicar, 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 quedar an como ejercicio. Para probar V 4, recordemos que si
n N es par, b =
n
a b
n
= a b > 0, y si n N es impar, b =
n
a b
n
= a.
50
3.5. Ejercicios
Secci on 1: 1. Demuestre las propiedades K1 - K3.
2. Demuestre las armaciones del ejemplo 3.1.4.
3. Sea (K, K
+
, +, ) un cuerpo ordenado. Pruebe que K posee un subconjunto al-
gebraicamente isomorfo a Q, es decir, existe L K y una biyeccion
: Q L
tal que
(x +y) = (x) +(y)
y
(x y) = (x) (y)
para cada x, y Q.
4. Pruebe que la relaci on denida 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 s olo si es
superior e inferiormente acotado.
8. Demuestre que todo conjunto no vaco e inferiormente acotado de n umeros reales
posee nmo.
9. Demuestre el supremo de un conjunto, si existe, es unico.
10. Sea n N. Demuestre que

n Q si y s olo si

n N.
11. Sean a, b Q. Demuestre que

a +
b Q si y s olo 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.
Secci on 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.
(Notaci on: 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
.
Secci on 3: 1. Demuestre el corolario 3.3.3.
2. Pruebe que todo conjunto nito de n umeros reales posee m aximo y mnimo.
51
3. Sean
x, y, a
1
, , a
n
R y b
1
, , b
n
, t
1
, , t
n
R
+
tales que
a
1
b
1
, ,
a
n
b
n
(x, y).
Pruebe que
t
1
a
1
+ +t
n
a
n
t
1
b
1
+ +t
n
b
n
(x, y).
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 coecientes 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.
Secci on 4: 1. Demuestre las propiedades V 1 - V 14.
2. Si x, L, R, pruebe que
[x L[ < L < x < L +.
3. Demuestre que [x
1
+ +x
n
[ = [x
1
[+ +[x
n
[, para cada n N y x
1
, , x
n
R.
4. Demuestre que [x
n
[ = [x[
n
, para cada x R y n N.
52
Captulo 4
Sucesiones
4.1. Denici on y propiedades
Denici on 4.1.1 Una sucesion de n umeros reales es una funcion
x : N R.
Escribiremos x
n
en vez de x(n) y x
n
)
nN
para indicar la sucesi on.
Denici on 4.1.2 Sea x
n
)
nN
una sucesion y L R.
L es el lmite de la sucesion, lo cual escribiremos
x
n
L cuando n +,
si
> 0 n
0
N n N (n > n
0
[x
n
L[ < ).
Una sucesion que posee lmite, se dice convergente y que converge a este lmite.
Ejemplo 4.1.3
1
n
0 cuando n +. En efecto:
Sea > 0. Como R es arquimediano, existe n
0
>
1
. De esta manera, si n > n

0
,
1
n
0
=
1
n
<
1
n
0
< .
Proposicion 4.1.4 Toda sucesion convergente es acotada.
Demostraci
on:
Sea x
n
)
nN
una sucesion de lmite L.
Por denici on de lmite, existe n
0
N tal que n N n > n
0
[x
n
L[ < 1, es decir, si
n > n
0
, L 1 < x
n
< L + 1.
Sea A = x
1
, . . . , x
n
0
, L 1, L + 1, y sean a = mn A y b = max A. Si n n
0
, x
n
A, de
manera que a x
n
b, y si n > n
0
, a L 1 < x
n
< L + 1 b.
Esto prueba que la sucesion es acotada.
//
Ejemplo 4.1.5 Si a > 1, la sucesion a
n
) no es convergente ni es superiormente acotada.
Bastara corroborar la segunda armacion. En efecto:
Supongamos que la sucesion fuese superiormente acotada.
Como R es completo, A = a
n
: n N posee supremo s (digamos).
Sea
= s
s
a
> 0.
Por denicion de supremo, existe n N tal que
a
n
> s =
s
a
.
55
De esta manera,
a
n+1
= a a
n
> a
s
a
= s,
lo cual es una contradiccion.
Proposicion 4.1.6 Toda sucesion creciente y superiormente acotada es convergente.
Demostraci
on:
Sea x
n
)
nN
una sucesion creciente y superiormente acotada.
Como la sucesion es superiormente acotada, A = x
n
: n N posee supremo s (digamos).
Sea > 0. Por denici on de supremo, existe n
0
N tal que s < x
n
0
. Ahora, si n > n
0
,
como la sucesi on es creciente y por denicion de supremo,
s < x
n
0
x
n
s < s +.
En sntesis, si n > n
0
, [x
n
s[ < , lo cual completa la prueba.
//
Corolario 4.1.7 Toda sucesion decreciente e inferiormente acotada es convergente.
La demostracion es inmediata y quedar a como ejercicio.
Ejemplo 4.1.8 Si 0 a 1, la sucesion a
n
) 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 a
n
para cada n N, de manera que la sucesion es inferiormente acotada.
Ademas, como a 1 y a 0, a
1
a
2
. Suponiendo que a
n
a
n+1
, siendo a 0, se
prueba que a
n+1
a
n+2
. Esto prueba, por induccion, que la sucesion es decreciente (confronte
los ejercicios de esta seccion).
El corolario 4.1.7 prueba la armacion.
Ejemplo 4.1.9 Dado cualquier n umero positivo a > 0, la sucesion
x
n
) denida por x
1
= a, x
n+1
=
x
2
n
+a
2x
n
converge a

a (lo cual prueba la existencia de la raz cuadrada de cualquier n umero real
positivo).
Proposicion 4.1.10 Sea x
n
)
nN
una sucesion y L, M R.
Si x
n
L y x
n
M cuando n +, entonces L = M.
Demostraci
on:
Para jar ideas, supongamos que L < M. Sea
=
M L
2
.
56
Por denici on de convergencia, existen n
1
, n
2
N tales que
[x
n
L[ < si n > n
1
y [x
n
M[ < si n > n
2
.
Tomando n
0
= m axn
1
, n
2
, si n > n
0
, tenemos que n > n
1
y n > n
2
, de manera que
x
n
< L + =
L +M
2
= M < x
n
(confronte los ejercicios de la seccion 3.4).
//
Siendo el lmite de la sucesion x
n
)
nN
unico (si existe), lo denotaremos con lm
n+
x
n
o
simplemente lmx
n
.
Denici on 4.1.11 Sean x
n
)
nN
e y
n
)
nN
dos sucesiones.
y
n
)
nN
es una subsucesion de x
n
)
nN
si existe una sucesion estrictamente creciente de
n umeros naturales n
k
)
kN
tal que
y
k
= x
n
k
para cada k N.
Lema 4.1.12 Si n
k
)
kN
es una sucesion estrictamente creciente de n umeros naturales, en-
tonces n
k
k para cada k N. En particular, la sucesion no es acotada.
Denici on 4.1.13 Sean x
n
)
nN
una sucesion y a R.
a es un valor de adherencia de la sucesion si esta posee una subsucesion x
n
k
)
kN
tal
que
lm
k+
x
n
k
= a.
Proposicion 4.1.14 Toda sucesion convergente posee un unico valor de adherencia.
Demostraci
on:
Sea x
n
)
nN
una sucesi on convergente, sea L = lmx
n
y sea x
n
k
)
kN
una subsucesi on arbi-
traria.
Sea > 0. Como lmx
n
= L, existe n
0
N tal que
[x
n
L[ < si n > n
0
.
Ahora, si k > n
0
, n
k
> n
0
(por el lema 4.1.12), de manera que
[x
n
k
L[ < si k > n
0
.
//
57
Ejemplo 4.1.15 La sucesion x
n
= (1)
n
)
nN
no converge, pues
lmx
2n
= lm(1)
2n
= lm1 = 1
y
lmx
2n1
= lm(1)
2n1
= lm1 = 1,
de manera que x
n
= (1)
n
)
nN
posee dos subsucesiones con lmites distintos.
Proposicion 4.1.16 Sean x
n
)
nN
e y
n
)
nN
sucesiones.
Si x
n
)
nN
es acotada y lmy
n
= 0, entonces lm(x
n
y
n
) = 0.
Demostraci
on:
Como x
n
)
nN
es acotada, existe c R (que podemos elegir positivo) tal que
[x
n
[ c para cada n N.
Sea > 0. Como lmy
n
= 0, existe n
0
N tal que
[y
n
[ <

c
si n > n
0
,
de manera que
[x
n
y
n
[ = [x
n
[ [y
n
[ < c

c
= si n > n
0
.
//
Corolario 4.1.17 Sean x
n
)
nN
e y
n
)
nN
sucesiones tales que lmx
n
= L y lmy
n
= M.
1. lm(x
n
y
n
) = L M
2. lm(x
n
y
n
) = L M
3. lm
1
y
n
=
1
M
si M ,= 0
4. lm
x
n
y
n
=
L
M
si M ,= 0
Demostraci
on:
Sea > 0.
1. Existen n
1
, n
2
N tales que
[x
n
L[ <

2
si n > n
1
y [y
n
M[ <

2
si n > n
2
.
Tomando n
0
= m axn
1
, n
2
, si n > n
0
, tenemos que n > n
1
y n > n
2
, de manera que
L

2
< x
n
< L +

2
y M

2
< y
n
< M +

2
y, por tanto,
L M < x
n
+y
n
< L M +, o [(x
n
y
n
) (L +M)[ < .
Esto prueba el apartado.
58
2. Claramente,
x
n
y
n
= (x
n
y
n
LM)+LM = (x
n
y
n
Ly
n
+Ly
n
LM)+LM = (x
n
L)y
n
+L(y
n
M)+LM.
En virtud de la proposici on 4.1.16, lm(x
n
L)y
n
= lmL(y
n
M) = 0. Luego, en virtud
del apartado anterior,
lm(x
n
y
n
) = lm(x
n
L)y
n
+ lmL(y
n
M) + lmLM = 0 + 0 +LM = LM.
3. La prueba de este apartado quedar a como ejercicio.
4. Es consecuencia inmediata de los dos apartados anteriores.
//
Proposicion 4.1.18 (Intercalacion) Sean x
n
)
nN
, y
n
)
nN
y z
n
)
nN
sucesiones tales que
lmy
n
= lmz
n
= L. Si existe n
0
N tal que
y
n
x
n
z
n
si n N,
entonces lmx
n
= L.
Demostraci
on:
Sea > 0.
Como lmy
n
= lmz
n
= L, existen n
1
, n
2
N tales que
[y
n
L[ < si n > n
1
y [z
n
L[ < si n > n
2
.
Tomando k
0
= m axn
0
, n
1
, n
2
, si n > k
0
, tenemos que n > n
0
, n > n
1
y n > n
2
, de manera
que
L < y
n
x
n
z
n
< L +.
As,
[x
n
L[ < si n > k
0
,
//
Teorema 4.1.19 (Bolzano-Weierstrass) Toda sucesion acotada posee un valor de adheren-
cia.
Demostraci
on:
Sea x
n
)
nN
una sucesion acotada.
Para cada n N, sean A
n
= x
m
: m n, a
n
= sup A
n
y a = lma
n
.
Claramente cada A
k
es acotada, de manera que cada a
k
est a bien denido, y como A
n
A
m
si n > m, la sucesion a
n
)
nN
es decreciente (y acotada por nf x[N]), de manera que a est a bien
denido.
Por denici on de a
1
, existe n
1
N tal que
a
1
1 < x
n
1
a
1
.
59
Denidos n
1
, , n
k
, por denici on de a
n
k
+1
, existe n
k+1
n
k
+ 1 > n
k
tal que
a
n
k
+1
1
k + 1
< x
n
k+1
a
n
k
+1
.
Siendo a
n
k
+1
)
kN
una subsucesion de a
n
)
nN
, por la proposicion 4.1.14,
lm
k+
a
n
k
+1
= a
y, por tanto,
lm
k+
a
n
k
+1
1
k + 1
= a,
en virtud del ejemplo 4.1.3 y el corolario 4.1.17.
Por intercalaci on (proposicion 4.1.18),
lm
k+
x
n
k+1
= a
//
n
)
nN
e y
n
)
nN
dos sucesiones.
Si lmx
n
lmy
n
, entonces existe n
0
N tal que
x
n
y
n
para cada n > n
0
.
En particular, si lmx
n
a (respectivamente, a), entonces existe n
0
N tal que
x
n
a (respectivamente, a) para cada n > n
0
.
Demostraci
on:
Supongamos que lmy
n
< lmx
n
. En estas condiciones, existe b R tal que
lmy
n
< b < lmx
n
.
Tomando
1
= lmx
n
b y
2
= b lmy
n
, por denicion de lmite, existen n
1
, n
2
N tales
que
[x
n
lmx
n
[ <
1
si n > n
1
y [y
n
lmy
n
[ <
2
si n > n
2
.
Tomando k
0
= m axn
0
, n
1
, n
2
, si n > k
0
, tenemos que n > n
0
, n > n
1
y n > n
2
, de manera
que
y
n
< lmy
n
+
2
= b = lmx
n
1
< x
n
.
//
Corolario 4.1.21 Toda sucesion acotada que posee un unico valor de adherencia, es conver-
gente.
60
Demostraci
on:
Sea x
n
)
nN
una sucesion acotada con un unico valor de adherencia L (digamos).
Supongamos que L no sea el lmite de la sucesi on. Esto es, existe
0
> 0 tal que para cada
m N existe n > m tal que
[x
n
L[
0
, esto es, x
n
L
0
x
n
L +
0
.
Por tanto, la sucesi on posee innitos terminos en (, L
0
] o en [L +
0
, +). Sea
x
n
k
)
kN
la subsucesion de los terminos innitos en cualquiera de estos intervalos.
Al pasar, de nuevo, a una subsucesi on convergente (si es necesario, esto puede hacerse uti-
lizando 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 contradicci on, ya
que L es el unico valor de adherencia de la sucesion original.
//
61
4.2. Lmites innitos
Denici on 4.2.1 Sea x
n
)
nN
una sucesion.
lm
n+
x
n
=
si
> 0 n
0
N n N n > n
0
x
n
>
1
.
Observemos que las sucesiones con lmite no poseen un lmite en el sentido tradicio-
nal, es decir, no son convergentes, ya que + y no son n umeros reales.
Proposicion 4.2.2 Toda sucesion monotona posee lmite (nito o innito).
Ejemplo 4.2.3 Si a > 1, lma
n
= +.
La prueba de estos dos resultados quedar a como ejercicio.
n
)
nN
e y
n
)
nN
dos sucesiones.
1. Si lmx
n
= + e y
n
) es inferiormente acotada, entonces lm(x
n
+y
n
)) = +.
2. Si lmx
n
= + y existe a > 0 tal que y[N] (a, +), entonces lm(x
n
y
n
)) = +.
3. Si existe a > 0 tal que x[N] (a, +), y[N] R
+
y lmy
n
= 0, entonces lm
x
n
y
n
= +
4. Si x
n
) es acotada y lmy
n
= +, entonces lm
x
n
y
n
= 0.
Demostraci
on:
Sea > 0.
1. Como y
n
) es inferiormente acotada, existe a R tal que y[N] (a, +).
Sea > 0. Como lmx
n
= +, existe n
0
N tal que
x
n
>
1
a si n > n
0
1
.
Ahora, si n > n
0
, como y
n
> a, tenemos que
x
n
+y
n
>
1
a +a =
1
si n > n
0
.
La prueba de los restantes apartados quedar a como ejercicio.
//
1
La denicion solo asegura la existencia de este n
0
si
1
a > 0. Sin embargo, si

1
a 0, tal n
0
existe a
fortiori.
62
4.3. Series numericas
Una serie numerica no es m as ni menos que una sucesi on de n umeros reales. Sin embargo,
la notacion diere ya que en una serie no estudiamos el n-esimo termino de la sucesi on sino el
incremento del n-esimo termino al siguiente.
Denici on 4.3.1 Sean a
n
)
nN
una sucesion de n umeros reales y k Z.
1
n=1
a
n
:= a
k
k+1
n=1
a
n
:=
k
n=1
a
n
+a
k
+
n=1
a
n
=
nN
a
n
=
a
n
:= lm
k+
k
n=1
a
n
_
k
n=1
a
n
_
kN
es la serie asociada a la sucesion a
n
)
nN
y
k
n=1
a
n
es la k-esima suma
parcial de esta serie.
Una suma de la forma
k
n=1
a
n
recibe el nombre de sumatoria y posee las siguientes propie-
dades:
1.
k
n=1
(a
n
+b
n
) =
k
n=1
a
n
+
k
n=1
b
n
(Prop. aditiva)
2.
k
n=1
(c a
n
) = c
k
n=1
a
n
(Prop. homogenea)
3.
k
n=1
(a
n+1
a
n
) = a
k+1
a
1
(Prop. telescopica)
Las pruebas se realizan por inducci on y quedar an como ejercicio.
Ejemplo 4.3.2 Si [a[ < 1,
k
n=1
a
n1
=
1 a
k
1 a
y
nN
a
n1
=
1
1 a
.
En efecto:
Como
(a 1)
k
n=1
a
n1
= a
k
n=1
a
n1
n=1
a
n1
=
k
n=1
a
n
n=1
a
n1
=
k
n=1
(a
n
a
n1
) = (a
k
1),
queda
k
n=1
a
n1
=
a
k
1
a 1
=
1 a
k
1 a
.
Ahora, siendo lma
k
= 0, la armacion 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 secci on no trata de calcular los lmites de series dadas, sino de averiguar si una
serie dada posee o no lmite.
Proposicion 4.3.3 (Criterio de Comparaci on) Sean
a
n
y
b
n
series de terminos no
negativos tales que existe n
0
N tal que
a
n
b
n
para cada n > n
0
.
En estas condiciones, si
b
n
converge,
a
n
tambien converge.
Demostraci
on:
Si k > k
0
, como los terminos de las series son no negativos,
k
n=1
a
n
=
n
0
n=1
a
n
+
k
n=n
0
+1
a
n

n
0
n=1
a
n
+
k
n=n
0
+1
b
n

n
0
n=1
a
n
+
nN
b
n
,
de manera que la sucesion
_
k
n=1
a
n
_
es superiormente acotada. Siendo ademas creciente, la convergencia se sigue de la proposicion
4.1.6.
//
Ejemplo 4.3.4 La serie
1
(n 1)!
converge, pues
1
(n 1)!

_
1
2
_
n1
para cada n N
y la serie
_
1
2
_
n1
= 3.
Su lmite es, por denicion e. Como
2
n=1
1
(n 1)!
= 1 + 1 = 2,
tenemos que 2 < e 3.
Ejemplo 4.3.5 Sea a
n
=
_
1 +
1
n
_
n
.
Como
a
n
= 1 +n
1
n
+
n(n 1)
2

1
n
2
+ +
n(n 1) 1
n!
,
a
n
= 1 + 1 +
1
2!
_
1
1
n
_
+ +
1
n!
_
1
1
n
__
1
2
n
_

_
1
n 1
n
_
,
64
de manera que
a
n

n+1
k=1
1
(k 1)!
e.
Por el criterio de comparacion, a
n
) converge y por la proposicion 4.1.20, lma
n
e.
Ademas, si m N y n > m,
a
n
1 + 1 +
1
2!
_
1
1
n
_
+ +
1
m!
_
1
1
n
__
1
2
n
_

_
1
m1
n
_
,
de manera que, por la proposicion 4.1.20,
lma
n

m+1
k=1
1
(k 1)!
.
De nuevo por la proposicion 4.1.20, esto implica que
lma
n
e.
En sntesis, lm
_
1 +
1
n
_
n
= e.
Proposicion 4.3.6 (Primer Criterio de Divergencia) Si
a
n
converge, entonces
lma
n
= 0.
Demostraci
on:
Sea
s
n
=
n
k=1
a
k
.
As,
s
n+1
= s
n
+a
n
para cada n N.
Por la proposicion 4.1.14, lms
n+1
= lms
n
, de manera que, por el corolario 4.1.17, se sigue
que lma
n
= 0.
//
(1)
n
no converge, ya que (1)
n
) no converge a 0.
Ejemplo 4.3.8 A pesar de que el termino general de la serie armonica
1
n
converge a 0, la
serie diverge. En efecto,
1
n
= 1 +
1
2
+
1
3
+
1
4
+
1
5
+
1
6
+
1
7
+
1
8
+
1 +
1
2
+
_
1
4
+
1
4
_
+
_
1
8
+
1
8
+
1
8
+
1
8
_
+
= 1 +
1
2
+
1
2
+
1
2
+ ,
lo cual sustenta la armacion.
65
Un argumento parecido determina si las p-series convergen.
1
n
p
converge si p > 1 y diverge si p 1.
La divergencia de las p-series con p 1 es obvia teniendo en cuenta el criterio de compa-
raci on y el hecho que la serie armonica diverge.
Si p > 1,
1
n
p
= 1 +
1
2
p
+
1
3
p
+
1
4
p
+
1
5
p
+
1
6
p
+
1
7
p
+ +
1 +
_
1
2
p
+
1
2
p
_
+
_
1
4
p
+
1
4
p
+
1
4
p
+
1
4
p
_
+ +
=
1
1
p
+
2
2
p
+
4
4
p
+ ,
lo cual sustenta que la serie esta acotada por
_
2
2
p
_
n1
=
2
p1
2
p1
1
,
de manera que converge.
Proposicion 4.3.10 (Criterio de Leibniz) Si la sucesion a
n
) es decreciente y tiene lmite
0, entonces la serie
(1)
n+1
a
n
converge.
Demostraci
on:
Para cada n N, sea
s
n
=
n
k=1
(1)
k+1
a
k
.
Como
s
2n+1
= s
2n1
(a
2n
a
2n1
) y a
2n
a
2n1
,
tenemos que la sucesi on s
2n1
) es decreciente.
Por otro lado, como
s
2n+2
= s
2n
+ (a
2n+1
a
2n+2
) y a
2n+1
a
2n+2
,
tenemos que la sucesi on s
2n
) es creciente.
Teniendo en cuenta que s
2n
s
2n1
(pues s
2n1
s
2n
= a
2n
0), queda:
s
2
s
4
s
2n
s
2n1
s
3
s
1
.
Esto prueba que las dos subsucesiones convergen. Adem as, como s
2n1
s
2n
= a
2n
0
cuando n +, tenemos que lms
2n
= lm
2n1
.
//
66
Ejemplo 4.3.11 Por el criterio de Leibniz, la serie armonica alternada
(1)
n
n
converge.
Denici on 4.3.12 Sea
a
n
una serie.
La serie es absolutamente convergente si
[a
n
[ 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 con-
vergente.
Proposicion 4.3.15 Toda serie absolutamente convergente es convergente.
Demostraci
on:
Sea
a
n
una serie absolutamente convergente.
Denamos
a
+
n
= m axa
n
, 0 y a
n
= m axa
n
, 0, para cada n N.
Si n N, se verica f acilmente que
a
+
n
+a
n
= [a
n
[ y a
+
n
a
n
= a
n
.
Tenemos que
a
+
n
y
n
convergen, ya que, claramente,
a
+
n
[a
n
[ y a
n
[a
n
[, para cada n N,
y
[a
n
[ converge.
Luego, por el corolario 4.1.17,
a
n
=
(a
+
n
a
n
) =
a
+
n

n
,
//
Corolario 4.3.16 (Criterio de dAlembert) Sea a
n
) una sucesion de terminos no nulos.
Si existen c (0, 1) y n
0
N tales que
a
n
+ 1
a
n
c, para cada n > n

0
,
entonces
a
n
es (absolutamente) convergente.
67
Demostraci
on:
Sea n > n
0
. Como
a
n
+ 1
a
n
c =
c
n+1
c
n
,
tenemos que
[a
n
+ 1[
c
n+1

[a
n
[
c
n
.
Esto prueba que la sucesion
_
[a
n
[
c
n
_
es decreciente a partir de n
0
, de manera que esta acotada por
b = m ax
_
[a
1
[
c
, ,
[a
n
0
[
c
n
0
_
.
As,
[a
n
[ b c
n
, para cada n N.
Ahora, como
b c
n
converge, el enunciado se sigue por el criterio de comparacion.
//
Corolario 4.3.17 Sean a
n
) una sucesion de terminos no nulos y
L = lm
a
n
+ 1
a
n
constante de dAlembert.
La serie
a
n
converge si L < 1 y diverge si L > 1.
La demostracion es sencilla y quedar a como ejercicio.
Ejemplo 4.3.18 Sean a > 1, b R y k N. Se verica que
lm
n
k
a
n
= lm
b
n
n!
= lm
n!
n
n
= 0.
Demostrar las armaciones de este ejemplo quedar a como ejercicio.
Corolario 4.3.19 (Criterio de Cauchy) Sea a
n
) una sucesion.
Si existen c (0, 1) y n
0
N tales que
n
_
[a
n
[ c, para cada n > n
0
,
entonces
a
n
es (absolutamente) convergente.
Demostraci
on:
Sea n > n
0
. Como
n
_
[a
n
[ c,
tenemos que
[a
n
[ c
n
.
Ahora, como
c
n
converge, el enunciado se sigue por el criterio de comparaci on.
//
Corolario 4.3.20 Sea a
n
) una sucesion y
L = lm
n
_
[a
n
[ constante de Cauchy.
La serie
a
n
converge si L < 1 y diverge si L > 1.
La demostracion es sencilla y quedar a como ejericio.
68
4.4. Series de potencias
Por razones praticas, consideraremos sucesiones y series que comienzan en el 0.
Proposicion 4.4.1 Sean a
n
)
nN{0}
una sucesion y
r = supc 0 : n
0
N 0 n > n
0
c
n
a
n
1 +.
La serie
+
n=0
a
n
x
n
converge si [x[ < r y diverge si [x[ > r.
Ademas, si L es la constante de Cauchy de
+
n=0
a
n
,
se verica que
r =
1
L
(con los convenios naturales para 0 e +).
Denici on 4.4.2 Sea x R.
sen x :=
+
n=0
(1)
n
(2n + 1)!
x
2n+1
si la serie converge.
cos x :=
+
n=0
(1)
n
(2n)!
x
2n
si la serie converge.
Deniremos las restantes funciones trigonometricas de la forma usual.
Aunque a un no estamos en condiciones de probar las propiedades de las funciones trigo-
nometricas, las utilizaremos sin restricciones en los ejemplos ya que esto no interere con el
desarrollo de nuestra teora.
Ejemplo 4.4.3 Los radios de convergencia de sen x y cos x son innitos.
Proposicion 4.4.4 Sean r el radio de convergencia de la serie
+
n=0
a
n
x
n
y c (0, r).
En estas condiciones, dado > 0, existe n
0
N 0 tal que si n > n
0
y x [c, c],
entonces

k=0
a
k
x
k
n=0
a
k
x
k
< .
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 x
n
)
nN
una sucesion de n umeros reales, L R y P y Q conjuntos tales que
P

Q = N. Pruebe que:
1. Si P es innto, entonces x
n
) posee una ( unica) subsucesi on x
n
k
)
kN
tal que
n[N] = P que indicaremos con (x[
P
)
k
)
kN
.
2. Si P es nito, entonces x
n
) converge a L si y solo si (x[
Q
)
k
)
kN
converge a
L.
3. Si P y Q son innitos, entonces x
n
) converge a L si y solo si (x[
P
)
k
)
kN
y
(x[
Q
)
k
)
kN
convergen a L.
7. Si x
n
)
nN
es una sucesi on de n umeros reales, defnase que x
n
) es de Cauchy si
> 0 n
0
N n, m N (n > n
0
m > n
0
[x
n
x
m
[ < ).
Pruebe que una sucesion de n uemros reales es convergente si y s olo si es de
Cauchy.
3. Demuestre los apartados faltantes de la proposici on 4.2.4.
Secci on 3: 1. Demuestre las propiedades 1 - 3.
2. Si a
n
) es decreciente y
a
n
converge, pruebe que lm(na
n
) = 0.
3. Si
a
n
es absolutamente convergente, pruebe que
a
2
n
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
lm
n
n
n!
= e.
9. Calcule lm
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
Denici 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 denicion, es obvio que si X Y , entonces int X int Y .
Ejemplo 5.1.2 int (a, b) = (a, b).
Para corroborar esta armacion, elijamos x (a, b). Sea = mnb 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 denicion, 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.
Proposicion 5.1.5 El interior de todo conjunto, es un conjunto abierto.
Demostraci
on:
Sea X R arbitrario, y sea A = int X. Queremos probar que A int A. En efecto:
Sea x A. Por denicion, 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.
Proposicion 5.1.7 La interseccion de dos conjuntos abiertos, es un conjunto abierto.
Demostraci
on:
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 nita de conjuntos abiertos, es un conjunto
abierto.
Proposicion 5.1.9 La union de una familia arbitraria de conjuntos abiertos, es un conjunto
abierto.
Demostraci
on:
Sea
F = X
: L
una familia de conjunto abiertos y sea
a
_
i
nL
X
.
Por denicion de union, existe
0
L tal que a X
0
. Siendo X
0
abierto, existe > 0 tal
que
(a , a +) X
0

_
i
nL
X
.
//
La intersecci on de una familia arbitraria de conjuntos abiertos, no es necesariamente un
conjunto abierto.
74
Proposicion 5.1.10 Dado X R, existe una familia numerable de conjuntos abiertos
F = X
n
: n N
tal que
X =
nN
X
n
.
Teorema 5.1.11 Todo conjunto abierto es union numerable de intervalos abiertos y dos a dos
disjuntos.
Demostraci
on:
Sea X R abierto.
Si a, b X, denamos que a b si y s olo si existe un intervalo
I X tal que a I b I.
Claramente, la relaci on es reexiva y transitiva. Adem as, 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.
Por el teorema 1.3.16,
X
es una partici on de X y s olo falta probar que el conjunto cociente

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 denicion de nmo
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 vericar 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 denicion de
supremo, b + b. Esta contradiccion completa la prueba de que x = (a, b).
Ahora, siendo cada miembro de
X
un intervalo abierto no vaco, podemos elegir un n umero

racional
r
M
M para cada M
X
.
75
Esto dene una funci on inyectiva (pues las clases de equivalencia son dos a dos disjuntas)
r :
X
Q.
Siendo Q numerable, se sigue que
X
es numerable (por la proposicion 2.3.2).

//
Este teorema caracteriza por completo a los conjuntos abiertos, lo que nos facilitar a el
estudio de sus propiedades.
X es conexo si no existen conjuntos abiertos A y B tales que
X A B, X A ,= , X B ,= , pero (X A) (X B) = .
Corolario 5.1.13 Un conjunto de n umeros reales es conexo si y solo si es un intervalo.
Demostraci
on:
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
implicaci on de derecha a izquierda.
Para probar la implicaci on 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 ,= , X B ,= , pero (X A) (X B) = .
Sea x XA. 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 denici on de A y B, X , (a, b), esto es, existe y X (a, b). Clara-
mente, y a y b. Para jar ideas, supongamos que y b.
Como x, y X y X es un intervalo, por la proposici on 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 ,= , lo cual contradice la denicion 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 denici on de A y B.
//
Confronte los ejercicios de esta secci on para una demostraci on alternativa del corolario
anterior.
Un recubrimiento (abierto/cerrado) de X es una familia de conjuntos (abiertos/cerrados)
F = C
: L
tal que
X
_
L
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 (Lindelof) Todo recubrimiento abierto de un conjunto de n umeros reales
posee un subrecubrimiento numerable.
La demostraci on del teorema es una aplicacion directa del lema. Ambas demostraciones
quedar an como ejercicio.
77
5.2. Puntos de clausura
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.
Adem as, 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.
Proposicion 5.2.2 Un conjunto X R es cerrado si y solo si X
c
es abierto.
Demostraci
on:
Para probar la implicaci on 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 implicaci on.
Para probar la implicaci on 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
Z
c
=
_
kZ
(k, k + 1)
y el ultimo 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 nita de conjuntos cerrados, es un conjunto cerrado.
Corolario 5.2.6 La interseccion de una familia arbitraria de conjuntos cerrados, es un con-
junto 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.
Proposicion 5.2.8 Sean X R y a R. Los enunciados a continuacion son equivalentes:
(1) a X
(2) > 0 (a , a +) X ,=
(3) Existe una sucesion x
n
)
nN
en X (x[N] X) tal que lmx
n
= a.
Demostraci
on:
Supongamos (1) y sea > 0 arbitrario. Como a X, a / int X
c
, de manera que
(a , a +) , X
c
, esto es, (a , a +) X ,=
y (2) se sigue. Esto prueba que (1) (2).
Supongamos (2). Por hip otesis, existe
x
n

_
a
1
n
, a +
1
n
_
X, para cada n N,
de manera que, por intercalaci on (proposici on 4.1.18), lmx
n
= a y (3) se sigue. Esto prueba
que (2) (3).
Supongamos (3) y sea > 0 arbitrario. Por denici on de lmite, existe n
0
N tal que
[x
n
0
+1
a[ < , esto es, x
n
0
+1
(a , a +).
Como x
n
0
+1
X, esto prueba que
(a , a +) , X
c
,
de manera que
a X = (int X
c
)
c
//
Ejemplo 5.2.9 Q = Q
c
= R ya que, por la proposicion 3.3.8,para cada x R y cada > 0 se
verica que
(x , x +) Q ,= y (x , x +) Q
c
,=
y las inclusiones inversas son triviales.
79
Corolario 5.2.10 Sean X R y x
n
)
nN
una sucesion en X. Los enunciados a continuacion
son equivalentes:
(1) X es cerrado.
(2) Si x
n
) es convergente, entonces lmx
n
X.
(3) Si x
n
) es acotada, entonces posee una subsucesion x
n
k
)
kN
tal que lmx
n
k
X.
80
5.3. Puntos de frontera
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 arma que fr Q = R.
La tabla a continuaci on engloba las propiedades m as resaltantes de la frontera. Sus demos-
traciones son aplicaciones inmediatas de los resultados de las secciones anteriores y quedar an
como ejercicio.
F1. fr X es cerrado. F4. X es abierto si y solo si X fr X = .
F2. int X

fr X = X. F5. X es cerrado si y solo si fr X X.
F3. frX = X int X. F6. fr X = X = X = R.
Ejemplo 5.3.3 El conjunto de Cantor,
C :=
_
nN
x
n
3
n
: x
n
)
nN
es una sucesi on en 0, 2
_
,
satisface que fr C = C.
Probar las armaciones de este ejemplo quedar a como ejercicio.
La forma m as sencilla de visualizar el conjunto de Cantor es denir
C
n
:=
_
nN
x
n
3
n
: x[N] 0, 1, 2 x[N
n
] 0, 2
_
,
y luego observar que
C =
nN
C
n
.
81
5.4. Puntos de acumulacion
El conjunto derivado de X es el conjunto
X
:=
xX
X x
y sus elementos son puntos de acumulacion de X.
a es aislado en X si a X X
.
X es perfecto si X
= X.
Lema 5.4.2 Sean X R y a R.
a X
si y solo si a X a
La demostracion es sencilla y quedar a como ejercicio.
Ejemplo 5.4.3 Q
= R. En efecto, si a R y > 0,
(a , a +) (Qa) = ((a , a) Q) ((a, a +) Q) ,= ,
ya que ambos conjuntos de la union son no vacos (por la proposicion 3.3.8), de manera que
a Qa.
Proposicion 5.4.4 Sea X R.
1. X
es cerrado.
2. X X
= X.
3. X es cerrado si y solo si X
X.
Demostraci
on:
1. Es inmediato por la denici on de conjunto derivado y el corolario 5.2.6.
2. Claramente X X. Adem as, X = X
= y de lo contrario podemos jar a X de

manera que
X
xX
X x X a X.
Esto prueba que X X
X.
Para probar la inclusion inversa, jemos a X y supongamos que a / X. As, Xa = 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
y, por la propiedad U7, X
X.
Recprocamente, si X
X, entonces X = X X
= X, de manera que X es cerrado.

//
82
Proposicion 5.4.5 Sean X R y a R. Los enunciados a continuacion son equivalentes:
(1) a X
(2) Existe una sucesion x

n
)
nN
en X a (x[N] X) tal que lmx
n
= a.
(3) Todo intervalo abierto I tal que a I posee innitos puntos de X.
(4) Existe una sucesion monotona x
n
)
nN
en X a (x[N] X) tal que lmx
n
= a.
Ejemplo 5.4.6 Todos los puntos de un conjunto nito F R son aislados.
Ejemplo 5.4.7 El conjunto de Cantor es perfecto.
Demostrar estas armaciones quedar a como ejercicio.
Teorema 5.4.8 (Bolzano-Weierstrass) Todo conjunto innito y acotado de n umeros reales
posee por lo menos un punto de acumulacion.
Demostraci
on:
Sea X R innito y acotado.
Por la proposici on 2.2.9, existe una sucesion inyectiva x
n
)
nN
en X.
Como esta sucesi on es claramente acotada, posee una subsucesion convergente en virtud
del teorema de sucesiones del mismo nombre.
Sean x
n
k
)
kN
esta subsucesi on y a su lmite. Como la subsucesi on es hereditariamente in-
yectiva, 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
.
//
83
5.5. Compacidad
X es compacto si todo recubrimiento abierto de X posee un subrecubrimiento nito.
Ejemplo 5.5.2 Claramente, todo conjunto nito es compacto.
Lema 5.5.3 Todo intervalo cerrado y acotado, es compacto.
Demostraci
on:
Sean [a, b] un intervalo cerrado y acotado y F = A
: L un recubrimiento abierto de
este intervalo.
Supongamos que F no admita subrecubrimiento nito. Sea [a
1
, b
1
]. Una vez elegidos
[a
1
, b
1
], , [a
n
, b
n
]
de manera que F no admita subrecubrimiento nito para ninguno de ellos, elegimos [a
n+1
, b
n+1
]
de la siguiente manera:
Claramente, F tambien es un recubrimiento de los intervalos
_
a
n
,
a
n
+b
n
2
_
y
_
a
n
+b
n
2
, b
_
y por lo menos uno de ellos no posee subrecubrimiento nito. Sea [a
n+1
, b
n+1
] este intervalo.
As, obtenemos la sucesion
[a
1
, b
1
] [a
n
, b
n
]
tal que ninguno de estos intervalos posea subrecubrimiento nito. Adem as
b
n
a
n
= 2
n1
(b a), para cada n N,
como se prueba f acilmente por inducci on.
Por el Teorema de los Intervalos Encajados (3.3.5), existe
c
nN
[a
n
, b
n
].
Por denici on de recubrimiento, existe
0
L tal que c A
0
.
Como A
0
es abierto, existe > 0 tal que
(c , c +) A
0
.
Eligiendo n
0
N de manera que
b a
2
n1
< ,
tenemos que
c [a
n
0
, b
n
0
] (c , c +) A
0
,
lo cual constituye una contradicci on.
//
84
Teorema 5.5.4 (Heine-Borel) Un conjunto de n umeros reales es compacto si y solo si es
cerrado y acotado.
Demostraci
on:
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 FX
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 nito 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 implicaci on.
Para probar la implicaci on inversa, supongamos que X sea compacto.
Supongamos que X no sea cerrado, esto es, existe a X X.
Por denici on de compacidad, el recubrimiento abierto
[a , a +]
c
: > 0
posee un subrecubrimiento
[a
k
, a +
k
]
c
: k N
n
.
Sea
0
= mn
k
: k N
n
. As,
X
_
kN
n
[a
k
, a +
k
]
c
[a
0
, a +
0
]
c
,
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 denicion de compacidad, posee un
subrecubrimiento
(r
k
, r
k
) : k N n.
Sea r
0
= m axr
k
: k N n. As,
X
_
kN
n
(r
k
, r
k
) (r
0
, r
0
),
de manera que X es acotado.
Esto prueba la implicaci on 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 = K
n
: n N
una familia de conjuntos compactos tales que
K
n+1
K
n
para cada n N.
nN
K
n
,= .
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 inclusi on 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.
Secci on 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 inclusi on es propia.
5. Si X y Y son conjuntos cerrados de n umeros reales, es X+Y tambien cerrado?
Justique su respuesta.
9. Utilice la bisecc on 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.
Secci on 3: 1. Demuestre las propiedades F1 - F6.
2. Averigue si existe una f ormula para fr (X Y ), fr (X Y ) o fr (X Y ).
3. Si X Y , es cierto que fr X fr Y ? Justique su respuesta.
5. Pruebe que el conjunto de Cantor no es numerable.
Secci on 4: 1. Demuestre el lema 5.4.2.
3. Si X Y , es cierto que X
? Justique 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? Justique su respuesta.
4. Pruebe que la uni on nita 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 x
0
X e y
0
Y tales que
[x
0
y
0
[ [x y[, para cada (x, y) X Y.
7. Pruebe que todo conjunto compacto cuyos puntos son todos aislados es nito.
88
Captulo 6
Nocion de lmite
Denici on 6.1.1 Sean X R, a X
, L R y
f : X R
una funcion.
lm
xa
f(x) = L
si para cada sucesion x
n
)
nN
en X a se tiene que
lm
n+
f(x
n
) = L si lm
n+
x
n
= a.
En caso armativo, L es el lmite de f en a.
No daremos trato especial a los lmites innitos ni a los lmites en el innito. Bastar a con-
siderar la posibilidad que a, L = , donde convendremos que + X
(respectivamente,
X
) si X no es superiormente (respectivamente, inferiormente) acotado.

Ejemplo 6.1.2 Sean c R y
f : R R denida por f(x) = c.
Si a R y x
n
)
nN
es cualquier sucesion, se verica que lm
n+
f(x
n
) = lm
n+
c = c.
Luego, lm
xa
c = c, para cada a R.
Ejemplo 6.1.3 Sea
f : R R denida por f(x) = x.
Si a R y x
n
)
nN
es cualquier sucesion, se verica que lm
n+
f(x
n
) = lm
n+
x
n
= a.
Luego, lm
xa
x = a, para cada a R.
Ejemplo 6.1.4 La funcion seno
f : R R denida por f(x) = cos
1
x
no posee lmite en el 0.
En efecto, se verica que
lm
n+
1
2n
= 0 y lm
n+
1
(2n 1)
= 0
mientras que
lm
n+
f
_
1
2n
_
= lm
n+
cos(2n) = lm
n+
1 = 1
pero
lm
n+
f
_
1
(2n 1)
_
= lm
n+
cos((2n 1)) = lm
n+
1 = 1.
91
Ejemplo 6.1.5 lm
x0
_
x cos
1
x
_
= 0.
En efecto, si x
n
) es cualquier sucesion en R0 tal que lm
n+
x
n
= 0 como la sucesion
_
cos
1
x
n
_
es acotada, se verica
lm
n+
_
x
n
cos
1
x
n
_
= 0,
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 quedar an como ejercicio.
Proposicion 6.1.6 Sean X R, a X
, L R y
f : X R
una funcion.
Si
lm
xa
f(x) = L y lm
xa
f(x) = M,
entonces L = M.
La proposicion anterior justica la notaci on
lm
xa
f(x) = L,
ya que el lmite es, de hecho, un ( unico) n umero real.
Proposicion 6.1.7 Sean X R, Y X, a X
, L R y
f : X R
una funcion.
Si a Y
y
lm
xa
f(x) = L,
entonces
lm
xa
f[
Y
(x) = L.
, y
f, g : X R
dos funciones.
Si f es acotada y
lm
xa
g(x) = 0,
entonces
lm
xa
(f(x) g(x)) = 0.
92
, L, M R y
f, g : X R
dos funciones tales que
lm
xa
f(x) = L y lm
xa
g(x) = M.
1. lm
xa
(f(x) g(x)) = L M
2. lm
xa
(f(x) g(x)) = L M
3. lm
xa
f(x)
g(x)
=
L
M
si M ,= 0
Denici on 6.1.10 Sea p : R R una funcion.
p es un polinomio si existen a
0
, , a
n
R tales que
p(x) =
n
k=0
a
k
x
k
, para cada x R.
Corolario 6.1.11 Si p es un polinomio y x
0
R, entonces
lm
xx
0
p(x) = p(x
0
).
Proposicion 6.1.12 (Intercalacion) Sean X R, a X
, L R y
f, g, h : X R
tres funciones tales que
lm
xa
g(x) = lm
xa
h(x) = L.
Si existe r > 0 tal que
g(x) f(x) h(x) si 0 < [x a[ < r,
entonces
lm
xa
f(x) = L.
Aunque fructfero para la deduccion de algunas propiedades, en la pr actica puede resultar
inc omodo trabajar con la denicion de lmite. Presentaremos a continuacion la equivalencia
entre la denicion dada con la conocida denicion .
, L R y
f : X R
una funcion.
lm
xa
f(x) = L
si y solo si
> 0 > 0 x X (0 < [x a[ < [f(x) L[ < ).
93
Demostraci
on:
Para probar la implicaci on de izquierda a derecha, supongamos que
lm
xa
f(x) = L
pero que
0
> 0 > 0 x X (0 < [x a[ < [f(x) L[ ).
En particular,
0
> 0 n N x
n
X (0 < [x
n
a[ <
1
n
[f(x
n
) L[
0
).
La sucesion x
n
)
nN
cumple que x[N] X a y converge, por Intercalacion, a a, de
manera que, por denici on de lmite (de funciones),
lm
n+
f(x
n
) = L.
Esto contradice la proposici on 4.1.20, pues
[f(x
n
) L[
0
para cada n N,
lo cual prueba la implicaci on.
Para probar la implicaci on inversa,
> 0 > 0 x X (0 < [x a[ < [f(x) L[ < )
y sea x
n
)
nN
una sucesion en X a que converge a a.
Por denicion de lmite (de sucesiones) y como x
n
,= a para cada n N, existe n
0
N tal
que
0 < [x
n
a[ < si n > n
0
,
de manera que
[f(x
n
) L[ < si n > n
0
.
Esto prueba que
lm
n+
f(x
n
) = L
y la implicaci on restante se sigue.
//
Corolario 6.1.14 Sean X R, a X
, L, M R y
f, g : X R
dos funciones,
lm
xa
f(x) = L y lm
xa
g(x) = M.
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
Demostraci
on:
Sea
=
M L
2
,
de manera que
L + =
L +M
2
= M .
Por la proposici on 6.1.13, existen
1
,
2
> 0 tales que
[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).
//
y
f : X R
una funcion.
Si
lm
xa
f(x) R,
entonces existen r > 0 y c R tales que
[f(x)[ c si x X 0 < [x a[ < r.
Demostraci
on:
Sea
L = lm
xa
f(x).
Por la proposici on 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,
//
Ejemplo 6.1.16 lm
x0
1
x
no existe, ya que esto contradira el corolario 6.1.15, como se verica
facilmente.
95
6.2. Lmites laterales
Denici on 6.2.1 Sean X R, a X
y
f : X R
una funcion.
El lmite lateral derecho de f en a es
f(a+) = lm
xa+
f(x) := lm
xa
f[
X(a,+)
(x)
y el lmites lateral izquierdo de f en a es
f(a) = lm
xa
f(x) := lm
xa
f[
X(,a)
(x),
si estos lmites existen.
Ejemplo 6.2.2 Consideremos la funcion
f : R 0 R denida por f(x) =
[x[
x
.
Claramente,
f(0+) = lm
x0
f[
(0,+)
(x) = lm
x0
x
x
= 1,
mientras que
f(0) = lm
x0
f[
(,0)
(x) = lm
x0
x
x
= 1.
f : [0, +) R denida por f(x) =
x.
f(0+) = lm
x0
f
(0,+)
(x) = lm
x0
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 denicion descarta los inconvenientes del ejemplo anterior.
Denici on 6.2.4 Sean X R y a R.
a X
+
si a (X (a, +))
a X
si a (X (, a))
Proposicion 6.2.5 Si X R, entonces X
= X
+
X
.
y
f : X R
una funcion.
f(a+) existe si y solo si a X
+
y
> 0 > 0 x X (a < x < a + [f(x) L[ < ).
96
, L R y
f : X R
una funcion.
1. Si lm
xa
f(x) = L y a X
+
, entonces f(a+) = L.
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
xa
f(x) existe.
4. Si lm
xa
f(x) = L R y f(a+) existe, entonces f(a+) = L.
5. Si f(a+) = L R y a / X
(en particular, si X [a, +)), entonces lm

xa
f(x) = L.
Proposicion 6.2.8 Sean X R y
f : X R
una funcion creciente.
Si f es inferiormente acotada y a X
+
, entonces f(a+) existe.
En particular, si a X X
+
, entonces f(a+) existe.
Es claro que valen resultados completamente analogos para los puntos de acumulaci on por
la izquierda (los elementos de X
) 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
Denici on 6.3.1 Sean X R, a X y
f : X R
una funcion.
f es continua en a si para cada sucesion x
n
)
nN
en X se tiene que
lm
n+
f(x
n
) = f(a) si lm
n+
x
n
= a.
f es discontinua en a si no es continua en X.
f es una funcion continua si no es discontinua en ning un punto.
Proposicion 6.3.2 Sean X, Y, Z R a X, b Y y
f : X Y y g : Y Z
dos funciones tales que b = f(a).
Si f es continua en a
1
y g es continua en b, entonces g f es continua en a.
Demostraci
on:
Tenemos que
g f : X Z.
Sea x
n
)
nN
una sucesion en X tal que
lm
n+
x
n
= a.
Como f es continua en a, la sucesi on f(x
n
))
nN
est a en Y y verica que
lm
n+
f(x
n
) = f(a) = b.
Ahora, como g es continua en b, tenemos que
lm
n+
(g f)(x
n
) = lm
n+
g(f(x
n
)) = g(b) = g(f(a)) = (g f)(a).
//
La siguiente proposici on ayuda a reducir la noci on de continuidad a nociones ya conocidas.
Proposicion 6.3.3 Sean X R, a X y
f : X R
una funcion. Los siguientes enunciados son equivalentes:
1
Estrictamente hablando, no hemos denido 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 i
Y ;R
f.
98
(1) f es continua en a.
(2) a es aislado en X o lm
xa
f(x) = f(a).
(3) > 0 > 0 x X ([x a[ < [f(x) f(a)[ < )
Demostraci
on:
Supongamos (1) y que a no sea asilado en X, esto es, a X
.
Sea x
n
)
nN
una sucesion en X a tal que
lm
n+
x
n
= a.
Como x
n
) es, en particular, una sucesion en X, por continuidad, se verica que
lm
xa
f(x) = f(a)
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 verica.
Si lm
xa
f(x) = f(a): Por la proposici on 6.1.13, tenemos que
> 0 x X (0 < [x a[ < [f(x) f(a)[ < ).
Teniendo en cuenta que
[f(x) f(a)[ = 0 < six = a,
(3) se verica.
En sntesis, (2) (3).
Supongamos (3) y sea x
n
)
nN
una sucesion en X tal que
lm
n+
x
n
= a.
Por denici on de lmite (de sucesiones), existe n
0
N tal que
[x
n
a[ < si n > n
0
,
de manera que
[f(x
n
) L[ < si n > n
0
//
99
Ejemplo 6.3.4 Toda funcion
f : Z R
es continua, ya que todos los puntos de Z son aislados.
Esta proposici on permite obtener algunos resultados completamente an alogos a los de la
secci on anterior.
Corolario 6.3.5 Sean X R, Y X y
f : X R
una funcion.
Si f es una funcion continua, entonces f[
Y
tambien es una funcion continua.
Demostraci
on:
Sea a X.
Si a / Y
, por la proposicion 6.3.3, f[

Y
es continua en a.
Por otro lado, si a Y
, entonces a X
(confronte los ejercicios de la secci on 5.4). Luego,

por la misma proposicion,
lm
xa
f(x) = f(a),
de manera que, por la proposici on 6.1.7,
lm
xa
f[
Y
(x) = f(a) = f[
Y
(a)
y, por la proposici on 6.3.3, f[
Y
es continua en a.
//
De manera parecida se prueban los 3 corolarios a continuaci on. 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
g
es una funcion continua si 0 / g[D(g)].
100
Corolario 6.3.8 Todo polinomio es una funcion continua.
Denici on 6.3.9 Sean r > 0, x
0
R y f : (x
0
r, x
0
+r) R una funcion.
f es analtica si existe una sucesion a
n
)
nN{0}
tal que
f(x) =
+
k=0
a
k
(x x
0
)
k
, para cada x (x
0
r, x
0
+r)
y r es el radio de convergencia de la serie (posiblemente innito).
Por razones de simplicidad, s olo trataremos las funciones analticas con x
0
= 0.
Corolario 6.3.10 Toda funcion analtica es continua.
Demostraci
on:
Sean r > 0, a
n
)
nN{0}
una sucesion y
f : (r, r) R denida por f(x) =
+
k=0
a
k
x
k
, para cada x (r, r)
tal que r sea el radio de convergencia de la serie. Para simplicar la notaci on, sea
f
n
: (r, r) R denida por f
n
(x) =
n
k=0
a
k
x
k
,
para cada n N 0.
Sean > 0 y a (r, r).
Con esta notacion, la proposicion 4.4.4 arma que existe n
0
0
y
x [c, c], entonces
[f
n
(x) f(x)[ <

3
.
Como f
n
0
+1
es continua en a, por la proposicion 6.3.3, existe > 0 tal que
x (r, r)
_
[x a[ < [f
n
0
+1
(x) f
n
0
+1
(a)[ <

3
_
.
As, si x (r, r) es tal que [x a[ < , tenemos que
[f(x) f(a)[ [f
n
0
+1
(x) f(x)[ +[f
n
0
+1
(x) f
n
0
+1
(a)[ +[f
n
0
+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
f : X R
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.
Demostraci
on:
Para probar la primera implicaci on, supongamos que f sea continua y sea A R abierto.
Si a f
1
[A], f(x) Aque 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 =
_
af
1
[A]
(a
a
, a +
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 implicaci on.
Para probar la implicaci on 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 [xa[ < ,
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 implicaci on restante.
//
102
6.4. Funciones continuas en un intervalo
Proposicion 6.4.1 Sean I R y
f : I R
una funcion continua.
Si I es un intervalo, entonces f(I) tambien es un intervalo.
Demostraci
on:
En efecto, por el corolario 5.1.13, tenemos que I es conexo y bastar a probar que f(I) tam-
bien 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 ,= , f(I) B ,= , pero (f(I) A) (f(I) B) = .
Por la proposici on 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.
Adem as, jando a f(I) A ,= , existe b I tal que f(b) = a A, de manera que
b f
1
[A] = C I ,= . Un razonamiento an alogo prueba que D I ,= .
Por ultimo, 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 secci on para una demostracion alternativa de la proposici on
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
n
.
Si a 1, se verica que f(a) = a
n
a y que f(1) = 1 a. Luego, existe b [1, a] tal que
b
n
= a.
Si 0 a < 1, se verica que f(0) = 0 a y que f(1) = 1 > a. Luego, existe b [0, 1) tal
que b
n
= a.
Ademas, si a < 0, como a > 0, existe c > 0 tal que c
n
= a. Ahora, si n es impar, basta
tomar b = c para que se verique que b
n
= (c)
n
= c
n
= (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 armaciones del ejemplo anterior quedara como ejercicio.
Proposicion 6.4.5 Sean I R un intervalo y
f : I J
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 demostraci on quedara como ejercicio.
Ejemplo 6.4.6 Sean n, m N, con n par y m impar, y sean
f : [0, +) [0, +) denida por f(x) =
n
x
y
g : R R denida por g(x) =
m
x.
f y g son funciones continuas.
104
6.5. Funciones continuas en un conjunto compacto
Proposicion 6.5.1 Sean K R y
f : K R
Si K es compacto, entonces f(K) es compacto.
Demostraci
on:
En efecto, por el corolario 5.5.5, tenemos que toda sucesion en K posee una subsucesi on
que converge en K y bastara probar que toda sucesion en f(K) posee una subsucesi on que
converge en f(K).
Sea y
n
)
nN
una sucesion en f(K). Por denici on de imagen, existe una sucesi on x
n
)
nN
tal que
y
n
= f(x
n
) para cada n N.
Por hipotesis, existe una subsucesi on x
n
k
)
kN
tal que lmx
n
k
K, de manera que, como f
es una funci on continua, tenemos que
lmy
n
k
= lmf(x
n
k
) = f(lm(x
n
k
)) f(K).
//
Teorema 6.5.2 (Weierstrass) Sean K R y
f : K R
Si K es compacto, entonces existen x
1
, x
2
K tales que
f(x
1
) f(x) f(x
2
) para cada x K.
Corolario 6.5.3 Toda funcion de dominio compacto es acotada.
Proposicion 6.5.4 Sean K, Y R y
f : K Y
una biyeccion continua.
Si K es compacto, entonces f
1
es continua.
Demostraci
on:
Sea b Y arbitrario y supongamos que f
1
no fuese continua en b, esto es, existe
0
> 0
tal que
n N y
n

_
b
1
n
, b +
1
n
_
Y [f
1
(y
n
) f
1
(b)[
0
.
105
Claramente, lmy
n
= b.
Deniendo a = f
1
(b) y x
n
= f
1
(y
n
) para cada n N, podemos considerar una subsuce-
si on x
n
k
) que converge a c K (digamos). Como
[x
n
a[
0
para cada n N,
una aplicacion del corolario 4.1.20 revela que c ,= a.
Por otro lado, como f es continua, tenemos que
lmy
n
k
= lmf(x
n
k
) = f(c).
Sin embargo,
lmy
n
= b = f(a),
de manera que f(c) = f(a).
Esto contradice la hip otesis que f es inyectiva y el enunciado se sigue.
//
106
6.6. Continuidad uniforme
Denici on 6.6.1 Sean X R y
f : X R
una funcion.
f es uniformemente continua si para cada par de sucesiones x
n
)
nN
e y
n
)
nN
en X
se tiene que
lm
n+
(f(x
n
) f(y
n
)) = 0 si lm
n+
(x
n
y
n
) = 0.
Es inmediato vericar que toda funci on uniformemente continua es continua, ya que basta
tomar y
n
= a para cada n N.
A primera vista puede parecer que el recproco es valido, es decir, que toda funci on continua
es uniformemente continua. Esto esta aparentemente probado por la cadena de implicaciones
lm(x
n
y
n
) = 0 lmx
n
= lmy
n
f(lmx
n
) = f(lmy
n
)
lmf(x
n
) = lmf(y
n
) lm(f(x
n
) f(y
n
)) = 0.
Sin embargo, hay dos casos posibles en los que este razonamiento puede fallar: si x
n
) no
es acotada y si converge fuera del domino de f (de manera que f(lmx
n
) carecera de sentido).
2
es continua pero no es uniformemente continua. En efecto:
La sucesiones
x
n
= n +
1
n
_
nN
e y
n
= n)
nN
verican que
lm(x
n
y
n
) = lm
1
n
= 0.
Sin embargo,
lm(f(x
n
) f(y
n
)) = lm
_
_
n +
1
n
_
2
n
2
_
= lm
_
2 +
1
n
_
= 2 ,= 0.
f : R 0 R denida por f(x) =
1
x
es continua pero no es uniformemente continua. En efecto:
La sucesiones
x
n
=
1
2n
_
nN
e
y
n
=
1
n
_
nN
verican que
lm(x
n
y
n
) = lm
_
1
2n
_
= 0.
Sin embargo,
lm(f(x
n
) f(y
n
)) = lm(2n n) = lmn = +.
107
Proposicion 6.6.4 Sea K R y
f : K R
Si K es compacto, entonces f es uniformemente continua.
Demostraci
on:
Supongamos que f no sea uniformemente continua, esto es, que existen dos sucesiones
x
n
)
nN
e y
n
)
nN
en K tales que lm(x
n
y
n
) = 0 pero que no verican que
lm(f(x
n
) f(y
n
)) = 0.
Para cada n N, sea z
n
= f(x
n
) f(y
n
). Es claro que z
n
)
nN
es acotado (pues f(K) es
compacto), de manera que, por el corolario 4.1.21, la sucesion posee un valor de adherencia
a ,= 0, esto es, existe una subsucesion z
n
k
)
kN
tal que lmz
n
k
= a.
Ahora, como K es compacto, la sucesi on y
n
k
)
kN
posee una subsucesi on convergente
_
y
n
k
l
_
lN
(por el corolario 5.5.5) y, por la misma razon, la sucesion
_
x
n
k
l
_
lN
posee una subsucesi on convergente
_
x
n
k
l
j
_
jN
.
Es claro que
lmx
n
k
l
j
= lmy
n
k
l
j
,
pues lm(x
n
y
n
) = 0, de manera que
lmz
n
k
l
j
= lm
_
f
_
x
n
k
l
j
_
f
_
y
n
k
l
j
__
= f
_
lmx
n
k
l
j
_
f
_
lmy
n
k
l
j
_
= 0,
lo cual es una contradicci on pues lmz
n
k
= a.
//
Una fuente natural de funciones uniformemente continuas son las funciones Lipschitzianas:
Denici on 6.6.5 Sean X R y
f : X R
una funcion.
f es lipschitziana si
l 0 x, y X [f(x) f(y)[ l[x y[.
En caso armativo, l es la constante de Lipschitz de f.
Proposicion 6.6.6 Toda funcion lipschitziana es uniformemente continua.
108
f : [0, 1] R
es uniformemente continua pero no es lipschitziana.
Demostrar las armaciones del ejemplo anterior quedara como ejercicio.
Cerraremos el captulo con dos criterios de no continuidad uniforme.
f : X R
una funcion uniformemente continua.
Si Y X es acotado, entonces f(Y ) es acotado.
Demostraci
on:
Supongamos que f(Y ) no sea acotado (inferiormente, para jar ideas).
Entonces podemos denir inductivamente una sucesi on z
n
)
nN
en f(Y ) tal que
z
n+1
< z
n
1 para cada n N.
Por denici on de imagen, existe una sucesi on x
n
)
nN
en Y tal que
z
n
= f(x
n
) para cada n N.
Como x
n
) es claramente acotada, por el Teorema de Bolzano-Weierstrass, posee una subsuce-
si on convergente x
n
k
)
kN
.
La sucesion y
k
= x
n
k
+1
)
nN
verica claramente que lm(x
n
k
y
k
) = 0. Sin embargo,
f(x
n
k
) f(y
k
) = f(x
n
k
) f(x
n
k
+1
) = z
n
k
z
n
k
+1
> 1,
lo cual implica, en particular, que no se verica que lm(f(x
n
k
) f(y
k
)) = 0, contradiciendo la
hip otesis que f es uniformemente continua.
//
Ejemplo 6.6.9 La funcion tangente no es uniformemente continua pues la imagen del inter-
valo
_
2
,

2
_
no es acotada.
y
f : X R
una funcion uniformemente continua.
lm
xa
f(x)
existe.
109
6.7. Ejercicios
Secci on 1: 1. Sean X R, a X
y
f : X R
una funcion.
Pruebe que
lm
xa
f(x) =
si y s olo si
lm
xa
1
f(x)
= 0 y lm
xa
(f(x) [f(x)[) = 0.
2. Demuestre las proposiciones 6.1.6, 6.1.7, 6.1.8, 6.1.9 y 6.1.12.
Secci on 2: 1. Pruebe la proposici on 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 : X R
una funcion mon otona y acotada. Pruebe que
D := a X
+
X
: f(a+) ,= f(a)
es numerable.
Secci on 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 : X R
una funcion.
En estas condiciones, f es continua si y s olo 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 : X R
una funcion.
Pruebe que f es continua si y s olo 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.
Secci on 4: 1. Demuestre el teorema 6.4.2.
3. Sean X R, c X y
f : X R
una funcion.
Defnase que c es un punto jo de f si f(c) = c.
Si X es un intervalo cerrado, pruebe que f posee, por lo menos, un punto jo.
5. Se verica que la inversa de cualquier funcion continua y biyectiva es continua?
Secci on 5: 1. Sean a, b R y
f : [a, b] R
Pruebe que no existen X, Y R tales que X

Y = [a, b] y f[X] = f[Y ].
2. Sean X R y
f : R R
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 x
1
, x
2
X tales que
f(x
1
) f(x) f(x
2
) para cada x X.
111
3. Sean K R y
f : K R
Si K es compacto, pruebe que
> 0 l
0 x, y K ([x y[ [f(x) f(y)[ l
[x y[).
Secci on 6: 1. Sean X R y
f : X R
una funcion.
Pruebe que f es uniformemente continua si y s olo 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? Justique su respuesta.
6. Pruebe que la funci on
f : R 0 R denida por f(x) = cos
1
x
no es uniformemente continua.
7. Sean X R cerrado y
f : X X
una contraccion, es decir, una funci on con constante de Lipschitz l < 1. Pruebe
que:
(1) Para cualquier x
1
X, la sucesion x
n
)
nN
denida inductivamente por
x
n+1
= f(x
n
) para cada n N, converge a un punto jo de f.
(2) f posee un unico punto jo.
112
Captulo 7
Derivadas
Denici on 7.1.1 Sean X R, a X X
y
f : X R
una funcion.
La derivada de f en a es
f
(a) := lm
xa
f(x) f(a)
x a
si este lmite existe.
f es derivable en a si f
(a) existe.
Geometricamente, el cociente
f(x) f(a)
x a
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 posici on 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 denicion, la pendiente
de la curva en (a, f(a)).
p : R R denida por p(x) = x
n
,
donde n N 0.
Si x, a R, sabemos del algebra que
x
n
a
n
= (x a)
n
k=1
(x
nk
a
k1
).
Luego,
p
(a) := lm
xa
f(x) f(a)
x a
= lm
xa
n
k=1
(x
nk
a
k1
) =
n
k=1
lm
xa
(x
nk
a
k1
) =
n
k=1
a
n1
= n a
n1
.
Proposicion 7.1.3 Sean X R, a X X
y
f : X R
una funcion.
Si f es derivable en a, entonces f es continua en a.
115
Demostraci
on:
Claramente,
f(x) = f(x) f(a) +f(a) = (x a)
f(x) f(a)
x a
+f(a),
de manera que, por la proposicion 6.1.9, la denici on de derivada y la continuidad de los
polinomios,
lm
xa
f(x) = lm
xa
(x a) lm
xa
f(x) f(a)
x a
+ lm
xa
f(a) = 0 f
(a) +f(a) = f(a).

Luego, el enunciado queda probado por la proposici on 6.3.3.
//
f : R 0 R denida por f(x) = x cos
1
x
.
f es continua en 0, como hemos visto en el ejemplo, 6.1.5. Sin embargo, f no es derivable
en 0.
y
f, g : X R
dos funciones derivables en a.
1. (f g)
(a) = f
(a) g
(a)
2. (f g)
(a) = f
(a)g(a) +f(a)g
(a)
3.
_
1
g
_
(a) =
g
(a)
g
2
(a)
4.
_
f
g
_
(a) =
f
(a)g(a) f(a)g
(a)
g
2
(a)
Demostraci
on:
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
lm
xa
(f g)(x) (f g)(a)
x a
= lm
xa
f(x) f(a)
x a
lm
xa
g(x) g(a)
x a
,
de manera que
(f g)
(a) = f
(a) g
(a),
por denicion 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)
x a
=
(f(x) f(a))g(x) +f(a)(g(x) g(a))
x a
=
f(x) f(a)
x a
g(x) +f(a)
g(x) g(a)
x a
.
Teniendo en cuenta que
lm
xa
g(x) = g(a),
ya que g es derivable y, por tanto, continua en a, la proposicion 6.1.9, la denicion de
derivada y la continuidad de los polinomios nos permiten concluir que
(f g)
(a) = lm
xa
_
f(x) f(a)
x a
g(x) +f(a)
g(x) g(a)
x a
_
= lm
xa
f(x) f(a)
x a
lm
xa
g(x) + lm
xa
f(a) lm
xa
g(x) g(a)
x a
= f
(a)g(a) +f(a)g
(a),
lo cual prueba el apartado.
3. La prueba de este apartado quedar a como ejercicio.
4. Es consecuencia inmediata de los dos apartados anteriores.
//
Ejemplo 7.1.6 El polinomio
p(x) =
n
k=0
a
k
x
k
es derivable ya que, en virtud del ejemplo 7.1.2 y de la proposicion 7.1.5,
p
(x) =
n
k=0
ka
k
x
k1
=
n1
k=0
(k + 1)a
k+1
x
k
.
Proposicion 7.1.7 (Regla de la Cadena) Sean X, Y R, a X X
y
f : X Y, g : Y R
dos funciones tales que f(a) Y Y
.
Si f es derivable en a y g es derivable en f(a), entonces (g f)
(a) = g
(f(a)) f
(a).
Demostraci
on:
Sean x
n
)
nN
una sucesion en X a que converge a a, y
n
= f(x
n
))
nN
, b = f(a)
z
n
= g(y
n
))
nN
y c = g(b). Con esta notaci on,
z
n
c
x
n
a
=
g(y
n
) g(b)
y
n
b

f(x
n
) f(a)
x
n
a
117
y queremos probar que
lm
z
n
c
x
n
a
= g
(b) f
(a).
Sean P = n N : f(x
n
) ,= a y Q = n N : f(x
n
) = a (confronte los ejercicios de la
secci on 4.1).
Si P es innito,
lm
(z[
P
)
k
c
(x[
P
)
k
a
= lm
g((y[
P
)
k
) g(b)
(y[
P
)
k
b
lm
f((x[
P
)
k
) f(a)
x
k
a
= g
(b) f
(a).
Si Q es innito, las sucesiones (y[
Q
)
k
= f((x[
Q
)
k
)) y (z[
Q
)
k
= g((y[
Q
)
k
)) son constantes,
de manera que f
(a) = 0 y, por tanto,

lm
(z[
Q
)
k
c
(x[
Q
)
k
a
= 0 = g(b) f
(a).
En cualquier caso, tenemos que
lm
z
n
c
x
n
a
= g
(b) f
(a)
//
Corolario 7.1.8 Sean X, Y R, a X X
y f : X Y una biyeccion que verica 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
(a) ,= 0.
(2) En caso armativo, (f
1
)
(b) =
1
f
(a)
.
Demostraci
on:
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
)
(b)f
(a) =
1, lo cual prueba (2) con esta hipotesis. En particular, f
(a) = 0, lo cual prueba la implicacion

de izquierda a derecha de (1).
Si f
(a) ,= 0:
Como a X
, existe una sucesion a

n
)
nN
en Xa que converge a a. Como f es inyectiva
y continua en a, la sucesion b
n
= f(a
n
))
nN
est a en Y b y converge a b. Luego, b Y Y
y la noci on de derivada tiene sentido.

Sea y
n
)
nN
una sucesion en Y b tal que lmy
n
= b. Como f
1
es inyectiva y continua
en b, la sucesi on x
n
= f
1
(y
n
))
nN
est a en X a y lmx
n
= a. Luego,
(f
1
)
(b) = lm
f
1
(y
n
) f
1
(b)
y
n
b
= lm
_
y
n
b
f
1
(y
n
) f
1
(b)
_
1
= lm
_
f(x
n
) a
x
n
a
_
1
=
1
f
(a)
,
lo cual prueba (2) con esta hipotesis. En particular, f
1
es derivable en b, lo cual prueba la
implicaci on restante de (1).
//
118
3
.
Esta funcion posee inversa
g : R R denida por g(y) =
3
y.
Por el corolario 7.1.8, g no es derivable en el 0 (pues f
(0) = 0) y
g
(y) =
1
3(
3
y)
2
=
1
3
y
2
3
para cada y R 0.
119
7.2. Derivadas laterales
f : X R
una funcion.
Si a X
,
, la derivada lateral derecha de f en a es
f
+
(a) := lm
xa+
f(x) f(a)
x a
Si a X
, la derivada lateral derecha de f en a es

f
(a) := lm
xa
f(x) f(a)
x a
Solamente enunciaremos proposiciones respecto al lmite lateral derecho. Los resultados
an alogos para el lmite lateral izquierdo se obtienen aplicando estas proposiciones a f(x).
+
y
f : X R
una funcion.
Si f
+
(a) > 0, entonces existe > 0 tal que
f(a) < f(x) para cada x X (a, a +).
Demostraci
on:
Tomando = f
+
(a) > 0 en la proposici on 6.2.6, tenemos que existe > 0 tal que
f(x) f(a)
x a
f
+
(a)
< f
+
(a) para cada x X (a, a +).
As si x X (a, a +),
f(x) f(a)
x a
> f
+
(a) f
+
(a) = 0,
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
+
X
y
f : X R
una funcion.
Si f
+
(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 +.
f : X R
una funcion.
f posee un maximo 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 maximo 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.
+
y
f : X R
una funcion.
Si f posee un maximo local en a y f
+
(a) existe, entonces f
+
(a) 0.
+
X
y
f : X R
una funcion.
Si f es derivable en a y posee un maximo o mnimo local en a, entonces f
(a) = 0.
f : R R denida por f(0) = 0 y f(x) =
x
2
+x
2
cos
1
x
si x ,= 0.
Claramente,
f
(0) = lm
x0
x
2
+x
2
cos
1
x
x
=
1
2
+ lm
x0
_
x cos
1
x
_
= 1 + 0 = 1.
A pesar de lo que arma el corolario 7.2.4, no existe r > 0 tal que f sea creciente en (r, r).
121
f : [0, 1] R denida por f(x) = x.
Aunque f posee un maximo local en 1, f
(1) = 1.
Esto prueba que la hipotesis a X X
+
X
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
(a) < d < f
(b), entonces existe c (a, b) tal que f
(c) = d.
Demostraci
on:
Sea
g : [a, b] R denida por g(x) = f(x) dx.
Claramente, g es derivable (y, por tanto, continua) y g
(a) = f
(a)d < 0 < f
(b)d = g
(b).
Por el Teorema de Weierstrass, existe c [a, b] tal que g posea un m aximo absoluto en c.
Como g
(a) < 0, por la proposici on 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]
+
[a, b]
, y el corolario 7.2.7 prueba que g
(c) = 0, de manera que f
(c) = d.
//
Considerando f
como funci on, el Teorema de Darboux arma que f
posee la propiedad
del valor intermedio si f es derivable y D(f) es un intervalo. Sin embargo, esto no implica que
f
sea continua.
f : R R denida por f(0) = 0 y f(x) = x
2
cos
1
x
si x ,= 0.
f es derivable (en particular, en 0), pero
lm
x0
f
(x)
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
(c) = 0.
123
Demostraci
on:
El enunciado es trivialmente cierto si f es constante. Supongamos lo contrario.
Por el Teorema de Weierstrass, existen x
1
, x
2
[a, b] tales que
f(x
1
) f(x) f(x
2
) para cada x [a, b].
Como f no es constante, f(x
1
) ,= f(x
2
), de manera que, como f(a) = f(b), x
1
, x
2
, a, b.
Sea c x
1
, x
2
(a, b).
Por el corolario 7.2.7, f
(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
(c) =
f(b) f(a)
b a
.
Demostraci
on:
Sea
g : [a, b] R denida por g(x) = f(x) (x a)
f(b) f(a)
b a
.
Claramente, g es continua en [a, b], derivable en (a, b) y se verica que
g(b) = f(b) (b a)
f(b) f(a)
b a
= f(b) (f(b) f(a)) = f(a) = g(a).
Luego, por el Teorema de Rolle, existe c (a, b) tal que g
(c) = 0, esto es,

f
(c)
f(b) f(a)
b a
= 0
o bien,
f
(c) =
f(b) f(a)
b a
.
//
Geometricamente, el Teorema del Valor Medio de Lagrange arma que por lo menos una de
las tangentes a la curva denida 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 : I R
Si f
(x) = 0 para cada x int I, entonces f es constante.

124
f, g : I R
dos funciones continuas.
Si f
(x) = g
(x) para cada x int I, entonces existe c R tal que g(x) = f(x) + c para
cada x I.
f : I R
Si f
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, p
es acotada en X.
Luego, (p[
X
)
es acotada y, por el corolario 7.3.7, p[

X
es lipschitziana.
f : I R
f es creciente si y solo si f
(x) 0 para cada x I.

Ademas, si f
(x) > 0 para cada x I, entonces f es estrictamente creciente.

Las demostraciones de estos corolarios son inmediatas y quedaran como ejercicio.
3
.
p es estrictamente creciente, pero p
(0) = 0.
125
7.4. Funciones convexas
Denici on 7.4.1 Sean I un intervalo y
f : I R
una funcion.
f es convexa si para cada par de puntos a, b int I y cada t [0, 1], se verica que
f((1 t)a +tb) (1 t)f(x) +tf(y).
f es concava si para cada par de puntos a, b int I y cada t [0, 1], se verica 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 s olo si el
gr aco de f se sit ua bajo cualquiera de sus secantes.
Claramente, f es c oncava si y solo si f es convexa. Por tanto, solo enunciaremos propo-
siciones respecto a funciones convexas.
Lema 7.4.2 Sean I un intervalo y
f : I R
una funcion. Los enunciados a continuacion son equivalentes:
(1) f es convexa.
(2)
f(v) f(u)
v u

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

f(w) f(u)
w u
para cada u, v, w I tales que u < v < w.
2
.
Si u < v < w, en particular,
p(v) p(u)
v u
v
2
u
2
v u
= v +u < w +u =
w
2
u
2
w u
=
p(w) p(u)
w u
,
de manera que p es convexa.
Proposicion 7.4.4 Sean I un intervalo y
f : I R
una funcion.
Si f es convexa, entonces f
+
(c) existe para cada c int I.
126
Demostraci
on:
Fijemos c int I y sea
: I R denida por (x) =
f(x) f(c)
x c
.
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,
(x) =
f(x) f(c)
x c

f(y) f(c)
y c
= (y).
Luego, es creciente en I (c, +).
Como c int I, podemos jar 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)
x c

f(c) f(a)
c a
,
lo cual prueba que es inferiormente acotada en I (c, +).
Por la proposici on 6.2.8,
f
+
(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.
Demostraci
on:
Sea x (a, b) = int (a, b). Por la proposici on 7.4.4 (y su an alogo), f
+
(x) y f
(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 v alido si el intervalo abierto
se sustituye por uno cerrado.
f : [0, 1] R denida por f(0) = 1 yf(x) = x
2
si x ,= 0.
Ya vimos que f[
(0,1]
es convexa. Ahora, si 0 < x < y 1,
f(x) f(0)
x 0
= 1
1
x
= 1
1
y
=
f(y) f(0)
y 0
,
lo cual prueba que f es convexa.
Sin embargo, f no es continua en 0.
127
Proposicion 7.4.7 Sean I un intervalo y
f : I R
una funcion derivable. Los enunciados a continuacion son equivalentes:
(1) f es convexa.
(2) La derivada f
: I R es creciente.
(3) Se verica que f(x) f(a) + (x a)f
(a), para cada a, x I.

Geometricamente, (3) arma que el gr aco de f se sit ua por encima de cualquiera de sus
tangentes.
Demostraci
on:
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(x) f(a)
x a

f(b) f(a)
b a

f(x) f(b)
x b
.
Luego, por el corolario 6.1.14,
f
+
(a)
f(b) f(a)
b a
f
(b),
de manera que, como f es derivable,
f
(a) f
(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
(c) =
f(x) f(a)
x a
,
o bien,
f(x) = f(a) + (x a)f
(c).
Si a < x, como f
es creciente, f
(c) f
(a). Ademas, x a 0, de manera que

f(x) f(a) + (x a)f
(a).
Si a > x, como f
es creciente, f
(c) f
(a). Ademas, x a 0, de manera que

f(x) f(a) + (x a)f
(a).
Luego, (2) se sigue y esto prueba que (2) (3).
128
Supongamos (3) y sea x, y I tales que x < y.
Por hip otesis,
f(x) f(y)+(xy)f
(y) (f(x)+(yx)f
(x))+(xy)f
(y) = f(x)+(yx)(f
(x)f
(y)),
de manera que
0 (y x)(f
(x) f
(y)), o bien, f
(x) f
(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
(c) =
f(w) f(u)
w u
.
Claramente, c < v o v < c.
Si c < v, por el Teorema del Valor Medio de Lagrange, existe d (v, w) tal que
f
(d) =
f(v) f(w)
v w
.
Como f
(d) f
(c) (pues f
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
(d) =
f(v) f(u)
v u
.
Como f
(d) f
(c) (pues f
es creciente), se sigue el apartado (2) del lema 7.4.2 y, por tanto,

que f es convexa.
//
Corolario 7.4.8 Una funcion convexa alcanza un mnimo absoluto en cada uno de sus puntos
crticos.
f : I R
una funcion dos veces derivable (f
es derivable).
f es convexa si y solo si f
(x) 0 para cada x I.

129
7.5. Ejercicios
Secci on 1: 1. Demuestre las armaciones del ejemplo 7.1.4.
2. Demuestre el apartado 3 de la proposicion 7.1.5.
3. Sean X R, a X X
+
X
,
f : X R
una funci on derivable en a y x
n
)
nN
e x
n
)
nN
dos sucesiones tales que lmx
n
=
lmy
n
= a.
(1) Si x
n
< a < y
n
para cada n N, pruebe que lm
f(x
n
) f(y
n
)
x
n
y
n
= f
(a).
(2) De un ejemplo para probar que si a < x
n
< y
n
para cada n N, en general,
lm
f(x
n
) f(y
n
)
x
n
y
n
no existe.
6. Sean I un intervalo, c I I
y
f : I R
Defnase que c es un punto crtico de f si f
(c) = 0.
Si c es un punto crtico de f y f
(c) := (f
(c) ,= 0, pruebe que f posee un

m aximo o un mnimo local en f.
7. Sean I un intervalo y
f : I R
Si c
n
)
nN
es una sucesion de puntos crticos de f, c = lmc
n
tambien es un punto
crtico y f
(c) existe, pruebe que f
(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 unico c (a, b) tal que f(c) = d.
131
132
Captulo 8
La Integral de Riemann
A lo largo de esta secci on, siempre consideraremos que a, b R, con a < b, que
f, g : [a, b] R
son funciones acotadas y que
P = p
0
, , p
n
,
Q = q
0
, , q
m
satisfacen que
a = p
0
< < p
n
= b y a = q
0
< < q
n
= b,
es decir, que P y Q son particiones por intervalos de [a, b].
Claramente,
b a =
n
i=1
t
i
t
i1
.
Adem as, 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([p
i1
, p
i
])
M(f, P, i) = sup f([p
i1
, p
i
])
(f, P, i) = M(f, P, i) m(f, P, i)
Denici on 8.1.1
La suma inferior de f respecto a la particion por intervalos P es
s(f, P) :=
n
i=1
(t
i
t
i1
)m(f, P, i).
La suma superior de f respecto a la particion por intervalos P es
S(f, P) :=
n
i=1
(t
i
t
i1
)M(f, P, i).
Claramente, se verica que
(b a)m(f) s(f, P) S(f, P) (b a)M(f)
y que
S(f, P) s(f, P) =
n
i=1
(t
i
t
i1
)(f, P, i).
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 gr aco de f y las rectas y = 0, x = a y x = b.
135
Proposicion 8.1.2 Si P Q, entonces s(f, P) s(f, Q) y S(f, Q) S(f, P).
Demostraci
on:
Supongamos inicialmente que existe r R tal que Q = Pr y sea j tal que p
j1
< r < p
j
.
Sean m = m(f, P, j), m
1
= nf f([p
j1
, r]) y m
2
= nf f([r, p
j
]). Claramente, m m
1
,
m m
2
y p
j
p
j1
= (p
j
r) + (r p
j1
).
Luego,
s(f, Q)s(f, P) = m
2
(p
j
r)+m
1
(rp
j1
)m(p
j
p
j1
) = (m
2
m)(p
j
r)+(m
1
m)(rp
j1
),
de manera que s(f, Q) s(f, P) 0. El resultado general se demuestra extendiendo lo demos-
trado por inducci on.
An alogamente, se prueba que S(f, Q) S(f, P).
//
Corolario 8.1.3 Para P y Q cualesquiera, s(f, P) S(f, Q).
Demostraci
on:
Como P P Q y Q P Q, por la proposicion 8.1.2, se verica que
s(f, P) s(f, P Q) S(f, P Q) S(f, Q).
//
Denici on 8.1.4 La integral inferior y la integral superior de f (entre a y b) son,
respectivamente,
_
b
a
f(x) dx := sups(f, P) : P es una partici on por intervalos de [a, b]
y
_
b
a
f(x) dx :=nfS(f, P) : P es una partici on por intervalos de [a, b].
Corolario 8.1.5 La integral inferior y la integral superior siempre existen y verican que
(b a)m(f)
_
b
a
f(x) dx
_
b
a
f(x) dx (b a)M(f)
Demostraci
on:
En efecto, tomando supremo sobre las particiones por intervalos P de [a, b] en la desigualdad
del corolario 8.1.3, tenemos que
_
b
a
f(x) dx S(f, Q).
Tomando luego nmo sobre las particiones por intervalos Q de [a, b], queda
_
b
a
f(x) dx
_
b
a
f(x) dx.
//
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
a
f(x) dx = 0 y
_
b
a
f(x) dx = 1.
Denici on 8.1.7 f es integrable si
_
b
a
f(x) dx =
_
b
a
f(x) dx.
En caso armativo, la integral de f (entre a y b) es
_
b
a
f(x) dx :=
_
b
a
f(x) dx.
Geometricamente, si f([a, b]) [0, +) y f es integrable, la integral de f es, por denici on,
el area comprendida entre el gr aco 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
_
b
a
f(x) dx = (b a)c.
Proposicion 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) < .
Demostraci
on:
Supongamos (1). Por denici on de supremo e nmo, existen P y Q tales que
s(f, P) >
_
b
a
f(x) dx

2
y
S(f, Q) <
_
b
a
f(x) dx +

2
.
Siendo f integrable, esto implica que
S(f, Q) s(f, P) <

2
+

2
=
137
Supongamos (2). La proposici on 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 hip otesis, existe P tal que S(f, P) s(f, P) < .
Ahora, como
_
b
a
f(x) dx S(f, P) y
_
b
a
f(x) dx s(f, P),
tenemos que
_
b
a
f(x) dx
_
b
a
f(x) dx S(f, P) s(f, P) <
//
Ejemplo 8.1.10 Si f(x) = c para cada x (a, b), entonces
_
b
a
f(x) dx = (b a)c,
independientemente del valor de f(a) y f(b).
Lema 8.1.11 Para cada Q,
_
b
a
f(x) dx = sups(f, P) : P es una partici on por intervalos de [a, b] y P Q
y
_
b
a
f(x) dx =nfS(f, P) : P es una partici on por intervalos de [a, b] y P Q.
Proposicion 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 armativo,
_
b
a
f(x) dx =
_
c
a
f(x) dx +
_
b
c
f(x) dx,
donde las integrales del miembro derecho se denen de la manera obvia.
138
Demostraci
on:
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,
sup A +B =
_
b
a
f(x) dx.
Por otro lado,
sup A +B = sup A + sup B
(confronte los ejercicios de la seccion 3.1), de manera que
_
b
a
f(x) dx =
_
c
a
f(x) dx +
_
b
c
f(x) dx
y vale el resultado an alogo para integrales superiores.
Luego,
_
b
a
f(x) dx
_
b
a
f(x) dx =
__
c
a
f(x) dx
_
c
a
f(x) dx
_
+
__
b
c
f(x) dx
_
b
c
f(x) dx
_
,
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 armativo, vale la
igualdad para integrales.
//
Ejemplo 8.1.13 Una funcion escalonada es una funcion f tal que existe P y n umeros reales
c
1
, , c
n
que verican que f(x) = c
i
si t
i1
< x < t
i
.
_
b
a
f(x) dx =
n
i=1
(t
i
t
i1
)c
i
.
Proposicion 8.1.14 Si f y g son integrables y , R, entonces
_
b
a
(f(x) +g(x)) dx =
_
b
a
f(x) dx +
_
b
a
g(x) dx.
Proposicion 8.1.15 Si f y g son integrables y f(x) g(x) para cada x [a, b], entonces
_
b
a
f(x) dx
_
b
a
g(x) dx.
Corolario 8.1.16 Si f es integrable, entonces
_
b
a
f(x) dx
_
b
a
[f(x)[ dx.
Corolario 8.1.17 Si f es integrable y existe c R tal que f([a, b]) [c, c], entonces
_
b
a
f(x) dx
(b a)c.
Las cuatro demostraciones quedar an como ejercicio.
139
8.2. El Teorema de Riemann-Lebesgue
X tiene medida nula si para todo > 0, X posee un recubrimiento de la forma
F = (a
n
, b
n
) : n N a
n
< b
n
tal que
nN
(b
n
a
n
) < .
Ejemplo 8.2.2 Sea X un conjunto numerable. Entonces existe una funcion sobreyectiva
f : N X.
La familia
F =
__
f(n)

2
n+2
, f(n) +

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

2
n+2
_
_
f(n)

2
n+2
__
=
nN
2
n+1
=

2
< .
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 arma tambien el recproco, pero no lo proba-
remos.
Demostraci
on:
Sea > 0.
Como D tiene medida nula, existen intervalos abiertos I
1
= (a
1
, b
1
), tales que
D
_
kN
I
k
y
kN
(b
k
a
k
) <

2(f)
.
140
Sea x [a, b] D. Como f es continua en x, existe
x
> 0 tal que
[f(y) f(x)[ <

4(b a)
si [y x[ < .
Sea J
x
= (x
x
, x +
x
), para cada x [a, b] D.
Claramente,
[a, b]
_
_
kN
I
k
_
_
_
_
x[a,b]D
J
x
_
_
y como [a, b] es compacto, existen k
1
, , k
n
y x
1
, , x
m
tales que que
[a, b]
_
n
_
i=1
I
k
i
_
_
m
_
i=1
J
x
i
_
.
Sea P la partici on por intervalos de [a, b] formada por a, b y los extremos de los m + n
intervalos denido arriba que pertenecen a [a, b].
Sean A el conjunto de los subndices i tales que [t
i1
, t
i
] este contenido en alg un I
k
y
B = N
n
A, de manera que [t
i1
, t
i
] esta incluidos en alg un J
k
si i B. As,
iA
(t
i
t
i1
) <

2(f)
y (f, P, i) <

2(b a)
para cada i B.
Luego, como
S(f, P) s(f, P) =
iA
(t
i
t
i1
)(f, P, i) +
iB
(t
i
t
i1
)(f, P, i),
se sigue que
S(f, P) s(f, P) <

2(f)
(f) + (b a)

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
f
g
es integrable.
Las demostraciones de estos corolarios quedaran como ejercicio.
141
8.3. El Teorema Fundamental del Calculo
Usaremos como convenio de notaci on que
_
a
a
f(x) dx = 0
y que
_
a
b
f(x) dx =
_
b
a
f(x) dx
si la integral del miembro derecho existe.
Es facil vericar que la proposici on 8.1.12 se verica tambien con este convenio.
Teorema 8.3.1 (Fundamental del Calculo) Sean I un intervalo y
f, F : I R
dos funciones. Si f es continua, los enunciados a continuacion son equivalentes:
(1) Existe a I tal que F(x) = F(a) +
_
x
a
f(t) dt para cada x I.
(2) F
(x) = f(x) para cada x I.

Por denicion, (1) arma que F es una integral indenida de f y (2) arma que F es
una primitiva de f.
Demostraci
on:
Supongamos (1) y sean b, x I.
Como
F(x) F(b) = F(a) +
_
x
a
f(t) dt F(a)
_
b
a
f(t) dt =
_
x
b
f(t) dt
y
_
x
b
f(b) dt = (x b) f(b),
tenemos que
F(x) F(b)
x b
f(b) =
1
x b
_
x
b
(f(t) f(b)) dt.
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[ < ,
F(x) F(b)
x b
f(b)
1
[x b[
_
x
b
[f(t) f(b)[ dt
<
1
[x b[
[x b[ = .
Luego,
lm
xb
F(x) F(b)
x b
= f(b)
142
Supongamos (2) y jemos a I.
Sea
: I R denida por (x) =
_
x
a
f(t) dt.
Como (a) = 0, satisface (1) y, por tanto,
= 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 C alculo, la determinaci on de una integral de una
funci on 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 u
sea continua.
_
d
c
f(u(x)) u
(x) dx =
_
u(d)
u(c)
f(t) dt.
Demostraci
on:
Como f es continua, posee, por el Teorema Fundamental de C alculo, una primitiva F
(digamos) tal que
_
u(d)
u(c)
f(t) dt = F(u(c)) F(u(d)).
Por otro lado, la Regla de la Cadena tenemos que
(F u)
(t) = F
(u(t)) u
(t) = f(u(t)) u
(t) para cada t [c, d],

de manera que F u es una primitiva de la funcion continua (f u) u
. Por el Teorema
Fundamental del C alculo,
_
d
c
f(u(x)) u
(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.
_
b
a
u(x) v
(x) dx = (u v)(b) (u v)(a)

_
b
a
v(x) u
(x) dx.
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
_
b
a
f(x)(x) dx = f(c)
_
b
a
(x) dx.
Corolario 8.3.5 Sean a, b R y
f : [a, b] R
En estas condiciones, existe c [a, b] tal que
_
b
a
f(x) dx = f(c) (b a).
144
8.4. Funciones analticas
Proposicion 8.4.1 Sean a
n
)
nN{0}
una sucesion y
+
k=0
a
k
x
k
,
donde r > 0 es el radio de convergencia de la serie.
Si [, ] (r, r), entonces
_

f(x) dx =
+
k=0
a
k
k + 1
(
k+1
k+1
).
Demostraci
on:
Sea > 0.
Para simplicar la notaci on, sea
f
n
: (r, r) R denida por f
n
(x) =
n
k=0
a
k
x
k
,
para cada n N 0.
Con esta notacion, la proposicion 4.4.4 arma que existe n
0
0
y
x [, ] [m ax, , m ax, ], entonces
[f
n
(x) f(x)[ <

2(b a)
.
Como f es integrable (pues, por el corolario 6.3.10, es continua), tenemos que
f(x) dx
_

f
n
(x) dx
(f(x) f
n
(x)) dx
[f(x) f
n
(x)[ dx
(b a)

2(b a)
=

2
< .
Esto es,
_

f(x) dx = lm
_

f
n
(x) dx = lm
n
k=0
a
k
k + 1
(
k+1
k+1
) =
+
k=0
a
k
k + 1
(
k+1
k+1
).
//
n
)
nN{0}
una sucesion y
+
k=0
a
k
x
k
,
145
f
(x) =
+
k=0
(k + 1)a
k+1
x
k
para cada x (r, r).
La n-esima derivada de una funci on f se dene recursivamente por
f
(0)
(x) = f(x)
f
(n)
(x) = (f
(n1)
)
(x)
siempre que los miembros derechos tengan sentido.
n
)
nN{0}
una sucesion y
+
k=0
a
k
x
k
,
a
k
=
f
(k)
(x)
k!
para cada k N.
Corolario 8.4.4 Sean
+
k=0
a
k
x
k
y
+
k=0
b
k
x
k
series de potencias y sea r el menor radio de convergencia de estas.
Si existe X (r, r) tal que 0 X
y tal que
+
k=0
a
k
x
k
=
+
k=0
b
k
x
k
para cada x X,
entonces a
k
= b
k
para cada k N.
Ejemplo 8.4.5 Si consideramos sen y cos como funciones de R en R, entonces sen
= cos y
cos
= sen.
Ademas, se verica que
sen
2
x + cos
2
x = 1, [ sen x[ 1 y [ cos x[ 1 para cada x R.
146
Ejemplo 8.4.6 Para cada x R, se verican 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 jamos y R y denimos
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 verica que f
= g y g
= f.
Luego, (f
2
+g
2
)
= 2ff
+ 2gg
= 2fg + 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 vericar que sen 0 = 0 y que cos 0 = 1),
f(x) = g(x) = 0 para cada x R,
lo cual prueba la armacion.
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
cos x >
1
2
.
Por el Teorema del Valor Medio de Lagrange, existe c (0, 2) tal que
cos c =
sen 2 sen 0
2
=
sen 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 nmo. Denimos = 2nf X.
147
8.5. Logaritmos y exponenciales
Denici on 8.5.1 El logaritmo natural es la funcion
log : R
+
R
denida por
log x =
_
x
1
1
t
dt.
Es claro que log 1 = 0 y que log es derivable, ya que
log
(x) =
1
x
para cada x R
+
.
Dejaremos la mayora de las demostraciones como ejercicio, ya que son aplicaciones directas
de los resultados de la secci on 8.3.
Proposicion 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(x
r
) = r log x.
Corolario 8.5.4 log es biyectiva.
Denici on 8.5.5 La funcion exponencial exp : R R
+
es la inversa de la funcion log.
Proposicion 8.5.6
1. exp es biyectiva.
2. exp
= 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 denida por f(x) = log(1 +x)
cumple que
f
(x) =
1
1 +x
para cada x (1, +),
de manera que
lm
x0
log
_
(1 +x)
1
x
_
= lm
x0
log(1 +x)
x
= lm
x0
f(x) f(0)
x 0
= f
(0) = 1.
Por lo tanto,
lm
x0
(1 +x)
1
x
= lm
x0
exp
_
log
_
(1 +x)
1
x
__
= exp
_
lm
x0
log
_
(1 +x)
1
x
__
= exp(1).
Luego, basta recordar que lm
_
1 +
1
n
_
n
= e (confronte el ejemplo 4.3.5).
148
Como consecuencia inmediata, log e = 1.
Denici on 8.5.8
Si a (0, +) y x R, a
x
:= exp(x log a).
Si b (0, 1) (1, +) y x R
+
, log
b
x =
log x
log b
.
Las exponenciales y los logaritmos as denidos cumplen todas las propiedades conocidas
para cada a (0, 1) (1, +).
E1. x > 0 a
log
a
x
= x L1. log
a
a
x
= x
E2. a
x+y
= a
x
a
y
L2. xy > 0 log
a
(xy) = log
a
x + log
a
y
E3. (a
x
)
y
= a
xy
L3. x, y > 0 log
a
x
y
= y log
a
x
E4. x < y a > 1 a
x
< a
y
L4. x < y a > 1 log
a
x < log
a
y
E5. x < y a < 1 a
x
> a
y
L5. x < y a < 1 log
a
x > log
a
y
La demostracion de estas propiedades quedar a como ejercicio.
149
8.6. Ejercicios
8. La proposici on 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 denida por f(x) = 1 si x X y f(x) = 0 en caso contrario.
Pruebe que f es integrable y calcule su integral.
Secci on 3: 1. Sean I un intervalo, a I y
f, : I R
dos funciones.
Si f es acotada y
(x) =
_
x
a
f(x) dx para cada x I,
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 =

4
, x =

2
, x = y x = 2.
6. Pruebe que las funciones trigonometricas son peri odicas.
5. Demuestre las propiedades E1 - E5.
6. Demuestre las propiedades L1 - L5.
7. Calcule lm
x+
e
x
y lm
x
e
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 an alise volume 1, 11. ed., IMPA, Rio de Janeiro, 2004
153

Analisis Real

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

Analisis Real

Cargado por

Copyright:

Formatos disponibles

An

es el conjunto de los elementos que pertenecen a cada A

es el conjunto de los elementos que pertenecen a (por lo menos) un A

: L M una familia arbitraria.

arbitrario pero jo. Por denici on, L x A

arbitrario pero jo. Por denici on, L x A

. Esto prueba que x

. Luego, por la monotona de la inclusi on

, y s olo nos resta probar la inclusi on inversa.

arbitrario pero jo. Por denicion de intersecci on, x

, y por denicion de gran interseccion, L x M y M x M.

. Esto prueba que x

. La inclusi on restante se sigue.

: L una familia arbitraria.

, lo cual prueba el apartado.

y = f(x). Por denici on de uni on,

]. Esto prueba la inclusion inversa.

: L una familia no vaca de conjuntos no

= si ,= . En estas condiciones, existe

con la propiedad que XX

con la propiedad que X X

. Esto nos permite denir

yRx. Esto prueba que R es simetrica.

(o simplemente a si la relacion se sobreentiende). Simboli-

son dos a dos disjuntos y, como a = a

M A (por una proposicion analoga a la

, la denici on de gran uni on implica que

M. Esto prueba que A

M. Por doble inclusion, el enunciado queda probado.

f : X f[X] denida por

posee por lo menos dos elementos, pruebe que

que satisfacen las siguientes propiedades:

O2. x < y x +z < y +z

. De esta manera, si n > n

a > 0. Sin embargo, si

c, para cada n > n

es una partici on de X y s olo falta probar que el conjunto cociente

un intervalo abierto no vaco, podemos elegir un n umero

es numerable (por la proposicion 2.3.2).

= y de lo contrario podemos jar a X de

y, por la propiedad U7, X

= X, de manera que X es cerrado.

(2) Existe una sucesion x

) si X no es superiormente (respectivamente, inferiormente) acotado.

Proposicion 6.2.5 Si X R, entonces X

(en particular, si X [a, +)), entonces lm

) y el lmite lateral por la izquierda (f(a)). Para probarlo,

, por la proposicion 6.3.3, f[

(confronte los ejercicios de la secci on 5.4). Luego,

0 x, y K ([x y[ [f(x) f(y)[ l

(a) +f(a) = f(a).

(a) = 0 y, por tanto,

y f : X Y una biyeccion que verica que f

(a) = 0, lo cual prueba la implicacion

, existe una sucesion a

y la noci on de derivada tiene sentido.

, la derivada lateral derecha de f en a es

del corolario 7.2.7 es esencial.

(a) < d < f

(b), entonces existe c (a, b) tal que f

(a)d < 0 < f

, y el corolario 7.2.7 prueba que g

(c) = 0, de manera que f