Esercizi
[020] Prerequisiti:[024].(Svolto il 2022-10-25) Dato \(A\) insieme non vuoto mostrate che esiste una bigezione \(f:A→ B\) fra \(A\) e un insieme \(B\) disgiunto da \(A\).
Più in generale sia \(I\) un insieme non vuoto di indici, sia \(A_ i\) una famiglia di insiemi non vuoti indicizzata da \(i∈ I\); 1 mostrare che esistono bigezioni \(f_ i:A_ i→ B_ i\), dove gli insiemi \(B_ i\) godono della proprietà \(∀ i∈ I,∀ j∈ I, B_ i∩ A_ j=∅\) e se \(j≠ j\) anche \( B_ i∩ B_ j=∅\).
Soluzione 1