Skip to main content
MathOverflow

Return to Question

edited tags; edited title
Link
YCor
YCor
  • 63.9k
  • 5
  • 187
  • 286

Measure of co-dimension 1 subspacesrational hyperplanes of $\mathbb{R}$

edited body
Source Link
Qfwfq
Qfwfq
  • 23.4k
  • 14
  • 122
  • 225

Let's view $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and pick some basis $(v_\alpha)_{0 \leq \alpha < \mathfrak{c}}$ of it. We can then consider the subspace $L$ spanned by $(v_\alpha)_{0 < \alpha < \mathfrak{c}}$ (ie leaving out one vector from the basis). Given the horrible way we have built $L$, I don't suppose there is much a priory reason for $L$ to be measurable. However, I am wondering whether we can say something about the outer measure of $L$?.

Let's view $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and pick some basis $(v_\alpha)_{0 \leq \alpha < \mathfrak{c}}$ of it. We can then consider the subspace $L$ spanned by $(v_\alpha)_{0 < \alpha < \mathfrak{c}}$ (ie leaving out one vector from the basis). Given the horrible way we have built $L$, I don't suppose there is much a priory reason for $L$ to be measurable. However, I am wondering whether we can say something about the outer measure of $L$?

Let's view $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and pick some basis $(v_\alpha)_{0 \leq \alpha < \mathfrak{c}}$ of it. We can then consider the subspace $L$ spanned by $(v_\alpha)_{0 < \alpha < \mathfrak{c}}$ (ie leaving out one vector from the basis). Given the horrible way we have built $L$, I don't suppose there is much a priory reason for $L$ to be measurable. However, I am wondering whether we can say something about the outer measure of $L$.

Source Link
Arno
Arno
  • 4.7k
  • 25
  • 41

Measure of co-dimension 1 subspaces of $\mathbb{R}$

Let's view $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and pick some basis $(v_\alpha)_{0 \leq \alpha < \mathfrak{c}}$ of it. We can then consider the subspace $L$ spanned by $(v_\alpha)_{0 < \alpha < \mathfrak{c}}$ (ie leaving out one vector from the basis). Given the horrible way we have built $L$, I don't suppose there is much a priory reason for $L$ to be measurable. However, I am wondering whether we can say something about the outer measure of $L$?