Vous êtes sur la page 1sur 21

...

3.4 El axioma del supremo


Garca Garca Nestor
Benemerita Universidad Autonoma de Puebla
Facualtad de Ciencias Fsico Matematicas

Marzo de 2015

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Definicion 3.4.1
sea A R
1) Si x0 R, diremos que x0 es una cota superior de A si
a A : a x0
2) Diremos que A esta acotado superiormente si existe una cota
superior de A.

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Ejemplo:
Supongamos que A = (2, 3). Como vimos
en el ejemplo 2, 3 es
una cota superior de A. Pero , 3.5, 5, 10 y cualquier otro
n
umero mayor que 3 tambien son cotas superiores de A. En
general, dados un conjunto A R y una cota superior x0 , de A,
cualquier y R mayor que x0 tambien es una cota superior de A.
Sea A = Demostraremos que cualquier n
umero real es una cota
superior de A. sea x0 R. Entonces es verdadera la proposicion

x : a x0 ( APor
que? ).

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Definicion 3.4.2
sea A R y x0 R, diremos que x0 es un supremo de A, si se
cumplen
S1 )x0 es cota superior de A
S2 )si m es cota superior de A, entonces x0 m

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Axioma del supremo


supremo:
si A R es tal que A 6= y A esta acotado superiormente,
entonces existe x0 R tal que x0 = supA

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Ejemplos:
Sea B . Sabemos ya que 3, y todo n
umero mayor que 3, son cotas
superiores de B. intuitivamente, es claro que 3 es la menor de las
cotas superiores de B, as que proponemos que 3 = supB. Para
demostrar esto, solo resta probar la propiedad S2 ), lo cual es
sencillo:
Sea m una cota superior de B. entonces, para cada b B, b m
Como 3 es elemento de B,3 m y ya.

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Sea
A={1 n1 : n N}={0, 1, 12 , 1 31 , 1 14 , ...}={0, 12 , 23 , 45 , ...}
Claramente A 6= y 1 n1 < 1, para cada n N, asi que A 6= y
esta acotado superiormente, por el axioma del supremo, A tiene
supremo.

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Teorema 3.4.2
si A R, A 6= , A acotado superiormente y a0 = supA, entonces
r R+ a A talque a0 r < a a0
Demostracion:
sea r > 0. Entonces a0 r < a0 y por s2 ), a0 r no es una cota
superior de A, asi que existe a A tal que a0 r < a

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Corolario 3.4.3
sea A R, A 6= , A acotado superiormente, y
a0 = supA, Entonces
r > 0, a A talque | a a0 |< r
Demostracion:
Sea r > 0. Por el teorema 3.4.2, existe a A tal que
a0 r < a a0 Por consiguiente a0 r < a < a0 + r. Es decir,
r < a0 < r lo cual equivale a | a a0 |< r

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Definicion 3.4.3
sea A R si existe x0 R. Diremos que x0 es un maximo de A si
se cumplen:
M1 ) x0 es una cota superior de A
M 2 ) x0 A

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Teorema 3.4.4
SeaA R, A 6= y x0 = maxA, Entonces
supA = x0
Demostracion:
Como supA = x0 por M1 ), x0 es una cota superior de A. Para
demostrar s2 ), sea m cualquier cota superior de A. como x0 A,
m x0 .

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Ejemplos:
Como 3 = sup(2, 3), pero 3 6 (2, 3) entonces 3 no es maximo de
(2,3). El conjunto (2,3) no tiene maximo porque si lo tuviera, por
el teorema 3.4.4 sabramos que este maximo sera el supremo, o
sea 3, pero ya vimos, 3 no puede ser el maximo del conjunto.
Entonces un conjunto puede tener supremo pero no maximo.

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Si A = {1 n1 : n N} entonces A no tiene maximo. En efecto, si


existiera x0 = maxA, entonces como x0 A, existiran n N tal
que x0 = 1 n1 . Pero
1
1
1
n + 1 > n n+1
< n1 n1 < n+1
1 n1 < 1 n+1

1
1
x0 < 1 n+1 y 1 n+1 A, esto u
ltimo es una contradiccion
porque x0 es una cota superior de A.

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic

...

axioma del supremo

Garca Garc
a Nestor

Benemerita Universidad Autonoma


3.4 El axioma
de PueblaFacualtad
del supremo
de Ciencias Fsic