Ignacio Domingo Trujillo Silva

itrujill@ing.uchile.cl

Supremos e nfimos

Preposicin 1: Si s es cota superior de A y adems s pertenece a A, implica que s es

Preposicin 2: Si s es cota inferior de A y adems s pertenece a A, implica que s es n

a) Se
a

f:

Inf (Im( f
))

definida por

f (n)

2n 1
3n 2

. En caso que exista, conjeture el valor del

y Sup(Im( f )) , y demuestre que tu conjetura es correcta.

Solucin:
Encontraremos
el

Inf (Im( f )) :

Lo primero que debemos analizar son los elementos del conjunto Im( f ) , (para tener una
idea del comportamiento de la funcin).

f (1)

5
7
f
(2)

f
(3)

8
5
11
Notemos que si n 1 se tiene
que

f (4)

f (n)

5
Partamos con que 0 n 1 n 1.
0 n 1
0 10n 9n 5 6
9n 6 10n 5
33n 252n 1
3

2n 1

2n
1 1

3n 2 f (n 1)

3n 1 2
14
f (n) f (n 1) , por lo
f (1) f (n) , n 1.

tanto

3
Ahora bien, f (1) . Entonces necesitamos demostrar
que

2n 1

3
.
5

2n 1
3n 2

(3)

Ignacio Domingo Trujillo Silva

itrujill@ing.uchile.cl
5 3n 2

Desigualdad trivial, proveniente de la mxima simplificacin de la ecuacin 3.

Por tanto,
3

3
5

f (n)n , esto implica que

Im( f ) se tiene que

el
5

Inf (Im(3f ))
5

es cota inferior de la Im( f ) y como

Sup(Im( f )) :

Ahora, encontraremos el

El ejercicio que se expone a continuacin no utiliza la preposicin 1, sino que recurre

Definicin de Supremo: Para cada 0 existe a A / a Suf ( A)

Definicin de nfimo: Para cada 0 existe a A / a Inf ( A)
Para cada 0 existe f (n) Im( f ) / f (n) Sup(Im( f ))
Notemos que 2
2
3

3
es supremo.

es cota superior y adems un posible supremo , entonces demostremos que

2n 1 2
3n 2 3

Preposicin 1.
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
f (n) f (n
al hacer crecer n, los
creciente

1)
3

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

2
3

Ignacio Domingo Trujillo Silva

itrujill@ing.uchile.cl
2n 1 2
32
3n
2
2n 1
3n 2

4
2n 1 2n 3n 2
3
1
3n 2
3
1 2
n 9 3

Propiedad Arquimediana, siempre es posible encontrar

N R , con
co N un
0.
N existe
R
1 2 n
Entonces
por.
Propiedad Arquimediana,
N ,
9

1 2
N 9 3
1
3N 2
3

4
2N 1 2N 3N 2
3
2
2N 1 3N 2

2 N 1 2
3N 2 3
f (N ) Im( f ) / f (N ) Sup(Im( f ))
2
Sup(Im( f ))
3
n
definida por f (n)
. En caso que exista, conjeture el valor del
b) Sea f :
n
1000

Sup(Im( f )) , y demuestre que tu conjetura es correcta.

f (1)

2
f (2)

1002

1001

Notemos que si n 1 se tiene

que

f (3)

f (n)

1003
f (n) f (n 1) .

n 1

f (n 1)
n 1000
n 1 1000

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 f (n) Im( f ) / f (n) Sup(Im( f ))
Para nuestro caso particular, para cada 0 existe f (n) Im( f ) / n
1
n 1000
n
1
n 1000
n 1 n 1000
n n 1000 n 1000
n 1000 1000
1000
n
1000

Entonces existe por Propiedad Arquimediana, N 1000

1000
1000,
N
1000

N 1000 1000
N N N 1000 1000
N 1 N 1000
N
1
N 1000

f (N ) Im( f ) / f (N ) Sup(Im( f ))
Sup(Im( f )) 1

con N 0.

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 / a Suf ( A) . (para cada 0 existe a A / a Inf ( 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 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).

6. S A B y B es acotado superiormente Es cierto

i que

Sup( A) Sup(B) ?

Solucin:
a M para todo a A , pues B es acotado superiormente. A es acotado superiormente.
p.d. Sup( A) Sup(B)
si

A B

Sup(B) , es cota superior de A

Sup( A) , es la menor de las cotas superiores de A.
Sup( A) Sup(B)
7. S A B y A es acotado inferiormente Es cierto que Inf ( A) Inf (B)?
i
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 A es acotado superiormente, defina C c / c

cot a _ sup
de A
es erior
el cual es un conjunto acotado inferiormente (Por qu?). Es cierto que Inf (C) Sup( A)?
Solucin:
(Por qu?)
Al ser C cota superior de A, c C, a
A

tal que c a .

Implica que todo a A es cota inferir de C C es acotado inferiormente.

p.d. Inf (C) Sup( A)
Sup( A) s / s
a

A)

a A, _ s C ,
luego s c c
C (o sea, para
todo c cota
superior de
s Min(C) , pues s C
s Min(C) inf(C) Sup( A)
inf(C) Sup( A)

9. Si A, B , tales que a
b

a A , b B . Es cierto
que

Sup( A) bb B ?

Solucin:
*

b a tal que a
A

para todo b B.

B es acotado inferiormente.
B tiene nfimo
Luego, A es acotado superiormente (pues B tiene nfimo) A tiene supremo.
Sup( A) b , para todo b B , pues todo b B a A . Luego b es cota superior de A.
b supA
10. S A, B , tales que a b , a A , b B . Adems para cada 0 existe a en A
i
y b en B tales que b a , entonces es cierto que Sup(a) inf(B) ?
Solucin:
*

b a tal que a
A

para todo b B.

B es acotado inferiormente.
B tiene nfimo. que para
cada
Ahora, b
a

0 existe b B / b Inf (B)

2
2

(1)

tal que b
B

para todo a A.

A es acotado superiormente.

A tiene Supremo. que para cada

0 existe a A / a Sup(A) (2)

2
Luego, restando (1)-(2) que para cada 0 existe
a A, b B / b a Inf (B) Sup( A) .

Citando enunciado para cada 0 existe a en A y b en B tales que b a

Inf (B) Sup( A) 0
Inf (B) Sup( A)

12. Es cierto que todo conjunto no vaci de nmeros racionales, acotado superiormente
tiene su supremo en Q?
13. Para A , defina A a / a A. Es cierto que A es acotado superiormente
si y solamente si A es acotado inferiormente? Es cierto que Inf (A) Sup( A) ?

Por demostrar que si A es acotado superiormente -A es acotado

inferiormente. Luego, A es acotado superiormente a m, a A .
(3)
Si multiplicamos (3) por -1, tenemos a m, a
-A es acotado inferiormente.
A

Por demostrar que si -A es acotado inferiormente A es acotado superiormente.

Luego, -A es acotado inferiormente a m,a A (4)
Si multiplicamos (4) por -1, tenemos a m,a A eso que A es acotado
superiormente.
Es cierto que

Inf (A) Sup( A) ?

Para cada 0 existe a A / a Sup(A) (5)

Si multiplicamos (5) por -1, tenemos para cada 0 existe a A /a Sup(A)

Esa es la definicin de nfimo, luego
Inf (A) Sup( A) .
14. Para

A, B , no
A B a b / a A, b B. Es cierto que A y B son
vacos,
acotados superiormente si y solamente si A+B lo es? Es cierto que el supremo de
Sup(A B) Sup(A) Sup(B) ? 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 M1 , tal que a M1, a A.
Si B es acotado superiormente existe M 2 , tal que b M 2 , b B.
Luego, al sumar las dos definiciones.
A + B es acotado superiormente, pues existe M1 M 2 , tal que

a b M1 M 2 , b B a A

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 b M, b B a
A
Es fcil darse cuenta que a M, a
A

y b M, b B.

De esto se concluye que A y B son acotados superiormente.

Es cierto que el supremo de Sup(A B) Sup(A) Sup(B) ?
Definamos lo siguiente:
Sup(A)
Sup(B)
Por demostrar que para todo 0 existe a b A B / a b

Definicin
supremo,
0 existe a A / a
- Paradecada

2
2
0
existe
b
B
/
b

- Para cada

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

A
1

/n

Apliquemos igualdad anterior Sup(C D) Sup(C) Sup(D)

A 1 / n

A C D C 1/ n D / n
1

SupC DSup(C) SupD

1

1
Sup(A) 11 2

Aplicando igualdad lgica Inf (C D) Inf (C) Inf (D)

Inf C DInf (C) Inf D

1

Sup(A) 10 1
x , fijo.
Ax k Z / k xel cual es acotado superiormente (por
Defina
qu?). Denote el supremo de Ax por Sup( Ax ) x . A ese nmero le llamaremos la parte
entera de x.

16. Sea

x
k

tal que x _
fijo,

para todo k Z.

B es acotado superiormente.
a) Muestre que xZ .

b) Muestre que si

x
Z

entonces xx .

c) Es cierto que x z x z?
Escojamos x 3,7
e

y 2,4 , tendremos

3,7 2,43,72,4
6,13 2
6 5
x z x z

Es cierto que cualquier numero entero se puede escribir de la forma

1
un nico n ?

n
, para
2

e) Es cierto que n xn x , para cualquier valor de n y x ?

de