Understanding Zorn's Lemma and Its Implications in Vector Spaces

  • Context: Graduate 
  • Thread starter Thread starter Yuqing
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the application of Zorn's Lemma in proving that every vector space has a basis. A participant raises a concern regarding the claim that U := ∪_{S∈C}S serves as an upper bound for a chain C of natural numbers, suggesting that this leads to the erroneous conclusion that the natural numbers possess a maximal element. The critical point of contention is the misunderstanding of the implications of Zorn's Lemma when applied to infinite sets, particularly in the context of the natural numbers.

PREREQUISITES
  • Understanding of Zorn's Lemma
  • Familiarity with vector spaces and their bases
  • Knowledge of set theory, particularly chains and upper bounds
  • Basic concepts of infinite sets in mathematics
NEXT STEPS
  • Study the formal proof of Zorn's Lemma and its applications in set theory
  • Explore the properties of vector spaces and the concept of bases
  • Investigate the implications of infinite sets in mathematical proofs
  • Learn about the differences between finite and infinite chains in set theory
USEFUL FOR

Mathematicians, students of advanced mathematics, and anyone interested in the foundational concepts of set theory and vector spaces.

Yuqing
Messages
216
Reaction score
0
I was reading the proof that every Vector Space has a basis which invoked Zorn's Lemma. The proof can be found http://mathprelims.wordpress.com/2009/06/10/every-vector-space-has-a-basis/" .

Now I have an issue specifically with the claim that U := \bigcup_{S\in C}S is an upper bound for C. Applying the same idea as the proof, this seems to imply that the natural numbers has a maximal element. Let C be a chain of natural numbers and similarly let us define A:=\sum_{n\in C}n Then A\in \mathbb{N} and is an upper bound for C. Applying Zorn's lemma then implies that the naturals have a maximal element.

What exactly am I missing here?
 
Last edited by a moderator:
Physics news on Phys.org
Yuqing said:
Let C be a chain of natural numbers and similarly let us define A:=\sum_{n\in C}n Then A\in \mathbb{N}
No it's not... (if C is infinite, anyways)
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 0 ·
Replies
0
Views
714
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K