Intereting Posts

Unusual pattern in the distribution of odd primes
Inverse Laplace of $ \frac{1}{\sqrt{s} – 1} $?
Single $\text{GL}_n(\mathbb{C})$-conjugacy class, dimension as algebraic variety?
Does there exist a non-constant entire function $f$ such that $|f(z^3)| \leq 1 + |z|$ for all $z$?
On the $r$-neighborhood of a set in $\mathbb{R}^2$.
In the Sorgenfrey plane, is an open disc homeomorphic to an open square?
Hermitian matrix such that $4M^5+2M^3+M=7I_n$
If $f$ is continuous & $\lim_{|x|\to {\infty}}f(x)=0$ then $f$ is uniformly continuous or NOT?
Help with the Neumann Problem
Find expected number of successful trail in $N$ times
When is the product of two quotient maps a quotient map?
An infinite $\sigma$-algebra contains an infinite sequence of nonempty, disjoint sets.
question about construction of real numbers
Computing $\lim\limits_{n\to\infty} \frac{\sqrt{n}}{4^{n}}\sum\limits_{k=1}^{n} \binom{2n-1}{n-k}\frac{ 1}{(2k-1)^2+\pi^2}$
Is $\ell^1$ an inner product space?

Let $G$ be a non-measurable subgroup of $(\mathbb R,+)$ , $I$ be a bounded interval , then is it true that $m^*(G \cap I)=m^*(I)(=|I|)$ ? where $m^*$ denotes the Lebesgue outer measure

- How to find a smallest group generator
- Prove that $H$ is normal.
- Explicit isomorphism $S_4/V_4$ and $S_3$
- Can we find some constraint about order of $xy$ in a group $G$?
- Show that every group $G$ of order $175$ is abelian and list all isomorphism types of these groups
- Complete convergence is equivalent to convergence a.s. under independence
- What can we say of a group all of whose proper subgroups are abelian?
- Lebesgue measurability of a set
- Finitely Presented is Preserved by Extension
- Showing that a cyclic automorphism group makes a finite group abelian

The answer “yes” follows from results in the article “On Two Halves Being Two Wholes” by Andrew Simoson in *The American Mathematical Monthly* Vol. 91, No. 3 (Mar., 1984), pp. 190-193. Some readers might not have access, but here is the JSTOR link: http://www.jstor.org/stable/2322357 The article was cited in the article i707107 linked to in a comment.

In the article a subset $A\subseteq \mathbb R$ is called *Archimedean* if $\{r\in\mathbb R:A+r=A\}$ is dense in $\mathbb R$. Theorem 2 states that if $A$ is Archimedean with positive outer measure, then for every interval $I$, $m^*(A\cap I)=m^*(I)$.

A dense subgroup of $\mathbb R$ is Archimedean, and a nonmeasurable subgroup of $\mathbb R$ is dense with positive outer measure, so the theorem applies to affirm your conjecture.

From the article provided by @Jonas Meyer: http://www.jstor.org/stable/2322357

An alternative approach to this problem is possible. This approach is already provided by @Syang Chen at MathOverflow: https://mathoverflow.net/questions/59978/additive-subgroups-of-the-reals/59980

Let $f(x) = m^*(G\cap [0,x])$. Then, for any $x, y \in G \cap (0,\infty)$, we have the additivity:

$$

f(x+y)=f(x)+f(y).

$$

Since $G$ is dense and $f$ is monotone, the additivity is generalized to all positive real numbers $x, y$. Moreover, $f(x) = ax$ with $a= f(1)$ is satisfied.

Thus, if $I$ is any open interval, then

$$

\frac{m^*(G\cap I)}{m^*(I)} = a .

$$

Now, we find $I$ by the Theorem 1 in the article. This gives $a=1$.

- Proving the inequality $4\ge a^2b+b^2c+c^2a+abc$
- Prove that $f(x)=0$ for all $x\in\mathbb{R}$.
- Convergence of $\sum_{n=1}^{\infty} \sum_{m=1}^{\infty} \frac{\sin(n-m)}{n^2+m^2}$
- Sequence of convex functions
- Can any finite group be realized as the automorphism group of a directed acyclic graph?
- Resources for a curious beginner mathematician
- Assuming: $\forall x \in :f(x) > x$ Prove: $\forall x \in :f(x) > x + \varepsilon $
- Understanding why the roots of homogeneous difference equation must be eigenvalues
- How can we parametrise this matricial hypersphere?
- finding code of a function in GAP packages
- Second order equations on manifolds
- Characterization of the Subsets of Euclidean Space which are Homeomorphic to the Space Itself
- An example of a Lindelöf topological space which is not $\sigma$-compact
- Is Proof by Resolution really needed here?
- Video Lessons in Complex Analysis