Sie sind auf Seite 1von 2

Exercícios Resolvidos Diego Oliveira - Vitória da Conquista/BA

Princípio da Boa Ordenação


Contato: nibblediego@gmail.com

Escrito por Diego Oliveira - Publicado em 24/04/2016 - Atualizado em 21/04/2018

O que você precisa saber?


Em geral todas as provas que utilizam o princípio da boa ordenação (P.B.O.) são
feitas por absurdo.

Exemplo 1: Mostre que não existe Exemplo 2: Prove usando o P.B.O.


um inteiro m tal que 0 < m < 1. que o conjunto S = {m ∈ Z : 7 < m < 8}
é vazio.
Solução:
Solução:
Suponha por absurdo que exista um
A resolução desse exercício é bem
m que satisfaça essa relação. Assim, ex-
similar a primeira.
iste um conjunto S = {m | 0 < m < 1}
Supondo por absurdo que S 6= , en-
não vazio. Usando o princípio da boa or-
tão pelo principio da boa ordenação ex-
denação afirmamos que deve existir um
iste um mn(S) = mo . E como mo ∈ S
mo pertencente a S tal que mo = mn(S).
então:
E como mo ∈ S então:

7 < mo < 8
0 < mo < 1
⇒ 7 − 7 < mo − 7 < 8 − 7
⇒ 0 · mo < mo · mo < 1 · mo
⇒ 0 < (mo − 7) < 1
⇒0< m2o < mo < 1
⇒ 0 · mo < (mo − 7)mo < 1 · mo

o que é um absurdo, pois assim ⇒ 0 < (mo − 7)mo < mo


teríamos mo pertencente a S (pois mo
2 2

está entre 0 e 1) e menor que mo con- O que é um absurdo, pois a expressão


trariando a minimalidade de mo . contradiz a minimalidade de mo .

1
Exercícios Resolvidos Diego Oliveira - Vitória da Conquista/BA

Este trabalho está licenciado com uma


Licença Creative Commons -
Atribuição-NãoComercial-
CompartilhaIgual 4.0 Internacional.

Esse documento está sujeito a constante atualização ou mesmo correções, por


isso, certifique se que o que você têm em mãos é de fato a última versão do
mesmo. Para saber, bem como ter acesso a vários outros exercícios resolvidos
de matemática, acesse: www.number.890m.com

E se alguma passagem ficou obscura ou se algum erro foi cometido por favor
entre em contato para que possa ser feito a devida correção.

.ƒ cebook.com/ theNmberType

nbbedego@gm.com

.nmber.890m.com

Das könnte Ihnen auch gefallen