|
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
|