Questions tagged [geometric-measure-theory]
Questions about geometric properties of sets using measure theoretic techniques; rectifiability of sets and measures, currents, Plateau problem, isoperimetric inequality and related topics.
763 questions
6
votes
2
answers
812
views
A dual theory to the theory of currents?
The k-currents are defined as dual space to the spaces of all smooth k-forms.
(These monsters are used to work with the minimal k-surfaces.)
Assume I want to look at the generalized k-forms;
they can ...
- 1,785
6
votes
2
answers
399
views
Integrability of log of distance function
Let $E\subset B_1(0)\subset \mathbb{R}^n$ be a compact set s.t. $\lambda(E)=0$, where $\lambda$ is the Lebesgue measure, and $B_1(0)$ is the Euclidean unit ball centered at the origin. Is the ...
- 502
6
votes
1
answer
193
views
The most even partition of $\mathbb R$ into measure dense sets
Notation: $\mu$ denotes the Lebesgue measure. Let $\mathcal D$ be the set of Lebesgue measurable subsets of $\mathbb R$ such that itself and its complement have nonzero Lebesgue measure in every ...
- 6,155
6
votes
1
answer
2k
views
Sobolev functions on $\mathbb{R}^N$ cannot be discontinuous on a $(N-1)$-dimensional submanifold
How can one prove (or where can I find a proof) that if $u \in W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$, then $u$ cannot have a $(N-1)$-manifold of discontinuity points?
- 839
6
votes
1
answer
318
views
Is Hausdorff Measure equal to Hausdorff Content on rectifiable (metric) spaces?
Let $(X,d)$ be an $\mathcal{H}^n$-rectifiable metric space, i.e. there exits a collection of Lipschitz maps from measurable subsets of $\mathbb{R}^n$ to $X$ such that $ \mathcal{H}^n(X \backslash \...
- 622
6
votes
1
answer
278
views
Connected planar compact set with finite length is path connected
Here length means 1-Hausdorff measure. This seems to be known, what is the reference? Or very short proof?
- 109k
6
votes
1
answer
243
views
Existence of a measurable map between metric spaces
Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto.
Is ...
- 21.8k
6
votes
2
answers
390
views
Continuity of perimeter with respect to metric
Let $\Omega$ be an open set in a closed manifold, $(M^n, g)$. We can define the perimeter as
$$\text{Per}_g(\Omega) = \sup\bigg\{\int_{\Omega} \text{div}_g(T) dVol_g, \; : \; T \in C^1(M, T M), \quad \...
- 337
6
votes
1
answer
309
views
Is the derivative of a $C^1$ function nonzero almost everywhere on almost every level set?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure.
Let $f \in C^1 (\mathbb \Omega)$ for some open, connected, bounded subset $\Omega$ of $\mathbb R^n$. We consider for each $t \...
- 6,155
6
votes
1
answer
634
views
What is the current status on bad tangent cones at isolated singularities?
Let $M^8 \subset B^9 \setminus \{ 0 \} \subset \mathbf{R}^9$ be a properly embedded, stable minimal hypersurface. Suppose that $0 \in \overline{M}$ is an isolated singularity of the surface.
Question.
...
- 5,038
6
votes
1
answer
425
views
Lipschitz property of the symmetric rearrangement
I'm currently reading Talenti's paper "Best constant in Sobolev inequality" and am rather stuck on an argument on pg 363 (or pg 11 if you're reading the pdf). In this section of the paper, ...
- 457
6
votes
1
answer
1k
views
Fubini's theorem on arbitrary foliations
In what follows $ \mathbb{R}^{n+m} = \{(x,y): x \in \mathbb{R}^n, \ y \in \mathbb{R}^m \} \ .$
Suppose $G: U \to V $ is a $C^1$-diffeomorphism from an open subset of a manifold to an open subset of $...
- 622
6
votes
1
answer
1k
views
Prove that the flow of a divergence-free vector field is measure preserving
On page 3 of this preprint, after recalling the definition of flow generated by a vector field, the authors remark that "a necessary condition for a flow $\varphi_t(\cdot)$ generated by $a(t, \cdot)$ ...
- 839
6
votes
1
answer
172
views
Mass minimizing current in real homology class
It is a well-known results by Federer and Fleming that there exists at least one mass-minimizing normal current in every real homology class of a closed $n$-dimensional Riemannian manifold $M$. Their ...
- 61
6
votes
1
answer
179
views
Concentration of volume towards the boundary
Consider a Euclidean space $X$ of large dimension $N$. For a measurable subset $G\subseteq X$ and $\varepsilon>0$ let
$$G_\varepsilon:=\{x\in G\mid B_\varepsilon(x)\subseteq G\}$$
be the set of all ...
- 93
6
votes
1
answer
730
views
Supremum of a stochastic process
Let $(x_1,...,x_N)$ be points in $R^d$, and $\sigma=(\sigma_1,...,\sigma_N)$ are i.i.d. Rademacher variables (+1 or -1 with probability 0.5 each). (Or alternatively, $\sigma$ could be a standard ...
- 517
6
votes
1
answer
228
views
Set where the speed of convergence is uniform in Lebesgue's density theorem
Let $B \subset \mathbb R^n$ be the unit ball.
Consider a Borel measurable set $E \subset B$ with positive Lebesgue measure $|E|>0$ (say $|E| = |B|/2$).
Then, Lebesgue's density theorem, says that ...
- 393
6
votes
1
answer
506
views
Relative volume increase of $\delta$-fattening of a compact set
For a non-empty, compact set $A \subseteq \mathbb{R}^n$, the $\delta$-fattening of $A$, $A_\delta$, is defined to be the set
$$
A_\delta = \cup_{a \in A} B_{\delta}(a),
$$
where $B_\delta(a)$ denotes ...
- 63
6
votes
1
answer
400
views
Densities, pseudoforms, absolute differential forms and measures, differential forms, etc
Apologies if this question is too basic, but I figured I first heard of most of these concepts on MO, so perhaps I can ask here.
Gelfand’s definition, copied from AlvarezPaiva [My edit, could be ...
- 831
6
votes
1
answer
159
views
Indecomposable integral currents
Let $\mathbf{I}_k(\mathbb{R}^n)$ denote the space of $k$-dimensional integral currents in $\mathbb{R}^n$ with finite mass. It is said that $T\in \mathbf{I}_k(\mathbb{R}^n)$ is indecomposable if there ...
- 415
6
votes
1
answer
212
views
Geometry of complements to compacts of codimension 2
Let $K\subset \mathbb{R}^n$ be a (nonempty) compact of covering dimension $\le n-2$. In particular, $K$ does not separate $\mathbb{R}^n$ (even locally). I will equip $M=\mathbb{R}^n-K$ with the ...
- 31.2k
6
votes
1
answer
670
views
Calculate Hausdorff measure with Frostman measures
Fix a metrix space $(X,d)$ and consider the Hausdorff (outer) measures $\mathcal{H}^s$ on $X$.
A Frostman measure on $X$ is a finite Borel measure $\mu$ such that there exists $C,t,r_0>0$ with $\...
- 9,650
6
votes
1
answer
319
views
Does approximately Fréchet differentiable imply approximately Gateaux differentiable?
In what follows, $\mu^n$ denotes $n$-dimensional Lebesgue measure, and $B_r(x)$ is the open ball with radius $r$ centered at $x$.
In elementary calculus, if we have a function $f : \mathbb{R}^n \...
- 700
6
votes
1
answer
268
views
Decomposition of non negative Radon measure into $L^1$ and $H^{-1}$ functions
What is a reference for the following result (which appears to be well-known in measure theory)?
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely continuous ...
- 61
6
votes
1
answer
165
views
Subset of $\mathbb R$ with equal Fourier, Hausdorff and Minkowski dimensions
It is a standard fact that for $0\leq s\le1$, there is a compact set $C\subseteq [0,1]$ with Hausdorff and Minkowski dimensions $s$ (by modifying the construction of a Cantor set).
It is also a ...
- 751
6
votes
1
answer
205
views
Subspaces of metric spaces having prescribed dimension
Let $(X,d)$ be a metric space having Hausdorff dimension $\alpha>0$ and let $0<\beta<\alpha$. Is there a metric subspace of $X$ having Hausdorff dimension $\beta$?
- 325
6
votes
1
answer
802
views
Approximation of a Sobolev function that has vanishing trace on the reduced boundary of a Caccioppoli (i.e. finite perimeter) set
For $\Omega\subset\mathbb{R}^N$ open and bounded, let $W^{1,p}(\Omega)$ denote the usual Sobolev space of $L^p(\Omega)$ functions with weak partial derivatives in $L^p(\Omega)$ and $W_0^{1,p}(\Omega)$ ...
- 143
6
votes
1
answer
816
views
Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$.
Let $\Omega$...
- 6,155
6
votes
0
answers
130
views
Do there exist strictly contracting eikonal functions on $\mathbb R^n$?
A function $f: \mathbb R^n \to \mathbb R$ is said to be a strict contraction if
$$|f(x) - f(y)| < |x - y|$$
for all $x \neq y$.
A function $f$ is said to be eikonal if it is differentiable ...
- 6,155
6
votes
0
answers
309
views
Have we discovered constructions for natural fractional dimensional spheres?
I have been thinking about a couple different problems in fractal geometry (including I one deleted because it was ill posed) and realize they all depend in a fundamental way on the problem of: Can we ...
- 2,689
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
6
votes
0
answers
156
views
Topological properties of the dual of differential forms
Notation:
$U \subset R^n$, bounded open set
$D^k(U) = \{ \omega : U \to \Lambda^k R^n : \text{compactly supported and infinitely differentiable \}}$
$D_k(U) = D^k(U)'$ is the topological dual space (...
- 203
6
votes
1
answer
300
views
Proof of Denjoy-Riesz Theorem and Moore's Generalization?
The Denjoy-Riesz Theorem states that any compact zero-dimensional subset of the plane can be covered by an arc, i.e. an embedded image of $[0,1]$. Sometimes it's stated just for covering a Cantor Set,...
- 439
6
votes
0
answers
279
views
Preiss' theorem on Riemannian manifolds
This may be a silly question as it seems one of the several Euclidean results in that carry over to Riemannian manifolds by passing in coordinates, but I suspect that the issue is subtler, and I am ...
- 3,223
6
votes
0
answers
249
views
Do asymptotically conformal maps converge to a weakly conformal map?
$\newcommand{\CO}{\text{CO}_2}$
$\newcommand{\SO}{\text{SO}_2}$
$\newcommand{\dist}{\text{dist}}$
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be two-dimensional smooth, ...
- 6,741
6
votes
0
answers
240
views
Minimizing area in relative homology class
A well known result in geometric measure theory asserts that if $(M^{n+1}, g)$ is a closed Riemannian manifold and $\alpha \in H_n(M)$ is a nonzero homology class, then there exists a closed embedded ...
- 2,095
6
votes
0
answers
215
views
Analytic sets are rectifiable
I am looking for a reference on the statement that real analytic sets (i.e. sets in the form
$u^{-1}(0)$ where $0\not\equiv u:E\subset \mathbb{R}^n\to \mathbb{R}$ is analytic, or finite intersections ...
- 211
6
votes
0
answers
171
views
The distributional gradient of the closest isometry to the differential of a smooth map
The setting-a "linear algebra" fact:
Let $A$ be a real $n \times n$ matrix, and suppose that $\det A<0$ and that the singular values of $A$ are distinct. Then, there exist a unique matrix $Q(A) \...
- 6,741
6
votes
0
answers
239
views
Sheaves on Rectifiable Sets
Basic question: are there (co)homological or sheaf-based tools which might be useful in geometric measure theory?
Background: The jumping off point here is a simple analogy - geometric measure ...
6
votes
0
answers
156
views
Does an 8 dimensional compact Riemannian manifold contain an embedded minimal hypersurface?
It is well know that if $(M^{n+1},g)$ is a compact Riemannian manifold and $n \leq 6$ then there exists a smooth, embedded minimal hypersurface $\Sigma^n$ in $M$ (infinitely many such $\Sigma$, even)
...
- 1,179
6
votes
0
answers
388
views
What’s the limit of a vector bundle?
In geometric measure theory, there’s an answer to the question “what’s the limit of a family of submanifolds”, namely there’s some kind of object called an integral current.
In the geometric ...
- 8,723
6
votes
0
answers
170
views
A relation of convergence in Hilbert scheme to convergence in sense of currents
Let $\{X_i\}$ be a sequence of closed irreducible $k$-dimensional subvarieties of $\mathbb{C}\mathbb{P}^n$ of degree $d$ (they may be assumed to be smooth if necessary). Assume that this sequence ...
- 21.8k
6
votes
0
answers
113
views
Does the Hodge *-operator act on the tangent space at 0 to the space of integral (n-1)-cycles in a conformal manifold of dimension d=2n?
Suppose $M$ is a compact, oriented conformal manifold of even dimension $d=2n$.
Write ${\cal D}^{\mathit{int}}_{k}(M)$ for the space of integral
$k$-currents in $M$
and write ${\cal D}^{\mathit{int}}...
- 351
6
votes
0
answers
190
views
Measure-minimizing simplex with fixed inradius
Let $\Delta^n$ be an $n$-simplex in $\mathbb{R}^n$. Let $V$ be the volume and $r$ the inradius (radius of the inscribed sphere) of $\Delta^n$. There is a well-known result that
$$
V \geq \frac{n^{n/2}(...
- 73
6
votes
0
answers
2k
views
Are planar Lipschitz curves countable unions of graphs?
More precisely:
Question:
Let $\gamma \colon [0,1] \to \mathbb{R}^2$ be Lipschitz. Do there exist Borel (or Suslin) sets $A_i \subset \mathbb{R}^2$ and directions $v_i \in \mathbb{R}^2$, for ...
- 3,270
6
votes
1
answer
896
views
Flat norm metrizes the weak* topology
I've come across the following statement in literature (without proof or reference) about the flat norm of currents
$$
F(T) = \sup \{ T(\omega) : \omega \in D^k(U), |\omega(x)| \leq 1, |d\omega(x)| \...
5
votes
1
answer
412
views
Continuous deformation of soap films
Let $S$ be a soap film bounded by an unknotted wireframe cycle (in $R^3$). Why is it the case that as we deform the wireframe in $R^3$, $S$ deforms continuously?
- 51
5
votes
2
answers
950
views
Comparison of Information and Wasserstein Topologies
There are many possible metrics one can place on the space of Gaussian probability measures on $\mathbb{R}^n$, with strictly positive definite co-variance matrices. Let's denote this space by $X$.
I'...
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 6,155
5
votes
1
answer
988
views
Ergodicity and mixing of geodesic and horocyclic flows
I am reading a theorem about the ergodicity and mixing of geodesic and horocyclic flows on unit tangent bundle of a compact hyperbolic surface. I find that there are two ways (be listed below) to ...
- 333