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 with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
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
- 1758 views
- $100.00
Related Questions
- For each A ∈ { Z, Q, } find the cardinality of the set of all increasing bijective functions f : A → A.
- Show that $\int_0^{\frac{\pi}{2}}\frac{ x}{ \tan x}dx=\frac{\pi}{2} \ln 2$
- Existence of a Non-negative Integrable Random Variable with Supremum-Constrained Survival Function
- Constructing Monotonic Sequences Converging to an Accumulation Point in a Subset of $\mathbb{R}$
- True-False real analysis questions
- Show that there is either an increasing sequence or a decreasing sequence of points $x_n$ in A with $lim_{n\rightarrow \infty} x_n=a$.
- Use first set of data to derive a second set
- Let $f\in C (\mathbb{R})$ and $f_n=\frac{1}{n}\sum\limits_{k=0}^{n-1} f(x+\frac{k}{n})$. Prove that $f_n$ converges uniformly on every finite interval.
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.