DEPARTAMENTO DE ANÁLISIS MATEMÁTICO Y MATEMÁTICA APLICADA
UNIVERSIDAD COMPLUTENSE DE MADRID
Análisis de Variable Real. Curso 20–21.
Los números reales y la propiedad de supremo. Hoja 3
47 Probar que si A ⇢ IR es acotado superiormente, entonces ↵ = sup(A) se caracteriza por que
i) ↵ es una cota superior de A
ii) Para todo " > 0 existe x 2 A tal que ↵ " < x ↵.
Enunciar y demostrar una propiedad análoga para el infimo de un conjunto.
48 Encuentra, en caso de que existan, el ı́nfimo y el supremo de los siguientes conjuntos:
i) A = {x 2 IR : 2x + 5 < 0} ii) B = {x 2 IR : x + 2 x2 } iii) C = {x 2 IR : x < 1/x}
2 1
iv) D = {x 2 IR : x 2x 5 < 0} v) { n , n 2 Z
I \ {0}}, vi) (a, b) = {x 2 IR, a < x < b},
vii) {x 2 IR, x2 +x+1 0}, viii) {x 2 IR, x2 +x 1 < 0}, x) {x 2 IR, x < 0, x2 +x+1 0},
xi) { n1 + ( 1)n , n 2 IN }.
49 Supongamos que E ⇢ F ⇢ IR y E 6= ;.
i) Probar que si F es acotado superiormente, entonces E tambien lo es y que sup(E) sup(F ).
ii) Probar que si F es acotado inferiormente, entonces E tambien lo es y que ı́nf(F ) ı́nf(E).
50 i) Usando el Problema 35, probar que todo conjunto finito de IR contiene a su supremo y a su
ı́nfimo.
ii) Probar que si una cota superior pertenece al conjunto entonces esa cota es el supremo. Demostrar
algo semejante para el ı́nfimo.
Notación: Cuando el supremo (o el ı́nfimo) de un conjunto, pertenece al conjunto, se llama máximo
del conjunto (respectivamente, mı́nimo).
51 Sean A, B ⇢ IR y no vacios y acotados superiormente. Probar que
sup(A [ B) = sup{sup(A), sup(B)}
sup(A \ B) ı́nf{sup(A), sup(B)}
y con un ejemplo muestra que en general no se da “=”. Demostrar algo semejante para el ı́nfimo.
52 Demostrar que si IR+ = (0, 1) = {x 2 IR, x > 0} entonces el ı́nfimo de este conjunto es 0 y
deducir que si |a b| < " para todo " > 0, entonces a = b.
53 i) Probar que ı́nf{ n1 , n 2 IN } = 0 y que por tanto para todo " > 0 existe n0 2 IN tal que para todo
n n0 ,
1
2 (0, ").
n
1
Indicación: Usar que n+1 < n1 para todo n 2 IN .
ii) Probar que para todo " > 0 existe n0 2 IN tal que para todo n n0 ,
( 1)n
2 ( ", ").
n
54 Demostrar que si a, x, y 2 IR, y > 0, verifican
y
axa+
n
para todo n 2 IN , entonces x = a.
1
55 Probar que sup{1 n : n 2 IN } = 1
56 Si S = { n1 1
m : n, m 2 IN }, calcular ı́nf S y sup S.
57 Sean x e y números reales tales que x > 1, y > 0.
i) Demostrar que existe un numero n 2 IN tal que
y < xn
Indicación: Para y < 1 o y = 1 es fácil. Si y > 1 argumentar por reducción al absurdo. En este caso
utiliza que si 0 < " < x 1 entonces para todo m 2 IN , entonces xm + " < xm+1 .
ii) Concluye la Propiedad Arquimediana del producto: existe un único p 2 Z I tal que
xp 1
y < xp (ó xp 1
< y xp )
Indicación: Para y = 1 es fácil. Para y > 1, usando i), considera el conjunto A = {n 2 IN , y < xn }
y usa el Buen Orden de IN . Para 0 < y < 1 reducelo al caso anterior.
iii) Concluye que [
IR+ = (0, 1) = [xp 1 , xp )
p2Z
I
(unión disjunta dos a dos).
Modifica ligeramente los argumentos anteriores para probar que
[
IR+ = (0, 1) = (xp 1 , xp ]
p2Z
I
(unión disjunta dos a dos).
58 Probar que si " > 0 entonces existe n0 2 IN tal que 1/2n0 < ". Concluye que para todo n n0
tambien se tiene que 0 < 1/2n < ".
59 Si x 2 IR, probar que para todo " > 0 existen r1 , r2 2 Q
I tales que
r1 2 (x ", x), r2 2 (x, x + ").
Concluir que de hecho hay infinitos números como r1 y r2 . Hacer lo mismo para números irracionales.
60 Sea n 2 IN .
i) Si n es par y a > 0 probar que entonces a tiene exactamente dos raices n-ésismas reales, una
p p p
opuesta de la otra, que representamos por ± n a. Si además 0 a1 < a2 entonces n a1 < n a2 . Si
a < 0 entonces no tiene raices n-ésismas reales.
ii) Si n es impar y a 2 IR probar que a tiene exactamente una raiz n-ésisma real, con el mismo signo
p p
que a. Si además a1 < a2 entonces n a1 < n a2 .
p p
iii) Probar que si a > 1 entonces
p ı́nf{ p
n
a, n 2 IN } = 1 y si a < 1 entonces sup{ n a, n 2 IN } = 1.
p
iv) Probar que si
p a, b > 0, n ab = n a n b.
m n
p p
v) Probar que a = nm a.
61 Exponentes enteros y racionales
i) Si a 2 IR, a 6= 0, y m 2 IN definimos
m
z }| { 1 1
am = a · · · a, a0 = 1, a m
= m
= ( )m .
a a
Probar que an am = an+m para todos n, m 2 Z
I . Probar que (an )m = anm para todos n, m 2 Z
I . Probar
m m m
que (ab) = a b para todos a, b 6= 0 y m 2 Z
I.
Probar que si a > 1 y n < m entonces an < am mientras que si 0 < a < 1 y n < m entonces
an > am para todos n, m 2 Z
I.
ii) Si a > 0 y n 2 IN , definimos
1 p m p
an = n
a, a n = ( n a)m
p p m
con m 2 Z I . Probar que ( n a)m = n am y que la definición de a n es consistente para todas las fracciones
que representan al mismo número racional y por tanto ar está bien definido para r 2 Q I.
Probar que ar as = ar+s para todos r, s 2 Q
I y a0 = 1. Probar que (ar )s = ars para todos r, s 2 Q I.
r r r
Probar que (ab) = a b para todos a, b > 0 y r 2 Q I.
iii) Si a > 1 y r < s entonces ar < as mientras que si 0 < a < 1 y r < s entonces ar > as para todos
r, s 2 Q
I.
iv) Demuestra que si 0 < a < b y r 2 Q I y r > 0 entonces ar < br mientras que si r < 0 entonces
r
a >b . r
62 La exponencial real
i) Probar que si x 2 IR y llamamos Ix = {r 2 Q I , r < x} y Sx = {r 2 Q
I , r > x} entonces estos
conjuntos son no vacios y
x = sup Ix = ı́nf Sx .
ii) Concluir que si a > 1 y definimos para x 2 IR
ax = sup{ar , r 2 Ix }
entonces ax = ı́nf{ar , r 2 Sx } y que si x 2 Q
I esta definición coincide con la de la exponencial en el
Problema 61.
Probar que se tiene ax ay = ax+y para todos x, y 2 IR, a0 = 1 y si x < y entonces ax < ay .
iii) Si 0 < a < 1 definimos
ax = ı́nf{ar , r 2 Ix }.
Prueba que ax = (a 11 )x y a 1 > 1. Obtén con esto que ax ay = ax+y para todos x, y 2 IR, a0 = 1 y si
x < y entonces ax > ay .
Si a = 1 definimos 1x = 1 para todo x 2 IR.
iv) Probar que si a > 0 y x 2 IR entonces
x 1 1
a = , ax = .
ax (a 1 )x
v) Probar que (ax )y = axy para todos x, y 2 IR.
Indicación: Prueba primero el caso x, y > 0 y los demás redúcelos a este. A s vez, distingue los casos
a > 1 y 0 < a < 1.
vi) Probar que (ab)x = ax bx para todo a, b > 0 y x 2 IR.
Indicación: Prueba primero el caso a, b > 1. Reduce el caso 0 < a, b < 1 a este. Para el caso a > 1 y
0 < b < 1 distingue los casos ab > 1 y ab < 1.
vii) Probar que si 0 < a < b y x 2 IR, x > 0 entonces ax < bx mientras que si x < 0 entonces ax > bx .
63T Determinar los conjuntosS T1 T1
i) T1 1 1
n=1 (1 + n , 2 + n ), ii) T1 1 1
n=1 (1 + n , 2 + n ) iii) n=1 [1 + n1 , 2 1
n ], iv) n=1 [2
1
n, 2 + n1 ],
1 1 1 1
v) n=1 (2 n , 2 + n ), vi) n=1 ( n, n)
64 Sea {(an , bn ),Sn 2 IN } una familia de intervalos en IR y sea a = ı́nf n an , b = supn bn .
i) Demostrar que n (an , bn ) ⇢ (a, b) S
ii) Demostrar que si (an+1 , bn+1 ) (an , bn ) entonces n (an , bn ) = (a, b) T
iii) Probar con un ejemplo que si ↵ = supn an , = ı́nf n bn , en general no es cierto que n (an , bn ) =
(↵, ) aunque (an+1 , bn+1 ) ⇢ (an , bn ).
