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
Como sempre a explicação do Prof. Rauph são excelentes e esclarecedoras.
Examinando-a ocorreu-me uma dúvida.
Na demonstração por indução devemos estabelecer a veracidade de dois enunciados;
(1) s(1) é verdadeira ( ou s(2), etc. e
(2) s(k) acarreta em s(k+1).
No exemplo analisado a implicação s(1)
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
Oi, Tarso.
Para ser mais exato, o que tem que ser provado eh:
i) s(1) eh V
ii) Para todo k natural, s(k) implica s(k+1). (este eh o PASSO DE INDUCAO)
Pois eh, como voce disse, este TODO k natural eh importante. Seja
lah qual for o raciocinio que voce fizer para provar que s(k) implica
s(k+1), ele
9 matches
Mail list logo