La recta de los nmeros reales, es decir, (R, +, , ) es un cuerpo totalmente

ordenado. Adems, todo conjunto no vaco acotado superiormente tiene

supremo (la menor de las cotas superiores).

Recordar ahora algo fundamental: el valor absoluto de un nmero real positivo
x coincide con x. Si es negativo, es igual a -x. Algunas de sus propiedades son:
1. |x| = 0 si y slo si x 0.
2. |x+y| |x|+ y| (Desigualdad triangular)
3. |xy| = |x||y|
x e y siempre nmeros reales.

Podemos ya definir la aplicacin mtrica o distancia: d(x,y) = |x-y|. Esta
aplicacin cumple las siguiente propiedades:
1. d(x,y) = 0 si, y slo si x=y.
2. d(x,y) d(x,z) + d(z,y).
3. d(x,y) = d(y,x)
Las propiedades 1 y 3 estn claritas. La propiedad 2 viene directamente de la
desigualdad triangular aplicando la definicin de mtrica:

d(x,z) + d(z,y) = |x-z|+|z-y| |x-z + z-y| = |x-y| = d(x,y)


Al considerar la recta real junto con esta aplicacin mtrica, (R,d), tenemos un
espacio mtrico completo, esto es, toda sucesin de Cauchy es convergente -en
una sucesin de Cauchy existe un trmino a partir del cual los siguientes
trminos estn "muy prximos" entre s. En una sucesin convergente existe un
trmino a partir del cual los trminos siguientes estn muy prximos a un punto,
el lmite-.


Toca ahora definir el concepto de entorno en R. Sea x un nmero real, un
entorno de x es un conjunto V contenido en R tal que: existe >0 con B(x,):=(x-
,x+) contenido en V. Para que se vea ms claro podemos decir que un entorno
de x es un intervalo de la recta real tal que podemos tomar un intervalito ms
pequeo de centro x y radio de modo que todos los puntos de dicho intervalo
van a estar dentro de dicho conjunto.

---(-----(---x---)------------)-- El conjunto (a,b) es entorno de x.

------(--[a---)------------)----- (a es el lmite izquierdo del intervalo) El conjunto
[a,b) no es entorno de a, pues por pequeo que sea el , ser mayor que cero,
luego el intervalito se saldr siempre del conjunto [a,b), y esto quiere decir que
hay puntos del intervalito que no estarn contenidos en el conjunto.

Decimos que un conjunto es abierto si es entorno de todos sus puntos. En el
primer caso es as, en el segundo no, porque a es justo el lmite del conjunto,
luego para cualquier que cojamos se nos quedar parte del intervalito fuera del
conjunto.