Without choice, it's impossible to guarantee that an arbitrary product of non-empty sets is non-empty. The Cartesian product would just be a set containing the empty function, which is a singleton set and therefore non-empty. This definition doesn't rely on the Axiom of Choice, so we can prove in ZF¬C that the empty Cartesian product of non-empty sets is non-empty. So, the question of proving that an empty Cartesian product of non-empty sets is non-empty in ZF¬C does not seem to be problematic. This is the same across all standard set theories (ZF, ZF¬C, ZFC), because it's not about selecting an element from each of the sets in the family (which would require AC), it's just about the definition of the Cartesian product when there are no sets in the family.
Ah okay, I misunderstood. Am I still right to understand that there would have to be a product that produces the empty function on the union of sets in the family (hopefully I got that right this time)?
Thanks for the answers, by the way.
this post was submitted on 14 Jul 2023
5 points (100.0% liked)
math
268 readers
1 users here now
Interesting news and discussion centered around Mathematics
founded 1 year ago
MODERATORS