(15) Scjam
c
dois subconjuntos de
limitados superiormente. Prove que
, onde
Passo 1
Primeiro, vamos entender o que a questão está pedindo. Temos dois conjuntos
e
de números reais (
), e ambos são limitados superiormente, ou seja, possuem um maior elemento que não é ultrapassado por nenhum outro elemento do conjunto. O objetivo é provar que o supremo da soma desses conjuntos,
, é igual à soma dos supremos de cada conjunto individualmente, ou seja,
. Para isso, vamos precisar usar conceitos de supremum e propriedades de operações com conjuntos.
Passo 2
Vamos relembrar o que é o supremo. O supremo de um conjunto é o menor número real que é maior ou igual a todos os elementos do conjunto. Como
e
são limitados superiormente, sabemos que
e
existem. Além disso, a soma
é definida como o conjunto de todas as somas possíveis
, onde
e
.
Passo 3
Primeiro, vamos mostrar que
é um limite superior para o conjunto
. Ou seja, para qualquer elemento
em
, queremos verificar se
.
Como
está em
, existe
e
tais que
. Sabemos que
e
. Somando essas desigualdades, temos:
Portanto,
é realmente um limite superior para
.
Passo 4
Agora, precisamos provar que
é o menor limite superior possível para
. Para isso, vamos mostrar que, para qualquer
, existe um elemento
tal que:
Como
é o menor limite superior de
, existe algum
que está próximo desse supremo, ou seja,
. Da mesma forma, como
é o menor limite superior de
, existe algum
tal que
.
Então, tomando
, temos:
Passo 5
Isso demonstra que para qualquer
, podemos encontrar um
que está dentro de
do limite superior
. Portanto,
é o menor limite superior possível para
, ou seja,
.
Resposta
Concluímos que
.
Exercícios relacionados
15
Calcule a derivada direcional de no ponto
na direção de
a
. Calcule também a direção segundo a qual
cresce mais rapidamente, bem como essa taxa de crescimento:
Calcule a derivada direcional de
Nos problemas a seguir, determine se cada integral é convergente. Se a integral for convergente, calcule seu valor.
.
Demonstre a unicidade do elemento neutro do produto em
.
Determine o supremo c o ínfimo do conjunto
dado por