Intereting Posts

If $X$ is symmetric, show $k(X^2)$ = $k(X)^2$
Implicit Function Theorem Application to 2 Equations
What is the formula for nth derivative of arcsin x, arctan x, sec x and tan x?
How to prove that $\int_0^{\infty} \log^2(x) e^{-kx}dx = \dfrac{\pi^2}{6k} + \dfrac{(\gamma+ \ln(k))^2}{k}$?
Equivalent definitions of $C^r(\Omega)$?
Cardinalities of $\mathbb{R^{2}}$ and $\mathbb{C}$ and isomorphisms
Showing that $\mathbb{Q}$ contains multiplicative inverses
Explaining $\cos^\infty$
Longest increasing subsequence part II
Why is bounded induction stronger than open induction?
What is a good book for learning Stochastic Calculus?
Frequency Swept sine wave — chirp
Fractional Powers
Proving compactness of $\{0\}\cup\{\frac1n; n\in\mathbb N\}$ by definition
Why is it not true that $\int_0^{\pi} \sin(x)\; dx = 0$?

Consider a unit interval $X = [0, 1]$ endowed with Borel $\sigma$-algebra generated by the usual topology. I am looking for a measurable set $K\subseteq X$ which has a $0$ Lebesgue measure, but such that $\bigcap_{i}(K + x_i)$ is uncountable for any countable sequence of $x_i\in X$. Here the addition is cyclical, that is I assume $0.6 + 0.5 = 0.1$.

- How to find an irrational number in this case?
- Sum of two closed sets is measurable
- Why complete measure spaces?
- Possible mistake in Folland real analysis?
- Equivalent measures
- Definition of upper integral
- If $f_k \to f$ a.e. and the $L^p$ norms converge, then $f_k \to f$ in $L^p$
- Inclusion of $L^p$ spaces
- Simpler proof - Non atomic measures
- Total variation measure vs. total variation function

Note that the Baire category theorem implies that if $U_n $, $n\in \Bbb {N} $ are open dense sets, then $\bigcap U_n $ is dense. In particular, the intersection is uncountable, since if it was of the form $\{x_n \mid n\} $, we could set $V_n = [0,1]\setminus \{x_n\} $ (which is open and dense), so that Baire again implies that $\bigcap U_n \cap V_n =\emptyset $ is dense, which is absurd.

Now, let $K =\bigcap U_n $ be a null set, where the $U_n$ are open dense sets. Existence of such a set can be seen as follows: Let $Q \subset [0,1]$ be countable, dense, for example $Q = \Bbb{Q} \cap [0,1]$. Then the Lebesgue measure of $Q$ is $\lambda(Q) = 0$. Thus, by outer regularity, there is for each $n \in \Bbb{N}$ an open set $U_n \supset Q$ (in particular, $U_n$ is dense in $[0,1]$) with $\lambda(U_n) < 1/n$. Then clearly, $K = \bigcap_n U_n$ satisfies $0 \leq \lambda(K) \leq \lambda(U_n) <1/n$ for all $n$, so that $K$ is a null set as desired.

Note that a cyclic shift is a homeomorphism of the unit interval. Thus,

$$

\bigcap_i K+x_i = \bigcap_{i, n} (U_n +x_i)

$$

Is uncountable (as seen above) since it is a countable intersection of open dense sets.

- Optimization with cylinder
- Proving $\sum\limits_{k=1}^{n}{\frac{1}{\sqrt{k}}\ge\sqrt{n}}$ with induction
- Prove that $\operatorname{Hom}_{\Bbb{Z}}(\Bbb{Q},\Bbb{Z}) = 0$ and show that $\Bbb{Q}$ is not a projective $\Bbb{Z}$-module.
- Assume $A,B,C,D$ are pairwise independent events. Decide if $A\cap B$ and $B\cap D$ are independent
- Number of elements in a finite $\sigma$-algebra
- Show that the cone of the open interval (0, 1) can not be embedded in any Euclidean space
- Axiom of choice and calculus
- Number partition – prove recursive formula
- Fast way to get a position of combination (without repetitions)
- Locally Compact Spaces: Characterizations
- Nonlinear transform of two random variables for Gaussianity
- If $P$ has marginals $P_1, P_2$, is $L^1(P_1) + L^1(P_2)$ closed in $L^1(P)$?
- The determinant of a block Matrix of Order $2n$
- Compute $\lim_{x\to 0} \frac{e^{-1/x^2}}{x}$ without using L'Hopital?
- A Polygon is inscribed in a circle $\Gamma$