EDB — 020

Esercizi

1. [020] Prerequisiti:[024]↺↻.(Svolto il 2022-10-25) Dato $A$ insieme non vuoto mostrate che esiste una bigezione $f:A\to 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\in I$;  ¹ mostrare che esistono bigezioni $f_i:A_i\to B_i$, dove gli insiemi $B_i$ godono della proprietà $\forall i\in I,\forall j\in I,B_i\cap A_j=\varnothing$ e se $j\ne j$ anche $B_i\cap B_j=\varnothing$.

   Soluzione 1

   [021]↺↻