[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] sobrejetividade



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