Análise Real

Eliakim
1 de Setembro de 2019

Exercı́cio. Sejam A e B conjuntos limitados e considere o conjunto A + B := {x + y | x ∈ A e y ∈ B}. Mostre

que vale a igualdade
sup(A + B) = sup(A) + sup(B).
Demonstração. Vamos denotar

γ := sup(A + B), α := sup(A) e β := sup(B).

Nosso objetivo é mostrar que γ = α + β, mas isto é equivalente a mostrar

γ 6α+β (1)
γ > α + β. (2)

(1) Seja x + y ∈ A + B, logo x ∈ A e y ∈ B. Então segue que

x 6 α, já que α = sup(A)

e também
y 6 β, já que β = sup(B),
e portanto
x + y 6 α + β.
Sendo x + y arbitrário em A + B, note que a desigualdade acima nos diz que α + β é uma cota superior
para A + B, logo pela definição de supremo, temos sup(A + B) 6 α + β, ou seja,

γ 6 α + β.

(2) Por outro lado, como α = sup(A), dado ε > 0, existe x0 ∈ A tal que
ε
α− 6 x0 ,
2
e, analogamente, como β = sup(B), existe y0 ∈ B tal que
ε
β− 6 y0 .
2
Segue que
ε ε
α− + β − = α + β − ε 6 x0 + y0 =⇒ α + β − ε 6 x0 + y0 .
2 2
Mas como x0 + y0 ∈ A + B, temos que x0 + y0 6 γ, e obtemos

α + β − ε 6 γ, ∀ε > 0,

o que nos dá α + β 6 γ.

∴ sup(A + B) = sup(A) + sup(B).