Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫  π  -¹ ² ³ °

You are not logged in.

## #1 2008-08-28 22:40:01

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

### Axiom of choice

This result could not be intuitively simpler, yet it depends on the axiom of choice for its truth!

Let

be the set of all equivalence classes under the relation ~ on A defined by
. Without the axiom of choice, we would not be able to take from each member of
one and only one element to form our subset C.

(More precisely, it is the axiom of choice that guarantees the existence of an injective function

, from which we set
.)

Offline

## #2 2008-08-29 11:47:33

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

### Re: Axiom of choice

Zorn's lemma is obviously true, the Well-ordering principle is obviously false, and who knows about the Axiom of Choice.

"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline