Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

solucao:penumeravelcccalt [2017/02/16 08:02] matheus		solucao:penumeravelcccalt [2020/11/06 16:05] (atual)
Ambos lados da revisão anterior Revisão anterior Próxima revisão		Revisão anterior
Linha 1:		Linha 1:
-	Note que para toda função $f\in Fn(\omega,\omega)$ temos que $f$ é um subconjunto finito de $\omega\times \omega$, de modo que assim $Fn(\omega,\omega)\subset [\omega\times \omega]^{<\omega}$, sendo este último, pelo [[lista:enumerabilidade#id0_1-22\|exercício]], enumerável. Segue que $Fn(\omega,\omega)$ é enumerável.	+	Note que para toda função $f\in Fn(\omega,\omega)$ temos que $f$ é um subconjunto finito de $\omega\times \omega$, de modo que assim $Fn(\omega,\omega)\subset [\omega\times \omega]^{<\omega}$. Como $[\omega\times \omega]^{<\omega}$, pelo [[lista:enumerabilidade#id0_1-22\|exercício]], é enumerável, segue que $Fn(\omega,\omega)$ é enumerável.

Topologia e conjuntos em exercícios