this post was submitted on 14 Jul 2023
5 points (100.0% liked)

math

269 readers
2 users here now

Interesting news and discussion centered around Mathematics

founded 1 year ago
MODERATORS
 

Paul Cohen I understand constructed such a set of axioms, which logically imply the existence of an evil set family like that. Constructive is of course preferred for extra WTF.

top 2 comments
sorted by: hot top controversial new old
[–] [email protected] 1 points 1 year ago (1 children)

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.

[–] [email protected] 1 points 1 year ago

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.