Sejam a, b, c, d in R com a < b e c < d. Prove que os intervalos abertos (a, b) e (c, d) são disjuntos se e somente se b <= c ou d <= a.

Passo 1

Então, vamos lá! A gente tem dois intervalos abertos: (a, b) e (c, d), onde a, b, c, d são números reais com e . A pergunta é para provar que esses dois intervalos são disjuntos, ou seja, não têm nenhum número em comum, se e somente se b <= c ou d <= a. Vamos usar conceitos de teoria dos conjuntos e propriedades dos intervalos para resolver isso.

Passo 2

Primeiro, vamos entender o que significa os intervalos serem disjuntos. Dois intervalos são disjuntos quando eles não compartilham nenhum ponto em comum. Ou seja, nenhum número está presente em ambos os intervalos ao mesmo tempo.

Passo 3

Agora, vamos analisar o que acontece quando b <= c. Se b <= c, isso significa que o final do primeiro intervalo (a, b) é menor ou igual ao início do segundo intervalo (c, d). Como os intervalos são abertos, o número b não está incluído em (a, b) e o número c não está incluído em (c, d). Portanto, não há sobreposição entre os dois intervalos, então eles são disjuntos.

Passo 4

De forma similar, se d <= a, isso significa que o final do segundo intervalo (c, d) é menor ou igual ao início do primeiro intervalo (a, b). Novamente, como os intervalos são abertos, não há nenhum número que pertença aos dois intervalos ao mesmo tempo. Então, os intervalos também são disjuntos nesse caso.

Passo 5

Agora, vamos provar a outra direção: se os intervalos (a, b) e (c, d) são disjuntos, então necessariamente b <= c ou d <= a.
Se os intervalos não têm nenhum ponto em comum, ou seja, são disjuntos, isso significa que um dos intervalos está completamente à esquerda do outro na linha dos números reais. Ou seja, todo elemento de (a, b) é menor que todo elemento de (c, d), o que implica b <= c, ou vice-versa, todo elemento de (c, d) é menor que todo elemento de (a, b), implicando d <= a.

Resposta

Portanto, mostramos que os intervalos abertos (a, b) e (c, d) são disjuntos se e somente se b <= c ou d <= a.

Exercícios relacionados