Ignacio Domingo Trujillo Silva

itrujill@ing.uchile.cl
Supremos e nfimos
a) Sea 9 : f definida por
2 3
1 2
) (
+
+
=
n
n
n f . En caso que exista, conjeture el valor del
)) (Im( f Inf y )) (Im( f Sup , y demuestre que tu conjetura es correcta.
Solucin:
Encontraremos el )) (Im( f Inf :
Lo primero que debemos analizar son los elementos del conjunto ) Im( f , (para tener una
idea del comportamiento de la funcin).
( )
( ) 2 1 3
1 1 2
) 1 (
2 3
1 2
) (
14
9
) 4 (
11
7
) 3 (
8
5
) 2 (
5
3
) 1 (
+ +
+ +
= + <
+
+
= < < = < = < = < =
n
n
n f
n
n
n f f f f f
Notemos que si 1 > n se tiene que ) 1 ( ) ( + s n f n f , por lo tanto ) ( ) 1 ( n f f s , . 1 > n
Ahora bien, .
5
3
) 1 ( = f Entonces necesitamos demostrar que .
2 3
1 2
5
3
+
+
s
n
n
(3)
Partamos con que 1 0 s n . 1 > n
1
( ) ( )
2 3
1 2
5
3
1 2 5 2 3 3
5 10 6 9
6 5 9 10 0
1 0
+
+
s
+ s +
+ s +
+ s
s
n
n
n n
n n
n n
n

1
Desigualdad trivial, proveniente de la mxima simplificacin de la ecuacin 3.
Preposicin 1: Si s es cota superior de A y adems s pertenece a A, implica que s es
Mximo y Supremo de A.
Preposicin 2: Si s es cota inferior de A y adems s pertenece a A, implica que s es
nfimo y Mnimo de A.
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
Por tanto, , ) (
5
3
e s n n f esto implica que
5
3
es cota inferior de la ) Im( f y como
) Im(
5
3
f e se tiene que el
5
3
)) (Im( = f Inf .
2
Ahora, encontraremos el )) (Im( f Sup
3
:
Para cada 0 > existe > e )) (Im( ) ( / ) Im( ) ( f Sup n f f n f
Notemos que
3
2
es cota superior y adems un posible supremo
4
, entonces demostremos que
3
2
es supremo.
>
+
+
3
2
2 3
1 2
n
n

2
Preposicin 1.
3
Se desea probar que cierto nmero es un supremo o nfimo, se debe escoger entre dos tipos de
demostraciones la que ocupa la Preposicin 1, y la que recurre al psilon. Cada ejercicio tiene solo una
manera de resolverse, por ello se debe tener extremo cuidado al elegir el tipo de demostracin. El secreto est
en analizar si el supremo o nfimo es un elemento con n finito (f(n) con n finito, se ocupa preposicin 1, 2), o
si se trabaja con n infinito (ocupar demostracin por psilon, como se ve en el siguiente ejemplo).
4
Por qu es un posible supremo? Como la funcin es creciente ) 1 ( ) ( + s n f n f al hacer crecer n, los
valores que dirigen la ecuacin son el 2n en el numerador y el 3n en el denominador, cuando los n son
grandes se simplifican y se intuye el posible supremo, en este caso
3
2
.
El ejercicio que se expone a continuacin no utiliza la preposicin 1, sino que recurre
a la demostracin por . Esta demostracin se ocupa cuando se escoge un n lo
suficientemente grande que nos asegura la convergencia a nuestro supremo o nfimo.
Definicin de Supremo: Para cada 0 > existe A a e / > ) (A Suf a
Definicin de nfimo: Para cada 0 > existe + < e ) ( / A Inf a A a
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
( )
3
2
9
1
2
3
1
3
2 3
3
4
2 1 2
2 3
3
2
1 2
3
2
2 3
1 2
>
>
+ > +
+ |
.
|

\
|
> +
>
+
+

n
n
n n n
n n
n
n
Entonces existe por Propiedad Arquimediana, ,
3
2
9
1
>

N con . 0 > . e N
( )

>
+
+
+ |
.
|

\
|
> +
+ > +
>
>
3
2
2 3
1 2
2 3
3
2
1 2
2 3
3
4
2 1 2
2
3
1
3
3
2
9
1
N
N
N N
N N N
N
N
3
2
)) (Im(
)) (Im( ) ( / ) Im( ) (
=
> e
f Sup
f Sup N f f N f
b) Sea 9 : f definida por
1000
) (
+
=
n
n
n f . En caso que exista, conjeture el valor del
)) (Im( f Sup , y demuestre que tu conjetura es correcta.
( ) 1000 1
1
) 1 (
1000
) (
1003
3
) 3 (
1002
2
) 2 (
1001
1
) 1 (
+ +
+
= + <
+
= < < = < = < =
n
n
n f
n
n
n f f f f
Notemos que si 1 > n se tiene que ) 1 ( ) ( + s n f n f .
Propiedad Arquimediana, siempre es posible encontrar un R N > , con
. 9 e . e R N
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
Nuestro supremo tentativo es el 1, ya que la funcin es creciente para todo n y los valores
que dirigen la ecuacin son el n en el numerador y el n en el denominador, cuando los n son
grandes se simplifican y se intuye el posible supremo, en este caso1.
Apliquemos Definicin de Supremo:
Para cada 0 > existe > e )) (Im( ) ( / ) Im( ) ( f Sup n f f n f
Para nuestro caso particular, para cada 0 > existe >
+
e 1
1000
/ ) Im( ) (
n
n
f n f
( )( )
1000
1000
1000 1000
1000 1000
1000 1
1
1000
>
>
+ >
+ >
>
+

n
n
n n n
n n
n
n
Entonces existe por Propiedad Arquimediana, , 1000
1000
>

N con . 0 > . e N
( )( )

>
+
+ >
+ + >
>
>
1
1000
1000 1
1000 1000
1000 1000
1000
1000
N
N
N N
N N N
N
N
1 )) (Im(
)) (Im( ) ( / ) Im( ) (
=
> e
f Sup
f Sup N f f N f
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
METODOLOGA (Supremos e nfimos):
Caso1: Demostrar diciendo que si s es cota superior de A y adems s pertenece a A, implica
que s es Mximo y Supremo de A (Preposicin 2 en el caso del nfimo)
1. Analizar elemento de la ) Im( f , para los primeros nmeros naturales.
2. Encontrar un posible Supremo, con n finito. (Encontrar un posible nfimo, con un n
finito)
3. Demostrar que es cota superior. (Demostrar que es cota inferior)
4. Aplicar Preposicin 1. (Aplicar Preposicin 2)
Caso 2: Demostrar usando definicin por psilon del supremo para cada 0 > existe
A a e / > ) (A Suf a . (para cada 0 > existe + < e ) ( / A Inf a A a )
1. Analizar la convergencia de la funcin cuando la n crece.
2. Encontrar un posible Supremo, con n infinito. (Encontrar un posible nfimo, con un
n infinito)
3. Despejar la n de la definicin de supremo.
4. Probar que existe un e N tal que se cumpla la definicin de supremo, aplicando
la propiedad arquimediana.
5. Reemplazar la n despejado por N de la propiedad arquimediana.
6. Devolverse y formar nuevamente la definicin de Supremo.
7. Concluir que el Supremo tentativo, es el Supremo.
Partiremos por dar una serie de ejemplos tipos (de supremos e nfimos).
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
6. Si B A _ y B es acotado superiormente Es cierto que ) ( ) ( B Sup A Sup s ?
Solucin:
M a s para todo A a e , pues B es acotado superiormente. A es acotado superiormente.
p.d. ) ( ) ( B Sup A Sup s si B A _
= ) (B Sup , es cota superior de A
= ) ( A Sup , es la menor de las cotas superiores de A.
) ( ) ( B Sup A Sup s
7. Si B A _ y A es acotado inferiormente Es cierto que ? ) ( ) ( B Inf A Inf s
Solucin:
Diciendo que A es acotado inferiormente, no podemos asegurar B tenga cota inferior, al no
tener cota inferior no podemos aplicar el Teorema de nfimo (Me refiero a teorema del
nfimo, porque es una consecuencia del axioma de supremo).
8. Si 9 _ = A es acotado superiormente, defina { } A de erior a es c c C _ _ sup _ cot _ _ / =
el cual es un conjunto acotado inferiormente (Por qu?). Es cierto que ? ) ( ) ( A Sup C Inf =
Solucin:
(Por qu?)
Al ser C cota superior de A, A a C c e e , tal que a c > .
Implica que todo A a e es cota inferir de C C es acotado inferiormente.
p.d. ) ( ) ( A Sup C Inf =
/ ) ( s A Sup = a s > C s A a e e _ , , luego c s s C c e (o sea, para todo c cota superior de
A)
) (C Min s = , pues C s e
) ( ) inf( ) ( A Sup C C Min s = = =
) ( ) inf( A Sup C =
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
9. Si 9 _ B A, , tales que b a s A a e , B b e . Es cierto que B b b A Sup e s ) ( ?
Solucin:
*
a b > tal que A a e
*
para todo . B b e
B es acotado inferiormente.
B tiene nfimo
Luego, A es acotado superiormente (pues B tiene nfimo) A tiene supremo.
b A Sup s ) ( , para todo B b e , pues todo A a B b e > e . Luego b es cota superior de A.
( ) A b sup >
10. Si 9 _ B A, , tales que b a s , A a e , B b e . Adems para cada 0 > existe a en A
y b en B tales que < a b , entonces es cierto que ) inf( ) ( B a Sup = ?
Solucin:
*
a b > tal que A a e
*
para todo . B b e
B es acotado inferiormente.
B tiene nfimo. que para cada 0
2
>

existe ) (
2
/ B Inf b B b + < e

(1)
Ahora, a b >
*
tal que B b e
*
para todo . A a e
A es acotado superiormente.
A tiene Supremo. que para cada 0
2
>

existe ) (
2
/ A Sup

a A a + |
.
|

\
|
> e (2)
Luego, restando (1)-(2) que para cada 0 > existe
) ( ) ( / , A Sup B Inf a b B b A a + < e e .
Citando enunciado para cada 0 > existe a en A y b en B tales que < a b
) ( ) (
0 ) ( ) (
A Sup B Inf
A Sup B Inf
=
=
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
12. Es cierto que todo conjunto no vaci de nmeros racionales, acotado superiormente
tiene su supremo en Q?
13. Para 9 _ = A , defina { } A a a A e = / . Es cierto que A es acotado superiormente
si y solamente si A es acotado inferiormente? Es cierto que ) ( ) ( A Sup A Inf = ?
( ) Por demostrar que si A es acotado superiormente -A es acotado inferiormente.
Luego, A es acotado superiormente A a m a e s , . (3)
Si multiplicamos (3) por -1, tenemos A a m a e > , -A es acotado inferiormente.
( ) : Por demostrar que si -A es acotado inferiormente A es acotado superiormente.
Luego, -A es acotado inferiormente A a m a e > , (4)
Si multiplicamos (4) por -1, tenemos A a m a e s , eso que A es acotado
superiormente.
Es cierto que ) ( ) ( A Sup A Inf = ?
Para cada 0 > existe A Sup a A a < e ) ( / (5)
Si multiplicamos (5) por -1, tenemos para cada 0 > existe A Sup a A a + > e ) ( /
Esa es la definicin de nfimo, luego ) ( ) ( A Sup A Inf = .
14. Para 9 _ B A, , no vacos, { }. , / B b A a b a B A e e + = + Es cierto que A y B son
acotados superiormente si y solamente si A+B lo es? Es cierto que el supremo de
) ( ) ( ) ( B Sup A Sup B A Sup + = + ? Si su respuesta es negativa agregue condiciones para
asegurar la igualdad.
( ) Demostremos primero que si A y B son acotados superiormente, esto implica que A +
B es acotado superiormente.
Si A es acotado superiormente existe
1
M , tal que A. a e s ,
1
M a
Si B es acotado superiormente existe
2
M , tal que B. b e s ,
2
M b
Luego, al sumar las dos definiciones.
A + B es acotado superiormente, pues existe
2
M +
1
M , tal que
A a B b e . e + s + ,
2 1
M M b a
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
( ) : Ahora demostremos que si A+B es acotado superiormente, entonces A y B son
acotados superiormente.
Si A + B es acotado superiormente, entonces existe M, tal que A a B b e . e s + , M b a
Es fcil darse cuenta que A a e s , M a y B b e s , M b .
De esto se concluye que A y B son acotados superiormente.
Es cierto que el supremo de ) ( ) ( ) ( B Sup A Sup B A Sup + = + ?
Definamos lo siguiente:
A Sup = ) (
B Sup = ) (
Por demostrar que para todo 0 > existe b a B A b a + + > + + e + /
Definicin de supremo,
- Para cada 0
2
>

existe

a A a + |
.
|

\
|
> e
2
/
- Para cada 0
2
>

existe

b B b + |
.
|

\
|
> e
2
/
Luego, sumando las dos definiciones,
Para cada 0 > existe b a B A b a + > + + e + /
) ( ) ( ) (
) sup(
B A Sup B Sup A Sup
B A
+ = +
+ = +
15. Encuentre supremos e nfimos, si existen, de
)
`

e
+
= n
n
n
A /
1
Apliquemos igualdad anterior ) ( ) ( ) ( D Sup C Sup D C Sup + = +
)
`

e + = n
n
A /
1
1 , { }
)
`

e = . e = + = n
n
D n C D C A /
1
/ 1
( ) ( )
2 1 1 ) (
) (
1 1
= + =
+ = +
A Sup
D Sup C Sup D C Sup

Aplicando igualdad lgica ) ( ) ( ) ( D Inf C Inf D C Inf + = +
Ignacio Domingo Trujillo Silva
itrujill@ing.uchile.cl
( ) ( )
1 0 1 ) (
) (
0 1
= + =
+ = +
A Sup
D Inf C Inf D C Inf

16. Sea 9 e x , fijo. Defina { } x k Z k A
x
s e = / el cual es acotado superiormente (por
qu?). Denote el supremo de
x
A por | | x A Sup
x
= ) ( . A ese nmero le llamaremos la parte
entera de x.
k x >
*
tal que , _
*
fijo x 9 e para todo . Z k e
B es acotado superiormente.
a) Muestre que | | Z x e .
b) Muestre que si Z x e entonces | | x x = .
c) Es cierto que | | | | | | z x z x + = + ?
Escojamos 7 , 3 = x e 4 , 2 = y , tendremos
| | | | | |
| |
: =
+ =
+ = +
5 6
2 3 1 , 6
4 , 2 7 , 3 4 , 2 7 , 3
| | | | | | z x z x + = +
d) Es cierto que cualquier numero entero se puede escribir de la forma ( )
(

2
1
n
n
, para
un nico e n ?
e) Es cierto que | | | | x n x n + = + , para cualquier valor de e n y de 9 e x ?