Вы находитесь на странице: 1из 46

Parte II

CALCULO DIFERENCIAL.

165
167

En esta parte veremos el Calculo diferencial en forma precisa.


168
Captulo 1

Axiomas Para los Numeros Reales.

En este captulo daremos las bases en las cuales se fundamenta el Calculo Diferencial e Integral.
En forma mas precisa, daremos una serie de afirmaciones [llamadas axiomas] que supondremos son
verdaderas y a partir de ellas deduciremos muchas otras usando solo implicaciones logicas.

1.1 Introduccion.
Todas las propiedades habituales del conjunto de los numeros reales pueden ser demostradas a
partir de ciertas propiedades, que llamamos axiomas. Estos axiomas son de tres tipos distintos.
Los axiomas algebraicos [que se detallaran en la seccion 1.2] que son propiedades de la suma
y multiplicacion de numeros reales, los axiomas de orden [que se detallaran en la seccion 1.3]
que, como su nombre lo indica, son propiedades del orden < y un axioma topologico [que se
detallara en la seccion 1.4] que nos permitira tener una buena nocion de continuidad. Usando esta
terminologa, tenemos el siguiente

Axioma Fundamental. Existe un conjunto R que satisface los axiomas algebraicos, de orden y
topologico.

Todo resultado que se obtenga a partir de este axioma sera un teorema. Se acostumbra usar
el termino proposicion para denotar un teorema que no es muy importante, el termino corolario
para denotar un teorema que es consecuencia inmediata de otro y el termino lema para denotar
un teorema que, a pesar de no ser interesante en si mismo, es muy util para demostrar teoremas
importantes. Es claro que estas diferencias son puramente subjetivas. Es importante notar que los
axiomas tambien son teoremas.

Una consecuencia de esta definicion es que todos los teoremas del Calculo Diferencial e Integral
son expresiones del tipo: Si el Axioma Fundamental es verdadero, entonces cierta afirmacion es
verdadera.

Por ejemplo, es posible demostrar que la existencia de 2 es deducible del Axioma Funda-
mental. Por lo tanto, la afirmacion: Existe r R tal que x2 = 2 es un teorema, cuya forma

169
170 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

mas precisa es: Si se cumple el Axioma Fundamental, entonces existe r R tal que x2 = 2 .

La siguientes preguntas surgen de inmediato: De que sirve darse tanto trabajo para demostrar
los teoremas si no demostramos el Axioma Fundamental? Por que agregar los resultados que nos
interesan a lo axiomas para no tener que demostrarlos?

La respuesta a la primera pregunta es que cuando se aplica la Matematica a una situacion real,
se construye un modelo simplificado y, si se considera que las propiedades del Axioma Fundamental
se aplican en el modelo, entonces se pueden usar todos los teoremas del Calculo. Si esto conduce
a resultados que son falsos en el mundo real, entonces hay que cambiar de modelo y usar otros
axiomas que conduciran a otros teoremas. En otras palabras, a pesar de que la Matematica no
dice nada sobre el mundo real, es muy util para comprenderla.

En cuanto a la segunda pregunta, notamos que si agregamos un nuevo axioma que es demostra-
ble a partir de los otros axiomas, nos ahorramos mucho trabajo pero el que quiera usar esta teora
tendra que comprobar mas propiedades que debe satisfacer su modelo. Pero si se agrega un ax-
ioma que es falso [es decir, tal que su negacion es demostrable a partir de los axiomas], entonces
tenemos una teora totalmente inutil ya que en ella toda afirmacion es verdadera y tambien es falsa.

No profundizaremos mas en esto ya que ello nos llevara a escribir otro libro. Sin embargo,
para conveniencia del lector, en el Apendice veremos algunos conceptos de Logica y de Teora de
Conjuntos.

1.2 Axiomas Algebraicos.


Los axiomas algebraicos, que establecen la existencia de las operaciones suma y multiplicacion
de numeros reales y sus propiedades basicas, son los siguientes:

Axiomas de la Suma.

AS1. Para todo x, y R existe un unico elemento de R que denotaremos por x + y y que
llamaremos la suma de x e y .

AS2. x + y = y + x para todo x, y R .

AS3. (x + y) + z = x + (y + z)) para todo x, y, z R .

AS4. Existe un elemento de R , que denotaremos por 0 tal que x + 0 = x para todo x R .

AS5. Para cada x R existe y R al que x + y = 0 .

Axiomas del Producto.

AP1. Para todo x, y R existe un unico elemento de R que denotaremos por xy [o por x y ]
y que llamaremos el producto de x e y .

AP2. xy = yx para todo x, y R .


1.2. AXIOMAS ALGEBRAICOS. 171

AP3. (xy)z = x(yz)) para todo x, y, z R .

AP4. Existe un elemento de R , que denotaremos por 1 tal que x1 = x para todo x R .

AP5. Para cada x R tal que x 6= 0 , existe y R tal que xy = 1 .

Axiomas Mixtos.

AM1. 1 6= 0 .

AM2. (x + y)z = xz + yz para todo x, y, z R .

A continuacion demostraremos algunas propiedades que aparentemente, no necesitan demostracion.

Teorema 1. i. 0 + x = x para todo x R .

ii. 1x = x para todo 0 6= x R .

iii. x(y + z) = xy + xz para todo x, y, z R .

Demostracion. i. Si x R , entonces

0+x=x+0 [por AS2]


=x [por AS4]

ii. Si x R y x 6= 0 , entonces

1x = x1 = [por AP2]
=x [por AP4]

iii. Si x, y, z R , entonces

x(y + z) = (y + z)x [por AP2]


= yx + zx [por AM2]
= xy + xz [por AP2] 2

A continuacion demostraremos la unicidad de los elementos de R cuya existencia esta garan-


tizada en los axiomas AS4, AS5, AP4 y AP5.

Teorema 2. i. Si 00 R es tal que x + 00 = x para todo x R , entonces 0 = 00 .

ii. Si 10 R es tal que x 10 = x para todo x R , entonces 1 = 10 .

iii. Si x R , entonces existe un unico y R tal que x + y = 0 .

iv. Si 0 6= x R , entonces existe un unico y R tal que xy = 1 .


172 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Demostracion. i. Si x + 00 = x para todo x R , entonces

0 = 0 + 00 [ya que x + 00 = x para todo x R ]


= 00 + 0 [por AS2]
= 00 [por AS4]

ii. Si x 10 = x para todo x R , entonces

1 = 1 10 [ya que x 10 = x para todo x R ]


= 10 1 [por AM2]
= 10 [por AP4]

iii. Sean x, y, y 0 R tales que x + y = x + y 0 = 0 . Entonces

y =y+0 [por AS4]


= y + (x + y 0 ) [por hipotesis]
= y + (y 0 + x) [por AS2]
= (y + y 0 ) + x [por AS3]
= (y 0 + y) + x [por AS2]
= y 0 + (y + x) [por AS3]
= y 0 + (x + y) [por AS2]
= y0 + 0 [por hipotesis]
= y0 [por AS4]

iv. La demostracion es igual a la anterior, reemplazando + por y usando los axiomas AP2,
AP3 y AP4. 2

Si x R , entonces denotamos por x al unico elemento de R tal que x + (x) = 0 y, si


x 6= 0 , denotamos por x1 al unico elemento de R tal que xx1 = 1 .

La siguiente consecuencia inmediata del Teorema es muy util.


Corolario. i. Sea x R . Entonces y = x si y solo si x + y = 0 .

ii. Sea 0 6= x R . Entonces y = x1 si y solo si xy = 1 . 2

Los siguientes resultados se demuestran usando los axiomas y algunos de los teoremas ya de-
mostrados. Es importante que el lector justifique cada paso de la demostracion indicando el axioma
o teorema que se ha usado.
Teorema 3. i. x0 = 0 para todo x R .

ii. Sean x, y R tales que xy = 0 . Entonces, x = 0 o y = 0 .


1.2. AXIOMAS ALGEBRAICOS. 173

iii. x = (1)x para todo x R .

iv. (x + y) = (x) + (y) para todo x, y R .

v. Si x, y R son tales que x 6= 0 6= y , entonces (xy)1 = x1 y 1 .

vi. x + y = x + z si y solo si y = z .

vii. Si x 6= 0 , entonces xy = xz si y solo si y = z .

Demostracion. i. Por el Corolario del Teorema 2 basta demostrar que x + x0 = x y, para ello
notamos que

x + x0 = x1 + x0
= x(1 + 0)
= x1
=x

ii. Si x = 0 , no hay nada que demostrar. Si x 6= 0 , entonces como x1 existe, se tiene que

y = 1y
= (x1 x)y
= x1 (xy) =
= x1 0
=0

iii. Por el Corolario del Teorema 2, basta demostrar que x + (1)x = 0 y, para ello notamos
que

x + (1)x = 1x + (1)x
= (1 + (1))x
= 0x
=0

iv. Usando la propiedad iii, tenemos que

(x + y) = (1)(x + y)
= (1)x + (1)y
= (x) + (y)
174 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

v. Por el Corolario del Teorema 2, basta demostrar que (xy)(x1 y 1 ) = 1 y, para ello notamos
que
(xy)(x1 y 1 ) = (xy)(y 1 x1 )
= x(y(y 1 x1 ))
= x((yy 1 )x1 )
= x(1x1 )
= xx1
=1
vi. Si x + y = x + z , entonces
y =0+y
= ((x) + x) + y
= (x) + (x + y)
= (x) + (x + z)
= ((x) + x) + z
=0+z
=z
Ademas es claro que si y = z , entonces x + y = x + z .

vii. Si xy = xz , entonces
y = 1y
= (x1 x)y
= x1 (xy)
= x1 (xz)
= (x1 x)z
= 1z
=z
Ademas es claro que si y = z , entonces xy = xz . 2

Ejemplo 1. El Teorema 3 nos permite demostrar que no existe no existe y R tal que 0y = 1 .

En efecto, como si existiera, tendramos que 0 = 0y = 1 lo cual es falso ya que el Axioma


AM1 dice que 0 6= 1 .

Es importante notar que, a pesar de que el Axioma AP5 dice que para todo x 6= 0 existe y
tal que xy = 1 , no dice que no existe y tal que 0y = 1 . El resultado que demostramos es
consecuencia de los otros axiomas. 3
1.2. AXIOMAS ALGEBRAICOS. 175

Ejemplo 2. El metodo de demostracion usado en Ejemplo 1 tiene la siguiente justificacion. Si


queremos demostrar que una afirmacion P es verdadera, basta demostrar que si es falsa, entonces
podemos deducir que una afirmacion falsa es verdadera.
En forma mas precisa, demostramos que P Q [ P es la afirmacion P es falsa] es
verdadera y, por lo tanto, que Q es verdadera. Como una afirmacion no puede ser verdadera y
falsa, tenemos que no es posible que 6= P sea verdadera y, por lo tanto, que P es verdadera
[para mayores detalles ver Apendice]. 3

A continuacion demostraremos dos resultados muy conocidos. El lector debera justificar los
pasos de la demostracion.
Teorema 4. Sean x1 , x2 , y1 , y2 R tales que y1 6= 0 6= y2 . Entonces

i. (x1 y11 )(x2 y21 ) = (x1 x2 )(y1 y2 )1 o, usando la notacion habitual,


x1 x2 x1 x2
=
y1 y2 y1 y2
ii. x1 y11 + x2 y21 = (x1 y2 + x2 y1 )(y1 y2 )1 o, usando la notacion habitual,
x1 x2 x1 y2 + x2 y1
+ =
y1 y2 y1 y2
Demostracion. i. Por el Teorema 3v, se tiene que (y1 y2 )1 = y11 y21 . Entonces
(x1 x2 )(y1 y2 )1 = (x1 x2 )(y11 y21 )
= (x1 y11 )(x2 y21 )
ii. Basta notar que
(x1 y2 + x2 y1 )(y1 y2 )1 = (x1 y2 + x2 y1 )y11 y21
= x1 y2 y11 y21 + x2 y1 y11 y21
= x1 y2 y21 y11 + x2 1y21
= x1 1y11 + x2 y21
= x1 y11 + x2 y21 2

Por ultimo demostraremos un resultado muy util.


Teorema 5. Sean a, b R . Entonces ab = 0 si y solo si a = 0 o b = 0 .
Demostracion. Notese que queremos demostrar que ab = 0 a = 0 b = 0 .

[] Supongamos que ab = 0 . Si a = 0 , no hay nada que demostrar. Si a 6= 0 , entonces existe


a1 y
b = b(aa1 )
= baa1
= 0a1
=0
176 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

[] Si a = 0 , por el Teorema 3, ab = 0b = 0 y si b = 0 , tambien ab = a0 = 0 . 2

Ejemplo 3. Si consideramos el conjunto {0} y definimos

0+0=0 y 00=0

es facil comprobar que se cumplen todos los axiomas algebraicos salvo AM1. Esta es la razon por
la cual se incluye este axioma, a pesar de que es evidente. 3

Ejemplo 4. Si a, b , queremos resolver la ecuacion ax = b . Esto significa que queremos encontrar


el conjunto

S = {x R | ax = b}

Ingenuamente, se podra decir que S = {ba1 } . Sin embargo, esto no es verdadero cuando a = 0 .
Por lo tanto, tenemos que considerar tres casos distintos:

i. Si a = b = 0 , entonces como para todo x R se cumple que 0x = 0 , se tiene que

S=R

ii. Si a = 0 y b 6= 0 , como no existe x R tal que 0x = b 6= 0 , se tiene que

S=

iii. Si a 6= 0 , entonces si x S , se tiene que ax = b y, por lo tanto, x = a1 b . As


hemos comprobado que x S x {a1 } que es lo mismo que S {a1 b} . Por ultimo si
x = a1 b [que es lo mismo que x {a1 b} ], como ax = aa1 b = b , concluimos que x S y,
por lo tanto, {a1 b} S . Hemos demostrado que

S = {a1 b} 3

En la Parte I definimos N = {1, 2, 3, } . Sin embargo, esta definicion es totalmente in-


adecuada ya que no sabemos que significan los smbolos 2, 3, . . . . Si bien es cierto que podemos
definir 2 = 1 + 1 y 3 = 2 + 1 , no podemos definirlos todos. Notese que tampoco podemos recurrir
a la induccion ya que esta es una propiedad del conjunto que queremos definir. Esta dificultad es
insalvable y tenemos que usar ideas totalmente distintas.

Diremos que S R es un conjunto inductivo ssi satisface las dos propiedades siguientes:

I1. 1 S .

I2. Si x S , entonces x + 1 S .

Es claro que R es un conjunto inductivo. Ademas, nuestra idea intuitiva nos dice que N
debe ser el conjunto inductivo mas pequeno ya que solo debe contener a los numeros reales que se
obtienen sumando 1 un numero finito de veces.
1.2. AXIOMAS ALGEBRAICOS. 177

Por lo tanto, definimos


\
N= {S | S es un conjunto inductivo }
= {x R | x S para todo conjunto inductivo S}

Dicho de otra manera, N es el conjunto de todos los elementos de R que pertenecen a todos los
conjuntos inductivos.

El siguiente resultado resume las propiedades principales del conjunto N llamadas Propie-
dades de Peano.

Teorema 6. i. 1 N .

ii. Si n N entonces n + 1 N .

iii. Si N N es un conjunto inductivo, entonces N = N .

Demostracion. i. Como 1 S para todo conjunto inductivo S , concluimos que 1 N .

ii. Sea n N . Entonces n S para todo conjunto inductivo S y, por lo tanto, n + 1 S


para todo conjunto inductivo S . As hemos comprobado que n + 1 N . , tenemos que demostrar
que si S es un conjunto inductivo, entonces n + 1 S .

iii. Como N N , solo nos falta demostrar que N N . Para ello, basta notar que, por
definicion, si n N , como N es un conjunto inductivo [por definicion de N ] n N . 2

Notese que hemos demostrado que N es el conjunto inductivo mas pequeno, es decir, que N
es inductivo y esta contenido en todos los conjuntos inductivos.
Usando este resultado, podemos demostrar el Principio de Induccion que, como vimos en la
Parte I, es un arma muy poderosa.

Corolario (Principo de Induccion). Para cada n N , sea Pn una afirmacion y supongamos


que

i. P1 es verdadera.

ii. Si Pm es verdadera, entonces Pm+1 es verdadera.

Entonces Pn es verdadera para todo n N .

Demostracion. Las hipotesis dicen exactamente que el conjunto

{n N | Pn es verdadera } N

es inductivo. Por el Teorema 6, N = N que es lo que queramos demostrar. 2

Usaremos el Principio de Induccion para demostrar el siguiente importante resultado.


178 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Teorema 7. Si m, n N , entonces m + n, mn N .

Demostracion. Sea m N . Entonces tenemos que demostrar que m + n N y mn N para


todo n N . Dicho de otra manera, tenemos que comprobar que

Ns = {n N | m + n N} = N y Np = {n N | mn N} = N

para lo cual, basta demostrar que los conjuntos Ns y Np son inductivos.

Primero demostraremos que Ns es inductivo. Para ello notamos que, como m + 1 N , se


tiene que 1 Ns .
Ademas, si n Ns , entonces m + n N y, como m + n + 1 N , concluimos que n + 1 Ns .

Por ultimo, demostraremos Np es inductivo. Para ello notamos que, como m1 = m N , se


tiene que 1 Np .
Ademas, si n Np , entonces mn N y, como m(n + 1) = mn + m N , concluimos que
n + 1 Np . 2

Sea a R . Entonces definimos a1 = a y an+1 = aan . De esta manera, hemos definido an


para todo n N .
En efecto, como el conjunto

{n N | an esta definido } N

es inductivo de N , se tiene que es igual a N .

Usando el Principio de Induccion se demuestra facilmente el siguiente resultado.

Teorema 8. Sea a R . Entonces, am+n = am an para todo m, n N .

Demostracion. Ejercicio. 2

Terminamos esta seccion recordando las definiciones de los siguientes subconjuntos de R .

nm o

Z = N {0} {n | n N} ; Q= m, n Z n 6= 0 ; I=R\Q
n
Z se llama el conjunto de los enteros, Q el conjunto de los numeros racionales y I el
conjunto de los numeros irracionales.

El siguiente resultado es consecuencia casi inmediata del Teorema 4.

Teorema 9. Q satisface todos los Axiomas Algebraicos.

Demostracion. Ejercicio. 2
1.2. AXIOMAS ALGEBRAICOS. 179

Ejemplo 5. En I.1.1.6 Teorema 3 [ver p. 22] vimos que Q 6= R [en el Captulo 2 demostraremos
este resultado a partir del Axioma Fundamental]. Notese que esta afirmacion es equivalente a
I 6= .

Algunas propiedades del conjunto I son las siguientes:

i. Si x I , entonces x I y x1 I .

En efecto, si x 6 I , entonces x Q y, por lo tanto, existen m, n Z tales que


x = m/n . Como esto implica que x = m/n Q , contradiccion que demuestra que x 6 I
es falso.

En forma analoga, se demuestra que si x I entonces x1 I .

ii. Si x, y I no se puede concluir que x + y I y tampoco que xy I .

En efecto, si x I , entonces x, x1 I y x + (x) = 0 Q y xx1 = 1 Q .

iii. Si x Q y y I , entonces x + y I .

En efecto, si z = x + y Q , entonces y = z x Q , lo cual es falso.

iv. Si x Q y y I , entonces xy I .

En efecto, si z = xy Q , entonces y = zx1 Q , lo cual es falso.

Ejercicios. 1. Demuestre, a partir de los axiomas, que x + (y + z) = (y + x) + z y que


v(x + (y + z)) = vy + (x + z)v .

2. Demuestre que si x, y R son tales que x + y = x , entonces y = 0 .

3. Si x, y R son tales que x 6= 0 y xy = x , demuestre que y = 1 .


Aplique este resultado para demostrar que si x, y R son tales que xy = y , entonces x = 0
o y = 1 .

4. Demuestre de dos maneras distintas que (x)1 = x1 para todo 0 6= x R .

5. Determine cuales son los axiomas algebraicos que son validos para cada uno de los conjuntos
N , Z y Q.

6. Sean a, b, c R tales que a 6= 0 y que existe r R tal que r2 = b2 4ac . Encuentre el


conjunto {x R | ax2 + bx + c = 0} .

7. Revise el Captulo I.1, demostrando, a partir de los axiomas algebraicos, todos los resultados
que all aparecen.
180 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

1.3 Axiomas de Orden


Los axiomas de orden, establecen la existencia la existencia de una relacion < en R que
satisface ciertas propiedades que llamaremos Axiomas de Orden. El significado de este concepto
es que para cada x, y R es posible definir si x < y es verdadero o falso.
De manera mas precisa, existe un conjunto O R R tal que x < y si y solo si (x, y) O .

Axiomas de Orden.

O1. Si x, y R , entonces se cumple una y solo una de las siguientes afirmaciones:

x<y ; x=y ; y<x

O2. Si x < y e y < z , entonces x < z .

O3. Si x < y , entonces x + z < y + z para todo z R .

O4. Si x < y y 0 < z , entonces xz < yz .

Usaremos las siguientes notaciones:

i. x 6 y ssi x < y o x = y .

ii. x > y [ x > y ] ssi y < x [ y 6 x ].

A continuacion veremos algunos ejemplos de resultados que pueden ser demostrados usando los
axiomas algebraicos y de orden.

Teorema 1. i. Si x < y , entonces y < x .

ii. Si x < y y z < 0 , entonces yz < xz .

iii. 0 < n para todo n N .

iv. x2 > 0 para todo x 6= 0 .

v. Si x + y = 0 y x, y > 0 , entonces x = y = 0 .

vi. x2 + y 2 = 0 si y solo si x = y = 0 .

vii. Si x < y y x0 < y 0 , entonces x + x0 < y + y 0 .

viii. Si x < y y x0 < y 0 , entonces x y 0 < y x0 .

Demostracion. i. Supongamos que x < y . Entonces por O3

0=xx<yx
1.3. AXIOMAS DE ORDEN 181

y, tambien por O3,

y = 0 y < (y x) y = x

y, por lo tanto, y < x .

ii. Supongamos que x < y y que z < 0 . Entonces, como por i, 0 < z , usando O4,
concluimos que

xz = x(z) < y(z) = yz

Por i, concluimos que yz < xz .

iii. Como es de separar, la demostracion es por induccion.

Para demostrar que 0 < 1 , supongamos que es falso [veremos que esto conduce a una con-
tradiccion]. Como [por M1] 0 6= 1 , [por O1] concluimos que 1 < 0 y, por ii, que 0 < 1 .
Entonces usando O4, tenemos que

1 = 1(1) < 0(1) = 0

En resumen, si suponemos que 0 < 1 es falso, entonces se cumple que 0 < 1 y 1 < 0 , lo
cual es falso.

Para terminar la induccion, supongamos que 0 < n . Entonces

0<1<n+1

y, por O2, concluimos que 0 < n + 1 .

iv. Si x 6= 0 , por O1 solo existen dos posibilidades 0 < x y x < 0 . En el primer caso,
usando O4, tenemos que 0 = 0x < xx = x2 . En el segundo caso, por ii, tenemos que 0 < x y,
por ii, tenemos que

x2 = x(x) < 0

y, por i, conclimos que 0 < x2 .

v. Si x = 0 o y = 0 , el resultado es evidente. Si suponemos que x 6= 0 6= y entonces, como


x > 0 y y < 0 no se puede cumplir que x = y [en efecto, esto viola O1].

vi. Como por iv, x2 > 0 y y 2 > 0 si x2 + y 2 = 0 , por v se tiene que x2 = y 2 = 0 y, por lo
tanto x = y = 0 .
Ademas, es claro que si x = y = 0 , entonces x2 + y 2 = 0 .

vii. Supongamos que x < y y x0 < y 0 . Entonces, por O3

x + x0 < y + x0 y y + x0 < y 0 + x0
182 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

y, por O2, concluimos que x + x0 < y + y 0 .

viii. Supongamos que x < y y x0 < y 0 . Entonces, como y 0 < x0 , por vii, concluimos que
x y 0 < y x0 . 2

Ejemplo 1. Si x > 0 [ x < 0 ], entonces x1 > 0 [ x1 < 0 ].

En efecto, supongamos que x > 0 y que es falso que x1 > 0 . Entonces, como x1 6= 0
[por que?] por O3 se tiene que x1 < 0 . Por O4, concluimos que 1 = x1 x < 0x = 0 ,
contradiccion que demuestra que x1 > 0 .

Para demostrar la otra afirmacion se puede usar un argumento analogo o usar la propiedad
(x)1 = x1 [ver 1.2 Ejercio 4]. 3

Ejemplo 2. . Si 0 < x < y o x < y < 0 ] entonces y 1 < x1 .

En efecto, si 0 < x < y , entonces 1 = xx1 < yx1 y, por lo tanto,


y 1 = y 1 1 < y 1 yx1 = x1
El caso en 0 < x < y se comprueba en forma analoga o usando que, y < x < 0 . 3

Ejemplo 3. A veces es conveniente usar la siguiente propiedad, cuya demostracion es muy sencilla:
Sean x, y R . Entonces x < y si y solo si y x > 0 .

La siguiente consecuencia es interesante: Sean m, n N . Entonces m > n si y solo si


mnN. 3

Ejemplo 4. Es conveniente no innovar y definir los siguientes numeros naturales:


2=1+1 3=2+1 4=3+1
5=4+1 6=5+1 7=6+1
8=7+1 9=8+1 10 = 9 + 1
Notese que podemos demostrar facilmente que
1 < 2 < 3 < 4 < 5 < 6 < 7 < 8 < 9 < 10
Tambien es facil demostrar que 2 + 3 = 5 y que 5 + 7 = 10 + 2 . Sin embargo, no es posible
demostrar que 5 + 7 = 12 ya que no hemos definido el numero 12 . 3

Usaremos la notacion D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y diremos que los elementos de D son los


dgitos. A continuacion demostraremos que todos los numeros naturales pueden ser expresados
en forma unica como sumas de la forma
k
X
ck ck1 c1 c0 = ci 10i donde ci D i = 0, 1, k y ck 6= 0
i=0
1.3. AXIOMAS DE ORDEN 183

Por ejemplo,

36980 = 0 100 + 8 101 + 9 102 + 6 103 + 3 104

Notese que, si no pudieramos demostrar este resultado a partir de los axiomas, no tendramos un
buen modelo de los numeros reales.

Es claro que podemos demostrar que 999 + 1 = 1000 . En efecto,

999 + 1 = 9 100 + 9 101 + 9 102 + 1


= 10 + 9 100 + 9 101 + 9 102
= 0 100 + 101 + 9 101 + 9 102
= 0 100 + 0 101 + 102 + 9 102
= 0 100 + 0 101 + 0 102 + 1 103
= 1000

En forma general, tenemos el siguiente resultado que, obviamente, se demuestra por induccion.
Lema. Para todo k N {0} ,
k
X
9 10i + 1 = 10k+1
i=0

Demostracion. Es claro que el resultado es verdadero para k = 1 . Para completar la induccion,


supongamos que es valido para k . Entonces
k+1
X k
X
9 10i + 1 = 9 10i + 9 10k+1 + 1
i=0 i+0

= 10k+1 + 9 10k+1
= 10k+2 2

Ahora podemos demostrar el siguiente resultado que dice que los numeros naturales son lo que
usamos en la vida diaria para contar.
Teorema 2. El conjunto N {0} es igual al conjunto de todos los numeros reales de la forma
k
X
ci 10i
i=0

tales que k N {0} y ci D para todo 0 6 i 6 k .

Demostracion. Es claro que tenemos que demostrar que si


( k )
X
N= ci 10i | k N {0} y ci D 0 6 i 6 k
i=0
184 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

entonces N = N {0} .

Primero notamos que, por 1.2 Teorema 7, usando induccion, se tiene que N N {0} . Por
lo tanto, para terminar la demostracion solo tenemos que demostrar que m = N \ {0} N es un
conjunto inductivo.

Para ello, notamos que 1 = 1 100 M y que si m M , entonces


k
X
m= ci 10i
i=0

Entonces, si c0 6= 9 , si definimos
(
c0 + 1 si i = 0
c0i =
ci si i > 0

es claro que
k
X
m+1= c0i 10i
i=0

y luego usamos una induccion [cuyos detalles dejamos al lector] notando que, si

ci = 9 para i = 0, 1, , j y cj+1 6= 9

entonces, si definimos


0 si i = 0, 1, , j
0
c i = cj+1 + 1 si i = j + 1


ci si i > j + 1

entonces, se tiene que, como


0
k
X
m+1= c0i 10i
i=0

y, por lo tanto, m + 1 M . 2

Recordemos que, si x R entonces definimos |x| R , llamado valor absoluto de x , por


(
x si x > 0
|x| =
x si x 6 0

Las siguientes propiedades se demuestran facilmente.


1.3. AXIOMAS DE ORDEN 185

Teorema 3. i. |x| = 0 si y solo si x = 0 .

ii. |xy| = |x||y| .

iii. |x| = | x| para todo x R .

iv. Sea a R tal que a > 0 . Entonces |x| 6 a si y solo si a 6 x 6 a .

Demostracion. i, ii y iii se demuestran facilmente.

iv. Primero demostraremos que |x| 6 a a 6 x 6 a . Para ello supongamos que |x| 6 a .
Entonces tenemos dos posibilidades: x > 0 y x 6 0 .

Si x > 0 , como |x| = x 6 a , tenemos que

a 6 x 6 0 6 x = |x| 6 a

y, por lo tanto, a 6 x 6 a .

Si x 6 0 entonces, como |x| = x 6 a , tenemos que

a 6 x 6 0 6 a

y, por lo tanto, a 6 x 6 a .

Finalmente demostraremos que a 6 x 6 a |x| 6 a . Para ello supongamos que


a 6 x 6 a . Nuevamente, tenemos que distingir dos casos: x > 0 y x 6 0 .
Si x > 0 , entonces |x| = x 6 a . Si x 6 0 , entonces |x| = x y, por lo tanto
a 6 x = |x| , lo que implica que |x| 6 a . 2

El siguiente resultado es una de las propiedades mas importantes del valor absoluto.

Teorema 4 (Desigualdad Triangular). Sean x, y, z R , entonces |x + y| 6 |x| + |y| .

Demostracion. Como |x| 6 x 6 |x| y |y| 6 y 6 |y| , se tiene que

(|x| + |y|) 6 x + y 6 |x| + |y|

y, por lo tanto, |x + y| 6 |x| + |y| . 2

La siguiente variacion de la desigualdad triangular tambien es muy util.

Corolario. Sean x, y, z R , entonces |x y| > | |x| |y| | .

Demostracion. Aplicando ii dos veces, tenemos que

|x| = |y + (x y)| 6 |y| + |x y| y |y| = |x + (y x)| 6 |x| + |y x|


186 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

de donde concluimos que


|x y| 6 |x| |y| = |y x|

y, por lo tanto, que |x y| > ||x| |y|| . 2

Recordemos que si a, b R , son tales que a 6 b , definimos los siguientes subconjuntos de


R:
1. ]a, b[ = {x | a < x < b} 2. [a, b] = {x | a 6 x 6 b}
3. [a, b[ = {x | a 6 x < b} 4. ]a, b] = {x | a 6 x 6 b}
5. ]a, [ = {x | a < x} 6. ] , b[ = {x | x < b}
7. [a, [ = {x | a 6 x} 8. ] , b] = {x | x 6 b}
9. ] , [ = R
donde = + y son dos smbolos [que podramos reemplazar por cualquier otra cosa].
Diremos que un conjunto es un intervalo ssi es uno de estos conjuntos. Notese que = [a, a[ es
un intervalo.

Es conveniente usar una notacion que puede parecer muy complicada pero que tiene la virtud
de que permite grandes simplificaciones. Si definimos
R = R {} y <a< aR

entonces si a, b R , usaremos la notacion ha, bi para un intervalo en que h y i denotan [


o [ . Tambien diremos que a es el extremo izquierdo y que b es el extremo derecho del
intervalo ha, bi . Notese que si a = , entonces h = ] y que si b = , entonces i = [ .

Usando esta notacion, podemos definir sucintamente las siguientes nociones. Sean a, b R
tales que a 6 b , entonces diremos que

i. El intervalo ha, bi es acotado inferiormente ssi a R . Notese que no es acotado


inferiormente si y solo si a = y h = ] .

ii. El intervalo ha, bi es acotado superiormente ssi b R . Notese que no es acotado


superiormente si y solo si b = y i = [ .

iv. El intervalo ha, bi es abierto por la izquierda ssi h = ] .

v. El intervalo ha, bi es abierto por la derecha ssi i = [ .

vi. El intervalo ha, bi es abierto ssi es abierto por la izquierda y por la derecha.

vii. El intervalo ha, bi es cerrado por la izquierda ssi a = o ; a R y h = [ .

viii. El intervalo ha, bi es cerrado por la derecha ssi b = o ; b R y h = ] .


1.3. AXIOMAS DE ORDEN 187

ix. El intervalo ha, bi es cerrado ssi es cerrado por la izquierda y por la derecha.

Notese que, R y son los unicos intervalos que son a la vez abiertos y cerrados. Esto no
debera causar problemas ya que ellos no son puertas.

La siguiente propiedad de los intervalos es muy importante. Mas adelante veremos que carac-
teriza a los intervalos.

Teorema 5. Sean I un intervalo y x, y I tales que x 6 y . Entonces z I para todo z R


tal que x 6 z 6 y .

Demostracion. . Veremos solo el caso en que I = [a, b[ [intervalo del tipo 2]. La demostracion
en todos los otros casos es analoga [y se recomienda al lector demostrarla en otros casos].

Si x, y [a, b[ entonces a 6 x < b y a 6 y < b . Por lo tanto, si x 6 z 6 y , se cumple que

a6x6x6y<b

y concluimos que a 6 z < b , lo cual es equivalente a z [a, b[ . 2

Este resultado tambien puede ser expresado de la siguiente manera.

Corolario. Sean I un intervalo y x, y I tales que x 6 y . Entonces [x, y] I .

Demostracion. Basta notar que x 6 z 6 y si y solo si z [x, y] . 2

El siguiente resultado sera usado a menudo.

Teorema 6. Sean x, a, R tales que > 0 . Entonces, las siguientes afirmaciones son equi-
valentes.

i. |x a| < .

ii. a < x < a + .

iii. x ]a , a + [ .

Demostracion. Como por el Teorema 3, ii es equivalente a iii, solo demostraremos que i y ii son
equivalentes [es decir que i ii y que ii i .

[iii] Si |x a| < , entonces

< a x <

y, por lo tanto,

a<x<a+
188 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

[iii] Si a < x < a + , entonces

< a x <

y, por lo tanto, |x a| < . 2

Ejemplo 5. Sean I1 = ha1 , b1 i y I2 = ha2 , b2 i dos intervalos tales que b1 < a2 . Entonces
I1 I2 no es un intervalo.

Para i = 1, 2 , sean xi Ii . Entonces, a pesar de que


b1 + a2
x1 6 b1 < < a2 6 x2
2
se comprueba facilmente que
b1 + a2

/ I1 I2
2
y, por el Teorema 5, I1 I2 no puede ser un intervalo.

Sin embargo, se comprueba facilmente que

ha, c] ]c, bi = ha, bi y ha, c[ [c, bi = ha, bi 3

Ejercicios. 1. Repase el Captulo I.1 resolviendo losproblemas que no haya hecho.

2. Encuentre todos los x R tales que


1 1
+ >0
x 1x
3. Encuentre y demuestre un criterio para que ck ck1 c0 < dl dl1 d0 .

4. Demuestre el algortmo usual para la suma de dos numeros naturales.

5. Sean m, n N tales que m2 /n2 < 2 . Demuestre que

(m + 2n)2 m2
2
<4 2
(m + n) n

6. Si x, y R son tales que (x + y)2 = x2 + y 2 , demuestre que x = 0 o y = 0 .

7. Si x, y R son tales que x2 + y 2 > 0 , demuestre que

4x2 + 6xy + 4y 2 > 0

8. Sea f : [a, b] R una funcion tal que para todo x, y [a, b] tales que x 6 y se cumple
que f (x) 6 f (y) . Demuestre que im f [f (a), f (b)] . Encuentre un ejemplo en que estos dos
1.4. AXIOMA TOPOLOGICO. 189

conjuntos no son iguales.

9. Sean I1 , I2 dos intervalos. Demuestre que I1 I2 es un intervalo [posiblemente ]. [Note


que tiene que considerar varios casos. Asegurese de que los ha considerado todos.]

10. Demuestre que un intervalo I es abierto si y solo si para cada x I existe > 0 tal que
]x , x + [ I .

11. Demuestre que un intervalo I es abierto si y solo si para cada x


/ I existe > 0 tal que
]x , x + [ I = .

1.4 Axioma Topologico.


Es facil comprobar que Q satisface
los axiomas algebraicos y los axiomas topologicos. Sin
embargo, como vimos en I.1.1.6 2 6 Q . Por lo tanto, los Axiomas Algebraicos y de Orden
no permiten demostrar la existencia de 2 . Por lo tanto, agregaremos un ultimo axioma que,
ademas solucionar esto, nos permitira construir una teora satisfactoria del Calculo.

Antes de introducir este axioma, necesitamos algunas definiciones. Si A R , entonces una


sucesion en A [o simplemente una sucesion cuando A = R ] es una funcion a : N A .
Usaremos la notacion a = (an | n N) [o simplemente (an ) cuando no haya peligro de confusion].

Es muy importante notar que si a = (an | n N) y b = (bn | n N) son dos sucesiones en


A R , entonces
a=b an = bn para todo n N

Ejemplo 1. Notese que para definir una sucesion es necesario definir su primer [ a1 ], su segundo
elemento [ a2 , que puede ser igual a a1 ], su tercer elemento que es a3 , etc. Por lo tanto, una
sucesion (an | n N) es algo muy diferente del conjunto {an | n N} . 3

Ejemplo 2. Veamos algunos ejemplos sencillos de sucesiones.

i. Si k R , entonces la funcion a : N R tal que a(n) = k para todo n N es


la sucesion (an | n N) tal que an = k para todo n N y que tambien denotamos por
(k | n N) = (k) . Tambien podemos decir que (k) es la sucesion k, k, , k, .
Es importante notar que {an | N} = {k} , que es algo muy distinto de (k | n N)
ii. La funcion a : N R tal que a(n) = 1/n para todo n N es la sucesion
(1/n | n N) que tambien denotamos por (1/n) . Tambien podemos decir que (1/n) es la
sucesion 1, 1/2, 1/3, , 1/n, .

iii. La funcion a : N R tal que a(n) = (1)n para todo n N es la sucesion


((1)n | n N) que tambien denotamos por ((1)n ) . Tambien podemos decir que ((1)n ) es
la sucesion 1, 1, 1, , (1)n , .
190 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Es importante notar que esta sucesion es distinta de la sucesion b tal que b(n) = (1)n+1
para todo n N . Notese que ((1)n+1 ) es la sucesion 1, 1, 1, , (1)n+1 , .
Sin embargo, {an | n N} = {bn | n N} = {1, 1} , a pesar de que las dos sucesiones son
distintas. 3

Ejemplo 3. La formula an = 1/(230 n) no define una sucesion ya que a230 no esta definido.3

Si a = (an ) y b = (bn ) son dos sucesiones en A R , podemos construir la siguientes nuevas


sucesiones en A .

i. La suma de a y b que es la sucesion a + b tal que para todo n N

(a + b)(n) = a(n) + b(n)

Dicho de otra manera, se tiene que

(an | n N) + (bn | n N) = (an + bn | n N)

o, cuando no hay peligro de confusion (an ) + (bn ) = (an + bn ) .

ii. El producto de a y b que es la sucesion ab tal que para todo n N

(ab)(n) = a(n)b(n)

Dicho de otra manera, se tiene que

(an | n N)(bn | n N) = (an bn | n N)

o, cuando no hay peligro de confusion (an )(bn ) = (an bn ) .

iii. Si bn 6= 0 para todo n N , el cuociente de a y b es la sucesion a/b tal que para


todo n N

(a/b)(n) = a(n)/b(n)

Dicho de otra manera, se tiene que

(an | n N)/(bn | n N) = (an /bn | n N)

o, cuando no hay peligro de confusion (an )/(bn ) = (an /bn ) .

iv. Si A R y f : A B es una funcion tal que B R , la sucesion f a que es la


sucesion en B tal que c = (cn ) = (f (an )) tal que para todo n N

(f a)(n) = f (a(n))

Dicho de otra manera, se tiene que

f (an | n N) = (f (an ) | n N)
1.4. AXIOMA TOPOLOGICO. 191

o, cuando no hay peligro de confusion f (an ) = (f (an )) .

La siguiente definicion es el concepto basico de todo el Calculo. Sean a una sucesion y a R .


Entonces diremos que a converge a a ssi para todo R tal que > 0 existe N N tal
que |a an | < para todo n > N . Ademas, diremos que una sucesion a es convergente ssi
existe a tal que a converge a a .

Intuitivamente, esto dice que cuando n es suficientemente grande, la distancia entre an y a


es pequena. Por lo tanto, este concepto es la formalizacion de la idea de acercarse a a que usamos
en la Parte I.

La siguiente formulacion de la definicion de sucesion convergente ayuda a una mejor compren-


sion de este concepto.
Teorema 1. Sea a una sucesion y a R . Entonces a converge a a si y solo si para todo
> 0 existe N N tal que
an ]a , a + [
para todo n > N .
Demostracion. Basta notar que, por 1.2 Teorema 6,
|a an | < an ]a , a + [ 2

A continuacion veremos que una sucesion no puede converger a dos numeros distintos.
Teorema 2. Sean a una sucesion y a, a0 R tales que a converge a a y a a0 . Entonces
a = a0 .
Demostracion. Comprobaremos que si suponemos que a 6= a0 obtenemos una contradiccion.
En efecto, si a converge a a y a a0 y
|a a0 |
>0
2
entonces existen N, N 0 N tales que
|a an | < n > N y |a0 an | < n > N 0
Si elegimos cualquier k > N, N 0 [por ejemplo, k = N + N 0 ], se tiene que
|a a0 | |a a0 |
|a ak | < y |ak a0 | <
2 2
y usando la desigualdad triangular, tenemos que
|a a0 | = |(a ak ) + (ak a0 )|
6 |a ak | + |a a0 |
<+
|a a0 | |a a0 |
= +
2 2
= |a a0 |
192 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

y, por lo tanto, concluimos que |a a0 | < |a a0 | , lo cual es falso. 2

En vista de este resultado, si a = (an | n N) es una sucesion convergente, diremos que


a R es el lmite de a y usaremos la notacion

a = lm a = lm (a | n N) = lm (an )

ssi a = (an ) converge a a [a veces, para evitar confusiones usaremos la notacion lm n (an ) ]. 3

Ejemplo 4. En casi todos los textos de Calculo se usa la notacion

lm an
n

para denotar el lmite la sucesion (an ) . Sin embargo, preferimos no usarla ya que introduce el
smbolo cuyo significado no se explicita y solo conduce a confusion. Por ejemplo, es comun
or a principiantes que afirman que es un numero real y que, de alguna manera se tiene que
lm n (an ) = a . 3

Ejemplo 5. El siguiente ejemplo no matematico y algo irreal puede ayudar a una comprension
intuitiva del concepto de lmite de una sucesion. Supongamos que queremos medir una cierta
distancia y que su valor [que nadie conoce] es a . Para ello efectuamos mediciones todos los anos
usando instrumentos cada vez mas precisos, obteniendo en el ano n una medida aproximada
an . Entonces, a pesar de que an no necesariamente es igual a a , si queremos un valor con
un error [que consideramos pequeno] basta usar la medida efectuada en el ano n para un n
suficientemente grande.

Dicho de otra manera, si queremos que |a an | sea pequeno, basta tomar n suficientemente
grande. 3

Ejemplo 6. A continuacion veremos algunos ejemplos de sucesiones convergentes. Sin embargo,


no es posible dar ejemplos interesantes ya que, para ello necesitamos el Axioma Topologico [que
asegura que ciertas sucesiones son convergentes].

i. Sea a = (a | n N) [es decir, an = a(n) = a para todo n N ]. Entonces [como es de


esperar], a es convergente y lm a = a .

Para demostrarlo notamos que si > 0 , entonces podemos elegir N = 1 y se tiene que
|a an | = |a a| = 0 < para todo n > 1 = N . Notese que podramos haber elegido cualquier
otro N N .

ii. Sea a = (an | n N) la sucesion tal que


(
0 si n 6 8
a(n) = an =
a si n > 8
1.4. AXIOMA TOPOLOGICO. 193

Notese que esta sucesion no es la misma de i. Demostraremos que lm a = a .

Para ello, si > 0 , elegimos N = 9 y entonces, si n > 9 = N , se tiene que


|a an | = |a a| = 0 < .

iii. Sea a = ((1)n | n N) la sucesion tal que an = (1)n para todo n N .


Demostraremos que a no es convergente.
Para ello, demostraremos que si suponemos que a es convergente, obtenemos una contradic-
cion.

En efecto, si a converge a a , como = 1 > 0 , existe N N tal que |a an | < 1 para


todo n > N . En particular, tenemos que

|aN aN +1 | = |(1)N (1)N +1 |


= |(1)N + (1)N |
=2

tenemos que

2 = |aN aN +1 |
= |(aN a) + (a aN +1 |
6 |a aN | + |a aN +1 |
<1+1
=2

es decir, 2 < 2 , lo cual es falso. 3

Ejemplo 7. Es intuitivamente claro que lm (1/n | n N) = 0 ya que, dado varepsilon > 0 ,


basta elegir N N tal que N > 1/ y, entonces si n>N ,


0 1 = 1
n n
1
6
N
<

Sin embargo, este razonamiento no es valido ya que no se puede demostrar que para todo
x R existe N N tal que N > x .
En efecto, esta propiedad es equivalente a la llamada Propiedad Arquimediana que dice que
no existe K R tal que n < K para todo n N . Existen ejemplos de conjuntos que satisfacen
los Axiomas Algebraicos y de Orden y que no satisfacen la Propiedad Arquimediana [estos objetos
matematicos se llaman Cuerpos No Arquimedianos]. 3

La siguiente definicion es necesaria para enunciar el Axioma Topologico: Sea a una suce-
sion. Entonces diremos que C R es una cota superior [cota inferior] de a ssi an 6 C
194 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

[ an > C ] para todo n N . Ademas, diremos que a es acotada superiormente [acotada


inferiormente] ssi existe una cota superior [cota inferior] de a y que es acotada ssi es acotada
superiormente e inferiormente.

Las siguientes afirmaciones se demuestran facilmente.


Teorema 3. Sea a = (an ) una sucesion. Entonces

i. C R es cota superior de a si y solo si C es cota inferior de la sucesion a = (an ) .

ii. Si C es cota superior [cota inferior] de a y C 0 > C [ C 0 6 C ] entonces C 0 es cota


superior [cota inferior] de a .

iii. a es acotada si y solo si existe C tal que |an | 6 C para todo n N .

iv. a es acotada si y solo si existen N N y C R tales que |an | 6 C para todo n > N .

Demostracion. Las demostraciones de i , ii y iii son muy sencillas y son dejadas al lector.

iv. [] Es muy sencilla y es dejada al lector.

[] Supongamos que |an | 6 C para todo n > N . Entonces si

C 0 = max {|a1 |, |a2 |, , |aN 1 |, C}

se tiene que |an | 6 C 0 para todo n N . 2

El siguiente resultado muestra la relacion que hay entre las sucesiones convergentes y las suce-
siones acotadas.
Teorema 4. Toda sucesion convergente es acotada.

Demostracion. Sea a una sucesion convergente y a = lm a . Entonces existe N tal que


|a an | < 1 para todo n > N y, por lo tanto, para todo n > N

|an | = |an a + a| 6 |an a| + |a|


< 1 + |a|

Por el Teorema 3, concluimos que a es acotada. 2

Notese que la implicacion inversa no es verdadera; es decir, las sucesiones acotadas no nece-
sariamente son convergentes. Por ejemplo, la sucesion ((1)n ) es acotada y [como vimos en el
Ejemplo 5] no es convergente.

Mas adelante usaremos la siguiente propiedad que se demuestra en forma analoga.


Teorema 5. Sea a = (an ) una sucesion convergente tal que lm a = a 6= 0 . Entonces existe
N N tal que |an | > |a|/2 para todo n N .
1.4. AXIOMA TOPOLOGICO. 195

Demostracion. Como |a|/2 > 0 , existe N N tal que |a an | 6 |a|/2 para todo n > N .
Entonces si n > N , se tiene que

|a| = |a an + an |
6 |an a| + |an |
|a|
< + |an |
2
|a|
y, por lo tanto, |an | > . 2
2
Otra propiedad util es la siguiente.
Teorema 6. Sean c R y a = (an | n N) una sucesion convergente tal que an 6 c [ an > c ]
para todo n N . Entonces lm a 6 c [ lm a > c ].

Demostracion. Sea a = lm a . Si suponemos que a > c , obtendremos una contradiccion. En


efecto, como a c > 0 , existe N N tal que |a an | < a c para todo n > N . Entonces,
como a an < a c , concluimos que an > c para todo n N , lo cual es falso.
El caso en que an > c se demuestra en forma analoga. 2

Es importante notar que si lm a es una sucesion convergente tal que an < c para todo
n N entonces solo se puede afirmar que lm a 6 c . Mas adelante veremos un ejemplo en que
esto no se cumple.

El siguiente resultado es exactamente lo que es de esperar.


Teorema 7. Sean a y b dos sucesiones convergentes. Entonces

i. a + b es convergente y lm (a + b) = lm a + lm b .

ii. ab es convergente y lm ab = lm a lm b .

iii. Si ademas bn 6= 0 para todo n y lm b 6= 0 , entonces lm a/b = lm a/ lm b .

Demostracion. Para simplificar la notacion, sean a = lm a y b = lm b .

i. Sea > 0 . Entonces, como

|(a + b) (an + bn )| = |(a an ) + (b bn )|


5 |a an | + |b bn |

tenemos que encontrar N N tal que para todo n > N

|a an | < /2 y |b bn | < /2

Para ello notamos que, como /2 > 0 , existen N1 , N2 N tales que



|a an | < n > N1 y |b an | < n > N2
2 2
196 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

si elegimos N > N1 , N2 , tenemos que para todo n > N

|(a + b) (an + bn )| 5 |a an | + |b bn |

< +
2 2
=

ii. Es conveniente ver primero el caso en que b = 0 . Sea > 0 . Entonces, por el Teorema 4,
podemos elegir C > 0 tal que |an | 6 C para todo n N y, como

|ab an bn | = |an ||bn | < C|bn |

si elegimos N N tal que |bn | < /C para todo n N , tenemos que para todo n N

|ab an bn | < C|bn | < C/C =

Veamos el caso en que b 6= 0 . Entonces como [usando C > 0 tal que |an | < C para todo n ]

|ab an bn | = |an bn + (an b an bn )|


5 |ab an b| + |an b an bn |
= |a an ||b| + |an ||b bn |
6 |a an ||b| + C|b bn |

tenemos que encontrar N tal que para todo n > N

|a an ||b| < /2 y C|b bn | < /2

Para ello notamos que, si elegimos N1 , N2 N tales que



|a an | < n > N1 y |b bn | < n > N 2
2|b| 2C
y elegimos N N tal que N > N1 , N2 , se tiene que para todo n > N

|ab an bn | 6 |a an ||b| + C|b bn |



< |b| + C
2|b| 2C

= +
2 2
=

iii. Primero demostraremos que si b1 = (1/bn | n N) , entonces lm b1 = b1 . Para ello,


sea > 0 . Entonces, como

1
1 = b bn = 1 1 |bn b|
bn b bn b |bn | |b|
si elegimos N1 , N2 N [en la eleccion de N1 usamos el Teorema 5] tales que

1/|bn | < 2/|b| > N1 y |bn b| < |b|2 /2 n > N2


1.4. AXIOMA TOPOLOGICO. 197

Entonces si elegimos N N tal que N > N1 , N2 , se tiene que para todo n > N ,

1
1 = 1 1 |bn b|
bn b |bn | |b|
2 1 |b|2
6
|b| |b| 2
=

Finalmente, para demostrar el caso general, basta notar que

a/b = ab1

y usar el caso especial y ii. 2

Antes de introducir el Axioma Topologico veremos un resultado sumamente util, que sera usado
muy a menudo.

Teorema 8 (Teorema del Sandwich). Sean a = (an ) y b = (bn ) dos sucesiones conver-
gentes tales que lm a = lm b = a y c = (cn ) una sucesion tal que an 6 cn 6 bn para todo
n N . Entonces c es convergente y lm c = a .

Demostracion. Sea > 0 . Elijamos N1 , N2 N tales que

|a an | < n > N1 y |a bn | < n > N2

Si elegimos N N es tal que N > N1 , N2 entonces, para todo n > N

a < an 6 cn 6 bn < a +

y, por lo tanto, |a cn | 6 . 2

El nombre de este resultado se debe a que si consideramos an , bn como el pan de un sandwich


y cn el jamon entonces el jamon sigue al pan.

Ejemplo 8. Espero que a nadie se le ocurra la aberracion de demostrar que lm (1/n) = 0 usando
el Teorema 7 para concluir que

1 1 1
lm = = =0
n lm (n) 3

Ejemplo 9. Si c R y a = (an | n N) es una sucesion, entonces definimos la sucesion

ca = (can | n N) = (c | n N)(an | n N)

Por el Teorema 7 se tiene que lm ca = c lm a . 3


198 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Ejemplo 10. Si a = (an | n N) es una sucesion y a R , entonces definimos la sucesion


aa = (an a | n N) . Entonces, a es convergente y lm a = a si y solo si aa es convergente y
lm (aa) = 0 . Para demostrarlo, basta escribir el significado de cada una de estas afirmaciones.3

Para enunciar el Axioma Topologico necesitamos una ultima definicion. Diremos que una
sucesion a es creciente [decreciente] ssi an an+1 [ an > an+1 ] para todo n N .
Notese que a es creciente [decreciente] si y solo si a es decreciente [creciente].

Finalmente, podemos enunciar el ultimo axioma de R .


Axioma Topologico.
AT. Toda sucesion creciente y acotada superiormente es convergente.
El siguiente resultado es equivalente al Axioma Topologico.
Teorema 9. Toda sucesion decreciente y acotada inferiormente es convergente.
Demostracion. Sea a = (an | n N) una sucesion decreciente y acotada inferiormente. En-
tonces la sucesion a = (an | n N) es creciente y acotada superiormente. Por el Axioma
Topologico, es convergente y, por el Teorema 7, a es convergente. 2

A continuacion veremos algunos resultados importantes que se deducen facilmente del Axioma
Topologico.
Teorema 10. No existe K R tal que n 6 K para todo n N .
Demostracion. Queremos demostrar que la sucesion (n | n N) no es acotada superiormente.
Si suponemos que es acotada superiormente, como es creciente, por el Axioma Topologico, debera
convergente. Veremos que esto nos lleva a una contradiccion.
En efecto, si lm (n | n N) = a , entonces existe N N tal que |a n| < 1/2 para todo
n > N y, por lo tanto,
1 = |(N + 1 a) + (a N )|
6 |N + 1 a| + |a N |
1 1
< +
2 2
=1
es decir, 1 < 1 , lo cual es falso. 2

Este resultado tambien puede ser expresado de la siguiente manera.


Corolario (Propiedad Arquimediana). Sean > 0 y K R . Entonces existe n N tal
que n > K .
Demostracion. Supongamos que la afirmacion es falsa, es decir, que existe K R tal que
n 6 K para todo n N . Entonces la sucesion (n) es acotada superiormente y, como tambien
es creciente, ella es convergente, lo cual es falso. 2

Usaremos el Teorema 10 para dar ejemplos interesantes de sucesiones convergentes.


1.4. AXIOMA TOPOLOGICO. 199

Teorema 11. La sucesion (1/n | n N) es convergente y lm (1/n | n N) = 0 .

Demostracion. Sea > 0 . Entonces [por el Teorema 10] existe N N tal que N > 1 .
Entonces, para todo n N tal que n > N se tiene que

1
= 1 6 1 <
n n N
lo cual significa que lm n (1/n) = 0 . 2

El siguiente resultado es sera usado en el proximo captulo.


Teorema 12. Sean a una sucesion y a las sucesiones tales que
( (
an si an > 0 + 0 si an > 0
an = y an =
0 si an 6 0 an si an 6 0

Entonces lm a = 0 si y solo si lm a = 0 .

Demostracion. [] Supongamos que lm a = 0 y sea > 0 . Elijamos N N tal que


|an | < para todo n > N . Entonces, para todo n > N

|a
n | 6 |an | <

[] Como a = a + a+ , concluimos que

lm a = lm a + lm a+ = 0 2

Ejemplo 11. La propiedad arquimedeana dice que, por pequeno que sea y, por grande que sea
K , es posible obtener un numero mas grande que K sumando un numero suficiente de veces.
Este es el principio del ahorro: si uno ahorra diariamente una cantidad pequena, entonces al cabo
de un tiempo suficientemente grande se ha ahorrado una cantidad apreciable.

Este fenomeno crea problemas en el uso de computadores ya que si se hacen muchos un calculos
con errores pequenos se puede obtener un resultado con un error muy grande. 3

Ejemplo 12. Para todo k N



1
lm | n N =0
nk
En efecto, basta notar que para todo n N ,
1 1
06 6
nk n
y usar el Teorema 11 y el Teorema del Sandwich. 3
200 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Ejemplo 13. Sean a una sucesion convergente y b la sucesion tal que

b1 = 0 y bn = an1 n > 1

Entonces b es convergente y lm b = lm a . En forma mas resumida este resultado se expresa


diciendo que

lm (an1 | n N) = lm (an | n N)

Para demostrarlo, sea lm a = a . Entonces, si > 0 , existe N1 N tal que para todo
n > N1

|a an | <

Por lo tanto, si n > N = N1 + 1 , como bn = an1 , y n 1 > N 1 = N1 , se tiene que

|a bn | = |a an1 | < 3

Ejemplo 14. Usaremos el ejercicio anterior para demostrar que, si 0 6 a < 1 , entonces

lm (an | n N) = 0

Para ello notamos que (an | n N) es convergente ya que es decreciente y acotada inferior-
mente. Si c = lm (an | n N) , entonces

c = lm (an | n N)
= lm a(an1 | n N)
= a lm (an1 | n N)
= a lm (an | n N)
= ac

Entonces, como c = ac y a 6= 0 , concluimos que c = 0 .

Notese que, si suponemos que a > 1 , podramos hacer el mismo calculo y concluir algo falso
ya que en este caso el lmite no existe. Esto es un ejemplo de los errores que se pueden cometer
haciendo calculos a ciegas, sin tener una buena teora. 3

Como aplicacion de la nocion de lmite de sucesiones, demostraremos que todos los numeros
reales tienen un desarrollo decimal. Es decir, daremos un sentido preciso a afirmaciones tales como
1
1/2 = 0, 5000 ; = 0, 3333 ; = 3, 141582653589793
3
y demostraremos que todos los numeros reales pueden ser expresados de esta manera.
1.4. AXIOMA TOPOLOGICO. 201

Como la demostracion es bastante larga, la separaremos en lemas mas manejables. Esto per-
mite que el lector omita o postergue las demostraciones de algunos de estos resultados para obtener
as una idea cabal de la demostracion.

En primer lugar notamos que si (n | n N) es una sucesion en D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}


[es decir, que n D para todo n N ], entonces podemos definir una nueva sucesion a = (an )
tal que
1 1 1
an = 1 + 2 2 + + n n
10 10 10
n
X
= i 10i
i=1
= 0, 1 2 n

[donde la ultima igualdad es la definicion del smbolo 0, 1 2 n ]. Por ejemplo,


1 1 25 1 1
1/2 = 5 = 0, 5 y = = 2 + 5 2 = 0, 25
10 4 100 10 10
Nuestra primera meta es demostrar que a es convergente. Para ello demostraremos que es
creciente y acotada superiormente.
Lema a. La sucesion a = (an ) es creciente.

Demostracion. Como
n+1
X n
X
an+1 an = i 10i i 10i
i=1 i=1

= n+1 10(n+1)
>0

concluimos que an 6 an+1 para todo n N . 2

Antes de demostrar que a es acotada superiormente, estableceremos una formula muy util
que usaremos en muchas oportunidades. Su demostracion es un truco muy sencillo y permite
reconstruir la formula en caso de olvido.
Lema b. Para todo r 6= 1 , se cumple que
n
X r
ri = (1 rn )
i=1
1r

Demostracion. Si S = r + r2 + + rn , entonces

rS = r2 + r3 + + rn+1
= r + r + r2 + r3 + + rn + rn+1
= r + S + rn+1
202 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

y, despejando S , obtenemos la formula. 2

Ahora podemos demostrar el resultado que queremos.

Lema c. La sucesion a es convergente y lm a 6 1 .

Demostracion. Demostraremos que an 6 1 para todo n N . Para ello, notamos que


n
X 1
an = i
i=1
10i
n
X 1
6 9
i
i=1
10
Xn i
1
=9
i=1
10
1
n
10 1
=9 1
1 10
1
10
= 1 10n
<1

[donde usamos el Lema b con r = 1/10 ].


Como a es creciente y acotada superiormente, [por el Axioma Topologico] es convergente y
[por el Teorema 6], lm a 6 1 . 2

En vista de este resultado definimos

0, 1 2 = lm (an | n N)
= lm (0, 1 2 n | n N)

Es importante notar que



n
!
X 9
0, 999 = lm |nN
i=1
10n

1
= lm 1 n | n N
10
=1

En forma analoga se puede demostrar que 0, 333 = 1/3 [Ejercicio].

Lema d. x [0, 1] si y solo si existe una sucesion (n ) en D tal que x = 0, 1 2 .

Demostracion. En el Lema c demostramos que 0, 1 2 [0, 1] . Demostraremos la afirma-


cion inversa.
1.4. AXIOMA TOPOLOGICO. 203

Sea x [0, 1] . Como sabemos que 1 = 0, 999 , podemos suponer que 0 6 x < 1 . El
problema se reduce a encontrar una sucesion (n | n N) tal que
n
X
0 6 x an = x i 10i < 10n
i=1

ya que [por el Teorema del Sandwich]esto implica que lm (x an | n N) = 0 y, por lo tanto,


que
x = lm a = 0, 1 2
La construccion de (n | n N) es por induccion en n . Para n = 1 , como 0 6 10x < 10
[ya que 0 6 x < 1 ] existe un unico 1 D tal que 1 6 10x < 1 + 1 y, por lo tanto,
0 6 x 1 101 = x a1 < 101
Para completar la induccion, supongamos que hemos definido n de modo que
0 6 x an < 10n
Entonces, como
0 6 10n+1 (x an ) < 10
existe un unico n+1 D tal que
n+1 6 10n+1 (x an ) < n+1 + 1
y, como esto implica que
0 6 x an n+1 10(n+1) = x an+1 6 10(n+1)
hemos terminado la induccion. 2

Ahora podemos enunciar y demostrar el resultado que queremos.


Teorema 13. Sea 0 6 x R . Entonces existen c0 , c1 , ck D y una sucesion (n | n N)
en D tales que ck 6= 0 y
k
X
x= ci 10i + 0, 1 2
i=0
= ck ck1 c0 , 1 2
Demostracion. Basta notar que, como x = n + y , donde n N {0} e y [0, 1[ , el resultado
es consecuencia inmediata de 1.3 Teorema 2 y del Lema d. 2

El Teorema 12 dice que el conjunto R cuya existencia postulamos como axioma, es el conjunto
de los objetos que estamos acostumbrados a llamar numeros reales. Ademas, concluimos que R
es esencialmente unico.

Una consecuencia importante del Teorema 12 es el siguiente resultado.


204 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Teorema 14. Para todo x R existe una sucesion a en Q tal que x = lm a .

Demostracion. Basta considerar el caso en que x > 0 . Por el teorema 12, tenemos que

ck ck1 c0 , 1 2

y, por lo tanto, si para cada n N definimos

an = ck ck1 c0 , 1 2 n

obtenemos una sucesion en Q tal que x = lm a . 2

Ejemplo 15. El desarrollo decimal x = 1 2 no es necesario unico. En efecto, se comprueba


[Ejercicio] que si k < 9 , entonces

0, 1 2 k 9999 = 0, 1 2 k1 k0 0000

donde k0 = k + 1 .

Es mas difcil comprobar que estas son los unicos ejemplos en que hay dos desarrollos decimales.
[Conviene empezar comprobando que si 1 = 0, 1 2 entonces n = 9 para todo n .] 3

Ejemplo 16. Es interesante notar que ck c0 , 1 2 es racional si y solo si existen N y l


tales que n+l = n para todo n > N . Por ejemplo, el numero real

37, 2597123123123

satisface esta propiedad con N = 5 y k = 3 . [Ejercicio: Demuestre que es racional.] La


demostracion de una de las implicaciones no es difcil la otra es mas complicada. 3

Ejercicios. 1. Sean a, b dos sucesiones tales que existe M tal que an = bn para todo n > M .
Demuestre que a es convergente si y solo si b es convergente y que si son convergentes y que, si
son convergentes, entonces lm a = lm b .

2. Para cada n N sea P (n) una afirmacion que depende de n . [Ejemplos: las afir-
maciones |a an | < 00 y n es primo, etc.] Entonces diremos que P (n) es verdadera
para casi todo n N ssi P (n) es falsa solo para un numero finito de n N . Por ejemp-
lo, la afirmacion n > 4 es verdadera para casi todo n N ya que es falsa si y solo si n = 1, 2, 3 .

Demuestre que P (n) es verdadera para casi todo n N si y solo si existe N tal que P (n)
es verdadera para todo n > N .

A continuacion veremos algunos ejemplos de la aplicacion de este concepto ya que es util para
simplificar el manejo de la definicion de lmite.
1.4. AXIOMA TOPOLOGICO. 205

i. Demuestre que lm (an | n N) = a si y solo si para todo > 0 se cumple que |a an | <
para casi todo n N .

ii. Demuestre que lm (an | n N) = a si y solo si para todo > 0 se cumple que
an ]a , a + an [ para casi todo n N .

iii. Compruebe que en el Ejercicio 1 demostro que si an = bn para casi todo n N , entonces
lm an = a si y solo si lm bn = a .

iv. Demuestre la siguiente version del Teorema del Sandwich. Sean a, b, c sucesiones tales
que lm a = lm b = a y an 6 cn 6 bn para casi todo n N . Entonces lm c = a .

3. Sean a, b dos sucesiones tales que lm a = a y bn = a2n para todo n N . Demuestre


que lm b = a .

Trate de demostrar la siguiente generalizacion: Sean a una sucesion convergente y : N N


una funcion tal que (n) < (n + 1) para todo n . Entonces la sucesion b = a = (a(n) ) es
convergente y lm b = lm a .

Por que es necesario imponer una condicion a la funcion ? Es verdad que si b es conver-
gente, entonces a es convergente?

4. Demuestre que lm a = a si y solo si para todo m N existe N tal que |a an | < 1/m
para todo n > N .

p(n)
5. Sea p un polinomio de grado k > 0 . Demuestre que lm k es el k-esimo coeficiente
n
de p .

6. Sean p un polinomio de grado k , q un polinomio de grado l y a la sucesion tal que


para todo n N

p(n)
an =
q(n)

Determine cuando a es convergente y encuentre su lmite cuando existe. [Note que el Ejercicio
5 es un caso especial.]

7. Demuestre que, para cada r R existe un unico n Z tal que n 6 r < n + 1 . [Note que
esto fue usado en la demostracion de 1.4 Teorema 13.]

8. Si (an ) es una sucesion, demuestre que lm (an | n N) = 0 si y solo si lm |an | = 0 .

Que puede decir sobre la siguiente afirmacion: lm (|an | | n N) = |a| si y solo si


lm |an | = |a| ?
206 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

9. Sean a = (an | n N) y b = (bn | n N) dos sucesiones convergentes tales que an 6 bn


para casi todo n [es decir, existe M tal que an 6 bn para todo n > M ]. Demuestre que

lm a 6 lm b

Si an < bn para casi todo n , demuestre que lm a 6 lm b y encuentre un ejemplo en el


cual lm a = lm b .

10. Sean a = (an | n N) y b = (bn | n N) dos sucesiones convergentes tales que


lm b = 0 y |an | 6 bn para casi todo n . Demuestre que lm an = 0 .

11. Sea a = (an | n N) una sucesion convergente y creciente. Demuestre que an 6 lm a


para todo n N .

Si solo suponemos que an 6 an+1 para casi todo n N demuestre que an 6 lm a para casi
todo n N .

12. Sean a, b, c sucesiones tales que lm a = lm b = a y para todo n N

cn = an o cn = bn

Demuestre que lm c = a .

13. Sea a = (an | n N) una sucesion convergente tal que lm a = a 6= 0 . Demuestre que
existe N N tal que an 6= 0 para todo n > N . Ademas demuestre que si c 6= 0 y b es la
sucesion tal que para todo n N
(
c si n < N
bn =
an si n > N

entonces lm b1 = 1/a .

Esto justifica que se diga [descuidadamente] que si lm a 6= 0 , entonces lm a1 = 1/ lm a .

14. Sean a = (an | n N) y b = (bn | n N) dos sucesiones tales que lm a = 0 y b es


acotada. Demuestre que lm ab = 0 .

Encuentre un ejemplo en que b no es acotada y lm ab = 1 y otro en que b no es acotada


y ab no es convergente. [Hay ejemplos muy sencillos.]

15. Sea a = (an | n N) una sucesion convergente en Z [es decir, tal que an Z para todo
n N ]. Que puede decir sobre a ?

16. Sea a = (an | n N) una sucesion convergente tal que lm a = 0 y an > 0 para todo
n N . Demuestre que existe n0 N tal que an 6 an0 para todo n N .
1.5. PROBLEMAS. 207

17. Sea a = (an | n N) una sucesion convergente. Demuestre que, para todo > 0 existe
N N tal que para todo n, m > N

|an am | <

18. Demuestre que si a, b son numeros reales, entonces existen [infinitos] numeros r, t R
tales que r es racional, t es irracional y a < r < b y a < t < b ]. [Use el desarrollo decimal de
a y de b .]

19. Si x = ck c0 , 1 2 , encuentre el menor m N tal que


1
|x ck c0 , 1 2 n | <
10m
Use esto para demostrar que para todo x R y > 0 , existe r Q tal que |x r| < .

1.5 Problemas.
1. Sean n0 Z y I = {n Z | n > n0 } y para cada n I una afirmacion Pn . Si se
cumplen las siguientes propiedades:

i. Pn0 es verdadera.

ii. Si n I y Pn es verdadera, entonces Pn1 es verdadera.

Demuestre que Pn es verdadera para todo n I .

2. Si a, b, c, d Q , demuestre que

a+b 2=c+d 2 a=cy b=d

3. Sea P = {x R | x > 0} . Demuestre las siguientes propiedades:

P1. Si x, y P , entonces x + y P .

P2. Si x, y P , entonces xy P .

P3. Si x P , entonces x
/P.

P4. Si x R , entonces x = 0 o x P o x
/P.

Inversamente, demuestre que si P R satisface las propiedades P1, P2, P3 y P4, entonces
para todo x, y R , se cumple que x < y si y solo si y x P .

4. Si x R definimos inductivamente

x1 = x y xn+1 = xn x
208 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

Demuestre que xm+n = xm xn y (xm )n = xm n para todo n, m N .

5. Sean n N y x > 1 . Demuestre que (1 + x) > 1 + nx .

6. Demuestre que si 6= M N es un conjunto finito, entonces existe un unico m M tal


que x 6 m para todo x M . [Use induccion en el numero de elementos de M .]

7. Sean x, y, numeros reales tales que |x y| < . Demuestre que

|y| < |a| < |b| +

8. Sean x1 , x2 , y1 , y2 R . Demuestre que

(x21 + x22 )(y12 = y22 ) = (x1 y1 + x2 y2 )2 + (x1 y2 x2 y1 )2

y deduzca la desigualdad de Schwratz


q q
x1 y1 + x2 y2 6 x21 + x22 y12 + y22

9. Exprese los siguientes numeros si usar valores absolutos [usando distinos casos cuando sea
necesario]

i. |a + b| |b| .

ii. ||| 1| .

iii. |x| |x2 | .

iv. u |u |u|| .

10. Demuestre que la sucesion a tal que para todo n N


1 + n2
an =
1 + n4
es acotada.

11. Sean a una sucesion y b la sucesion tal que para todo n N


n
X
bn = ai
i=1

Demuestre que si b es convergente entonces lm a = 0 .

12. Sean a una sucesion y b la sucesion tal que bn = a2n para todo n N . Si b es
convergente y a2n+1 = a2n + 1/n para todo n N , demuestre que a tambien es convergente y
encuentre la relacion entre los lmites.
1.5. PROBLEMAS. 209

13. Sea a una sucesion convergente tal que lm a = 0 y an > 0 para todo n N .
Demuestre que existe n0 N tal que an 6 an0 para todo n N .

14. Sean a y b dos sucesiones tales que lm (a2 + b2 ) = 0 . Demuestre que

lm a = lm b = 0

15. Sea ? un smbolo [que no tiene ningun sentido especial] y definamos

R? = {(x, ?) | x R}

[Intuitivamente podemos pensar que hemos tomado todos los numeros reales y los hemos pintado
de otro color.] Si definimos

(x, ?) + (y?) = (x + y, ?) ; (x, ?) (y, ?) = (x y, ?) (x, ?) < (y?) ssi x < y

demuestre que R? satisface el Axioma Fundamental. [Probablemente despues de demostrar unos


pocos axiomas, vera que esto es trivial.]

Notese que la funcion F : R R? tal que F (x) = (x, ?) es biyectiva y satisface las
siguientes propiedades:

i. F (x + y) = F (x) + F (y) y F (xy) = F (x)F (y) para todo x, y R .

ii. Si x < y entonces F (x) < F (y) .

iii. Si lm a = a entonces lm F a = F (a) .

Compruebe que F satisface las mismas propiedades.

A pesar de que hay muchos ejemplos de conjuntos que satisfacen el Axioma Fundamental, es
posible demostrar que R es esencialmente unico. En forma precisa, si R0 es otro comjunto
que satisface el Axioma Fundamental, existe una unica funcion biyectiva F : R R0 tal que
F y F satisfacen las propiedades i,ii,iii.

A continuacion indicaremos los pasos a seguir para construir F , dejando los detalles al lector.

a. En primer lugar, notamos que tenemos que definir F (0) = 00 y F (1) = 10 [con notacion
evidente].

b. En segundo lugar, notamos que debemos definir F : N N0 inductivamente por


F (n + 1) = F (n) + 10 y podemos demostrar que F es biyectiva.

c. En tercer lugar, notamos que si n N , tenemos que definir F (n) = F (n) . De esta
manera tenemos una biyeccion F : Z Z0 .
210 CAPITULO 1. AXIOMAS PARA LOS NUMEROS REALES.

d. En cuarto lugar definimos la biyeccion F : Q Q0 tal que


m F (m)
F =
n F (n)

e. Por ultimo, si a I , tomamos una sucesion a en Q tal que lm a = a y definimos

F (a) = lm F a

Notese que hay que demostrar que esto tiene sentido y que es independiente de la sucesion escogida.

Вам также может понравиться