Ferramentas do usuário
solucao:acartesianob
Essa é uma revisão anterior do documento!
Sabemos que $\omega \times \omega$ é enumerável. Considere uma função $ f: \omega \times \omega \to A \times B$, como $A$ e $B$ são enumeráveis, podemos então definir $f$ de modo que $(n,i) \mapsto (a_n, b_i)$. Assim $f$ será sobrejetora, portanto $A \times B$ será enumerável(vide exercício anterior).
solucao/acartesianob.1476310068.txt.gz · Última modificação: 2020/11/06 16:03 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
