- #1

- 41

- 1

*needed*in the case of the reals? That is, if we remove the axiom of choice, do the reals become a set that cannot be well-ordered? Furthermore, is the axiom of choice needed for every uncountable set?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter dmuthuk
- Start date

In summary, the conversation discusses the relationship between the axiom of choice and the existence of a well-ordering for any set, particularly the set of real numbers. It is questioned whether the axiom of choice is necessary for the reals to be well-ordered and if it is needed for all uncountable sets. The possibility of proving the well-ordering of the reals without the axiom of choice is also discussed. However, it is stated that there is no such proof and that the independence of AC has been shown using a model where the reals cannot be well-ordered.

- #1

- 41

- 1

Physics news on Phys.org

- #2

Science Advisor

Homework Helper

- 2,844

- 0

- #3

- 41

- 1

CRGreathouse said:

Yes, I believe I am. So, I guess what I wanted to know is if there exists a proof that the reals can be well-ordered without AC.

- #4

- 17

- 0

dmuthuk said:Yes, I believe I am. So, I guess what I wanted to know is if there exists a proof that the reals can be well-ordered without AC.

No there isn't. When Cohen proved the independence of AC he used a model in which there was no well-ordering of the reals.

- #5

Science Advisor

Homework Helper

- 2,844

- 0

* By "consistent", I mean "equiconsistent with ZFC".

The well-ordering principle states that every non-empty set of positive integers has a smallest element. This means that any set of positive integers can be arranged in ascending order, and there is always a first element.

The well-ordering principle can also be extended to the real numbers. This means that any non-empty set of real numbers has a smallest element. However, unlike the positive integers, the real numbers are uncountable, so they cannot be arranged in a list.

The well-ordering principle is important because it helps to establish the existence of a smallest element in any non-empty set. This is useful in many mathematical proofs and helps to show that certain sets are well-behaved and have a clear structure.

The well-ordering principle is closely related to mathematical induction. In fact, the well-ordering principle is often used as a basis for mathematical induction. This is because the principle allows us to prove that a statement holds for the smallest element in a set, and then show that if it holds for any element in the set, it also holds for the next element.

The well-ordering principle is an axiom, which means it is accepted as a fundamental truth without proof. It cannot be proven using the standard rules of mathematics. However, many mathematical proofs rely on the well-ordering principle as an assumption or starting point.

Share:

- Replies
- 1

- Views
- 455

- Replies
- 4

- Views
- 1K

- Replies
- 5

- Views
- 323

- Replies
- 5

- Views
- 200

- Replies
- 51

- Views
- 535

- Replies
- 4

- Views
- 258

- Replies
- 1

- Views
- 315

- Replies
- 0

- Views
- 156

- Replies
- 3

- Views
- 449

- Replies
- 0

- Views
- 260