Geometra Eucldea Plana

Primer Cuatrimestre 2010

Propiedades de los nmeros reales

1. Propiedades comunes 2. Completitud de los reales 2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . Apndice Propiedades de la suma, producto y orden . . . . . . . . . . .

1 2 6 7 7

Una forma de construir los conjuntos numricos N, Z, Q y R, es empezar con los naturales, N = {1, 2, 3, . . . }; luego construir los enteros, Z, para poder hacer cualquier diferencia de naturales; luego construir los racionales, Q, para poder hacer cualquier cociente de enteros (con divisor no nulo), y nalmente construir R para llenar los agujeros. El tema central de este apunte es justamente ver qu es eso de llenar los agujeros. Recordemos que entre los nmeros irracionales (los reales que no son racionales) encuentran nmeros estrechamente ligados a la geometra como se 2 y : 2 es el cociente entre las longitudes de la hipotenusa y un cateto en tringulos rectngulos issceles, y es el cociente entre el permetro de cualquier circunferencia y su dimetro.
 Se atribuye a la escuela pitagrica (alrededor de 500 a.C.) la demostracin geomtrica de la existencia de irracionales, aunque posiblemente los babilonios y los hindes supieran de la existencia de tales nmeros desde mucho antes. Recin en 1761 J. H. Lambert (17281777) demostr que es irracional, y en 1882 F. von Lindemann (18521939) demostr que es trascendente, es decir, que no es raz de un polinomio con coecientes enteros (en cambio, 2 es algebraico, pues es raz del polinomio 2 2 = 0). Podras demostrar (o recordar la demostracin) que 2 es irracional?

1. Propiedades comunes
Las operaciones de suma + y producto , y la relacin de orden tienen una serie de propiedades compartidas por los enteros, racionales y reales (enunciadas en el apndice), que suponemos conocidas. Todas estas propiedades tienen un sabor algebraico, pero para llenar los agujeros tenemos que ir un poco ms all.

Pg. 2

Propiedades de los nmeros reales Hay varias formas de llenar los agujeros (claro que con el mismo resultado). Una forma intuitiva es con las expresiones decimales, que a veces se ve en la secundaria: si son peridicas son racionales y si no son irracionales, o la variante ms formal de construir las denominadas sucesiones de Cauchy. Siguiendo la losofa axiomtica de la primera parte del curso, ac rellenamos los agujeros requiriendo la propiedad de completitud que vemos en la seccin 2. Pero necesitamos algunos conceptos previos. 1.1. Denicin. Si es un conjunto no vaco de nmeros reales, entonces: R es una cota superior de si . R es el supremo de si es una cota superior de y para cualquier R que sea cota superior de , vale que . Usamos la notacin = sup . si = sup y , decimos que es el mximo de , y lo indicamos por = m x . a De modo anlogo podemos denir cota inferior ( ), nmo ( es cota inferior y si es cota inferior de entonces ), indicado por nf , y mnimo, denotado por mn . Todo conjunto nito (no vaco) tiene mximo y mnimo, de modo que las deniciones de supremo e nmo adquieren inters para conjuntos innitos.
v Un conjunto es nito si o bien es vaco o bien existen N y : { N : } biyectiva. Un conjunto es innito si no es nito. La demostracin de existencia de mximo o mnimo en un conjunto nito es constructiva (algortmica): examinar uno por uno los elementos. En lenguaje de induccin, el algoritmo se basa en la ecuacin m x {1 , 2 , . . . , +1 } = a m x {+1 , m x {1 , . . . , }}. a a

No todo conjunto tiene cota superior o inferior: como subconjunto de los reales, N tiene a 1 como cota inferior y a 1 como nmo (y mnimo), pero no tiene cota superior, mientras que Z no tiene ni cota superior ni cota inferior. Adems, no siempre el supremo est en el conjunto (el conjunto no tiene mximo), como por ejemplo sup { R : < 0} = 0. En n, pueden haber varias cotas superiores (o inferiores), pero no es difcil ver que, de existir, el supremo (o nmo) es nico: si y son supremos de , como ambos son tambin cotas superiores, debe ser (porque es supremo y cota superior) y (porque es supremo y cota superior), de modo que = .

2. Completitud de los reales

En 1912, R. Dedekind (18311916) puso la propiedad de no tener agujeros en trminos de la completitud: 2.1. Propiedad de completitud de los reales. Si R tiene una cota superior entonces tiene un supremo. En el ejercicio pedimos demostrar que Q no satisface esta propiedad 2.2 (suponiendo que 2 es irracional), es decir que un subconjunto de racionales acotado superiormente puede no tener supremo racional.

2. Completitud de los reales En el ejercicio 2.3 vemos que en la propiedad 2.1 podemos reemplazar cota superior por cota inferior y supremo por nmo (y en realidad las dos formas son equivalentes). Para los naturales, tenemos una variante ms fuerte que la de completitud cuando nos restringimos a cotas inferiores (todo subconjunto no vaco de N tiene a 1 como cota inferior): 2.2. Propiedad de buen orden de los naturales. Todo subconjunto no vaco de N tiene primer elemento (o mnimo).
 Por supuesto, no vale lo mismo para supremo o mximo en N, puesto que N no est acotado superiormente.

Pg. 3

Demostracin. Supongamos que N y . Entonces existe , y el conjunto = { : } es nito (y no vaco pues ). Por lo tanto tiene un mnimo, = mn , tal que y para todo vale . Veamos que = mn , para lo cual tenemos que ver que y que para todo . Observemos primero que como , debe ser . Como y , debe ser . Sea . Si , tendremos y (porque = mn ). Por otro lado, si > , tendremos < . Por lo tanto, para cualquier . De modo que tiene un mnimo (que es ).
v La demostracin anterior usa que todo conjunto nito de naturales tiene mnimo, y dijimos que esto se poda ver usando induccin. Muchas veces se procede al revs: se toma el buen ordenamiento como axioma de los naturales, y se ve que el principio de induccin es vlido. En otras palabras, en los naturales el principio de buena ordenacin, el de induccin, y la propiedad de que todo conjunto nito no vaco de nmeros tiene mnimo, son equivalentes (se deduce uno a partir del otro).

Otra propiedad importante de los reales, compartida con N, Z y Q, es la arquimedianeidad .

 Arqumedes de Siracusa (287212 a.C.) fue uno de los ms grandes cientcos de la antigedad griega, y posiblemente haya sido discpulo directo de Euclides. Tendremos ocasin de mencionarlo en varias oportunidades.

2.3. Propiedad de arquimedianeidad. Dados , R, ambos positivos, existe N tal que > . Esta propiedad es vlida para N puesto que si N, = 1 + 1 + + 1 = 1 < ( + 1) 1,

y entonces para cualquier N, como 1 , < ( + 1) 1 ( + 1) . por lo que basta tomar = + 1 para ver que vale la propiedad 2.3.

Pg. 4

Propiedades de los nmeros reales Sobre Z tambin vale la propiedad reducindose al caso de los naturales, puesto que Z y > 0 N. El ejercicio 2.4 pide ver que los racionales tambin son arquimedianos, y entonces no es sorprendente que tambin los reales tambin lo sean. Lo que s es sorprendente es que la arquimedianeidad de R se deduce directamente de la completitud, sin necesidad de pasar por los racionales. El resultado clave es el siguiente: 2.4. Lema. nf {1/ : N} = 0.
1 En el lenguaje de anlisis matemtico, estamos diciendo que lm = 0.

Demostracin. Sea = {1/ : N}. 0 es una cota inferior para , ya que si N entonces > 0 y por lo tanto 1/ > 0. Por la completitud de R (y el ejercicio 2.3) sabemos que existe R tal que = nf . Adems, por la denicin de nmo y siendo 0 cota inferior de , debe ser 0 . Veamos que no puede ser 0 < . Razonando por contradiccin, supongamos que 0 < . En este caso 0 < < 2, y 2 no es cota inferior de porque = nf . Entonces existe N tal que 1/ < 2. Tomando = 2, que es natural, vemos que 1/ y 1/ < , de modo que no es cota inferior de y por lo tanto nf , lo que es una contradiccin que proviene de suponer > 0. Como 0 y 0, debe ser = 0. Es decir, 0 = = nf . En el ejercicio 2.5 se pide demostrar la arquimedianeidad de los reales. Una consecuencia importante es el algoritmo de la divisin, para lo cual es conveniente obtener un resultado previo. 2.5. Lema. Dados los nmeros reales y , con > 0, existe un nico entero tal que < ( + 1) , (1)
 El resultado es equivalente a decir que todo intervalo semiabierto de longitud contiene exactamente un mltiplo entero de (ejercicio 2.6).  Tomando = 1, es el piso de , indicado por , y a veces tambin llamado parte entera de , indicado por [].

Demostracin. Consideramos distintos casos: Si 0 < , tomamos = 0 (que verica las desigualdades (1)). Si , tomamos el conjunto = { N : }. no es vaco pues 1 . Adems, por arquimedianeidad sabemos que existe N tal que > . Entonces, todo elemento de debe estar entre 1 y 1: 1 pues N, y de vemos que < , lo que implica < y (dividiendo por > 0), < . Entonces el conjunto es nito y tiene un mximo, digamos = m x . a Por ser es , y por ser mximo, debe ser ( + 1) , lo que implica < ( + 1) . Es decir, verica las desigualdades (1).

2. Completitud de los reales Si < 0, aplicamos lo que sabemos para , encontrando Z tal que < ( + 1) , lo que implica (multiplicando por 1), ( + 1) < . Ahora tomamos = si = , y = 1 si < . En cualquier caso obtenemos las desigualdades (1). Para ver la unicidad, supongamos que Z tambin satisface las desigualdades (1) y veamos que necesariamente = . Tendramos < ( + 1) y < ( + 1) . Mezclando las desigualdades, < ( + 1) y lo que implica < ( + 1) y y dividiendo por > 0, < + 1 y < + 1. Como y son enteros, tendremos o sea = . Ahora estamos en condiciones de obtener el algoritmo de la divisin. 2.6. Propiedad (algoritmo de divisin para reales). Sean , R, con > 0. Entonces existen Z y R, tales que 0 < y = + . Ms an, tales y son nicos con esa propiedad. Demostracin. Por el lema 2.5, existe Z que verica las desigualdades (1). Tomando = , vemos que se satisface la igualdad (2). Adems, 0 (porque ), y < pues = + = ( + 1) = ( + 1) > 0.
0

Pg. 5

< ( + 1) , < ( + 1) .

(2)

Entonces y satisfacen la igualdad (2). Veamos que no hay otros. Para eso tomemos Z y R con 0 < y = + . Usando que < tenemos = + < + = + = ( + 1) ,

Pg. 6 y usando que 0 tenemos

Propiedades de los nmeros reales

= + , de modo que < ( + 1) .

Entonces satisface las desigualdades (1), y por el lema 2.5 debe ser = . Finalmente, de = + = + y = se deduce + = + = + , y por lo tanto = . Es decir, los valores de y con las propiedades requeridas son nicos.

2.1. Ejercicios
Ejercicio 2.1. Si y son subconjuntos de R tales que para todo existe con , y est acotado superiormente, entonces sup sup . Ejercicio 2.2. Suponiendo que 2 R Q, demostrar que Q no satisface la propiedad 2.1 de completitud viendo que { Q : 2 2} es acotado superiormente pero no tiene supremo en Q.
 En general, sabiendo que R Q podramos ver que { Q : } est acotado superiormente pero no tiene supremo en Q.

Ejercicio 2.3. Dado R denimos el conjunto = { R : = para algn } Demostrar que: a) Si es cota inferior de , entonces es cota superior de . b) Si = sup , entonces = nf . c) Si tiene cota inferior, entonces tiene nmo (en R). Ejercicio 2.4. Suponiendo que vale para Z, demostrar la propiedad 2.3 para los racionales, i.e., que dados y racionales positivos existe N tal que > . Sugerencia: poner = / y = /, con , , , N y encontrar N tal que () > . Ejercicio 2.5. Demostrar la propiedad 2.3 a partir del lema 2.4. Sugerencia: si y son reales positivos, / > 0 y no es cota inferior del conjunto {1/ : N}. Ejercicio 2.6. Demostrar que el resultado del lema 2.5 es equivalente a decir que todo intervalo semiabierto de longitud contiene exactamente un mltiplo entero de . Concretamente, demostrar que dado R, > 0, son equivalentes: i) Para todo R existe un nico Z tal que < ( + 1) . ii) Para todo R existe un nico Z tal que (, + ]. iii) Para todo R existe un nico Z tal que [, + ). Sugerencia: Para i) ii) poner < ( + 1) en la forma < y luego = + y = . Para ii) iii) considerar los negativos (como el caso < 0 en la demostracin del lema 2.5).

Apndice: Propiedades de la suma, producto y orden

Pg. 7

Apndice
Propiedades de la suma, producto y orden
Indicando por K a cualquiera de Z, Q o R, + , y satisfacen las siguientes propiedades: 1. Para cualesquiera , K, + K y K. 2. Asociatividad: Para cualesquiera , , K, + ( + ) = ( + ) + y ( ) = ( ) . 3. Conmutatividad: Para cualesquiera , K, + = + y = . 4. Distributividad entre suma y producto: Para cualesquiera , , K, ( + ) = + . 5. Identidad (o neutro) para suma y multiplicacin: Existen dos elementos de K, indicados por 0 y 1 (0 1), tales que para todo K, + 0 = y 1 = . 6. Inverso para la suma: Para todo K existe un elemento en K, indicado por , tal que + () = 0. 7. Orden: Existe un orden total en K, , tal que: Para todos , K, si y entonces = (antisimetra). Para cualesquiera , , K, si y entonces (transitividad). Para cualesquiera , K, o bien o bien (totalidad). 8. Compatibilidad entre el orden y la suma y producto: Para todos , , K, si entonces + + . Para todos , , K, si y 0 entonces . Q y R (pero no Z) satisfacen adems: 9. Inverso para el producto: Para todo K, indicado por 1 , tal que 1 = 1. 0, existe un elemento en K,

 K es un cuerpo si satisface las propiedades 1 a 6 y 9. Si satisface adems 7 y 8, K es un cuerpo ordenado: Q y R son cuerpos ordenados.