EDB — 04R

Esercizi

1. [04R] Prerequisiti:[04P]↺↻,[03H]↺↻,[22F]↺↻.Difficoltà:*.(Svolto il 2022-10-13
   in parte)

   Sia \(A\) infinito. Mostrate che \(|D× A|=|A|\) per ogni insieme nonvuoto \(D\) finito o numerabile. ¹

   (Una possibile soluzione usa [04P]↺↻)

   Soluzione 1

   [04S]↺↻

   (Un’altra possibile soluzione usa il teorema di Zermelo, [22F]↺↻ e [03H]↺↻; in questo caso [04P]↺↻ diviene un corollario di questo risultato.)

   Soluzione 2

   [04T]↺↻