Autor: Miguel Albione

Topología de la recta real (R) (1ra. parte)

Cuerpo de los números reales. Axiomas de orden. Métrica. Intervalos reales.

Conjuntos acotados. Axioma de completitud. Entornos.

Introducción

Las funciones reales toman un número y lo transforman en otro; cuando se estudian las
propiedades de las funciones, interesa conocer en detalle los objetos que utiliza, esto es,
los números denominados reales. En Matemáticas la Topología estudia las propiedades
de los conjuntos, en particular la Topología de los números reales trata sobre las
características de los conjuntos de números reales.

1. Axiomas de los números reales

Los distintos tipos de números con los que trabajamos en Matemáticas pueden
agruparse en conjuntos, caracterizados por ciertas propiedades en común:

Los números naturales, 1, 2, 3, 4, ... , sin decimales ni signo; la notación para este
grupo es: N

Los números enteros, que incluyen los naturales i además el 0 y los opuestos en signo
de los naturales, -1, -2, -3, -4, ...; la notación es: Z

Los números racionales, que incluyen los enteros i además todas las fracciones, tanto
positivas como negativas, como por ejemplo 3/4, -1/7 o 200/34; la notación para este
conjunto es: Q

Los números irracionales, que son números decimales, de hecho con infinitos
decimales, que no pueden expresarse como fracción; por ejemplo, el número π . Una
notación comúnmente aceptada para estos números es I .

Los números reales, que incluyen todos los anteriores conjuntos. O sea, los números 5,
-6, 4/7, -3/8, π, ... son todos números reales. La notación es: R

Conjuntos de números reales. Intervalos. Entornos

Intervalos limitados.

Sean a, b  R / a  b

(a, b) = x  R / a  x  b
Se llama intervalo abierto (a, b) al conjunto de puntos

1
Autor: Miguel Albione

Se llama intervalo cerrado [a, b] al conjunto de puntos a, b = x  R / a  x  b

(a, b] = x  R / a  x  b
Se llama intervalo semiabierto (a, b] al conjunto de puntos

[a, b) = x  R / a  x  b
De manera análoga,

Geométricamente, en todos los casos se trata de segmentos que pueden o no contener a

sus extremos según sea el caso.

Intervalos no limitados.

( , a = x  R / x  a
( , a ) = x  R / x  a

b, →) = x  R / x  b
(b, →) = x  R / x  b
En todos los casos, la representación geométrica de estos intervalos son semirrectas que
pueden o no contener al origen según corresponda el caso.

Si se trata de toda la recta real, se indica R.

Axiomas de R:

Se refieren a algunas propiedades básicas de los reales y de las operaciones suma y

resta. Podemos agruparlos en axiomas sobre la suma y el producto, sobre el orden de los
números, y sobre la acotación de conjuntos:

Axioma de la suma: x, y  R , entonces (x + y)  R

Axioma del producto: x, y  R , entonces (x·y)  R

Propiedades de la suma:

conmutativa: x + y = y + x

asociativa: (x + y) + z = x + ( y + z)

elemento neutro: x + 0 = x

elemento inverso aditivo: para cada x, existe un y tal que x + y = 0

Propiedades del producto:

conmutativa: x · y = y · x
2
Autor: Miguel Albione

asociativa: (x · y) · z = x · ( y · z)

elemento neutro: x · 1 = x

elemento inverso multiplicativo:  x  0 , y  R / x · y = 1

distributiva: x·(y + z) = x·y + x·z

Se dice que el conjunto de los números reales con la suma y el producto tiene
estructura de cuerpo, es decir: ( R, +, ) es un cuerpo.

A continuación se define una relación de orden en este cuerpo que permite determinar
en la recta qué punto precede a otro.

Definición. Sean x, y  R , se dice que x  y  y − x  0

Definición. Sean x, y  R , se dice que x  y  x  y  x = y

Definición. Sean x, y  R , se dice que x  y  y  x

Geométricamente, la relación de < se identifica con la relación "precede a"( ) que

vincula puntos en la recta.

Axiomas de orden:

Ley de tricotomía. Si x, y  R entonces, x < y, o bien y > x, o bien x = y

Propiedad transitiva. Si x > y e y > z, entonces x > z

Propiedad de monotonía de la suma x, y, z  R , si x < y, entonces x + z < y + z

Propiedad de monotonía del producto x, y, z  R si x < y y z > 0, entonces x.z < y.z

Si x < y y z < 0, entonces x.z > y.z

Si x > 0 e y > 0, entonces x·y > 0

Si x > 0 e y < 0, entonces x·y < 0

Si x < 0 e y < 0, entonces x·y > 0

Si x  0 , entonces x 2  0

Si al cuerpo ( R, +, ) se le añade la relación de orden  , se dice que ( R, +, , ) es un

cuerpo ordenado. Luego, cuando se establezca el axioma del supremo o de
completitud diremos que además es un cuerpo completo.

En este cuerpo ordenado se puede definir una métrica (distancia) para determinar, dados
dos puntos en la recta real, cuán cercanos o lejanos están. Una métrica usual dentro del
conjunto de los números reales es el valor absoluto o módulo.
3
Autor: Miguel Albione

Definición. Dado un número real x , se denomina valor absoluto o módulo de x , al

mismo número x si éste es positivo o nulo, y - x si éste es negativo, es decir:

 x si x  0
x =
− x si x  0

x  R : x2 = x

Sean x, y  R , la distancia entre x e y que se designa dist ( x, y) = x − y = y − x

Propiedades elementales del valor absoluto.

1. x, y  R : x + y  x + y desigualdad triangular

2. x, y  R : x. y = x . y

x x
3. x, y  R con y  0 : =
y y

4. x, y  R : x− y  x − y

5. Si k  R+ , x  k  − k  x  k

6. k  R+ , x  k  x  k  x  −k

7. k  R+ , x = k  x = k  x = −k

8. x  R x = x2 = x2
2

A continuación introduciremos el axioma del supremo o de completitud.

Conjuntos acotados. Axioma del supremo.

Definición: Sea un conjunto A   , A  R , se dice que A es acotado

superiormente  K  R / x  K x  A

En este caso, el número K es una cota superior de A. Cualquier número K '  K también
es cota superior de A. Al conjunto formado por todas las cotas superiores de A se lo
denomina Conjunto Mayorante o Conjunto de Cotas Superiores de A.

C.S. = x / x es cot a sup erior de A

Se denomina Supremo o extremo superior de A a la menor de las cotas superiores de A.

Se denota Sup A o Ext A

4
Autor: Miguel Albione

Si el supremo del conjunto A es un elemento de A, entonces es máximo de A, es decir:

Si Sup A A  sup A = máxA

Axioma del supremo o axioma de completitud: Todo conjunto no vacio acotado

superiormente admite supremo.

Ejemplo

El intervalo abierto A = (  , 3) es acotado superiormente: son cotas superiores 10 ,

 , 4, 5, etc. Además es un conjunto no vacío de R, por tanto por el axioma del
supremo admite supremo del conjunto. De hecho, el supremo es 3, porque es una cota
superior y además la menor posible.

C.S. = 3, →) Sup A : 3 , 3  A   máx A

Definición: Sea un conjunto A   , A  R , se dice que A es acotado

inferiormente  M  R / x  M x  A

En este caso, el número M es una cota inferior de A. Cualquier número M '  M también
es cota inferior de A. Al conjunto formado por todas las cotas inferiores de A se lo
denomina Conjunto Minorante o Conjunto de Cotas Inferiores de A.

C.I . = x / x es cot a inf erior de A

Se denomina Ínfimo o extremo inferior de A a la mayor de las cotas inferiores de A.

Se denota Inf A o Ext A

Si el ínfimo del conjunto A es un elemento de A, entonces es mínimo de A, es decir:

Si Inf A  A  inf A = mínA

Definición: Un conjunto A   , A  R se dice acotado , sí y sólo sí es acotado

superior e inferiormente.

El conjunto del ejemplo anterior A = (  , 3) no es acotado inferiormente, pues no

existe ningún M que sea menor o igual a todos los elementos del intervalo.

El conjunto A= (-2, 2) es acotado, pues es acotado inferior y superiormente.

C.S . =  2, → ) Sup A : 2  A   Máx A

C.I . = ( , −2 Inf A : − 2 A   MinA

5
Autor: Miguel Albione

4. A veces tenemos que trabajar con conjuntos que son uniones y/o intersecciones de
otros. Sean A = (-∞ , 3), B = (-2, 2). El conjunto A ∪ B, ¿ es acotado?, ¿Admite ínfimo,
supremo, máximo y mínimo?

A ∪ B = A, por tanto es acotado superiormente pero no inferiormente, y su supremo es

3. Como 3 ( A  B ) , luego ( A  B) no admite máximo.
¿Qué sucede con A ∩ B?

Ahora es A ∩ B = B que ya ha sido analizado.

Otro ejemplo. Sea A = (  , 3), B = [0, 4]; A ∪ B = (  , 4], entonces A ∪ B es

acotado superiormente pero no inferiormente.

C.S . =  4, →) Sup A  B : 4  ( A  B)  Máx ( A  B) : 4

C.I . =  Inf ( A  B) :  Min ( A  B)

Para A ∩ B:

A ∩ B =  ) es un conjunto acotado superiormente e inferiormente (o sea, es un

0,3
conjunto acotado), y

C.S . = 3, → ) Sup A  B : 3  ( A  B)   Máx ( A  B)

C.I . = ( , 0 Inf ( A  B) : 0  ( A  B), Min ( A  B) : 0

Los axiomas de orden junto con el axioma del supremo sirven para definir con precisión
matemática el concepto de proximidad. Más técnicamente, sirven para definir la
topología de los números reales. Para ello, enunciamos algunas propiedades (sin
demostrarlas) y nuevas definiciones.

Propiedad 1: Para todo intervalo (a, b) existe un número racional q que está dentro del
intervalo: a < q < b.

Ejemplo: En el intervalo (1, 2) basta tomar q = (1+2)/2 = 3/2.

Propiedad 2: Entre cualquier par de números reales a, b existen infinitos números

racionales.

Ejemplo: En el intervalo anterior, consideramos los intervalos (1, 3/2) y (3/2, 2); para
cada uno de ellos encontramos nuevos números racionales: (1 + 3/2)/2 = 5/4 para el
primero, (3/2 + 2)/2 = 7/4 para el segundo. Ahora seguimos con los intervalos (1, 5/4),
(5/4, 3/2), (3/2, 7/4), (7/4, 2), obtendremos 4 nuevos racionales que dan lugar a 8
intervalos. Siguiendo el proceso, obtenemos infinitos racionales todos ellos en el
6
Autor: Miguel Albione

intervalo original (1, 2).

Propiedad. (Postulado de Cantor): Si tenemos n intervalos cerrados I1, I2 , ... In,

relacionados entre sí de tal forma que para cualquier pareja Ij, Ik se cumple que o
bien Ij ⊆ Ik o bien Ik ⊆ Ij (uno está incluido en el otro), entonces la intersección de todos
ellos I1 ∩ I2 ∩ ... ∩ In no es vacía.

Ejemplo: Tenemos los intervalos [1, 5], [2, 4] y [ 3, 4]; se cumple que
[2, 4] ⊆ [1, 5], [ 3, 4] ⊆ [1, 5] y [ 3, 4] ⊆ [2, 4] (observar que tenemos que comprobar
todas las parejas posibles de intervalos). Entonces la intersección de todos ellos, [1,
5] ∩ [2, 4] ∩ [ 3, 4], no puede ser vacía; de hecho, resulta ser [3, 4].

Entorno de un punto.

Definición. Sea x0  R , se denomina entorno de x0 a cualquier intervalo abierto que

contenga a x0 . Se denota: E ( x0 )

Ejemplos: Sea x0 = −2 , posibles entornos de -2 son:

 5 1
( )
(−3, 0) ,  − , −  , − 5, −1 , etc.
 2 4

Definición. Sea x0  R , se denomina entorno simétrico de x0 y radio   0 , al

intervalo abierto ( x0 −  , x0 +  ) =  x  R / x0 −   x  x0 +   =  x  R / x − x0   

Se denota: E ( x0 ,  )

Vemos que si x0 −   x  x0 +   −   x − x0   y por propiedad del valor

absoluto −   x − x0    x − x0  

Es útil expresarlo en términos del valor absoluto ya que permite de manera simple
establecer el centro y el radio del entorno.

1 1  1 1
Por ejemplo: E  ,  =  x  R / x −  
2 4  2 4

E (−1,  ) =  x  R / x − (−1) = x + 1    con   0 .

Definición. Sea x0  R , se denomina entorno reducido de x0 al entorno de x0 sin x0 .

Se denota: E ( x0 ) = E( x0 ) − x0 

7
Autor: Miguel Albione

Definición. Sea x0  R , se denomina entorno reducido simétrico de x0 y radio   0 ,

 
 
al conjunto E  ( x0 ,  ) =  x  R / x0 −   x  x0 +  , x  x0  =  x  R / 0  x − x0   

 x  x0 
