Questions about geometric properties of sets using measure theoretic techniques; rectifiability of sets and measures, currents, Plateau problem, isoperimetric inequality and related topics.

learn more… | top users | synonyms

1
vote
0answers
71 views

Can we always extract a proper Hausdorff measurable subset from a Hausdorff measurable set?

I also put this question on MSE here Let $\Gamma\subset \Omega\subset \mathbb R^N$ be such that $\mathcal H^{N-1}(\Gamma)<+\infty$ (this also implise that $\Gamma$ is Hausdorff measurable). Let $\...
1
vote
1answer
66 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 &...
2
votes
1answer
75 views

harmonic differential form integer class

Let $(M,g)$ be a compact Riemannian three-fold such that $H_2(M,\mathbb{Z}) = \mathbb{Z}$ and $S$ any surface representing 1. By Hodge theory there exist a harmonic differential one-form $\eta$ dual ...
4
votes
1answer
62 views

sequence of graphs converge in the sense of varifold to multiplicity 2 plane

Say in $R^3$, is there a sequence of smooth graphs $f_n$ over some plane P, such that the graphs as submanifolds in $R^3$ converge in the sense of varifold (as Radon measures on $R^3 \times Gr(2,3)$ ) ...
1
vote
0answers
31 views

Compute Mixed Volume with Respect to Some Regular Sets

Let $( \mathbb{R}^n, \mathcal{B}, \gamma)$ be a measure space where $\mathcal{B}$ is the Borel sigma algebra and $\gamma$ is a continuous measure. For $A, B\in \mathcal{B}$ that are convex, the mixed ...
0
votes
0answers
40 views

Equivalent Definitions of the Gaussian Surface Measure for Regular Sets

I wonder if the following definitions of the Gaussian surface measure are equivalent. First, let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e....
5
votes
0answers
175 views

Topology on the space of Borel measures

Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...
0
votes
0answers
45 views

The density one properties of $\mathcal H^{N-1}$-rectifiable set

Let $S\subset \mathbb R^N$ be a $\mathcal H^{N-1}$-rectifiable set. Then we know that there exist countably many Lipschitz $N-1$-graphs $\Gamma_i\subset \mathbb R^N$ such that $$ \mathcal H^{N-1}\...
7
votes
1answer
274 views

Level sets of weakly differentiable funtions

Let $C$ be a $C^1$ hypersurface in $R^n$ and let $u \in C^1(R^n)$. Suppose $$\nabla u(x) \cdot \eta(x)=|\nabla u| \ \ \forall x\in C$$ where $\eta(x)$ is the normal vector to $C$ at $x$ ($\nabla u$ ...
2
votes
0answers
111 views

question about currents

I have a question in the field of currents: Let M be an n-dimensional smooth manifold, and let T be a k-current (induced by a k dimensional sub-manifold), I would like to approximate it by a series of ...
5
votes
0answers
68 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}}...
2
votes
0answers
58 views

Currents with mean curvature

so let $T=\tau(M,\theta,\xi)$ a rectifiable current in $U\subset\mathbb{R}^{n+k}$, then $T$ has mean curvature vector $H$ if for every $X\in C^1_c(U\setminus\partial T,\mathbb{R}^{n+k})$ the variation ...
0
votes
1answer
36 views

Existence of stationary tangent cones

My question refers to Leon Simon's Book: Geometric Measure Theory, Chapter 42 So let $V\in G_n(U)$ a general Varifold and $\|\delta V\|$ the Total Variation measure. If the density $\theta^n(\mu_V,x)&...
0
votes
0answers
38 views

Constancy theorem for integral currents

Please I need a reference where I can find a proof of the constancy theorem for integral currents which says : Let $A$ be a $C^1$ submanifold of $\mathbb{R}^n$ and $T$ an $m$-integral current such ...
2
votes
0answers
44 views

decomposition of codim 1 currents

Let $T$ be an codimension one rectifiable mass-minimizing current. If $\partial T\llcorner B_R(a)=0$, then it is possible to write $T$ as an infinite sum of oriented boundaries: $T\llcorner B_R(a)=\...
8
votes
1answer
148 views

Characterizing surface area

(This question is a variant of an unanswered question at math.stackexchange.) The Definition section of Wikipedia's article on surface area currently starts as follows: While the areas of many ...
0
votes
0answers
63 views

Integral of gradient between level sets of Lipschitz functions

Start with a compact metric measure space $(X,d)$, with a doubling measure $\mu$ and a local regular Dirichlet form $\mathcal E$ that supports a Poincare inequality. $d$ can be taken to be the ...
1
vote
0answers
28 views

Pointwise convergence of a sequence of approximate limits of BV functions

So, let $\Omega\subset \mathbb R^2$ bounded and consider a sequence of functions $\{u_k\}_{k\in\mathbb N}\subset BV(\Omega)$ and $u\in BV(\Omega)$ such that $u_k\rightarrow u$ weakly* in $BV(\Omega)$. ...
0
votes
0answers
76 views

Hausdorff dimension and Hausdorff measure

Let us consider a curve $E\subset \mathbb{R}^2$ which is a $(\delta,R)$- Reifenberg flat domain and suppose also that it holds the following estimate on the Hausdorff dimension:$\mbox{ dim}_{\mathcal{...
1
vote
2answers
173 views

Is there a name for this metric on a Borel sets

Consider a finite measure space $(X,\Sigma,\mu)$. Consider the function $d:\Sigma \times \Sigma \to [0,1]$ given by $$d(\sigma_1,\sigma_2) = \mu \left\{ (\sigma_1^c \cap \sigma_2) \cup (\sigma_1 \cap \...
3
votes
0answers
148 views

Product Fractals

Here is a theorem found in the Falconer's book on fractal geometry: Theorem: For any sets $E\subset \mathbb{R}^n$ and $F\subset \mathbb{R}^m$ $$ \dim_HF+\dim_HE\leq \dim_H(E\times F)\leq \dim_HE+\...
0
votes
1answer
68 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 ...
2
votes
1answer
110 views

Almgren's mimeographed lectures notes on varifolds

I am trying to get some insights for the combinatorial argument of Pitts (in his PhD thesis 'Existence and regularity of minimal surfaces in Riemannian manifolds', Princeton University Press, 1981) to ...
3
votes
0answers
189 views

The projection of density $1$ point on a rectifiable set

I posted this question on MSE but I received no reply. So I repost this here for better luck. Thank you! Let $\Gamma\subset \mathbb R^N$ be $\mathcal H^{N-1}$-rectifiable. Then we know that $\mathcal ...
1
vote
0answers
66 views

A $\mathcal{C}^1$ domain and Hausdorff dimension estimate

Let us consider an open connected domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary. Suppose now, that there exists $R>0$ such that the set $\partial E \cap B_{R}(...
0
votes
0answers
38 views

A $\mathcal{C}^1$ differentiable domain is $F_\sigma$?

Let us consider a domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary. Suppose now, that for every $R>0$ the set $\partial E \cap B_{R}(x_0)$ is $\mathcal{C}^1$, i.e. ...
3
votes
0answers
81 views

Calculating the length of curve using dyadic partition [closed]

Let $\gamma:[0,1] \rightarrow \mathbb{R}^n$ be a continuous function. The length of $\gamma$ is usually defined as $$\sup_{0 = t_1 < t_2 < \cdots < t_n = 1} \sum_{i=1}^{n-1} d_{\mathbb{R}^n}...
0
votes
0answers
67 views

Can we represent a $N-1$ rectifiable set locally as a graph, with some price?

This is a follow up discussion for this post. Let me copy part of the definition here. Let $S\subset \mathbb R^N$ be a $N-1$ rectifiable set with $\mathcal H^{N-1}(S)<\infty$. My (updated) ...
2
votes
1answer
103 views

Lower bounds from Fourier dimension?

According to Mattila, Geometry of sets and measures in Euclidean spaces, p. 168, the Fourier dimension $\text{dim}_F(A)$ of $A\subseteq \mathbb R^n$ is the unique number in $[0,n]$ such that for any $...
0
votes
1answer
92 views

The partition of $N-1$ rectifiable set

The updated version can be found here. Let $S\subset \mathbb R^N$ be a $N-1$ rectifiable set with $\mathcal H^{N-1}(S)<\infty$. My question, for each $x_0\in S$, would it be possible to choose a ...
1
vote
0answers
46 views

Volume of intersection of a convex polytope with general affine space

This question generalizes (this question) on the same site. Let $\Delta^{n}$ denote the $n$-dimensional simplex in $n$ dimensions. That is, $\Delta^{n}$ is the convex closure of the origin and the $n$...
1
vote
0answers
105 views

Laplace method with “bad” zero set

It is well-known that if $\phi:\mathbb{R}^n \longrightarrow \mathbb{R}$ is a function with $\phi(0) = 0$, $\phi(x)>0$ if $x \neq 0$ and $D^2\phi(0) \geq 0$, then the integral $$\int_{\mathbb{R}^n} ...
5
votes
1answer
197 views

Convergence in the proof of Crofton's Formula

Let $\mathcal{L}$ be the set of oriented lines in $\mathbb{R}^2$ and let $\mu$ be the Kinematic Measure on $\mathcal{L}$; up to scaling, $\mu$ comes from the unique (up to scaling) volume form on $\...
7
votes
1answer
143 views

Measure of chords from a cantor set

The following problem is inspired by a problem in Pugh's Mathematical Analysis book. (Chapter 2 Problem 42). In the problem he asks one to consider the standard Cantor set on the unit interval, and ...
14
votes
0answers
110 views

A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap D)=\frac12\...
4
votes
1answer
133 views

normal form of currents?

(this question did not get any answers on math.SE, so I am reposting it here) Let $M$ be an $n$-dimensional manifold. Then the space of currents $\mathcal D^k(M)$ of degree $k$ on $M$ is the space ...
6
votes
1answer
140 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 ...
3
votes
1answer
98 views

Reference request for a result regarding density of induced probability measure under a submersion

Let $\pi: M \to N$ be a smooth submersion from a bounded open subset of $\mathbb{R}^m$ onto $ N \subset \mathbb{R}^n$, $m \geq n$. Further, let $M$ be given a probability measure $\mu$. Then the map ...
3
votes
1answer
110 views

Riemannian Measures, Densities and Radon–Nikodym Theorem

If $M$ is a smooth manifold and $\mu$ is a $1$-density thereon then we may define a Borel measure (on Borel sets $A$) on $M$ as: \begin{equation} \nu(A) = \int_M I_A \mu. \end{equation} My question ...
6
votes
0answers
93 views

Convexity of Isoperimetric Domains

I am interested in what is known about the convexity of isoperimetric domains in compact Cartan-Hadamard manifolds (Riemannian manifolds that are complete and simply-connected and have non-positive ...
1
vote
1answer
31 views

Multiplicity of a subcovering in spaces of given Hausdorff dimension

Let $X$ be a locally compact metric space of integer Hausdorff dimension $n$. Let $K\subset X$ be a compact subset. Let $\{B_i\}_i$ be a finite family of balls covering $K$. One may assume that all ...
2
votes
0answers
83 views

$C^1$ Sard related question

Let $X$ be a $k+1$ rectifiable set with finite $k+1$ Hausdorff measure in $\mathbb{R}^{n+1}$ and set $Z=\{x\in X \mid e_{n+1}\perp T_xX \}$, where $T_xX$ is the approximate tangent and $e_{n+1}$ is ...
3
votes
0answers
211 views

Area defined with $\pm$ closedness

Denote $B_n\subset\Bbb R^n$ to be unit ball at origin. Denote $S\subset B_n$ to region of type $\mathsf I$ if it satisfies $$s\in S\iff\forall t\in S, s+t\in S\mbox{ or }s-t\in S$$ I am convinced $\...
1
vote
1answer
71 views

Image of a Jordan compact set under a degenerate map

This is crossposted from MSE, I hope this is suitable here, since there is no reaction there. I need this lemma for teaching, and I would appreciate any help. Briefly: Is the image of a Jordan ...
5
votes
1answer
269 views

Transcendental distance sets

Define a set $S \subset \mathbb{R}^d$ as a transcendental distance set if the distance between any pair of distinct points of $S$ is transcendental. For example, $S = \{ k \, \pi \;\mid\; k=1,2,\ldots ...
3
votes
2answers
264 views

What can we say about the boundary of the level set of a Sobolev function?

I'm a beginner of the area of free boundary problem. Let me first give some background: $\Omega \subset \mathbb{R}^n$ is an open connected set, and locally $\partial \Omega$ is a Lipschitz graph. ...
0
votes
0answers
158 views

What does the following space look like?

Pick fixed $a=(a_1,a_2,\dots,a_d)\in\{\pm1\}^d$. Consider map $F_a:\underbrace{\Bbb R^n\times\dots\times \Bbb R^n}_d\rightarrow\Bbb R^n$ given by $F(x_1,\dots,x_d)=\sum_{i=1}^da_ix_i$. Denote $S_n\...
2
votes
0answers
84 views

What dimension bound is known on the singular set of a linear combination of eigenfunctions of Laplacian?

Let $(M,g)$ be a smooth, closed Riemannian manifold and suppose that $\phi_1,\dots,\phi_m$ are eigenfunctions of the Laplacian on $M$. Write $f = \phi_1 + \dots + \phi_m$. How big can the set $\...
5
votes
0answers
72 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}(...
0
votes
0answers
75 views

Distortion of the Hausdorff dimension of sums of Cantor sets under local scaling

The following question deals with possible distortion of the Hausdorff dimension of sums of Cantor sets as one "zooms in" on the sum around any given point. Let us assume that $C_1$ and $C_2$ are two ...