You are on page 1of 21

El objeto de este cap tulo es introducir, de manera axiomtica, el cuerpo de los nmeros a u reales y estudiar algunos de sus subconjuntos

ms importantes, a saber: nmeros naturales, a u enteros, racionales e irracionales. Hay otra forma de introducir los nmeros reales, llamada constructiva. Esta v comienza u a con la aceptacin de los nmeros naturales y despus se construyen sucesivamente, los enteros, o u e los racionales y, nalmente, los nmeros reales. La construccin de los enteros y racionales u o es sumamente algebraica y no aporta mucho al estudio del anlisis matemtico. Para la cona a struccin de los nmeros reales, a partir de los racionales, se presentan dos alternativas: Las o u cortaduras de Dedekind (ver por ejemplo [9]) o las sucesiones de Cauchy. La primera de ellas es un mtodo que tambin sirve para completar conjuntos ordenados ms abstractos (ver por e e a ejemplo [3]). La construccin con sucesiones de Cauchy tiene importancia posterior, como es la o completacin de un espacio mtrico [11, 7]. Sin embargo, debido a las sutilezas y tecnicismos o e

2.1.

Leyes de composicin. o
ww w.

en vez de ((x, y)). En lo que resta de esta seccin, denotar una ley de composicin en A. o a o Diremos que: i) es asociativa, si x (y z) = (x y) z, cualesquiera sean x, y, z A. ii) es conmutativa, si x y = y x, cualesquiera sean x, y A. iii) e A es elemento neutro para , si x e = e x = x, para cada x A.

En esta seccin, A denota un conjunto no vac Toda aplicacin : AA A ser llamada o o. o a una ley de composicin en A. La imagen de (x, y) mediante tal ley, ser denotada por x y o a

at

em

de estos mtodos, es preferible, a nuestro criterio, dejarlos para un curso ms avanzado. e a

at

ic

a1

.c om

Supongamos que es una ley de composicin en un conjunto A, la cual posee un elemento o neutro e. Se dice que x A es simetrizable invertible respecto a si existe y A tal o que x y = y x = e.

Ejemplo 2.1.1. Sea X un conjunto y sea A el conjunto de todas las funciones f : X X, entonces la composicin de funciones es una ley de composicin en A. De manera ms precisa, o o a se tiene una ley de composicin en A denida por f g = g f . Note que por la proposicin o o 1.2.2, idA es el elemento neutro de . Adems, por la proposicin 1.2.3, es asociativa. Es ms, a o a de la denicin 1.2.4, se tiene que los elementos invertibles de A son las biyecciones de X en si o mismo.

Ejemplo 2.1.2. Sea X un conjunto. La unin de conjuntos dene una ley de composicin o o en P(X). El lector comprobar que es conmutativa y asociativa. Adems, es el elemento a a neutro de esta ley de composicin. Qu puede usted decir acerca de la ley de composicin dada o e o por A B = A B?. es asociativa, posee un elemento neutro y todo elemento de G es invertible. Si adems es a conmutativa, se dice que (G, ) es conmutativo abeliano. En este caso, la ley suele o Un grupo es un par (G, ), donde es una ley de composicin en un conjunto G, la cual o
.c o m

ww w.

X en si mismo. Entonces (G, ) es un grupo, donde es la ley de composicin de funciones o denida en el ejemplo 2.1.1.

1. Pruebe que si e, e A son elementos neutros para entonces e = e . 2. Suponga que es asociativa y que posee elemento neutro e. Pruebe que si x A es simetrizable entonces existe un unico elemento y A tal que x y = y x = e. Este

elemento y ser llamado el simtrico inverso de x y ser denotado por x1 . Ayuda. a e o a Imite la prueba de la proposicin 1.2.5. o

3. Sea X un conjunto de tres elementos. Pruebe que el grupo G dado en el ejemplo 2.1.3 no es abeliano. 4. Sea (G, ) un grupo y sean x, y, z elementos de G. Pruebe que (x1 )1 = x y que (xy)1 = y 1 x1 . Muestre que, si x y = x z, entonces y = z. Concluya que, si x y = y, entonces x = e (elemento neutro). Enuncie estos resultados con la notacin usada para o grupos abelianos.

at e

Ejercicios.

at

Ejemplo 2.1.3. Sea X un conjunto no vac y sea G el conjunto de todas las biyecciones de o

ic a1

denotarse por +, el elemento neutro de G por 0 y el simtrico de x G por x. e

5. * Dados conjuntos Y, Z se dene la diferencia simtrica Y Z como el conjunto (Y \ e Z) (Z \ Y ). Pruebe que (P(X), ) es un grupo abeliano, cualquiera sea el conjunto X. (La asociatividad es la requiere mayor atencin). o

2.2.

Cuerpos ordenados

y multiplicacin respectivamente, tales que: o

Un cuerpo es una terna (K, +, ) donde +, son leyes de composicin en K llamadas adicin o o

i) (K, +) es un grupo abeliano (cuyo elemento neutro denotamos por 0). ii) (K \ {0}, ) es un grupo abeliano cuyo elemento neutro denotamos por 1. iii) x (y + z) = x y + x z, cualesquiera sean x, y, z K. Observaciones: a) Note que 1 = 0 ya que 1 K\{0}. El simtrico de un elemento x K respecto e a + ser denotado por x mientras que el simtrico de x = 0 respecto a la multiplicacin, a e o

ser denotado por x1 . As x + (x) = 0 y x x1 = 1 si x = 0. a , b) El producto x y, de dos elementos en K, ser denotado a menudo por xy. Si adems a a Un cuerpo ordenado es una cuaterna (K, +, , P ) donde (K, +, .) es un cuerpo y P es un

O2 ) Si x, y P , entonces x + y, x y P . Observacin: Dado un subconjunto A de K pondremos, en todo lo que sigue, o A = {x : x A}. Con esta notacin, O1 ) es equivalente a decir que K es la unin de P, {0} y P y que estos tres o o conjuntos son dos a dos disjuntos. Veamos porque (K, +, , P ) es un cuerpo ordenado. Considere la siguiente relacin binaria, o x < y si y x P Extendemos esta relacin de la manera siguiente. Dados x, y K denimos o x y, si x < y o x = y

denotada por <,

ww w.

O1 ) Si x K, entonces ocurre una y slo una de las siguientes posibilidades: o x P, x = 0, x P.

at e

subconjunto de K con las siguientes dos propiedades:

at

ic a1

.c o

y = 0, el producto xy 1 tambin ser denotado por x/y x . e a o y


m

La relacin binaria (lase x menor o igual a y) es reexiva, antisimtrica y transitiva, es o e e decir, es una relacin de orden sobre K (ver ejercicio 10). Usaremos tambin la notacin y > x o e o El conjunto P debe pensarse como los elementos positivos de K. Las propiedades O1 )-O2 ) se expresan ahora de la siguiente forma: P1 ) Si x K entonces ocurre una y slo una de las siguientes posibilidades: x > 0, x = 0, o x > 0. P2 ) Si x, y K y x, y > 0, entonces x + y, x y > 0. importantes del orden son las siguientes (ver ejercicio 10): Es por esta razn que llamamos a (K, +, , P ) un cuerpo ordenado. Las propiedades ms o a x K, y K, z K (x y x + z y + z) x K, y K, z P (x y z x z y). En lo que resta de este cap tulo (K, +, , ) denotar un cuerpo ordenado. Es decir, (K, +, ) a es un cuerpo y es la relacin de orden en K asociada a un conjunto P que satisface P1 ) y o x > y; x = y; x < y. e y x para signicar, respectivamente, x < y y x y.

En lo que sigue pondremos 2 = 1 + 1, 3 = 2 + 1, 4 = 3 + 1, etc. Note que 1 > 0 (ver ejercicio 8), luego 2 = 1 + 1 > 1, 3 = 2 + 1 > 2 etc, es decir, 1 < 2 < 3 < 4 etc. Dados x, y K
ww w.

pondremos x y = x + (y). Terminaremos esta seccin mostrando un resultado que es clave en muchas pruebas del o

anlisis matemtico y que ser usado repetidas veces en este texto. Es un buen ejercicio para a a a el lector observar durante el desarrollo de este curso la frecuencia con la que se usa este sencillo resultado. Proposicin 2.2.1. Sea a K y supongamos que a < , para cada o > 0. Entonces a 0.

Demostracin: Supongamos que el resultado no es cierto, entonces de la propiedad P1 ), se tiene o que a > 0. Como 1 < 2, entonces 1/2 < 1 (ver ejercicio 9). Luego multiplicando por a ambos lados de la desigualdad obtenemos que a/2 < a (ver ejercicio 5). Pero es fcil ver que a/2 > 0 a (hacerlo!) y esto contradice nuestra hiptesis. o

at e

Esta propiedad se conoce con el nombre de ley de tricotom a.

Ejercicios.

at

ic a1

.c o

P2 ). De la propiedad P1 ) se tiene que ocurre una y slo una de las siguientes alternativas: o
m

Sean a, b, c K. 1. Pruebe que a 0 = 0. Ayuda. a 0 = a (0 + 0). 2. Pruebe que (a) b = a b = a (b) , (a) (b) = a b y (1) a = a. 3. Pruebe que si a b = 0, entonces a = 0 b = 0. o 4. Pruebe que a (b c) = a b a c. 5. Pruebe que, si a < b, entonces a + c < b + c. Si adems c > 0, muestre que a c < b c. a 6. Pruebe que a > 0 si y slo si a < 0. De manera similar, a > 0 si y slo si a1 > 0. o o 7. a b < 0 si a > 0 > b. 8. Denotaremos a a por a2 . Muestre que a2 > 0, si a = 0. Concluya que 1 > 0. 9. Pruebe que si a > b > 0, entonces a1 < b1 . Si, adems, c > d > 0, entonces a c > b d. a 10. Dados x, y K dena x y, si x < y o si x = y. Pruebe que es un orden en K y que adems posee las siguientes propiedades, donde x, y, z denotarn elementos e K: a a a) Si x y, entonces x + z y + z.
.c o m

satisface (a) y (b) del ejercicio anterior. Sea P el conjunto {x K : x > 0}. Muestre que (K, +, , P ) es un cuerpo ordenado.

2.3.

Los n meros naturales u

Diremos que un subconjunto I de K es inductivo si I1 ) 1 I. I2 ) Si x I, entonces x + 1 I. Es claro que K es inductivo. Adems, la interseccin de cualquier familia no vac de suba o a conjuntos inductivos de K, es un conjunto inductivo (dejamos al lector como ejercicio probar estas armaciones). Por consiguiente, la interseccin de todos los subconjuntos inductivos de K o est bien denida y es un subconjunto inductivo de K, que denotaremos por N y que llamarea mos conjunto de los nmeros naturales o enteros positivos. Es claro que N es el ms u a pequeo subconjunto inductivo de K. Es decir, n

ww w.

11. Sea (K, +, ) un cuerpo y una relacin de orden sobre K. Suponga que es total, es o decir, que para todo x, y K se tiene que x y o y x. Suponga tambin que e

at e

at

b) Si x y y 0 z, entonces z x z y.

ic a1

Teorema 2.3.1. (Principio de Induccin). Si I K es inductivo, entonces N I. En otras o palabras, si I N es inductivo, entonces I = N. Proposicin 2.3.2. a) Si n N y n = 1, entonces n 1 N. o b) Para cada n N, n 1. Demostracin: a) Supongamos que el resultado es falso. Es decir, que existe n N tal que o n = 1 y n 1 N. Dejamos al lector vericar que el conjunto N \ {n} es inductivo (ver /

1) y de la denicin de N. o

ejercicio 3). Pero esto contradice el teorema 2.3.1 y termina la prueba de a). La prueba de b) es consecuencia directa del hecho que el conjunto {m K : m 1} es inductivo (ver ejercicio

Proposicin 2.3.3. Si m, n N, entonces: i) m + n N, ii) m n N y iii) m n N si o m > n. Demostracin: i) Fijemos m N y denamos A = {n N : m + n N}. Ya que N es inductivo o se tiene que m + 1 N, as 1 A. Por otra parte, si x A, entonces m + x N y como N es ,

Proposicin 2.3.4. Si n, x N y n < x, entonces n + 1 x (en otras palabras, si n N, o entonces entre n y n + 1 no hay otro natural). Demostracin: Por la proposicin 2.3.3, x n N y por la parte b) de la proposicin 2.3.2, o o o x n 1. De aqu x n + 1. , Teorema 2.3.5. Todo subconjunto no vaco A de N posee un primer elemento. Esto signica, por denicin, que existe a A tal que, a x, para todo x A. o Demostracin: Por la proposicin 2.3.2 sabemos que, o o n 1, de modo que 1 es el primer elemento de N. para todo n N (3.1)

ww w.

conjuntos es inductivo: {n N : m n N}, {n N : si m N y m > n, entonces m n N}.

at e

Las pruebas de ii) y iii) sern dejadas al lector, quien mostrar que cada uno de los siguientes a a

at

m + n N, para todo n N.

ic a1

inductivo, (m + x) + 1 N. Pero, (m + x) + 1 = m + (x + 1), de donde, x + 1 A. Esto prueba que A es inductivo y por el 2.3.1, N A. Pero, por denicin, A N, y as A = N. Es decir, o ,
.c o m

Supongamos que A no tiene primer elemento y denamos B = {n N : n < x para todo x A}. Ya que A no tiene primer elemento, entonces 1 A y por (3.1), x > 1, para todo x A. / De aqu 1 B. , Supongamos que n B. Por la denicin de B tenemos que n < x para todo x A y por o proposicin 2.3.4, o n + 1 x, para todo n A. (3.2) Si para algn a A se tuviera a = n + 1, entonces a ser el primer elemento de A, lo que u a contradir nuestra suposicin de que A no tiene primer elemento. De aqu y de (3.2) obtenemos a o n + 1 < x; para todo x A; lo cual prueba que n + 1 B. De esta manera tenemos que B es inductivo y por el teorema 2.3.1, B = N. Fijemos ahora a A (recuerde que A no es vac Entonces a N = B y, de la denicin o). o de B, a < a. Esta contradiccin termina la demostracin. o o

Ejercicios. 1. Pruebe que el conjunto {x K : x 1} es inductivo.

5. Fije p N y construya una aplicacin inyectiva f : N N \ {p}. o 6. Sea B N no vac y suponga que existe a N tal que x a; para todo x B. Pruebe o que existe b B tal que , x b para cada x B. Este nmero b se llama el mximo de u a B. Ayuda. Sea b el primer elemento del conjunto {n N : x n para todo x B}. A In es n-inductivo si 1 A e i + 1 A cuando i A e i = n. Pruebe que si A In es n-inductivo, entonces A = In . Ayuda. Suponga que B := In \ A = y sea b el primer

7. Para cada n N pondremos; en lo que sigue; In = {i N : 1 i n}. Diremos que

elemento de B. Otra manera alternativa de demostrar que A = In es mostrando que el conjunto A {i N : i > n} es inductivo. de todas las funciones inyectivas de N en In y pruebe que el conjunto {n N : Fn = } es inductivo.

8. Pruebe que no existen funciones inyectivas de N en In . Ayuda. Dena Fn como el conjunto

ww w.

4. Sean x, y N. Pruebe que x + y N, x y N.

at e

entonces I \ {a} es inductivo.

3. Sea I un subconjunto inductivo de K y sea a I. Pruebe que si a = 1 y a 1 I, /

at

ic a1

es un conjunto inductivo.

.c o

2. Pruebe que la interseccin de cualquier familia no vac de subconjuntos inductivos de K, o a


m

9. Sean a, b N. Diremos que a divide a b si existe c N tal que b = ac. En este caso se dice que a es un divisor o factor de b. Denote por Db al conjunto de divisores de b y pruebe que Db = y que b es cota superior de Db . El mximo com n divisor de a y a u b se dene como el mximo del conjunto Da Db y se denota por M CD(a, b). a Sea M = M CD(a, b), entonces a = M x, b = M y para ciertos x, y N. Pruebe que M CD(x, y) = 1. En este caso se dice que x, y no tienen factores comunes o que son coprimos. 10. Pruebe que para cualquier a N, existe b N tal que a = 2b a = 2b 1. En en primer o caso se dice que a es par, mientras que en el segundo, decimos que a es impar. 11. Sea a N. Pruebe que si a2 es par, entonces a es par. 12. Sea f : N N una funcin tal que f (n + 1) > f (n) para cada n N. Pruebe que f es o inyectiva.

2.4.

Los n meros enteros y los n meros racionales u u

Demostracin: Probaremos unicamente que x + y Z. (El resto de la demostracin es parecida o o y ser dejada a cargo del lector). Si x = 0 y = 0 no hay nada que mostrar. Si x, y N si a o o x, y N, el resultado se sigue de lo expuesto en la seccin anterior. o se presentan los tres casos siguientes: Supongamos ahora que x N y que y N. Podemos escribir y = z para algn z N y u i) z < x. Por la proposicin 2.3.3 tenemos que x z N, de manera que x + y = x z Z. o ii) z = x. En este caso, x + y = x z = 0 Z. iii) z > x. En este caso, z x N, de modo que x + y = x z = (z x) N Z.

N Z Q K. y x = 0.

El conjunto de los nmeros racionales, que denotaremos por Q, lo denimos como la u coleccin de todas las fracciones de la forma m/n, donde m, n Z y n = 0. Note que o Diremos que F K es un subcuerpo de K si F es un anillo tal que x1 F cuando x F

ww w.

Proposicin 2.4.1. Si x, y Z, entonces x + y, x, xy Z. o

at e

N (recordemos que para un conjunto A K hemos denido A como el conjunto {x : x A}). Obviamente, 0, 1 Z.

at

ic a1

Denimos el conjunto Z de los nmeros enteros como la unin de los conjuntos N, {0} y u o

.c o

Proposicin 2.4.2. Q es un subcuerpo de K. o Demostracin: Sean x, y Q y escribamos x = a/b, y = c/d con a, b, c, d Z y b, d = 0. o Entonces x + y = ab1 + cd1 = (ad + bc)b1 d1 = (ad + bc)/bd, de modo que x + y Q. El resto de la prueba ser dejada a cargo del lector. a

Ejercicios. 1. Diremos que un subconjunto R de K es un anillo si 0, 1 R y si x+y, x, xy si x, y R cuando x, y R. (Con este lenguaje, la proposicin 2.4.1 dice que Z es un anillo). Pruebe o

que todo anillo de K contiene a Z, de modo que Z puede caracterizarse como el anillo ms pequeo de K. a n

2. Sea A un subconjunto de Z acotado inferiormente en Z. Pruebe que existe a A tal que a x para cada x A. (Es decir, A tiene primer elemento). Ayuda. Sea b Z una cota inferior de A y note que {z Z : z = x b + 1 para algn x A} est contenido en u a N.

4. Pruebe que, para cada x R existe un unico n Z tal que n x < n + 1. Este nmero u n, se conoce como la parte entera de x y se le denota por [x]. Ayuda. Use el ejercicio 2. 5. Pruebe que [x + m] = [x] + m, si x R y m Z. Concluya que la funcin f : R o R; f (x) = x [x]; satisface f (x + 1) = f (x). 6. Sea b > 0. Pruebe que, para cada x R, existe un unico n Z tal que, nb x < (n + 1)b. 7. Sean a, b, m, n, M Z con n, b no nulos, tales que m = M a y n = M b. Pruebe que m/n = a/b y deduzca que Q es el conjunto de todas las fracciones a/b donde a, b no tienen factores comunes. 8. * Pruebe que si F es un subcuerpo de K, entonces (F, +, ., ) es un cuerpo ordenado.

Pruebe adems que Q F , de modo que Q puede ser caracterizado como el subcuerpo a ordenado ms pequeo de K. a n

ww w.

todo subconjunto no vac y acotado inferiormente en Z, tiene primer elemento. o

Nota. Los ejercicios 2 y 3, dicen que Z puede caracterizarse como el anillo de K donde

at e

de R+ \ N. Pruebe que b 1 R+ \ N.

R := {x R : x > 0}. Muestre que N R, de modo que a 1. Concluya que a = 1, porque a2 R y a2 a. Suponga por el absurdo que R+ = N y sea b el primer elemento

at

ic a1

.c o

3. Sea R un anillo de K tal que todo subconjunto no vac de R, acotado inferiormente o en R, posee primer elemento. Pruebe que R = Z. Ayuda. Sea a el primer elemento de
m

2.5.

Los n meros reales y el axioma de completitud u

En esta seccin presentaremos la denicin de los nmeros reales. Este es sin duda uno de o o u los conceptos ms importantes de toda la matemtica. a a Para facilitar la lectura de esta seccin, recordaremos algunas deniciones dadas en la seccin o o 1.3. Diremos que un subconjunto A de K est acotado superiormente (resp. inferiormente) a si existe b K tal que x b (resp. b x) para cada x A. En este caso se dice que b es una

cota superior (resp. inferior) de A. Se dice que A es acotado si ese conjunto admite cotas inferiores y superiores.

(cuando exista!) es la menor de las cotas superiores y se denota por sup(A). De manera semejante, se dice que A tiene nmo en K si existe una cota inferior b de A tal que b c para cualquier otra cota inferior c de A. El nmo (cuando exista) ser denotado por a inf(A). Es de observar que el nmo es la mayor de las cotas inferiores.

Sea A K no vac Se dice que A tiene supremo en K si existe una cota superior b K o. de A tal que b c para cualquier otra cota superior c de A. En otras palabras, el supremo

Diremos que un cuerpo ordenado K es completo si posee la siguiente propiedad: todo subconjunto de K no vac y acotado superiormente tiene supremo en K. Esta propiedad se o

solamente en el hecho que es un cuerpo ordenado completo. En casos como este, usualmente se dice que se trabaja axiomaticamente. Este enfoque axiomtico es particularmente efectivo a en el caso de R pues existe un slo cuerpo ordenado completo. El signicado preciso de esta o armacin se escapa de los objetivos de este libro, pero en trminos informales, podemos decir o e que no hay manera de diferenciar o distinguir dos cuerpos ordenados completos a travs de e propiedades algebraicas o de propiedades expresadas en trminos del orden. e Comenzaremos el estudio del orden de R introduciendo un concepto importante. Se dice que K es arquimediano, si dado x K existe n N tal que n > x. Tambin se dice que K e

tiene la propiedad arquimediana.

Proposicin 2.5.1. Q y R son arquimedianos. o Demostracin: Dejamos como ejercicio mostrar que Q es arquimediano. Supongamos, por reo duccin al absurdo, que R no es arquimediano. Entonces existe x R tal que, n x para todo o n N, y en consecuencia, N est acotado superiormente en R. a

ww w.

nada indica que exista un cuerpo ordenado con la propiedad del supremo. En este texto no daremos una prueba formal de la existencia R, sino que estudiaremos sus propiedades basados

at e

Observacin: La denicin que hemos dado de R puede (y quiz debe) parecer extraa, pues o o a n

at

simplemente, R); llamado cuerpo de los n meros reales. u

ic a1

conoce como propiedad del supremo o axioma de completitud. Asumiremos la existencia de un cuerpo ordenado completo, denotado por (R, +, , ) (o,
.c o m

Pongamos b = sup(N). Entonces, n + 1 b, para todo n N; y de aqu n b 1; para , todo n N. Es decir, b 1 es una cota superior de N menor que el supremo. Esta contradiccin o termina la prueba.

Ya hemos dicho que Q es un cuerpo ordenado (ver proposicin 2.4.2 y ejercicio 8 de la o seccin 2.4), mostraremos a continuacin que Q no es completo, y por consiguiente Q no es o o igual a R. Comenzaremos mostrando que no existe una solucin racional para la ecuacin x2 = 2. o o Como seguramente conoce el lector, s existe una solucin en R, precisamente la ra cuadrada o z de 2. Esto ser demostrado ms adelante. a a Proposicin 2.5.2. Para cada x Q se tiene que x2 = 2. o Demostracin: Supongamos por el absurdo que existe x Q tal que x2 = 2 y escribamos o x = a/b, donde a, b Z, b = 0 y a, b no tienen factores comunes. Como a2 /b2 = x2 = 2, entonces a2 = 2b2 , de modo que a2 es par. Por el ejercicio 11 de la seccin precedente, a es par o y por consiguiente a = 2c para algn c Z. De aqu 2b2 = 4c2 y se concluye fcilmente que b u , a es par. Esto muestra que 2 es un factor comn de a y b y esta contradiccin termina la prueba. u o

La siguiente proposicin muestra que Q no es completo y adems que existe un real t tal o a

t2 = 2.

Demostracin: Note que A no es vac porque 1 A. Adems, 2 es cota superior de A porque o o a 2 si hubiera un x Q tal que x > 2 se tendr x > 4 > 2, contradiciendo la denicin de A. Sea a o

t el supremo de A. Mostraremos que las relaciones t2 < 2 y t2 > 2 llevan a contradiccin y por o 2 la ley de tricotom se tiene que t = 2. a Supongamos que t2 < 2. Ya que 2t + 1, 2 t2 Q y Q es arquimediano, existe n N tal que n(2 t2 ) > 2t + 1. De aqu t2 + (2t + 1)/n < 2 y en consecuencia , 1 t+ n
2

= t2 +

Esto dice que t + 1/n A y contradice el hecho que t es cota superior de A. Luego, no puede ser t2 < 2. n(t2 2) > 2t (justicar). En particular, t2 2t/n > 2, de donde (t 1/n)2 > 2. De aqu para , Supongamos que t2 > 2. Ya que Q es arquimediano, existe n N tal que nt > 1 y

ww w.

2t 1 2t 1 2t + 1 + 2 t2 + + = t2 + < 2. n n n n n

Proposicin 2.5.3. El conjunto A := {x Q : x > 0 y x2 < 2} no es vaco, est acotado o a superiormente en Q pero no tiene supremo en Q. Si t es el supremo (en R) de A, entonces

at e

que t2 = 2, en particular, t R \ Q. Todo elemento de R \ Q ser llamado irracional. a

at

ic a1

.c o

Esta contradiccin dice que la relacin t2 > 2 no puede suceder y termina la demostracin. o o o

cada x A se tiene (t 1/n)2 > x2 y como t 1/n > 0, conclu mos que t 1/n > x. Es decir, t 1/n es una cota superior de A contradiciendo el hecho que t era la menor de tales cotas.

Teorema 2.5.4. (Densidad de Q en R). Dados a, b R con a < b, existe r Q tal que a < r < b. Demostracin: Consideraremos primero el caso en que a 0. Ya que b a > 0 y R es o arquimediano, existe p N tal que p(b a) > 1. Por el mismo argumento, el conjunto

A := {n N : n > pa} no es vac y en consecuencia posee un primer elemento que deo notaremos por m. Armamos que m 1 pa. En efecto, si m = 1, entonces m 1 = 0 pa (porque a 0) y si m > 1, entonces m 1 N y como m es el primer elemento de A se tiene que m 1 A; as m 1 pa. En cualquier caso (m = 1 m > 1), se que m 1 pa. Luego / o pa < m 1 + pa < pb (recuerde que p(b a) > 1 y que m A). Finalmente, tenemos que r = m/p satisface la conclusin del teorema. o

La proposicin que sigue muestre que existen irracionales entre dos reales cualesquiera. o Proposicin 2.5.5. Si a, b R y a < b, entonces a < x < b, para algn x R \ Q. o u
ww w.

Caso a = 0, b Q. Fijemos r R \ Q (recuerde que este conjunto no es vac Podemos o). asumir que r > 0 (porque si r < 0, entonces r > 0 y r R \ Q). Como R es

arquimediano (proposicin 2.5.1), existe n N tal que n > rb1 , de modo que, b > o rn1 > 0, y basta tomar x = r/n.

Caso a, b Q. Tenemos que b a Q es positivo y por el caso anterior, existe un irracional z tal que 0 < z < b a. Ahora basta tomar x = a + z. Caso General. Por el teorema 2.5.4, existe s Q tal que a < s < b, y por el mismo argumento, existe r Q tal que s < r < b. Por el caso anterior existe un irracional x tal que s < x < r y la prueba es completa.

Demostracin: Consideraremos tres casos: o

at e

Ejercicios.

at

ic a1

.c o

Consideremos ahora el caso a < 0. Si b > 0 tomamos r = 0. Si b 0, entonces 0 b < a y por el primer caso, existe s Q tal que b < s < a. La prueba se termina tomando r = s.
m

1. Sea A = {n/(n + 1) : n N}. Pruebe que sup(A) = 1 si y slo si K es arquimediano. o 2. Sean s, t R con s racional y t irracional. Pruebe que s + t es irracional y que lo mismo vale para st si s = 0. 3. Pruebe que K es arquimediano si y slo si dados x, y K con x > 0, existe n N tal que o nx > y. Pruebe tambin que Q es arquimediano. e 4. * Un subconjunto propio y no vac de Q es llamado cortadura (de Dedekind) si: o i) Si x < y e y , entonces x . ii) Para cada x existe y tal que x < y. Pruebe que si Q es una cortadura y a Q \ , entonces a es una cota superior de . Pruebe tambin que, para cada z R, el conjunto z := {x Q : x < z} es una e cortadura cuyo supremo es z. En n, sea R el conjunto de todas las cortaduras. Muestre que la aplicacin S : R R dada por S() = sup() es biyectiva. o

El primero de ellos ser usado con frecuencia y le recomendamos al lector que le preste particular a atencin. o Proposicin 2.6.1. Sea A R no vaco y acotado superiormente y sea b R una cota superior o de A. Son equivalentes: a) b es supremo de A (en smbolos, b = sup(A)). b) Para cada c) Para cada a < b; a R; existe x A tal que a < x. Demostracin: a) b). Si > 0, entonces b < b y en consecuencia, b no es cota superior o de A. Por lo tanto, b < x, para algn x A. u > 0 existe x A tal que b < x.

Luego, b = sup(A).

c) a). Sea d una cota superior de A. Por c), no puede ser que d < b, y en consecuencia, d b.

b) c). Sea a R con a < b y pongamos = b a. Entonces > 0 y por lo tanto existe x A tal que, a = b < x.

ww w.

En esta seccin presentaremos algunos resultados generales relativos al supremo y al o nmo.

at e

2.6.

Propiedades del supremo y del nmo

at

ic a1

completo de este tema ver, por ejemplo, [9]).

.c o

Nota. El ejercicio 4 dice que el cuerpo de los nmeros reales puede ser constru a partir del u do cuerpo de los nmeros racionales a travs de las cortaduras de Dedekind (para un tratamiento u e

La siguiente proposicin es la versin anloga a la anterior para el o o a nmo. Su demostracin o se deja como ejercicio. Proposicin 2.6.2. Sea A R no vaco y acotado inferiormente y sea b R una cota inferior o de A. Son equivalentes: a) b es el nmo de A (en smbolos, b = inf(A)). b) Para cada > 0 existe x A tal que x < b + .

c) Para cada a > b; a R; existe x A tal que a > x. Dados subconjuntos no vac A, B de R y R denimos os

Proposicin 2.6.3. Sean A, B R no vacos y acotados superiormente y R. Entonces o a) sup(A + B) = sup(A) + sup(B). b) sup(A B) = sup(A) sup(B) si x, y 0 para todo x A y todo y B. c) sup(A) = sup(A), si 0.
m

A + B = {x + y : x A, y B} A = {x : x A} A B = {xy : x A, y B}.

Demostracin: Pongamos a = sup(A), b = sup(B) y recordemos que o x a e y b para todo x A, y B. a + b es cota superior de A + B. Por otra parte, dado
ww w.

at e

d) Si 0, entonces A es acotado inferiormente y inf(A) = sup(A). (6.1)

a) De la relacin anterior, x + y a + b para cada x A y cada y B, lo cual dice que o > 0 existen, por la proposicin o 2.6.1, x0 A e y0 B tales que a /2 < x0 y b /2 < y0 . De aqu a + b < x0 + y0 . , Por la proposicin 2.6.1 se concluye que sup(A + B) = a + b. o b) Si a = 0, entonces A = {0} (pues por hiptesis A no contiene elementos negativos). De o suerte que AB = {0} y en consecuencia sup(AB) = 0 = ab. Anlogamente, el resultado a

que < m n{a, b, /(a + b)}. Por la proposicin 2.6.1, existen x0 A, y0 B tales que o a < x0 y b < y0 , de donde x0 y0 > (a )(b ) = ab (a + b) + 2 > ab (a + b) > ab De nuevo por la proposicin 2.6.1 concluimos que ab es el supremo de A B. o

tambin vale si b = 0. Supongamos ahora que a, b > 0. Por (6.1) se tiene xy ab, lo e cual dice que ab es cota superior de A B. Fijemos ahora > 0 y escojamos > 0 tal

at

ic a1

.c o

c) Se deduce de la parte b) con B = {}. d) Como 0, de (6.1) se tiene que x a, para todo x A. De modo que a es cota inferior de A. Poniendo = , se tiene, del ejercicio 1 de esta seccin, que o inf(A) = inf(A) = sup(A) = sup(A), lo cual completa la prueba de d).

Ejercicios. 1. Bajo las mismas hiptesis de la proposicin 2.6.1 pruebe que b = sup(A)) si y slo si para o o o cada n N existe x A tal que b 1/n < x. Enuncie y demuestre un resultado anlogo a para el nmo. 2. a) Muestre que sup y que inf 7x2 + 8 : xR 3x2 + 5 7x2 + 8 : xR 3x2 + 5
.c o m

= 7/3

= 8/5.
2

e) Sean a, b reales con b positivo. Qu puede decir, en trminos de a y b, acerca del e e 7x2 +a supremo y del nmo de { 3x2 +b : x R}? 3. Determinar si los siguientes subconjuntos de R son acotados superiormente y/o acotados inferiormente, en caso que lo sean, hallar su supremo y/o su nmo. Determinar si tienen mximo y/o m a nimo. { 3n+5 : n N} 7n+8
3 { x1 : x > 1, x R} 3n+5 { 7n+12 : n N}

ww w.

at e

d ) Qu puede decir acerca de sup{ 2q 2+5q+3 : q Q, q 1}? e 3q q+8

c) Muestre que inf{ 2q 2+5q+3 : q Q, q 1} = 2/3. 3q q+8

at
2

ic a1

7x +4x+8 b) Qu puede decir acerca del supremo y del e nmo de { 3x2 +4x+5 : x R}?

{7 {8

(1)n n2 +1

: n N} : n N}

{ 21 : n N} n {(5)x : x Z} { 3n+(1) 7n+8


n5

2 2n+1 1

{5x : x Z} { n1n : n N}

{nn : n N}

: n N}

4. Pruebe que A K est acotado superiormente si y slo si A est acotado inferiormente. a o a Si adems A no es vac muestre que A tiene supremo si y slo si A tiene a o, o nmo. En este caso pruebe que inf(A) = sup(A).

5. Sean A B K conjuntos no vac Pruebe que si B est acotado superiormente (resp. os. a inferiormente) lo mismo ocurre para A. Si adems A y B tienen supremo (resp. a nmo), entonces sup(A) sup(B) (resp. inf(A) inf(B)). 6. Demuestre la proposicin 2.6.2. o 7. Sean A, B R no vac y acotados inferiormente y R. Pruebe que: os a) inf(A + B) = inf(A) + inf(B), b) inf(A B) = inf(A) inf(B) si x 0 e y 0, cualesquiera sean x A e y B. c) inf(A) = inf(A) si 0, d ) Si 0, entonces A es acotado superiormente y sup(A) = inf(A), 8. Sea A R y B = A \ [0, 1]. Suponga que B es acotado superiormente y que Sup(B) 0. Muestre que A es acotado superiormente y que Sup(A) 1. 9. Usando la nocin de suma de conjuntos introducida en esta seccin, muestre que o o

10. Sean A y B dos subconjuntos de R acotados superiormente. Muestre que AB es acotado


ww w.

superiormente y adems que a

Sup(A B) = max{Sup(A), Sup(B)} 11. Sean A, B dos subconjuntos de R tales que A B y A = . a) Muestre que si B es acotado superiormente, entonces A tambin lo es y en este caso e se cumple que Sup A Sup B. b) De manera similar, muestre que si B es acotado inferiormente, entonces A tambin e lo es y adems Inf A Inf B. a c) Suponga que A no es acotado superiormente y B A Es posible que B sea acotado superiormente? Si su respuesta es si, de un ejemplo. d ) Existirn subconjuntos de R tales que A B, B acotado superiormente, A = B y a Sup A = Sup B ?

at e

(ii)* {x R : 1 < x < 4} + {x R : 2 < x < 3} = {x R : 1 < x < 7}

at

ic a1

(i) {x R : 1 < x} + {x R : 2 < x} = {x R : 3 < x}

.c o

2.7.

La recta extendida.

que llamaremos ms innito y menos innito respectivamente. El conjunto as obtenido, se a le conoce como la recta extendida y lo denotaremos provisionalmente por R. Extenderemos parcialmente a R las operaciones de suma y producto en R, as como el orden de R. Ms a precisamente, dado x R pondremos: x + (+) x + () (+) + (+) () + () (+)x (+)x ()x ()x (+)(+) (+)() x = = = = = = = = = = < < < (+) + x () + x (+) x(+) x(+) x() x() ()() ()(+) + x +. = +. = . = = = = = =
.c o m

El objeto de esta seccin es introducir algunas notaciones sumamente utiles para lo que o sigue. Al conjunto R le aadiremos dos nuevos elementos que denotaremos por +, y y n

+ , , , + , + .

si si si si

x > 0. x < 0. x > 0. x < 0.

vlida para subconjuntos arbitrarios de R (ver ejercicio 1). a Ejercicios. 1. Sean A, B R no vac Pruebe que: os. a) sup(A + B) = sup(A) + sup(B), b) sup(A) = sup(A) si R y > 0, c) sup(A) = inf(A) si R y < 0,

Sea A R no vac Si A no est acotado superiormente (resp. inferiormente), pondremos o. a sup(A) = + (resp. inf(A) = ). El lector comprobar que la proposicin 2.6.3 sigue siendo a o
ww w.

d ) sup(A B) = sup(A) sup(B) si A B = {0} y x, y 0 para todo x A e y B. 2. Pruebe que el ejercicio anterior permanece vlido si intercambiamos supremo por a nmo.

y () + () respectivamente. No se le asigna ningn signicado a los s u mbolos 0 (), (+) + ().

at e

Se suele escribir: x+, x, +, , en lugar de, x+(+), x+(), (+)+(+)

at

ic a1

2.8.

Valor absoluto.

Dado x R se dene el valor absoluto de x, denotado |x|, por |x| = x x si x 0 si x 0.

Si los nmeros reales se representan en una recta, entonces |x| representa la distancia de x al u

origen; y ms generalmente, |x y| representa la distancia entre x e y. Si f : A R es una a funcin denotaremos por |f | la funcin |f | : A R dada por |f |(x) = |f (x)|. o o La demostracin de la siguiente proposicin se deja al lector. o o Proposicin 2.8.1. o 2. | x| = |x| 3. |xy| = |x||y| 4. |1/y| = 1/|y| (y = 0). 1. |x| 0 para todo x R. Es ms, |x| = 0 si y slo si x = 0. a o

que b x b. Si x 0, entonces |x| = x b; mientras que si x 0, |x| = x b, porque b x. Proposicin 2.8.3. (Propiedad Triangular). Si x, y R, entonces |x + y| |x| + |y|. o estas desigualdades queda, (|x| + |y|) x + y |x| + |y|. El resultado se sigue ahora de la proposicin 2.8.2. o Demostracin: Sabemos que, |x| x |x| y |y| y |y|, y sumando miembro a miembro o
ww w.

Proposicin 2.8.4. Sean x, y, r R. Entonces o i) ||x| |y|| |x y|. ii) |x| |y| + r si |x y| r.

Demostracin: Si |x| b, entonces b |x| x |x| b. Rec o procamente, supongamos

at e

Proposicin 2.8.2. Sea b R no negativo (b 0). Entonces, |x| b si y slo si b x b. o o

at

ic a1

5. |x| x |x| para todo x R.

.c o

Demostracin: Ya que x = (x y) + y, entonces por la propiedad triangular, se tiene que o |x| |x y| + |y|; de donde, |x| |y| |x y|. as que |y x| = |x y|. De aqu , (8.1)

Por el mismo argumento, |y| |yx|+|x|; de donde, |x||y| |yx|. Pero, yx = (xy), |x| |y| |x y|. fcilmente de (8.1). a (8.2)

La prueba de i) se sigue ahora de (8.1)-(8.2) y la proposicin 2.8.2. La prueba de ii) se sigue o

Proposicin 2.8.5. Sea A R acotado y no vaco. Entonces o sup(A) inf(A) = sup{|x y| : x, y A}. Demostracin: Pongamos o Sean a = inf(A), b = sup(A) y c = sup(C). Dados x, y A, tenemos que a x, y b. De esto se sigue que (b a) = a b x y b a. Por la proposicin 2.8.2, |x y| b a. As o , b a es cota superior de C y, en consecuencia, c b a. Fijemos > 0. Por la proposicin 2.6.1, existen x, y A tales que b /2 < x, y < a + /2. o
ww w.
.c o

C = {|x y| : x, y A}.

la proposicin 2.2.1, b a c 0. Es decir, b a c. o Ejercicios.

De aqu b a x y + |x y| + c + . Es decir, b a c para cada > 0, y por ,

1. Sea b R positivo. Pruebe que |x| < b si y slo si b < x < b. o 2. Sean x, R, con > 0. Pruebe que existe r Q tal que |x r| < . 3. Pruebe que A R es acotado si y slo si existe M 0 tal que |x| M , para todo x A. o 4. Sean x, y R. Muestre que mx{x, y} = a 1 (x + y + |x y|) 2

1 m n{x, y} = (x + y |x y|). 2

at e

at

ic a1

2.9.

Un ejemplo de un cuerpo ordenado no arquimediano.

En esta seccin daremos algunas indicaciones para construir un cuerpo ordenado que no es o arquimediano. Los resultados presentados en esta seccin no se usarn en el resto del texto y o a sern introducidos a manera de ejercicios. a 1. Considere el conjunto Q(t) formado por todas formas racionales
p(t) q(t)

donde p(t) y q(t)

son polinomios en la indeterminada t con coecientes racionales y q(t) no es el polinomio cero. Es decir, los elementos de Q(t) son la expresiones de la forma an t n + + a 1 t + a 0 bm t m + + b 1 t + b 0 donde a1 , , an , , b1 , , bm son racionales, n, m son naturales y algn bi no es igual a u cero. Dena sobre Q(t) las operaciones usuales de suma y multiplicacin, es decir, o p(t) p (t) p(t)q (t) + p (t)q(t) + = q(t) q (t) q(t)q (t) p(t) p (t) p(t)p (t) = q(t) q (t) q(t)q (t)

at e

y p(t) q(t)
1

ww w.

m
p(t) p(t) = q(t) q(t) q(t) p(t) =

Las operaciones inversas son entonces

Muestre que Q(t) con estas operaciones es un cuerpo. 2. El conjunto P de los elemento positivos de Q(t) es la coleccin de la formas racionales o tales que los coecientes de p(t) y q(t) de la mayor potencia de t son del mismo signo. Es decir, si p(t) es an tn + + a1 t + a0 y q(t) es bm tm + + b1 t + b0 , entonces an bm > 0. Muestre que P satisface las condiciones O1 y O2 introducidas en la seccin 2.2. o En consecuencia Q(t) es un cuerpo ordenado.
p(t) q(t)

3. Muestre que Q(t) no es arquimediano. Recuerde que el elemento unidad de Q(t) es el polinomio p(t) = 1. Muestre que n 1 < t para todo n N (es decir que n p(t) es menor, en el orden de Q(t), que el polinomio q(t) = t).

at

ic a1

.c o

4. Muestre que Q(t) no es completo consiguiendo un subconjunto de Q(t) acotado superiormente que no tiene supremo. Sugerencia: Considere el conjunto A = {1, 2, 3, } como subconjunto de Q(t). Muestre que A es acotado superiormente, pero no tiene supremo. Para esto suponga que r es una cota superior de A y muestre que r/2 tambin es una e cota superior de A.

ww w.

at e

at

ic a1

.c o

You might also like