Uma ajuda por favor:

 

 

*) Seja f:X->X uma função. um subconjunto Y'C'X(Y contido em X) chama-se 
estável relativamente a f  quando f(Y)'C'Y. Prove que um conjunto X é finito 
se, e somente se, existe uma função f:X->X que só admite os subconjuntos 
estáveis  ( ) (vazio) e X.

 

Valeu!

 

(^_^)
                                          
_________________________________________________________________
O Novo Windows 7 funciona do jeito que você quer. Clique aqui para conhecer!
http://www.microsoft.com/brasil/windows7/default.html?WT.mc_id=1539

Responder a