Complemento #4

1. Ejercicio resuelto.

Demostremos que el supremo del conjunto

 
3n − 1
A := :n∈N
2n + 5

es 3/2. Un cálculo directo nos permite concluir que para todo n ∈ N, 3n−1
2n+5 ≤ 3/2. Por tanto
3/2 es cota superior de A. Veamos ahora que 3/2 es la menor de las cotas superiores de A, lo
que demuestra que en efecto es el supremo. En este momento en que va la teorı́a desarrollada
podemos usar el argumento de la propiedad de aproximación del supremo. Para esto, sea
ε > 0 y veamos que exite un elemento a ∈ A tal que 3/2 − ε < a. Equivalentemente, que
existe un natural N tal que
3 3N − 1
−ε< , (1)
2 2N + 5
lo cual equivale a probar que existe N natural de manera que
1 2ε
< .
2N + 5 17
Esta última desigualdad se puede obtener para algún número natural N vı́a la propiedad
1 2ε
Arquimediana. En efecto, por dicha propiedad existe tal N de manera que N < 17 y como
1 1
<
2N + 5 N
entonces, por transitividad, tenemos que
1 2ε
< .
2N + 5 17
De esta desigualdad devolvemos los pasos y llegamos a (1). Ası́ hemos probado que sup A =
3/2.

2. Sean x, y ∈ R y A > 0 fijos y suponga que existe un número natural N de manera que
A
∀ n ≥ N, x<y+ .
n
Demuestre que x ≤ y.

3. Sean A y B subconjuntos no vacı́os de números reales y acotados (es decir acotados supe-
riormente e inferiormente). Demuestre que

inf(A + B) = inf A + inf B.

4. Sean A un subconjunto no vacı́o de números reales y acotado superiormente y c ∈ R una

constante. Se define el conjunto

c + A := {c + a : a ∈ A}.

Demuestre que sup(c + A) = c + sup A.

1
 5. Sean A un subconjunto no vacı́o de números reales y acotado inferiormente y c ∈ R una
constante. Demuestre que inf(c + A) = c + inf A.

6. Sean f : A ⊆ R → R y g : A ⊆ R → R funciones acotadas, es decir que sus rangos son

conjuntos acotados. Demuestre:

(a) inf{f (x) : x ∈ A} + inf{g(x) : x ∈ A} ≤ inf{f (x) + g(x) : x ∈ A}.

(b) sup{f (x) + g(x) : x ∈ A} ≤ sup{f (x) : x ∈ A} + sup{g(x) : x ∈ A}.

(c) Ilustre casos en los cuales las desigualdades previas son estrictas.

(d) ¿Cuál es la diferencia entre el ı́tem (a) con el ejercicio 3?

7. Sean A y B subconjuntos no vacı́os de números reales y acotados. Demuestre que

sup(A ∪ B) = max{sup A, sup B}.

1
8. Como aplicación del ejercicio previo, encuentre sup n + (−1)n : n ∈ N .

9. Sean x ∈ R fijo y A = {m ∈ Z : m ≤ x}. Pruebe que max A = [[ x ]]. Concluya que si m ∈ Z

es tal que m ≤ x entonces m ≤ [[ x ]]. Acá, [[ x ]] denota la parte entera de x.

10. Demuestre:

(a) m ∈ Z ⇐⇒ [[ x + m ]] = [[ x ]] + m.

(b) [[ x ]] + [[ y ]] ≤ [[ x + y ]] ≤ [[ x ]] + [[ y ]] + 1.
[[ x ]]
(c) Para todo natural n ≥ 1 se cumple que ∀ x ∈ R, [[ nx ]] ≤ n . Como consecuencia se
infiere que [[ nx ]] ≥ n[[ x ]] para todo natural n ≥ 1 y para todo x ∈ R.

(d) Si x ≤ y entonces [[ x ]] ≤ [[ y ]].

(e) Sean x, y reales positivos. Muestre que [[ x ]] [[ y ]] ≤ [[ xy ]].

(f) Sea n ∈ Z. Entonces [[ x ]] = n si y sólo si existe z ∈ [0, 1) tal que x = n + z. El número

real z es llamado la parte fraccionaria de x, que denotamos por ((x)).

11. Demostremos que si n ≥ 1 es un número natural entonces [[ nx ]] = [[ [[ x ]]/n ]]. Una estrategia
que usaremos es probar mutua desigualdad: Como [[ x ]] ≤ x entonces [[ x ]]/n ≤ x/n y ası́ por
el literal (d) del ejercicio 10 concluimos que [[ nx ]] ≥ [[ [[ x ]]/n ]]. Para probar la desigualdad
inversa, sea ε > 0 y fijemos tanto x como n. Como [[ nx ]] = max{m ∈ Z : m ≤ x/n} entonces
existe un entero k ≤ x/n tal que [[ nx ]]−ε < k. Ahora bien, k ≤ [[ nx ]] y la parte (c) del ejercicio
[[ x ]]
10 implican que k ≤ n y por consiguiente k ≤ [[ [[ x ]]/n ]]. En consecuencia,

[[ nx ]] − ε < [[ [[ x ]]/n ]].

Puesto que ε > 0 es arbitrario entonces necesariamente [[ nx ]] ≤ [[ [[ x ]]/n ]].

12. Demostremos que [[ x ]] + [[ x + 1/2 ]] = [[ 2x ]]. Sea x = [[ x ]] + z con 0 ≤ z < 1 (ver literal (f)
del ejercicio 10). Consideremos dos casos:

2
 Caso 1: 0 ≤ z < 1/2.

Tenemos entonces que x + 1/2 = [[ x ]] + (z + 1/2) con 1/2 ≤ z + 1/2 < 1. Luego, por el literal
citado, [[ x + 1/2 ]] = [[ x ]]. También se tiene que 2x = 2[[ x ]] + 2z con 0 ≤ 2z < 1 y por tanto
[[ 2x ]] = 2[[ x ]]. En consecuencia, [[ x ]] + [[ x + 1/2 ]] = [[ 2x ]].

Caso 2: 1/2 ≤ z < 1.

Bajo este supuesto se tiene que x + 1/2 = [[ x ]] + z + 1/2 = [[ x ]] + 1 + (z − 1/2) con

0 ≤ z − 1/2 < 1/2. Luego, [[ x + 1/2 ]] = [[ x ]] + 1. Por otra parte, 2x = 2[[ x ]] + 2z =
2[[ x ]] + 1 + (2z − 1) con 0 ≤ 2z − 1 < 1 y de esta manera [[ 2x ]] = 2[[ x ]] + 1. Por tanto,
[[ x ]] + [[ x + 1/2 ]] = 2[[ x ]] + 1 = [[ 2x ]].

13.

(a) Pruebe que [[ x ]] + [[ x + 1/3 ]] + [[ x + 2/3 ]] = [[ 3x ]].

(b) Pruebe que [[ x ]] − 2[[ x/2 ]] ∈ {0, 1}.

(c) Muestre que el número de enteros m para los cuales x < m ≤ y es [[ y ]] − [[ x ]].

(d) Pruebe que el resto al dividir el entero a por el entero m > 0 es m((a/m)), donde
((x)) = x − [[ x ]] es la parte fraccionaria del real x.

(e) Sean m ≥ 1 un natural y x > 0. Demuestre que el número de múltiplos positivos de m

que no exceden a x está dado por [[ x/m ]].
Una aplicación inmediata de esta afirmación es la siguiente: Sean n y a enteros positivos.
Entonces el número de enteros de la sucesión 1, 2, . . . , n que son divisibles por a es [[ n/a ]].
En efecto, esto equivale a encontrar el número de múltiplos de a que no exceden a n y
por lo afirmado inicialmente este número es [[ n/a ]].

Sigifredo Herrón