Академический Документы
Профессиональный Документы
Культура Документы
CONJUNTOS NUMERICOS 25
(a) A 6= y B 6= ,
(b) A B = R,
(c) si a A y b B entonces a < b.
(i) si u < es u A,
(ii) si u > es u B.
Ejercicio II.21. Prueba que de las condiciones (a), (b) y (c) se deduce que A y B forman una particion
de R (que es una particion?, varios conjuntos forman una particion de otro M 6= , cuando son no vacos,
disjuntos dos a dos y la union de todos ellos es M ).
verifican las condiciones del axioma de completitud, que verifica el numero ? (responde a esto si se
verifican las condiciones del axioma).
Ejercicio II.23. Estudia si los conjuntos R+ y R verifican las condiciones del axioma de completitud.
Ejercicio II.24. Una cota superior de E debe pertenecer a E? Una cota superior de E puede pertenecer
a E?
Ejercicio II.25. Que podras decir de un conjunto E 6= tal que el numero a es a la vez cota superior y
cota inferior de E? cual es su supremo? y el nfimo?
Ejercicio II.26. Estudia si los siguientes conjuntos estan acotados encontrando cotas superiores e inferiores:
Quico Bentez
26 6. CONJUNTOS ACOTADOS: PRINCIPIO DEL SUPREMO.
(c) C = {x R : x 2}.
(d) A = {x Q : 3 x 5}.
1
(e) A = { : n N}.
n
Ejercicio II.27. Encuentra el supremo, nfimo, maximo y mnimo, si existen, de los conjuntos del ejercicio
anterior.
En la siguiente proposicion se demuestra una caracterizacion del supremo que te puede resultar muy util.
Demostracion Supongamos primero que es el supremo de E. En tal caso, es una cota superior
(ver la definicion de supremo) as que la condicion (i) se verifica, veamos la otra condicion. Sea > 0 y
consideremos el numero . Puesto que > y, por ser el supremo, es menor o igual que
cualquier cota superior, no puede ser cota superior de E. As que es falso que x, para x E.
Por tanto, existira algun x E tal que < x, como queramos demostrar.
Veamos ahora el recproco. Supongamos que las condiciones (i) y (ii) se verifican. Entonces es una cota
superior, debemos probar que es menor o igual que cualquier otra cota superior. Sea entonces a una cota
superior, por definicion debe verificar:
a x, para x E