Seja
conjunto parcialmente ordenado e
.
a)Defina o que sería o ínfimo e o supremo do conjunto
.
b) Dê exemplo de um conjunto que possui supremo e de um conjunto que não possui supremo.
a)Defina o que sería o ínfimo e o supremo do conjunto
b) Dê exemplo de um conjunto que possui supremo e de um conjunto que não possui supremo.
Passo 1
O enunciado dá um conjunto parcialmente ordenado
) e um subconjunto
). Pede duas coisas:
- (a) Definir o que seria o ínfimo e o supremo do conjunto ).
- (b) Dar um exemplo de um conjunto que possui supremo e um exemplo de um conjunto que não possui supremo.
As informações dadas são apenas que
) é um pré‑conjunto com uma ordem parcial e que
) é um subconjunto qualquer. A solução deve fornecer definições formais e exemplos concretos.
Passo 2
Vamos começar lembrando duas noções simples e intuitivas, que depois formalizo:
- Uma cota superior (upper bound) de ) é um elemento de ) que é maior ou igual a todo elemento de ).
- Uma cota inferior (lower bound) de ) é um elemento de ) que é menor ou igual a todo elemento de ).
Agora as definições formais e precisas.
Passo 3
Definição formal de supremo (menor cota superior):
Um elemento
) é o supremo de
) (também chamado de menor cota superior, ou
) se, e somente se, valem as duas propriedades seguintes:
-
) é uma cota superior de
):
-
) é a menor entre as cotas superiores: se
) é qualquer cota superior de
) (ou seja,
), então
Comentários intuitivos: a primeira condição diz que nada em
) ultrapassa
); a segunda diz que
) é o menor elemento possível que tem essa propriedade (nenhuma outra cota superior é estritamente menor que
)). Note que o supremo, se existir, é único (vou mostrar por quê no próximo passo).
Passo 4
Definição formal de ínfimo (maior cota inferior):
Um elemento
) é o ínfimo de
) (também chamado de maior cota inferior, ou
) se, e somente se, valem:
-
) é uma cota inferior de
):
-
) é a maior entre as cotas inferiores: se
) é qualquer cota inferior de
) (ou seja,
), então
Intuição: o ínfimo é o maior elemento que fica sempre abaixo de todos os elementos de
).
Passo 5
Prova rápida de unicidade (útil na prova): se existissem dois supremos
) e
) de
), pela definição de menor cota superior teríamos
e também
. Pela propriedade antisímetrica da ordem parcial isso implica
. Portanto o supremo, quando existe, é único; o mesmo argumento vale para o ínfimo.
Passo 6
Como verificar na prática (dicas para a prova):
- Liste (ou descreva) todas as cotas superiores de ) dentro de ) — às vezes dá para ver que elas existem ou não.
- Mostre que um candidato
) é cota superior: verifique
. - Mostre que
) é a menor cota superior: pegue uma cota superior arbitrária
) e prove
. Uma técnica prática é: suponha e derive contradição encontrando com . - Para mostrar que não existe supremo, geralmente você prova que ou não há nenhuma cota superior em ), ou que há cotas superiores mas não existe uma menor entre elas (sempre pode-se construir uma cota superior menor), ou então mostra que o candidato natural não pertence a ).
Passo 7
Exemplo de conjunto que possui supremo (e verificação): tomo o poset
) com a ordem usual e
.
- Primeiro, verificar que
é cota superior: para todo temos , logo . Portanto é cota superior. - Agora mostrar que
é a menor cota superior. Seja qualquer cota superior de . Se , então escolha o ponto médio . Temos , logo , mas então (pois seria cota superior) — contradição porque . Portanto não é possível ; então . Assim é menor ou igual a qualquer cota superior , ou seja, .
Observação: o supremo pode não pertencer a
— aqui
\notin A), mas ainda assim é
. O ínfimo de
é
e o raciocínio é análogo.
Passo 8
Exemplo de conjunto que não possui supremo (caso clássico): tomo o poset
) com a ordem usual e
Intuição:
é o conjunto dos racionais cuja raiz quadrada seria menor que
. Em
o supremo seria
, mas
. Vou mostrar que não existe supremum em
.
Prova que não existe
em
:
- Se
satisfaz , então não é uma cota superior (pois existe racional com — sempre há racionais entre dois reais — e então e , contradizendo que é cota superior). - Se
satisfaz , então é uma cota superior de , mas não é a menor cota superior: existe um racional com (novamente por densidade dos racionais), e esse também é cota superior, então não é mínimo entre as cotas superiores. - O caso
não acontece em porque não é racional.
Assim não existe nenhum
que seja a menor cota superior de
. Portanto
não possui supremo em
.
Passo 9
Resumo das ideias principais (para gravar na prova):
- Supremo = menor cota superior; ínfimo = maior cota inferior.
- Verificar duas coisas: é cota superior/inferior? e é mínimo/máximo entre as cotas?
- Exemplos clássicos: em
intervalos abertos costumam ter supremo/ínfimo em ; em conjuntos que aproximam números irracionais (como acima) mostram ausência de supremo em . - Persistência: não se esqueça de checar se o candidato está no próprio conjunto
) ou apenas em
— isso não importa para ser supremo, pois supremo pode estar fora de ; o que importa é pertencer a .
Resposta
(a) O supremo de
é o menor elemento
que é cota superior de
; formalmente:
e para toda cota superior
de
vale
. O ínfimo de
é o maior elemento
que é cota inferior de
; formalmente:
e para toda cota inferior
de
vale
.
(b) Exemplo com supremo: em
com a ordem usual, o conjunto
tem
.
Exemplo sem supremo: em com a ordem usual, o conjunto
não possui supremo em
.
Exemplo sem supremo: em