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