All Questions
19 questions
12
votes
2
answers
866
views
Sets that project to zero measure on all lines except one
It is a (difficult) exercise to show that there exists a measurable set $E \subset [0,1]^2$ (necessarily with zero 2-dimensional Lebesgue measure) such that the projection on every line passing ...
- 613
1
vote
0
answers
87
views
Hausdorff distance and Hausdorff measure of symmetric difference
Let $X_n$ be a sequence of $k$-dimensional piecewise smooth submanifolds of $\mathbb{R}^m$, converging in Hausdorff distance to a $k$-dimensional piecewise smooth submanifold $Y \subset \mathbb{R}^m$, ...
- 11
3
votes
1
answer
199
views
Product of low dimensional Hausdorff measures
Let $\mathcal{H}^n$ and $\mathcal{H}^m$ be Hausdorff measures on $\mathbb{R}^n$ and $\mathbb{R}^m$. We know that the product measure $\mathcal{H}^n\otimes \mathcal{H}^m$ is the Hausdorff measure $\...
- 3,669
2
votes
0
answers
151
views
$\mathscr{H}^{n-2}(\Sigma)< \infty$ implies $\mathscr{H}^{n-1}(\pi(\Sigma))=0$
Let $\Sigma\subset \mathbb{R}^{n+1}$ be a set with $(n-2)$-dimensional Hausdorff measure finite, i.e. $\mathscr{H}^{n-2}(\Sigma)<\infty$. Let $\pi:\mathbb{R}^{n+1}\to \mathbb{R}^n$ be the ...
- 1,149
2
votes
1
answer
300
views
If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected
Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
- 45k
1
vote
2
answers
213
views
If $\mathcal{H}^{n-1}(K)=0$ then $\mathcal{H}^n(K\times \mathbb{R})=0$
I am reading a paper Simon and Wickramasekera - A Frequency Function and Singular Set Bounds for Branched Minimal Immersions where the authors seem to claim that if $K\subset\mathbb{R}^n$ is a compact ...
- 128k
8
votes
1
answer
213
views
How do sets with unit fractional Hausdorff measure of dimension $>1$ look like?
Triggered by the recent question How can we not know the measure of the Sierpiński triangle? I would like to ask:
Let $s>1$ and $s$ not be an integer. How to construct a set $A$ with $\mathfrak{H}^...
- 28k
0
votes
1
answer
60
views
If $ \mathcal{H}^k(B_1(0)\cap S)\leq A\omega_k $ when $ \mathcal{H}^k(B_r(x)\cap S)\leq A\omega_kr^k $ for all $ 0<r<\delta $, $ x\in\mathbb{R}^n $?
Let $ S\subset\mathbb{R}^n $ is of finite $ k $-dimensional Hausdorff and $ 0<\delta<1 $ is a constant. If for any $ x\in\mathbb{R}^n $ and $ r>0 $, we hae
$$
\mathcal{H}^k(S\cap B_r(x))\leq ...
- 5,048
4
votes
1
answer
487
views
Finiteness of Hausdorff measure of balls
Let $(X,d)$ be an arbitrary metric space and let $\Bbb B(x,r)$ denote the closed ball with center $x \in X$ and radius $r>0$. For $p\geq 0$, let $H^p$ denote the $p$- dimensional Hausdorff measure. ...
- 1,869
7
votes
1
answer
1k
views
Generalization of area and coarea formula for fractional Hausdorff measures
Let $X,Y$ be Polish spaces, $s,t>0$ and $F:X\to Y$ locally Lipschitz continuous such that $X$ is $\sigma$-finite w.r.t. the $(s+t)$-dimensional Hausdorff measure $\mathcal{H}^{s+t}$.
The Eilenberg ...
- 63.9k
8
votes
1
answer
865
views
Fubini's theorem for Hausdorff measures
$B\subset \mathbb{R}^2$ is a Borel set. Define the slices $B_x:= \{y \in \mathbb{R}: (x,y) \in B \}$.
If $\lambda$ denotes the Lebesgue measure on $\mathbb{R}$, presentations of Fubini's theorem often ...
- 675
4
votes
1
answer
900
views
Hausdorff dimension and surface measure
Could someone please indicate me some reference that contains the proof of the following theorem?
Below $\mathcal{H}^n$ denotes the $n$-dimensional Hausdorff outer measure in $\mathbb{R}^n$.
Theorem: ...
- 2,247
3
votes
1
answer
372
views
Average of the sum of dirac measures
Let $(M^n,g)$ be a closed smooth Riemannian manifold. Consider a set $\mathcal B_{\epsilon}$ which consists of a maximal number of points in $M$ with pairwise distance no smaller than $\epsilon$.
We ...
- 2,504
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 ...
- 4,713
4
votes
0
answers
213
views
Classification of Euclidean-invariant measures?
Is there a classification of measures on $\mathbb R^n$ which are invariant under (Euclidean) isometries? Hausdorff measures of all kinds are examples -- could that be all of them? More precisely,
By ...
- 63.9k
1
vote
0
answers
145
views
How to show that this function is continuous (Geometric Measure Theory)
I want to prove that the function $F: \mathbb{R}_+ \to \mathbb{R}$ defined by
$$F(t)=\int_{\{d=t\}} g \, d\mathcal{H}^{n-1}$$
is continuous if $g:\Omega \subset \mathbb{R}^n\to \mathbb{R}$ is ...
- 19
2
votes
1
answer
624
views
Results for Hausdorff Measure after Linear Transformation
For the Sierpinski Triangle, $S$, the $d$ dimensional Hausdorff measure is given by, $H^{d}(S)$. If a linear transformation, $W$ is applied to $S$, with
$$W(x,y)=\begin{bmatrix} 1/2 & 0 \\ 0 &...
CommunityBot
- 1
5
votes
1
answer
767
views
Hausdorff approximating measures and Borel sets
Suppose $ 1 \leq m \leq n $ are integers and for each $ 0 < \delta < \infty $ let $\mathscr{H}^{m}_{\delta} $ be the size $ \delta $ approximating measure of the $ m $ dimensional Hausdorff ...
CommunityBot
- 1
4
votes
0
answers
123
views
Converse on the rectifiability of products of rectifiable sets
Let $1\leq k\leq m$ and $1\leq l\leq n$ fixed integers, $\mathscr{H}^k$ the $k$ dimensional Hausdorff measure and $E\subset \mathbb{R}^m$. We say that :
(1) $E$ is $k$ rectifiable if there exists $C\...
- 19.6k