Anti-Elección

El Axioma de Elección (AC, por sus siglas en inglés) dice que dada una familia $\calF$ de conjuntos no vacíos, puedo elegir un elemento de cada uno. Hay varias maneras equivalentes de formular esto más precisamente:

  • Hay una función $f$ tal que $f(A)\in A$ para todo $A\in\calF$;
  • (si los conjuntos de $\calF$ son disjuntos) Hay un conjunto $C$ tal que su intersección con cada $A\in\calF$ es un singulete;
  • etcétera.

Continue reading