What is the asymptotic density of $A$ and $B$ which partition the reals into subsets of positive measure?
Suppose we partition the reals into two sets $A$ and $B$ that are dense and has positive Lebesgue measure in every non-empty sub-interval $(a,b)$ of $\mathbb{R}$, where Lebesgue measure $\lambda$ restricts outer measure $\lambda^{*}$ to sets measurable in the Caratheodory sense.
Question: Does there exist an example (similar to this one) where both:
$$\lim\limits_{t\to\infty}\lambda(A\cap [-t,t])/(2t)$$ and $$\lim\limits_{t\to\infty}\lambda(B\cap [-t,t])/(2t)$$ are greater than zero but neither equal $1/2$?
Attempt: In this construction, we can take pairwise disjoint copies of $A$ and $B$ shifted infinite times (i.e., $x\in A \iff x-\lfloor x\rfloor\in A$ and $x\in B:=[0,1]\setminus A \iff x-\lfloor x\rfloor\in B:=\mathbb{R}\setminus A$).
Edit: According to a user to Reddit, using the construction in the attempt, we get:
$$\lim\limits_{t\to\infty}\lambda(A\cap [-t,t])/(2t)$$ and $$\lim\limits_{t\to\infty}\lambda(B\cap [-t,t])/(2t)$$ both equal $1/2$. We need to adjust the construction so the limits are non-equal.
Bharathk98
Answer
- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.
3 Attachments
Mathe
-
@Mathe I forgot to say that A and B must have positive measure in every non-empty sub-interval (a,b) of R.
-
Oh well, this changes things. This is why I confirmed before what you were looking for.
-
-
I should phrased the question more carefully but I got a better answer here: https://math.stackexchange.com/a/4754256/125918
-
I think that's a good answer. It built on all the previous approaches and I think it meets all the requirements.
-
-
@Mathe I actually did mention this in the second comment below my post.
-
But I should have mentioned this when you asked for clarification.
-
Yes, the original wording had me confused, so I asked to clarify my understanding.
-
-
@Mathe Is it possible to delete the answer, since someone already answered it on MSE. I could close the question and withdraw the money since no one could answer here.
-
I can't delete my answer. I think you could contact support and ask them how to proceed, since I did answer your question based on your clarification.
-
-
They told me I have to dispute if I don’t agree. You can change the answer so I can accept.
-
I updated the file.
-
- answered
- 1374 views
- $100.00
Related Questions
- [Real Analysis] Let $a>1$ and $K>0$. Show that there exists $n_0∈N$ such that $a^{n_0}>K$.
- real analysis
- True-False real analysis questions
- Is it true almost all Lebesgue measurable functions are non-integrable?
- Inclusion-Exclusion and Generating Function with Coefficient (and Integer Equation)
- real analysis
- Convergence and Integrability of Function Series in Measure Spaces and Applications to Series Expansion Integrals
- $\textbf{I would like a proof in detail of the following question.}$
I notice a very complete answer on math exchange. Do you still have questions about this?
@Mathe Actually the answer is incorrect. It doesn’t have positive measure for every non-empty sub-interval (a,b) of R. The user who answered admitted this on Reddit but forgot to delete their answer.
Oh I see !
Hi, just to be sure, we are looking for: 1. A partition of the real numbers, into two sets A and B, such that 2. both A and B have positives measure, 3. A and B are dense in every subinterval (a, b) and 4. The limits above are both not equal to 1/2
Yes, that’s what I’m look for.