EDB — 03R

Esercizi

1. [03R] Indichiamo con \({\mathcal P}_{\mathfrak f}(A)\) l’insieme dei sottoinsiemi \(B⊆ A\) che sono insiemi finiti. Questo è detto colloquialmente l’insieme delle parti finite.

   Si mostri che \({\mathcal P}_{\mathfrak f}(ℕ)\) è numerabile.

   Soluzione 1

   [03S]↺↻

   Questo risultato vale in generale, si veda [053]↺↻.

   [ [03T]↺↻]