Discussion Overview
The discussion revolves around finding a basis for the vector space of real numbers (R) over the field of rational numbers (Q). Participants explore the implications of the Axiom of Choice and the nature of transcendental numbers in this context, considering both theoretical and conceptual aspects.
Discussion Character
- Exploratory
- Conceptual clarification
- Debate/contested
Main Points Raised
- One participant asserts that the dimension of the vector space R over Q is infinite due to the existence of transcendental numbers that are not algebraic.
- Another participant suggests that finding a basis for this vector space may not be possible without employing a weaker form of the Axiom of Choice.
- A participant introduces the concept of the Vitali Set, proposing that selecting representatives from equivalence classes defined by rational differences might form a basis for R over Q, although they acknowledge the need for the Axiom of Choice in this construction.
- Another participant agrees with the potential of the Vitali Set approach, discussing how it could span the interval [0,1] and questioning the linear independence of the proposed set.
Areas of Agreement / Disagreement
Participants express differing views on the feasibility of finding a basis for R over Q, with some supporting the Vitali Set approach while others emphasize the limitations imposed by the Axiom of Choice. The discussion remains unresolved regarding the validity and implications of these ideas.
Contextual Notes
Participants note the dependence on the Axiom of Choice for certain constructions and the implications of transcendental numbers on the dimensionality of the vector space. There are also unresolved questions about the linear independence of the proposed basis elements.