Prove que R=R1 cup R2 cup(A1 times A2) é uma relação de ordem em A=A1 cup A2. OBS: A presença de A1 times A2 em R nos diz que forall x in A1 é menor ou igual a forall y in A2. Além disto, a ordem que inicialmente tínhamos em cada Ai é preservada.

Passo 1

O enunciado pede para provar que a relação é uma relação de ordem no conjunto . Vamos usar os conceitos de reflexividade, antisimetricidade e transitividade, que são as propriedades necessárias para uma relação ser considerada uma ordem. Precisaremos verificar cada uma dessas propriedades para .

Passo 2

Reflexividade: Uma relação é reflexiva se todo elemento está relacionado consigo mesmo. Como e e preservam a ordem em e respectivamente, temos que para todo , ou . Portanto, , garantindo que é reflexiva.

Passo 3

Antisimetricidade: Uma relação é antisimpla se, sempre que e , então . Suponha que e . Se e estiverem no mesmo conjunto ou , a antisimetricidade de ou respectivamente nos garante que . Se e , pela presença de em , temos , mas não pode estar relacionado a a menos que , o que não acontece porque e são disjuntos. Portanto, é antisimétrica.

Passo 4

Transitividade: Uma relação é transitiva se, sempre que e , então . Considerando as diferentes combinações de onde pertencem (a ou ), e usando a transitividade de , e a relação , podemos verificar que sempre estará em . Portanto, é transitiva.

Resposta

Assim, satisfaz as propriedades de reflexividade, antisimetricidade e transitividade, sendo portanto uma relação de ordem em .

Exercícios relacionados