|
Caríssimos,
eis uma interessante questão do vestibular da
Unicamp, que tem me intrigado bastante:
"Sejam N o conjunto dos números naturais e
f:N-->N uma função que satisfaz as propriedades
a) dado qualquer m pertencente a N existe n
pertencente a N tal que f(n)>=m
b) A_i {s pertencente a N; s<=f(x)} está contido
no conjunto imagem de f, para todo i pertencente a N
Mostrar que f é sobrejetora"
Como resolver?
Grande abraço a todos, bom final de
semana,
Renato
|