Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Análisis Real - Dennis A. Redtwitz PDF
Análisis Real - Dennis A. Redtwitz PDF
Ana
M.Sc. Dennis A. Redtwitz
FaCEN - UNA
Indice general
1. Teora de Conjuntos
1.1. Conjuntos . . . . . . . . . . .
1.1.1. Definicion y ejemplos .
1.1.2. Operaciones . . . . . .
1.1.3. Producto cartesiano .
1.2. Funciones . . . . . . . . . . .
1.2.1. Definicion y ejemplos .
1.2.2. Familias . . . . . . . .
1.2.3. Operaciones grandes
1.2.4. Imagenes . . . . . . . .
1.2.5. Preimagenes . . . . . .
1.2.6. Composiciones . . . .
1.2.7. Inyectividad . . . . . .
1.2.8. Sobreyectividad . . . .
1.2.9. Biyectividad . . . . . .
1.2.10. Funciones especiales .
1.2.11. Inversas a la izquierda
1.2.12. Inversas a la derecha .
1.2.13. Inversas bilaterales . .
1.3. Relaciones de equivalencia . .
1.4. Ejercicios . . . . . . . . . . .
2. Finitud y numerabilidad
2.1. N
umeros naturales . .
2.2. Finitud . . . . . . . . .
2.3. Numerabilidad . . . .
2.4. Ejercicios . . . . . . .
3. N
umeros Reales
3.1. Propiedades . .
3.2. Funciones reales
3.3. Intervalos . . .
3.4. Valor absoluto .
3.5. Ejercicios . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
7
7
8
10
12
12
12
13
15
16
17
17
18
19
19
19
20
21
23
26
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
31
34
37
39
. . . . . . . . .
de variable real
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
41
43
45
47
50
51
.
.
.
.
53
55
62
63
69
.
.
.
.
4. Sucesiones
4.1. Definicion y propiedades
4.2. Lmites infinitos . . . . .
4.3. Series numericas . . . . .
4.4. Series de potencias . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5. La topologa de R
5.1. Puntos interiores . . .
5.2. Puntos de clausura . .
5.3. Puntos de frontera . .
5.4. Puntos de acumulacion
5.5. Compacidad . . . . . .
5.6. Ejercicios . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6. Noci
on de lmite
6.1. Definicion y propiedades . . . . . .
6.2. Lmites laterales . . . . . . . . . . .
6.3. Continuidad . . . . . . . . . . . . .
6.4. Funciones continuas en un intervalo
6.5. Funciones continuas en un conjunto
6.6. Continuidad uniforme . . . . . . . .
6.7. Ejercicios . . . . . . . . . . . . . .
7. Derivadas
7.1. Definicion y propiedades .
7.2. Derivadas laterales . . . .
7.3. Funciones derivables en un
7.4. Funciones convexas . . . .
7.5. Ejercicios . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . .
. . . . . .
. . . . . .
. . . . . .
compacto
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
73
78
81
82
84
87
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
91
96
98
103
105
107
110
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
113
. 115
. 120
. 123
. 126
. 130
8. La Integral de Riemann
8.1. Definicion y propiedades . . . . . . .
8.2. El Teorema de Riemann-Lebesgue . .
8.3. El Teorema Fundamental del Calculo
8.4. Funciones analticas . . . . . . . . . .
8.5. Logaritmos y exponenciales . . . . .
8.6. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . .
. . . . .
intervalo
. . . . .
. . . . .
Referencias bibliogr
aficas
133
135
140
142
145
148
150
153
Captulo 1
Teora de Conjuntos
1.1.
1.1.1.
Conjuntos
Definici
on y ejemplos
Seg
un Georg Cantor, un conjunto es cualquier reunion M de objetos determinados x, bien
distintos de nuestra percepcion o de nuestro pensamiento (que son denominados elementos
de M ), en un todo.
Aunque esto no constituye una definicion valida de la palabra conjunto, al menos no en el
sentido matematico, sera suficiente para nuestros propositos, siempre y mientras que especifiquemos conjuntos de la manera
M = {x U : (x)}
donde M es el conjunto formado por aquellos elementos del conjunto U que cumplen con la
propiedad .
Si x es un elemento de M , escribimos x M . De lo contrario, x
/ M.
Ejemplo 1.1.1 Suponiendo que conocemos al conjunto N (los n
umeros naturales o enteros
positivos), podemos definir otro conjunto
M = {x N : x es par}.
Otras formas usuales de denotar este conjunto son
M = {2x : x N}
o
M = {2, 4, 6, 8, }.
Ejemplo 1.1.2 R = {x : x
/ x} no especifica un conjunto. Si R estuviese bien definido,
tendramos que R R o que R
/ R.
Sin embargo, si R R, R no cumple con la propiedad x
/ x y tenemos que R
/ R; y si
R
/ R, R cumple con la propiedad x
/ x y tenemos que R R.
Esto constituye una contradiccion.
El ejemplo anterior muestra que la ausencia del conjunto universal U puede causar contradicciones.
Diremos que dos conjuntos son iguales si poseen los mismos elementos; es decir, A = B si
y solo si
x (x A x B).
Claramente, A = B si y solo si B = A.
A esta incluido en B (o A es una parte de B o A es un subconjunto de B o B contiene a
A o B es un superconjunto de A) si cada elemento de A es tambien elemento de B; es decir,
A B si y solo si
x (x A x B).
Una notacion alternativa es B A.
1.1.2.
Operaciones
para indicar
Si A y B son disjuntos, es decir, si A B = , la union puede denotarse con AB
que se trata de una union disjunta.
La diferencia entre A y B (en este orden) es el conjunto de todos los elementos que
pertenecen a A pero no a B. Lo denotaremos con A B. Algunos textos utilizan A \ B.
Formalmente,
x A B x A x
/ B.
La diferencia sim
etrica entre A y B es el conjunto de todos los elementos que pertenecen
a A o a B, pero no a ambos. Lo denotaremos con A4B. Formalmente,
A4B = (A B) (A B).
El conjunto de partes de A es el conjunto formado por todos los subconjuntos de A. Lo
denotaremos con P(A). Algunos textos utilizan 2A . Tambien es llamado conjunto potencia de
A. Formalmente,
x P(A) x A.
La siguiente tabla engloba algunas de las propiedades mas importantes de estas operaciones.
I1.
AA=A
I2.
A=
I3.
AU =A
I4.
A Ac =
I5.
AB =BA
I6.
A (B C) = (A B) C
I7.
A B A B = A
I8.
A B A C A B C
U1. A A = A
U2. A = A
U3. A U = U
U4. A Ac = U
U5. A B = B A
U6. A (B C) = (A B) C
U7. A B A B = B
U8. A C B C A B C
U9. A B = A(B
A)
IU1. A (B C) = (A B) (A C)
IU2. A (B C) = (A B) (A C)
IU3. (A B)c = Ac B c
IU4. (A B)c = Ac B c
D1.
D2.
D3.
D2.
D5.
D6.
D7.
D8.
S1.
S2.
S3.
S4.
S5.
S6.
S7.
S8.
S9.
P1.
P2.
P3.
P4.
AA=
A=A
A U = A y U A = Ac
A Ac = A y Ac A = Ac
A B = A Bc
(A B) C = A (B C)
A (B C) = (A B) (A C)
A B A B =
A4A =
A4 = A
A4U = Ac
A4Ac = U
A4B = B4A
A4(B4C) = (A4B)4C
A4B = A4C B = C
A4B = A = B
A4B = (A B)(B
A)
P() = {}
A B P(A) P(B)
P(A B) P(A) P(B)
P(A) P(B) P(A B)
La mayora de estas propiedades, las identidades, son faciles de demostrar si las concebimos
como proposiciones logicas compuestas por las proposiciones atomicas x A, x B, etc.
Por ejemplo, la propiedad IU2 es claramente equivalente a la proposicion
x (x A (B C) x (A B) (A C)).
La tabla de verdad a continuacion la demuestra:
9
xA xB
V
V
V
V
F
V
V
F
V
F
F
V
F
F
F
F
xC
V
F
V
F
V
F
V
F
xBC
V
F
F
F
V
F
F
F
x A (B C) x A B
V
V
V
V
V
V
V
V
V
V
F
V
F
F
F
F
xAC
V
V
V
V
V
F
V
F
x (A B) (A C)
V
V
V
V
V
F
F
F
Para ahorrar espacio, podemos usar tambien una tabla de pertenencia como la que presentamos a continuacion:
A
BC
A (B C)
AB
AC
(A B) (A C)
Aunque es posible utilizar estas tablas para probar propiedades como I7, puede resultar
mas facil sin ellas.
Proposici
on 1.1.4 A, B (A B A B = A)
n:
Demostracio
Supongamos que A B. Si x A B, es claro que, en particular, x A. Esto prueba que
A B A. Por otro lado, si x A, como A B, tambien es cierto que x B, de manera
que x A B. Esto prueba que A A B. En conclusion, A B = A, y la implicacion de
izquierda a derecha queda probada.
Supongamos ahora que A B = A. Si x A, como A B = A, x A B y, en particular,
x B. Luego, A B, lo cual completa la prueba.//
Dejaremos las restantes demostraciones como ejercicio.
1.1.3.
Producto cartesiano
10
Como {a} {{a}, {a, b}} = (a, b) = (c, d) = {{c}, {c, d}}, {a} = {c} {a} = {c, d}. Si
{a} = {c}, a = c, y si {a} = {c, d}, por el lema previo, a = c = d. En ambos casos posibles,
queda probado que a = c.
Como {a, b} {{a}, {a, b}} = (a, b) = (c, d) = (a, d) = {{a}, {a, d}}, {a, b} = {a}{a, b} =
{a, d}. En ambos casos, {a, b} {a, d}.
Como b {a, b} {a, d}, b {a, d} y, por tanto, b = a b = d. Si b = d, no hay
nada que probar. Por otro lado, si b = a, {{a}, {a, d}} = (a, d) = (c, d) = (a, b) = (a, a) =
{{a}, {a, a}} = {{a}}. Esto, por el lema previo, implica que {a} = {a, d} y, por tanto, a = d.
Como ademas b = a, b = d.//
El producto cartesiano de dos conjuntos A y B (en este orden) es el conjunto de todos los
pares ordenados cuya primera coordenada pertenece a A y cuya segunda coordenada pertenece
a B, y se denota con A B.
La demostracion de las propiedades a continuacion queda como ejercicio.
C1.
C2.
C3.
C4.
C5.
C6.
C7.
C8.
A B = A = B =
A B = C D 6= A = C B = D
A C B D A B C D
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)
(A B) (C D) = (A C) (B D)
(A B) (C D) = (A C) (A D) (B C) (B D)
11
1.2.
1.2.1.
Funciones
Definici
on y ejemplos
Definici
on 1.2.1 Sean A, B y F conjuntos no vacos. Decimos que f = (A, B, F ) es una
funci
on (o aplicacion) de A en B si F A B es una relacion entre A y B y se verifican
las siguientes condiciones:
x A y B (x, y) F (Existencia)
x A y, z B ((x, y) F (x, z) F y = z) (Unicidad)
En caso afirmativo, decimos que A el es dominio de f , que denotaremos con D(f ), B es el
codominio de f , que denotaremos con C(f ), y F es la grafica de f , que denotaremos con G(f ).
Bien entendido, las dos condiciones de la definicion expresan que para cada elemento x del
dominio debe haber un u
nico elemento y del codominio tal que (x, y) F . A este u
nico y,
llamamos imagen de x por f , y escribimos f (x) = y (se lee: f de x es y). Recprocamente, si
f (x) = y, decimos que x es una preimagen de y por f .
Para simbolizar que f es una funcion de A en B, utilizaremos la notacion f : A B (usamos la flecha para las implicaciones). Similarmente, para expresar que f (x) = y, tambien
podemos escribir f : x 7 y.
Establecer funciones mediante la definicion puede resultar algo incomodo. Por ejemplo, si
queremos establecer f como la funcion de Z en N que a cada n
umero entero le asigna su cuadrado, debemos establecer previamente la grafica como F = {(k, k 2 ) : k Z}, y luego establecer
que f = (Z, N, F ).
Para el efecto, podemos utilizar las notaciones que hemos mencionado. Una manera formal
de definir f es escribir:
f :Z N .
x 7 x2
Menos formal, pero mas utilizado, es sea f : Z N la funcion definida por f (x) = x2 .
1.2.2.
Familias
Una familia es un conjunto cuyos elementos son, a su vez, conjuntos. Ya hemos visto el
ejemplo del conjunto de partes.
Para razones practicas, es usual indizar los conjuntos de una familia, es decir, asignar un
ndice a cada conjunto. Por ejemplo, la familia
F = {{1, 2, 3, }, {2, 3, 4, }, {3, 4, 5, }, }
tambien puede ser descrita de esta manera:
F = {A1 , A2 , A3 , }, donde An = {n, n + 1, n + 2, }.
Bien entendido, A es una funcion que asigna un conjunto a cada n
umero natural. Cuando
se indizan conjuntos, es com
un escribir An en vez del acostumbrado A(n).
12
1.2.3.
Operaciones grandes
y
[
A := {x : L x A }
Es decir,
tras que
L
[
A es el conjunto de los elementos que pertenecen a (por lo menos) un A de la
L
familia.
Ejemplo 1.2.2 Sea
F = {An : n N}, donde An = {n, n + 1, n + 2}.
\
nN
An = o
n1
n=1
nN
otro lado, para cada m N tenemos que m Am = {m, m + 1, m + 2}, de manera que cada m
pertenece a alg
un An .
Proposici
on 1.2.3 Sea F = {A : L M } una familia arbitraria.
\
1. Si 0 L, entonces
A A0 .
L
13
A .
A = A0 .
4. Si M L, entonces
5.
A =
LM
A .
n:
Demostracio
\
1. Sea x
A arbitrario pero fijo. Por definicion, L x A . Como, en particular,
L
5. Como \
L y M son\subconjuntos\
de L M ,\
dos aplicaciones del apartado anterior revelan
que
A
A y que
A
A . Luego, por la monotona de la inclusion
LM
\
(I8),
L
\
LM
Sea x
M
\ LM
A , y solo nos resta probar la inclusion inversa.
A
A y
Enunciar y demostrar la proposicion analoga para la gran union quedara como ejercicio.
La proposicion a continuacion formaliza la extension de las Leyes de DeMorgan a las operaciones grandes. Dejaremos la demostracion como ejercicio.
Proposici
on 1.2.4 Sea F = {A : L} una familia arbitraria.
!c
\
[
1.
A =
A c
L
!c
2.
[
L
A c
14
1.2.4.
Im
agenes
Definici
on 1.2.5 Sea f : A B una funcion. Si X A, la imagen de X por f es el
conjunto de las imagenes (por f ) de los elementos de X, y se denota f [X]. Simbolicamente,
f [X] = {f (x) : x X}.
Ejemplo 1.2.6 Sea f : N N la funcion definida por f (x) = 2x + 1. La imagen de X =
{1, 2, 5} es f [X] = {f (x) : x X} = {2x + 1 : x {1, 2, 5}} = {f (1), f (2), f (5)} = {3, 5, 11}.
Proposici
on 1.2.7 Sea f : A B una funcion.
1. f [] =
2. X P(A) (f [X] = X = )
3. X1 , X2 P(A) (X1 X2 f [X1 ] f [X2 ])
n:
Demostracio
1. Supongamos que y f []. Por definicion de imagen, esto implica que existe un x tal
que y = f (x), lo cual es absurdo. Por tanto, f [] es vaco.
2. Supongamos que x X. Por definicion de imagen, esto implica que f (x) f [X] = , lo
cual es absurdo. Por tanto, X = .
3. Sea y f [X1 ] arbitrario pero fijo. Por definicion de imagen, x X1 y = f (x). Como X1
X2 , x X2 , de manera que y = f (x) f [X2 ]. Hemos probado que y f [X1 ] y f [X2 ], la
definicion de f [X1 ] f [X2 ].//
Para las operaciones entre conjuntos, tenemos las siguientes propiedades para las imagenes:
Proposici
on 1.2.8 Sea f : A B una funcion.
1. X1 , X2 P(A) f [X1 X2 ] f [X1 ] f [X2 ]
2. X1 , X2 P(A) f [X1 ] f [X2 ] f [X1 X2 ]
3. X1 , X2 P(A) f [X1 X2 ] = f [X1 ] f [X2 ]
n:
Demostracio
1. Como X1 X2 X1 y X1 X2 X2 , por la proposicion 1.2.7, f [X1 X2 ] f [X1 ] y
f [X1 X2 ] f [X2 ]. Luego, f [X1 X2 ] f [X1 ] f [X2 ].
2. Sea y f [X1 ] f [X2 ] arbitrario pero fijo. Como y f [X1 ], x X1 y = f (x). Como
f (x) = y
/ f [X2 ], x
/ X2 . Por tanto, x X1 X2 , de manera que y = f (x) f [X1 X2 ].
Esto prueba que f [X1 ] f [X2 ] f [X1 X2 ].
3. Como X1 X1 X2 y X2 X1 X2 , por la proposicion 1.2.7, f [X1 ] f [X1 X2 ] y
f [X2 ] f [X1 X2 ]. Luego, f [X1 ] f [X2 ] f [X1 X2 ].
Para probar la inclusion inversa, sea y f [X1 X2 ] arbitrario pero fijo. Por definicion de
imagen, x X1 X2 y = f (x). Si x X1 , y = f (x) f [X1 ] f [X1 ] f [X2 ], y si x X2 ,
y = f (x) f [X2 ] f [X1 ] f [X2 ]. En ambos casos, queda probado que y f [X1 ] f [X2 ].
Esto prueba que f [X1 X2 ] f [X1 ] f [X2 ].
La igualdad se sigue de la doble inclusion.//
15
"
2. f
#
[
A =
f [A ]
n:
Demostracio
\
1. Como, por la proposicion 1.2.3, tenemos que 0 L
A A0 , la proposicion 1.2.7
L
"
#
\
implica que L f
A f [A0 ]. De nuevo por la proposicion 1.2.3, esto implica
L
"
#
\
\
que f
A
f A , lo cual prueba el apartado.
L
[
2. Como, por una proposicion analoga a la proposicion 1.2.3, 0 L A0
A , la propoL
"
#
[
sicion 1.2.7 implica que L f [A0 ] f
A . De nuevo por la proposicion analoga a
L
"
#
[
[
f [A ] f
A , lo cual prueba una inclusion
la proposicion 1.2.3, esto implica que
L
del apartado.
"
#
[
imagen, x
y = f (x) f [A0 ]
1.2.5.
Preim
agenes
Definici
on 1.2.10 Sea f : A B una funcion. Si Y B, la preimagen (o imagen inversa)
de Y por f es el conjunto de los elementos del dominio cuya imagen (por f ) esta en Y , y se
denota f 1 [Y ]. Simbolicamente, f 1 [Y ] = {x A : f (x) Y }.
Ejemplo 1.2.11 Sea f : Z N la funcion definida por f (x) = x2 . La preimagen de Y =
{1, 2, 4} es f 1 [Y ] = {x N : f (x) Y } = {x : x2 {1, 2, 4}} = {1, 1, 2, 2}.
A continuacion, enunciamos las propiedades que poseen las preimagenes de una funcion.
Sus demostraciones son parecidas a las de las imagenes, y las dejaremos como ejercicio.
Proposici
on 1.2.12 Sea f : A B una funcion.
1. f 1 [] =
16
2. f 1 [B] = A
3. Y1 , Y2 P(B) Y1 Y2 f 1 [Y1 ] f 1 [Y2 ]
Proposici
on 1.2.13 Sea f : A B una funcion.
1. Y1 , Y2 P(B) f 1 [Y1 Y2 ] = f 1 [Y1 ] f 1 [Y2 ]
2. Y1 , Y2 P(B) f 1 [Y1 Y2 ] = f 1 [Y1 ] f 1 [Y2 ]
3. Y P(B) f 1 [Y c ] = (f 1 [Y ])c
4. Y1 , Y2 P(B) f 1 [Y1 Y2 ] = f 1 [Y1 ] f 1 [Y2 ]
Proposici
on 1.2.14 Sea f : A B una funcion, F = {A : L} P(B).
"
#
\
\
1. f 1
A =
f 1 [A ]
L
"
2. f 1
#
[
L
1.2.6.
A =
f 1 [A ]
Composiciones
Definici
on 1.2.15 Sean f : A B y g : B C funciones. La composici
on de f con g (en
este orden) es la funcion h : A C definida por h(x) = g(f (x)), que denotaremos con g f .
Ejemplo 1.2.16 Sean f, g : Z Z las funciones definidas por f (x) = x2 y g(y) = y + 1.
g f : Z Z es la funcion definida por (g f )(x) = g(f (x)) = g(x2 ) = x2 + 1, y f g : Z Z
es la funcion definida por (f g)(y) = f (g(y)) = f (y + 1) = (y + 1)2 = y 2 + 2y + 1. Notemos
que la composion de funciones no es conmutativa.
Proposici
on 1.2.17 Si f : A B, g : B C y h : C D son funciones, entonces
h (g f ) = (h g) f ).
Proposici
on 1.2.18 Sean f : A B y g : B C funciones.
1. Si X P(A), (g f )[X] = g[f [X]].
2. Si Z P(C), (g f )1 [Z] = f 1 [g 1 [Z]].
Las demostraciones son sencillas y quedaran como ejercicio.
1.2.7.
Inyectividad
Definici
on 1.2.19 Sea f : A B una funcion. Diremos que f es inyectiva si las im
agenes
de elementos distintos de A por f son distintas. Simbolicamente, f es inyectiva si y s
olo si
x1 , x2 A f (x1 ) = f (x2 ) x1 = x2 .
Ejemplo 1.2.20 Sea f : Z Z. La funcion definida por f (x) = 2x. Si f (x1 ) = f (x2 ),
tenemos que 2x1 = 2x2 y, dividiendo por 2, que x1 = x2 . Por tanto, f es inyectiva.
Ejemplo 1.2.21 Sea f : Z Z. La funcion definida por f (x) = x2 . Como f (1) = 1 = f (1),
f no es inyectiva, pues 1 y 1 poseen la misma imagen por f .
17
Proposici
on 1.2.22 Sea f : A B y g : B C funciones. Si f y g son ambas inyectivas,
entonces la composicion g f tambien es inyectiva.
n:
Demostracio
Observemos que la composicion esta bien definida (pues C(f ) = D(g)) y que D(g f ) =
D(f ) = A.
Sean x1 , x2 A, y supongamos que (g f )(x1 ) = (g f )(x2 ). Por definicion de composicion,
g(f (x1 )) = g(f (x2 )).
Como g es inyectiva y f (x1 ) y f (x2 ) poseen la misma imagen por g, f (x1 ) = f (x2 ). Siendo
f inyectiva, esto implica que x1 = x2 .
Esto prueba que g f es inyectiva.//
Ejemplo 1.2.23 Sean F = {(1, 3), (2, 4)}, G = {(3, 1), (4, 2), (5, 2)}, f = (A, B, F ) y g =
(B, A, G), donde A = {1, 2} y B = {3, 4, 5}.
Claramente, g no es inyectiva, pues g(4) = 2 = g(5). Sin embargo, la composicion g f es
inyectiva, pues D(g f ) = A, (g f )(1) = g(f (1)) = g(3) = 1 y (g f )(2) = g(f (2)) = g(4) = 2.
Aunque no necesariamente ambas funciones cuya composicion es inyectiva son inyectivas,
s lo es la funcion derecha.
Proposici
on 1.2.24 Sea f : A B y g : B C funciones. Si g f es inyectiva, entonces la
funcion f tambien es inyectiva.
n:
Demostracio
Observemos que la composicion esta bien definida (pues C(f ) = D(g)).
Sean x1 , x2 A tales que f (x1 ) = f (x2 ). Aplicando g a ambos miembros, queda g(f (x1 )) =
g(f (x2 )), de manera que (g f )(x1 ) = (g f )(x2 ). Como g f es inyectiva, esto implica que
x1 = x2 , de manera que f es inyectiva.//
1.2.8.
Sobreyectividad
Definici
on 1.2.25 Sea f : A B una funcion. Diremos que f es sobreyectiva si cada
elemento del codominio posee una preimagen. Simbolicamente, f es sobreyectiva si y solo si
f [A] = B.
Ejemplo 1.2.26 La funcion f : Q Q definida por f (x) = 2x es sobreyectiva, pues para
cada y Q, f ( y2 ) = 2 y2 = y, de manera que cada y Q pertenece a f [Q].
Ejemplo 1.2.27 La funcion f : Z Z definida por f (x) = 2x, aunque muy parecida a la
anterior, no es sobreyectiva. 3 Z, pero para cada x Z, f (x) = 2x 6= 3. De hecho, f [Z] es el
conjunto de todos los n
umeros enteros pares (positivos y negativos) y, por tanto, distinto de Z.
Proposici
on 1.2.28 Sea f : A B y g : B C funciones. Si f y g son ambas sobreyectivas,
entonces la composicion g f tambien es sobreyectiva.
Proposici
on 1.2.29 Sea f : A B y g : B C funciones. Si g f es sobreyectiva, entonces
la funcion g tambien es sobreyectiva.
Las demostraciones son sencillas y quedaran como ejercicio.
18
1.2.9.
Biyectividad
Definici
on 1.2.30 Sea f : A B una funcion. Diremos que f es biyectiva si es tanto
inyectiva como sobreyectiva.
Las propiedades de las funciones biyectivas, se deducen directamente de las dos secciones
anteriores.
1.2.10.
Funciones especiales
Definici
on 1.2.31 Sea A un conjunto no vaco. La identidad en A es la funcion IA : A A
definida por IA (x) = x.
Aplicar IA a un elemento de A reproduce el mismo elemento. Es claro que toda funcion
identidad es biyectiva, pues IA (x1 ) = IA (x2 ) es literalmente igual a x1 = x2 e IA [A] = {IA (x) :
x A} = {x : x A} = A.
Definici
on 1.2.32 Sean A y B conjuntos no vacos tales que A B. La inclusi
on de A en
B es la funcion iA;B : A B definida por iA;B (x) = x.
La inclusion posee la misma regla de asignacion que la identidad; es decir, si x A B,
iA;B (x) = x = IA (x). Sin embargo, si A 6= B, estas dos funciones son distintas, pues poseen
codominios distintos. En efecto, iA;B no es sobreyectiva, pues iA;B [A] = {iA;B (x) : x A} =
{x : x A} = A 6= B.
Definici
on 1.2.33 Sea f : A B una funcion. Si X P(A) es no vaco, la restricci
on de
f a X es la funcion f iX;A , que se denota con f |X .
De nuevo, las funciones f y su restriccion f |X poseen la misma regla de asignacion; es
decir, si x X, f (x) = f |X (x). Sin embargo, si X 6= A, no son iguales, pues poseen dominios
distintos. En efecto, si x AX, f (x) representa un elemento del codominio de f , pero f |X (x)
carece de sentido, ya que x
/ X = D(f |X ).
Definici
on 1.2.34 Sean A1 , , An conjuntos no vacos y A = A1 An . Para cada
k {1, , n}, la proyecci
on sobre la k-esima coordenada es la funcion A;k : A Ak
definida por A;k (a1 , , ak , , an ) = ak .
Por ejemplo, las funciones Z2 ;1 , Z2 ;2 : Z2 Z definidas por Z2 ;1 (x, y) = x y Z2 ;2 (x, y) = y
asignan a cada vector (x, y) Z2 su primera y segunda coordenada.
Dejaremos como ejercicio verificar que las proyecciones son siempre sobreyectivas.
1.2.11.
Inversas a la izquierda
Definici
on 1.2.35 Sea f : A B una funcion. Se dice que g es una inversa a la izquierda
de f si g f = IA .
Observemos que, para que la composicion g f tenga sentido, es necesario y suficiente que
D(g) = C(f ) = A. Ademas, para que C(g f ) = C(IA ) = A, debe cumplirse que C(g) = A.
Es decir, si g es una inversa a la izquierda de f , g : B A.
19
Ejemplo 1.2.36 Sea f = (A, B, F ) una funcion, donde A = {1, 2, 3}, B = {1, 2, 3, 4} y F =
{(1, 2), (2, 3), (3, 4)}. Para que g : B A pueda ser una inversa a la izquierda de f , es necesario
y suficiente que g(2) = g(f (1)) = IA (1) = 1, g(3) = g(f (2)) = IA (2) = 2 y g(4) = g(f (3)) =
IA (3) = 3. Por tanto, si G1 = {(1, 1), (2, 1), (3, 2), (4, 3)}, G2 = {(1, 2), (2, 1), (3, 2), (4, 3)}
y G3 = {(1, 3), (2, 1), (3, 2), (4, 3)}, las funciones g1 = (B, A, G1 ), g2 = (B, A, G2 ) y g3 =
(B, A, G3 ) son inversas a la izquierda de f .
Ejemplo 1.2.37 Sea f = (A, B, F ) una funcion, donde A = {1, 2, 3}, B = {1, 2} y F =
{(1, 2), (2, 1), (3, 2)}. Para que g : B A pueda ser una inversa a la izquierda de f , es
necesario que g(2) = g(f (1)) = IA (1) = 1 y que, por otro lado, g(2) = g(f (3)) = IA (3) = 3.
Claramente, esto imposibilita la existencia de una inversa a la izquierda de f .
Proposici
on 1.2.38 Sea f : A B una funcion. A fin de que f posea una inversa a la
izquierda, es necesario y suficiente que f sea inyectiva.
n:
Demostracio
Supongamos que g sea una inversa a la izquierda de f . Como g f = IA es inyectiva, por
la proposicion 1.2.22, f debe ser inyectiva. Esto prueba que la inyectividad es necesaria.
Supongamos que f sea inyectiva y consideremos la funcion f : A f [A] definida por
f(x) = f (x) que es claramente biyectiva. Como para cada y f [A] existe exactamente un
x A tal que y = f(x) (existe por sobreyectividad y es u
nico por inyectividad), podemos
definir g : B A mediante g(y) = x, donde x es tal que y = f(x). Si f [A] = B, sea g = g. De
lo contrario, elijamos arbitrariamente a A y definamos la funcion
g:B A
g(y) si y f [A]
y 7
a si y
/ f [A]
Solo nos falta comprobar que g f = IA . En efecto:
Es claro que g f esta bien definido y que D(g f ) = C(g f ) = A. Sea x A arbitrario.
Como f (x) f [A], (g f )(x) = g(f (x)) = g(f (x)) = x. Esto prueba que la inyectividad es
suficiente.//
Ejemplo 1.2.39 La funcion f : R+ {0} R definida por f (x) = x es claramente inyectiva, de manera que debe poseer una inversa a la izquierda. En efecto, la funcion g : R R+ {0}
2
definida por g(y) = y 2 cumple que (g f )(x) = g(f (x)) = x = x, ya que, por definicion, x
es el n
umero positivo cuyo cuadrado es igual a x.
Observemos que f g no es la funcion identidad en R. (f g)(y) = f (g(y)) =
y solamente si y 0, pues la raz cuadrada de un n
umero no puede ser negativa.
1.2.12.
p
y 2 = y si
Inversas a la derecha
Definici
on 1.2.40 Sea f : A B una funcion. Se dice que g es una inversa a la derecha
de f si f g = IB .
1.2.13.
Inversas bilaterales
Definici
on 1.2.45 Sea f : A B una funcion. Se dice que g es una inversa (bilateral) de
f si es tanto una inversa a la izquierda como a la derecha de f .
El termino inversa bilateral es poco com
un. Siempre que digamos que g es una inversa de
f o que f posee inversa, nos referiremos a las inversas bilaterales. Con esta terminologa, una
inversa a la izquierda no es una inversa, pues no es bilateral.
21
Proposici
on 1.2.46 Sea f : A B una funcion biyectiva. Si g es una inversa a la izquierda
de f , entonces es una inversa de f . Si h es una inversa a la derecha de f , entonces es una
inversa de f . Ademas, dos inversas unilaterales cualesquiera, son iguales.
n:
Demostracio
Sean g y h inversas a la izquierda y a la derecha, respectivamente, de f (su existencia
esta asegurada, pues f es biyectiva). Por definicion de inversas laterales y por la asociatividad
de la composicion, queda que g = g IB = g (f h) = (g f ) h = IA h = h, de manera que
g = h, g es tambien una inversa a la derecha y h es tambien una inversa a la izquierda. Esto
prueba el enunciado.//
Corolario 1.2.47 Sea f : A B una funcion. Los siguientes enunciados son equivalentes:
(1) f es biyectiva.
(2) f posee exactamente una inversa.
(3) f posee una inversa.
n:
Demostracio
Supongamos (1). Como f es, en particular, inyectiva, la proposicion 1.2.38 revela que f
posee una inversa a la izquierda g (digamos). Por la proposicion 1.2.46, g es una inversa de f .
Esto prueba (2).
Es claro que (2) implica (3).
Supongamos (3), y sea g una inversa de f . Como g es una inversa a la izquierda y a la
derecha, por las proposiciones 1.2.38 y 1.2.42, f debe ser biyectiva. Esto prueba (1).//
Como la inversa de una funcion f es u
nica (si existe), la denotaremos con f 1 .
22
1.3.
Relaciones de equivalencia
Definici
on 1.3.1 Sean A, B y R conjuntos. Si R A B, diremos que R es una relaci
on
entre A y B (en este orden). Si R es una relacion entre A y A, diremos que R es una relaci
on
binaria (en A).
En vez de (a, b) R, podemos escribir aRb, lo que leeremos a se relaciona con b.
Definici
on 1.3.2 Sea A un conjunto no vaco y una relacion binaria (en A). Diremos que
es de equivalencia (en A) si:
a A a a (Reflexividad)
a, b A (a b b a) (Simetra)
a, b, c A (a b b c a c) (Transitividad)
Ejemplo 1.3.3 Sea = {(m, n) Z2 : m2 = n2 }. Veamos que es de equivalencia:
Sean x, y, z Z arbitrarios pero fijos.
Como x2 = x2 , x x. Esto prueba que es reflexiva.
x y x2 = y 2 y 2 = x2 y x. Esto prueba que es simetrica.
x y y z x2 = y 2 y 2 = z 2 x2 = z 2 x z. Esto prueba que es
transitiva.
Ejemplo 1.3.4 Sea = {(x, y) R2 : x y Q}. Veamos que es de equivalencia:
Sean x, y, z R arbitrarios pero fijos.
Como x x = 0 Q, x x. Esto prueba que es reflexiva.
x y x y Q y x = (x y) Q y x. Esto prueba que es
simetrica.
x y y z x y Q y z Q x z = (x y) + (y z) Q x z.
Esto prueba que es transitiva.
Ejemplo 1.3.5 Sea R = {(x, y) R2 : x y Qc } (tomando R como conjunto universal).
Veamos que R es simetrica, pero que no es reflexiva ni transtiva:
Como 0 0 = 0 Q, (0R0). Esto prueba que R no es reflexiva.
Sean x, y R arbitrarios pero fijos. xRy x y Qc y x = (x y) Qc
yRx. Esto prueba que R es simetrica.
Z
= {{0}, {1, 1}, {2, 2}, }.
R
Ejemplo 1.3.12 Sea la relacion del ejemplo 1.3.4.
= {{a + r : r Q} : a R}. Como
sucede con R, es imposible denotar este conjunto por extension, pero podemos observar que
R
Q .
Definici
on 1.3.13 Sea A un conjunto. Se dice que la
on de A si
[familia P es una partici
Ejemplo 1.3.14 Sea A = {1, 2, 3, 4}. Las familias P = {{1, 2}, {3, 4}}, Q = {{1, 2}, {3}, {4}}
y R = {{1}, {2}, {3}, {4}} son particiones de A, mientras que las familias S = {, A}, T =
{{1, 2, 3}, {2, 3, 4}} y W = {{1, 2}, {3}} no lo son.
24
Ejemplo 1.3.15 Para cada n Z+ (enteros positivos), sea Dn el conjunto de todos los enteros
positivos que poseen exactamente n divisores. D = {D1 , D2 , D3 , } es una particion de Z+ .
Es notable que cada Dn con n > 1 es infinito y existe una cantidad infinita de ellos.
Teorema 1.3.16 Sea A un conjunto y una relacion binaria en A. Si es de equivalencia,
A
es una particion de A.
n:
Demostracio
A
La proposicion 1.3.9 prueba que los miembros de
son dos a dos disjuntos y, como a = a
[
que a 6= . Solo resta probar que
M = A. En efecto:
A
M
Como M
[
A
M A, es claro que
M A (por una proposicion analoga a la
A
M
proposicion 1.2.3). Para probar la otra inclusion, sea a A arbitrario pero fijo. Como a a
A
(pues es reflexiva), a a. Luego, como a , la definicion de gran union implica que
[
[
a
M . Esto prueba que A
M . Por doble inclusion, el enunciado queda probado.//
A
M
A
M
25
1.4.
Ejercicios
Si
Si
Si
Si
Si
Si
Si
R es simetrica si y solo si a A aR Ra
R es simetrica si y solo si a A Ra aR
R es simetrica si y solo si a A aR = Ra
Si R es transitiva y a A aR Ra 6= , entonces R es reflexiva.
Si R es transitiva, simetrica y a A Ra 6= , entonces R es de equivalencia.
27
28
Captulo 2
Finitud y numerabilidad
2.1.
N
umeros naturales
(n + m) + k = n + (m + k)
(n m) k = n (m k)
n+m=m+n
nm=mn
n + k = m + k n = m
n k = m k n = m
Para m
as detalles, consulte cualquier libro de Teora Axiomatica de Conjuntos
31
Definici
on 2.1.4 Sean n, m N.
n < m (o m > n) si existe k N tal que n + k = m.
n m (o m n) si n < m o n = m.
La relacion satisface las siguientes propiedades, sencillas de comprobar utilizando el
Principio de Induccion. Enunciar y demostrar las propiedades analogas para la relacion < quedara como ejercicio.
1. n, m, k N (n m n + k m + k n k m k) (Monotona)
2. n N n n (Reflexividad)
3. n, m, k N (n m m k n k) (Transitividad)
4. n, m N (n m m n n = m) (Antisimetra)
5. n, m N (n m m n) (Dicotoma)
En general, toda relacion binaria que satisface (1) y (2) es una relaci
on de pre-orden,
toda relacion de pre-orden que satisface (3) es una relaci
on de orden y toda relacion de orden
que satisface (4) es una relaci
on de orden total.
En toda relacion de pre-orden, se puede definir el concepto de mnimo:
Definici
on 2.1.5 Sea una relacion de pre-orden en el conjunto X e Y X.
mn Y = a (se lee: a es el mnimo de Y ) si a Y y a Y para cada y Y .
Es facil probar que mn N = 1. De hecho, todo subconjunto no vaco de N posee mnimo.
Tales relaciones de orden son llamadas relaciones de buen orden.
Proposici
on 2.1.6 (Principio de Buen Orden) Si X N es no vaco, entonces X posee
mnimo.
32
n:
Demostracio
Si 1 X, hemos terminado pues mn X = 1. De lo contrario, 1 N X.
Sea Nn = {m N : m n} e Y = {n N : Nn N X}. Claramente, 1 Y . Como
Y 6= N (pues X 6= ), no es cierto que s[Y ] Y . Luego, existe b Y tal que s(b)
/ Y.
Sea a = s(b). Como Na Nb = {a} (confronte los ejercicios de esta seccion), Nb N X
pero Na 6 N X, tenemos que a N. Ademas, si x X, entonces
x
/ N X Nb = Na {a} = {n N : n < a},
de manera que x a.
Esto prueba el enunciado.//
A partir de ahora, utilizaremos la notacion Nn = {m N : m n}.
33
2.2.
Finitud
Definici
on 2.2.1 Un conjunto X es finito si es vaco o si existe n N y una biyeccion
: Nn X.
Esta biyeccion, en general no es u
nica.
Proposici
on 2.2.2 Si existe una biyeccion
: Nn X
y a X es arbitrario, entonces existe otra biyeccion
: Nn X
tal que (n) = a.
Dejaremos la demostracion como ejercicio.
Proposici
on 2.2.3 Sean n, m N. Si existe una biyeccion
: Nn Nm ,
entonces n = m.
n:
Demostracio
Supongamos que el enunciado sea falso y sea
X = {m N : n N (n < m : Nn Nm biyectiva)}.
Por suposicion X 6= , de manera que X posee mnimo b (digamos). As, existe n < b y una
biyeccion
: Nn Nb .
Claramente, b > 1 y, por tanto, n > 1. Sean k y a tales que s(k) = n y s(a) = b.
Por la proposicion 2.2.2, existe una biyeccion
: Nn Nb
tal que (n) = b. Es claro que la funcion
n:
Demostracio
Como es biyectiva, posee inversa
1 : X Nm ,
de manera que la composicion
1 : Nn Nm
es biyectiva.
Luego, n = m, en virtud de la proposicion 2.2.3.//
Por esta unicidad, escribiremos |X| = n si existe una biyeccion
: Nn X.
Proposici
on 2.2.5 Todo subconjunto de un conjunto finito, es finito.
n:
Demostracio
Sea X finito. Si |X| = 1, el enunciado es trivialmente cierto.
Supongamos que el enunciado sea valido para todos los conjuntos de n elementos y que
|X| = n + 1, y sea Y un subconjunto propio y no vaco de X. Elijamos a X Y .
Por definicion y en virtud de la proposicion 2.2.2 existe una biyeccion
: Nn+1 X
tal que (n + 1) = a, de manera que la funcion
: Nn X {a} definida por (x)
= (x)
tambien es biyectiva.
Como Y X {a} y |X {a}| = n, Y es finito. El enunciado se sigue.//
Corolario 2.2.6 Sean X e Y conjuntos y f : X Y una funcion.
(1) Si f es inyectiva e Y es finito, entonces X es finito.
(2) Si f es sobreyectiva y X es finito, entonces Y es finito.
n:
Demostracio
Para probar (1), supongamos que f sea inyectiva y que Y sea finito. Consideremos la funcion
f : X f [X] definida por f(x) = f (x).
Como f [X] Y , en virtud de la proposicion 2.2.5, f [X] es finito. Luego, existe n N y
una biyeccion
: Nn f [X].
35
Como la funcion
f1 : Nn X
es biyectiva, (1) se sigue.
Para probar (2), supongamos que f sea sobreyectiva y X sea finito. Como f es sobreyectiva,
posee inversa a la derecha
g:Y X
que es inyectiva.
Luego, basta aplicar (1) y (2) se sigue.//
Definici
on 2.2.7 Un conjunto es infinito si no es finito.
Ejemplo 2.2.8 N es infinito.
Si N fuese finito, existira una biyeccion
: Nn N
para alg
un n N. Tomando
a = (1) + + (n),
tendramos que x a para cada x N.
Esto constituye claramente una contradiccion, ya que a + 1 N, pero a + 1 > a.
Proposici
on 2.2.9 Sea X un conjunto. X es infinito si y solo si existe una inyeccion
: N X.
n:
Demostracio
Supongamos que exista la inyeccion , pero que X sea finito. Por el corolario 2.2.6, N sera
finito, lo cual es falso. La implicacion de derecha a izquierda se sigue.
Supongamos ahora que X sea infinito. Definamos
:NX
de la siguiente manera:
Eligimos arbitrariamente f (1) X.
Una vez fijados f (1), , f (n), elegimos arbitrariamente f (n + 1) en el conjunto (no vaco
por infinitud)
X {f (1), , f (n)}.
Solo falta probar que es inyectiva. En efecto:
Sean n, m N tales que n < m. Como f (m)
/ {f (1), , f (n), , f (m1)}, f (n) 6= f (m).
La implicacion inversa se sigue.//
36
2.3.
Numerabilidad
Definici
on 2.3.1 Un conjunto X es numerable si es vaco o si existe una sobreyecci
on
f : N X.
Proposici
on 2.3.2 Sean X e Y conjuntos y f : X Y una funcion.
(1) Si f es inyectiva e Y es numerable, entonces X es finito.
(2) Si f es sobreyectiva y X es numerable, entonces Y es finito.
(3) Todo subconjunto de un conjunto numerable es numerable.
n:
Demostracio
Supogamos que f sea inyectiva y que Y sea numerable. Como f es inyectiva, posee una
inversa a la izquierda
g:Y X
que es, a su vez, sobreyectiva. Siendo Y numerable, existe una sobreyeccion
: N Y.
Luego, la composicion
g:NX
es sobreyectiva y, por tanto, (1) se sigue.
Supogamos que f sea sobreyectiva y que X sea numerable. Siendo X numerable, existe una
sobreyeccion
: N X.
Luego, la composicion
f :NY
es sobreyectiva y, por tanto, (2) se sigue.
Para probar (3), basta observar que la funcion inclusion es inyectiva.//
Proposici
on 2.3.3 Si X e Y son numerables, entonces X Y es numerable.
n:
Demostracio
Si X o Y es vaco, la demostracion es trivial. Supongamos lo contrario.
Como X e Y son numerables, existen sobreyecciones
:NX
y
: N Y.
Es facil comprobar que la funcion
: N N definida por (n, m) = ((n), (m))
37
An
nN
definida por
(n, m) = n (m)
es sobreyectiva.
Como N N es numerable, es enunciado se sigue.//
Georg Cantor fue el primer matematico en estudiar los conjuntos no numerables como tales.
Daremos uno de sus resultados principales y un ejemplo a continuacion.
Teorema 2.3.5 (Cantor) Ninguna funcion g : X P(X) es sobreyectiva.
n:
Demostracio
Supongamos que el enunciado es falso, y sea
Y = {x X : x
/ g(x)}.
Como g es sobreyectiva, existe y X tal que g(y) = Y .
Si y Y , por definicion de Y , y
/ g(y) = Y , lo cual es absurdo.
Por otro lado, si y
/ Y = g(y), por definicion de Y , y Y , lo cual es absurdo.
En conclusion, g no puede ser sobreyectiva.//
Ejemplo 2.3.6 P(N) no es numerable. En efecto, esto es consecuencia inmediata del Teorema
de Cantor.
38
2.4.
Ejercicios
no es numerable.
39
40
Captulo 3
N
umeros Reales
3.1.
Propiedades
Definici
on 3.1.1 Una terna (K, +, ), donde K es un conjunto no vaco y + y son funciones
de K K en K, es un cuerpo si satisface las siguientes propiedades:
x, y, z K (x + (y + z) = (x + y) + z x (y z) = (x y) z) (Asociatividad)
x, y K (x + y = y + x x y = y x) (Conmutatividad)
x, y, z K x (y + z) = x +y z (Distributividad)
0, 1 K x K (x + 0 = x x 1 = x) (Neutros)
x K {0} x, x1 K (x + (x) = 0 x x1 = 1) (Inversos)
Como de costumbre, escribiremos x y en vez de x + (y) y
x
en vez de x y 1 .
y
K + K
(Tricotoma)
Ejemplo 3.1.4 (Q, Q+ , +, ) es un cuerpo ordenado.
Ejemplo 3.1.5 El cuerpo del ejemplo 3.1.2 no puede ser ordenado ya que 1 + 1 = 0.
De hecho, ning
un cuerpo finito puede ser ordenado. Todo cuerpo contiene una copia de Q
(confronte los ejercicios de esta seccion).
Ejemplo 3.1.6 En ning
un cuerpo ordenado K existe un elemento i tal que ii = 1. En efecto,
si tal cuerpo fuese ordenado tendramos que i K + o que i K . Si i K + , tenemos que
iii = i
/ K + ; y si i K , tenemos que i K + y, por tanto, que (i)(i)(i) = i
/ K +.
Un cuerpo ordenado siempre admite una relacion de orden total definida por x < y
y x K + y x y x < y x = y.
La relacion < satisface las siguientes propiedades:
43
O1. x > 0 x K +
x < 0 x K
O2. x < y x + z < y + z
O3. x < y z < w x + z < y + w
O4. x < y z > 0 x z < y z
O5. 0 < x < y 0 < z < w x z < y w
O6. x < y z < 0 x z > y z
Las demostraciones son directas y quedan como ejercicio.
Definici
on 3.1.7 Sea K un cuerpo ordenado y X K.
b K es una cota superior de X si x b para cada x X. Si tal cota superior existe,
X es superiormente acotado.
a K es una cota inferior de X si x a para cada x X. Si tal cota inferior existe,
X es inferiormente acotado.
X es acotado si existe b K tal que c x c para cada x X.
Definici
on 3.1.8 Un cuerpo ordenado K se dice arquimediano si N no es superiormente
acotado en K.
Ejemplo 3.1.9 Q es arquimediano.
Ejemplo 3.1.10 Sea R el conjunto de todos los cocientes de polinomios con coeficientes racionales. Definamos la suma y el producto de estas funciones de la forma usual, y sea R+ el
p(t)
subconjunto formado por todos los cocientes
tales que p(t) q(t) tiene coeficiente positivo
q(t)
en su termino dominante. Se verifica que (R, R+ , +, ) es un cuerpo ordenado no arquimediano.
Definici
on 3.1.11 Sea K un cuerpo ordenado y X K. b K es el supremo de X (se
escribe: b = sup X) si:
b es una cota superior de X.
b no es una cota superior de X, para cada > 0.
Definici
on 3.1.12 Sea K un cuerpo ordenado y X K. a K es el nfimo de X (se
escribe: a = nf X) si:
a es una cota inferior de X.
a + no es una cota inferior de X, para cada > 0.
Definici
on 3.1.13 Sea K un cuerpo ordenado. K es completo si todo subconjunto acotado
no vaco de K posee supremo.
Ejemplo 3.1.14 Q no es completo (confronte los ejercicios).
Axioma 3.1.15 (Fundamental del An
alisis) Existe un cuerpo ordenado completo.
Llamaremos R a este cuerpo ordenado completo o bien a uno de ellos ya que, de hecho,
podra darse el caso que existan varios. Sin embargo, las u
nicas propiedades de R que precisaremos son las expuestas en esta seccion.
44
3.2.
Definici
on 3.2.1 Una funci
on real de variable real es una funcion
f : X Y,
donde X e Y son subconjuntos de R.
Definici
on 3.2.2 Sea
f :XY
una funcion real de variable real.
f es (superiormente/inferiormente) acotada si f [X] es (superiormente/inferiormente)
acotado.
f es creciente si x, y X (x y f (x) f (y))
f es estrictamente creciente si x, y X (x < y f (x) < f (y))
f es decreciente si x, y X (x y f (x) f (y))
f es estrictamente decreciente si x, y X (x < y f (x) > f (y))
f es (estrictamente) mon
otona si es (estrictamente) creciente o (estrictamente) decreciente.
Ejemplo 3.2.3 La funcion
f : R R definida por f (x) = x2
es inferiormente acotada pues x2 0 para cada x R.
Sin embargo, no es superiormente acotada. Supongamos que s, esto es, que existe b R
tal que x2 b para cada x R. Claramente, b > 1. Esto lleva a una contradiccion, pues
f (b) = b2 > b.
f no es monotona. Como
f (2) = 4 > 1 = f (1),
f no es creciente, y como
f (1) = 1 > 4 = f (2),
f no es decreciente.
Ejemplo 3.2.4 La funcion
f : R R definida por f (x) = x3
es estrictamente creciente. En efecto:
Supongamos que x < y. Si xy < 0, no hay nada que probar, pues x3 < 0 < y 3 . Supongamos
que xy 0.
Como y x > 0, tenemos que
y 3 3xy 2 + 3x2 y x3 = (y x)3 > 0
o bien
y 3 x3 > 3xy(y x) 0.
45
Definici
on 3.2.5 Sean f, g : X R son funciones, donde X R, R y n Z.
f g :X R
x 7 f (x) g(x)
f :X R
x 7 f (x)
f g :X R
x 7 f (x) g(x)
f
si 0
/ g[X]
:X R
g
f (x)
x 7
g(x)
fn : X R
x 7 (f (x))n
Utilizaremos estas definiciones mas adelante.
46
3.3.
Intervalos
Definici
on 3.3.1 Sean a, b R. Los conjuntos a continuacion son intervalos.
Abiertos:
Semi-ab. a la izq.:
Semi-ab. a la der.:
Cerrados:
Proposici
on 3.3.2 Sea I R. I es un intervalo si y solo si [x, y] I siempre que x, y I.
n:
Demostracio
Es claro que si I es un intervalo, entonces [x, y] I siempre que x, y I (observe que
[x, y] = si x > y).
Para probar la implicacion inversa, supongamos que I sea tal que [x, y] I siempre que
x, y I.
Supondremos que I es acotado y no vaco. Si I no es acotado, la demostracion se realiza de
manera similar.
Sean a = nf I y b = sup I. Por definicion, I [a, b]. Afirmamos que (a, b) I. En efecto:
Si z (a, b), sean a = z a y b = b z. Como z = a + a ya no es cota inferior y z = b b
ya no es cota superior, existen x, y I tales que x < z < y. Por hipotesis, z I.
Esto completa la prueba.//
Corolario 3.3.3 Si I y J son intervalos, I J tambien es un intervalo.
La demostracion quedara como ejercicio.
Corolario 3.3.4 Sean I y J intervalos. Si I J 6= , I J tambien es un intervalo.
n:
Demostracio
Sean x, y I J tales x < y. Por la proposicion 3.3.2, basta probar que [x, y] I J.
Si x e y pertenecen al mismo intervalo, no hay nada que probar. Para fijar ideas, supongamos que x I J y que y J I. Como I J 6= , podemos elegir w I J. Como
x
/ J, no es posible que w x < y (por la proposicion 3.3.2), y como y
/ I, no es posible que
x < y w. Luego, debe ser x < w < y.
Ahora, si z [x, y], x z w < y o x < w < z y, de manera que z I o z J (de
nuevo, por la proposicion 3.3.2).
Esto completa la prueba.//
47
In 6= .
nN
n:
Demostracio
Sean an y bn tales que In = [an , bn ] para cada n N. Por las inclusiones de los intervalos,
tenemos que
a1 an b n b 1
y sea A = {an : n N}.
Como A es superiormente acotado por cada bn , posee supremo s (digamos) y s bn para
cada n N. Ademas, por definicion de supremo, an s para cada n N. Por tanto,
\
s
In
nN
a1 + 2b1
2a1 + b1
<
< bn ,
3
3
podemos elegir
In+1
2a1 + b1
a1 + 2b1
entre an ,
y
, bn
3
3
de manera que (n + 1)
/ In+1 .
Por el Teorema de los Intervalos Encajados (3.3.5), existe
\
c
In .
nN
Sin embargo, c
/ [N] ya que (n) In para cada n N.
Esta contradiccion prueba el enunciado.//
48
1
1
, o bien, a < b .
ba
n
k0
<b
n
k0 + 1
,
n
tenemos que
a<b
1
k0
< b.
n
n
Luego,
k0
(a, b) I,
n
lo cual prueba el enunciado.//
49
3.4.
Valor absoluto
Definici
on 3.4.1 Sea x R. El valor absoluto de x es
|x| := max{x, x}.
Ejemplo 3.4.2 Como 7 > 7, |7| = | 7| = 7.
La tabla a continucion engloba las propiedades mas resaltantes del valor absoluto.
V1.
x R+ |x| = x
x R |x| = x
x=0
|x| = 0
2
2
|x| = x
| x| = |x|
V2.
|x| 0
|x| = x2
|x| a
a
xa
1
1
V7. |x y| = |x| |y|
V8. x > 0 =
x |x|
x |x|
V9. |x| =
6 0
V10. y 6= 0 =
y
|y|
V11. |x| < |y| x2 < y 2
V11. |x + y| |x| + |y|
V13. |x z| |x y| + |y z| V14. ||x| |y|| |x y|
V3.
V5.
V4.
V6.
n
n
n
n N es par, b = a b = a b > 0, y si n N es impar, b = a bn = a.
50
3.5.
Ejercicios
3. Sean
x, y, a1 , , an R y b1 , , bn , t1 , , tn R+
tales que
a1
an
,,
(x, y).
b1
bn
Pruebe que
t1 a1 + + tn an
(x, y).
t1 b1 + + tn bn
52
Captulo 4
Sucesiones
4.1.
Definici
on y propiedades
Definici
on 4.1.1 Una sucesi
on de n
umeros reales es una funcion
x : N R.
Escribiremos xn en vez de x(n) y hxn inN para indicar la sucesion.
Definici
on 4.1.2 Sea hxn inN una sucesion y L R.
L es el lmite de la sucesion, lo cual escribiremos
xn L cuando n +,
si
> 0 n0 N n N (n > n0 |xn L| < ).
Una sucesion que posee lmite, se dice convergente y que converge a este lmite.
1
0 cuando n +. En efecto:
n
1
Sea > 0. Como R es arquimediano, existe n0 > . De esta manera, si n > n0 ,
1
0 = 1 < 1 < .
n
n
n0
Ejemplo 4.1.3
Proposici
on 4.1.4 Toda sucesion convergente es acotada.
n:
Demostracio
Sea hxn inN una sucesion de lmite L.
Por definicion de lmite, existe n0 N tal que n N n > n0 |xn L| < 1, es decir, si
n > n0 , L 1 < xn < L + 1.
Sea A = {x1 , . . . , xn0 , L 1, L + 1}, y sean a = mn A y b = max A. Si n n0 , xn A, de
manera que a xn b, y si n > n0 , a L 1 < xn < L + 1 b.
Esto prueba que la sucesion es acotada.//
Ejemplo 4.1.5 Si a > 1, la sucesion han i no es convergente ni es superiormente acotada.
Bastara corroborar la segunda afirmacion. En efecto:
Supongamos que la sucesion fuese superiormente acotada.
Como R es completo, A = {an : n N} posee supremo s (digamos).
Sea
=s
s
> 0.
a
De esta manera,
an+1 = a an > a
s
= s,
a
x2n + a
2xn
Proposici
on 4.1.10 Sea hxn inN una sucesion y L, M R.
Si xn L y xn M cuando n +, entonces L = M .
n:
Demostracio
Para fijar ideas, supongamos que L < M . Sea
=
M L
.
2
56
L+M
= M < xn
2
simplemente lm xn .
Definici
on 4.1.11 Sean hxn inN e hyn inN dos sucesiones.
hyn inN es una subsucesi
on de hxn inN si existe una sucesion estrictamente creciente de
n
umeros naturales hnk ikN tal que
yk = xnk para cada k N.
Lema 4.1.12 Si hnk ikN es una sucesion estrictamente creciente de n
umeros naturales, entonces nk k para cada k N. En particular, la sucesion no es acotada.
La demostracion quedara como ejercicio.
Definici
on 4.1.13 Sean hxn inN una sucesion y a R.
a es un valor de adherencia de la sucesion si esta posee una subsucesion hxnk ikN tal
que
lm xnk = a.
k+
Proposici
on 4.1.14 Toda sucesion convergente posee un u
nico valor de adherencia.
n:
Demostracio
Sea hxn inN una sucesion convergente, sea L = lm xn y sea hxnk ikN una subsucesion arbitraria.
Sea > 0. Como lm xn = L, existe n0 N tal que
|xn L| < si n > n0 .
Ahora, si k > n0 , nk > n0 (por el lema 4.1.12), de manera que
|xnk L| < si k > n0 .
Esto prueba el enunciado.//
57
= si n > n0 .
c
1
1
=
si M 6= 0
yn
M
4. lm
xn
L
=
si M 6= 0
yn
M
n:
Demostracio
Sea > 0.
1. Existen n1 , n2 N tales que
|xn L| <
y, por tanto,
L M < xn + yn < L M + , o |(xn yn ) (L + M )| < .
Esto prueba el apartado.
58
2. Claramente,
xn yn = (xn yn LM )+LM = (xn yn Lyn +Lyn LM )+LM = (xn L)yn +L(yn M )+LM.
En virtud de la proposicion 4.1.16, lm(xn L)yn = lm L(yn M ) = 0. Luego, en virtud
del apartado anterior,
lm(xn yn ) = lm(xn L)yn + lm L(yn M ) + lm LM = 0 + 0 + LM = LM.
3. La prueba de este apartado quedara como ejercicio.
4. Es consecuencia inmediata de los dos apartados anteriores.//
Proposici
on 4.1.18 (Intercalaci
on) Sean hxn inN , hyn inN y hzn inN sucesiones tales que
lm yn = lm zn = L. Si existe n0 N tal que
yn xn zn si n N,
entonces lm xn = L.
n:
Demostracio
Sea > 0.
Como lm yn = lm zn = L, existen n1 , n2 N tales que
|yn L| < si n > n1 y |zn L| < si n > n2 .
Tomando k0 = max{n0 , n1 , n2 }, si n > k0 , tenemos que n > n0 , n > n1 y n > n2 , de manera
que
L < yn xn zn < L + .
As,
|xn L| < si n > k0 ,
y el enunciado queda probado.//
Teorema 4.1.19 (Bolzano-Weierstrass) Toda sucesion acotada posee un valor de adherencia.
n:
Demostracio
Sea hxn inN una sucesion acotada.
Para cada n N, sean An = {xm : m n}, an = sup An y a = lm an .
Claramente cada Ak es acotada, de manera que cada ak esta bien definido, y como An Am
si n > m, la sucesion han inN es decreciente (y acotada por nf x[N]), de manera que a esta bien
definido.
Por definicion de a1 , existe n1 N tal que
a1 1 < xn1 a1 .
59
1
< xnk+1 ank +1 .
k+1
Siendo hank +1 ikN una subsucesion de han inN , por la proposicion 4.1.14,
lm ank +1 = a
k+
y, por tanto,
lm ank +1
k+
1
= a,
k+1
k+
n:
Demostracio
Sea hxn inN una sucesion acotada con un u
nico valor de adherencia L (digamos).
Supongamos que L no sea el lmite de la sucesion. Esto es, existe 0 > 0 tal que para cada
m N existe n > m tal que
|xn L| 0 , esto es, xn L 0 xn L + 0 .
Por tanto, la sucesion posee infinitos terminos en (, L 0 ] o en [L + 0 , +). Sea
hxnk ikN la subsucesion de los terminos infinitos en cualquiera de estos intervalos.
Al pasar, de nuevo, a una subsucesion convergente (si es necesario, esto puede hacerse utilizando el Teorema de Bolzano-Weierstrass), obtenemos un valor de adherencia que pertenece
a alguno de estos intervalos (en virtud de la proposicion 4.1.20). Esto es una contradiccion, ya
que L es el u
nico valor de adherencia de la sucesion original.
Esto prueba el enunciado.//
61
4.2.
Lmites infinitos
Definici
on 4.2.1 Sea hxn inN una sucesion.
lm xn =
n+
si
1
> 0 n0 N n N n > n0 xn > .
Observemos que las sucesiones con lmite no poseen un lmite en el sentido tradicional, es decir, no son convergentes, ya que + y no son n
umeros reales.
Proposici
on 4.2.2 Toda sucesion monotona posee lmite (finito o infinito).
Ejemplo 4.2.3 Si a > 1, lm an = +.
La prueba de estos dos resultados quedara como ejercicio.
Proposici
on 4.2.4 Sean hxn inN e hyn inN dos sucesiones.
1. Si lm xn = + e hyn i es inferiormente acotada, entonces lm(xn + yn )) = +.
2. Si lm xn = + y existe a > 0 tal que y[N] (a, +), entonces lm(xn yn )) = +.
3. Si existe a > 0 tal que x[N] (a, +), y[N] R+ y lm yn = 0, entonces lm
4. Si hxn i es acotada y lm yn = +, entonces lm
xn
= +
yn
xn
= 0.
yn
n:
Demostracio
Sea > 0.
1. Como hyn i es inferiormente acotada, existe a R tal que y[N] (a, +).
Sea > 0. Como lm xn = +, existe n0 N tal que
xn >
1
a si n > n0 1 .
1
1
a + a = si n > n0 .
La definici
on s
olo asegura la existencia de este n0 si
fortiori.
62
a 0, tal n0 existe a
4.3.
Series num
ericas
an := ak
n=1
k+1
X
an :=
k
X
n=1
+
X
an + ak
n=1
an =
n=1
an =
k+
nN
* k
X
k
X
an := lm
an
n=1
+
es la serie asociada a la sucesion han inN y
an
n=1
k
X
an es la k-
esima suma
n=1
kN
k
X
n=1
dades:
k
X
1.
(an + bn ) =
k
X
n=1
k
X
2.
(c an ) = c
n=1
k
X
n=1
k
X
3.
an +
k
X
bn (Prop. aditiva)
n=1
an (Prop. homogenea)
n=1
n=1
an1 =
n=1
X
1 ak
1
y
an1 =
.
1a
1
a
nN
En efecto:
Como
(a 1)
k
X
n=1
n1
=a
k
X
n=1
n1
k
X
n1
n=1
k
X
n=1
k
X
n1
n=1
k
X
n=1
queda
k
X
n=1
an1 =
1 ak
ak 1
=
.
a1
1a
En general, no podremos deducir una formula sencilla para la k-esima suma parcial. La
teora de esta seccion no trata de calcular los lmites de series dadas, sino de averiguar si una
serie dada posee o no lmite.
Proposici
on 4.3.3 (Criterio de Comparaci
on) Sean
negativos tales que existe n0 N tal que
an y
bn series de terminos no
an =
n0
X
an +
n=1
k
X
an
n=n0 +1
n0
X
an +
n=1
k
X
bn
n=n0 +1
n0
X
n=1
an +
bn ,
nN
+
an
n=1
1
(n 1)!
converge, pues
1
(n 1)!
n1
1
para cada n N
2
y la serie
X 1 n1
2
= 3.
1
= 1 + 1 = 2,
(n 1)!
1
1+
n
n
.
1 n(n 1) 1
n(n 1) 1
an = 1 + n +
2 + +
,
n
2
n
n!
1
1
1
1
2
n1
1
+ +
1
1
1
,
an = 1 + 1 +
2!
n
n!
n
n
n
64
de manera que
an
n+1
X
k=1
1
e.
(k 1)!
m+1
X
k=1
1
.
(k 1)!
1
En sntesis, lm 1 +
n
n
= e.
Proposici
on 4.3.6 (Primer Criterio de Divergencia) Si
an converge, entonces
lm an = 0.
n:
Demostracio
Sea
sn =
n
X
ak .
k=1
As,
sn+1 = sn + an para cada n N.
Por la proposicion 4.1.14, lm sn+1 = lm sn , de manera que, por el corolario 4.1.17, se sigue
que lm an = 0.//
P
Ejemplo 4.3.7 La serie
(1)n no converge, ya que h(1)n i no converge a 0.
Ejemplo 4.3.8 A pesar de que el termino general de la serie armonica
serie diverge. En efecto,
X1
1
= 1 +
+
n
2
1
1 +
+
2
= 1 +
1
+
2
1 1
+
3 4
1 1
+
4 4
1 1 1 1
+ + +
5 6 7 8
+
1
2
+
1 1 1 1
+ + +
8 8 8 8
1
2
P1
converge a 0, la
n
+
+ ,
P 1
converge si p > 1 y diverge si p 1.
np
1
+
1p
1
1
1
1
+
+
+
+
+
4p 5p 6p 7p
1
1
1
1
1
1
+
+ +
+
+
+
+
+
2p 2p
4p 4p 4p 4p
+
1
1
+
2p 3p
2
2p
4
4p
+ ,
2p1
,
2p1 1
n
X
(1)k+1 ak .
k=1
Como
s2n+1 = s2n1 (a2n a2n1 ) y a2n a2n1 ,
tenemos que la sucesion hs2n1 i es decreciente.
Por otro lado, como
s2n+2 = s2n + (a2n+1 a2n+2 ) y a2n+1 a2n+2 ,
tenemos que la sucesion hs2n i es creciente.
Teniendo en cuenta que s2n s2n1 (pues s2n1 s2n = a2n 0), queda:
s2 s4 s2n s2n1 s3 s1 .
Esto prueba que las dos subsucesiones convergen. Ademas, como s2n1 s2n = a2n 0
cuando n +, tenemos que lm s2n = lm2n1 .
Esto prueba el enunciado.//
66
P (1)n
converge.
n
an una serie.
|an | converge.
Definamos
a+
ax{an , 0} y a
ax{an , 0}, para cada n N.
n = m
n = m
Si n N, se verifica facilmente que
a+
n + an = |an | y an an = an .
Tenemos que
a+
n y
a
n convergen, ya que, claramente,
a+
n |an | y an |an |, para cada n N,
|an | converge.
an =
(a+
n an ) =
a+
n
a
n,
an es (absolutamente) convergente.
67
n:
Demostracio
Sea n > n0 . Como
n+1
an + 1
c= c ,
an
cn
tenemos que
|an |
|an + 1|
n .
n+1
c
c
Esto prueba que la sucesion
|an |
cn
es decreciente a partir de n0 , de manera que esta acotada por
|a1 |
|an0 |
b = max
, , n0 .
c
c
As,
|an | b cn , para cada n N.
Ahora, como
p
n
|an | c,
tenemos que
|an | cn .
Ahora, como
4.4.
Series de potencias
La serie
+
X
an x n
n=0
an ,
n=0
se verifica que
r=
1
L
+
X
(1)n
n=0
(2n)!
an x n
n=0
y c (0, r).
En estas condiciones, dado > 0, existe n0 N {0} tal que si n > n0 y x [c, c],
entonces
n
+
X
X
ak x k
ak xk < .
n=0
k=0
4.5.
Ejercicios
3. Pruebe que lm n n = 1.
4. Demuestre el lema 4.1.12.
5. Demuestre el apartado 3 del corolario 4.1.17.
6. Sean hxn inN una sucesion de n
umeros reales, L R y P y Q conjuntos tales que
P Q = N. Pruebe que:
1. Si P es infinto, entonces hxn i posee una (
unica) subsucesion hxnk ikN tal que
n[N] = P que indicaremos con h(x|P )k ikN .
2. Si P es finito, entonces hxn i converge a L si y solo si h(x|Q )k ikN converge a
L.
3. Si P y Q son infinitos, entonces hxn i converge a L si y solo si h(x|P )k ikN y
h(x|Q )k ikN convergen a L.
7. Si hxn inN es una sucesion de n
umeros reales, defnase que hxn i es de Cauchy si
> 0 n0 N n, m N (n > n0 m > n0 |xn xm | < ).
Pruebe que una sucesion de n
uemros reales es convergente si y solo si es de
Cauchy.
Seccion 2: 1. Demuestre la proposicion 4.2.2.
2. Demuestre las afirmaciones del ejemplo 4.2.3.
3. Demuestre los apartados faltantes de la proposicion 4.2.4.
Seccion 3: 1. Demuestre las propiedades 1 - 3.
P
2. Si han i es decreciente y
an converge, pruebe que lm(nan ) = 0.
P
P 2
3. Si
an es absolutamente convergente, pruebe que
an converge.
4. Demuestre el corolario 4.3.17.
5. Demuestre las afirmaciones del ejemplo 4.3.18.
6. Demuestre el corolario 4.3.20.
7. Si la constante de dAlembert de una serie existe, pruebe que la constante de
Cauchy tambien existe y que son iguales.
8. Pruebe que
9. Calcule lm
n
= e.
lm
n
n!
n!.
70
Captulo 5
La topologa de R
5.1.
Puntos interiores
Definici
on 5.1.1 Sea X R.
El interior de X es el conjunto
int X := {a R : > 0 (a , a + ) X}
y sus elementos son puntos interiores de X.
X es abierto si X int X.
Claramente, int X X, de manera que X es abierto si y solo si X = int X.
Por la definicion, es obvio que si X Y , entonces int X int Y .
Ejemplo 5.1.2 int (a, b) = (a, b).
Para corroborar esta afirmacion, elijamos x (a, b). Sea = mn{b x, x a}.
As,
a = x (x a) x y x + x + (b x) = b,
de manera que
(x , x + ) (a, b).
Ejemplo 5.1.3 int [a, b] = (a, b).
Como (a, b) [a, b] e int (a, b) = (a, b), tenemos que (a, b) int [a, b] y solo falta probar que
a, b
/ int [a, b]. En efecto:
Supongamos que a int [a, b]. Por definicion, existe 0 > 0 tal que
(a , a + ) [a, b],
de manera que a a, lo cual es una contradiccion.
Ejemplo 5.1.4 int Q = , en virtud del corolario 3.3.8.
Proposici
on 5.1.5 El interior de todo conjunto, es un conjunto abierto.
n:
Demostracio
Sea X R arbitrario, y sea A = int X. Queremos probar que A int A. En efecto:
Sea x A. Por definicion, existe 0 > 0 tal que
(x 0 , x + 0 ) X.
Ahora, si y (x 0 , x + 0 ), como todo intervalo abierto es abierto (ejemplo 5.1.2), existe
> 0 tal que
(y , y + ) (x 0 , x + 0 ) X,
de manera que y A.
Esto prueba que
(x 0 , x + 0 ) A,
lo cual, a su vez, prueba que x int A.//
73
X .
i nL
Por definicion de union, existe 0 L tal que a X0 . Siendo X0 abierto, existe > 0 tal
que
[
(a , a + ) X0
X .
i nL
Proposici
on 5.1.10 Dado X R, existe una familia numerable de conjuntos abiertos
F = {Xn : n N}
tal que
X=
Xn .
nN
racional
X
rM M para cada M .
75
Esto define una funcion inyectiva (pues las clases de equivalencia son dos a dos disjuntas)
r:
Siendo Q numerable, se sigue que
X
Q.
X
es numerable (por la proposicion 2.3.2).
C .
77
5.2.
Puntos de clausura
Definici
on 5.2.1 Sea X R.
La clausura de X es el conjunto
X := (int X c )c
y sus elementos son puntos de clausura de (o puntos adherentes a) X.
X es cerrado si X X.
La cadena de implicaciones
a X a
/ X c a
/ int X c a (int X c )c
ilustra que X X, de manera que X es cerrado si y solo si X = X.
Ademas, la cadena de implicaciones
X Y Y c X c int Y c int X c X = (int X c )c (int Y c ) = Y
ilustra que la clausura preserva inclusiones.
Proposici
on 5.2.2 Un conjunto X R es cerrado si y solo si X c es abierto.
n:
Demostracio
Para probar la implicacion de derecha a izquierda, supongamos que X sea cerrado, esto es,
X = X = (int X c )c .
Tomando complementos a izquierda y derecha queda
X c = int X c ,
de manera que X c es abierto, lo cual prueba la implicacion.
Para probar la implicacion inversa, supongamos que X c sea abierto, esto es,
X c = int X c .
Tomando complementos queda
X = (int X c )c = X,
lo cual completa la prueba.//
Ejemplo 5.2.3 Z es un conjunto cerrado ya que
[
Zc =
(k, k + 1)
kZ
y el u
ltimo es un conjunto abierto.
78
Corolario 5.2.10 Sean X R y hxn inN una sucesion en X. Los enunciados a continuacion
son equivalentes:
(1) X es cerrado.
(2) Si hxn i es convergente, entonces lm xn X.
(3) Si hxn i es acotada, entonces posee una subsucesion hxnk ikN tal que lm xnk X.
La demostracion es inmediata y quedara como ejercicio.
80
5.3.
Puntos de frontera
Definici
on 5.3.1 Sea X R.
La frontera de X es el conjunto
fr X := X X c
y sus elementos son puntos de frontera de X.
Ejemplo 5.3.2 Con la notacion de frontera, el ejemplo 5.2.9 afirma que fr Q = R.
La tabla a continuacion engloba las propiedades mas resaltantes de la frontera. Sus demostraciones son aplicaciones inmediatas de los resultados de las secciones anteriores y quedaran
como ejercicio.
F1. fr X es cerrado.
F4. X es abierto si y solo si X fr X = .
X = X.
F5. X es cerrado si y solo si fr X X.
F2. int X fr
F3. frX = X int X. F6. fr X = X = X = R.
Ejemplo 5.3.3 El conjunto de Cantor,
(
)
X xn
C :=
: hxn inN es una sucesi
on en {0, 2} ,
n
3
nN
satisface que fr C = C.
Probar las afirmaciones de este ejemplo quedara como ejercicio.
La forma mas sencilla de visualizar el conjunto de Cantor es definir
(
)
X xn
Cn :=
: x[N] {0, 1, 2} x[Nn ] {0, 2} ,
3n
nN
y luego observar que
C=
\
nN
81
Cn .
5.4.
Puntos de acumulaci
on
Definici
on 5.4.1 Sea X R.
El conjunto derivado de X es el conjunto
\
X 0 :=
X {x}
xX
Proposici
on 5.4.5 Sean X R y a R. Los enunciados a continuacion son equivalentes:
(1) a X 0
(2) Existe una sucesion hxn inN en X {a} (x[N] X) tal que lm xn = a.
(3) Todo intervalo abierto I tal que a I posee infinitos puntos de X.
(4) Existe una sucesion monotona hxn inN en X {a} (x[N] X) tal que lm xn = a.
La demostracion quedara como ejercicio.
Ejemplo 5.4.6 Todos los puntos de un conjunto finito F R son aislados.
Ejemplo 5.4.7 El conjunto de Cantor es perfecto.
Demostrar estas afirmaciones quedara como ejercicio.
Teorema 5.4.8 (Bolzano-Weierstrass) Todo conjunto infinito y acotado de n
umeros reales
posee por lo menos un punto de acumulacion.
n:
Demostracio
Sea X R infinito y acotado.
Por la proposicion 2.2.9, existe una sucesion inyectiva hxn inN en X.
Como esta sucesion es claramente acotada, posee una subsucesion convergente en virtud
del teorema de sucesiones del mismo nombre.
Sean hxnk ikN esta subsucesion y a su lmite. Como la subsucesion es hereditariamente inyectiva, a lo sumo uno de sus terminos es igual a a. Despreciandolo, si es necesario, obtenemos
una sucesion en X {a} que converge a a, de manera que a X 0 .
Esto prueba el enunciado.//
83
5.5.
Compacidad
Definici
on 5.5.1 Sea X R.
X es compacto si todo recubrimiento abierto de X posee un subrecubrimiento finito.
Ejemplo 5.5.2 Claramente, todo conjunto finito es compacto.
Lema 5.5.3 Todo intervalo cerrado y acotado, es compacto.
n:
Demostracio
Sean [a, b] un intervalo cerrado y acotado y F = {A : L} un recubrimiento abierto de
este intervalo.
Supongamos que F no admita subrecubrimiento finito. Sea [a1 , b1 ]. Una vez elegidos
[a1 , b1 ], , [an , bn ]
de manera que F no admita subrecubrimiento finito para ninguno de ellos, elegimos [an+1 , bn+1 ]
de la siguiente manera:
Claramente, F tambien es un recubrimiento de los intervalos
an + b n
an + b n
an ,
,b
y
2
2
y por lo menos uno de ellos no posee subrecubrimiento finito. Sea [an+1 , bn+1 ] este intervalo.
As, obtenemos la sucesion
[a1 , b1 ] [an , bn ]
tal que ninguno de estos intervalos posea subrecubrimiento finito. Ademas
bn an = 2n1 (b a), para cada n N,
como se prueba facilmente por induccion.
Por el Teorema de los Intervalos Encajados (3.3.5), existe
\
[an , bn ].
c
nN
ba
< ,
2n1
tenemos que
c [an0 , bn0 ] (c , c + ) A0 ,
lo cual constituye una contradiccion.
Esto prueba el enunciado.//
84
(rk , rk ) (r0 , r0 ),
kNn
Kn 6= .
nN
86
5.6.
Ejercicios
88
Captulo 6
Noci
on de lmite
6.1.
Definici
on y propiedades
Definici
on 6.1.1 Sean X R, a X 0 , L R y
f :XR
una funcion.
lm f (x) = L
xa
n+
lm xn = a.
n+
1
x
no posee lmite en el 0.
En efecto, se verifica que
1
=0y
n+ 2n
lm
1
=0
n+ (2n 1)
lm
mientras que
lm f
n+
1
2n
= lm cos(2n) = lm 1 = 1
n+
n+
pero
lm f
n+
1
(2n 1)
= lm cos((2n 1)) = lm 1 = 1.
n+
n+
91
1
= 0.
Ejemplo 6.1.5 lm x cos
x0
x
En efecto, si hxn i es cualquier sucesion en R{0} tal que lmn+ xn = 0 como la sucesion
1
cos
xn
es acotada, se verifica
1
lm xn cos
= 0,
n+
xn
en virtud de la proposicion 4.1.16.
El ejemplo anterior muestra que las proposiciones referentes a lmites de sucesiones pueden
ser generalizadas para lmites de funciones. Todas las demostraciones quedaran como ejercicio.
Proposici
on 6.1.6 Sean X R, a X 0 , L R y
f :XR
una funcion.
Si
lm f (x) = L y lm f (x) = M,
xa
xa
entonces L = M .
La proposicion anterior justifica la notacion
lm f (x) = L,
xa
xa
entonces
lm f |Y (x) = L.
xa
Proposici
on 6.1.8 Sean X R, a X 0 , y
f, g : X R
dos funciones.
Si f es acotada y
lm g(x) = 0,
xa
entonces
lm (f (x) g(x)) = 0.
xa
92
Proposici
on 6.1.9 Sean X R, a X 0 , L, M R y
f, g : X R
dos funciones tales que
lm f (x) = L y lm g(x) = M.
xa
xa
1. lm (f (x) g(x)) = L M
xa
2. lm (f (x) g(x)) = L M
xa
f (x)
L
=
si M 6= 0
xa g(x)
M
3. lm
Definici
on 6.1.10 Sea p : R R una funcion.
p es un polinomio si existen a0 , , an R tales que
p(x) =
n
X
ak xk , para cada x R.
k=0
xx0
Proposici
on 6.1.12 (Intercalaci
on) Sean X R, a X 0 , L R y
f, g, h : X R
tres funciones tales que
lm g(x) = lm h(x) = L.
xa
xa
xa
xa
si y solo si
> 0 > 0 x X (0 < |x a| < |f (x) L| < ).
93
n:
Demostracio
Para probar la implicacion de izquierda a derecha, supongamos que
lm f (x) = L
xa
pero que
0 > 0 > 0 x X (0 < |x a| < |f (x) L| ).
En particular,
0 > 0 n N xn X (0 < |xn a| <
1
|f (xn ) L| 0 ).
n
La sucesion hxn inN cumple que x[N] X {a} y converge, por Intercalacion, a a, de
manera que, por definicion de lmite (de funciones),
lm f (xn ) = L.
n+
n+
xa
xa
n:
Demostracio
Sea
=
M L
,
2
de manera que
L+M
= M .
2
Por la proposicion 6.1.13, existen 1 , 2 > 0 tales que
L+=
xa
95
6.2.
Lmites laterales
Definici
on 6.2.1 Sean X R, a X 0 y
f :XR
una funcion.
El lmite lateral derecho de f en a es
f (a+) = lm f (x) := lm f |X(a,+) (x)
xa+
xa
xa
|x|
.
x
x
= 1,
x0 x
mientras que
x
= 1.
x0 x
x0
x.
x = 0 = 0,
2. Si el lmite en a existe, entonces existe por lo menos uno de los lmites laterales.
3. Si f (a+) = f (a), entonces lm f (x) existe.
xa
5. Si f (a+) = L R y a
/ X0 (en particular, si X [a, +)), entonces lm f (x) = L.
xa
Proposici
on 6.2.8 Sean X R y
f :XR
una funcion creciente.
Si f es inferiormente acotada y a X+0 , entonces f (a+) existe.
En particular, si a X X+0 , entonces f (a+) existe.
Las demostraciones quedaran como ejercicio.
Es claro que valen resultados completamente analogos para los puntos de acumulacion por
la izquierda (los elementos de X0 ) y el lmite lateral por la izquierda (f (a)). Para probarlo,
basta aplicar los resultados de arriba a la funcion f (x).
97
6.3.
Continuidad
Definici
on 6.3.1 Sean X R, a X y
f :XR
una funcion.
f es continua en a si para cada sucesion hxn inN en X se tiene que
lm f (xn ) = f (a) si
n+
lm xn = a.
n+
f es discontinua en a si no es continua en X.
f es una funci
on continua si no es discontinua en ning
un punto.
Proposici
on 6.3.2 Sean X, Y, Z R a X, b Y y
f :XY yg:Y Z
dos funciones tales que b = f (a).
Si f es continua en a1 y g es continua en b, entonces g f es continua en a.
n:
Demostracio
Tenemos que
g f : X Z.
Sea hxn inN una sucesion en X tal que
lm xn = a.
n+
n+
n+
n+
Estrictamente hablando, no hemos definido la continuidad para funciones cuyo codominio es distinto de
R. Sin embargo, el codominio no interviene en absoluto en la nocion de continuidad, de manera que, para el
efecto, f es equivalente a iY ;R f .
98
(1) f es continua en a.
(2) a es aislado en X o lm f (x) = f (a).
xa
n+
Como hxn i es, en particular, una sucesion en X, por continuidad, se verifica que
lm f (x) = f (a)
xa
n+
xa
f
es una funcion continua si 0
/ g[D(g)].
g
100
+
X
k=0
+
X
k=0
tal que r sea el radio de convergencia de la serie. Para simplificar la notacion, sea
fn : (r, r) R definida por fn (x) =
n
X
ak x k ,
k=0
+ + = .
3 3 3
Proposici
on 6.3.12 Sean X R y
f :XR
una funcion.
En estas condiciones, f es continua si y solo si para cada abierto A R existe un abierto
B R tal que f 1 [A] = B X.
n:
Demostracio
Para probar la primera implicacion, supongamos que f sea continua y sea A R abierto.
Si a f 1 [A], f (x) A que es abierto, por lo que existe a > 0 tal que (f (a)a , f (a)+a )
A, de manera que, por continuidad, existe a > 0 tal que
f (x) (f (a) a , f (a) + a ) A para cada x X (a a , a + a ).
Sea
B=
(a a , a + a ).
af 1 [A]
B es claramente abierto.
Si x f 1 [A], x (x x , x + x ) X B X. Recprocamente, si x B X, existe
a f 1 [A] tal que x (a a , a + a ), de manera que f (x) A, o bien, x f 1 [A].
Esto prueba la implicacion.
Para probar la implicacion inversa, supongamos que para cada abierto A R exista un
abierto B R tal que f 1 [A] = B X y sean > 0 y a X arbitrarios.
Como (f (a), f (a)+) es abierto, existe B abierto tal que f 1 [(f (a), f (a)+)] = BX.
En particular, a B.
Luego, siendo B abierto, existe > 0 tal que (a , a + ) B. As, si x X y |x a| < ,
x B X = f 1 [(f (a) , f (a) + )],
de manera que
f (x) (f (a) , f (a) + ),
o bien,
|f (x) f (a)| < .
Esto prueba la implicacion restante.//
102
6.4.
Proposici
on 6.4.1 Sean I R y
f :IR
una funcion continua.
Si I es un intervalo, entonces f (I) tambien es un intervalo.
n:
Demostracio
En efecto, por el corolario 5.1.13, tenemos que I es conexo y bastara probar que f (I) tambien es conexo.
Supongamos que f (I) no sea conexo, esto es, existen conjuntos abiertos A y B tales que
f (I) A B, f (I) A 6= , f (I) B 6= , pero (f (I) A) (f (I) B) = .
Por la proposicion 6.3.12, existen conjuntos abiertos C y D tales que
f 1 [A] = C I y f 1 [B] = D I.
Claramente, I = f 1 [f (I)] f 1 [A B] = f 1 [A] f 1 [B] C D.
Ademas, fijando a f (I) A 6= , existe b I tal que f (b) = a A, de manera que
b f 1 [A] = C I 6= . Un razonamiento analogo prueba que D I 6= .
Por u
ltimo, si tuviesemos x (I C) (I D) = f 1 [A] f 1 [B], tendramos que
f (x) f (I) (A B) = (f (I) A) (f (I) B) = , de manera que (I C) (I D) = .
Lo dicho contradice el hecho que I es conexo y el enunciado queda probado.//
Confronte los ejercicios de esta seccion para una demostracion alternativa de la proposicion
anterior.
Teorema 6.4.2 (Valor Intermedio, Bolzano) Sean a, b, d R y
f : [a, b] R
una funcion continua.
Si f (a) < d < f (b) o f (b) < d < f (a), entonces existe c (a, b) tal que f (c) = d.
La demostracion es inmediata y quedara como ejercicio.
Ejemplo 6.4.3 Sean a R, n N y
f : R R definida por f (x) = xn .
Si a 1, se verifica que f (a) = an a y que f (1) = 1 a. Luego, existe b [1, a] tal que
bn = a.
Si 0 a < 1, se verifica que f (0) = 0 a y que f (1) = 1 > a. Luego, existe b [0, 1) tal
que bn = a.
Ademas, si a < 0, como a > 0, existe c > 0 tal que cn = a. Ahora, si n es impar, basta
tomar b = c para que se verifique que bn = (c)n = cn = (a) = a.
103
Proposici
on 6.4.5 Sean I R un intervalo y
f :IJ
continua y biyectiva.
(1) Si I es un intervalo cerrado, entonces f es monotona.
(2) Si I es un intervalo arbitrario, entonces f es monotona.
(3) f 1 es monotona.
(4) f 1 |int J es continua.
(5) f 1 es continua.
Aunque la prueba sea extensa, la proposicion anterior es sencilla de probar si se sigue el
orden natural de sus apartados. La demostracion quedara como ejercicio.
Ejemplo 6.4.6 Sean n, m N, con n par y m impar, y sean
f : [0, +) [0, +) definida por f (x) =
y
g : R R definida por g(x) =
n
x
m
x.
104
6.5.
Proposici
on 6.5.1 Sean K R y
f :KR
una funcion continua.
Si K es compacto, entonces f (K) es compacto.
n:
Demostracio
En efecto, por el corolario 5.5.5, tenemos que toda sucesion en K posee una subsucesion
que converge en K y bastara probar que toda sucesion en f (K) posee una subsucesion que
converge en f (K).
Sea hyn inN una sucesion en f (K). Por definicion de imagen, existe una sucesion hxn inN
tal que
yn = f (xn ) para cada n N.
Por hipotesis, existe una subsucesion hxnk ikN tal que lm xnk K, de manera que, como f
es una funcion continua, tenemos que
lm ynk = lm f (xnk ) = f (lm(xnk )) f (K).
Esto prueba el enunciado.//
Teorema 6.5.2 (Weierstrass) Sean K R y
f :KR
una funcion continua.
Si K es compacto, entonces existen x1 , x2 K tales que
f (x1 ) f (x) f (x2 ) para cada x K.
Corolario 6.5.3 Toda funcion de dominio compacto es acotada.
Las demostraciones son inmediatas y quedaran como ejercicio.
Proposici
on 6.5.4 Sean K, Y R y
f :KY
una biyeccion continua.
Si K es compacto, entonces f 1 es continua.
n:
Demostracio
Sea b Y arbitrario y supongamos que f 1 no fuese continua en b, esto es, existe 0 > 0
tal que
1
1
Y |f 1 (yn ) f 1 (b)| 0 .
n N yn b , b +
n
n
105
Claramente, lm yn = b.
Definiendo a = f 1 (b) y xn = f 1 (yn ) para cada n N, podemos considerar una subsucesion hxnk i que converge a c K (digamos). Como
|xn a| 0 para cada n N,
una aplicacion del corolario 4.1.20 revela que c 6= a.
Por otro lado, como f es continua, tenemos que
lm ynk = lm f (xnk ) = f (c).
Sin embargo,
lm yn = b = f (a),
de manera que f (c) = f (a).
Esto contradice la hipotesis que f es inyectiva y el enunciado se sigue.//
106
6.6.
Continuidad uniforme
Definici
on 6.6.1 Sean X R y
f :XR
una funcion.
f es uniformemente continua si para cada par de sucesiones hxn inN e hyn inN en X
se tiene que
lm (f (xn ) f (yn )) = 0 si lm (xn yn ) = 0.
n+
n+
Es inmediato verificar que toda funcion uniformemente continua es continua, ya que basta
tomar yn = a para cada n N.
A primera vista puede parecer que el recproco es valido, es decir, que toda funcion continua
es uniformemente continua. Esto esta aparentemente probado por la cadena de implicaciones
lm(xn yn ) = 0
lm xn = lm yn
f (lm xn ) = f (lm yn )
La sucesiones xn = n + n1 nN e hyn = ninN verifican que
lm(xn yn ) = lm
1
= 0.
n
Sin embargo,
!
2
1
1
2
lm(f (xn ) f (yn )) = lm
n+
n = lm 2 +
= 2 6= 0.
n
n
Ejemplo 6.6.3 La funcion
f : R {0} R definida por f (x) =
1
x
La sucesiones xn =
1
2n nN
e yn = n1 nN verifican que
1
lm(xn yn ) = lm
= 0.
2n
Sin embargo,
lm(f (xn ) f (yn )) = lm(2n n) = lm n = +.
107
Proposici
on 6.6.4 Sea K R y
f :KR
una funcion continua.
Si K es compacto, entonces f es uniformemente continua.
n:
Demostracio
Supongamos que f no sea uniformemente continua, esto es, que existen dos sucesiones
hxn inN e hyn inN en K tales que lm(xn yn ) = 0 pero que no verifican que
lm(f (xn ) f (yn )) = 0.
Para cada n N, sea zn = f (xn ) f (yn ). Es claro que hzn inN es acotado (pues f (K) es
compacto), de manera que, por el corolario 4.1.21, la sucesion posee un valor de adherencia
a 6= 0, esto es, existe una subsucesion hznk ikN tal que lm znk = a.
Ahora, como K es compacto, la sucesion hynk ikN posee una subsucesion convergente
D
E
ynkl
lN
xnkl
E
j
.
jN
Es claro que
lm xnkl = lm ynkl ,
j
xa
existe.
La demostracion quedara como ejercicio.
109
6.7.
Ejercicios
Seccion 1: 1. Sean X R, a X 0 y
f :XR
una funcion.
Pruebe que
lm f (x) =
xa
si y solo si
1
= 0 y lm (f (x) |f (x)|) = 0.
xa f (x)
xa
lm
6. Sean X R y
f :XR
una funcion.
Pruebe que f es continua si y solo si
f (A X) f (A X) para cada A X.
7. Sean X R,
f, g : X R
dos funciones continuas e
Y = {x X : f (x) < g(x)}.
En estas condiciones, existe un conjunto abierto A tal que Y = X A.
Seccion 4: 1. Demuestre el teorema 6.4.2.
2. Demuestre las afirmaciones del ejemplo 6.4.4.
3. Sean X R, c X y
f :XR
una funcion.
Defnase que c es un punto fijo de f si f (c) = c.
Si X es un intervalo cerrado, pruebe que f posee, por lo menos, un punto fijo.
4. Demuestre la proposicion 6.4.5.
5. Se verifica que la inversa de cualquier funcion continua y biyectiva es continua?
Justifique su respuesta.
6. Demuestre las afirmaciones del ejemplo 6.4.6.
Seccion 5: 1. Sean a, b R y
f : [a, b] R
una funcion continua.
= [a, b] y f [X] = f [Y ].
Pruebe que no existen X, Y R tales que X Y
2. Sean X R y
f :RR
una funcion.
Defnase que f es periodica si existe p R tal que
f (x + p) = f (x) para cada x X.
Si f es continua y periodica, pruebe que existen x1 , x2 X tales que
f (x1 ) f (x) f (x2 ) para cada x X.
111
3. Sean K R y
f :KR
una funcion continua.
Si K es compacto, pruebe que
> 0 l 0 x, y K (|x y| |f (x) f (y)| l |x y|).
Seccion 6: 1. Sean X R y
f :XR
una funcion.
Pruebe que f es uniformemente continua si y solo si
> 0 > 0 x, y X (|x y| < |f (x) f (y)|).
2. Es cierto que la suma y el producto de funciones uniformemente continuas es
una funcion uniformemente continua? Justifique su respuesta.
3. Demuestre la proposicion 6.6.6.
4. Demuestre las afirmaciones del ejemplo 6.6.7.
5. Demuestre la proposicion 6.6.10.
6. Pruebe que la funcion
f : R {0} R definida por f (x) = cos
1
x
no es uniformemente continua.
7. Sean X R cerrado y
f :XX
una contraccion, es decir, una funcion con constante de Lipschitz l < 1. Pruebe
que:
(1) Para cualquier x1 X, la sucesion hxn inN definida inductivamente por
xn+1 = f (xn ) para cada n N, converge a un punto fijo de f .
(2) f posee un u
nico punto fijo.
112
Captulo 7
Derivadas
7.1.
Definici
on y propiedades
Definici
on 7.1.1 Sean X R, a X X 0 y
f :XR
una funcion.
La derivada de f en a es
f (x) f (a)
xa
xa
f 0 (a) := lm
si este lmite existe.
f es derivable en a si f 0 (a) existe.
Geometricamente, el cociente
f (x) f (a)
xa
representa la pendiente de la recta que pasa por los puntos (x, f (x)) y (a, f (a)). Si pensamos
en la variable independiente como el tiempo y en la variable dependiente como la posicion de
un objeto, esta pendiente es la velocidad media del objeto entre los instantes a y x.
Al pasar al lmite en a, obtenemos la velocidad en el instante a y, por definicion, la pendiente
de la curva en (a, f (a)).
Ejemplo 7.1.2 Consideremos la funcion
p : R R definida por p(x) = xn ,
donde n N {0}.
Si x, a R, sabemos del algebra que
xn an = (x a)
n
X
(xnk ak1 ).
k=1
Luego,
n
n
n
X
X
X
f (x) f (a)
nk k1
nk k1
p (a) := lm
= lm
(x a ) =
lm (x a ) =
an1 = n an1 .
xa
xa
xa
xa
k=1
k=1
k=1
0
Proposici
on 7.1.3 Sean X R, a X X 0 y
f :XR
una funcion.
Si f es derivable en a, entonces f es continua en a.
115
n:
Demostracio
Claramente,
f (x) = f (x) f (a) + f (a) = (x a)
f (x) f (a)
+ f (a),
xa
lm f (x) = lm (x a) lm
xa
xa
de manera que
(f g)0 (a) = f 0 (a) g 0 (a),
por definicion de derivada.
Esto prueba el apartado.
116
2. Tenemos que
(f g)(x) (f g)(a) = f (x)g(x) f (a)g(a) = f (x)g(x) f (a)g(x) + f (a)g(x) f (a)g(a),
de manera que
(f g)(x) (f g)(a)
(f (x) f (a))g(x) + f (a)(g(x) g(a))
=
xa
xa
=
g(x) g(a)
f (x) f (a)
g(x) + f (a)
.
xa
xa
xa
= lm
n
X
ak x k
k=0
p (x) =
n
X
kak x
k1
k=0
n1
X
(k + 1)ak+1 xk .
k=0
Proposici
on 7.1.7 (Regla de la Cadena) Sean X, Y R, a X X 0 y
f : X Y, g : Y R
dos funciones tales que f (a) Y Y 0 .
Si f es derivable en a y g es derivable en f (a), entonces (g f )0 (a) = g 0 (f (a)) f 0 (a).
n:
Demostracio
Sean hxn inN una sucesion en X {a} que converge a a, hyn = f (xn )inN , b = f (a)
hzn = g(yn )inN y c = g(b). Con esta notacion,
zn c
g(yn ) g(b) f (xn ) f (a)
=
xn a
yn b
xn a
117
zn c
= g 0 (b) f 0 (a).
xn a
(z|P )k c
g((y|P )k ) g(b)
f ((x|P )k ) f (a)
= lm
lm
= g 0 (b) f 0 (a).
(x|P )k a
(y|P )k b
xk a
(z|Q )k c
= 0 = g(b) f 0 (a).
(x|Q )k a
zn c
= g 0 (b) f 0 (a)
xn a
1
f 0 (a)
n:
Demostracio
Si f 1 es derivable en b:
Como (f 1 f )(x) = x para cada x X, la Regla de la Cadena implica que (f 1 )0 (b)f 0 (a) =
1, lo cual prueba (2) con esta hipotesis. En particular, f 0 (a) = 0, lo cual prueba la implicacion
de izquierda a derecha de (1).
Si f 0 (a) 6= 0:
Como a X 0 , existe una sucesion han inN en X {a} que converge a a. Como f es inyectiva
y continua en a, la sucesion hbn = f (an )inN esta en Y {b} y converge a b. Luego, b Y Y 0
y la nocion de derivada tiene sentido.
Sea hyn inN una sucesion en Y {b} tal que lm yn = b. Como f 1 es inyectiva y continua
en b, la sucesion hxn = f 1 (yn )inN esta en X {a} y lm xn = a. Luego,
(f
f 1 (yn ) f 1 (b)
= lm
) (b) = lm
yn b
1 0
yn b
1
f (yn ) f 1 (b)
1
= lm
f (xn ) a
xn a
1
=
1
f 0 (a)
lo cual prueba (2) con esta hipotesis. En particular, f 1 es derivable en b, lo cual prueba la
implicacion restante de (1).//
118
3
y.
1
1 2
= y 3 para cada y R {0}.
2
3
3( y)
3
119
7.2.
Derivadas laterales
Definici
on 7.2.1 Sean X R, a X y
f :XR
una funcion.
Si a X,0 , la derivada lateral derecha de f en a es
f (x) f (a)
xa+
xa
f+0 (a) := lm
si este lmite existe.
f0 (a) := lm
si este lmite existe.
x
1
+ x2 cos si x 6= 0.
2
x
Claramente,
0
f (0) = lm
x0
x
2
+ x2 cos x1
1
1
= + lm x cos
= 1 + 0 = 1.
x
2 x0
x
A pesar de lo que afirma el corolario 7.2.4, no existe r > 0 tal que f sea creciente en (r, r).
121
122
7.3.
1
si x 6= 0.
x
x0
no existe.
Demostrar las afirmaciones de este ejemplo quedara como ejercicio.
Teorema 7.3.3 (Rolle) Sean a, b R y
f : [a, b] R
una funcion continua.
Si f es derivable en (a, b) y f (a) = f (b), entonces existe c (a, b) tal que f 0 (c) = 0.
123
n:
Demostracio
El enunciado es trivialmente cierto si f es constante. Supongamos lo contrario.
Por el Teorema de Weierstrass, existen x1 , x2 [a, b] tales que
f (x1 ) f (x) f (x2 ) para cada x [a, b].
Como f no es constante, f (x1 ) 6= f (x2 ), de manera que, como f (a) = f (b), {x1 , x2 } 6 {a, b}.
Sea c {x1 , x2 } (a, b).
Por el corolario 7.2.7, f 0 (c) = 0 y el enunciado queda probado.//
Teorema 7.3.4 (Valor Medio de Lagrange) Sean a, b R y
f : [a, b] R
una funcion continua.
Si f es derivable en (a, b), entonces existe c (a, b) tal que
f 0 (c) =
f (b) f (a)
.
ba
n:
Demostracio
Sea
f (b) f (a)
.
ba
Claramente, g es continua en [a, b], derivable en (a, b) y se verifica que
g : [a, b] R definida por g(x) = f (x) (x a)
g(b) = f (b) (b a)
f (b) f (a)
= f (b) (f (b) f (a)) = f (a) = g(a).
ba
Luego, por el Teorema de Rolle, existe c (a, b) tal que g 0 (c) = 0, esto es,
f 0 (c)
f (b) f (a)
=0
ba
o bien,
f 0 (c) =
f (b) f (a)
.
ba
125
7.4.
Funciones convexas
Definici
on 7.4.1 Sean I un intervalo y
f :IR
una funcion.
f es convexa si para cada par de puntos a, b int I y cada t [0, 1], se verifica que
f ((1 t)a + tb) (1 t)f (x) + tf (y).
f es c
oncava si para cada par de puntos a, b int I y cada t [0, 1], se verifica que
f ((1 t)a + tb) (1 t)f (x) + tf (y).
Geometricamente,
{((1 t)a + tb, (1 t)f (a) + tf (b) : t [0, 1]}
es el segmento de recta que une los puntos (a, f (a)) e (b, f (b)). As, f es convexa si y solo si el
grafico de f se sit
ua bajo cualquiera de sus secantes.
Claramente, f es concava si y solo si f es convexa. Por tanto, solo enunciaremos proposiciones respecto a funciones convexas.
Lema 7.4.2 Sean I un intervalo y
f :IR
una funcion. Los enunciados a continuacion son equivalentes:
(1) f es convexa.
(2)
f (v) f (u)
f (w) f (u)
(3)
f (w) f (u)
f (v) f (w)
n:
Demostracio
Fijemos c int I y sea
: I R definida por (x) =
f (x) f (c)
.
xc
Si x, y I (c, +) son tales que x < y, c < x < y, de manera que, por el apartado (2)
del lema 7.4.2,
f (y) f (c)
f (x) f (c)
= (y).
(x) =
xc
yc
Luego, es creciente en I (c, +).
Como c int I, podemos fijar a I (, c). Luego, si x I (c, +), a < c < x, de
manera que, por el apartado (3) del lema 7.4.2,
(x) =
f (x) f (c)
f (c) f (a)
,
xc
ca
Proposici
on 7.4.7 Sean I un intervalo y
f :IR
una funcion derivable. Los enunciados a continuacion son equivalentes:
(1) f es convexa.
(2) La derivada f 0 : I R es creciente.
(3) Se verifica que f (x) f (a) + (x a)f 0 (a), para cada a, x I.
Geometricamente, (3) afirma que el grafico de f se sit
ua por encima de cualquiera de sus
tangentes.
n:
Demostracio
Supongamos (1) y sean a, b I tales que a < b.
Para cada x (a, b), por el lema 7.4.2, tenemos que
f (b) f (a)
f (x) f (b)
f (x) f (a)
.
xa
ba
xb
Luego, por el corolario 6.1.14,
f+0 (a)
f (b) f (a)
f0 (b),
ba
f (x) f (a)
,
xa
o bien,
f (x) = f (a) + (x a)f 0 (c).
Si a < x, como f 0 es creciente, f 0 (c) f 0 (a). Ademas, x a 0, de manera que
f (x) f (a) + (x a)f 0 (a).
Si a > x, como f 0 es creciente, f 0 (c) f 0 (a). Ademas, x a 0, de manera que
f (x) f (a) + (x a)f 0 (a).
Luego, (2) se sigue y esto prueba que (2) (3).
128
f (w) f (u)
.
wu
f (v) f (w)
.
vw
Como f 0 (d) f 0 (c) (pues f 0 es creciente), se sigue el apartado (3) del lema 7.4.2 y, por tanto,
que f es convexa.
Si v < c, por el Teorema del Valor Medio de Lagrange, existe d (u, v) tal que
f 0 (d) =
f (v) f (u)
.
vu
Como f 0 (d) f 0 (c) (pues f 0 es creciente), se sigue el apartado (2) del lema 7.4.2 y, por tanto,
que f es convexa.
Esto prueba que (2) (1).//
Corolario 7.4.8 Una funcion convexa alcanza un mnimo absoluto en cada uno de sus puntos
crticos.
Corolario 7.4.9 Sean I un intervalo y
f :IR
una funcion dos veces derivable (f 0 es derivable).
f es convexa si y solo si f 00 (x) 0 para cada x I.
Las demostraciones son inmediatas y quedaran como ejercicio.
129
7.5.
Ejercicios
3. Sean a, b, d R y
f : [a, b] R
una funcion tal que f (a) < d < f (b).
Si f es continua y convexa, pruebe que existe un u
nico c (a, b) tal que f (c) = d.
131
132
Captulo 8
La Integral de Riemann
8.1.
Definici
on y propiedades
n
X
ti ti1 .
i=1
n
X
i=1
n
X
i=1
n
X
i=1
Geometricamente, si f ([a, b]) [0, +), s(f, P ) y S(f, P ) son aproximaciones, por defecto
y por exceso, del area comprendida entre el grafico de f y las rectas y = 0, x = a y x = b.
135
Proposici
on 8.1.2 Si P Q, entonces s(f, P ) s(f, Q) y S(f, Q) S(f, P ).
n:
Demostracio
Supongamos inicialmente que existe r R tal que Q = P {r} y sea j tal que pj1 < r < pj .
Sean m = m(f, P, j), m1 = nf f ([pj1 , r]) y m2 = nf f ([r, pj ]). Claramente, m m1 ,
m m2 y pj pj1 = (pj r) + (r pj1 ).
Luego,
s(f, Q)s(f, P ) = m2 (pj r)+m1 (rpj1 )m(pj pj1 ) = (m2 m)(pj r)+(m1 m)(rpj1 ),
de manera que s(f, Q) s(f, P ) 0. El resultado general se demuestra extendiendo lo demostrado por induccion.
Analogamente, se prueba que S(f, Q) S(f, P ).//
Corolario 8.1.3 Para P y Q cualesquiera, s(f, P ) S(f, Q).
n:
Demostracio
Como P P Q y Q P Q, por la proposicion 8.1.2, se verifica que
s(f, P ) s(f, P Q) S(f, P Q) S(f, Q).
Esto prueba el enunciado.//
Definici
on 8.1.4 La integral inferior y la integral superior de f (entre a y b) son,
respectivamente,
Z b
on por intervalos de [a, b]}
f (x) dx := sup{s(f, P ) : P es una partici
a
y
Z
Corolario 8.1.5 La integral inferior y la integral superior siempre existen y verifican que
Z b
Z b
(b a)m(f )
f (x) dx
f (x) dx (b a)M (f )
a
n:
Demostracio
En efecto, tomando supremo sobre las particiones por intervalos P de [a, b] en la desigualdad
del corolario 8.1.3, tenemos que
Z b
f (x) dx S(f, Q).
a
Tomando luego nfimo sobre las particiones por intervalos Q de [a, b], queda
Z b
Z b
f (x) dx
f (x) dx.
a
Z
f (x) dx = 0 y
f (x) dx = 1.
Definici
on 8.1.7 f es integrable si
Z b
Z
f (x) dx =
f (x) dx.
f (x) dx = (b a)c.
a
Proposici
on 8.1.9 Los enunciados a continuacion son equivalentes:
(1) f es integrable.
(2) > 0 P, Q S(f, Q) s(f, P ) < .
(3) > 0 P S(f, P ) s(f, P ) < .
n:
Demostracio
Supongamos (1). Por definicion de supremo e nfimo, existen P y Q tales que
Z b
s(f, P ) >
f (x) dx
2
a
y
Z
S(f, Q) <
a
f (x) dx + .
2
+ =
2 2
Z
f (x) dx S(f, P ) y
f (x) dx s(f, P ),
a
tenemos que
Z
Z
f (x) dx
f (x) dx = (b a)c,
a
y
Z
Z
f (x) dx =
Z
f (x) dx +
f (x) dx,
c
n:
Demostracio
Sean A y B los conjuntos de las sumas inferiores de f |[a,c] y f |[c,b] , respectivamente.
Claramente, A + B es el conjunto de las sumas inferiores de f respecto a las particiones de
intervalos que contienen a c, de manera que, por el lema 8.1.11,
Z b
f (x) dx.
sup A + B =
a
f (x) dx =
a
n
X
i=1
Proposici
on 8.1.15 Si f y g son integrables y f (x) g(x) para cada x [a, b], entonces
Z b
Z b
f (x) dx
g(x) dx.
a
Corolario 8.1.17 Si f es integrable y existe c R tal que f ([a, b]) [c, c], entonces
Z b
f (x) dx (b a)c.
a
8.2.
El Teorema de Riemann-Lebesgue
Definici
on 8.2.1 Sea X R.
X tiene medida nula si para todo > 0, X posee un recubrimiento de la forma
F = {(an , bn ) : n N an < bn }
tal que
X
(bn an ) < .
nN
Ejemplo 8.2.2 Sea X un conjunto numerable. Entonces existe una funcion sobreyectiva
f : N X.
La familia
o
:
n
N
,
f
(n)
+
2n+2
2n+2
es claramente un recubrimiento de X. Ademas,
X
X
f (n) + n+2 f (n) n+2
= < .
=
n+1
2
2
2
2
nN
nN
F=
n
f (n)
[
kN
Ik y
(bk ak ) <
kN
140
.
2(f )
si |y x| < .
4(b a)
!
[a, b]
Ik
kN
Jx
x[a,b]D
i=1
Sea P la particion por intervalos de [a, b] formada por a, b y los extremos de los m + n
intervalos definido arriba que pertenecen a [a, b].
Sean A el conjunto de los subndices i tales que [ti1 , ti ] este contenido en alg
un Ik y
B = Nn A, de manera que [ti1 , ti ] esta incluidos en alg
un Jk si i B. As,
X
y (f, P, i) <
para cada i B.
(ti ti1 ) <
2(f
)
2(b
a)
iA
Luego, como
S(f, P ) s(f, P ) =
iA
se sigue que
S(f, P ) s(f, P ) <
iB
(f ) + (b a)
= .
2(f )
2(b a)
f
es integrable.
g
8.3.
y que
a
Z
f (x) dx =
f (x) dx
a
Z
f (t) dt F (a)
f (t) dt
f (t) dt =
b
f (b) dt = (x b) f (b),
b
tenemos que
Z x
F (x) F (b)
1
(f (t) f (b)) dt.
f (b) =
xb
xb b
Sea > 0. Como f es continua en b, existe > 0 tal que
|f (t) f (b)| < si |t b| < .
Ahora, si t I y 0 < |t b| < ,
Z
F (x) F (b)
1 x
1
<
f
(b)
|f
(t)
f
(b)|
dt
|x b| = .
xb
|x b| b
|x b|
Luego,
F (x) F (b)
= f (b)
xb
xb
lm
142
Z
: I R definida por (x) =
f (t) dt.
a
u(d)
f (u(x)) u (x) dx =
f (t) dt.
u(c)
n:
Demostracio
Como f es continua, posee, por el Teorema Fundamental de Calculo, una primitiva F
(digamos) tal que
Z u(d)
f (t) dt = F (u(c)) F (u(d)).
u(c)
Z
f (x)(x) dx = f (c)
(x) dx.
a
144
8.4.
Funciones analticas
Proposici
on 8.4.1 Sean han inN{0} una sucesion y
f : (r, r) R definida por f (x) =
+
X
ak x k ,
k=0
+
X
ak
f (x) dx =
( k+1 k+1 ).
k
+
1
k=0
n:
Demostracio
Sea > 0.
Para simplificar la notacion, sea
fn : (r, r) R definida por fn (x) =
n
X
ak x k ,
k=0
.
2(b a)
|f (x) fn (x)| dx
(b a)
= < .
2(b a)
2
Esto es,
Z
f (x) dx = lm
n
+
X
X
ak
ak
k+1
k+1
fn (x) dx = lm
(
)=
( k+1 k+1 ).
k
+
1
k
+
1
k=0
k=0
+
X
k=0
145
ak x k ,
f (x) =
+
X
k=0
+
X
ak x k ,
k=0
f (k) (x)
para cada k N.
k!
ak x y
k=0
+
X
bk x k
k=0
ak x =
k=0
+
X
bk xk para cada x X,
k=0
sen 2
sen 2 sen 0
=
,
2
2
147
8.5.
Logaritmos y exponenciales
Definici
on 8.5.1 El logaritmo natural es la funcion
log : R+ R
definida por
Z
log x =
1
1
dt.
t
1
para cada x R+ .
x
Dejaremos la mayora de las demostraciones como ejercicio, ya que son aplicaciones directas
de los resultados de la seccion 8.3.
Proposici
on 8.5.2 Si x, y R+ , entonces log(xy) = log x + log y.
Corolario 8.5.3 Si x R+ y r Q, entonces log(xr ) = r log x.
Corolario 8.5.4 log es biyectiva.
Definici
on 8.5.5 La funci
on exponencial exp : R R+ es la inversa de la funcion log.
Proposici
on 8.5.6
1. exp es biyectiva.
2. exp0 = exp.
3. exp es creciente y convexa.
4. Si x, y R, entonces exp(x + y) = exp(x) exp(y)
5. Si r Q, entonces exp(r) = (exp(1))r .
Ejemplo 8.5.7 exp(1) = e. En efecto:
La funcion
f : (1, +) R definida por f (x) = log(1 + x)
cumple que
f 0 (x) =
1
para cada x (1, +),
1+x
de manera que
lm log (1 + x)
x0
1
x
= lm
x0
log(1 + x)
f (x) f (0)
= lm
= f 0 (0) = 1.
x0
x
x0
Por lo tanto,
1
1
1
lm (1 + x) x = lm exp log (1 + x) x
= exp lm log (1 + x) x
= exp(1).
x0
x0
x0
n
1
= e (confronte el ejemplo 4.3.5).
Luego, basta recordar que lm 1 +
n
148
log x
.
log b
Las exponenciales y los logaritmos as definidos cumplen todas las propiedades conocidas
para cada a (0, 1) (1, +).
E1.
E2.
E3.
E4.
E5.
x > 0 aloga x = x
ax+y = ax ay
(ax )y = axy
x < y a > 1 ax < ay
x < y a < 1 ax > ay
L1.
L2.
L3.
L4.
L5.
loga ax = x
xy > 0 loga (xy) = loga x + loga y
x, y > 0 loga xy = y loga x
x < y a > 1 loga x < loga y
x < y a < 1 loga x > loga y
149
8.6.
Ejercicios
(x) =
a
151
152
Bibliografa
[1] Dugundji, James, Topology, 10. ed., Allyn and Bacon, Boston, 1975
[2] Lima, Elon Lages, Analise real I volume 1, 8. ed., IMPA, Rio de Janeiro, 2006
[3] Lima, Elon Lages, Curso de analise volume 1, 11. ed., IMPA, Rio de Janeiro, 2004
153