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

[obm-l] Conjuntos finitos



Seja
S um conjunto
defino
(n natural)

S(n+1)=S(n)-{max S(n)}
S(0)=S

(se S(n) possui máximo) [prestar atenção nessa condição]

Se existe n, tal que s(n)=vazio
então n é finito e tem n elementos?

e se um conjunto é finito vale a propriedade acima?
(relaçao de se e somente se).

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