Esercizi
[03F] Prerequisiti:[01P].(Proposto il 2022-12) Mostrate che le cardinalità sono sempre confrontabili, cioè che dati due insiemi \(A,B\) si ha sempre o \(|A|\le |B|\) o \(|B|\le |A|\). (Usate il lemma di Zorn e la costruzione spiegata nell’esercizio [01P]).
Soluzione 1[ (Presente come teorema 1.19 negli appunti) ]
Questo enunciato è equivalente all’ Assioma della Scelta, si veda [ 15 ] .