2
$\begingroup$

Many of the states of affairs about infinite cardinalities and their size, depend on the axiom of choice. What would a comprehensive list be of the properties of the cardinality of the natural numbers N, be if we do not allow anything beyond ZF set theory? Surprise me.

Another question would be about the axiom of countable choice? Why do people accept this but not the axiom of choice proper? It is not intuitive (only less counterintuitive). Yes you can choose an element one by one, but this "intuition" leads to an inductive proof of finite choice for arbitrarily large finite n, not countable choice...

Is it accepted more sheerly on a practical basis? Because a theoretical one seems nonexistent to me.

Edit: I realised this is two questions, but perhaps countable choice is at least a connection between the two.

  • 0
    @Thomas: No... in order to show that one would have to show that FLT is **equiconsistent** with inaccessible cardinals. Do note that Wiles proved a vastly stronger statement in a much more general context. The reason I brought up inaccessible cardinals is that adding the whole axiom of choice will not introduce new inconsistencies compared to countable choice; whereas inaccessible cardinals make the theory stronger and therefore *may* introduce inconsistencies. If people are fine with inaccessible cardinals, then the axiom of choice should be just peachy. That's my point.2012-12-12

1 Answers 1

4

The natural numbers are well-ordered without the axiom of choice. In fact they still serve as the definition for countability without the axiom of choice assumed. Therefore the basic things we know about the natural numbers hold regardless to the axiom of choice. In particular $\mathbb{N\times N}$ is still countable, and $\{A\subseteq\mathbb N\mid A\text{ is finite}\}$ is also countable.

However when the axiom of choice is negated some other weird things could happen in the power set of the natural numbers, and in other infinite sets:

  1. There could be a set which is infinite, but has no countably infinite subset.
  2. It could be that there are no free ultrafilters on the natural numbers.
  3. It could be that the power set of the natural numbers cannot be well-ordered (it can still be linearly ordered, though).
  4. Countable unions of general countable sets need not be countable.
  5. It is possible that there is no linear basis for $\mathbb R$ over $\mathbb Q$.

Let us focus on the first one for a moment, such sets are known as infinite Dedekind-finite sets. Their existence contradicts the axiom of countable choice, so if we assume that we can prove that every infinite set has a countably infinite subset. The fourth one has the same properties, it negates the axiom of countable choice.

Both the second, third and fifth points, however, are compatible with countable choice.

As for why we accept the axiom of choice, historically we did not accept it. People found its consequence strange (regardless to the fact they have used it intuitively). After it was proved that assuming the axiom of choice does not add inconsistencies to ZF, people began using the axiom of choice more and see its wonderful applications. It simply made things easier.

For more reading:

  1. Advantage of accepting the axiom of choice
  2. Motivating implications of the axiom of choice?
  3. Advantage of accepting non-measurable sets
  4. Why is the axiom of choice separated from the other axioms?
  • 0
    @JohnSmith: Of course. Those infinite sets which do not have a countably infinite subset are exactly those which are incomparable with $\aleph_0$.2012-11-21