Sejam
e
. Definimos
da seguinte forma:
Determinar
.
Passo 1
Beleza, vamos recapitular o que tá rolando:
Temos dois conjuntos
e
.
A relação é dada por
Temos dois conjuntos
A relação
O conteúdo aqui é “relação inversa” de uma relação binária. Pra resolver a parada, precisamos:
- Listar todos os pares
em . - Trocar esses pares de posição (de
para ) pra obter .
Passo 2
Primeiro, vamos montar
. A regra é
. Como
só pode ser 3, 4 ou 5, testamos cada caso:
- Se
, a desigualdade vira , ou seja . Como vem de , valem e . Então entram e . - Se
, fica , ou seja . Então só dá . Entra . - Se
, dá , mas em , então não tem par aqui.
Logo
Passo 3
Agora a teoria da relação inversa:
Em outras palavras, a gente pega cada par de e inverte as coordenadas.
Em outras palavras, a gente pega cada par de
Passo 4
Invertemos cada elemento de
: