[obm-l] Conjunto finito

[kleinad@xxxxxxxxxx]

Alguma ajuda na quest�o abaixo?

Seja f: X --> X uma fun��o tal que se Y � um subconjunto pr�prio n�o vazio
de X, f(Y) n�o est� contida em Y, qualquer que seja Y. Mostre que X � finito.

Claro, a rec�proca � verdadeira; se X � finito ent�o � poss�vel achar f
satisfazendo o enunciado (por exemplo, uma fun��o que leve x_i em x_i+1 (i <
n) e x_n em x_1, supondo X com n elementos).

[]s,
Daniel

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================