Axiom of Choice by Well ordering principle

339 Views Asked by At

$\textbf{Well Ordering Principle }:$ Every nonempty set $X$ can be well ordered.

$\textbf{The Axiom of Choice}:$ if $\{X_{\alpha}\}_{\alpha \in A}$ is a nonempty collection of nonempty sets, then $\prod_{\alpha \in A} X_{\alpha}$ is nonempty.

In the introduction of Real Analysis by Folland, it is written that: Let $X=\cup_{\alpha \in A}X_{\alpha}$. Pick a well ordering on $X$ and, for $\alpha \in A$, let $f(\alpha)$ be the minimal element of $X_{\alpha}$. Then $f \in \prod_{\alpha \in A} X_{\alpha}$.

My question is that why we need to choose the minimal element of $X_{\alpha}$. Since $X_{\alpha}$ is not empty so why we cannot say it contains an element like $p_{\alpha}$ and we define $f(\alpha)=p_{\alpha}$.

1

There are 1 best solutions below

0
On BEST ANSWER

We don't need to choose the minimal element. It's just a convenient way of ensuring a uniform way to choose an element from each set.

The axiom of choice is, essentially, the way you are allowed to move from "for every $\alpha$, $X_\alpha$ is non-empty" to the statement "choose $p_\alpha$ from each $X_\alpha$".

In other words, your argument is just appealing to the axiom of choice. But since we want to prove the axiom of choice, from the well-ordering principle, we need to start with the fact every set can be well-ordered, and prove that there is a choice function.

And the most convenient way of using a well-ordering, is to pick minimal elements from each non-empty subset of a fixed, well-ordered set. Which is how Folland comes to this proof of the axiom of choice, assuming the well-ordering principle.