\[ \mathcal{F} = \coprod_{A \subseteq \mathbb{N} } \mathcal{F}_A \]
megas_archon ha scritto:\[ \mathcal{F} = \coprod_{A \subseteq \mathbb{N} } \mathcal{F}_A \]
L'identità sta nell'intersezione di tutti gli \(\mathcal F_A\)...
3m0o ha scritto:Se ho capito bene come hai fatto, mi sembra più o meno la stessa cosa, no?
si, più o meno
Comunque si è stato interessante. Onestamente non so se questi siano le uniche strade. Secondo me c'è un modo per dimostrarlo anche senza l'assioma della scelta, ma potrei sbagliarmi.
Visitano il forum: Nessuno e 1 ospite