Axiom of choice and cartesian product

by anadad   Last Updated October 09, 2019 17:20 PM

I learned that Axiom of Choice states that the cartesian product of a family of non-empty sets $X_i$ indexed by a non-empty set $I$ is non-empty.

I think I can accept this axiom.

But I don’t understand how it guarantees that cartesian product can have more than one elements! It’s because ‘non-empty’ sounds to me ‘having at least one element’ here. So I think AC just implies that there exists at least one element in the product.

How do we insure that there exist all the possible functions from $I$ to $\cup X_i$?

Thanks in advance!



Related Questions


Updated May 31, 2015 03:08 AM

Updated April 26, 2017 01:20 AM

Updated July 06, 2015 15:08 PM

Updated February 16, 2016 03:08 AM

Updated July 23, 2017 12:20 PM