Axioma del supremo.

Taller de Cálculo I, 21 de abril de 2017.

1. Explique, con sus palabras, cota superior, supremo y máximo de un conjunto. Ilustre con
algunos ejemplos.
2. Demuestre, usando solamente las definiciones, que el intervalo [1, 3[ no tiene máximo y que el
supremo es 3.
3. Determine si los siguientes conjuntos son acotados (superiormente, inferiormente o ambos).
Encuentre el ı́nfimo y el supremo cuando se pueda. Determine si tienen elemento máximo y/o
elemento mı́nimo.
√  
(a) Q ∩ [− 5, 3[ 1
(e) A = :n∈N
(b) A = {x ∈ R : |x + 3| − |2x − 1| > 3} n
 
  1
n−3 (f) A = + (−1)n : n ∈ N
(c) A = :n∈N n
2n + 5

(−1)n
 (g) {x ∈ R | x2 + x + 1 ≥ 0}
(d) A = :n∈N (h) {x ∈ R | x2 + x − 1 < 0}
n

4. Para A ⊆ R, se define −A = {−a : a ∈ A}. ¿Es cierto que A es acotado superiormente si y

sólo si −A es acotado inferiormente? ¿Inf(−A)=−Sup(A)? Demuestre.
5. Demuestre, usando el axioma del supremo, que todo subconjunto de Z que sea acotado y no
vacı́o tiene máximo.
6. Sea x ∈ R fijo. Se define Ax = {k ∈ Z : k ≤ x}. Muestre que este conjunto es acotado
superiormente. Denote el supremo de Ax por [x]. Ojo que acá estamos definiendo [x] por lo
que no debe utilizar nada más de lo que pueda haber aprendido sobre este sı́mbolo.
(a) Muestre que [x] ∈ Z
(b) Muestre que si x ∈ Z entonces [x] = x
(c) ¿Es cierto que [x + z] = [x] + [z]?
(d) ¿Es cierto que cualquier número entero se puede escribir de la forma (−1)n [ n2 ] para un
único n ∈ N? Recuerde que 0 6∈ N.
(e) ¿Es cierto que [n + x] = n + [x] para cualquier n ∈ N, x ∈ R?
(f) Explique informalmente el significado de [x].
7. Si x < y son números reales, demuestre que existe al menos un número racional r que satisface
x < r < y.
8. Si x < y son números reales, demuestre que existe al menos un número irracional z que satisface
x < z < y.
9. Encuentre el sup y el inf para cada uno de los siguientes conjuntos de números reales (si es
que los tienen):
(a) S = {x2 − 3x + 2 | x ∈ R}.
(b) S = {x ∈ R | 3x2 − 10x + 3 < 0}.
(c) S = {x ∈ R | (x − a)(x − b)(x − c)(x − d) < 0}, siendo a < b < c < d.