Ola Murilo,
Por que a sequencia g:N-N nao pertence a lista (enumeracao) desequencias ?
Acho que faltou tornar isto MAIS CLARO. Alem disso,faltou enunciar claramente
que suponhamos que as sequencias denumeros naturais seja enumeravel. Eis aqui
uma demonstracao :
Seja S o conjunto das sequencias
Oi Paulo,
muito obrigado pela solução,
porém uma dúvida que eu fiquei é, não é preciso construir explicitamente a a
sequência que não vai constar na lista?,
grande abraço e obrigado novamente,
Murilo
2009/1/13 Paulo Santa Rita paulo.santar...@gmail.com
Ola Murilo,
Por que a sequencia g:N-N
Oi Murilo e Paulo.
Eu acho que a maior dificuldade da questão é mostrar que a seqüênciaassim
construída é de fato crescente... eu tentaria mostrar que esteconjunto de
seqüências crescentes contém um outro que eu possa provarmais facilmente que é
não-enumerável.
Além disso, eu acho que você
Ola Murilo,
No seu enunciado esta SEQUENCIAS DE NUMEROS NATURAIS e nao SEQUENCIASCRESCENTES
DE NUMEROS NATURAIS. Mas se voce que que a sequenciaconstruida seja crescente e
facil :
Faca t(1) # s1(1)para i natural tal que i 1, faca t(i) = K, onde K e um
natural talque K { t(i-1), si(i) }. Isto
Olá Paulo,
por acaso esta técnica para montar a seqüência T é chamada de
Diagonalização, ou algo parecido?
abraços,
Salhab
2009/1/13 Paulo Santa Rita paulo.santar...@gmail.com
Ola Murilo,
Por que a sequencia g:N-N nao pertence a lista (enumeracao) desequencias
? Acho que faltou tornar isto
2009/1/13 Marcelo Salhab Brogliato msbro...@gmail.com:
Olá Paulo,
por acaso esta técnica para montar a seqüência T é chamada de
Diagonalização, ou algo parecido?
Ele se chama (módulo pequenas variações) Método da Diagonal de
Cantor, em homenagem a Cantor que (além de estabelecer vários axiomas
Ola Salhab,
Penso que a melhor resposta e dizer que a designacao desta tecnica ealgo
parecido com diagonalizacao. Explico. Em primeiro lugar,porque nao ha um
nome padrao universalmente adotado; em segundo lugar,porque diagonalizacao e
um termo familiar, por exemplo, para quemtrabalha com
Pessoal,
continuando na labuta com a análise, fiz um exercício e queria colocar minha
resolução para um julgamento, acho que é a melhor forma de aprender.
(estou tentando deixar a construção de soluções e o formalismo apurado, por
favor, sugestões são muito bem vindas)
Enunciado: Prove que o
8 matches
Mail list logo
