Departamento de Matematica MAT-021

N umeros Reales
1. Axiomas de los n umeros reales
Las propiedades de los objetos matematicos se deducen de propiedades mas basicas; las
cuales, a su vez, provienen de otras mas bsicas a un, y as siguiendo hasta llegar a un
conjunto de axiomas que estan en la base de toda teora. Razones pedagogicas hacen
que, en los cursos, la exposicion de los temas no siga un orden logico estricto y por lo
tanto, muchas veces preferimos tomar como axiomas propiedades que en realidad van a ser
demostradas en cursos mas avanzados. Ese estilo de presentacion de los temas no debilita
la rigurosidad del tratamiento: si queda perfectamente claro cual fue el punto de partida
convenido, podemos dejar para mas adelante el tramo que va desde el comienzo real de
la teora hasta la deduccion de las propiedades que fueron tomadas provisoriamente como
axiomas. La unica condicion que debemos cumplir es que cuando llegue el momento de
completar el trecho inicial, no hagamos uso de lo que fue deducido en la etapa anterior.
Dicho esto, vamos a introducirnos de pleno en establecer claramente lo que para
nosotros va a ser el conjunto de axiomas de los n umeros reales. A partir de ellos, deberemos
mostrar como se deduce el cuerpo de proposiciones y teoremas que vamos a estudiar a lo
largo del curso.
Suma y producto. El cuerpo de los n umeros reales es un conjunto R junto con dos
aplicaciones (x, y) x + y y (x, y) xy de R R en R y una relacion de orden x y
entre elementos de R que satisfacen los siguientes cuatro grupos de axiomas:
(I) R es un cuerpo, es decir:
Propiedades de la suma
(I.1) Asociatividad: x + (y +z) = (x +y) +z;
(I.2) Conmutatividad: x +y = y +x;
(I.3) Neutro: existe un elemento 0 R tal que, para cada x R, se verica:
x + 0 = x;
(I.4) Inverso: para cada x R existe un elemento x

R tal que x +x

= 0;
Propiedades de la multiplicacion
(I.5) Asociatividad: x(yz) = (xy)z;
(I.6) Conmutatividad: xy = yx;
(I.7) Neutro: existe un elemento 1 R tal que, para cada x R, se verica: 1x = x;
(I.8) Inverso: para cada x R, x ,= 0, existe un elemento x

R tal que xx

= 1;
Propiedad mixta
(I.5) Distributividad: x(y +z) = xy +xz.
(II) R es un cuerpo ordenado, es decir:
Propiedades del orden
(II.1) Transitividad: x y e y z implican x z;
(II.2) Antisimetra: x y e y x implican x = y;
(II.3) Linealidad: dados dos elementos x e y, vale alguna de las siguientes relaciones:
x y o y x;
Propiedades mixtas
1
Departamento de Matematica MAT-021
(II.4) Compatibilidad de la suma y el orden: x y implica x +z y +z;
(II.5) Compatibilidad de la multiplicacion y el orden: x y y 0 z implica xz yz.
La relacion x y, x ,= y se escribe x < y. Algunas veces, en lugar de x y o x < y
vamos a escribir y x o y > x. El conjunto (a, b) = x R [ a < x < b se llama intervalo
abierto (con origen a y extremo b). A su vez, el conjunto [a, b] = x R [ a x b se
llama intervalo cerrado (con origen a y extremo b). Anlogamente se denen los intervalos
semicerrados (a, b] y [a, b). En cualquier caso, los n umeros a y b se llaman extremos del
intervalo.
(III) R es un cuerpo ordenado arquimediano, es decir:
Arquimedianidad: dado x en R, 0 x, existe un n umero natural n tal que
x n.
(IV) R es un cuerpo ordenado arquimediano completo, es decir:
Completitud (axioma de intervalos encajados): dada una sucesion ([a
n
, b
n
])
nN
de intervalos cerrados encajados; es decir, tales que a
n
a
n+1
b
n+1
b
n
para todo n, existe al menos un elemento x R tal que x [a
n
, b
n
] para todo n.
Ejercicio 1. Unicidad del neutro de la suma. Muestre que el elemento 0 de I.3 es unico,
es decir, que si 0

fuese otro real con la misma propiedad, necesariamente sera 0

= 0.
Ejercicio 2. Unicidad del neutro de la multiplicacion. Muestre que el elemento 1 de
I.7 es unico, es decir, que si 1

fuese otro real con la misma propiedad, necesariamente

sera 1

= 1.
Ejercicio 3. Unicidad del inverso aditivo. Muestre que el elemento x

de I.4 es unico, es
decir, que si x

fuese otro real con la misma propiedad, necesariamente sera x

= x

. Una
vez que la unicidad ha sido probada, tenemos derecho a hablar del inverso aditivo de x (en
contraposicion a un inverso aditivo). Para el inverso aditivo se usa la notacion x.
Ejercicio 4. Unicidad del inverso multiplicativo. Muestre que el elemento x

de I.8
es unico, es decir, que si x

fuese otro real con la misma propiedad, necesariamente

sera x

= x

. Una vez que la unicidad ha sido probada, tenemos derecho a hablar del
inverso multiplicativo de x (en contraposicion a un inverso multiplicativo). Las notaciones
que se usan son x
1
y 1/x. El inverso multiplicativo tambin se denomina recproco.
Ejercicio 5. Demuestre las siguientes propiedades:
- x +z = y +z implica x = y.
- x +y = y implica x = 0.
- 0 + 0 = 0.
- 1 1 = 1.
- xz = yz y z ,= 0 implican x = y.
- xy = x y x ,= 0 implican y = 1.
- (x) = x.
- (x
1
)
1
= x (siempre que x ,= 0).
- Si 0 < x, entonces x < 0.
- Si x < y, entonces y < x.
- (1)x = x.
2
Departamento de Matematica MAT-021
- (1)(x) = x.
- (x +y) = x + (y).
- (x)y = x(y) = (xy).
- Si x y y z < 0, entonces yz xz.
- Si x < y y z < 0, entonces yz < xz.
- 0 < 1, 1 < 0.
- 0 < x y 0 < y implican 0 < xy.
- 0 < x y y < 0 implican xy < 0.
- x < 0 y y < 0 implican 0 < xy.
- Las relaciones x y y 0 < y x son equivalentes. Idem reemplazando por <.
Ejercicio 6. Pruebe que dado un n umero real > 0, existe un natural n tal que 1/n < .
Ejercicio 7. Pruebe la siguiente variante del axioma de arquimedianidad: Dados dos
n umeros reales a y b con b > 0, existe n N tal que a < nb.
Valor absoluto. El valor absoluto de x es el n umero [x[ denido como sigue:
[x[ =

x ; si 0 x
x ; si x < 0.
Geomtricamente el valor absoluto de un n umero x representa la longitud del segmento
cuyos extremos son x y 0. Por ese motivo, en general, dados dos elementos x e y, se dene
la distancia de x a y como d(x, y) = [x y[. La aplicacion x [x[ tiene interesantes
propiedades cuya demostracion, en algunos casos, dejamos como ejercicio para el lector.
Ejercicio 8. Pruebe
- 0 [x[.
- x [x[
- [x[ = [ x[
- [x[ = 0 si, y solo si, x = 0.
- [x[ y si, y solo si, y x y. Idem reemplazando con <.
- [ax[ = [a[[x[.
1.1 Proposicion (Desigualdad triangular). Cualesquiera sean los n umeros reales x e y
se verica:
[x +y[ [x[ +[y[.
Demostracion. La desigualdad es inmediata si x e y son ambos mayores o iguales que cero.
Lo mismo ocurre si ambos n umeros son menores o iguales que cero. Queda por ver el caso
en que, por ejemplo, x < 0 y 0 < y (el otro caso es totalmente anlogo). En este caso
tenemos
x +y < 0 +y x < 0
= y I.3
[y[ Ej. anterior
[x[ +[y[. Ej. anterior
3
Departamento de Matematica MAT-021
Anlogamente, (x +y) = x + (y) < x + 0 = x [x[ [x[ +[y[. Y como [x +y[ es,
o bien x +y o bien (x +y), vemos que en ambos casos se cumple la desigualdad
Ejercicio 9. Pruebe que si a > 0, la desigualdad [x[ a es equivalente a a x a y
la desigualdad estricta [x[ < a es equivalente a a < x < a.
1.2 Proposicion. Cualesquiera sean los n umeros reales x e y se verica:
[x y[ [[x[ [y[[.
Demostracion. Pongamos z = x y. Entonces x = y +z y en consecuencia [x[ = [y +z[
[y[ +[z[, en virtud de la desigualdad triangular. Luego, [x[ [y[ [z[ = [xy[. Razonando
de manera anloga con z = y x, se obtiene que ([x[ [y[) = [y[ [x[ [y x[ = [x y[.
Reuniendo las dos desigualdades, vemos que [[x[ [y[[ [x y[
2. El Principio de Induccion Completa
Una de las tcnicas de demostracion ms comunmente usadas es el llamado Principio de
induccion completa o PIC. Este principio establece una caracterizacion del conjunto N de
n umeros naturales. El principio arma que N es el menor subconjunto inductivo de R.
Esta caracterizacion encierra dos armaciones: por un lado, N es un subconjunto inductivo
de R y por otro, N est contenido en todo subconjunto inductivo de R. Un subconjunto
H de R es inductivo si verica las dos siguientes condiciones:
i) 1 H
ii) h H h + 1 H.
La segunda condicion suele confundir a los estudiantes. Se trata de una proposicion que
tiene la forma de una implicacion. El antecendente de la implicacion es h H, el conse-
cuente es h + 1 H. Las implicaciones son proposiciones de la forma p q en donde p y
q son, a su vez, proposiciones (recordemos que las proposiciones son armaciones, es decir,
oraciones sobre las que tiene sentido decidir su verdad o falsedad). En la logica proposi-
cional (aristotlica) que usamos en matemtica, la implicacion p q es verdadera cuando p
y q son verdaderas o cuando p es falsa. Por ese motivo, para demostrar que p q es una
proposicion verdadera habr de probarse que q es verdadera cuando p lo es. La tabla de
verdad de la implicacion muestra todas las combinaciones que pueden producirse al tomar
p y q los posibles valores de verdad V (verdadero) y F (falso).
p q p q
V V V
F V V
V F F
F F V
Ejercicio 1. Complete las tablas de verdad para el O logico inclusivo, simbolizado por ;
para el O logico exclusivo, simbolizado por , y para el Y logico, simbolizado por .
La implicacion p q y las operaciones logicas como el O logico p q y el Y logico
p q son binarias, es decir, operan con dos proposiciones. Existe tambin otra operacion
4
Departamento de Matematica MAT-021
logica, en este caso unaria porque opera sobre una sola proposicion. Es la negacion, y se
simboliza con . Esta operacion permite escribir a p q como p q, resultado obvio al
comparar las correspondientes tablas de verdad. Observe que la implicacion es verdadera
cuando p lo es, o sea cuando p es falsa; o, si p es verdadera, cuando q lo es. Ahora
podemos utilizar las leyes de de Morgan para la negacion (demuestre):
1. Negacion del O logico: (p q) = p q.
2. Negacion del Y logico: (p q) = p q.
Es claro que p = p. Tomemos p q y negumoslo dos veces. Operando, obtenemos
(p q), que claramente es equivalente a nuestra implicacion original. A veces ocurre
que es ms fcil probar que p q es falsa, que probar que p q es verdadera. Cuando
mostramos la falsedad de p q (y por lo tanto la veracidad de la implicacion original),
se dice que procedemos por el absurdo.
Volviendo a la denicion de conjunto inductivo, la segunda condicion signica que
h +1 pertenece a H cualquiera sea h H. tambin es importante observar que el conjunto
N es, ,l mismo, inductivo. Hechas esas aclaraciones, digamos ahora que el PIC arma lo
siguiente:
H inductivo N H. (PIC)
Al conjunto de axiomas de los n umeros reales que vimos en la seccion anterior vamos a
agregar tambin el PIC. Una consecuencia de este principio es que si H es un subconjunto
de N, para probar que H es igual a N, ser suciente probar que H es inductivo (porque
en ese caso tendramos que N H en virtud del PIC).
Ilustremos con un ejemplo la forma en que el PIC puede ayudarnos a probar una
propiedad.
2.1 Proposicion. Dados n n umeros reales x
1
, . . . , x
n
, vale la desigualdad
[x
1
+ +x
n
[ [x
1
[ + +[x
n
[. ()
Demostracion. Llamemos H al conjunto de todos los n umeros naturales n que verican ().
Probar la proposicion signica probar que H = N. Por el PIC es suciente demostrar que
H verica las condiciones (i) y (ii) de la denicion de conjunto inductivo. Que 1 H
es trivial porque cuando n = 1, la ecuacion () se reduce a [x
1
[ [x
1
[. Para probar (ii)
necesitamos mostrar que si un cierto h verica la propiedad, entonces h + 1 tambin la
vericar. Que h verique la propiedad signica que es cierta la desigualdad
[x
1
+ +x
h
[ [x
1
[ + +[x
h
[. ()
La relacion () se denomina hipotesis inductiva (abreviadamente, HI). Ahora, para ver
que () se verica para n = h + 1 razonamos del siguiente modo:
[x
1
+ +x
h
+x
h+1
[ = [(x
1
+ +x
h
) +x
h+1
[
[(x
1
+ +x
h
)[ +[x
h+1
[ desg. triang.
[x
1
[ + +[x
h
[ +[x
h+1
[. HI
5
Departamento de Matematica MAT-021
Hemos demostrado que la propiedad () se verica para todos los n umeros naturales puesto
que el subconjunto H de n umeros naturales en donde es vlida es inductivo
En general el PIC lo vamos a utilizar para demostrar propiedades predicables sobre
el conjunto de los n umeros naturales. Aqu otra dicultad que encuentran inicialmente los
estudiantes est en comprender que una igualdad como () en la proposicion anterior puede
verse como una propiedad del n umero n. Las propiedades predicables sobre los naturales
suelen ser formulas que dependen de una variable n que puede tomar valores en N. El
ejemplo ms comunmente utilizado es:
P(n) 1 + +n =
n(n + 1)
2
.
En este enunciado la propiedad P produce, para cada valor particular de la variable n,
una proposicion. Por ejemplo P(1) es 1 = 1(1 + 1)/2, P(2) es 1 + 2 = 2(2 + 1)/2,
P(3) es 1 + 2 + 3 = 3(3 + 1)/2, etc. Decimos que P es predicable sobre N porque tiene
sentido dar a la variable n valores en el conjunto de los n umeros naturales. Sin embargo,
con frecuencia la propiedad P no es una formula sino una proposicion ms complicada
enunciada en trminos de una variable natural. La proposicion que sigue ms abajo es un
ejemplo de este tipo de enunciados.
Independientemente de la forma de la propiedad P, lo cierto es que la forma usual de
emplear el PIC para demostrar que P(n) es una proposicion verdadera para cada n N,
es considerar el conjunto H
P
= n [ P(n) es verdadera y probar que es inductivo. Por
el PIC se tendr que H
P
= N, lo que equivale al resultado deseado. Argumentando de este
modo, vemos que un enunciado equivalente del PIC es el siguiente: Si la propiedad P es
predicable sobre N y verica:
i) P(1) es verdadera y
ii) P(h) P(h + 1) es verdadera para todo h N,
entonces P(n) es verdadera para todo n N.
2.2 Proposicion. Todo subconjunto nito y no vaco A de R tiene un elemento a que
es mnimo y otro b que es mximo (es decir, a x b para todo x A).
Demostracion. Vamos a probar que la propiedad es verdadera por induccion en el n umero
n de elementos de A. Es decir, la propiedad predicable sobre n ser: Si A tiene n elementos,
entonces A tiene mnimo y mximo. La propiedad es verdadera cuando n = 1 puesto que
en ese caso A posee un unico elemento, el cual es a la vez el ms grande y el ms chico.
Supongamos ahora que la propiedad es verdadera para todos los subconjuntos de R de h
elementos. Tenemos que probar que tambin lo es para los subconjuntos de h+1 elementos.
Si A es un tal subconjunto, como 1 < h+1, A debe tener al menos un elemento. Llamemos
c a uno de los elementos de A y consideremos B = Ac. El conjunto B tiene h elementos.
Por hipotesis inductiva, B verica la propiedad; es decir, tiene un elemento mnimo a y
otro mximo b. Si c < a, entonces c ser el mnimo de A y si a c, el mismo a ser tambin
mnimo de A. Anlogamente, si b < c, el mximo de A ser c y en caso contrario, lo ser b. En
cualquier caso, A vericar la propiedad
Ejercicio 2. Pruebe que para todo n N es 2
n
n.
6
Departamento de Matematica MAT-021
Ejercicio 3. Demuestre que no existe ningon n umero natural m tal que 1 < m < 1+1. En
general, demuestre que no existe ningon n umero natural estrictamente comprendido entre
n y n+1 cualquiera sea n N. Deduzca que si m < n son dos n umeros naturales, entonces
m + 1 n. (Indicacion: en la primera armacion, razone por el absurdo suponiendo que
un tal m existe y pruebe que H = N m es inductivo).
Ejercicio 4. Pruebe que el siguiente algoritmo, que acepta como entrada un subconjunto
nito A = a
1
, . . . , a
n
de R, responde el elemento mximo.
1. i 1.
2. max a
i
.
3. Si i = n n. Responda max.
4. i i + 1.
5. Si max < a
i
, max a
i
.
6. Vaya a 3.
(Indicacion: Llamemos P(h) a la proposicion: Al entrar al paso 3 cuando i = h, la variable
max contiene el valor mximo de a
1
, . . . , a
h
. Razone por induccion para mostrar que
P(h) es verdadera para todo h n. El fragmento comprendido entre los pasos 3 y 6 es un
bucle, el algoritmo recorre el bucle una y otra vez hasta alcanzar la condicion de n, i = n,
en 3. La propiedad P se denomina invariante del bucle. La conjuncion entre la condicion
de n y el invariante del bucle permite deducir el resultado deseado.)
Ejercicio 5. Escriba un algoritmo que acepta como entrada un subconjunto nito de los
reales y resonde su elemento mnimo. Demuestre por induccion que el algoritmo funciona
correctamente.
Ejercicio 6. Pruebe que no existe ning un n umero natural m tal que 1 < m < 2 (Indi-
cacion: razone por el absurdo suponiendo que s y mostrando que H = N m es induc-
tivo). Luego pruebe que dado n N, no existe ning un m N tal que n < m < n + 1.
Deduzca la siguiente propiedad: dados dos naturales n y m, si n < m, entonces n+1 m.
7
Departamento de Matematica MAT-021
3. Supremos e nmos
En esta seccion vamos a dar algunas deniciones y a deducir las primeras propiedades con
razonamientos - (o tal vez -n
0
). En matemtica, denir es ponerle un nombre a una cosa.
La cosa, as nombrada, queda permanentemente unida a su denicion, de modo tal que
todo lo que armemos acerca de sus caractersticas y propiedades deber ser deducido, por
alg un razonamiento logico, a partir de la denicion. El papel que juegan las deniciones
en Matemtica es diferente al que juegan en otras disciplinas en donde tienen un caracter
puramente descriptivo. Los objetos matemticos, en cambio, son idnticos a su denicion.
Es por eso que la idea que de ellos nos vamos formando debe surgir de las propiedades
que se deducen formalmente de su denicion. La actitud del estudiante debera ser la de
tratar de entender los objetos matemticos a trav,s de las propiedades que se demuestran a
partir de su denicion. La actitud opuesta, consistente en deducir propiedades sobre la
base de la idea que nos hemos formado de un objeto, debe estar orientada a descubrir
propiedades que tengan alguna posibilidad de ser demostradas rigurosamente. En el texto,
los nombres dados en las deniciones aparecern siempre en letra inclinada.
Deniciones. Un n umero real a es una cota inferior del conjunto X si a x para cada
x X. Una cota superior de X es un n umero b tal que x b para todo x X. Cuando X
tiene alguna cota superior, se dice que X est acotado superiormente. Cuando tiene alguna
cota inferior, que est acotado inferiormente. Decimos que X est acotado si lo est superior
e inferiormente. El elemento a es mnimo de X si a X y, adems, a es cota inferior de X.
El elemento b es mximo de X si b X y, adems, b es cotas superior de X.
Que un conjunto est acotado (pongamos por caso) inferiormente, no grantiza que
tenga un elemento mnimo. Por ejemplo, el conjunto 1/n [ n N est acotado inferior-
mente por 0 y por cualquier n umero negativo, pero no tiene un mnimo. En efecto, un
mnimo del conjunto debera pertenecer al conjunto y en consecuencia sera de la forma
1/m para alg un m N. Pero ese natural m debera satisfacer la relacion 1/m 1/n para
cualquier n N. Sin embargo, eso no es cierto para, por ejemplo, n = m+ 1.
Ejercicio 1. (Unicidad del maximo y el mnimo). Pruebe que si un conjunto X tiene un
maximo (resp. mnimo), entonces tiene solo uno.
3.1 Proposicion. Si X est acotado inferiormente (respectivamente superiormente), en-
tonces el conjunto X = x [ x X est acotado superiormente (resp. inferiormente).
Adems, si a es una cota inferior (resp. superior) de X, a es una cota superior (resp. in-
ferior) de X.
Demostracion. Como la primera armacion es consecuencia de la segunda, ser suciente
probar la segunda. Supongamos que a es una cota inferior (resp. superior) de X. Tenemos
que probar que a es una cota superior (resp. inferior) de X, o sea, que x a
(resp. a x) para todo x X. Pero eso es consecuencia de uno de los puntos de
Ejercicio I.5 puesto que, por hipotesis, a x (resp. x a) para todo x X
De la denicion de cota inferior se deduce inmediatamente que si a es una tal cota,
y a

a, entonces a

tambin lo ser. Anlogamente, si b es una cota superior y b b

, b

es
cota superior (del mismo conjunto). Por lo tanto, el conjunto M de cotas superiores de
un conjunto X no est acotado superiormente (la arquimedianidad de R garantiza esto).
8
Departamento de Matematica MAT-021
Sin embargo, M est acotado inferiormente por, por ejemplo, los elementos de X. (Una
propiedad anloga puede enunciarse para el conjunto de cotas inferiores).
Una consecuencia del PIC es la llamada propiedad de buena ordenacion de los
n umeros naturales. De eso se trata la siguiente
3.2 Proposicion (Principio de buena ordenacion). Todo subconjunto no vaco de N
tiene un elemento mnimo.
Demostracion. Razonando por el absurdo vamos a suponer que existe un subconjunto no
vaco X de N que no posee elemento mnimo. Llamemos H al conjunto de cotas inferiores
naturales de X. Vamos a ver que el conjunto H es inductivo (y por lo tanto, igual a N).
1 H. En efecto, como los elementos de X son n umeros naturales, todos ellos son
mayores o iguales que 1. En consecuencia, 1 es una cota inferiror de X.
h H h+1 H. Si h H, por ser cota inferior de X debe vericar h x para todo
x X. Pero dado que estamos suponiendo que X no tiene mnimo, ninguna cota inferior
puede pertenecer a X. As, debe ser h < x para todo x X. En consecuencia, h + 1 x
para todo x X, lo que demuestra que h + 1 H.
Ahora que sabemos que H es inductivo, deducimos que H = N. Es decir, todos los
n umeros natures son cotas inferiores de X. Pero eso es imposible porque como existe alg un
x X (X no es vaco por hipotesis), ese x sera a la vez cota inferior y miembro de X, es
decir, mnimo; algo que contradice lo que habamos supuesto. La contradiccion provino de
suponer que X no tena mnimo. En consecuencia, X tiene mnimo y la proposicion queda
demostrada
Hasta aqu, todas las propiedades que hemos deducido se desprenden unicamente de
los axiomas del primero y segundo grupo. La siguiente proposicion es una consecuencia
del axioma de arquimedianidad.
3.3 Proposicion. Cada intervalo abierto de R contiene innitos n umeros racionales.
Demostracion. Es suciente probar que si a < b, el intervalo (a, b) contiene al menos un
n umero racional c porque entonces, el intervalo (a, c) contendr otro d y el (a, d) otro, y
as siguiendo indenidamente. A continuacion podemos suponer que b > 0 porque si no
lo fuera razonaramos con el intervalo (b, a) en el que a > 0. Llamemos al mnimo
entre b y b a > 0. Por arquimedianidad existe n N tal que 1/ < n. En consecuencia
1/n < . Aplicando una vez ms la arquimedianidad, deducimos que el conjunto
S = m N [ b m/n
no es vaco. En consecuencia tiene un elemento mnimo que llamaremos h. Como h1 / S,
debe ser o bien h = 1, o bien (h 1)/n < b. Pero si fuese 1 = h S, sera b 1/n lo
cual es imposible por la eleccion de n. Por lo tanto tiene que ser (h 1)/n < b. Pero
a < (h 1)/n ya que en caso contrario sera a (h 1)/n = h/n 1/n > b (b a) = a,
lo cual es imposible
Hasta aqu hemos usado todos los axiomas de los n umeros reales excepto el (IV) de
intervalos encajados. Eso signica que todo lo que hemos dicho hasta ahora, vale no solo
9
Departamento de Matematica MAT-021
para los reales sino tambin para, por ejemplo, los racionales. El teorema siguiente es una
consecuencia importante de ese axioma de los reales que no verican los racionales.
3.4 Teorema (de completitud). Si un subconjunto no vaco X de R est acotado superi-
ormente, entonces el conjunto M de cotas superiores de X tiene mnimo.
Demostracion. Tomemos un elemento cualquirea a X. Reemplazando X por X a =
x a [ x X podemos suponer, sin p,rdida de generalidad, que 0 X. Si 0 fuese el
maximo de X, sera tambin la menor de sus cotas superiores y por lo tanto no habra nada
que probar. Supongamos entonces que X R
>0
,= .
Para cada n N, consideremos la sucesion
2
n
, 2 2
n
, 3 2
n
, . . . , i 2
n
, (i + 1) 2
n
, . . .
Por arquimedianidad, para i sucientemente grande, la sucesion alcanza alg un elemento de
M (demuestre). Llamemos p
n
al menor valor de i tal que i2
n
M. Como p
n
1 < p
n
, el
intervalo I
n
= [(p
n
1)2
n
, p
n
2
n
] debe contener alg un elemento de X; es decir, I
n
X ,= .
Al repetir la misma construccion con n + 1 en lugar de n, el intervalo I
n
, cuya
longitud es 2
n
, queda dividido por la mitad en dos subintervalos de longitud 2
n1
:
I

n
= [(p
n
1)2
n
, (2p
n
1)2
n1
] y I

n
= [(2p
n
1)2
n1
, p
n
2
n
]. Si (2p
n
1)2
n1
M,
entonces I
n+1
= I

n
; en cambio, si (2p
n
1)2
n1
/ M, entonces I
n+1
= I

n
(demuestre).
En cualquier caso I
n+1
I
n
.
Por el axioma de intervalos encajados, existe alg un elemento que pertenece a to-
dos los I
n
. Y como las longitudes de estos intervalos se hacen arbitrariamente pequeas
(demuestre), no puede haber ms de un elemento con esa propiedad. Llamemos a ese
elemento. Tenemos que I
n
para todo n N.
Vamos a mostrar que es el mnimo de M. Tenemos que mostrar dos cosas: (1)
M y (2) y para todo y M.
1) Si no fuese una cota superior de X, habra un elemento x X tal que < x. Tomando
un n sucientemente grande como para que x > 2
n
, obtenemos que I
n
y x / I
n
(demuestre). Pero esto es imposible porque, por un lado, el extremo derecho de I
n
es por
denicion una cota de X, y por el otro el elemento x queda estrictamente a la derecha de
ese extremo (demuestre).
2) Si hubiera alg un y M estrictamente a la izquierda de , tomando un n sucientemente
grande como para que y > 2
n
, obtendramos: I
n
e y / I
n
. Pero esto no es posible
puesto que y quedara estrictamente a la izquierda de I
n
(demuestre), en contradiccion con
el hecho de que I
n
X ,= . El teorema queda probado
3.5 Cororlario. Si un subconjunto no vaco X de R est acotado inferiormente, entonces
el conjunto N de cotas inferiores de X tiene maximo.
Demostracion. Consideremos X = x [ x X. Por la proposicion 3.1, el conjunto M
de cotas superiores de X es igual a N = c [ c N. Por el teorema, N tiene un
elemento mnimo; el inverso aditivo de ese elemento ser maximo de N
Deniciones. De acuerdo al teorema y su corolario, dado un subconjunto no vaco X de R,
si X est acotado superiormente, entonces su conjunto de cotas superiores tiene un mnimo.
10
Departamento de Matematica MAT-021
A ese mnimo lo llamaremos supremo de X y lo denotaremos sup(X). Anlogamente, si
X est acotado inferiormente, el conjunto de cotas inferiores de X tiene un maximo; a ese
maximo lo llamaremos nmo de X y lo notaremos inf(X).
En los trminos recin denidos, el teorema (y su coroloario) pueden enunciarse diciendo
que todo subconjunto no vaco de R, acotado superiormente (resp. inferiormente), tiene
supremo (resp. nmo).
3.6 Proposicion (Caracterizacion del supremo). El n umero real es el supremo del
conjunto X si, y solo si, verica las siguientes dos condiciones:
1) es cota superior de X y
2) Para cada > 0, existe un elemento x X tal que < x .
Demostracion. La proposicion comprende dos armaciones; una es que las condiciones (1)
y (2) implican que = sup(X); la otra que = sup(X) verica (1) y (2). La primera
armacion es la parte solo si del enunciado, la segunda es la parte si. La armacion
solo si se llama condicion necesaria; la armacion s se llama suciente.
Dicho esto, veamos primero que las condiciones (1) y (2) son sucientes para que
sea el supremo de X. La condicion (1) ya nos dice que es una cota superior de X. Falta
probar que es la menor cota superior de X. Si no fuese as, existira otra cota superior
c de X tal que c < . Pero entonces la condicion (2) no se vericara para = c > 0
porque tendramos c = ( c) < x para alg un x X.
Por otro lado, las condiciones (1) y (2) son necesarias porque, al ser = sup(X) la
menor de las cotas superiores de X, se tendr por seguro que cualquiera sea > 0, <
no podr ser cota superior del mismo conjunto
Ejercicio 2. Enuncie y demuestre una proposicion anloga a la anterior que valga para
nmos en lugar de supermos.
Ejercicio 3. Dada una familia (A

)
L
de subconjuntos de R acotados superiormente
consideremos su union A =

L
A

y el conjunto de supremos B = sup(A

) [ L.
Pruebe que A est acotado superiormente si, y solo si, B lo est y en tal caso sup(A) =
sup(B). D, un ejemplo en donde A (y por lo tanto B) no estn acotados superiormente.
Deniciones (Supremo e nmo de funciones). Dada una funcion f: A R con dominio
en un conjunto A (no necesariamente un subconjunto de R), decimos que f est acotada
superiormente (resp. inferiormente) en A si la imagen f(A) = f(a) [ a A es un
subconjunto acotado superiormente (resp. inferiormente) de R. En tal caso escribimos
supf = sup
aA
f(a) = sup f(A) (resp. inf f = inf
aA
f(a) = inf f(A))
para denotar al supremo (resp. nmo) de f en A.
Ejercicio 4. Demuestre
- Si f est acotada superiormente, entonces f est acotada inferiormente y, adems,
inf
aA
(f(a)) = sup
aA
f(a).
11
Departamento de Matematica MAT-021
- Si f: A B R est acotada superiormente, entonces para cada a A existe el
supremo sup
bB
f(a, b) y adems
sup
(a,b)AB
f(a, b) = sup
aA
(sup
bB
f(a, b)).
- Si f y g son dos aplicaciones de A en R acotadas superiormente, entonces f + g
tambin lo es y
sup
aA
(f(a) +g(a)) sup
aA
f(a) + sup
aA
g(a).
- Si f est acotada superiormente en A y c R, entonces la aplicacion a c +f(a) de
A en R est acotada superiormente y, adems, sup
aA
(c +f(a)) = c + sup
aA
f(a).
Enuncie y demuestre propiedades similares para el nmo.
4. Sucesiones y lmites
Una sucesion de n umeros reales es una funcion a: N R para la cual se emplea una
notacion especial: en lugar de escribir a(n), nos referimos a ese elemento como a
n
. Incluso
la sucesion misma se denota por (a
n
)
nN
ms que por a. Vale la pena remarcar que, en
tanto funciones, las sucesiones no tienen ninguna particularidad; lo unico que las distingue
es la notacion que usamos para referirnos a ellas. El elemento a
n
se llama nsimo trmino
de la sucesion. A veces, al nsimo trmino se lo llama trmino general. En ciertos casos el
dominio de una sucesion no es N sino alg un subcojunto de N. En particular, si el dominio
es nito, se dice que la sucesion es nita. Otras veces, el dominio incluye enteros negativos
o cero. Todas estas generalizaciones de la nocion de sucesion extienden con naturalidad
lo que digamos aqu para el caso en que el dominio es N. Algunos ejemplos de sucesiones
son:
- Sucesion constante: (c)
nN
. El nsimo trmino de esta sucesion es c para todo n N.
- (n)
nN
. El nsimo trmino de esta sucesion es el mismo n para todo n N.
- (1/n)
nN
. Los primeros trminos de esta sucesion son: 1, 1/2, 1/3, 1/4, 1/5, . . ..
- (1/2
n
)
nN
. Los primeros trminos de esta sucesion son: 1, 1/2, 1/4, 1/8, 1/16, . . ..
Una sucesion se puede denir dando una formula en trminos de n para el nsimo trmino,
tal como lo hicimos en los ejemplos anteriores. En esos casos, decimos que la sucesion
est expresada en forma cerrada. Esta no es, sin embargo, la unica manera de denir una
sucesion. Por ejemplo, podramos decir que a
n
es el nsimo n umero primo y al hacerlo
estaramos deniendo la sucesion sin dar una expresion cerrada. En otros casos, una
denicion que inicialmente no es cerrada, admite una expresion equivalente que s lo es.
Como ejemplo, consideremos la sucesion 1, 1, 1, 1, 1, 1, . . .. Una manera de denirla
es ,sta
a
n
=

1 ; si n es impar
1 ; si n es par
(n N)
o equivalentemente
a
n
= (1)
n+1
(n N)
12
Departamento de Matematica MAT-021
Si bien ambas expresiones son cerradas, la segunda es preferible a la primera. Esta pre-
ferencia no responde a cuestiones estticas, est relacionada directamente con el hecho de
que muchas veces vamos a hacer cuentas con las sucesiones y en esos casos es preferible
tener una formula lo ms simple posible. Ejemplos de operaciones con sucesiones son las
siguientes, en donde (a
n
)
n
y (b
n
)
n
son dos sucesiones,
- Suma: la suma es la sucesion cuyo trmino general es a
n
+b
n
. Es decir (a
n
)
n
+(b
n
)
n
:=
(a
n
+b
n
)
n
.
- Producto: el producto es la sucesion cuyo trmino general es a
n
b
n
. Es decir (a
n
)
n

(b
n
)
n
:= (a
n
b
n
)
n
.
- Cociente: el cociente, que tiene sentido unicamente cuando b
n
,= 0 para todo n, es la
sucesion cuyo trmino general es a
n
/b
n
. Es decir (a
n
)
n
/(b
n
)
n
:= (a
n
/b
n
)
n
.
- Inverso aditivo: el inverso aditivo de (a
n
)
n
es la sucesion cuyo trmino general es a
n
.
Es decir (a
n
)
n
:= (a
n
)
n
.
- Inverso multiplicativo: el inverso multiplicativo de (a
n
)
n
, que tiene sentido unica-
mente cuando a
n
,= 0 para todo n, es la sucesion cuyo trmino general es a
1
n
. Es
decir ((a
n
)
n
)
1
:= (a
1
n
)
n
.
La notacion := signica que la expresion que est a la derecha dene a la que est a la
izquierda de este smbolo. Equivalentemente, la expresion de la izquierda es un nombre
para la de la derecha.
Ejercicio 1. Pruebe que la suma y el producto de sucesiones son operaciones asociativas,
conmutativas y tienen elemento neutro. Enuncie y demuestre la distributividad del pro-
ducto con respecto a la suma. Muestre adems que siempre existe inverso para la suma.
Cules son las sucesiones que tienen inverso multiplicativo?
Un recurso comunmente utilizado para denir sucesiones consiste en denir el (n +
1)simo trmino a partir de los trminos anteriores. Estas deniciones se llaman recursivas o
inductivas. A veces la recurrencia hace uso unicamente del trmino anterior como en
a
n+1
:= a
n
+n + 1. ()
Otras veces, la recurrencia involucra los dos trminos anteriores, como es el caso con la
conocida sucesion de Fibonacci
F
n+1
= F
n
+F
n1
. ()
Las ecuaciones de recurrencia, de por s solas, no alcanzan para denir todos los trminos
de una sucesion. De hecho estas ecuaciones nada dicen del valor del primer trmino a
1
(o
posiblemente a
0
). Por ejemplo, existen innitas sucesiones (a
n
)
n
y (F
n
)
n
que satisfacen
() y () para todo valor de n. Sin embargo, una vez que se han jado los valores iniciales,
la sucesion queda completamente determinada. As, en el primer caso, jando el valor de
a
1
a un cierto valor, digamos , obtenemos a
2
= + 2, a
3
= + 5, a
4
= + 9, etc. En el
segundo caso, como la recurrencia utiliza los dos trminos anteriores, es necesario jar los
dos primeros valores iniciales. Poniendo, por ejemplo, F
0
= y F
1
= , de () deducimos:
F
2
= + , F
3
= + 2, F
4
= 2 + 3, etc. En general, si la recurrencia utiliza los k
13
Departamento de Matematica MAT-021
trminos anteriores, jando k valores iniciales podemos determinar completamente cada
uno de los trminos de la sucesion.
Deniciones (Lmite de una sucesion). Dada una sucesion (a
n
)
n
, decimos que el n umero
real es el lmite de la sucesion, o que a
n
tiende a , si para cada > 0, existe n
0
N
tal que [a
n
[ < para todo n n
0
. En tal caso escribimos
lima
n
= o tambin lim
n
a
n
= .
Decimos que a
n
tiende a + si para cada M > 0, existe n
0
N tal que a
n
> M para
todo n n
0
. En ese caso escribimos
lima
n
= + o tambin lim
n
a
n
= +.
Por ultimo, decimos que a
n
tiende a si para cada M > 0, existe n
0
N tal que
a
n
< M para todo n n
0
. En ese caso escribimos
lima
n
= + o tambin lim
n
a
n
= .
Ejemplos.
- limc = c. Es decir, si (a
n
)
n
es la sucesion constante de trmino general a
n
= c,
entonces lima
n
= c. En efecto, dado > 0, para todo n se tiene: [a
n
c[ = [c c[ =
0 < . Por lo tanto basta tomar n
0
= 1.
- limn = +. Es decir, si (a
n
)
n
es la sucesion de trmino general a
n
= n, entonces
lima
n
= +. La razon es que si M > 0, tomando n
0
> M (tal n
0
existe por
arquimedianidad) obtentemos a
n
= n n
0
> M para todo n n
0
.
- lim1/n = 0. La demostracion es muy sencilla: dado > 0, por arquimedianidad
existe un n
0
tal que 1/n
0
< . Luego [a
n
0[ = 1/n 1/n
0
< para todo n n
0
.
Notacion. En lo que sigue va a resultar conveniente llamar R al conjunto extendido
de n umeros reales R +, . Los elementos de R se denominan nitos. Tambin
extendemos las operaciones de suma y producto de la siguiente manera, donde a es nito,
- a + = +a = + y a = +a = .
- + = + y = .
- a = + si a > 0, a = si a < 0, a () = si a > 0, a () = +
si a < 0.
- = , () () = +, (+) () = .
- 1/() = 0 y 1/0 = .
- a < + y < a para todo a nito. Adems < +.
Es importante remarcar que hemos dejado indenidos 0.() y .
Ejercicio 2. Unicidad del lmite. Pruebe que, dada una sucesion (a
n
)
n
no puede haber
dos elementos ,=

R que veriquen la denicion de lima

n
.
4.1 Proposicion (Propiedades aritmticas del lmite). Suponiendo que lima
n
= y
limb
n
= con , R, se verican:
14
Departamento de Matematica MAT-021
i) lim(a
n
+b
n
) = + (siempre que + est denido).
ii) lim(a
n
) = .
iii) lim(a
n
b
n
) = (siempre que est denido).
iv) lim(1/a
n
) = 1/ (si ,= 0 o bien a
n
tiene signo constante para todo n).
Demostracion. Vamos a hacer las demostraciones para el caso en que y son nitos.
Los casos en donde o sean innitos los dejamos a cargo del lector.
Si y son nitos, dado > 0, existen n

0
y n

0
tales que [a
n
[ < /2 y [b
n
[ < /2
para todo n > n
0
:= max(n

0
, n

0
). Luego [(a
n
+ b
n
) ( + )[ = [(a
n
) + (b
n
)[
[a
n
[ +[b
n
[ < para todo n > n
0
.
Para probar la segunda propiedad, si nos es dado > 0, sabemos que existe n
0
tal
que [a
n
[ < si n n
0
. En consecuencia [ a
n
()[ = [a
n
[ < para todos esos
valores de n.
En la tercera propiedad razonamos del siguiente modo: dado > 0, denamos =
min(1, /(1 + [[ + [[)). Luego tomemos n
0
tal que [a
n
[ < y [b
n
[ < para
todo n n
0
. Ahora, dado n n
0
nos queda [a
n
b
n
[ = [(a
n
)b
n
+ (b
n
)[
[(a
n
)b
n
[ + [(b
n
)[ < [b
n
[ + [[ ([b
n
[ + [[) + [[ ( + [[ + [[)
(1 +[[ +[[) < .
En la ultima propiedad vamos a suponer que ,= 0 (el caso = 0 tambin lo dejamos
al lector). Dado > 0 denamos = [
2
[/2. Por hipotesis existe n
0
tal que [a
n
[ <
y [a
n
[ < [[/2 si n n
0
. Como [[ [a
n
[ [[[ [a
n
[[ [a
n
[ < [[/2, resulta
[a
n
[ [[/2 si n n
0
. Luego [1/a
n
1/[ =
1
|a
n
|
[a
n
[ 2/[
2
[ < como queramos
demostrar
Ejercicio 3. Muestre con un ejemplo que si a
n
no tiene signo constante, la conclusion de
la propiedad (iv) de la proposicion puede ser falsa.
La denicion de lmite pone el acento en el comportamiento que la sucesion muestra
a partir de un cierto n
0
. Esto hace que los trminos generales para n < n
0
sean irrelevantes.
Ms precisamente tenemos la siguiente
4.2 Proposicion. Si lima
n
= y (b
n
)
n
es otra sucesion tal que a
n
= b
n
para todo n
mayor o igual que un cierto K > 0, entonces limb
n
= .
Demostracion. Es suciente reemplazar n
0
por max(n
0
, K) en la denicion de lmite
4.3 Proposicion. Si lima
n
= , entonces dado k N vale que lim
n
a
n+k
= .
Demostracion. Si [a
n
[ < para n n
0
, entonces [a
n+k
[ < para n max(1, n
0
k)
Notacion. En muchas oportunidades vamos a armar que la propiedad P(n) es verdadera
para n sucientemente grande. Esto querr decir que existe K > 0 tal que P(n) es
verdadera si n > K. Una forma abreviada y equivalente de expresar esta circunstancia
ser: P(n) es verdadera si n 0.
Deniciones. Una sucesion (a
n
)
n
es creciente (resp. estrictamente creciente, decreciente,
estrictamente decreciente) si a
n
a
n+1
(resp. a
n
< a
n+1
, a
n
a
n+1
, a
n
> a
n+1
) para
todo n N.
15
Departamento de Matematica MAT-021
4.4 Proposicion. Toda sucesion creciente en sentido amplio o estricto que est acotada
superiormente tiene lmite y adems
lim
n
a
n
= sup
n
a
n
.
Demostracion. Que la sucesion est acotada superiormente signica que el conjunto a
n
[ n
N est acotado superiromente. Por el teorema de completitud existe entonces = sup
n
a
n
.
Resta probar que = lim
n
a
n
. Dado > 0, la caracterizacion del supremo asegura la exis-
tencia de un cierto n
0
tal que < a
n
0
. Usando que la sucesion es creciente resulta:
< a
n
< + para todo n n
0
. Esto muestra que [a
n
[ < si n n
0
lo
cual, por denicion de lmite, corresponde a lima
n
=
4.5 Corolario. Toda sucesion decreciente en sentido amplio o estricto que est acotada
inferiormente tiene lmite y adems
lim
n
a
n
= inf
n
a
n
.
Demostracion. Basta aplicar la proposicion a la sucesion (a
n
)
n
4.6 Proposicion. Supongamos que (a
n
)
n
y (b
n
)
n
son dos sucesiones tales que a
n
b
n
para todo n 0. Si existen = lima
n
y = limb
n
, entonces .
Demostracion. Vamos a hacer la demostracion unicamente en el caso en que y sean
nitos. Los casos en que alguno de estos lmites sea innito lo dejamos como ejercicio para
el lector. Razonando por el absurdo, vamos a suponer que > . Aplicando la denicion
de lmite = obtenemos
[a
n
[ <

2
y [b
n
[ <

2
para todo n 0.
Eligiendo un n sucientemente grande resulta


2
< a
n
b
n
< +

2
lo que implica < = , que es una contradiccion. La contradiccion provino de
suponer > . Luego lo que termina la demostracion
4.7 Corolario. Supongamos que (a
n
)
n
es una sucesion tal que a
n
c para n 0. Si
existe = lima
n
, entonces c.
Demostracion. Basta aplicar la proposicion al caso en que (b
n
)
n
es la sucesion constante c
4.8 Corolario. Dadas tres sucesiones (a
n
)
n
, (b
n
)
n
y (c
n
)
n
, si a
n
b
n
c
n
y adems
existen = lima
n
= limb
n
, entonces tambin existe limb
n
y es igual a .
Demostracion. Dado > 0, aplicando la denicion de lmite a las sucesiones (a
n
)
n
y (c
n
)
n
,
para n 0 obtenemos < a
n
b
n
c
n
< +
4.9 Proposicion. Si (a
n
)
n
es una sucesion con lmite y k es un entero cualquiera
(positivo o negativo), entonces la sucesion (a
n+k
)
n
tiene como lmite tambin a .
16
Departamento de Matematica MAT-021
Demostracion. Dado > 0, existe n
0
tal que [ a
n
[ < si n n
0
. Tomamos n
1
=
max(1, n
0
k), nos queda [a
n+k
[ < para todo n n
1
puesto que si n n
1
, entonces
n +k n
1
+k n
0
Deninicion. Una subsucesion de una sucesion (a
n
)
n
es una sucesion de la forma (a
n
k
)
k
cuyo ksimo trmino a
n
k
tiene por ndice al ksimo trmino de una sucesion estrictamente
creciente (n
k
)
k
de n umeros naturales.
4.10 Lema. Si una sucesion (a
n
)
n
tiene lmite c, entonces toda subsucesion (a
n
k
)
k
tambin es convergente y tiende al mismo c.
Demostracion. Dado > 0,. existe n
0
tal que [a
n
c[ < si n n
0
. Como (n
k
)
k
es
creciente, no puede ser acotada y por lo tanto existe k
0
tal que n
k
0
n
0
. Luego, si k k
0
,
debe ser n
k
n
k
0
n
0
y en consecuencia [a
n
k
c[ <
17