A ideia não é difícil, e o mais importante é o caso 2: X x Yé enumerável se X,Y são. Faz assim: os elementos de X são x1,x2,... e os de Y são y1,y2,y3... (ambos são enumeráveis, então eu posso colocar índices)
Então podemos fazer assim: Para cada natural N = 1,2,3,4,5... liste os pares (xi,yj) tal que i+j=N Teremos algo assim: (x1,y1) (x1,y2),(x2,y1) (x1,y3),(x2,y2),(x3,y1) E por aí vai... Aí, basta aplicar o caso n=2 fazendo X=A1 x A2 x ... x An e Y=A(n+1) Sem indução é mais fácil ainda: basta utilizar o algoritmo acima. Em 30/10/10, Luiz Neto Neto<lllluizn...@yahoo.com.br> escreveu: > Sejam A1,....An conjuntos enumeráveis, então A1x....xAn é enumerável(Use > Indução) > > > > -- /**************************************/ Quadrinista e Taverneiro! http://tavernadofimdomundo.blogspot.com >> Quadrinhos, histórioas e afins http://baratoeletrico.blogspot.com />> Um pouco sobre elétrons em movimento http://bridget-torres.blogspot.com/ >> Personal! Do not edit! ========================================================================= Instru��es para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================
