Understanding Zorn's Lemma and Its Implications in Vector Spaces

  • Context: Graduate 
  • Thread starter Thread starter Yuqing
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
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 [tex]U := \bigcup_{S\in C}S[/tex] 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 [tex]A:=\sum_{n\in C}n[/tex] Then [itex]A\in \mathbb{N}[/itex] 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 [tex]A:=\sum_{n\in C}n[/tex] Then [itex]A\in \mathbb{N}[/itex]
No it's not... (if C is infinite, anyways)