Olá Lucas, então, ainda nao vi pq nao criei uma enumeração das bijeções de N em N.
Veja, posso utilizar f(n, p) para criar essa enumeração. É como se eu fizesse o seguinte: - primeiro vem as permutacoes de 1 elemento; - depois vem as permutacoes de 2 elementos; - depois vem as permutacoes de 3 elementos; - depois vem as permutacoes de 4 elementos; - e assim por diante... Sejam os pares ordenados (n, p) \in NxN. (1, 1), (1, 2), (1, 3), ...., (2, 1), (2, 2), (2, 2), ...., n = quantidade de elementos p = p-ésima permutação dos n elementos Estou começando a achar que f(n, p) não existe... pois se existisse, acho que minha prova é válida, visto que NxN é enumerável. É isso? abraços, Salhab 2010/1/22 <[email protected]> > Oi marcelo, > > não, isto não é verdade. O que vc fez foi criar uma enumeração para as > permutações de conjuntos finitos de n elementos. > > []'s Lucas > > Citando Marcelo Salhab Brogliato <[email protected]>: > > > Isso é verdade? >> >> Pensei na seguinte função: >> f(n, p) = p-ésima função das permutações de n elementos. >> >> Como (n, p) \in NxN, e NxN é enumerável, achei que f era uma enumeração >> das >> bijeções de N em N. >> >> abraços, >> Salhab >> >> >> >> 2010/1/13 <[email protected]> >> >> Alguém consegue mostrar, usando frações contínuas, que o conjunto das >>> bijeções de N(naturais) em N é não enumenumerável ? >>> >>> >>> []'s >>> >>> Lucas >>> >>> ---------------------------------------------------------------- >>> This message was sent using IMP, the Internet Messaging Program. >>> >>> >>> >>> ========================================================================= >>> Instruções para entrar na lista, sair da lista e usar a lista em >>> http://www.mat.puc-rio.br/~obmlistas/obm-l.html >>> ========================================================================= >>> >>> >> > > > ---------------------------------------------------------------- > This message was sent using IMP, the Internet Messaging Program. > > > > ========================================================================= > Instruções para entrar na lista, sair da lista e usar a lista em > http://www.mat.puc-rio.br/~obmlistas/obm-l.html > ========================================================================= >
