Documente Academic
Documente Profesional
Documente Cultură
CAPTULO 1
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
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
Apuntes de Anlisis I
, es condicin necesaria y
en un espacio mtrico; tales como punto
se define
nico.
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
y Arquimediano.
1.2.1
Esto significa que en
x
( x, y)
:
x
x +(
x
(x, y)
b) la multiplicacin, su producto
:
Apuntes de Anlisis I
, se tiene
( x x y) x z x x x ( y x z) 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
,xxx
y x + e2 = x, x x x
Apuntes de Anlisis I
= e2 + e1
Axioma 2
= e2
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
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
tal que
b) x x x
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,
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
Apuntes de Anlisis I
, se tiene
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)
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
Apuntes de Anlisis I
y a + x2 = b.
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
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
Apuntes de Anlisis I
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
. 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
Axioma 3
Axioma 2
Resultado anterior
= x+0
Axioma 4
=x
Axioma 3
Apuntes de Anlisis I
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
, 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.
Apuntes de Anlisis I
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
Apuntes de Anlisis I
( 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
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
1
.
a
Demostracin.
a) Probaremos: a, b x
, a x b x 0 x b x x a . En efecto,
11
Apuntes de Anlisis I
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
. Entonces,
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 .
12
Apuntes de Anlisis I
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
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
Si probamos que
, entonces (x1) . a x x a .
a x (x1) . a x 0 , habremos demostrado, por la unicidad del
En efecto,
13
Apuntes de Anlisis I
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) .
, 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
Apuntes de Anlisis I
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).
Axioma B2
3xC
Axioma B1
4, 3 x C x 3 + 4 = 7 x C
Axioma B3
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
x 3y + (3.3-1) z + 1 x C
Axioma 1
x 3y + z + 1 x C
Axiomas 4 y 3
Axioma B3
x C).
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
x p.q x
; o sea que el conjunto
tambin es un
campo.
15
Apuntes de Anlisis I
A los elementos de
ejemplo:
que no estn en
, 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
1
. Esta serie tiene como suma
10
. Este
En este caso, p x
xx
53
.
165
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
Apuntes de Anlisis I
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
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
, a x 0 y b x 0, demuestre que
17
Apuntes de Anlisis I
(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
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
b) x x, y x
18
Apuntes de Anlisis I
d) x a x
, a2 = 0 x a = 0.
, w x 0, z x 0 lo siguiente es verdadero
/ 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.
tales que x + y = x y y + x = y.
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
tambin lo es.
8. Si u nmero x x
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
19
Apuntes de Anlisis I
nmero real.
15. Dado x x
18. Existen a, b, c x
y = 0.
20. Si a, b, c x
b = c.
1.4.1
es un Cuerpo Ordenado
Se afirma que
llamado conjunto de los nmeros reales estrictamente positivos, que cumple las siguientes
condiciones (axiomas):
P1. Clausura
+
x a x bx
x a.b x
P2. Tricotoma
Si 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
= {a / a x
es la unin de
y {0}.
20
Apuntes de Anlisis I
Si escribimos mediante
; entonces por la
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
, por P1
Nota. Algunos autores reservan el trmino positivo para los elementos del conjunto
+
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
. Es decir,
bx a x
Notacin.
x x0x =
. Entonces,
x axb
bx a x
x bx a
tal que b x a x c .
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.
iv) a x b x a x b x a = b.
tal que 5 = 3 + 2.
21
Apuntes de Anlisis I
a x b x bx a x
; es decir, a es positivo.
+
x bx a x 0
a x b x b x a x 0.
, 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
negativos.
x
+
0
= { x/ x x 0} =
= {x / x x 0} =
y x x x 0)
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
se tiene a x c x b x c
22
Apuntes de Anlisis I
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)
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
Apuntes de Anlisis I
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 =
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
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
Apuntes de Anlisis I
y x1 x x x1 . (o x-1 x y-1)
y x1 x x x1 . En efecto,
Prueba. Demostraremos, 0 x x x y x
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
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
0x
entonces
y (n x
. Tambin, si m , n x
.. 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
25
Apuntes de Anlisis I
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
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
a . b x 0 x (a x 0 x b x 0) x (a x 0 x b x 0)
a.b x0 x a x 0
x ax0 x ax0
26
Apuntes de Anlisis I
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.
a . b x 0 x (a x 0 x b x 0) x (a x 0 x b x 0)
, se tiene
(1 x x)n x 1 x n x
, x2 + y2 x 2xy
27
Apuntes de Anlisis I
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
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
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.
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
1
.
4
Solucin.
a x 0 x b x 0 x (a x b) x
x (a x b)2 x 0
28
Apuntes de Anlisis I
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
c) 3 x x x
1
x3xx
xx2
5. Demostrar: Si a x 0 y b x 0, a , b x
, entonces
29
Apuntes de Anlisis I
axb x
ax
6. Si a x
7. Si a , b x
, x x 0 , entonces a x 0 .
geomtrica es
axb
y su media
2
a y b es
axb
2
ab x
a1 . a2 . . . an x
a1 x a2 x . . . x an
n
ab x b .
10. Si 0 x c x 1 y m, n 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.
a) (x + y) (y + z) (z + x) x 8 xyz.
b) x3 + y3 + z3 x 3 xyz
13. Determinar la veracidad de las siguientes afirmaciones:
1. Todo nmero real no nulo, es estrictamente positivo o estrictamente
negativo, pero no ambos.
30
Apuntes de Anlisis I
positivo.
6. Dados x, y x
positivo.
7. Dados x, y x
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
se tiene que
x z x y z.
11. Si x, y x
obtiene a x ay x 0.
12. Dados x, y x
x z x y w.
xa, x ax .
31
Apuntes de Anlisis I
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
Apuntes de Anlisis I
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
Se sabe que:
.... ( )
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
. ( )
(Ejercicio).
33
Apuntes de Anlisis I
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
..... ( )
.....( )
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.
Corolario.
Para cualquiera x1 , x2 , . . . , xn de
se tiene
x1 x x2 x . . . x xn x x1 x x2 x . . . xn
. 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
x xxaxx
x x ( x x a) x x
x x xa xx
x x x a x xx
34
Apuntes de Anlisis I
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 .
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
Apuntes de Anlisis I
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
xx
xxx5
3
/x
Por tanto, A x x x x
5
x x x 5 x.
3
/ x x 1 x x x 1 x.
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
Apuntes de Anlisis I
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
Apuntes de Anlisis I
xxxy
x x y x x2 x y 2 .
Por tanto, de i ) y ii ) ,
......... ( )
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 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
38
Apuntes de Anlisis I
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
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
, x x z , probar que
xxyxz x xxy x yxz x xxz
9. Dados a, b x
39
Apuntes de Anlisis I
-.
conjunto
1.4.4 Intervalos
En virtud de la relacin menor o igual definida en
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
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
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
. Pero, el conjunto
40
Apuntes de Anlisis I
/ -5 x x x 0} x { x x
I x {x x
/ 3 x x x 6}
no es un intervalo de
1. [ a, b ] = { x x
2. x a, b x = { x x
3. [ a, b x = { x x
4. x a, b ] = { x x
5. x x , b ] = { x x
6. x x , b x = { x x
7. [ a, x x = { x x
8. x a, x x = { x x
9. x x , x
x=
: la recta real.
tambin se puede hacerlo por (a, b) o -
,.
Observaciones:
1. Cuando a = b, el intervalo ,
*+
.
- 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
Apuntes de Anlisis I
genricas hay inecuaciones de 1, 2 o ms incgnitas y entre las de una incgnita las hay de
primer, segundo, tercer o mayor grado.
donde la
( 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
Apuntes de Anlisis I
-3
Como la relacin es x slo tomamos en cuenta los intervalos con signo (-). Por tanto,
x x x3, 4 .
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
Apuntes de Anlisis I
/ 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]
/ 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
/ 0 x x x 3x, pero no en
/ -2 x x x 0x. Es decir,
A C = xx x
/ 0 x x x 3x = x0, 3]
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
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
x x r x x x r o x x xr
como una recta (la recta real) y los nmeros reales como
d ( x, y) x x x y x y x x x d ( y, x) .
44
Apuntes de Anlisis I
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) .
Esta interpretacin de
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
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
45
Apuntes de Anlisis I
-2 5 = -7
-2
-2 + 5 = 3
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
Apuntes de Anlisis I
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
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
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
Apuntes de Anlisis I
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
es un campo completo.
Finalizamos la caracterizacin de
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
no puede
(que lo distingue de
, 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
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
Apuntes de Anlisis I
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
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
49
Apuntes de Anlisis I
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
x x A, x x b.
Cota inferior
Definicin.- Sea A x
x x A, a x x.
Ejemplo. Sea el con junto A = [-2, 4].
Cotas inferiores de A
Cotas superiores de A
///////////////////////////////////
-5
////////////////////////////////////
-2
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.
(A x
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
/ x x u, xx x A
50
Apuntes de Anlisis I
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
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
/ 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
51
Apuntes de Anlisis I
x- , 0] x x
/////////////////////////////////
/////////////////////////////
Conjunto de cotas
inferiores de
Conjunto de cotas
superiores de
Observaciones:
1) u x
, sx
(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
xx x x A, x x 5
x =5 x 5 x x x 5
52
Apuntes de Anlisis I
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
//////////////////////////////////////
-
//////////////////////////////////////////
-
///////////////////////
0
2/9 1/4
x0x
n x1
x 1 x 2, x n x
n2
n x1
x 2, x n x
n2
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
Apuntes de Anlisis I
71
x (n x )2
164
xx
127
) xx,xnx
416
Por tanto, 2 es cota superior de C.
Entonces, (n x
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
n x1
, xnx
n2
?.
Dos formas:
54
Apuntes de Anlisis I
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
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
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 =
x x2 x . / =
x3
Por tanto, x x A. Esto quiere decir que ningn real mayor que
conclusin, m =
puede estar en A. En
Si expresamos A = {xx
/ x2 x 3} = {xx
/ -
x x x } = [- , ], observamos 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
O sea,
55
Apuntes de Anlisis I
Ax
se dice acotado x x k x 0 / x x A x x x k
inferiormente
Ejemplos:
1. Los intervalos abiertos a, b y los intervalos cerrados x a, bx son conjuntos acotados. En
ambos casos,
x , ax .
////////////////////////////////////
//////////////////////////////
0
x 2n x
x 1 x 2n x 1 x
x1
puede estar en A. Por tanto,
|x2 3| x 1 x
56
Apuntes de Anlisis I
|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
5) El conjunto
conjuntos
,nx
fijo,
////////////////////////////
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
Apuntes de Anlisis I
A={
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 = {
////////////////////////////
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
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
Apuntes de Anlisis I
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 = {
,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
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
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
Apuntes de Anlisis I
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
se
Cotas superiores de A
//////////////////////////
+
u = sup A = min (cotas superiores)
x /////////////////////////////////////
60
Apuntes de Anlisis I
. Luego,
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
...... ( )
61
Apuntes de Anlisis I
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
x.
, tenemos:
n = 0,
cos n xcos 0 1
x;=
nx222
n = 2,
n = 4,
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.
62
Apuntes de Anlisis I
1.5.5.2 nfimo
Definicin.- Sea A x
sx
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
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
Apuntes de Anlisis I
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
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
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
Apuntes de Anlisis I
la medicin).
5) Sirve para demostrar la densidad de
en
y de
circunferencia.
En la parte anterior vimos que hay conjuntos acotados superiormente que no poseen
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.
/ x2 x 2} x
, tiene supremo?
Veamos:
x2 x 2 x - x x x
/////////////////////
/////////////////
(cotas inferiores) -
+
(cotas superiores)
Tenemos:
x Ax
, es acotado.
65
Apuntes de Anlisis I
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 (
, por que
no cumple el axioma
/ x2 x 2} = x0,
xx
, pues x
En efecto,
Supongamos, por el absurdo, que
Entonces,
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
Nota.
(xx)
. Por tanto, la suposicin es
/nx
3. Dados a, b x
tal que a n x b.
, existe n x
} es igual a 0.
es un campo
arquimediano.
Teorema (Propiedad arquimediana)
66
Apuntes de Anlisis I
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}
/ r2 x 2}
, es decir x
67
Apuntes de Anlisis I
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
(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,
Luego,
68
Apuntes de Anlisis I
x 11x
tal que 0 x x, x x x C
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
tal que x x 2, x x x A
11
y sup A x A . Luego,no es el supremo de
99
69
Apuntes de Anlisis I
tal que -1 x x, x x x A
, 0]
iv ) max E = 0.
Por tanto, inf A = inf E = 0. Entonces, 0 es el nfimo de A
n
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
,xnx
n x1
x 5x x 3 x 8x
x Fx x
11
,1
5
70
Apuntes de Anlisis I
11
,1 .
5
x Se observa que F es acotado superiormente, por ejemplo, por 1 o cualquier otro real
Por tanto,
Fx 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
que no estn en
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
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
4n x 319
x4x
nx4nx4
19
x 0, cuando n x
nx4
. Luego,
71
Apuntes de Anlisis I
4x
19
x 4, cuando n x
nx4
x 4x
.
5
4n x 313
x4x
nx4nx4
13
x 0, cuando n x
nx4
4x
13
x 4, cuando n x
nx4
. Luego,
x 4x
11
.
6
,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
Apuntes de Anlisis I
Es decir,
u = sup A x {
)
)
()
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
()
73
Apuntes de Anlisis I
,Bx
A x B , probar que
sup A x sup B
74
Apuntes de Anlisis I
Sea p x k u , entonces k A esta acotado superiormente por p . Slo falta probar que
p x sup (k A) . En efecto,
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
Teorema. Sea A x
x x x 0, x x x A tal que u x x x x .
Teorema. Sea A x
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
75
Apuntes de Anlisis I
i) s x x, x x x A.
ii ) Si v x x, x x x A , entonces v x s, v x
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
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) .
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 .
76
Apuntes de Anlisis I
. 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
, (1
As tenemos que,
b+B=
x b+B={
/nx
}. Entonces,
77
Apuntes de Anlisis I
/nx
b+B={
/nx
}={
Para n = 1,
sup (b + B) =
+ 1 = b + sup B
)
)
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
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.
x x' + y'
78
Apuntes de Anlisis I
, 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
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
Ax x
4. Dado el conjunto
3n x 11
x (x1)n ()/n x
2n x1
6. Si A x x x x
/ xx
b
x 5 b x, hallar sup A , si existe; as como inf A .
2
79
Apuntes de Anlisis I
7. Sea C x x x x
8. Si A x
y Bx
2.
y B x x x 2 x x x Ax
x ,0
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.
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:
Si
AxA xx
est acotado superiormentex x x x x A x y x B x , entonces
BB xyx
80
Apuntes de Anlisis I
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}
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}.
, es decir propiedades
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
81
Apuntes de Anlisis I
, es una funcin
d:
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:
(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)
/ xxa xxx= (
( )o (
), al conjunto
82
Apuntes de Anlisis I
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
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
83
Apuntes de Anlisis I
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
5 x 1, 5 x 1 x 4, 6 ; 5 x
En este caso, x x 1,
13
,.
24
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
84
Apuntes de Anlisis I
a x x, a x x x { x x
x {x x
/ xx x x x a x x }
x {x x
/ xxa xxx
x/////////////////////////////x
x//////////////////x//////////////x
-x
+x
x x Vxx (a) x 0 x x x a x x .
En efecto,
0x xxa xx x xxa x0 x xxa xx
85
Apuntes de Anlisis I
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 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
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
571
,x x3x , x x .
222
17 191
,x x3x , x x .
666
86
Apuntes de Anlisis I
x 0 contenida en A . Es decir,
Definicin equivalente
Se dice que p de A es punto interior del conjunto A x
intervalo abierto
est contenido en A.
Entonces,
p x A es punto interior de A x x x x 0 /
xA
x/////////////////////////////// x
-x
+x
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
Apuntes de Anlisis I
x xa, b/ p xa, bx A
px
x xa, b, p xa, bx A
En forma equivalente,
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
x xm, n/ p xm, nx B
(Por hiptesis)
x p es punto interior de B
x px
(Definicin de interior)
. Entonces, x x
es interior a A si A es vecindad de x .
88
Apuntes de Anlisis I
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.
= 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 .
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.
}.
x x, int (
entonces, int
x x. Tambin,
Ejemplo. Sea A x a, b , o A x x , b o A x a, x
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
Apuntes de Anlisis I
x//////////////////// x
-
, int C x x , d .
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
Apuntes de Anlisis I
x x x A, x Vx ( x) x A . Entonces, x x A x x x int A
= 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
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 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 .
. En
x x x1, 3 x 5, 8 x x x x1, 3 x x x 5, 8
91
Apuntes de Anlisis I
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..
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
definidos y
representados por
a, x
x {xx
/ x x a} y
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 =
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
Apuntes de Anlisis I
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.
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
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
ii ) Si *
, 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
Apuntes de Anlisis I
/////////////////////////////
. (x)
. (xx)
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
x x x1 , x x x1 x A1 x x x x 2 , x x x 2 x A2
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
Apuntes de Anlisis I
, entonces
A1 x A 2 x . . . x A n es abierto
n
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 n x A1 x A 2 x . . . x A n x1 x A n x
Ai es abierto.
i x1
An x x
de la forma
11
,, n x 1, 2, 3, . . .
nn
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
Apuntes de Anlisis I
x
+
A x x , x1 x x1 , x2 x x2 , x3 x . . . x xn , x
Como
xA
A es un conjunto abierto.
n, n x 1 es abierto.
nx
Definicin.- Si A x
xX x X
es abierto y X x Ax
96
Apuntes de Anlisis I
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.
A n x x 1 , 1 es abierto. En efecto,
n x1
111111
,xx,x...x x ,x . . . x x1 , 1
2233nn
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
Apuntes de Anlisis I
2. Sea A =
xx
/nx
3. Sea E x ( x 1, 1x x
xx 1, 0 , hallar
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
1
n
7. Demostrar que, si x Ax x
, nx
xxI
b) B n x
11
,, nx
2n 2 n x 1
Ax es un conjunto abierto
xxI
, el conjunto
x x B x xx x y x y x Bx es abierto.
98
Apuntes de Anlisis I
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
. Un punto p x
x x Vx ( p), Vx ( p) x A x x.
, es adherente a A x
, es adherente a un conjunto
llx///////////////////////// x
En forma equivalente:
Un punto p es adherente a un conjunto A x
99
Apuntes de Anlisis I
y los
, 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
A x a x x, a x x x x
Corolario.
Sean A x
acotado inferiormente y B x
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
Apuntes de Anlisis I
es adherente a
, cl
, 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 .
cl
. Es decir, el conjunto
Los conjuntos
subconjunto de
que no son abiertos ni cerrados, como por ejemplo los intervalos del tipo
Ejemplo. Si A x
Teorema.
Un punto a es adherente al conjunto A x
punto de A ..
101
Apuntes de Anlisis I
Nota.
Teorema.
Un conjunto A x
x A es abierto.
Ejemplo.
abierto. En efecto,
x H x x , x1 x x1 , x2 x . . . x xn , x
CH x
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