Seja
e considere as relaçōes sobre
:
Diga qual delas é função de
em
.
Passo 1
O enunciado define o conjunto
e quatro relações
,
,
e
sobre
. Para que uma relação
seja função de
em
, cada elemento de
deve aparecer exatamente uma vez como primeira coordenada de um par em
.
Passo 2
Analisando
, vemos que as primeiras coordenadas são
, sem repetições nem omissões. Logo,
é função de
em
.
Passo 3
Analisando
, a única primeira coordenada é
(repetida) e faltam
. Portanto
não é função.
De modo semelhante, tem domínio
, faltando
. Logo,
não é função de
em
.
De modo semelhante,
Passo 4
Analisando
, as primeiras coordenadas são exatamente
, cada uma aparecendo uma vez. Portanto
é função de
em
.
Resposta
As relações
e
são funções de
em
.