Conteúdo
Essa questão parece trabalhosa porque são nove produtos cartesianos, mas ela cai toda em cima de uma regra só. Vamos deduzir essa regra primeiro.
Suponha que
e
. Pega um par ordenado qualquer
. Isso significa que
e
. Mas se
, então
; e se
, então
. Logo
. Como o par era qualquer, concluímos:
![]()
Ou seja: para comparar dois produtos cartesianos, basta comparar separadamente os dois fatores. Se o primeiro fator está contido no primeiro e o segundo está contido no segundo, o produto todo está contido.
Agora é só aplicar. Como o enunciado dá
, temos
,
e, por transitividade,
.
Fixando o primeiro fator e variando o segundo, sai uma cadeia para cada linha:
![]()
![]()
![]()
Fixando o segundo fator e variando o primeiro, sai uma cadeia para cada coluna:
![]()
![]()
![]()
Juntando tudo, o menor de todos é
, que está contido nos outros oito, e o maior de todos é
, que contém os outros oito. Uma cadeia que vai de ponta a ponta é, por exemplo:
![]()
Uma observação importante para fechar:
e
não são comparáveis em geral. Para ter
a gente precisaria de
, que vale, e de
, que não vale, a menos que
. É o mesmo motivo pelo qual o produto cartesiano não é comutativo.
Ainda não é membro? Registrar agora
Já se cadastrou? Fala login
Me conte qual é o erro e eu corrijo. Escreva para contato@estudoemserie.com.br, citando o exercício — ou use um dos atalhos abaixo, que já vão preenchidos.