All Questions
12 questions
7
votes
2
answers
448
views
Uncountable collections of distinct subsets of an interval (existence)
Throughout, $\mu$ is just the Lebesgue measure.
Question: does there exist an uncountable family of distinct subsets of $[-1, 1]$, denoted by $(U_j)_{j \in [-1, 1]}$, with $\mu(U_j) > 0$ for each $...
- 101
6
votes
0
answers
271
views
Existence of a limit of alpha-difference quotient for Hölder functions
Let $f:\mathbb{R}\to \mathbb{R}^d,d\geq 1,$ be an Hölder function with exponent $\alpha\in (0,1)$, meaning that
\begin{equation}
\sup_{x, y \in \mathbb R, \,x\neq y}\frac{|f(x)-f(y)|}{|x-y|^\alpha}<...
- 61
0
votes
0
answers
235
views
Lebesgue measure of a neighbourhood of a curve
Let $\Omega\subseteq\mathbb{R}^N$ be an open, bounded and with smooth boundary (e.g. Lipschitz boundary or more if necessary).
For any function $\phi:\Omega\to\mathbb{R},\ \phi\in C^1(\overline{\Omega}...
- 1,759
0
votes
1
answer
227
views
Lebesgue measure of sets in $\mathbb{R}^N$
Let $\Omega\subseteq \mathbb{R}^N$ be an open, bounded and connected set (it can be assumed with smooth boundary if necessary).
Consider $\phi:\Omega\to\mathbb{R}$, $\phi\in C^1(\overline{\Omega})$ (...
- 1,759
0
votes
0
answers
88
views
Sequence of open sets converge in characteristic function to an open set?
Let $\Omega\subseteq\mathbb{R}^N$ be an open and bounded set with Lipschitz boundary. Consider a sequence of open sets $\omega_n\subseteq\Omega,\ n\in\mathbb{N}^*$ such that there is a Lebesgue ...
- 1,759
4
votes
0
answers
306
views
Continuity of the Lebesgue measure w.r.t the Hausdorff metric
I have a question linked to Interplay of Hausdorff metric and Lebesgue measure. Let us denote as $\mathcal K(\mathbb R^n)$ the space of compact subsets of $\mathbb R^n$ endowed with the Hausdorff ...
- 171
2
votes
0
answers
263
views
Is a maximal set of rectangles known for which Lebesgue’s Differentiation Theorem holds true?
Lebesgue's differentiation theorem states that if $x$ is a point in $\mathbb{R}^n$ and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lebesgue integrable function, then the limit of $\frac{\int_B f d\...
- 4,597
0
votes
0
answers
552
views
Egorov's and Lusin's Theorem in the space with infinite measure
Both the fundamental Egorov's and Lusin's Theorem in measure theory are given on any measurable space $X$ whose measure is finite.
On the measurable space whose measure is infinite, does there ...
- 4,058
4
votes
1
answer
284
views
Surface/Volume-Ratio of an $\epsilon$-extension of a compact subset $S \subset \mathbb R^n$
For a non-empty, compact set $S \subset \mathbb{R}^n$, the $\epsilon$-extension of $S$, $S_\epsilon$, is defined to be the set
$$
S_\epsilon = \cup_{a \in A} B_{\epsilon}(a),
$$
where $B_\epsilon(a)$ ...
- 41
4
votes
1
answer
752
views
Lebesgue-Besicovitch theorem for partition elements rather than balls
I'll state the classic result in its density (rather than the more general differentiation) version. Let $\mu$ be a measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ and $A\subset \mathbb{R}^n$ ...
- 6,541
0
votes
1
answer
297
views
Approximating characteristic functions by cutting the real axis into smaller and smaller pieces
Let $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z} \subset\mathbb{R} (r>0)$, let $E\subset\mathbb{R}$ be a Lebesgue measurable set with finite measure $|E|$, define $J_r=(-\frac{1}{4\pi r}, \frac{1}{4\pi ...
- 1,906
4
votes
1
answer
2k
views
Lebesgue measure of boundary of Caccioppoli set
Can anything be said about the measure of the topological boundary of a Cacciopoli set in $R^n$? Of course, the reduced boundary has finite (n-1)-dimensional Hausdorff measure, but this does not say ...
- 320