Capitulo 1 Analisis I

Apuntes de Anlisis I
CAPTULO 1
NOCIONES BSICAS Y ALGUNAS REFERENCIAS TOPOLGICAS DEL CAMPO
1.1. INTRODUCCIN
El conjunto de los nmeros reales es un campo ordenado y completo; es un espacio topolgico
que frecuentemente se utiliza y por consiguiente, uno de los ms importantes. Intentaremos
utilizar, en estos apuntes, un lenguaje geomtrico de manera que imaginamos al cuerpo
como una recta (la recta real) y los nmeros reales como puntos. Tambin, la relacin x x y
significa que x est a la izquierda de y (e y a la derecha de x ). Por otro lado, dados los
nmeros x , y x
, interpretaremos el valor absoluto x x y como la distancia del punto x al
punto y ( d ( x, y) x x x y ); los intervalos como segmentos de recta. En particular, el intervalo

cerrado x a, bx como el segmento de recta cuyos extremos son los puntos a y b .
Por ejemplo, el intervalo abierto
est formado por todos los puntos que distan
menos que x del punto a. Es decir, si x x
entonces, la distancia del punto x al
punto a es menor que x , o sea d ( x, a) x x x a x x .
Veamos un ejemplo en particular. Si x x

cualquiera x de
1
, el intervalo
2
57
,, como por ejemplo x x 3.4 , tenemos:
22
1157
3x , 3xx,. Para un punto
2222
1
2
d ( x, 3) x x x 3 x 3.4 x 3 x 0.4 x
Tales interpretaciones geomtricas constituyen un valioso auxilio para comprender los

conceptos y teoremas del anlisis matemtico.
Adems, para un estudio adecuado del lenguaje de la topologa de
suficiente identificar los puntos de un conjunto A x
, es condicin necesaria y
en un espacio mtrico; tales como punto
interior, exterior y frontera. Es por ello, que la nocin de vecindad o entorno en
se define
cuando el par ( , d ) es un espacio mtrico.
1.2 ESTRUCTURA ALGEBRAICA DE

El conjunto de los nmeros reales, denotado por
nmeros reales En
, es un conjunto cuyos elementos se llaman
existen numerosas propiedades que pueden agruparse en tres familias:
el primer grupo corresponde a aquellas asociadas a la igualdad y las ecuaciones; el segundo

grupo corresponde a las propiedades en torno a la desigualdad y las inecuaciones; finalmente,
existe un conjunto de propiedades avanzadas que marca la diferencia entre los nmeros reales
y los racionales, estas propiedades se preocupan de la estructura interna de los nmeros
reales y estn ligadas al llamado axioma del supremo, el cual hace a
Las propiedades, que se estudian en
nico.
, deben ser una consecuencia de ciertos postulados
bsicos elementales llamados axiomas y sern los pilares fundamentales de esta teora. Se
agruparn los axiomas en tres grupos: Los axiomas de de campo o cuerpo (asociados a la
igualdad), los axiomas de orden (asociados a la desigualdad) y el axioma del supremo (que
marca la diferencia entre los reales y los racionales). Agrupando todos los axiomas que
satisface
, suele decirse, en forma breve, que
es un Campo o cuerpo Ordenado, Completo
y Arquimediano.
1.2.1
Esto significa que en
estn definidas dos operaciones internas llamadas adicin y
multiplicacin, que satisfacen las siguientes condiciones:

1) Hacen corresponder a cada par de elementos x, y x
a) la adicin, su suma x x y x
+:
x
( x, y)
:
x
x +(
x
(x, y)
b) la multiplicacin, su producto
:
2) Axiomas de Campo de los Reales

Los axiomas a los que obedecen estas operaciones son:
i ) Axioma 1. Asociatividad: x x, y, z x
, se tiene
( x x y) x z x x x ( y x z) x (
ii ) Axioma 2. Conmutatividad: para cualquier x, y x
, se tiene
xxyxyxx
Este axioma nos dice que cualesquiera que sean los los reales x, y dados, su suma y
su producto es un real y es independiente del orden en que se usen los dos
sumandos o los dos factores, respectivamente.
Observacin. El axioma de asociatividad no dice que (x + y) + z = y + (x + z). Pero esta
ltima igualdad es cierta, gracias al uso adecuado de los dos axiomas anteriores. En efecto,
(x + y) + z = (y + x) + z
Por el axioma 2
= y + (x + z)
Por el axioma 1
Por tanto, usando los dos axiomas anteriores, se concluye que los sumandos de una triple
suma, se pueden reordenar de cualquier forma, sin alterar el resultado. Es por ello, que en
general, cuando hay varios sumandos, no se usan los parntesis, a no ser que sea
estrictamente necesario.
Los axiomas 3 y 4 nos dicen de la existencia de ciertos elementos especiales en
. Una
consecuencia directa de ellos es que el conjunto de los nmeros reales es no vaco.

iii ) Axioma 3. Existencia de elementos neutros
Existen en
elementos distintos 0 y 1 (0 x 1) , tales que

,xxx
,xxx
A los reales 0 y 1 se les llama neutro aditivo y neutro multiplicativo, respectivamente,

y se prueba que estos son nicos.
Teorema
El elemento neutro para la suma es nico.
Demostracin.
Por el axioma anterior, supongamos que existen e1 y e2 elementos neutros para la suma tal que
x + e1 = x, x x x
y x + e2 = x, x x x
Probaremos que e1 = e2. En efecto,

e1 = e1 + e2
Pues, e2 es elemento neutro
= e2 + e1
Axioma 2
= e2
Pues, e1 es elemento neutro
Teorema
El elemento neutro para el producto es nico.
La demostracin de este teorema es similar al caso de la suma y por tanto se propone como
ejercicio para el estudiante.
iv ) Axioma 4. Existencia de elementos inversos
a) Todo x x
posee un inverso aditivo - x x
tal que
x + (- x) = 0
Al nmero - x se le llama el opuesto de x y por tanto
x + opuesto (x) = 0
b) Todo x x
, x x 0, posee un inverso multiplicativo x -1 x
tal que
Al nmero x-1 se le llama el recproco de x, denotado por x-1 = , y por tanto

x + recproco (x) = 1
Teorema
a) x x x
, el inverso aditivo es nico.
b) x x x
, x x 0, el inverso multiplicativo es nico.
Demostracin,
a) Sea x un nmero real arbitrario y m, n inversos aditivos de x. Entonces, se cumple
x+m=0
()
x+n=0
()
y,
Debemos probar que m = n. En efecto, usando las ecuaciones anteriores y los

axiomas, tenemos que
m = m+0
Axioma 3
= m + (x + n)
Ecuacin ( )
= (m + x) + n
Axioma 1
= (x + m) + n
Axioma 2
=0+n
Ecuacin ( )
=n+0
Axioma 2
=n
Axioma 3
b) La demostracin de la unicidad del inverso multiplicativo es anloga y se propone

como ejercicio para el estudiante.
v ) Axioma 5. Distributividad: para cualquier x, y, z x
(
, se tiene
Con los cinco axiomas enunciados anteriormente, afirmamos que
con las operaciones + y ,
forma un campo, que denotaremos como ( , +, ).

1.2.1.1 Propiedades en
relacionadas con la igualdad
A continuacin demostraremos algunas propiedades de los nmeros reales que usamos

habitualmente y que se deducen a partir de los cinco axiomas de campo anteriores.
Ejemplos:
1) De la conmutatividad resultan de inmediato que,
x
0xxxx
xx x x x 0 , x x x
Anlogamente:
x
2) En
cuando x x 0.
, las ecuaciones
a) a + x = b
b) a . x = b (a x 0)
tienen solucin y dicha solucin es nica

Demostracin.
a) a + x = b
i) Existencia. Veamos primero la existencia de la solucin
a + x = b x - a + (a + x) = - a + b
Como a x
, x -a x
x [(-a) + a] + x = - a + b Axioma 1
x 0 + x = -a + b
Axioma 4-a
x x = -a + b
Axioma 3
Luego, sea x = -a + b. Veamos que este real satisface la ecuacin. En

efecto,
a + x = a + [(-a) + b] = [a + (-a)] + b = 0 + b = b
Esto concluye la demostracin de la existencia de al menos una
solucin de la ecuacin.
ii) Unicidad. Ahora veamos que esta solucin es nica.
Supongamos que los reales x1 y x2 son dos soluciones de la ecuacin

a + x = b. Es decir,
a + x1 = b
y a + x2 = b.
La unicidad ser demostrada si se concluye que x1 = x2 .

Veamos:
a + x1 = b x a + x 2 = b x a + x1 = a + x 2
x -a + (a + x1) = -a + (a + x2)
x [(-a) + a] + x1 = [(-a) + a] + x2
x 0 + x1 = 0 + x2
x x1 = x2
Con esto se concluye la demostracin de la unicidad de soluciones.
b) a . x = b (a x 0). (Ejercicio)
Se debe demostrar que la solucin nica es x = b . a-1.
Definiciones importantes
La unicidad que nos proporciona la propiedad anterior motiva las siguientes definiciones:
1. Sustraccin
La suma x x (x y) se indicar con x x y y se llama diferencia entre x e y . Es decir,
x x y x x x (x y )
Entonces, con esta notacin, la propiedad anterior se resume en
a + x = b x x = -a + b x x = b + (-a) x x = b a
a + x = b x x = b a.
Es decir,
Por tanto. la operacin que a cada par de nmeros reales x, y x , le hace corresponder su
diferencia
x
:
(
se llama sustraccin.
2. Divisin
Si y x 0 , el producto x . y x1 se representar por
x
y
y se llamar cociente entre x e y . Es
decir,
x
x x . y x1 , si y x 0 .
y
Entonces, el resultado de la ecuacin, de la propiedad anterior (parte b), x = b . a-1 se denomina
cociente de b por a y se denota por la fraccin
. Luego, si a x 0 se tiene que
a.x = b x
Por tanto, la operacin que a cada par de nmeros reales x, y x , y x 0 , le hace
corresponder su cociente
x:
x
(
se llama divisin.
3) De la distributividad se concluye que x x x
, x . 0 x 0 . En efecto,
x . 0 + x = x . 0 + x . 1 = x (0 + 1) = x . 1 = x
Tomando los extremos y sumando x x a ambos miembros de la igualdad, tenemos
(x . 0 + x) + (- x) = x + (- x) x x . 0 + (x + (- x)) = 0
x x.0 + 0 = 0
x x.0 = 0
Otra forma de realizar la demostracin esta propiedad es la siguiente:
Sea a x
un real cualquiera. Debemos probar que a . 0 = 0.
O sea debemos probar que el real a . 0 es el neutro aditivo en
. Es decir, cumple
la propiedad
xxx
, x+a.0 = x
()
Comencemos por probar que la propiedad ( ) es cierta para el real a (en lugar de x).
o sea que a + a . 0 = a. En efecto,
a+a.0 = a.1+ a.0
Axioma 3
= a . (1 + 0)
Axioma 5
= a.1
Axioma 3
=a
Axioma 3
Probemos la propiedad ( ) en general:

x + a . 0 = x + (a . 0 + 0)
= x + (0 + a . 0)
Axioma 3
Axioma 2
= x + [(a + (-a)) + a . 0] Axioma 4

= x + [((-a) + a) + a . 0] Axioma 2
= x + [(-a) + (a + a . 0)] Axioma 1
= x + [(-a) + a]
Resultado anterior
= x+0
Axioma 4
=x
Axioma 3
Notas:
i) Una consecuencia importante de la propiedad anterior es que no existe el inverso
multiplicativo del cero
En efecto, si existiera de debe cumplir 0 . 0-1 = 1 y tambin la propiedad 0 . 0-1 = 0,
de donde se obtendra que 0 = 1, lo que contradice el Axioma 3 (axioma del neutro
multiplicativo).
ii) Si eliminramos la restriccin 0 x 1 de los axiomas, entonces es ese caso 0 tendra
inverso, pero los reales seran un conjunto trivial reducido slo al cero, ya que se
tendra
x a, a = a . 1 = a . 0 = 0
4) Regla de los signos

Tambin es resultado de la distributividad la regla de los signos. Es decir, para x, y y z
elementos cualesquiera de
, se cumple:
a) x . ( y) = ( x) . y = (x . y)
b) ( x) . ( y) = x . y
c) - (x + y) = (-x) + (-y) = x y
d) x (y + z) = x y z
e) x (y z) = x y + z
Solucin. Probaremos a), b) y d), las dems se proponen como ejercicio.
a) Probaremos: ( x) . y = (x . y).
(x x) . y x ( x . y) x ((x x) x x) . y x 0 . y x y . 0 x 0
Entonces, (x x) . y x ( x . y) x 0 .
Sumando x ( x . y) a ambos miembros de la igualdad,
x ( x x) . y x ( x . y ) x x x x ( x . y )xx0 x x x ( x . y) x
(x x) . y x x( x . y) x (x ( x . y))x x x ( x . y)
( x x) . y x 0 x x ( x . y )
( x x) . y x x ( x . y )
En forma anloga se prueba que x . (-y) = - (x . y). Lo haremos en una forma
ms reducida que la anterior.
En efecto, esta igualdad pretende que el opuesto de x . y es el real x . (-y).

Entonces, es suficiente probar que x . y + x . (-y) = 0. Veamos,
x . y + x . (-y) = x . [y + (-y)]
Por tanto,
Axioma 5
= x.0
Axioma 4
=0
Propiedad anterior
x . (-y) = - (x . y).
b) ( x) . ( y) = x . y.
( x x) . ( x y ) x x x x . ( x y ) x x x x x ( x . y ) x x x . y
Haciendo z x x . y , probaremos que x (x z) x z . En efecto,
x (x z ) x (x z ) x 0
Sumando z a cada miembro de la igualdad
x x (x z ) x (x z ) x x z x 0 x z
x (x z ) x x (x z ) x z x x z
x (x z ) x 0 x z
x (x z ) x z
Entonces, x x x ( x . y)x x x . y . Por tanto, ( x) . ( y) = x . y .
d) x (y + z) = x y z
x (y + z) = x + [- (y + z)]
= x + [(-y) + (-z)]
= (x + (-y)) + (-z)
= (x y) z
= xyz
5) Si x . y x 0 , entonces podemos concluir que alguno de los factores es cero ( x x 0 o
y = 0). Es decir,
x.y = 0 x x=0 x y=0
En efecto, si tomamos y, ste puede o no ser cero. Si lo fuera, entonces la demostracin
estara concluida. Solo nos falta ver que pasa si y x 0. En este caso podemos multiplicar
ambos miembros de la igualdad x . y x 0 por y x1 . Luego,
10
( x . y) . y x1 x 0 . y x1
x . ( y . y x1 ) x 0
x .1 x 0
xx0
Por tanto, o bien y = 0, o bien y x 0, pero en este caso x = 0.
Teorema.
tales que c x a x a , entonces c x 0 .
a) Si c y a son elementos de
b) Si d y b x 0 son elementos de
tales que d . b x b , entonces d x 1 .
Demostracin.
a) Probaremos: a, c x
y c x a x a x c x 0 . En efecto,
c x a x a x (c x a) x (x a) x 0 x (x a)
x c x (a x (x a)) x 0
x cx0x0
x cx0
b) Probaremos: d , b x
, b x 0, d . b x b x d x 1 . En efecto,
b . bx1 x 1 x (d . b) . bx1 x 1
x d . (b . bx1 ) x 1 x d . 1 x 1
x d x1
Luego, d x 1 .
Teorema.
a) Si a y b son elementos de
b) Si a x 0 y b son elementos de
tales que a + b = 0, entonces b x x a .
tales que a . b = 1, entonces b x
1
.
a
Demostracin.
a) Probaremos: a, b x
, a x b x 0 x b x x a . En efecto,
11
a x b x 0 x (x a) x (a x b) x (x a) x 0
x ( x a x a) x b x x a x 0 x b x x a
x b x xa
, a x 0, a . b = 1 x b x
b) Probaremos: a , b x
1
. En efecto,
a
a x1 . ( a . b ) = a x1 . 1
a.b = 1 x
x ( a x1 . a ) . b
= a x1 . 1 x 1 . b
= a x1
= a x1
x 1. b
1
= a
xb
El axioma iv ) permite resolver la ecuacin a x x x 0 y a . x x 1 ( a x 0 ), y estas soluciones

son nicas. En el siguiente teorema se prueba que el segundo miembro de estas ecuaciones
puede ser cualquier elemento de
Teorema
Sean c y b elementos cualesquiera de
. Entonces,
a) la ecuacin a x x x b tiene solucin nica x x (x a) x b ,

b) si a x 0 , la ecuacin a . x x b tiene solucin nica x x
1
. b.
a
Demostracin.
a x x x b x (x a) x (a x x) x (x a) x b
a)
x (x a x a) x x x (x a) x b x 0 x x x x a x b
x x x xa x b
Entonces, x x x a x b es una solucin de la ecuacin a x x x b . Para establecer
que es la nica solucin, supongamos que x1 es una solucin cualquiera de esta
ecuacin; o sea a x x1 x b .
Entonces, (x a) x (a x x1 ) x (x a) x b
Por otro lado,
x1 x 0 x x1 x (x a x a) x x1 x (x a) x (a x x1 )
x ( x a) x b
Por tanto,
x1 x (x a) x b .
b) Ejercicio para el lector.
12
Teorema
Sean a, b y c elementos de
a) Si a x 0 , entonces
1
x0
x0
1
a
y a x 0 , entonces b x c .
a
b) Si a . b x a . c
Demostracin.
a)
11
. Supongamos que x 0 , entonces
aa
x1x
(xx) (contradice el axioma iii ) .
1x a.x x x a.0x0
xax
Como a x 0, x
Por tanto,
1
x 0.
a
Por otro lado, como
1
. a x 1 y por la unicidad del inverso multiplicativo resulta que
a
1
b)
x a x0
1
a
y a x 0 x a x1 (a . b) x a x1 (a . c)
a.b xa.c
x (ax1 . a) . b x (ax1 . a) . c x 1 . b x 1 . c
x bxc
Ejemplo. Demostrar que, si a x

Solucin.
Si probamos que
, entonces (x1) . a x x a .
a x (x1) . a x 0 , habremos demostrado, por la unicidad del
inverso aditivo, que (x1) . a x x a .
En efecto,
a x (x1) . a x 1 . a x (x1) . a x (1 x (x1)) . a

x 0.a xa.0
x0
Por tanto, (x1) . a x x a .

Ejemplo. (Regla del inverso multiplicativo)
Probar: si a x 0 , entonces (a x1 )x1 x a .
Solucin. Sea b x a x1 . Entonces, b . a x (a x1 ) . a x 1 .
13
bx1 . (b . a) x bx1 . 1
Entonces,
(b . bx1 ) . a x bx1
1 . a x bx1
a x (a x1 )x1
Por tanto, (a x1 )x1 x a .
Ejemplo. Demostrar que:
x a x b x x (a x b) .
Demostracin. Sea c x a x b , demostraremos que c x (x a x b) x 0 .

En efecto,
c x (x a x b) x (a x b) x (x a x b) x (a x b) x (x a) x (x b)
x a x xb x (x a)x x (x b) x a x x(x a) x bx x (x b)
x x a x (x a)x x xb x (x b)x x 0 x 0
x0
Como el inverso aditivo de c es nico, se tiene que
x a x b x x (a x b)
Ejemplo. Demostrar que x a, b, c x
, con b, c x 0 se cumple
Demostracin.
= a c (b c)-1
Notacin de cociemte
= a c (b-1 c-1)
Propiedad
= a c (c-1 b-1)
Axioma 2
= a (c c-1) b-1
Axioma 1
= a . 1 . b-1
Axioma 4
= a b-1
Axioma 3
Notacin de cociente
Ejemplo. Sea C un conjunto de nmeros reales que satisface las siguientes propiedades
(axiomas)
a) B1. 3 x C.
b) B2. Si x x C, entonces 3x + 1 x C.
c) B3. Si x, y x C, entonces x + y x C.
d) B4. 7 x C.
14
Demuestre entonces las siguientes propiedades indicando que axiomas, ya sea de los
nmeros reales o de los recin mencionados, utiliza:
i) 1 x C.
ii) Si 3y + z + 4 x C, entonces (y x C x
x C).
Demostracin de i). Probaremos por el absurdo.

Supongamos, por el absurdo, que 1 x C. Entonces,
3 (1) + 1 = 4 x C
Axioma B2
3xC
Axioma B1
4, 3 x C x 3 + 4 = 7 x C
Axioma B3
Pero, 7 x C (xx) contradice al Axioma B4. Por tanto, aceptamos que

1 x C.
Demostracin de ii). Probaremos por el contrarrecproco.

yxC x
x C x 3y + z + 4 x C
En efecto,
yxC x
xC x y+ xC
Axioma B3
x 3(y + ) + 1 x C
Axioma B2
x 3y + 3 (3-1 z) + 1 x C
Axioma 5 y notacin de cociente
x 3y + (3.3-1) z + 1 x C
Axioma 1
x 3y + z + 1 x C
Axiomas 4 y 3
x 3y + z + 1 x C x 3 x C Adjuncin del Axioma B1

x 3y + z + 4 x C
Axioma B3
Por tanto, Si 3y + z + 4 x C, entonces (y x C x
x C).
1.3 NMEROS RACIONALES

A los elementos de
que pueden escribirse en la forma
a
donde a, b x
y b x 0 se les
b
371
denomina nmeros racionales, por ejemplo:
, , x10, x , etc. Al conjunto de todos estos
5911
nmeros de
se les denota con
. Las operaciones de adicin y multiplicacin en
son
cerradas, es decir
x p, q x
y son vlidos para
x pxqx
los axiomas de campo de
x p.q x
; o sea que el conjunto
tambin es un
campo.
15
A los elementos de
ejemplo:
que no estn en
se les conoce como nmeros irracionales; por
x , 2, e , etc. Los nmeros racionales e irracionales pueden distinguirse por sus
representaciones decimales. Un nmero racional tiene un desarrollo decimal peridico, como

por ejemplo:
,
, etc.
La parte decimal sealada con el arco es el periodo, es decir el grupo de cifras que se repiten
indefinidamente en el mismo orden.
Todo decimal peridico representa un nmero racional. Puede demostrarse que un decimal
peridico constituye una serie geomtrica de la forma
p x q (1 x r x r 2 x . . . x r n x . . .)
donde p, q y r son racionales, siendo r cierta potencia de
px
, que es racional. Por ejemplo, tomemos el decimal peridico

1x r
nmero podemos escribirlo mediante una serie como la siguiente:
xx
1
. Esta serie tiene como suma
10
. Este
x 21(10x3 ) x 21(10x5 ) x 21(10x7 ) x . . .

10
x 3
x 21(10x3 ) x1 x 10x2 x 10x4 x . . .x
xx
10
31
, q x 21(10x3 ), r x 10x2 x. Entonces,
10100
21(10x3 )3321
xxxxx(1 x 10x2 )x1
1010 10001 x 10x2
En este caso, p x
x 3211 x1321 100

x(1 x)xx()
10 100010010 1000 99
297 x 21321318
x xxx
10990990990
Por tanto,
xx 318
990
xx
53
.
165
Por otro lado, dados dos nmeros racionales, p y q , su promedio
pxq
es tambin racional.
2
Esto significa que entre dos nmeros racionales existe otro nmero racional; por lo que entre
todo par de nmeros racionales debe existir una infinidad de nmeros racionales, lo que implica
que si consideramos un nmero racional x , no tiene sentido hablar del nmero racional
inmediato superior.
16
Teorema
Si n es un entero que no es un cuadrado perfecto,
n es irracional.
El siguiente teorema nos indica que ningn nmero racional puede representar la longitud de la
diagonal de un cuadrado de lado 1.
Teorema
No existe un nmero racional r tal que r 2 x 2 .
Demostracin.
a
Supongamos, por el absurdo, que r x
, con a, b enteros b x 0 , es un nmero

b
2
xax
r x x x x 2.
xbx
2
racional y a, b sin factores primos comunes. Entonces,

Luego,
a 2 x 2 b2
De lo anterior,
. . . . (x)
a 2 es par x a es par.
Sea a x 2 m, m x
. En (x) ,
(2 m)2 x 2 b2 x 4 m2 x 2 b2 x b2 x 2m2
x b es par.
As tenemos que a y b son ambos mltiplos de 2, lo que contradice la hiptesis de
que eran primos entre si. Por tanto, no existe r racional tal que r 2 x 2 .
Teorema
x2x3xn
x
Si e x 1 x x xxx ...xx . . . , entonces el nmero e es racional.
2!3!n!
PRACTIQUEMOS
1. Demostrar las siguientes igualdades, usando solo los axiomas 1 y 2.
i) (a + b) + c = (a + c) + b = (b + a) + c = (b + c) + a = (c + a) + b = (c + b) + a
ii) (x + y) + (z + w) = (x + w) + (z + y) = (w + y) + (x + z)
2. Demostrar que si u y a son elementos de
3. Demostrar que si a y b son elementos de
, tal que u x a x a , entonces u x 0 .

tal que a x b x 0 , entonces b x x a .
4. (Regla del inverso aditivo). Demostrar que ( a) = a, x a x

5. Si a , b x
, a x 0 y b x 0, demuestre que
17
(a . b)
6. Dados a , b , c , d x
a)
-1
-1
= a .b
-1
xax
xx
xbx
x1
x b
a
, si b x 0 y d x 0 pruebe que
ad x bcac
xx
bdbd
b)
7. Si a x
satisface a . a x a , demostrar que a x 0 o a x 1 .
8. Si a x 0 y b x 0, demostrar que
, (x a)x1 x x a x1
9. Demuestre que, x a x 0 en
10. Demostrar:
a) a x (b x c) x (a x b) x c
b) x x x x 0
c) a2 x b2 x (a x b) (a x b)
d)
xxx
x,yx0
xyy
f)
xxx
x,yx0
xyy
e) b x 0 y d x 0,
ac
xx ad x bc
bd
g) x x 0 x x2 x 0
11. Sean a , b y c elementos de
. Probar:
a) Si a x b x a x c , entonces b x c .
b) Si a . b = a . c y a x 0, entonces b = c .
12. Sean a , b nmeros reales y b x 0. Demostrar que,
Si
a
x 0 , entonces a = 0
b
13. Hallar el nmero racional cuyo desarrollo decimal es 0.334444

14. Usando los axiomas y propiedades de los reales, demuestre las propiedades siguientes.
a) x x, y x
, x, y x 0, (x + y) (x-1 y-1) = x-1 y-1
b) x x, y x
, x, y x 0, (x y)-1 = y-1 x-1
c) Usando b), demostrar que

x a, b, c, d x
, b, d x 0, a b-1 + c d-1 = (a d + c b) (b d)-1
18
d) x a x
, a2 = 0 x a = 0.
15. Demuestre que para todo x, y, z, w x
, w x 0, z x 0 lo siguiente es verdadero
(xw + yz)2 = (x2 + y2) (w2 + z2) x x x x
/ x = x w, y = x z
16. Sea C un conjunto de nmeros reales que satisface las siguientes propiedades (axiomas)
a) B1. 3 x C.
b) B2. Si x x C, entonces 3x + 1 x C.
c) B3. Si x, y x C, entonces x + y x C.
d) B4. 7 x C.
Demuestre entonces las siguientes propiedades indicando que axiomas, ya sea de los
nmeros reales o de los recin mencionados, utiliza:
1. Si x, y x C, entonces 3x + 2y + 4 x C.
2. Si x, y x C, entonces 4 x y x C.
3. No existe x x C tal que 3(2x 1) = 39.
17. Determinar la veracidad de las siguientes afirmaciones:

1. Existen dos nmeros distintos x, y x
tales que x + y = x y y + x = y.
2. Para cualquier par de nmeros x, y x
se tiene que x + y = x.
3. x x, y, z x
(x + y) + z = (x + z) + (y + z).
4. x x, y, z x
(x + y) + z = x + (y + z).
5. x x, y, z x
(x + y) . z = y . z + x . z
6. Existe un nmero real que sumado a cualquier otro da como resultado

este ltimo.
7. Si u nmero x x
es neutro para la suma, entonces su inverso aditivo
tambin lo es.
8. Si u nmero x x
es neutro para la suma, entonces su inverso
multiplicativo tambin lo es.

9. Si un nmero real x es nuetro para la multiplicacin, entonces su inverso
aditivo tambin lo es.
10. Dado a x
la ecuacin a . x = a siempre tiene solucin en
11. Dado un nmero real cualquiera x, existe otro que al sumarlo con x
resulta 0.
12. El inverso aditivo de cualquier real x es nico. Se denota x
13. Existen a, b, c x
, todos distintos entre s, tales que a es el inverso
aditivo de b y b es el inverso aditivo de c.

14. Existe un nmero x x
que es inverso multiplicativo de ms de un
19
nmero real.
16. El 0 no posee inverso aditivo.
17. El 0 no posee inverso multiplicativo.
15. Dado x x
la ecuacin x . y = 1 siempre tiene una solucin y x
18. Existen a, b, c x
, todos distintos entre s, tales que a es el inverso
multiplicativo de b y b es el inverso multiplicativo de c.

19. Si x, y x
son tales que x + y = 0, entonces necesariamente x = 0
y = 0.
20. Si a, b, c x
son tales que a . b = a . c, entonces necesariamente
b = c.
1.4 ESTRUCTURA DE ORDEN DE

Para introducir la idea de orden en los reales y poder trabajar con desigualdades existen
diversas formas. En estos apuntes comenzamos definiendo el conjunto de los reales
estrictamente positivos y en base a ellos se obtienen las definiciones de las desigualdades y
las propiedades.
1.4.1
es un Cuerpo Ordenado
Se afirma que
es un conjunto ordenado. Esto significa que existe un subconjunto
llamado conjunto de los nmeros reales estrictamente positivos, que cumple las siguientes
condiciones (axiomas):
P1. Clausura
+
La suma y el producto de nmeros reales positivos es positivo. Es decir, x a, b x

a, b x
x a x bx
x a.b x
P2. Tricotoma
Si a x
, entonces se cumple una y slo una, de las tres alternativas siguientes:

a x 0, a x
, xa x
La primera propiedad P1 asegura la compatibilidad del orden con las operaciones de adicin y
multiplicacin, respectivamente. La propiedad P2 se denomina propiedad de tricotoma ya que
divide a
en tres tipos de elementos. De cumplirse a x

+
estrictamente positivo y si se cumple a x
Adems, establece que el conjunto
los tres conjuntos disjuntos:
diremos que a es un real estrictamente negativo.
= {a / a x
negativos no tienen elementos en comn con
se dice que a es un real
x de los nmeros reales estrictamente
y, entonces, que el conjunto
es la unin de
y {0}.
20
al conjunto de los nmeros x a , talque a x
Si escribimos mediante
condicin P2 tenemos que
dos. A los nmeros a, talque a x
x {0}. Los conjuntos
; entonces por la
y {0} son disjuntos dos a
se les llaman reales negativos.

+
De lo anterior, se observa que el nmero real cero no pertenece a ninguno de los conjuntos
ni
. Por otro lado, todo nmero real a x 0 tiene cuadrado positivo. En efecto, si a x 0,
entonces a x
ax
. Luego,
x Si a x
, entonces a2 = a . a x
x Si a x
, entonces a x
+
+
; por P1
; y por tanto, a2 = (a)( a) x
, por P1
En particular, 1 es un nmero positivo, pues 1 x 12 .

+
Nota. Algunos autores reservan el trmino positivo para los elementos del conjunto
+
usan el trmino no negativo para los elementos de

1.4.2 Relacin de orden, a x b, en
Los nmeros reales, x x
x x0x =
.
, diferentes de cero ( x x 0 ) forman los conjuntos disjuntos
(los nmeros reales positivos y los nmeros reales negativos). Este hecho nos permite
introducir la relacin de orden x (se lee es menor que) en
Se escribe a x b , y se dice que a es menor que b , cuando b a x

ax b x bx ax
. Es decir,
Significa, entonces, que:

a x b x xc x
Definicin.- Sean a y b elementos de
i ) Si b x a x
bx a x
Notacin.
x x0x =
. Entonces,
x axb
bx a x
x bx a
x x0x, entonces se escribe a x b o b x a . Es decir,
tal que b x a x c .
, entonces se escribe a x b o b x a . O sea,
bx a x
ii ) Si b x a x
x x0x x a x b
+0
bx a x
x {0} x b x a
iii) a x b x a x b x a = b.
(a menor o igual que b)
iv) a x b x a x b x a = b.
(a mayor o igual que b)
Por ejemplo, por qu 3 x 5?. Por que existe 2 x
tal que 5 = 3 + 2.
21
La escritura b x a se lee b mayor que a . En particular:

x a x 0 , significa que a x
a x b x bx a x
Entonces, podemos escribir:

Por tanto,
; es decir, a es positivo.
+
x bx a x 0
a x b x b x a x 0.
x a x 0 , quiere decir que x a x
, o sea a es negativo.
a x b x a x b x 0.
Entonces, escribimos:
Por tanto, podemos expresar los conjuntos:
x
x
= {x x
= {x x
/ x x 0 }, es llamado conjunto de los reales positivos.

/ xx x
} = {x x
/ x x 0}, es llamado conjunto de los reales
negativos.
x
+
0
= { x/ x x 0} =
x {0}, es llamado conjunto de los reales no negativos.
= {x / x x 0} =
x {0}, es llamado conjunto de los reales no positivos.
La relacin de orden x (se lee menor o igual que) se define como

x x y x ( x x y x x x y) x ( y x x x 0 x
y x x x 0)
Nota. Para todo nmero real x , se tiene que x 2 x 0 . De hecho, x2 x 0 x x x 0 .

1.4.2.1 Propiedades de la relacin de orden, a x b, en
Se establecen, en esta parte, algunas de las propiedades bsicas de la relacin de orden en
Se trata de las conocidas reglas de las desigualdades que se han tratado en la asignatura de
Matemtica Bsica.
O1. Transitiva. Si a x b x b x c entonces a x c .
O2. Tricotoma. Para cualquier par de nmeros a, b x
, una y slo una de las
siguientes proposiciones es verdadera:

i) a x b
ii) a x b
iii) a = b
O3. Monotona de la adicin.
Si a x b entonces, para todo c x
se tiene a x c x b x c
O4. Monotona de la multiplicacin. Si a x b entonces,
22
a) para todo c x 0 , se tiene a . c x b . c

b) si por el contrario c x 0 , se cumple a . c x b . c
Demostracin. Probaremos las propiedades O1 y O4.
x Prueba de O1.
a x b x b x c x (b a) x
x (c b) x
x (b a + c b) x
x (c a) x
xaxc
x Prueba de O4.
O4 a) Probaremos: a x b x c x 0 x a c x b c. En efecto,
a x b x c x 0 x (b a) x
x cx
Definicin de x
x (b a).c x
Axioma P1
x bcacx
Axioma 5
x ac x bc
Definicin de x
O4 b) Probaremos: a x b x c x 0 x a c x b c. En efecto,
a x b x c x 0 x (b a) x
x (-c) x
x (b a).(-c) x
x -b c + a c x
x acbcx
Definicin de x
Axioma P1
Axioma 5
Axioma 2
x bc x ac
Definicin de x
Observacin. Con la propiedad O4, podemos multiplicar un nmero no nulo a ambos lados de
la desigualdad y si este es positivo la desigualdad no cambia, pero si es negativo la
desigualdad cambiar.
Otras propiedades. Sean x, y, z, w elementos de
1. x x y x z x w x x x z x y x w .
.
(Podemos sumar las desigualdades)
2. 0 x x x y x 0 x z x w x x . z x y. w (Podemos multiplicar las desigualdades.

de nmeros positivos)
3. a) x x 0 x
b) x x 0 x
x -1 x 0
1
x0
x
4. Si a x b y b x a , entonces a x b .
5. x x x
, se cumple que x2 x 0.
23
Demostraremos las propiedades 3 - a) y 5, las dems quedan como ejercicio para el lector.
Prueba de 3 - a):
Sea ( x -1)2 x 0. Entonces,
x x 0 x x . ( x -1)2 x 0 . ( x -1)2
Propiedad O4
x x . ( x -1 . x -1 ) x 0
x ( x . x -1 ) . x -1 x 0
Axioma 1
x 1 . x -1 x 0
Axioma 4
Axioma 3
x -1 x 0
Luego, x -1 =
x 0. Es decir, el inverso de un nmero positivo es positivo.

x
Otra forma. La propiedad anterior podemos verificarla de la siguiente forma:

x-1 = x-1 . 1
Axioma 3
= x-1 . (x . x-1)
Axioma 4
= x-1 . (x-1 . x)
Axioma 2
= (x-1. x-1) . x
Axioma 1
= (x-1)2. x
Notacin
x0
Pues, (x-1)2 x 0 x x x 0 x (x-1)2. x x 0
Prueba de 5. Por el axioma P2 de tricotoma, se tiene

xx
x xx
x x = 0 x -x x
x xxx
x x x = 0 x (-x) (-x) x
x x2 x
x x2 = 0 x x2 x
x x2 x
x x2 = 0
x x2 x 0
Observacin. 1 = 1 . 1 = 12 x 0, pero 1 x 0; por tanto 1 x 0. Luego, 1 x
, es decir 1 es un
nmero positivo.
Ejemplo. Para x, y x
, demostrar que:
i) x x 0 x y x 0 x x y x 0.
ii) x x 0 x y x 0 x x y x 0.
Demostracin. Por el Axioma P1 de la cerradura, obtendremos los dos resultados. En efecto,
i) x x 0 x y x 0 x -x x
x yx
ii) x x 0 x y x 0 x -x x
x -y x
x (-x) y x
+
+
x (-x)(-y) x
x - xy x
+
x xy x
x xy x 0
+
+
x xy x 0
24
y x1 x x x1 . (o x-1 x y-1)
Ejemplo. Probar: si 0 x x x y entonces,
y x1 x x x1 . En efecto,
Prueba. Demostraremos, 0 x x x y x
0xxx y x xx0 x yx0

x xx1 x 0 x y x1 x 0
x xx1 . y x1 x 0
Multiplicando ambos miembros de la desigualdad x x y por xx1 . y x1 x 0 , tenemos
x x y x x . ( xx1 . y x1 ) x y . ( xx1 . y x1 )
x ( x . xx1 ) . y x1 x y . ( y x1 . xx1 )
x ( x . xx1 ) . y x1 x ( y . y x1 ) . x x1
x 1 . y x1 x 1 . xx1
x y x1 x xx1
Ejemplo. Determinar el conjunto A de todos los nmeros reales tales que

3 x x 4 x 5 x x 12 .
Solucin.
3 x x 4 x 5 x x 12 x 3 x x 5 x x 12 x 4
x x2x x 8
(multiplicando por x1 x 0 )
x 2 x x x8
x x x x4
Por tanto, A x x x x
Nota. Como 1 x
/ x x x 4 x.
es positivo, se tiene
1 x1x1 x 1x1x1x ...
x
Entonces, podemos considerar
. Por otro lado, como
0x
entonces
y (n x
. Tambin, si m , n x
permite concluir que
.. As,
x -n x
),
donde n x 0, entonces
x
lo que
Existen smbolos estndares para identificar a las clases de nmeros como se ha notado,
denotar el conjunto de los nmeros naturales (enteros positivos),
denotar el conjunto de los enteros,
los nmeros racionales y
(del alemn Zahlen)
(cociente de enteros y del ingls Quotient) el conjunto de
el conjunto de los nmeros reales.
25
Ejemplo. Suponer a x 0 y b x 0 . Probar que,

a x b x a 2 x b2
Demostracin.
En este caso se requiere de dos demostraciones: una para ( x ) y, otra para ( x ).
i ) (x)
a x b x a 2 x b2
De a x 0 y b x 0 , tenemos b x a x 0 . Entonces,
a x b x b x a x 0 x (b x a) (b x a) x (b x a) . 0
x b2 x a 2 x 0 x b2 x a 2
x a 2 x b2
ii ) (x)
a 2 x b2 x a x b .
De b x a x 0 x (b x a)x1 x 0 . Entonces,
a2 x b2 x b2 x a2 x 0 x (b x a) . (b x a) x 0
x x(b x a) (b x a)x . (b x a)x1 x 0 . (b x a) x1
x (b x a) . x(b x a) . (b x a)x1 x x 0
xx
x (b x a) . 1 x 0 x b x a x 0 x b x a
xaxb
Por tanto de i ) y ii ) se concluye que a x b x a 2 x b2 . ( a y b positivos)

Ejemplo. Probar que,
si a x b x b x a entonces, a x b .
Demostracin. Probaremos que a x b x b x a x a x b .
Por el contrarrecproco, probaremos que
ax b x a x b x b x a
En efecto,
ax b x a x b x 0 x axbx0 x axb x 0
x a x b x 0 x b xa x 0
xaxb x bxa
Por tanto, afirmamos que a x b x b x a x a x b .

Teorema.
a . b x 0 x (a x 0 x b x 0) x (a x 0 x b x 0)
Demostracin.
i ) (x)
a.b x0 x a x 0
x ax0 x ax0
26
Entonces,
x Si a x 0 , entonces
1
x 0 . Luego,
a
ii ) (x)
11
b x 1 . b x ( . a) . b x . (a . b) x 0 x b x 0 .
aa
1
x Si a x 0 , entonces
x 0 . Por tanto,
a
11
b x 1 . b x ( . a) . b x . (a . b) x 0 x b x 0
aa
(a x 0 x b x 0) x (a x 0 x b x 0) x a . b x 0
x Si a x 0 x b x 0 , entonces a . b x 0 (por P1 )
x Si a x 0 x b x 0 , entonces x a x 0 x x b x 0 . Luego,
x a x 0 x x b x 0 x (x a) . (x b) x 0
x a.b x0
Corolario.
Ejemplo. (Desigualdad de Bernoulli)

Para todo nmero real x x x1 y todo n x
, se tiene
(1 x x)n x 1 x n x
Demostracin. Utilizando induccin matemtica se tiene:

i ) Para el caso n x 1 resulta una igualdad, de modo que el enunciado es vlido en este
caso. O sea,
(1 x x)1 x 1 x 1 . x x 1 x x x 1 x x
ii ) Se supone la validez de la desigualdad para un n x
(1 x x)n x 1 x n x
Probaremos que la desigualdad se cumple para n x 1 . En efecto,
(1 x x)nx1 x (1 x x)n . (1 x x)
x (1 x n . x) . (1 x x) x 1 x x x n . x x n . x2
x 1 x (n x 1) . x x n . x2
x 1 x (n x 1) . x
Por tanto, la desigualdad es verdadera para todo n x
Ejemplo. Demostrar la siguiente desigualdad:

Para todo x de
, x2 + y2 x 2xy
27
Demostracin.
Sabemos que x2 2xy + y2 = (x y)2. Pero, (x y) 2 x 0; pues x a x
, a x 0.
Por tanto,
x2 2xy + y2 = (x y)2 x 0 x x2 2xy + y2 x 0
x x2 + y2 x 2xy
+
0
Ejemplo. Dados x, y, z en
(x, y, z x 0), demostrar la siguiente desigualdad:

x2 + y2 + z2 x xy + yz + zx
Demostracin.
Por el ejemplo anterior se tiene:
x2 + y2 x 2 xy
y2 + z2 x 2 yz
z2 + x2 x 2 zx
Sumando las desigualdades, tenemos
2 x2 + 2 y2 + 2 z2 x 2 xy + 2 yz + 2 zx
2 (x2 + y2 + z2) x 2 (xy + yz + zx)
Por Axioma 5,
x2 + y2 + z2 x xy + yz + zx
Simplificando,
Luego,
x2 + y2 + z2 x xy + yz + zx.
+
0
Ejemplo. Dados x, y, z en
(x, y, z x 0), demostrar la siguiente desigualdad:

(x + y)2 z x 4 xy z
Demostracin.
(x + y)2 z = x2 + y2 + 2 xy z
x 2 xy + 2 xy z, pues x2 + y2 x 2xy
= 4 xy z
Por tanto, (x + y) 2 z x 4 xy z.
Ejemplo. Demostrar la siguiente desigualdad:
Demostracin. Se sabe que x x x
x3 = x2 . x x
xxx
, x2 x
, x3 x 0.
tal que x2 . x x
. Entonces,
x x 3 = x2 . x x 0 x x3 x 0
Ejemplo. Si a x 0 y b x 0 , tal que a x b x 1 , probar que a b x
1
.
4
Solucin.
a x 0 x b x 0 x (a x b) x
x (a x b)2 x 0
28
x a 2 x b2 x 2 a b x 0
x a 2 x b2 x 2 a b x 4 a b x 4 a b
Sumando 4 a b ,
x a 2 x b2 x 2 a b x 4 a b x (a x b)2 x 4 a b
x 12 x 4 a b x 4 a b x 1
Como a x b x 1 ,
x ab x
1
4
PRACTIQUEMOS
1. Sean x, y, z, w elementos de
. Probar que:
a) x x y x z x w x x x z x y x w .
b) 0 x x x y x 0 x z x w x x . z x y . w
1
c) x x 0 x
x 0.
x
11
x
yx
d) x x y x 0 x
2. Sean a, b y c elementos de
. Demostrar que:
a) Si a x b , entonces a x c x b x c , x c x
b) Si a x b
y c x 0 entonces, a . c x b . c .
3. Demostrar que la media aritmtica (promedio) de dos nmeros est entre dichos nmeros;
es decir, demostrar que
axb x ax
axb
xb
2
4. Encontrar todos los nmeros reales x tales que:

a) x3 x 5 x2 x 6 x x 0
b) x3 x x2 x x x 1 x 0
c) 3 x x x
1
x3xx
xx2
5. Demostrar: Si a x 0 y b x 0, a , b x
, entonces
29
axb x
ax
es tal que 0 x a x x para cualquier x x
6. Si a x
7. Si a , b x
, x x 0 , entonces a x 0 .
tal que a x 0 y b x 0, entonces su media aritmtica es
geomtrica es
axb
y su media
2
a b . Demostrar que la desigualdad de la media aritmtica y geomtrica de
a y b es
axb
2
ab x
Nota. La desigualdad de la media aritmtica y geomtrica para los nmeros estrictamente

positivos a1 , a2 , . . . , an es
n
a1 . a2 . . . an x
a1 x a2 x . . . x an
n
En la relacin anterior, cundo se cumple la igualdad?

8. Si a x b y c x d , demostrar que
a d x bc x ac x bd
9. Probar que: si 0 x a x b , entonces a x
ab x b .
, probar que c m x c n si y slo si m x n .
10. Si 0 x c x 1 y m, n x
11. Demostrar las siguientes desigualdades:

a) Para todo x x
, (1 + x)2 x 1 + 2 x.
b) Para todo x x
, x2 xy + y2 x 0.
c) Para todo x x
12. Dados x, y, z en
+
0
, x + x-1 x 2.
(x, y, z x 0), demostrar las siguientes desigualdades:
a) (x + y) (y + z) (z + x) x 8 xyz.
b) x3 + y3 + z3 x 3 xyz
1. Todo nmero real no nulo, es estrictamente positivo o estrictamente
negativo, pero no ambos.
2. Toda suma de nmeros reales estrictamente positivos es estrictamente

positiva.
3. La suma de nmeros reales es cerrada en
4. El inverso multiplicativo de un nmero estrictamente positivo no puede
30
ser estrictamente positivo tambin.

5. Dados x, y x
, se dice que x x y si el real y x es estrictamente
positivo.
6. Dados x, y x
, se dice que x x y si el real x y es estrictamente
positivo.
7. Dados x, y x
, se dice que x x y si el real x y es estrictamente
positivo o 0.
8. Un nmero real x es estrictamente positivo si x x 0.
9. Si un nmero real x satisface que -x x 0, entonces es estrictamente
positivo.
10. Dados x, y x
tales que x x y, para cualquier z x
se tiene que
x z x y z.
11. Si x, y x
son tales que x x y, al multiplicar ambos por a x 0 se
obtiene a x ay x 0.
12. Dados x, y x
tales que x x y, existe un nmero a x 0 tal que ax = ay .
13. Al multiplicar un nmero no nulo cualquiera por s mismo, se obtiene un

nmero estrictamente positivo.
14. El inverso multiplicativo de un nmero estrictamente negativo es un
nmero estrictamente positivo.
15. Si x, y, z, w x
con x, z x 0 y tales que x x y y z x w, entonces
x z x y w.
1.4.3. Valor Absoluto de un nmero real

La propiedad de tricotoma asegura que si a x
y a x 0 , entonces slo uno de los nmeros
a y x a es estrictamente positivo. El valor absoluto de a x 0 se define como el nmero

positivo del par
xa, x ax .
Por tanto, la relacin de orden de
nos permite definir el valor
absoluto de un nmero real x .

Definicin.- Sea x x
. El valor absoluto de x , denotado por |x|, se define del modo
siguiente: |x| = x, si x x 0 ; |x| = 0, si x = 0 y |x| = - x, si x x 0 . Es decir,

x
|x| = {
x
En otros trminos,
x x max xx x, xx es el mayor de los nmeros reales x y x x .
31
Por ejemplo, x 4 x max xx (x 4), x 4x x max x4, x 4x x 4 . O tambin: x 4 x x (x 4) x 4 .

Observaciones:
1) Para todo x x
se tiene que: x x x x x x .
En efecto, x x x x x x x x x x x x x x x .
x x x x , es obvio
x Se tiene que x x x x . Multiplicando esta desigualdad por x1 x 0 ,
(x1) . (x x) x (x1) . x x x x x x
Por tanto, x x x x x x .
2) Podemos caracterizar x como el nico nmero mayor o igual a cero ( x x 0) cuyo
cuadrado es x 2 ( x2 x 0, x x x
). Es decir,
x 2x x 2 , para cualquier x x
Pues,
x . x x x . x x x x x2 ,
si x x 0 se tiene:
si x x 0 se tiene: x . x x (x x) . (x x) x x x x 2 .
.
2
Teorema.
Si a x 0 , entonces x x a si y slo si x a x x x a .
Demostracin. Probaremos que:
i ) (x)
x x a x x a x x x a.
x x a x x a x x x a.
Por definicin, x x x o x x x x , entonces tenemos la desigualdad
x x x x x x.
Luego,
x x a xxa xxx x x x x x a
x xa x x x a
ii ) (x)
xa x x x a x x x a
Por hiptesis, x a x x x a . Entonces,
x Si x x 0, x x x x a .
x Si x x 0, x x x x x a .
32
En ambos casos se tiene que x x a .
Teorema.
Para cualquier x, y x x
, se tiene
xxy x x x y
x. y x x . y
Demostracin.
a) x x y x x x y
(Desigualdad del tringulo)

x x x x y x y.
Se sabe que:
Sumando miembro a miembro ambas desigualdades resulta

xxy x x x y
.... ( )
Anlogamente,
xx x x
x xy x
Entonces,
( x x) x ( x y ) x x x y
x ( x x y) x x x y
. ( )
Luego, por definicin de valor absoluto y, de ( ) y ( ):

x x x y x max x( x x y), x ( x x y )x x x x y x x x y .
Tomando los extremos, tenemos que
xxy x x x y
x x x y x max x( x x y), x ( x x y)x x x ( x x y) x x x y .
Tomando los extremos, resulta que
xxy x x x y
Por tanto, en ambos casos se tiene que
xxy x x x y
b) x . y x x . y
(Ejercicio).
Existen algunas consecuencias tiles de la desigualdad del tringulo, que se dan en el

siguiente corolario.
33
Corolario.
Para cualquier x, y x
a)
se tiene
x x y x xxy
b) a x b x a x b
Demostracin de a).
Esta desigualdad es consecuencia de la desigualdad del tringulo. En efecto,
x a x axbxb x axb x b x a x axb x b
x a x b x axb
..... ( )
x b x bxaxa x bxa x a x b x bxa x a

x b x a x b x a x x( a x b ) x a x b
x a x b x xaxb
.....( )
Entonces, de ( ) y ( ) tenemos,
x axb x a x b x axb x
Por tanto,
a x b x axb
a x b x axb.
Usando la induccin matemtica, la desigualdad del tringulo se cumple, tambin, para

cualquier nmero finito de elementos de
Corolario.
Para cualquiera x1 , x2 , . . . , xn de
se tiene
x1 x x2 x . . . x xn x x1 x x2 x . . . xn
Teorema. Sean a, x, x (x : delta) elementos de
. Se tiene
x x a x x si y slo si a x x x x x a x x
Demostracin. Probaremos que
xxa x x
x a xx x x x a x x
En efecto, como x x a x max x( x x a), x ( x x a) x ; afirmar x x a x x significa que

xxa x x
x xxaxx
x x ( x x a) x x
x x xa xx
x x x a x xx
Sumando a a ambos miembros de las desigualdades de la derecha, se tiene:
34
x x a x x x x x a x a x x x a x x x a x a x xx x a
x xxx xa x x x a x x
x a xx x x x a x x
xxa x x
Por tanto,
x a xx x x x a x x .
De modo anlogo se puede ver que

x xa x x x a xx x x x a x x
1.4.3.1 Otras propiedades de valor absoluto.
Sean x, y, a, b elementos de
1)
x x 0, x x x
2)
xx x x , x x x
3)
xx
x , y x 0.
yy
4)
x2 x x .
5)
a x1 x a
x1
. Entonces,
y x x 0 x x x 0.
siempre que a x 0 .
6) Sea a x 0 . x x a x x a x x x a .
7)
x x a x x a x x x a , si a x 0 .
8) |x| x a x -a x x x a, para a x 0.
9)
x x a x x x a x x x xa.
10) x x a x x x a x x x x a .
11)
x x z x xxy x yxz.
Demostracin.
x Demostracin de 1.
a) x x x
, |x| x 0.
Sea x un nmero real cualquiera. Entonces,
xx
x x x 0 x x x 0 x x x 0 x -x x 0
x |x| = x x 0 x |-x| = -x x 0
x |x| = x x 0 x |x| x 0
x |x| = x x 0
35
b) |x| = 0 x x = 0.
x (x) |x| = 0 x x = 0. En efecto,
|x| = 0 x x = 0 x -x = 0 x x = 0 x x = 0 x x = 0
x (x) x = 0 x |x| = 0. En efecto,
|x| = 0 x |x| = x = 0 x |x| = 0
Ejemplo. Determinar el conjunto A de todos los nmeros reales x que satisfacen

3 x x 5 x 10 .
Solucin. Usando la propiedad 7 tenemos:
3 x x 5 x 10 x x 10 x 3 x x 5 x 10
x x10 x 5 x 3 x x 5 x 5 x 10 x 5
x x 5 x 3x x 5
5
xx
xxx5
3
/x
Por tanto, A x x x x
Ejemplo. Determinar el conjunto B x x x x
5
x x x 5 x.
3
/ x x 1 x x x 1 x.
Solucin. De x x x 2 y2 elevando al cuadrado tenemos:

xx1
x xx1
x ( x x 1)2 x ( x x 1)2
x x2 x 2 x x 1 x x2 x 2 x x 1
x x 4x x 0 x 4x x 0
x xx0
Luego,
B x xx x
/ x x 0 x.
Nota. Delta (x) y psilon (x), letras del alfabeto griego, se utilizan de manera tradicional para
representar nmeros positivos pequeos.
Ejemplo. Sea x un nmero positivo. Demuestre que
xx2 x
x 5 x x 10 x x
5
Solucin.
xx2 x
x 5xx2 xx
5
x 5( x x 2) x x
36
x 5 x x 10 x x
Ejemplo. Sea x un nmero positivo. Encuentre un nmero positivo x tal que
x x 3 x x x 6 x x 18 x x
Solucin. Encontraremos el x usando la parte derecha de la implicacin.
6 x x 18 x x x 6 ( x x 3) x x
x6 xx3 xx
x xx3 x
x
6
x
.
6
Luego, elegimos x =
Por tanto,
xx3 xx x xx3 x
x6 xx3 xx
6
x 6 x x 18 x x .
Ejemplo. Demuestre que
x x y x x2 x y 2 .
Demostracin.
i ) (x)
x x y x x2 x y 2 .
x x y x x.x x x . y x x. y x y . y
x x.x x y. y
xx xy 2
x x2 x y 2
ii ) (x)
x2 x y 2 x x x y .
x2 x y 2 x x x y
x y x x 2x 0 x ( 2y x x )( y x x ) x 0
xyxx x0
37
xxxy
x x y x x2 x y 2 .
Por tanto, de i ) y ii ) ,
Ejemplo. Pruebe que si a y b son nmeros reales, entonces

a . b x a 2 x b2
Solucin. Tenemos que, a . b x 2 a . b x 2 a . b
Por otro lado,
......... ( )
0 x ( a x b )2 . Entonces,
2
0 x a x 2b x 2 a.b
2 a.b x a x b
2 a .b x a x b
a .b x 2 a .b x a x b
a .b x a x b2
(por )
a . b x a 2 x b2
Ejemplo. Resolver la desigualdad
satisfacen la desigualdad.
x x 1 x x y determinar el conjunto C de nmeros que
Solucin. Se puede resolver de la forma siguiente:

2
x x1 x x x x x1 x x
x ( x x 1)2 x x 2
x x2 x 2 x x 1 x x2 x x 2 x x x1
x 2x x 1
xxx
1
2
Por tanto, C = {x x
/ x x }.
PRACTIQUEMOS.
1. Sean x, y, a, b en
. Demostrar las propiedades siguientes:
38
a) x . y x x . y .
b)
x2 x x
c)
xx
x , yx0
yy
d) x x z x x x y x y x z .
e) x x a x x x a x x x x a .
f) a x b x a x b .
2. Pruebe que a x b x x x a x b x x .
3. Determine x (dependiente de x ) de modo que la implicacin dada sea verdadera.
a) x x 5 x x x 3 x x 15 x x .
b) x x 2 x x x 4 x x 8 x x .
c) x x 6 x x x 6 x x 36 x x .
d) x x 5 x x x 5 x x 25 x x
4. Encontrar todas las x que satisfagan las desigualdades siguientes:

a) 2 x x 3 x x x 6
b) x x x x 1 x 2
xx 1
x1
x
c)
d)
x2 x 4x x 10
x
x x 102
5. Demostrar que
0xaxb x
ax
6. Demostrar que si x x x , para x x 0 , entonces x x 0 .

7. Probar que: si a x x x b y a x y x b , entonces x x y x b x a .
8. Si x, y, z x
, x x z , probar que
xxyxz x xxy x yxz x xxz
9. Dados a, b x
, probar que: si a . b x 0 , entonces a x b x a x b .

1. Si el valor absoluto de un nmero real es 0, entonces necesariamente
dicho nmero es 0.
39
2. Si el valor absoluto de un nmero real es es estrictamente positivo,

entonces dicho nmero es estrictamente positivo.
3. El valor absoluto de una multiplicacin de nmeros reales es igual a la

Multiplicacin de los valores absolutos de dichos reales.
4. El valor absoluto de una suma de nmeros reales es igual a la suma de
los valores absolutos de dichos nmeros.
5. Existe un par de nemros reales tales que el valor absoluto de su suma
Es mayor esctricta que la suma de sus valores absolutos.
6. Los nmeros reales x que satisfacen |x 3| x 3 son aquellos del
conjunto ,
-.
7. Los nmeros reales x que satisfacen |x 3| x 3 son aquellos del

-x,
conjunto
1.4.4 Intervalos
En virtud de la relacin menor o igual definida en
se puede pensar en ordenar
esquemticamente los nmeros reales de menor a mayor. Los nmeros reales se representan
sobre una recta horizontal (la recta real) tal que a cada x x
se le asocia un punto Px sobre la
recta siguiendo las siguientes convenciones:

i) Si x x y, entonces Px est a la izquierda de Py.
es punto medio del trazo
ii) Si x x y, entonces
xxxx
xxxxxx
xxxx
Entonces, dentro de los subconjuntos de los nmeros reales existen algunos, que son tipos de
conjuntos especiales de nmeros reales, llamados intervalos.
es un subconjunto I x
Definicin.- Un intervalo de
que tiene la propiedad siguiente:
si x, y x I x x x z x y ,entonces z x I
Esto significa que un intervalo es un subconjunto I de nmeros reales que tiene la propiedad
que si para dos nmeros x e y estn en el subconjunto I , entonces cualquier nmero z que
se encuentre entre x e y tambin est en el subconjunto I .
Por ejemplo, los conjuntos { x x
Tambin lo son
/ -2 x x x 4}, { x x
/ 3 x x x 10} son intervalos de
. Pero, el conjunto
40
/ -5 x x x 0} x { x x
I x {x x
/ 3 x x x 6}
, pues por ejemplo los puntos x x x 2 e y x 5 pertenecen a I ; el
no es un intervalo de
punto z x 2 se encuentra entre -2 y 5 pero 2 no pertenece al conjunto I . Es decir,

x 2, 5 x I , x 2 x 2 x 5 , pero 2 x I
Esto significa que la unin de dos intervalos no siempre es otro intervalo.
Usaremos la siguiente notacin para representar tipos especiales de conjuntos de nmeros
reales, llamados intervalos.
1.4.4.1 Tipos de intervalos.
Sean a, b x
, tal que a x b . Entonces,
1. [ a, b ] = { x x
/ a x x x b }: intervalo cerrado de extremos a y b .
2. x a, b x = { x x
/ a x x x b }: intervalo abierto de extremos a y b .
3. [ a, b x = { x x
/ a x x x b }: intervalo semiabierto por la derecha.
4. x a, b ] = { x x
/ a x x x b }: intervalo semiabierto por la izquierda
5. x x , b ] = { x x
/ x x b }: intervalo infinito cerrado por derecha con origen b .
6. x x , b x = { x x
x x b }: intervalo infinito abierto por derecha con origen b .
7. [ a, x x = { x x
/ x x a }: intervalo infinito cerrado por izquierda de origen a .
8. x a, x x = { x x
x x a }: intervalo infinito abierto por derecha con origen a .
9. x x , x
x=
: la recta real.
tambin se puede hacerlo por (a, b) o -
Notacin. Para denotar un intervalo abierto
,.
Observaciones:
1. Cuando a = b, el intervalo ,
- se reduce a un nico elemento y se llama intervalo
degenerado. En este caso,

Si a = b, entonces ,
2. Si a = b, entonces
3. Si I es un intervalo y m, n x I, tales que m x n, entonces ,
*+
.
- x I.
Nota. Una inecuacin es una desigualdad de nmeros reales en la que intervienen una o ms
cantidades genricas. Rersolver una inecuacin consiste en determinar para que valores reales
de las incgnitas genricas se cumple la desigualdad. Dependiendo del nmero de cantidades
41
genricas hay inecuaciones de 1, 2 o ms incgnitas y entre las de una incgnita las hay de
primer, segundo, tercer o mayor grado.
Al resolver una inecuacin de 1 incgnita suele buscarse el mayor subconjunto de
donde la
desigualdad se cumpla. Este conjunto se llama conjunto solucin de la inecuacin y se da en

forma de intervalo.
Ejemplo. Resolver la inecuacin x2 x x x 12 x 0 .
Solucin. Factorizando y aplicando el corolario, tenemos

x2 x x x 12 x 0 x ( x x 3) ( x x 4) x 0
x ( x x 3 x 0 x x x 4 x 0) x ( x x 3 x 0 x x x 4 x 0)
x ( x x x 3 x x x 4) x ( x x x 3 x x x 4)
x x3x xx4 x F x x3x xx4
x x x x 3, 4
Mtodo Prctico para resolver Inecuaciones
Este mtodo se utiliza para resolver inecuaciones con productos y cocientes de factores de la
forma
( x x a1 ) ( x x a2 ) . . . ( x x an ) x 0 . (o, x 0, x 0, x 0 )
( x x a1 ) ( x x a2 ) . . . ( x x an )
x 0 . (o, x 0, x 0, x 0 )
( x x b1 ) ( x x b2 ) . . . ( x x bm )
Para ello se hallan los puntos crticos o races de cada factor, esto significa que cada factor se
iguala a cero y los resultados se colocan , en forma creciente, sobre la recta real; de manera
que la recta queda dividida en intervalos cuyos extremos son los puntos crticos. Despus, se
colocan, en los intervalos, los signos (+) y (-) empezando de derecha a izquierda. La respuesta
se da de la siguiente forma: si la relacin es x o x se renen todos los intervalos con signo (+)
(x, reunin de intervalos abiertos; x, reunin de intervalos cerrados), y si la relacin es x o x
se renen todos los intervalos con signo negativo.
Por ejemplo, en el ejemplo anterior se tiene: x2 x x x 12 x 0 x ( x x 3) ( x x 4) x 0
x Puntos crticos: x x 3 x 0 x x x x 3 ;
x x 4 x 0 x x x 4.
42
-3
Como la relacin es x slo tomamos en cuenta los intervalos con signo (-). Por tanto,
x x x3, 4 .
Ejemplo. Resolver la inecuacin x3 x 9 x2 x 26 x x 24 x 0 .

Solucin. Factorizamos usando la regla de Ruffini.
1
2
1
-9
26
-24
-14
24
12
-7
(x - 2)
Luego, x3 x 9 x2 x 26 x x 24 x 0 x ( x x 2) ( x2 x 7 x x 12) x 0
x ( x x 2) ( x x 3) ( x x 4) x 0
x Puntos crticos: 2, 3 y 4. Por qu?
+
2
Como la relacin es x, reunimos todos los intervalos con signo positivo. Es decir,
x x 2, 3 x 4, x
En trminos de intervalo, tenemos que:
x x x a x x x x x x a x x, a x x x
x x x a x x x x x [ a x x, a x x ]
Ejemplo. Considere los intervalos siguientes: A = [0, 3], B = x2, 5x y C = [-2, 0]. Describa
explcitamente los conjuntos de
a) A x B
, dados por:
b) A x B
c) A C
Solucin.
43
a) A x B contiene los puntos que se encuentran a la vez en A = x x x

B =xx x
/ 0 x x x 3x y en
/ 2 x x x 5x. As pues,
A x B = xx x
/ 2 x x x 3x = x2, 3]
Se observa que A x B es tambin un intervalo.

b) A x B contiene los puntos que se encuentran en el conjunto A = x x x
en el conjunto B = x x x
/ 0 x x x 3x o
/ 2 x x x 5x. As entonces,
A x B = xx x
/ 0 x x x 5x = [0, 5x
En este caso la unin de dos intervalos es otro intervalo.

c) El conjunto A C contiene los puntos que estn en A = x x x
C = xx x
/ 0 x x x 3x, pero no en
/ -2 x x x 0x. Es decir,
A C = xx x
Sea el intervalo de la forma x x x
/ 0 x x x 3x = x0, 3]
/ x x r x en donde r es un nmero positivo dado. Este
intervalo est formado por las x cuyo valor absoluto es menor que r . Interpretando
geomtricamente el valor absoluto de x como la distancia de x al origen, vemos que en este
intervalo se encuentran las x cuya distancia al origen es menor que r (en otros trminos, las
x que distan de 0 en menos de r ). Es claro que tales x son aquellas que se encuentran entre
x r y r . Es decir, x x r es equivalente a la expresin x r x x x r . Anlogamente, en el

conjunto x x x
/ x x r x (el cual no es un intervalo) se encuentran las x que distan del 0 en
ms que r . Esta x son las mayores que r o bien las menores que x r . Entonces la expresin
x x r es equivalente a la expresin x x r o x x x r . Por tanto,
x x r xxr x x x r
Nota. Es til imaginar el conjunto
x x r x x x r o x x xr
como una recta (la recta real) y los nmeros reales como
puntos. De modo que la relacin x x y , significa que el punto x est a la izquierda de y (e y

a la derecha de x ). Adems, los intervalos como segmentos de recta y el valor absoluto,
x x y , como la distancia del punto x al punto y . O sea,
d ( x, y) x x x y x y x x x d ( y, x) .
44
Por ejemplo, el intervalo x a x x , a x x x est formado por los puntos x que distan menos
que x del punto a .
a-x
a+x
d ( x, a) x x x x x a x x
y adems,
d (a x x , a x x ) x a x x x (a x x ) x x x x x x x 2 x
x 2x
(x x 0) .
Tales interpretaciones geomtricas constituyen un valioso auxilio para comprender los

conceptos y teoremas del anlisis matemtico.
xxa
Esta interpretacin de
como distancia es particularmente til para resolver
desigualdades que involucren valores absolutos. Siempre que sea posible, se sugiere usar esta
interpretacin para leer lo que sugiere la desigualdad, en lugar de limitarse a un procedimiento
para producir una solucin.
Ejemplo. Resolver la desigualdad x x 3 x 6 .
Solucin. Como
x x 3 es la distancia de x hasta 3, expresa que la distancia desde x hasta
3 debe ser menor que 6. Entonces, deben hallarse todos los nmeros x cuya distancia desde 3
es menor que 6. En la figura se indican todos los nmeros que estn en una distancia 6 de 3.
3 6 = -3
3+6=9
Luego, x x x-3, 9x.
Ejemplo. Resolver la desigualdad x x 2 x 5 .

Solucin. x x 2 x 5 x x x (x 2) x 5 . Expresa que la distancia desde x hasta -2 es
menor o igual a 5. En la figura se indican todos los nmeros que estn en una distancia 5 de -2.
45
-2 5 = -7
-2
-2 + 5 = 3
Por tanto, x x [-7, 3].

Otra forma. Usando la propiedad 8 de valor absoluto:
|x + 2| x 5 x -5 x x + 2 x 5
x -5 2 x x x 5 2
x -7 x x x 3
x x x [-7, 3]
Notas:
1) x x [ a, b ] x a x x x b x a x x x x x b
2) x x x a, b x x a x x x b x a x x x x x b
Ejemplo.
x x [ a x x, a x x ] x a x x x x x a x x
x xx x x x a x x
x
xxa xx
Ejemplo. Resolver 1 x x x 4 .
Solucin. Usamos la nota 1,
1x x x 4 x 1x x x x x 4x x x1 x x x 4
x ( x x 1 x x x x1) x ( x 4 x x x 4 )
x ( x x 1 x ( x 4 x x x 4 )) x ( x x x1 x ( x 4 x x x 4 ))
x 1 x x x 4 x x 4 x x x x1
x x x [1, 4] x x x [-4, -1]
x x x [-4, -1] x x x [1, 4]
x x x [-4, -1] x [1, 4]
46
PRACTIQUEMOS
1. Sean a, b x
y a x b . Probar que
Si s, r x x a, b x entonces r x s x b x a
2. Resolver las desigualdades siguientes y de la solucin en forma de intervalo.

a) 3 x x 1 x 2 x x 6
c)
xx3x4
b) 2 x x 1 x x x 1
d) 3 x x x 1
e) x3 x 3 x2 x 4 x
f) x3 x x
g) x x 1 x x x 1 x 1
h) x x x x 1 x 2
i)
j) 2 x
x x x2
1x x x1
2x x 9
x0
3x x 7
1
k) x x x 1
x
2 x2 x 9 x x 6
l)x1
xx2
3 x2 x 1
m)x0
1 x x2
x2 x 4 x x 4
n)x0
1 x x3
) x x 2 x x x 3 x x x 1
0) x1 x
x3 x 1
x x1
x2
3. Escriba el intervalo en forma de conjunto

a) [2, 5]
b) x-1, 7x
c) x- , 4x
d) [6, + x
e) x- , -3]
f) x0, 8]
4. Hallar:
a) x x x
/ x x 2 x 1x x x x x
/ x x 1 x 2x
b) x x x
/ x x 2 x 4x x xx x
/ x x 2 x 7x
c) x x x
/ x x 3 x 5x x x x x
/ x x 1 x 2x
d) x x x
/ x x a x rx x xx x
/ x x a x s x, en donde 0 x r x s .
e)
ax
1111
,axx ax ,ax
2244
47
f)
x 1, a x 1 x a x 2, a x 2 x a x 3, a x 3 x a x 4, a x 4
5. Responda y justifique su respuesta.

a) Es siempre la unin de dos intervalos otro intervalo?
b) Es la interseccin de dos intervalos un intervalo?
c) Es un conjunto formado por un solo punto un intervalo?
d) Es el conjunto vaco un intervalo?
1.5 COMPLETITUD O CONTINUIDAD DE LOS NMEROS REALES.

1.5.1
es un campo completo.
Finalizamos la caracterizacin de
haciendo una descripcin elemental de este sistema, como
un campo o cuerpo ordenado y completo, propiedad que no cumplen los nmeros racionales
En esta seccin se presenta una propiedad ms de
propiedad de completitud. El sistema
que con frecuencia se le llama

de los nmeros racionales satisface tanto las
propiedades algebraicas como las de orden, pero se demuestra que

representarse como un nmero racional; por tanto
no puede
2 no es un nmero racional. Esta
observacin muestra la necesidad de un axioma adicional para caracterizar al sistema de los

nmeros reales. Este axioma adicional, el axioma de completitud (axioma del supremo), es una
caracterstica esencial de
. Por tanto, la propiedad fundamental de
(que lo distingue de
es el axioma del supremo.

Con el axioma del supremo se completa el conjunto de axiomas que caracterizan a
, es decir
es el nico conjunto que verifica los axiomas de campo, de orden y el axioma del supremo.
1.5.2 Acotamiento de Subconjuntos de
1.5.2.1 Cota Superior e Inferior
Se presenta a continuacin la nocin de cota superior y cota inferior de un conjunto de
nmeros reales. Observaremos, tambin, la importancia de las cotas en un conjunto acotado;
pues no sera posible establecer el concepto de cota superior de un conjunto sin tener un
orden en el conjunto. Esta caracterizacin de cuerpo ordenado tambin lo tiene
se diferencia de
. Pero
por ser un cuerpo ordenado y completo. Antes de presentar el axioma del
supremo, axioma de los nmeros reales, debemos estudiar una serie de definiciones que
sirven para acotar conjuntos: cotas superiores e inferiores, mximos y mnimos, supremos e
nfimos.
48
Sean los siguientes conjuntos de nmeros reales representados en la recta numrica real:
1) A = {1, 2, 3}
//////////////////////////////////////////////
/////////////////////////
x1
2) B = {
3x
//////////////////
//////////////////////////////////
x-4
3. C = [-1, 3] = {x x
- 3/2
6x
/ -1 x x x 3}
////////////////////////////////
////////////////////////
x -1
3x
Se observa que para cada uno de los subconjuntos de
, existen nmeros reales que son
mayores a todos los elementos de cada uno de ellos; a estos se les llama cotas superiores.
Tambin, existen nmeros que son menores que todos los elementos de cada uno de ellos; a
estos se les llama cotas inferiores. Tambin se dice, en el primer caso, que los conjuntos estn
acotados superiormente; y en el segundo caso, inferiormente.
Por otro lado, sean los siguientes conjuntos:
1) A =
... -1
2) B = ((-1)n + n,
1. ..
) = (0, 3, 2, 5, 4, ...)
/////////////////////////////////////////////////
x0
3) C = x- , 3] = {x x
6 ...
/ x x 3} = xx, 3]
/////////////////////////////
-
... 2
En estos conjuntos se observa que:

x A , no tiene cotas inferiores ni superiores.
49
x B , tiene cotas inferiores (esta acotado inferiormente), pero no superiores.

x C , tiene cotas superiores (est acotado superiormente), pero no inferiores.
Por tanto, de la observacin de B y C existe la posibilidad que un conjunto tenga cotas
inferiores pero no superiores (y viceversa). Si A x
tiene una cota superior, entonces tendr
una infinidad de ellas, ya que si b es una cota superior del conjunto A entonces cualquier c
tal que b x c ser tambin una cota superior de A . (En forma anloga para las cotas
inferiores)
Cota Superior
Definicin.- Sea A x
. Un nmero real b es una cota superior de A si y slo si para cada
x x A, x x b.
Cota inferior
Definicin.- Sea A x
. Un nmero real a es una cota inferior de A si y slo si para cada
x x A, a x x.
Ejemplo. Sea el con junto A = [-2, 4].
Cotas inferiores de A
Cotas superiores de A
///////////////////////////////////
-5
////////////////////////////////////
-2
En el grfico se observa que 5 es una cota superior de A, pues x x 5, x x x A. Tambin, -5 es

una cota inferior de A, ya que -5 x x, x x x A
Nota. Como consecuencia lgica de las definiciones anteriores, si se aplican al conjunto vaco
x, se concluye que cualquier nmero real es cota superior de x. Pues para que un nmero
bx
no sea cota superior de un conjunto A, debe existir un elemento c x A tal que b x c . Si
A x x, no existe dicho elemento. Por tanto, cualquier nmero real es cota superior del conjunto
vaco. Anlogamente, cualquier nmero real es cota inferior del conjunto vaco x.
1.5.2.2 Conjunto Acotado Superiormente e Inferiormente

Acotado Superiormente
Definicin.- Sea A un subconjunto de
existe u x
(A x
). Se dice que A es acotado superiormente si
tal que x x u , x x x A . Un nmero u con esta propiedad se dice que es una cota
superior de A.
Es decir,
Ax
est acotado superiormente x x u x
/ x x u, xx x A
50
Esto es, un conjunto A es acotado superiormente si existe un real u que es mayor que todos los
elementos del conjunto A. A este nmero u, se le llamar cota superior de A.
Observacin. Cualquier otro real mayor que u, tambin ser una cota superior de A. Por tanto,
A tendr infinitas cotas superiores.
Adems, significa que el conjunto de cotas superiores de A es no vaco. As por ejemplo, el
conjunto
A =x 1
x = x 1, 111111
, , , . . . x = x . . ., , , , 1 x
n
234432
est acotado superiormente ya que por ejemplo el nmero 1 es mayor o igual que cualquier
/n x
elemento del conjunto A ; tambin cualquier nmero mayor que 1 es cota superior de A .
Entonces, el conjunto de cotas superiores de A es el intervalo
[1, + x x x
En cambio, el conjunto B = x2n / n x
x = x2, 4, 8, . . .x no est acotado superiormente ya que
por grande que se tome el nmero real u bastara tomar, por ejemplo, m xx u para que 2m x u
y, por tanto, u no sera cota superior.
Acotado Inferiormente
Definicin.- sea A un subconjunto de
existe un nmero s x
(A x
). Se dice que A es acotado inferiormente si
tal que s x x , x x x A . Un nmero s con esta propiedad se dice que es
una cota inferior de A .

Es decir,
Ax
est acotado inferiormente x x s x
/ s x x, xx x A
Esto es, un conjunto A es acotado inferiormente si existe un real s que es menor que todos los
elementos del conjunto A. A este nmero s se le llamar cota inferior de A.
Observacin. Cualquier otro real menor que s, tambin ser una cota inferior de A. Por tanto,
A tendr infinitas cotas inferiores.
Como s es menor o igual que todos los elementos de A, el conjunto de cotas inferiores es
diferente del vaco. As pr ejemplo, el conjunto
A =x 1
x = x 1, 111111
, , , . . . x = x . . ., , , , 1 x
n
234432
definido anteriormente, es un conjunto que est acotado inferiormente, ya que por ejemplo, el
/n x
nmero 0 (cuando n x
x 0) es un nmero menor que cualquiera de los del conjunto

n
A . Tambin, cualquier otro nmero menor que 0 es cota inferior de A, como por ejemplo -2.
As, el conjunto de cotas inferiores de A es el intervalo
51
x- , 0] x x
/////////////////////////////////
/////////////////////////////
Conjunto de cotas
inferiores de
Conjunto de cotas
superiores de
Observaciones:
1) u x
, sx
, no es necesario que sean elementos de A para ser cota superior
(inferior) de A .
2) Las definiciones no nos dice como hallar las cotas superiores o cotas inferiores slo nos
da un medio para verificar si un nmero es o no cota superior o inferior.
Ejemplos:
1) A = x- , 7x. Este intervalo es acotado superiormente, una cota superior es 7, y el conjunto
de las cotas superiores es [7, + x.
No existen cotas superiores s x 7, ya que siempre existe x x 0 tal que s + x x A y s x s + x.
El intervalo no es acotado inferiormente pues dado un real s x 7, una cota inferior para A
sera s 1, pero s 1 x A.
2) A = {-2, 3, 5} es acotado superiormente por cualquier nmero mayor o igual a 5 y acotado
inferiormente por cualquier nmero menor o igual a -2, respectivamente.
//////////////////////////////////////////
-
///////////////////////
-2
5 es cota superior de A?. Es decir, x x 5, x x x A?. Veamos:

x = -2 x 5 x x x 5
x =3x 5 x x x 5
xx x x A, x x 5
x =5 x 5 x x x 5
Por tanto, 5 es cota superior de A.

Tambin son cotas superiores de A: 5.1, 5.5, 6, 10, 20, etc.
El conjunto de cotas superiores de A es el intervalo [5, + x = [5, xx.
x
1 es cota superior de A?. O sea, x x 1, x x x A?. Veamos:

1x3=x x 1xx
x x xxA, tal que x x1.
Por tanto, 1 no es cota superior de A.
Tambin, A es acotado inferiormente por cualquier nmero menor o igual a -2.

Entonces tambin son cotas inferiores de A: -3, -5, -20, etc.
52
Conjunto de cotas inferiores de A es el intervalo x- , -2].

3) B = x2, +
x. Este intervalo es acotado inferiormente, una cota inferior es 2. Cualquier otro
nmero menor que 2 es cota inferior de B. Por tanto, el conjunto de cotas inferiores es el
intervalo x- , 2].
Conjunto de cotas inferiores
//////////////////////////////////////
-
El conjunto B no tiene cotas superiores, es decir B no est acotado superiormente. En

efecto, dado un real u x 2 una cota superior para B sera u + 1, pero u + 1 x B.
3 2 1xx n x 1x x 1 2 3xx
4) C = x 2 x x x 0, , , ,....x x x 0, . . . , , , x , n x
16 9 4 xxxx n x x 4 9 16
//////////////////////////////////////////
-
///////////////////////
0
2/9 1/4
2 es cota superior de C?. O sea, x x 2, x x x C?. Veamos:

1 x n x 0 x n 1, x n x
x 0 x n 1 x n 2, x n x
x 0x
x0x
n x1
x 1 x 2, x n x
n2
n x1
x 2, x n x
n2
Luego, 2 es cota superior de C.

Adems, se tiene que C es un conjunto acotado superiormente e inferiormente.
x1x
Conjunto de cotas superiores es el intervalo x , x x y conjunto de cotas inferiores
x4x
es el conjunto x- , 0].
n x1
x 2 . Su solucin debe ser
n2
Otra forma de demostracin es resolviendo la inecuacin

vlida para todo nmero natural.
En efecto,
n x1
x 2 x n x 1 x 2 n2
2n
x 0 x 2 n2 x n x 1
x 0 x n2 x
Completando cuadrados,
x 0 x n2 x
x 0 x n2 x
n1
x
22
n111
xxx
2 16 2 16
n17
xx
2 16 16
53
71
x (n x )2
164
xx
127
) xx,xnx
416
Por tanto, 2 es cota superior de C.
Entonces, (n x
es cota superior de C?. Veamos:

9
x 0 x 2 n2 x 9 n x 9
n x1 2
x 9 n x 9 x 2 n2x
2
9n
x 0 x n2 x
x 0 x n2 x
x
Pero (n x
99
nx
22
981 9 8199
nxxxx (n x ) 2 x
216 2 16416
99
x (n x ) 2
164
929
)x, no se cumple para todo nmero natural. En efecto, si n = 2,
416
9119
(2 x )2 x (x )2 xxno es cierto.
4416 16
2
Por tanto,
no es cota superior de C.
9
5) D = x-2, 3x = {x x
/ -2 x x x 3}.
D
/////////////////////////////
-2
3
Conjunto de cotas
superiores de D
5 es cota superior de D. En efecto;

x x x D, -2 x x x 3 x 5 x x x 5.
Luego, 5 es cota superior de D. El conjunto de cotas superiores de D es el
intervalo [3, + x = [3, xx.
1 no es cota superior de D. En efecto,

Sea D = x-2, 3x = x-2, 1] x x1, 3x.
x x x x-2, 1], -2 x x x 1, pero x x x x1, 3x x x-2, 3x ; pues x x 1.
Por tanto, 1 no es cota superior de D.
6) Para el conjunto C del ejemplo 4).

-1 es cota inferior de C?. O sea x 1 x
n x1
, xnx
n2
?.
Dos formas:
54
i)
1 x n x 0 x n x 1, x n x
Entonces,
1 x n x 1 x n2
x 0x
n x1n x1
,xnxx x1 x
n2n2
x1 x 0 x
1
x1
n2
n x1
x1
n2
x 0x
Por tanto, -1 es cota inferir de C.

ii)
n x1
x x n2 x n x 1 x 0 x n2 x n x 1
2n
x1 x
1115
x x 1 x (n x ) 2 x
4424
x 0 x n2 x n x
51
x (n x )2 , x n x
42
Por tanto, -1 es cota inferior de C.
x
El conjunto de cotas inferiores de C es el intervalo x- , 0].

7) E = [-3, 5]. Este intervalo es acotado superior e inferiormente. El conjunto de cotas
superiores es el intervalo [5, + x. Y el de las cotas inferiores es el intervalo x- , -3].
Observacin. Una forma de demostrar que un real m es una cota superior para un conjunto A,
es probar que ningn real x x m pertenece a A.
/ x2 x 3}. Probar si m =
Ejemplo. Sea el conjunto A = {xx

xx
x x2 x . / =
es cota superior de A. Veamos,
x3
Por tanto, x x A. Esto quiere decir que ningn real mayor que
conclusin, m =
puede estar en A. En
es una cota superior de A.
Si expresamos A = {xx
/ x2 x 3} = {xx
/ -
x x x } = [- , ], observamos que A
est acotado superiormente e inferiormente. Entonces, un conjunto acotado superior e

inferiormente, se dice acotado.
1.5.3 Conjunto Acotado
Si un subconjunto A x
est acotado superiormente e inferiormente, entonces se dice que A
es un conjunto acotado. Esto significa que A est contenido en algn intervalo de la forma
x a, bx . Es decir,
A x x a, b x .
En forma equivalente:
Ax
es acotado, si existe un nmero real k x 0 tal que

xxA x x x k
O sea,
55
Ax
se dice acotado x x k x 0 / x x A x x x k
Nota. Se dice que un conjunto B x
es no acotado si carece tanto de cotas inferiores o
superiores. Por ejemplo, el conjunto B = xx x
/ x x 2x es no acotado, pues no es acotado
inferiormente
Ejemplos:
1. Los intervalos abiertos a, b y los intervalos cerrados x a, bx son conjuntos acotados. En
ambos casos,
x , ax .
x Conjunto de cotas inferiores es el intervalo

x Conjunto de cotas superiores es el intervalo xb, x
x
2. El conjunto A = {
} es un conjunto acotado. En efecto,

x 111x
A = x1, , , , ... x 0 x
x 2 48x
////////////////////////////////////
//////////////////////////////
0
i) El conjunto A est acotado superiormente. En efecto,

Veamos si m =
es cota superior de A. Si x x , entonces

x
x 2n x
x 1 x 2n x 1 x
Entonces, x x A. Es decir, ningn real mayor que
x1
puede estar en A. Por tanto,
es cota superior de A . O sea A est acotado superiormente.

ii) En forma similar podemos probar que A est acotado inferiormente. En efecto,
Veamos si n = -1 es cota inferior de A. Si x x -1, entonces
x -1 x 0
Entonces, x x A. Es decir, ningn real menor que 0 puede estar en A. O sea A est
acotado inferiormente.
Por tanto, de i) y ii) A es acotado.
Conjunto de cotas inferiores: x , 0x .
Conjunto de cotas superiores: x1, x
x
3. El intervalo 2, x
no es un conjunto acotado, pues no est acotado superiormente.
4. Determine si el conjunto A es acotado.

A = xx x
|x2 3| x 1 x
Solucin. De la desigualdad, |x2 3| x 1, se tiene:
56
|x2 3| x 1 x x2 3 x 1 x x2 3 x -1
x x2 x 4 x x2 x 2
x (x x
4 x x x - 4 ) x (- 2 x x x
x (x x 2 x x x -2) x (- 2 x x x
x x x -2 x - 2 x x x
Luego, x x x , x 2x x xx 2,
x
2 x x x2, x
xx
2)
2)
2 x x x2
. Es decir,
A = x , x 2x x xx 2,
x
2 x x x2, x
xx
Se observa que A no tiene cotas superiores ni inferiores. Por tanto, A no es un conjunto

acotado.
= x0, 1, 2, 3, . . .x, no es un conjunto acotado. Por qu?. Tambin, los
5) El conjunto
conjuntos
no son conjuntos acotados.
6) todo conjunto finito de la forma

A x xx1 , x2 , . . . , xn x , xi x
,nx
fijo,
es acotado superiormente e inferiormente; por tanto A es un conjunto acotado.

Por ejemplo, el conjunto A = x2, 4, 6, 8x es acotado.
1.5.4 Mximo y Mnimo elemento de un Conjunto
Cuando se dice el conjunto A = x2, 4, 6, 8x es acotado, est acotado superiormente e
inferiormente. El conjunto de cotas superiores de A es el intervalo [8, + x y el de cotas
inferiores es el intervalo x- , 2]. Observamos que 8 es la menor cota superior y 2 es la mayor
cota inferior. Cuando ocurre que la menor cota superior pertenece al conjunto se llama mximo
elemento del conjunto y cuando la mayor cota inferior pertenece al conjunto se llama mnimo
elemento del conjunto. En este caso el mximo de A es 8 y el mnimo de A es 2.
1.5.4.1 Mnimo elemento de un conjunto
Definicin.- Sea A x
. Se dice que un nmero s x A es el mnimo elemento del conjunto A,
y se denota min (A) o simplemente min A, cuando s x x, x x x A .
////////////////////////////
min A = s, si s x A
Es decir, se dice que un conjunto A tiene mnimo, si posee una cota inferior que pertenece al
conjunto (s x A y s es cota inferioir de A). El mnimo de un conjunto es la mayor de las cotas
57
inferiores tal que s x x- , s] (conjunto de cotas inferiores de A) y s x A. Por ejemplo, en el

conjunto
A={
el conjunto de cotas inferiores es el intervalo x , 0x , y 0 es la mayor de las cotas inferior de

A , tal que 0 x A . Por tanto, min A = 0.
Nota. Para que un nmero real s sea el mnimo de A x
se deben cumplir dos condiciones:
i) s x A
ii ) s x x, x x x A . ( s es la mayor de las cotas inferiores de A )
x111x
} = x1, , , , ... x 0x es un conjunto acotado
x2 48x
inferiormente, 0 es la mayor de las cotas inferiores, pero 0 x A . Por tanto, min A no existe (A
Ejemplo. El conjunto A = {
no tiene elemento mnimo).

1.5.4.2 Mximo elemento de un conjunto
Definicin.- Sea A x
. Se dice que un nmero u x A es el mximo elemento del conjunto
A , y se denota max (A) o max A, cuando x x u, x x x A .
////////////////////////////
max A = u, si u x A
Es decir, se dice que un conjunto A tiene mximo, si posee una cota inferior que pertenece al
conjunto (u x A y u es cota superior de A). Esto es, el mximo de un conjunto A es la menor de
las cotas superiores tal que u x [u, + x (conjunto de cotas superores de A) y u x A. Por
ejemplo, en el conjunto
x = x 1, 111111
, , , . . . x = x . . ., , , , 1 x
n
234432
el conjunto de cotas superiores de A es el intervalo x1, x
, y 1 es la menor de las cotas
x
superiores de A, tal que 1 x A. Por tanto, max A = 1.
A=x
xnx
Nota. Para que un nmero real u sea el mximo de A x
se deben cumplir dos condiciones:
i) u x A
ii ) x x u, x x x A . ( u es la menor de las cotas superiores de A )
Por ejemplo, en el conjunto A = [0, 7] se tiene que 7 x A y 7 es la menor de las cotas
superiores de A. Por tanto, max A = 7. Sin embargo el conjunto B = [0, 7x no tiene mximo,
pues 7 es la menor cota superior de B, pero 7 x B.
58
x
} = x0,x
123x
, , , ... x 1x es un conjunto acotado
234x
superiormente, 1 es la menor de las cotas superiores, pero 1 x A. Por tanto, max A no existe (A
Ejemplo. El conjunto A = {
no tiene elemento mximo).

Ejemplo. En el conjunto A x x a, u x , u es el mximo de A , pero el intervalo a, u no posee
mximo.
Observacin. Los conjuntos finitos de la forma
A x xx1 , x2 , . . . , xn x , xi x
,nx
fijo,
siempre tienen un mximo y un mnimo elemento. En particular, si los xi son nmeros naturales
o enteros positivos, entonces cualquier subconjunto de
es acotado y tiene mximo y mnimo.
Ejemplos:
1) A = {2, 3, 4}
x 4 es max A ?. Verifiquemos las dos condiciones:
i ) 4 x A ?. Si.
ii ) x x 4, x x x A ?. Veamos:
x =2x4 x x x 4
x =3x4 x x x 4
x = 4x 4 x
x x4
Luego, x x x A , x x 4 x 4 x A , entonces, max A = 4.
2)
x n x1x x 1 1 3x
B x x 2 x x x 0, , , , ...x, , n x .
x n x x 4 9 16 x
x 0 = min B?. Veamos las condiciones:
i ) 0 x B ?. Si.
n x1
x 0 x n x 1x 0 x n x 1.
n2
Luego, para n x 1 x 0 x B .
En efecto,
ii )
0 x
n x1
, xnx
n2
Dos formas:
a) 0 x
n x1
x 0 x n x1 x 1 x n , x n x
2n
xxnx
,0x
n x1
n2
59
b) 1 x n
x 1 x n2 x
x1
n2
1
x0 x
x1
n2
Como, 0 x n 1 se tiene:
n x11
,x n xx1 x 0x
0 x n x1 x 0 x
22
nn
Por tanto, min B x 0 .

3) E = x- , 4x. El conjunto E no posee mximo, ya que el conjunto de todas las cotas
superiores es [4, + x y x- , 4x x
Nota. Si el mximo existe, este es nico. Lo mismo ocurre con el mnimo.

1.5.5 Supremo e Infimo de un Conjunto
A la menor cota superior de un conjunto, pertenezca o no al conjunto, se le llama supremo del
conjunto; y a la mayor cota inferior, est o no en el conjunto, se le llama nfimo del conjunto.
1.5.5.1 Supremo
Definicin.- Sea A x
un conjunto no vaco acotado superiormente. Un nmero u x
se
llama supremo del conjunto A, y se escribe

u = sup A o u = sup(A)
si u es la menor de las cotas superiores de A.
Es decir, se dice que un conjunto A posee supremo, si existe un real u que cumple las
siguientes condiciones:
1. u es cota superior de A.
2. Cualquier otra cota superior de A es mayor que u.
Al real u, lo llamaremos supremo de A y se denotar por sup A.
Cotas superiores de A
//////////////////////////
+
u = sup A = min (cotas superiores)
Por ejemplo, el supremo del intervalo abierto A x x , 3 es 3, o sea sup A = 3, ya que 3 es

cota superior del conjunto A y cualquier otra cota superior de A ser mayor que 3.
x /////////////////////////////////////
60
Conjunto de cotas superiores de A es el intervalo x3, x

x
. Luego,
= 3 = sup A (Observar que 3 x A)
min,
Otro ejemplo, si B = [4, 10] el sup B = 10, ya que 10 es cota superior de B y cualquier otra
cota superior de B ser mayor que 10.
Cotas superiores de B
//////////////////////////
10
Conjunto de cotas superiores de B es el intervalo [10, + x. Luego,

min [10, + x = 10 = sup B. (Observar que 10 x B)
Tambin, el supremo del conjunto C = x3, 5, 7, 9x es sup C = 9.
Ejemplo. Si E = x2, 5x, probar que sup E = 5.
Solucin. Supongamos, por el absurdo, que sup E x 5 y sea u = sup E. Entonces,
sup E x 5 x sup E x 5 o sup E x 5.
a) sup E = u x 5.
Como 5 es cota superior de E, x x u x 5, x x x E.
Entonces, sup E = u x 5 que es una contradiccin .
b) sup E = u x 5.
ux5ux5
x 5 , con v xx E.
22
Pero v es una cota superior de E tal v x E (xx). Es una contradiccin,
Si u x 5, existe al menos v tal que u x v x
pues ningn v x E puede ser mayor que el sup E.
Por tanto, sup E = 5

Ejemplo. Hallar el supremo del conjunto A = x4 x t t2 / 3 x x t x xx con x x 0, siempre que
exista.
Solucin. Sea y = 4 x t t2. Entonces,
y = 4 x t t2 = - (t2 4 x t) = - (t2 4 x t + 4x2 4x2 ) = - (t 2x)2 + 4x2.
Entonces, y = - (t 2x)2 + 4x2
...... ( )
61
3xxtxx x xxt2xx-x
Tambin,
x 0 x (t 2x)2 x x2
(como x x 0, -x x 0)
x - x2 x - (t 2x)2 x 0
x 3x2 x - (t 2x)2 + 4x2 x 4x2
x 3x2 x y x 4x2
(por )
x y x x3x2, 4x2]
Por tanto, sup A = 4 x2.
cos n x
/n x
nx2
Ejemplo. Encontrar el supremo del conjunto X x x
Solucin. Para algunos valores de n x
x.
, tenemos:
n = 0,
cos n xcos 0 1
x;=
nx222
n = 2,
cos n xcos 2xcos n xcos 3x11

x ; n = 3,xx ;==
nx244nx255
n = 4,
cos n xcos 4xcos n xcos 5x11

x ; n = 5,x x ; etc.==
nx266nx277
n = 1,
cos n xcos x1
xx ;=
nx233
11 1 1x1x1 1
Luego, X x xx , x , x , . . . , , , x , de donde sup X = .
76 4 2x2x3 5
Como
11
x X , se tiene que max X = .
22
Teorema
El supremo de un conjunto A x
si existe, es nico.
Demostracin.
Sea u = sup A. Supongamos que existe v otro supremo de A, o sea v = sup A. Entonces,
probaremos que u = v.
En efecto,
v x u, pues v es supremo de A,
u x v, pues u es supremo de A
Entonces,
v x u x u x v x u = v.
Luego, si el supremo existe, ste es nico.

Por tanto, si A tiene una cota superior mnima, entonces ella es nica.
62
1.5.5.2 nfimo
Definicin.- Sea A x
sx
un conjunto no vaco acotado inferiormente. Se dice que un nmero
es el nfimo de del conjunto A, y se denota por

s = inf A o s = inf (A)
si s es la mayor de las cotas inferiores de A.

Es decir, se dice que un conjunto A posee nfimo, si existe un real s que cumple las siguientes
condiciones:
1. s es cota inferior de A.
2. Cualquier otra cota inferior de A es menor que s.
Al real s, se le llama nfimo de A y se denota por inf A.
Cotas inferiores de A
//////////////////////////////////////
A
s = inf A = max (cotas inferiores)
Por ejemplo, el nfimo del intervalo A = x-2, + x es -2, o sea inf A = -2, ya que -2 es cota inferior
del conjunto A y cualquier otra cota inferior de A ser menor que -2. No tiene supremos, pues
no est acotado superiormente.
////////////////////////////////// x
-
-2
Conjunto de cotas inferiores de A es el intervalo x- , -2]. Entonces,

max x- , -2] = -2 = inf A.
Ejemplo. El conjunto B = {x x
/ 3 x x x 8} es acotado supeior e inferiormente. Entonces,
tiene supremo e nfimo. En efecto, sup B = 8 e inf B = 3. Adems, 8 y 3 son nicos.

Teorema
El nfimo de un conjunto A x
si existe, es nico.
Demostracin.
Sea s = inf A. Supongamos que existe r otro nfimo de A. Entonces, probaremos que s = r.
En efecto,
s x r, pues r es nfimo de A,
r x s, pues s es nfimo de A
Entonces,
s x r x r x s x s = r.
63
Luego, si el nfimo existe, ste es nico.

Por tanto, si A tiene una cota inferior mxima, entonces ella es nica.
Ejemplo. Dado el conjunto X x x
cos n x
/nx
nx2
11 1 1xx1 1
x x xx , x , x , . . . , , , x se tiene:
76 4 2xx3 5
111111
Inf X = x , min X = x ( x x X ), sup X = , max X =( xX )
333222
Ejemplo. En el conjunto A = {
/n x
x 123x
} = x0, , , , ... x 1x , se tiene:
x 234x
Inf A = 0, min A = 0 (0 x A ), sup A = 1, max A no existe ya que 1 x A .

Notas:
1. La nocin de supremo sirve para sustituir a la idea de mximo de un conjunto cuando ste
no existe. Por ejemplo, el supremo del conjunto B = [4, 7x es 7, pero mximo de B no
existe. (sup B = 7, pero 7 x B).
Se pueden hacer consideraciones totalmente anlogas con relacin al nfimo

2. El supremo (nfimo) de un conjunto A , puede o no ser un elemento del conjunto A .
3. Se exige que el subconjunto A x
sea no vaco por la consecuencia del axioma del
supremo.
La existencia del supremo para conjuntos acotados superiormente est asegurado por el
siguiente axioma.
1.5.6 Axioma del Supremo o Axioma de la Mnima Cota Superior
El axioma de supremo es una caracterstica esencial de
. Es una propiedad profunda y
fundamental del sistema de los nmeros reales. Adems sirve para construir el anlisis
matemtico. Con el axioma del supremo se completa la lista de axiomas que caracterizan al
campo de los nmeros reales.
Antes de enunciar este axioma, indicamos algunas de sus utilidades inmediatas.
1) Este axioma distingue al sistema de los nmeros reales del
de los nmeros
racionales.
2) Sirve para demostrar la existencia de la raz cuadrada de un nmero real positivo, es
decir x2 = a, con a x 0.
3) Sirve para probar que
64
4) Sirve para demostrar la propiedad arquimediana de
(fundamental para la teora de
la medicin).
5) Sirve para demostrar la densidad de
en
y de
, que es fundamental para
estudiar las funciones reales.

6)
Sirve para estudiar las funciones reales continuas.
7) Este axioma permite introducir los nmeros irracionales en el sistema de los

nmeros reales.
8) El axioma del supremo explica
la continuidad de los puntos de la recta y la
circunferencia.
En la parte anterior vimos que hay conjuntos acotados superiormente que no poseen
, el candidato a ser mximo
mximo. En estos casos, como en el ejemplo del intervalo
es 5, pero este no pertenece al conjunto. Adems nuestra intuicin nos dice que todo
conjunto acotado superiormente posee supremo. La nica forma que un conjunto no posea
supremo parece ser, que no sea acotado. Sin embargo esta intuicin no se puede deducir
de las propiedades de los reales, por lo tanto lo tenemos que agregar como axioma.
AXIOMA DEL SUPREMO

Todo conjunto A de nmeros reales no vaco y acotado superiormente, tiene una mnima cota
superior.
Es decir, todo conjunto A de nmeros reales no vaco y acotado superiormente posee un
supremo.
Entonces, afirmar que el campo
es completo, significa afirmar que todo conjunto no vaco y
acatado superiormente posee un supremo.

Ejemplo. El conjunto A = {x x
/ x2 x 2} x
, tiene supremo?
Veamos:
x2 x 2 x - x x x
/////////////////////
/////////////////
(cotas inferiores) -
+
(cotas superiores)
Tenemos:
x Ax
, es acotado.
x Conjunto de cotas inferiores: [ , + x.

x sup A =
. No existe una menor cota superior que sea racional.
65
Entonces, existen conjuntos acotados en
sin supremo. Esto significa que para incluir los
nmeros irracionales, dentro del campo de los reales, se hace necesario adicionar otro axioma,
llamado axioma del supremo o de completitud.
Observaciones:
i) Como consecuencia del axioma del supremo se deduce tambin que todo conjunto
de nmeros reales, no vaco y acotado inferiromente tiene nfimo.
ii) El axioma del supremo se conoce como axioma de completitud, porque los nmeros
reales llenan la recta (
es un campo ordenado y completo).
iii) El axioma del supremo permite distinguir entre

del supremo (
, por que
no cumple el axioma
es un cuerpo ordenado, pero no completo). Por ejemplo, el conjunto

A = {x x
est acotado superiormente en
/ x2 x 2} = x0,
xx
, pues x
pero no tiene supremo en
iv) Afirmar que el campo ordenado

Ax
es completo significa afirmar que todo conjunto
no vaco y acotado superiormente posee un supremo.
Algunas consecuencias del Axioma del Supremo

1. El conjunto
de los nmeros naturales no est acotado superiormente.
En efecto,
Supongamos, por el absurdo, que
est acotado superiormente.
Entonces,
tiene supremo. Sea c = sup
, o sea que c es la menor cota
superior de
De,
x c1xc
c = sup
x c 1 no es cota superior de
x xnx
/c1xn
x cxn+1
pero, n + 1 x
x c no es cota superior de
Contradice a que c es cota superior de

falsa y
Nota.
(xx)
. Por tanto, la suposicin es
2. El nfimo del conjunto X = {
/nx
3. Dados a, b x
tal que a n x b.
, existe n x
} es igual a 0.
Las propiedades 1), 2) y 3) son equivalentes y significan que
es un campo
arquimediano.
Teorema (Propiedad arquimediana)
66
Si a es un nmero real tal que a x 0 y b un nmero real cualquiera, existe algn nmero natural
n tal que a n x b.
Demostracin. Supongamos, por el absurdo, que a n x b. y definimos el conjunto A por
A={a n/nx }
Entonces, A x x, est acotado superiormente por b. Es decir,
a n x b, x a n x A
Poe el axioma del supremo, A tiene supremo. Sea u = sup A. Luego, siendo a x 0 y u a x u, se
tiene
u a x u x u a no es cota superior de A
x x an1 x A / u a x an1, n1 x
x u x an1 + a
x u x a(n1 + 1), tal que (n1 + 1) x
x u x a(n1 + 1), con a(n1 + 1) x
x u no es cota superior de A (xx)
Contradice que u es el supremo de A. Por tanto, la suposicin es falsa y a n x b.
4. El axioma del supremo permite asegurar que es un nmero real, pues el conjunto
A = {x x
/ x2 x 2}
es acotado superiormente. Entonces debe existir un nmero real y = sup A. Este

nmero es . Por tanto podemos definir lo siguiente:
Definicin (Raz cuadrada de 2)
= sup {r x
Entonces, tenemos que x
/ r2 x 2}
, es decir x
Definicin (Raz cuadrada de un nmero real positivo)

2 = sup {r x / r x x}
De manera ms general:
Definicin (Raz n-sima de un nmero real positivo)
= sup {r x 0 / rn x 2}
Teorema. Densidad de los nmeros reales.

Para todo par de nmeros reales x, y
si x x y, existe un nmero real z tal que x x z x y
Prueba.
} x x+x x x+y x y+y
x 2x x x + y x 2y
x
67
Entonces, x
tal que x x z x y.
Nota. Los nmeros racionales son densos en los reales. Es decir, dados dos nmeros reales
x, y con x x y, entonces existe un racional r tal que x x r x y.
Proposicin. Sea A x
, A x x. Si A es acotado inferiormente, entonces posee nfimo.
Demostracin. Sea B = x-x / x x A x. B x x, pues A x x.

Si, s cota inferior de A x s x x, x x x A
x -x x - s , x -x x B
(pues x x A )
x - s es cota superior de B
x B es acotado superiormente
Luego, por el axioma del supremo, B posee supremo. Sea p = sup B.
Entonces, p = sup B x -x x p , x -x x B
x - p x x, x x x A
x - p es cota inferior de A
x - p = inf A
Por tanto, A posee nfimo.
Ejemplo. El conjunto F = xx x
/ |x| x 2x = xx x
/ -2 x x x 2x es acotado. Aqu,
x sup F = 2, pues 2 es la menor cota superior de F. (x x 2, x x x F).

x inf F = -2, pues -2 es la menor cota superior de F. (-2 x x, x x x F).
-2 x x x 2, x x x F.
Luego,
Es decir, en general, si un conjunto A x
posee supremo e nfimo, entonces
s x x x u , x x A , donde s = inf A, u = sup A
Ejemplo. Sea C = x3, 6, 9x.

1) 9 = sup C?. Veamos:
i ) C x x?. Si, pues por lo menos x 3 x C.
ii ) C est acotado superiormente? Si, en efecto
68
x 11x
tal que x x 11, x x x C
iii ) Conjunto de cotas superiores de C es el intervalo X = [9, + x

iv ) min X = 9.
Por tanto, sup C = 9 y sup C x C
2) 2.5 = inf C?. Veamos:
i ) C x x?. Si.
ii ) C est acotado inferiormente? Si, en efecto
x0x
tal que 0 x x, x x x C
iii ) Conjunto de cotas inferiores de C es el intervalo Y = x- , 3]

iv ) max Y = 3.
Por tanto, inf C = 3 x 2.5. Es decir, 2.5 no es el nfimo de C
/nx
Ejemplo. Sea A = {
x 123x
x x0, , , , ... x 1x .
x 234x
A
/////////////////////////////x
-
1)
x///////////////////////////
x1
1
= sup A ?. Veamos:
9
i ) A x x?. Si, pues para n = 0,
n
= 0 x A.
n x1
ii ) A est acotado superiormente?. Si, en efecto

x2x
tal que x x 2, x x x A
iii ) Conjunto de cotas superiores de A es el intervalo D = [1, + x

iv ) min D = 1.
Por tanto, sup A x min D x 1 x
A.
11
y sup A x A . Luego,no es el supremo de
99
69
2) 0 = inf A?. Veamos:

i ) A x x?. Si.
ii ) A est acotado inferiormente? Si, en efecto
x -1 x
tal que -1 x x, x x x A
iii ) Conjunto de cotas inferiores de A es el intervalo E = x-
, 0]
iv ) max E = 0.
Por tanto, inf A = inf E = 0. Entonces, 0 es el nfimo de A
n
Ejemplo. Probar que el conjunto A = x
x es acotado inferiormente.
/nx
n x1
x 123x
Solucin. Para algunos valores de n , A = x0, , , , ... x 1x . Luego,
x 234x
como n x
Entonces, 0 x
, se tiene: n x 0 x n + 1 x 0 x
x 0.
n x1
, significa que 0 es una cota inferior de A.
,xnx
n x1
Por tanto, A est acotado inferiormente.

Ejemplo. Si F = [0, 3x x [6, 10x, tenemos que:
x sup F = 10, 10 x F; por tanto max F no existe.
x inf F = 0, 0 x F; por tanto min F = 0
Ejemplo. Hallar el supremo, nfimo, mximo y mnimo, si existen, del conjunto
F x xxx
x 5x x 3 x 8x
Solucin. Los elementos de F estn caracterizados por la desigualdad 5 x x 3 x 8 . Entonces,

5 x x 3 x 8 x x8 x 5 x x 3 x 8
x x11 x 5 x x 5
11
x xx1
5
11
x xx x
,1
5
xx
x Fx x
11
,1
5
70
11
,1 .
5
x Se observa que F es acotado superiormente, por ejemplo, por 1 o cualquier otro real
Por tanto,
Fx x
mayor que 1 (Conjunto de cotas superiores es x1, x

x
. Tambin, F es acotado
1111
o cualquier otro real menor que x(conjunto de cotas
55
inferiormente por x
11 x
).5xx
inferiores es x , x
x La menor de las cotas superiores es 1, entonces sup F x 1 y la mayor de las inferiores

es x 1111
, luego inf F x x .
55
11
, son elementos de
5
F concluimos que F no tiene mximo ni mnimo. O sea,
x Como estos nmeros, sup F x 1 e inf F x x
que no estn en
sup F x 1 x F x max ( F ) no existe,

inf F x x
11
x F x min ( F ) no existe.
5
6 (x1)n x 8 n
Ejemplo. Hallar el supremo y el nfimo del conjunto E = xx n x x.
2n x 8
Solucin. Como n x
, se tiene que (x1)n es 1, si n es impar y 1, si n es par.
Sea E = A x B, donde:
x x x A, si n = 1, 3, 5, . . .
( n es impar)
x x x B, si n = 2, 4, 6, . . .
( n es par)
Entonces,
1) Para A, n = 1, 3, 5, . . . ; los elementos de E son de la forma
6 (x1) x 8n x 6 x 8 n x 2 (3 x 4 n)
xx
2n x 82n x 82 (n x 4)
x
En la ltima expresin tenemos que
4n x 319
x4x
nx4nx4
19
x 0, cuando n x
nx4
. Luego,
71
4x
19
x 4, cuando n x
nx4
Para algunos valores de n = 1, 3, 5, . . . , tenemos:

1 9 17 25
,,...A=x , ,
5 7 9 11
x 4x
Por tanto, sup A = 4, inf A =
.
5
2) Para B, n = 2, 4, 6, . . . ; los elementos de E son de la forma

6 (1) x 8n6 x 8n2 (3 x 4 n)
xx
2n x 82n x 82 (n x 4)
x
4n x 313
x4x
nx4nx4
13
x 0, cuando n x
nx4
En la ltima expresin tenemos que
4x
13
x 4, cuando n x
nx4
. Luego,
Para algunos valores de n = 2, 4, 6, . . . , tenemos:

B=x 11 19 27 35
,,,,...
6 8 10 12
x 4x
11
.
6
Por tanto, sup B = 4, inf A =

En conclusin, de 1) y 2) obtenemos:
x sup E = max x sup A, sup Bx = x4, 4x = 4

1 111
,x= .
565
x inf E = min x inf A, inf Bx = x
1.5.7 Definiciones Equivalentes de Supremo e nfimo

1.5.7.1 Supremo
Definicin.- Sea A x x, A x
,ux
. u x sup A si
i ) x x u, x x x A .
ii) x x v, x x x A x u x v , v x
72
Es decir,
u = sup A x {
)
)
()
( ) Indica: si v es otra cota superior de A , entonces u es la menor de las cotas superiores

de A .
Nota. La condicin ii ) es equivalente a la siguiente proposicin:
x x x 0, x x' x A / u x x x' x u
Geomtricamente, esto significa que para cualquier x x 0 que se considere, por ms pequeo
que sea, entre los puntos u x x y u siempre es posible hallar un elemento x x (al menos uno)
del conjunto A . Este elemento x x de A puede coincidir con u .
1.5.7.2 nfimo
Definicin.- Sea A x x, A x
,sx
. s x inf A si
i) s x x, x x x A .
ii) v x x, x x x A x v x u , v x
Es decir,
s = inf A x {
)x
)x
()
( ) Indica: si v es otra cota inferior de A , entonces s es la mayor de las cotas inferiores de

A.
Nota. La condicin ii ) es equivalente a la siguiente proposicin:
x x x 0, x x' x A / s x x' x s + x
73
El elemento x' de A puede coincidir con s .

Ejemplo. Si A x x, B x x, A x
,Bx
son dos conjuntos acotados superiormente tal que
A x B , probar que
sup A x sup B
Solucin. Como A y B estn acotados superiormente, entonces tienen supremo.

Sean, a x sup A y b x sup B . Probaremos que a x b .
De b x sup B x x x b, x x x B
Como A x B se tiene que
x x x A, x x A x x x B x x x b
Es decir, x x x A, x x b . Luego, b es cota superior de A .
Entonces, x x x A, x x a x b ; pues a es supremo de A .
Por tanto, a x b x sup A x sup B .
Ejemplo. Sea A un conjunto acotado. Si denotamos por k A al conjunto
k A x xk x x x x Ax
demostrar que
si k x 0 , entonces sup (k A) x k sup A
Demostracin. Como A es un conjunto acotado, entonces lo es superior e inferiormente ; por
tanto tiene supremo e nfimo.
Sea u x sup A , entonces
ii) x x x 0, x x' x A / u x x x' x u
Como k x 0 , tenemos en:
i ) x x u x k x 0 x k x x k u, x x x A
x k u es cota superior de k A
74
Sea p x k u , entonces k A esta acotado superiormente por p . Slo falta probar que
p x sup (k A) . En efecto,
ii) Si x x 0, k x 0 , entonces para x x x
x 0 , existe
k
xx x A x u x x x x xx x u x u x
x xx x u
k
x k u x x x k xx x k u
x p x x x k xx x p
Es decir, dado x x 0 , x k xx x k A x p x x x k xx x p . Entonces,

sup (k A) x p x k u x k sup A
Por tanto, sup (k A) x k sup A , si k x 0 .
Teorema. Sea A x
, A x x, un conjunto acotado superiormente y sea u x sup A . Entonces,
x x x 0, x x x A tal que u x x x x .
Teorema. Sea A x
, A x x. Si b es una cota superior de x y x x x 0, x x x A tal que
b x x x x , entonces b x sup A .
Demostracin. Sea c cualquier cota superior de A. Probaremos que b x c .
Supongamos, por el absurdo, que x (b x c). Entonces,
x (b x c) x b x c x b c x 0
Como se cumple para todo x x 0 , podemos tomar, en particular, x x b x c x 0 .
Entonces, si x x b x c x 0 , x x x A tal que b x x x x . Luego,
b x x x x x b x (b x c) x x x c x x
(xx)
Vemos que c x x , es una contradiccin; pues ningn elemento de A puede ser mayor
que una cota superior de x . Por tanto, b x sup A .
Ejemplo. Sea A un subconjunto acotado de nmeros reales estrictamente positivos tal que
inf A x 0 . Si
1 x1x
x x x x x Ax
A xxx
pruebe que
111
xest acotado superiormente y que sup.

A inf AA
Prueba. Sea s x inf A , entonces s x inf A x 0 . Por definicin de nfimo se tiene:
75
i) s x x, x x x A.
ii ) Si v x x, x x x A , entonces v x s, v x
Como s x 0 , tenemos en:

11
x ,xxxA
xs
i) 0 x s x x x
x
11
es cota superior de
sA
11
, entoncesest acotado superiormente por u .
sA
Probaremos, luego, que u x sup A . En efecto,
Si hacemos u x
ii ) Supongamos, por el absurdo, que existe otra cota superior v para
tal que
A
vx 1
. Entonces,
s
111
xv xx xxx s, x x x A
xsv
1
xsx
x x, x x x A
v
1
v
xsx
x
1
es cota inferior de A
(xx)
v
Este ltimo resultado contradice al hecho que s es el nfimo de A , pues s
es la mayor de las cotas inferiores de A . Entonces, aceptamos que
u x sup A . Por tanto,
sup
Ejemplo. Sea A x
11111
xux xx supx.
As inf AAinf A
, A x x. Probar que
si u x sup A , entonces x u x inf (x A) .
Solucin. Sea x A x xx x x x x Ax . Como u x sup A , tenemos que:

ii) x x x 0, x xx x A x u x x x xx x u .
Entonces, en:
i) x x u x x u x x x , x x x A
x x u es cota inferior de x A .
Entonces, x A est acotado inferiormente por x u .
76
Probaremos que x u x inf (x A) . En efecto,

ii ) Si x x 0 , para x x x x x 0, x xx x A x u x x x x xx x u
x u x x x xx x u
x x u x x x x xx x x u
x x u x x xx x x u x x
Es decir, dado x x 0 , x x xx x x A x x u x x xx x x u x x . Por tanto,

u = inf ( A)
Ejemplo. Sea A un conjunto no vaco acotado superiormente y sea b x
. Definindose al
conjunto
b + A = {b + x / x x A}
probar que sup (b + A) = b + sup A.
Solucin. Como A est acotado superiormente, A tiene supremo. Sea u = sup A. Entonces,
u = sup A x x x u, x x x A
x b+xxb+u
x b + u es cota superior de b + A
x sup (b + A) x b + u
Probaremos que b + u es la menor cota superior de b + A.
En efecto, sea m cualquier cota superior de b + A. Entonces,
b + x x m, x x x A x x x m b, x x x A
x m b es cota superior de A
x u = sup A x m b
x b+u x m
Como b + u es cota superior de b + A, entonces b + u es la menor cota superior
de b + A. Por tanto se concluye que
sup (b + A) = b + u = b + sup A. O sea, sup (b + A) = b + sup A.
Por ejemplo, si A = {1, 3, 5} y b = -3, entonces
b + A = -3 + {1, 3, 5} = {-3 + 1, -3 + 3, -3 + 5} = {-2, 0, 2}
Luego, sup (b + A) = 2 = -3 + 5 = b + sup A.
/nx
Ejemplo. Sea B = {
/nx
Solucin. B = {
} = {1
/nx
}. Entonces,
= 0, . . . , cuando n x
Para n = 1, 1
valores de
} y b = . Hallar sup (b + B).
, (1
) x 1. Luego, para algunos
se tiene: B = {0, , , , . . . , x 1}.
As tenemos que,
b+B=
x b+B={
/nx
}. Entonces,
77
/nx
b+B={
/nx
}={
, . . . , cuando n x , ( ) x . Por tanto,
Para n = 1,
sup (b + B) =
+ 1 = b + sup B
Proposicin. (Caracterizacin del Supremo e nfimo)

Sea A un conjunto no vaco de nmeros reales y sean u y s nmeros reales. Entonces,
i) u = sup A x {
)
)
ii) s = inf A x {
)
)
)
)
Propiedades
1. Sean A y B conjuntos acotados de
, A x x y B x x. Se define el conjunto
A + B = {x + y x
/ x x A x y x B}
Demostrar que
sup (A + B) = sup A + sup B
Demostracin.
Si A + B = {x + y x
/ x x A x y x B}, se debe demostrar que:
a) x + y x sup (A + B), x x + y x A + B.
En efecto,
x Como A est acotado y por caracterizacin del supremo, se tiene que:
i) x x sup A, x x x A.
ii) x x 0, x x' x A / sup A x x'.
x Como B est acotado y por caracterizacin del supremo, se tiene que:
i)
y x sup B, x y x B.
ii) x x 0, x y' x B / sup B x y'.

Por tanto, de:
(x x sup A, x x x A) x (y x sup B, x y x B) x x + y x sup A + sup B, x x + y x A + B
b) x x x 0, x (x' + y') x A + B / sup( A + B) x x x' + y'.
En efecto, de:
(x x 0, x x' x A / sup A x x') x (x x 0, x y' x B / sup B x y') x
xx
x 0, x (x' + y') x A + B / sup A + sup B
x x' + y'
x x x x 0, x (x' + y') x A + B / sup A + sup B ( + ) x x' + y'

x x x x 0, x (x' + y') x A + B / (sup A + sup B) x x x' + y'
Por tanto de a) y b) se concluye que
78
sup (A + B) = sup A + sup B

2. Sean A y B conjuntos acotados de
, A x x y B x x. Se define el conjunto
A + B = {x + y x
/ x x A x y x B}
Demostrar que
inf (A + B) = inf A + inf B
Demostracin (Ejercicio).
PRACTIQUEMOS
1. Dados los subconjuntos de nmeros reales, hallar el conjunto de cotas superiores, inferiores,
supremo, nfimo, mximo, mnimo en cada caso, si existen.
a) A x x x x
/ x x 3x
b) B x x x x
/ |x 1| x 5x
c) C x x x x
/ x x 4x
d) D x x x x
/ x x 0, 6x x x x 8 x
2. Encontrar el supremo y el nfimo de cada un de los siguientes conjuntos:

a) A x x
c) C = x2 +
e) F = x
cos n x
/nx
nx2
(
/nx
/nx
b) B x x
/nx
d) D x x
/nx
f) H x xx x x x 4, 6x x x 2 x 4 x x 21 x 0 x
3. Dar un ejemplo de dos conjuntos A y B , mediante intervalos, tales que

a) sup (A x B) x inf {sup A, sup B}.
b) inf ( A x B) x sup xinf A, inf Bx
Ax x
4. Dado el conjunto
3n x 11
x (x1)n ()/n x
2n x1
x, determinar si A est acotado. En
caso afirmativo, hallar el supremo y el nfimo de A .

5. Determinar el supremo y el nfimo, si existen, del conjunto
E x xt 2 x 2 x t x 2 x 2 x x x x t x 2 xx , con x x
6. Si A x x x x
/ xx
b
x 5 b x, hallar sup A , si existe; as como inf A .
2
79
/ 2 x x 2 x. Probar que inf C x
7. Sea C x x x x
8. Si A x
y Bx
2.
, A x x , B x x son dos conjuntos acotados inferiormente tal que se
tiene A x B , probar que inf B x inf A.

9. Si A x
, A x x, y acotado inferiormente tal que

Ax
y B x x x 2 x x x Ax
x ,0
demostrar que B est acotado superiormente y que sup B x (inf A)2 .

10. Sea A x
, A x x, acotado superiormente, y sea k un nmero real fijo. Si

B x xx x x k x x x Ax
demostrar que:
a) B tiene nfimo.
b) inf B x x sup A x k .
11. Probar la propiedad multiplicativa del supremo.
Sean A x
y Bx
, A x x , B x x, acotados superiormente.
Si C x xx . y x x x A x y x Bx , entonces sup C x sup A . sup B

12. Sean A x
y Bx
, A x x , B x x, acotados inferiormente. Si
C x xx x y x x x A x y x Bx
probar que:
inf C x inf A x inf B .
13. Sea A un conjunto acotado. Si denotamos por k A al conjunto

k A x xk x x x x Ax
demostrar que:
a) Si k x 0 , entonces inf (k A) x k sup A .
b) Si k x 0 , entonces inf (k A) x k inf A
14. Sean A y B subconjuntos acotados de
Si
tal que inf B x 0 . Probar que
AxA xx
est acotado superiormentex x x x x A x y x B x , entonces
BB xyx
80
x A x sup A
y sup x x x
.
x B x inf B
15. Si A y B son dos conjuntos acotados y disjuntos, verificar, mediante ejemplos, que:
a) sup (A x B) = max {sup A, sup B} (el mayor de los supremos)
b) inf (A x B) = min {inf A, inf B}
(el menor de los nfimos)
c) sup (A x B) x inf {sup A, sup B}

d) inf (A x B) x sup {inf A, inf B}
16. Dados dos conjuntos no vacos A y B de
, definimos los conjuntos A + B y A B como
sigue:
A + B = {a + b / a x A x b x B}, A B = {ab / a x A x b x B}
En cada uno de los ejercicios determine A + B y A B.
a) A = {1} y B = { / n x
b) A = {x x
c) A = B = {x x
}.
/ 1 x x x 2} y B = { }.
/ -1 x x x 1}.
1.6 ESTRUCTURA TOPOLGICA DE

En esta parte abordaremos algunas propiedades topolgicas de
, es decir propiedades
relacionadas con los conceptos de conjuntos abiertos y cerrados. Adoptaremos un lenguaje

geomtrico, diciendo punto en vez de nmero real, y recta en vez del conjunto
Recordemos que intuitivamente un intervalo es abierto si no contiene a sus extremos y es

cerrado si los contiene. La definicin de conjunto abierto y cerrado es una generalizacin de la
idea de un intervalo abierto y cerrado
1.6.1 Vecindad en
Un concepto bsico que se define en el conjunto
, es la de vecindad o entorno de un nmero
real. Este concepto est motivado por la idea intuitiva de cercana o proximidad al punto en
cuestin y constituye una de las ideas fundamentales sobre la cual se apoya el anlisis y la
topologa. Conceptos como el de lmite, continuidad, derivada tiene su origen all, en el de
vecindad o entorno y punto de acumulacin. El concepto de vecindad o entorno es la sntesis
de casi tres siglos de maduracin. La vaga nocin de infinitamente pequeo, de Newton y
Leibnitz encuentra su expresin racional y precisa.
La nocin de vecindad en
se define cuando el par ( , d ) es un espacio mtrico.
81
Idea de mtrica en el conjunto

Una mtrica en el conjunto
, es una funcin
d:
que asocia a cada par de elementos x, y x

a y , de modo que x x, y x
x
, el nmero real d ( x, y) llamada distancia de x
se verifica:
1) d ( x, y) x 0
2) d ( x, y) x 0 x x x y
3) d ( x, y) x d ( y, x)
4) d ( x, z) x d ( x, y) x d ( y, z)
Ejemplo. La funcin
d:
definida por d ( x, y) x x x y define una mtrica en
En efecto, se verifican las condiciones de mtrica:

1) d ( x, y) x x x y x 0 , es evidente por definicin de valor absoluto.
2) d ( x, y) x 0 x x x y .
Se tiene,
d ( x, y) x 0 x x x y x 0 x x x y x 0 x x x y
3) d ( x, y) x d ( y, x)
Tenemos,
d ( x, y) x x x y x y x x x d ( y, x)
4) d ( x, z) x d ( x, y) x d ( y, z)
d ( x, z) x x x z x x x y x y x z x ( x x y) x ( y x z )
x xxy x yxz
(desigualdad triangular)
x d ( x, y) x d ( y, z)
Por tanto, tomando extremos, se tiene lo propuesto:
d ( x, z) x d ( x, y) x d ( y, z)
Definicin.- Sea a un elemento de
i ) Para x x 0 , se llama vecindad x de a, y se denota

Vx (a) x x x x
/ xxa xxx= (
( )o (
), al conjunto
Caracterizamos los elementos de Vx (a) por

x x Vx (a) x a x x x x x a x x
82
De este modo la vecindad Vx (a) es un conjunto que es simtrico respecto a a , y se dice que
Vx (a) es una vecindad de centro en a y radio x .
x
x/////////////////////////////////////x
-x
Vx (a) x x x x
+x
/ x x a x x x x x} x a x x x x x a x x
x x x a x x, a x x
Entonces,
Vx (a) x a x x , a x x .
Por tanto, si a es un punto cualquiera de la recta real y x un nmero positivo, una vecindad de
centro a y radio x es el intervalo abierto a x x , a x x en
Vx (a) x x x x
. O sea,
/a x x x x x a x x x
ii ) Una vecindad de a es cualquier conjunto que contiene una vecindad x de a para

algn x x 0 .
Por ejemplo, si x x 1, a x 4 , entonces
V1 (4) x 3, 5
Una vecindad de a x 4 es, por ejemplo, el intervalo 0, 6 . Pues,
V1 (4) x 3, 5 x 0, 6
Ejemplos:
1) V0 (3) x {x x
x x 3 x 0 } x 3 x 0, 3 x 0 x 3, 3 x x.
2) V1 (5) x {x x
x x 5 x 1 } x 5 x 1, 5 x 1 x 4, 2 .
3) V3 (x 2) x x 2 x 3, x 2 x 3 x x 5, 1 .
4) V4 (6) x {x x
d ( x, 6) x 4 x x 4, 10 .
Notas:
1. d ( x, a) x x x a , significa la distancia del punto x al punto a .
2. Vx (a) x a x x , a x x , es un intervalo abierto de
3. Toda vecindad, es un intervalo abierto. Por tanto, todo intervalo abierto se puede expresar
como una vecindad de algn punto a de
Ejemplos. Expresar como vecindad el intervalo abierto x2 , 5x

Solucin
x x 2, 5 x 2 x x x 5
83
2x5 7
( x)
22
777
xxx x5x
222
xx 373
xxx x
222
73
x xx
x
22
x2x
Entonces,
2, 5 x {x x
xx 737
x x x V3 ( ) .
222
/ 2 x x x 5 x x x{x x
es la definida por d ( x, y) x x x y y se llama distancia
Nota. La distancia ms comn en

usual (Mtrica usual) en
Observacin. Si el nmero positivo x disminuye, las vecindades disminuyen en su longitud.

Es decir, si
0 x x1 x x 2 x x3 x Vx (a) x Vx (a) x Vx (a)
1
Por ejemplo, para a x 5 , son entornos de 5 los intervalos:

119 113317 23
,5xx,; 5x ,5xx,;
22224444
5 x 1, 5 x 1 x 4, 6 ; 5 x
En este caso, x x 1,
13
,.
24
Ejemplo. Todo intervalo abierto c, d , con c x d , es una vecindad de centro a x

radio x x
d xc
x0
2
etc.
cxd
y
2
x///////////////////////// x
c
Es decir, c, d x Vx (
cxd1
) , con x x (d x c) .
22
En la definicin, puede observarse que en el entorno de a , a x x , a x x ; el punto a es punto

medio del intervalo.
Por otro lado, como el intervalo a x x , a x x se define por el conjunto:
84
a x x, a x x x { x x
/ axx x xxa xx}
x {x x
/ xx x x x a x x }
x {x x
/ xxa xxx
entonces, cada vez que se tenga x x a x x significa tener el intervalo abiertoa x, a + x.

Por tanto, x x Vx (a) x x x a x x .
Notas:
1. Notar que a x Vx (a) y que Vx (a) tiene por longitud 2x . En efecto,
d (a x x , a x x ) x a x x x (a x x ) x x 2 x x 2 x , pues x x 0 .
2. Si definimos como el entorno de a a cualquier intervalo abierto que contenga a a ,
implica que a no necesariamente es el punto medio de dicho intervalo abierto. En este
caso, una vecindad de a es tambin un entorno de a .
x/////////////////////////////x
1.6.2 Vecindad Reducida

Si x x 0 y a x , al conjunto
Vxx (a) x Vx (a) x xax x a x x , a x a, a x x
se le llama vecindad reducida de centro a y radio x x 0 . Es decir, es el conjunto de puntos que
resulta de quitarle el punto a , a la vecindad Vx (a) .
x//////////////////x//////////////x
-x
+x
Vxx (a) x a x x , a x x x xax

x x Vxx (a) x 0 x x x a x x .
En efecto,
0x xxa xx x xxa x0 x xxa xx
85
x xax x x x Vx (a)
x xx
(x)
x xax
x x x Vx (a) x x x
x xax )
x x x Vx (a) x (
) x xax
x x x (Vx (a) x
(xx)
x x x Vx (a) x xax
x x x Vxx (a)
x xax .
x x a x 0 x xx
(x) Por probar:
xxa x0 x xxax0 x xxax0

xxxa x xxa
x x x a, x
x xx x , a
x x x x , a x a, x
x xax
x xx x , x
x xx
x xax
(xx) Por probar: A x ( B x C) x ( A x B) x C .

A x ( B x C ) x A x ( B x C x)
x ( A x B) x C x
x ( A x B) x C .
Se observa que una vecindad reducida (o entorno reducido) es la unin de los intervalos
a x x, a
abiertos
a, a x x , por tanto
Vxx (a) x a x x , a x a, x
Nota. Las vecindades reducidas son las ms importantes en el anlisis matemtico.
Ejemplo. Si a x 3 , son vecindades reducidas los conjuntos:
x 3x
x 3x
11
,3x
22
11
,3x
66
x {3} x
V1x (3) x
2
x {3} x V1x (3) x

6
571
,x x3x , x x .
222
17 191
,x x3x , x x .
666
86
1.6.3 Punto Interior

. Un punto p x A se llama punto interior de A si p
Definicin 1.- Sea A un subconjunto de
pertenece a algn intervalo abierto a, b contenido en A . O sea,

p x A es punto interior de A x x a, b x p x a, b x A
. Un punto p x A es punto interior de A si p
Definicin 2.- Sea A un subconjunto de
x 0 contenida en A . Es decir,
pertenece a alguna vecindad o entorno de centro en p y radio

p x A es punto interior de A x x Vx ( p) x p x Vx ( p) x A
Definicin equivalente
Se dice que p de A es punto interior del conjunto A x
intervalo abierto
, si existe un nmero x x 0 tal que el
est contenido en A.
Entonces,
p x A es punto interior de A x x x x 0 /
xA
x/////////////////////////////// x
-x
+x
Ejemplo. Sea el intervalo A = 4, 7
x////////////////////////////////////x
47
Todo x x4, 7es punto interior de A, pues para cada x que pertenece al intervalo dado es
posible encontrar un x x 0 tal que x x, x + xx A. Los extremos 4 y 7 no son puntos
interiores de A, pues no son elementos de dicho conjunto. En particular, por ejemplo, el punto 6
es punto interior A. En efecto, para x = 6 x4, 7y x = 0.5 se tiene que
6 x6 0.5, 6 + 0.5 = 5.5, 6.5x A
Ejemplo. Sea el intervalo B x x0, 5x .
/////////////////////////
87
En B , todo 0 x x x 5 es punto interior de B . 0 y 5 son puntos interiores de B ?.

Se tiene que 0 es elemento de B, pero no es punto interior de B , pues no existe ningn
intervalo abierto que contiene a 0 y que est contenido en B ; o lo que es lo mismo, no existe
ningn x x 0 , por muy pequeo que sea, tal que 0 x x , 0 x x x A . Esto significa que
x x x 0, 0 x 0 x x , 0 x x x x0, 5x x B
En particular para x x 0.09 , se tiene:

0 x 0 x 0.09, 0 x 0.09 x x 0.09, 0.09 x 0, 5
Entonces, cualquier intervalo abierto que contiene a 0 no est contenido en B .
Se puede aplicar el mismo argumento para indicar que 5 no es punto interior de B .
1.6.4 Interior de un conjunto
Definicin.- Sea A x
. El conjunto de los puntos interiores de A se llama interior del
conjunto A , y se representa por int ( A) , o simplemente int A.

Notas:
1) int A x A.
2) Al interior de A tambin se le denota por
. Entonces, de acuerdo a la definicin
de punto interior se tine que

px
x xa, b/ p xa, bx A
px
x xa, b, p xa, bx A
En forma equivalente,
3) Si A x B , entonces int A x int B . Es decir, A x B x

px
Por tanto,
4) Sea A x
. En efecto,
x p es punto interior de A
(Definicin de interior)
x xm, n/ p xm, nx A
(Def. de punto interior)
x xm, n/ p xm, nx B
(Por hiptesis)
x p es punto interior de B
(Def. de punto interior)
x px
(Definicin de interior)
. Entonces, x x
Ejemplo. Sea A = {5, 7, 9}. 7 x
es interior a A si A es vecindad de x .
No. Pues para todo abierto a, b, 7 xa, bx A. Lo mismo ocurre con 5 y 9.
88
En particular, para el intervalo 6, 8, 7 x6, 8x {5, 7, 9}. Es decir, existen nmeros reales
que estn en el abierto 6, 8que no estn en el conjunto finito {5, 7, 9}. Por tanto, ningn
elemento de A est en el interior de A, o sea que
= x.
Nota. Si A x xx1 , x2 , . . . , xn x es un conjunto finito, ninguno de sus puntos es interior. Entonces,

para todo conjunto de la forma anterior se tiene que
= x.
Ejemplo. Sea B x x 3, 2 .
x 0 x int B ?. Si, pues existe la vecindad V1 (0) x x1, 1 tal que 0 x V1 (0) x B . Todo
x x x 3, 2 est en el interior de B .
x 2 x int B ?. No. Pues, toda vecindad Vx (2) x B , x x x 0 . En efecto, en particular

para x x 1 , se tiene: 2 x V1 (2) x 1, 3 x x 3, 2 .
Luego, int B x x 3, 2 x B . (Cuando ocurre esto se dice que B es un conjunto

abierto)
Ejemplo. Sea
x
2
2
x
?. No, pues toda vecindad Vx ( ) x A, x x x 0 . Es decir, existen en la
9
9
2
vecindad Vx ( ) puntos que no pertenecen al conjunto A . En conclusin ningn
9
punto de A es punto interior de A . Entonces,= x.
Nota. En particular, el conjunto
de los nmeros racionales no posee puntos interiores; es
decir, un nmero racional cualesquiera no es interior a

racional contiene nmeros irracionales que no pertenecen a
int
}.
x x, int (
entonces, int
) x x. Con respecto al conjunto
, porque toda vecindad de un nmero

. Por tanto, int
x x. Tambin,
, cualquier nmero real es interior a
Ejemplo. Sea A x a, b , o A x x , b o A x a, x
. En cualquiera de los casos se tiene
que int A x A . En efecto,
x En el primer caso, p x a, b x a, b . ( A x A , x A ).
x En el segundo caso, para p x A , hacemos a x p y tenemos p x a, b x A .
89
x//////////////////// x
-
x El tercer caso es anlogo al segundo.

Ejemplo. Sean A = [c, d], B = [c, + x y C = x- , d]. Entonces,
x int A x c, d . (El interior de un intervalo cerrado es un intervalo abierto).
x int B x c, x
, int C x x , d .
Ejemplo. Si X x c, d x y Y x xc, d , entonces int X x int Y x c, d .x

Ejemplo. Si A x x0, 1x x x2x , entonces
int xx0, 1x x x2xx x int x0, 1x x int x2x x 0, 1 x x x x .
1.6.5 Conjuntos Abiertos

Definicin.- Sea A x
. Se dice que A es un conjunto abierto cuando todos sus puntos son
interiores, esto es cuando int A x A .

Es decir, A es abierto si y slo si, para cada x x A existe un intervalo abierto a, b tal que
x x a, b x A
En smbolos: A x
es abierto x x x x A, x a, b x x x a, b x A .
Definicin Equivalente.
A es un conjunto abierto x x x x A, x x x 0 / x x, x + xx A
As, el conjunto de los puntos interiores de A , int A , es un conjunto abierto; y es el mayor
conjunto abierto incluido en A .
Entonces, un conjunto abierto es tal que cada uno de sus puntos puede ser incluido en una
vecindad (o entorno) que est totalmente contenida en el conjunto; y por tanto, todo conjunto
abierto es una vecindad de cada uno de sus puntos. El tipo ms sencillo de conjunto abierto es
el intervalo abierto.
Ejemplo. Los intervalos finitos abiertos A x a, b son subconjuntos abiertos de la recta. Pues,
podemos escoger el mismo intervalo abierto a, b para cada x x A . O tambin,
90
x x x A, x Vx ( x) x A . Entonces, x x A x x x int A
En particular, el intervalo abierto 4, 7 , es un intervalo abierto. Pues, como se ha afirmado

anteriormente todos sus puntos son interiores.
Ejemplo. La recta real
es un conjunto abierto, pues todos sus puntos son interiores. O sea,
cualquier intervalo abierto a, b debe ser subconjunto de

Entonces,
= int
. Esto es, p x a, b x
, x px .
Nota. Un conjunto A no es abierto cuando existe algn punto de l que no es punto interior.
Por ejemplo, el intervalo
3, 8x no es un conjunto abierto; pues 8 pertenece a 3, 8x , pero
8 x int 3, 8x .
Entonces,
A no es abierto x x x x A / xa, b, x xa, bx A
Ejemplo. El conjunto vaco (x) es abierto.
En efecto, un conjunto A deja de ser abierto si existe en A algn punto que no sea interior.
Como no existe punto alguno en x, estamos forzados a admitir que x es un conjunto abierto.
Nota. A x
es un conjunto abierto si y slo si A =

Ax
Entonces, todo intervalo abierto en
(A coincide con su interior). Es decir,
es abierto x A =
es un conjunto abierto. Pues,
A = a, b x
Ejemplo. Un intervalo (acotado o no) en
= inta, b= a, b= A
es un conjunto abierto si y slo si, es un intervalo
abierto.
Ejemplo. El intervalo cerrado A x x a, bx no es un conjunto abierto. Pues, cualquier intervalo
abierto que contiene a los puntos a o b , contendr necesariamente puntos que no pertenecen
al conjunto A . Luego, los extremos a y b no son puntos interiores de A; es decir, el intervalo
cerrado x a, bx no es una vecindad ni de a ni de b . Pero el interior del cerrado A x x a, bx es un
conjunto abierto, en efecto int A x int x a, bx x a, b .
Ejemplo. Si A x x1, 3 x 5, 8 , entonces A es un subconjunto abierto de la recta

efecto, x x x A , se tiene
. En
x x x1, 3 x 5, 8 x x x x1, 3 x x x 5, 8
91
En cualquiera de los casos existe un intervalo abierto que contiene a x y ste contenido en A .
Ejemplo. E = {0, 2, 4, 6, 8, 10}. E es abierto?. No. Pues, ninguno de sus puntos es punto
= x x E x E no es abierto..
interior. Por tanto,
Nota. Si A x xx1 , x2 , . . . , xn x es un conjunto finito, ninguno de sus puntos es interior. Por tanto,
los conjuntos de esta forma no son abiertos. As mismo
, sus subconjuntos y los conjuntos
finitos de la recta no son abiertos.

Ejemplo. Los intervalos infinitos abiertos, o sea, los subconjuntos de
definidos y
representados por
a, x
x {xx
/ x x a} y
son subconjuntos abiertos de la recta
x , a x {xx
/ x x a}
En efecto,
x x a, + x x x a x x a x 0
x xxx0/x=xax0
x a, 2x ax a, +
Pues, 2x a = x + (x a) = x + x x x x a.
x /////////////////////////////x
Ejemplo. El conjunto A x x
pues x n x
n x1
x
n
x x+x
/n x
3 2 1xx
, , x no es un conjunto abierto,x x x0, . . . ,
36 9 4 xx
Ejemplo. El conjunto A =
, conjunto de los nmeros racionales, no es un conjunto abierto.
Pues, cualquier intervalo abierto centrado en un nmero racional, contiene necesariamente

tambin valores irracionales.
As por ejemplo, si a =
3
x
y x=
1
, tenemos que:
2
3333131
xx x,xx xx,xx 1, 2
2222222
Pero, 1, 2 x
, pues
2 x 1, 2 , pero
2x .
92
Ejemplo. Los intervalos infinitos cerrados, es decir, los subconjuntos de

representados por: x a, x
x
abiertos, pues a x
definidos y
/ x x a } y x , ax x { x x
x {x x
no es punto interior ni de x a, x
x
/ x x a }, no son conjuntos
ni de x , a x .
Notas:
1) El interior de cualquier conjunto A x
, es un conjunto abierto.
2) La unin cualquiera nmero de conjuntos abiertos en
es abierto. Es decir,
Si A1 , A2 , . . . , An , . . . son abiertos en
, entonces
A1 x A2 x . . . x An x . . . es abierto
Es decir, A1 x A2 x . . . x An x . . . =
Ai es abierto.
i x1
3) La interseccin de cualquier nmero finito de conjuntos abiertos en

Si A1 , A2 , . . . , An son abiertos en
es abierto. O sea
, entonces
A1 x A2 x . . . x An es abierto
n
Es decir, A1 x A2 x . . . x An x . . . =
Ai es abierto.
ii x 1
4) En forma resumida: A x
es abierto si x x x A, x x x 0 / x x, x + xx A.
Teorema.
i ) Si A1 x
y A2 x
son abiertos, entonces

A1 x A 2 es abierto
ii ) Si *
es una familia cualquiera de conjuntos abiertos, tal que

Ax
, entonces
Ax es un conjunto abierto
xxI
Demostracin.
i ) A1 x A 2 son abiertos x A1 x A 2 es abierto
x x A1 x A2 x x x A1 x x x A 2
x x a1 , b1 x x x a1 , b1 x A1 x x a2 , b2 x x x a2 , b2 x A 2
x x a, b x x x a, b x a1 , b1 x a2 , b2 x A1 x A 2
x A1 x A 2 es abierto
donde a x max xa1 , a2 x y b x min xb1 , b2 x .
93
/////////////////////////////
x Cualquiera de los nmeros

a1 x x x b1 y a2 x x x b2 x x
x a1 , a2 es menor que b1 , b2 .
Verifiquemos que a, b x a1 , b1 x a2 , b2 . En efecto,

Siendo a x max xa1 , a2 x , un nmero y es tal que
y x a x y x a 1 x y x a2
. (x)
Del mismo modo siendo b x min xb1 , b2 x , se tiene que

y x b x y x b 1 x y x b2
. (xx)
Entonces, de (x) y (xx) tenemos:

a x y x b x a1 x y x b1 x a2 x y x b2
y x a, b x y x a1 , b1
O sea,
x y x a2 , b2
x y x a1 , b1 x a2 , b2
Es decir,
a, b x a1 , b1 x a2 , b2 .
Otra forma:
A1 x A 2 son abiertos
x A 1 x A 2 es abierto.
x x A1 x A 2 x x x A1 x x x A 2
x x x1 x 0 x x x 2 x 0 x
Como A1 y A 2 son abiertos,
x x x1 , x x x1 x A1 x x x x 2 , x x x 2 x A2
Sea x x min xx1 , x 2 x ,
x x x x , x x x x A1 x x x x , x x x x A 2
x x x x , x x x x A1 x A 2
x x x A1 x A2 , x x x 0 x x x x , x x x x A1 x A2
x A1 x A 2 es abierto.
ii ) Sea,
AxxxA x xx
Ax
xxI
x x x x I / x x Ax
x x a, b/ x xa, bx Ax, pues Ax es abierto
x x a, b/ x xa, bx A, pues x x x I, Ax x A
94
Entonces, todo punto de x x A es interior y por consiguiente A es abierto.
Corolario. Si A1 , A 2 , . . . , A n son subconjuntos abiertos de
, entonces
A1 x A 2 x . . . x A n es abierto
n
Es decir, la interseccin de un nmero finito de conjuntos abiertos, es abierto. O sea,
Ai es
i x1
abierto.
En efecto, por una propiedad anterior, se tiene:
A1 x A 2 , es abierto
A1 x A 2 x A3 x A1 x A2 x A3 , es abierto
..........
A1 x A 2 x A3 x . . . x A nx1 x A1 x A 2 x . . . x A nx2 x A nx1 , es abierto
A1 x A 2 x A3 x . . . x A n x A1 x A 2 x . . . x A n x1 x A n x
Ai es abierto.
i x1
Nota. La interseccin de un nmero infinito de conjuntos abiertos puede no ser un conjunto

An no sea abierto.
abierto. Es decir, podemos encontrar que

n x1
Por ejemplo, si consideramos los conjuntos abiertos en
An x x
de la forma
11
,, n x 1, 2, 3, . . .
nn
Entonces tenemos que para

n x 1,
A1 x x1, 1
(0 x A1 )
n x 2,
11
A2 x x ,
22
(0 x A 2 )
n x 3,
11
A3 x x ,
33
(0 x A3 )
.
.
.
x n x , 0 x Ai x 0 x
Ai
i x1
A i x x0x , y
Por tanto,
x0x no es abierto.
i x1
95
Por tanto, una interseccin arbitraria de abiertos no es necesariamente un abierto.

Ejemplo. Sea A x xx1 , x2 , . . . , xn x un conjunto finito de nmeros reales. Si
x1 x x2 x x3 x . . . x xn , entonces
x
+
A x x , x1 x x1 , x2 x x2 , x3 x . . . x xn , x
Como
A es unin de abiertos, concluimos que
xA
A es un conjunto abierto.
Nota. El complemento de todo conjunto finito es abierto. En particular,
n, n x 1 es abierto.
nx
Definicin.- Si A x
, entonces se define el interior de A por

int A x
xX x X
es abierto y X x Ax
Es decir, el interior de A es la unin de todos los subconjuntos abiertos de A .

De lo anterior se tiene que int A x A .
Propiedad. El interior de un conjunto es un conjunto abierto.
En efecto, por definicin el interior es unin de conjuntos abiertos y, por teorema, ste es
abierto.
Como consecuencia de esta propiedad, tenemos que el int A es el conjunto abierto ms
grande que est contenido en A .
Teorema. Sean A y B subconjuntos de
1. A es abierto si y slo si A x int A .

2. Si A x B , entonces int A x int B .
3. int (int A) x int A .
4. int ( A x B) x int A x int B .
96
Demostracin. A manera de ejemplo probaremos la parte 4), los dems quedan como tarea
para el lector.
Por propiedad de conjuntos,
int ( A x B) x int A x int B x int ( A x B) x int A x int B x int A x int B x int ( A x B)
i) (x) int ( A x B) x int A x int B .
Por priopiedad de conjuntos: A x B x A y A x B x B y parte 2, tenemos:
A x B x A x A x B x B x int ( A x B) x int A x int ( A x B) x int B
x int ( A x B) x int A x int B
ii) (x) int A x int B x int ( A x B).
Se sabe que: int A x A y int B x B . Entonces,
int A x A x int B x B x int A x int B x A x B
Por propiedad anterior, el interior de un conjunto es un conjunto abierto. As,
int A x int B es un conjunto abierto (interseccin finita de abiertos).
Por otro lado, int ( A x B) es el conjunto ms grande contenido en A x B . Por
tanto, tenemos que
int A x int B x int ( A x B).
Luego, de i) y ii) se concluye que
int ( A x B) x int A x int B
Nota.
Todo conjunto abierto en
se puede expresar como la unin de una coleccin
numerable de intervalos abiertos disjuntos.

A partir de conjuntos abiertos dados se pueden construir nuevos conjuntos abiertos tomando
reuniones cualesquiera o intersecciones finitas.
11
Por ejemplo, si A n x x ,, n x , entonces
nn
A n x x1 , 1 x x
n x1
A n x x 1 , 1 es abierto. En efecto,
n x1
111111
,xx,x...x x ,x . . . x x1 , 1
2233nn
A n x x 1 , 1 es unin infinita de abiertos.
Se observa que
n x1
PRACTIQUEMOS
1. Si A x 0, 1x y B x x1, 2x , verificar que int ( A x B) x int A x int B .
97
2. Sea A =
xx
/nx
3. Sea E x ( x 1, 1x x
xx 1, 0 , hallar
) x x5, 6 , hallar int E

x
4. Deteminar si los siguientes subconjuntos de

a) A =
int A .
son abiertos.
b) B x x x x
/ x x 1 x 5x
2x 3x
x x1
d) D x x x x
/ x 4 x2 x 4 x x 3 x 0 x
/n x
c) C x x x x
e) E x x x x
/ x x 0 x x2 x x x 1 x 0 x
f) F x x x x
g) G x x x x
/ x x 0x
h) H x x x x
/ x2 x x x 1 x 0
/ x2 x 0 x
5. A cada uno de los conjuntos de la parte (4) hallar su interior.

6. En cada caso, verificar si la unin e interseccin infinita de conjuntos abiertos, es abierto.
a) A n x 0, 1 x
1
n
7. Demostrar que, si x Ax x
, nx
xxI
b) B n x
11
,, nx
2n 2 n x 1
es una familia cualquiera de conjuntos abiertos, entonces

Ax
Ax es un conjunto abierto
xxI
8. Demostrar las siguientes propiedades.

Sean A y B subconjuntos de
1. A es abierto si y slo si A x int A .

2. Si A x B , entonces int A x int B .
3. int (int A) x int A .
9. Dar un ejemplo de dos subconjuntos A y B de
para los cuales
int (A x B) = int (A) x int (B)

10. Sea B x
un conjunto abierto. Entonces, probar que, para todo x x
, el conjunto
x x B x xx x y x y x Bx es abierto.
98
11. Sean A y B conjuntos abiertos en
. Entonces, probar que los conjuntos
A x B x xx x y x x x A, y x Bx y A . B x xx . y x x x A, y x Bx
Son abiertos.
12. Probar que: Si A x
es abierto y a x A , entonces A x xax es abierto.
1.7.5 Puntos de Adherencia

Definicin.- Sea A x
. Un punto p x
se dice que es adherente de A si y slo si toda
vecindad de p , Vx ( p) , es tal que Vx ( p) x A x x.
Es decir, toda vecindad de p contiene por lo menos un punto de A .

O sea, p x
x x Vx ( p), Vx ( p) x A x x.
, es adherente a A x
De la equivalencia anterior, se puede tener que un punto p x

Ax
, es adherente a un conjunto
si y slo si para todo x x 0, p x x , p x x x A x x.
llx///////////////////////// x
Un punto p es adherente a un conjunto A x
si y slo si para todo intervalo abierto I
que contiene a p , se tiene I x A x x.
Ejemplo. Si A x 3, 8 . 3 es punto adherente a A ?. Si, pues

x x x 0, Vx (3) x A x x
En particular, para x x 1, 3 x V1 (3) ; tenemos que

V1 (3) x A x 2, 4 x 3, 8 x 3, 4 x x
Tambin, todo x x 3, 8 , es tambin punto adherente de A. Por qu?. Adems, 8 tambin es
punto adherente a A , por las consideraciones similares dadas para el extremo 3 . Por tanto, los
99
puntos de adherencia del intervalo A x 3, 8 son los puntos interiores de A x 3, 8
y los
puntos extremos 3 y 8 . Es decir, el conjunto de puntos adherentes a A x 3, 8 es el intervalo

cerrado x3, 8x . Se dice, tambin, que 3 y 8 son puntos frontera de A .
Nota. Por tanto, es claro que todo punto p x A es adherente a A . Tambin, se puede tener
p adherente a A sin que p pertenesca a A . Por ejemplo, si A x 0, x
, entonces 0 x A ,
pero 0 es adherente a A . Los puntos adherentes de un conjunto A son los puntos interiores de
A y sus puntos fronteras. Entonces, el conjunto de puntos adherentes de A x 3, 8
x3, 8x x
es
3, 8 x x3, 8x .
Se hace, pues, evidente que todo punto interior y todo punto frontera es punto de adherencia.
Al conjunto de los puntos de adherencia de un conjunto A se le denomina adherencia,
clausura o cerradura de A , y se representa por A o cl A .
Teorema.
Un punto p x
es adherente a un conjunto A x
si y slo si, para todo x x 0 se tiene
A x a x x, a x x x x
Corolario.
Sean A x
acotado inferiormente y B x
acotado superiormente. Entonces, s x inf A es
adherente a A y u x sup B es adherente a B .
1.7.6 Cerradura o Clausura

Definicin.- Sea A x
. El conjunto de todos los puntos adherentes al conjunto A se llama
clausura o cerradura de A , y se denota por A o cl A .

Es evidente que:
x A x A, x A.
x AxB x A x B
x int A x A
Ejemplo. La cerradura de todo intervalo abierto de la forma X x a, b es el intervalo cerrado
x a, b xEs
. decir, X x a, b x x a, bx . En este caso, todo punto interior del intervalo abierto es
adherente y tambin los puntos a y b son adherentes al intervalo abierto X x a, b .
100
Ejemplo. Si B x x1, 3, 5, 7, 9x , cada uno de su puntos es adherente. En efecto, para p x 1 , 1

es adherente a B , pues x x x 0 se tiene B x 1 x x , 1 x x x x. Lo mismo ocurre con los
dems elementos de B . Por tanto, B x x1, 3, 5, 7, 9x
Ejemplo. Como todo punto de
es adherente a
, cl
1.7.7 Conjuntos Cerrados

Un conjunto A x
, se dice que es cerrado si y slo si, todo punto adherente a A pertenece a
A . Es decir, diremos que el conjunto A es cerrado cuando A x A .

Ejemplo. Todo intervalo cerrado E x x a, bx es un conjunto cerrado. Tambin lo son
x a, x
x
, x ,b .
Ejemplo. Si F x x0, 1x , F es cerrado. Pues, todo punto del int F x 0, 1 y Fr F x x0, 1x son
puntos de adherencia de F . Por tanto, F x x0, 1x x F .
Nota. La clausura de un conjunto A x
es un conjunto cerrado, y es el menor conjunto
cerrado que contiene al conjunto A . Es decir, A es un conjunto cerrado.

: x xx y , tenemos,
Ejemplo. Para los subconjuntos de

x
x
xxx x xxx . Por qu?

x
cl
. Es decir, el conjunto
cerrado. Del mismo modo, el conjunto
de los nmeros racionales no es un conjunto
de los nmeros irracinales tampoco es
cerrado. Por qu? .

Ejemplo.
Los conjuntos
subconjunto de
y x son al mismo tiempo cerrados y abiertos. Pero existen
que no son abiertos ni cerrados, como por ejemplo los intervalos del tipo
x a, b o a, bx , en este caso x a, b x x a, bx y a, bx x x a, bx .xx
Ejemplo. Si A x
es al mismo tiempo cerrado y abierto, entonces A x x o A x
Teorema.
Un punto a es adherente al conjunto A x
si y slo si, toda vecindad de a contiene algn
punto de A ..
101
Nota.
Por el teorema anterior, para que un punto a no pertenezca a A es necesario y
suficiente que exista una vecindad de V de a tal que V x A x x. Es decir,

a x A x x x x 0x a x x, a x x x A x x
Teorema.
Un conjunto A x
es cerrado si y slo si, su complemento C A x
x A es abierto.
Todo conjunto finito H x xx1 , x2 , . . . , xn x es cerrado, pues su complemento es
Ejemplo.
abierto. En efecto,
x H x x , x1 x x1 , x2 x . . . x xn , x
CH x
es unin de abiertos. Por tanto, C H es abierto. Entonces,

H x xx1 , x2 , . . . , xn x x xx1 , x2 , . . . , xn x
Definicin.- A x
es un conjunto cerrado, si y slo si, su complemento, C A, es un conjunto
abierto.
Ejemplos:
1. A = {1, 2, 3}. A es cerrado?. Veamos:
C A = x- , 1x x x1, 2x x x2, 3x x x3, + x
Como cada uno de estos conjuntos es abierto, entonces la unin es abierto; o sea que
C A. es abierto. Luego, A es cerrado.
n x1
), n x
n2
A es cerrado, ya que:
2. A = (
C A = x- , 0x x
A es cerrado?
n x1
1nn x1
, 2 x x x , + x , es abierto.
(n x 1)2 n4
Algunas conclusiones:
x A = [a, b] en
, es cerrado.
x B = x, es cerrado.
x C=
, es cerrado.
x D = [a, bx en
, no es cerrado
x E = {2}, es cerrado.
102

Capitulo 1 Analisis I

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Capitulo 1 Analisis I

Diunggah oleh

Hak Cipta:

Format Tersedia

Apuntes de Anlisis I

NOCIONES BSICAS Y ALGUNAS REFERENCIAS TOPOLGICAS DEL CAMPO

, interpretaremos el valor absoluto x x y como la distancia del punto x al

punto y ( d ( x, y) x x x y ); los intervalos como segmentos de recta. En particular, el intervalo

est formado por todos los puntos que distan

menos que x del punto a. Es decir, si x x

entonces, la distancia del punto x al

punto a es menor que x , o sea d ( x, a) x x x a x x .

Veamos un ejemplo en particular. Si x x

Tales interpretaciones geomtricas constituyen un valioso auxilio para comprender los

interior, exterior y frontera. Es por ello, que la nocin de vecindad o entorno en

cuando el par ( , d ) es un espacio mtrico.

1.2 ESTRUCTURA ALGEBRAICA DE

, es un conjunto cuyos elementos se llaman

existen numerosas propiedades que pueden agruparse en tres familias:

el primer grupo corresponde a aquellas asociadas a la igualdad y las ecuaciones; el segundo

, deben ser una consecuencia de ciertos postulados

, suele decirse, en forma breve, que

es un Campo o cuerpo Ordenado, Completo

estn definidas dos operaciones internas llamadas adicin y

multiplicacin, que satisfacen las siguientes condiciones:

2) Axiomas de Campo de los Reales

ii ) Axioma 2. Conmutatividad: para cualquier x, y x

consecuencia directa de ellos es que el conjunto de los nmeros reales es no vaco.

elementos distintos 0 y 1 (0 x 1) , tales que

A los reales 0 y 1 se les llama neutro aditivo y neutro multiplicativo, respectivamente,

Probaremos que e1 = e2. En efecto,

Pues, e2 es elemento neutro

Pues, e1 es elemento neutro

posee un inverso aditivo - x x

, x x 0, posee un inverso multiplicativo x -1 x

Al nmero x-1 se le llama el recproco de x, denotado por x-1 = , y por tanto

, el inverso aditivo es nico.

, x x 0, el inverso multiplicativo es nico.

Debemos probar que m = n. En efecto, usando las ecuaciones anteriores y los

b) La demostracin de la unicidad del inverso multiplicativo es anloga y se propone

Con los cinco axiomas enunciados anteriormente, afirmamos que

con las operaciones + y ,

forma un campo, que denotaremos como ( , +, ).

relacionadas con la igualdad

A continuacin demostraremos algunas propiedades de los nmeros reales que usamos

tienen solucin y dicha solucin es nica

Luego, sea x = -a + b. Veamos que este real satisface la ecuacin. En

Supongamos que los reales x1 y x2 son dos soluciones de la ecuacin

La unicidad ser demostrada si se concluye que x1 = x2 .

y se llamar cociente entre x e y . Es

. Luego, si a x 0 se tiene que

un real cualquiera. Debemos probar que a . 0 = 0.

O sea debemos probar que el real a . 0 es el neutro aditivo en

Probemos la propiedad ( ) en general:

= x + [(a + (-a)) + a . 0] Axioma 4

4) Regla de los signos

En efecto, esta igualdad pretende que el opuesto de x . y es el real x . (-y).

tales que d . b x b , entonces d x 1 .

tales que a + b = 0, entonces b x x a .

tales que a . b = 1, entonces b x

El axioma iv ) permite resolver la ecuacin a x x x 0 y a . x x 1 ( a x 0 ), y estas soluciones

a) la ecuacin a x x x b tiene solucin nica x x (x a) x b ,

b) Ejercicio para el lector.

Por otro lado, como

Ejemplo. Demostrar que, si a x

inverso aditivo, que (x1) . a x x a .

a x (x1) . a x 1 . a x (x1) . a x (1 x (x1)) . a