Bijection between infinite bases of vector spaces

Click For Summary
SUMMARY

The discussion centers on establishing a bijective function between any two bases of an infinite-dimensional vector space V over a field F, as outlined in "The Linear Algebra a Beginning Graduate Student Ought to Know" by Golan. The key method for proving this is transfinite induction, which allows for the comparison of bases that may not have a finite number of elements. The initial confusion regarding the application of transfinite induction in infinite-dimensional spaces is addressed, leading to a proposed solution that invites further opinions from the community.

PREREQUISITES
  • Understanding of vector spaces and their properties
  • Familiarity with bases in linear algebra
  • Knowledge of transfinite induction principles
  • Experience with infinite-dimensional vector spaces
NEXT STEPS
  • Study the principles of transfinite induction in depth
  • Explore the properties of infinite-dimensional vector spaces
  • Review the concept of bases in linear algebra
  • Examine examples of bijections in mathematical contexts
USEFUL FOR

Graduate students in mathematics, particularly those studying linear algebra and vector spaces, as well as educators and researchers interested in advanced algebraic concepts.

andytoh
Messages
357
Reaction score
3
I am reading "The linear algebra a beginning graduate student ought to know" by Golan, and I encountered a puzzling statement:

Let V be a vector space (not necessarily finitely generated) over a field F. Prove that there exists a bijective function between any two bases of V. Hint: Use transfinite induction.

If V is generated by a finite set (with n elements), then I know how to prove that any basis has at most n elements, and thus all bases will have the same number of elements. But for infinite-dimensional vector spaces, I'm confused. How do I use transfinite induction to prove that there is a bijective correspondence between two bases of V if V is infinite-dimensional?

Sorry: I moved this to the algebra forum.
 
Last edited:
Physics news on Phys.org
I think I have a solution now. Here it is. Opinions are welcomed.
 

Attachments

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 18 ·
Replies
18
Views
2K
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
723
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
11K
  • · Replies 3 ·
Replies
3
Views
3K