Axioma de Completez Si analizamos cuidadosamente el conjunto de los nmeros racionales, observamos

que satisface las propiedades bsicas P-1 a P-6 de la seccin 1.2. que gobiernan las operaciones de adicin y multiplicacin entre nmeros reales y satisface las propiedades P-7 a P-9 de la seccin 1.4. que gobiernan la relacin de orden entre nmeros reales. Sin embargo, dado que el conjunto de los nmeros racionales son tan solo un subconjunto muy pequeo del conjunto de todos los nmeros reales, debe existir por lo menos una propiedad bsica adicional que distinga los nmeros racionales de los nmeros reales. Esta propiedad es el axioma de completez que mencionaremos brevemente en esta seccin. Para empezar, necesitamos introducir una terminologa y notaciones adicionales. Definicin 1.10.1. Sea un conjunto no vaco de nmeros reales. Un nmero real si se

llama una cota superior de

Si

tiene cotas superiores, decimos que

es acotado superiormente. es acotado superiormente. Algunas cotas

Ejemplo 1.16. El intervalo cerrado superiores de mayor o igual que son ; ;

. En general cualquier nmero

es cota superior de este conjunto. es un conjunto acotado superiormente que .

Ejemplo 1.17. El intervalo abierto

tiene las mismas cotas superiores que el intervalo cerrado Ejemplo 1.18. El conjunto

de todos los nmeros reales no es acotado superiormente.

Dejamos como ejercicio para el lector, definir las nociones anlogas de cota inferior de un conjunto no vaco de nmeros reales y de conjunto acotado inferiormente. Tambin le solicitamos que de ejemplos de estos conceptos. Definicin 1.10.2. Sea un conjunto no vaco de nmeros reales acotado se llama extremo superior de si cumple las

superiormente. Un nmero real siguientes propiedades: 1. es una cota superior de

, se tiene que .

2. Para toda cota superior

de

Observamos que las condiciones i) y ii) expresan que abreviado Sup. Notamos el supremo de El extremo inferior o nfimo de Ejemplo 1.19. Si notado como .

es la mnima cota superior de

. En la prctica nos referimos al extremo superior de un conjunto como el supremo,

se da de forma anloga. entonces y

Ejemplo 1.20.
y y

Si Si

entonces entonces

y y

. .

Ejemplo 1.21. Si

entonces

Estamos listos para introducir la ltima propiedad bsica o axioma que caracteriza al conjunto de los nmeros reales. P-10 Axioma de completez. Todo conjunto superiormente, tiene supremo. de nmeros reales no vaco y acotado

Entre las principales consecuencias de este axioma podemos citar:

y

Todo conjunto nfimo. El conjunto

de nmeros reales no vaco y acotado inferiormente, tiene de los nmeros naturales no es acotado superiormente. y es cualquier . tal que

y y

Propiedad Arquimediana de los nmeros reales: Si nmero real, entonces existe un entero positivo

La propiedad Arquimediana de los nmeros reales tiene la siguiente in-ter-pre-ta-cin geomtrica: Si tenemos dos segmentos de recta, uno tan largo como queramos de longitud y otro tan corto como queramos de longitud (ver la figura), tomando un nmero suficiente de veces el segmento pequeo, podemos cubrir el segmento largo.

(Existe

tal que

Utilizando la propiedad Arquimediana se puede demostrar con alguna dificultad y sin usar representaciones decimales, que el conjunto de los nmeros racionales es denso en el conjunto de los nmeros reales. A partir de este ltimo resultado se puede deducir

fcilmente que el conjunto de los nmeros irracionales tambin es denso en el conjunto de los nmeros reales. Para finalizar estas notas sobre el conjunto de los nmeros reales presentaremos un ejemplo que nos muestra que los nmeros racionales no satisfacen el axioma de completez. Ejemplo 1.22. Sea

Por definicin vaco ya que Sin embargo superior de ,

es un subconjunto del conjunto de los nmeros racionales, y es acotado superiormente en , por ejemplo por

es no y .

no tiene un supremo en , sera pero .

. El nmero que podra ser el extremo