Dada uma função f: A B explique:
o que significa f ser sobrejetora ?

Passo 1

O enunciado nos dá uma função fcolon Ato B e pede para explicar o que significa essa função ser sobrejetora. O conteúdo aqui é definição de função sobrejetora, ou seja, a ideia de que todos os elementos de B são “atingidos” por f.

Passo 2

Uma função fcolon Ato B é dita sobrejetora (ou sobrejetiva) se, para todo elemento de B, existe pelo menos um elemento de A que é enviado para ele por f. Em símbolos, isso fica:
forall b in B, exists a in A tal que f(a)=b
Em outras palavras, não sobra nenhum elemento em B que fique “sem imagem” na aplicação de f.

Resposta

Uma função fcolon Ato B é sobrejetora se, e somente se,
forall bin B,;exists ain A com f(a)=b,
ou seja, cada elemento de B é valor de f para algum elemento de A.

Exercícios relacionados