Primeiramente, é preciso considerar que a função f: N* -> Z é uma função que vai de um conjunto N* (conjunto de naturais não nulos) para um conjunto Z (conjunto dos inteiros).
Se n for par, f(n) = -n/2 é inteiro, então f é injetiva.
Se n for ímpar, f(n) = n-1/2 é inteiro, então f é injetiva.
Lista de comentários
Resposta:
Primeiramente, é preciso considerar que a função f: N* -> Z é uma função que vai de um conjunto N* (conjunto de naturais não nulos) para um conjunto Z (conjunto dos inteiros).
Se n for par, f(n) = -n/2 é inteiro, então f é injetiva.
Se n for ímpar, f(n) = n-1/2 é inteiro, então f é injetiva.