Discussion Overview
The discussion centers on the measure of the set of vectors in R^k that are rationally dependent (RD). Participants explore the implications of rational dependence, particularly in relation to the density of rational vectors and the measure of sets of vectors that are perpendicular to given vectors.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
- Mathematical reasoning
Main Points Raised
- Some participants propose that every 3-tuple of rational entries is rationally dependent, providing a specific example to illustrate this.
- Others argue that the question should focus on whether the set of RD vectors has nonzero measure in R^k, noting that while rational vectors are dense, they have measure zero.
- A participant suggests that for a vector to be rationally independent (RID), it may require k-1 components to be irrational, expressing uncertainty about quantifying the measure of RD sets.
- Some participants discuss the measure of sets of vectors that are perpendicular to a given vector, questioning whether the set of RD vectors is measurable and how this relates to countable unions of measure zero sets.
- There is a challenge regarding the assumption of only considering countable unions, with a suggestion that uncountably many vectors exist in R^n.
- A later reply indicates that the previous arguments about measure and rational dependence are indeed valid and not modified, confirming the reasoning presented.
Areas of Agreement / Disagreement
The discussion contains multiple competing views regarding the measure of RD vectors and whether they can be considered measurable. There is no consensus on the exact nature of these sets or their measures.
Contextual Notes
Participants express uncertainty about the definitions and implications of rational dependence and independence, as well as the measure of associated sets. The discussion reflects a need for clarity on these mathematical concepts.