Determine se cada uma das funções abaixo, do conjunto {a, b, c, d} para ele mesmo, é injetiva. Quais são sobrejetivas? Desenhe um diagrama de Venn para cada caso.
f(a)=d, f(b)=b, f(c)=c, f(d)=d.

Passo 1

Vamos lá! O exercício pede para descobrir se a função dada, que vai do conjunto {a, b, c, d} para ele mesmo, é injetiva e/ou sobrejetiva. Para resolver isso, vamos precisar entender o que significa uma função ser injetiva (ou um-para-um) e sobrejetiva (ou sobre). Além disso, vamos usar diagramas de Venn para visualizar essas propriedades.

Passo 2

Primeiro, vamos revisar o que é uma função injetiva e sobrejetiva.
  • Função Injetiva: Uma função é injetiva se elementos diferentes do domínio são mapeados para elementos diferentes no contradomínio. Em outras palavras, não há duas entradas que apontam para a mesma saída.
  • Função Sobrejetiva: Uma função é sobrejetiva se todo elemento do contradomínio é a imagem de pelo menos um elemento do domínio. Ou seja, não sobra nenhum elemento sem ser atingido pela função.
Agora, vamos analisar a função dada:

Passo 3

Verificando a Injetividade:
Vamos verificar se algum valor do contradomínio é atingido por mais de um elemento do domínio.
Observamos que:
  • O elemento d do contradomínio é atingido por a e por d.
Isso significa que dois elementos diferentes do domínio ( a e d) estão mapeados para o mesmo elemento d do contradomínio. Portanto, a função não é injetiva.
Verificando a Sobrejetividade:
Vamos ver se todo elemento do contradomínio {a, b, c, d} é atingido por pelo menos um elemento do domínio.
Analisando as imagens:
  • a não está sendo atingido por nenhum elemento, pois nenhum .
  • b é atingido por b.
  • c é atingido por c.
  • d é atingido por a e por d.
Como o elemento a do contradomínio não é atingido por nenhum elemento do domínio, a função não é sobrejetiva.

Resposta

A função , , , não é injetiva nem sobrejetiva. Nos diagramas de Venn, podemos visualizar que o elemento d é alvo de dois elementos diferentes do domínio ( a e d) e que o elemento a do contradomínio não é atingido por nenhum elemento do domínio.

Exercícios relacionados