The study of the geometric structure of measures, as well as the study of geometry from a measure-theoretic viewpoint, geometric measure theory has applications in partial differential equations, harmonic analysis, differential and Riemannian geometry, as well as calculus of variations. Statements ...

learn more… | top users | synonyms

9
votes
0answers
311 views

Open problems in Federer's Geometric Measure Theory

I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this ...
8
votes
0answers
150 views

Higher Order Coarea Formula

I was wondering, if there is a generalization of the coarea formula to higher order derivatives, which would allow one, for example, to relate the norm of the Hessian of a real-valued function $u$ to ...
6
votes
0answers
103 views

How difficult is it to impose a differential structure on a fractal?

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply ...
6
votes
0answers
301 views

Ham sandwich theorem for integrable functions?

The classical ham sandwich theorem says that given $n$ measurable sets in $\mathbb{R}^n$, it is possible to divide all of them in half (with respect to their measure, i.e. volume) with a single $(n − ...
5
votes
0answers
112 views

Manifolds with volume forms on every submanifold

If we equip a manifold with an inner product (i.e. we have a Riemannian Manifold) then we get a canonical volume form on that manifold (please mentally insert the prefix "pseudo" into my question ...
5
votes
0answers
150 views

Measurability of a certain set in Falcolner's Geometry of Fractal Sets

On page 24 of Falcolner's The Geometry of Fractal Sets, Falcolner defines the set $F = \{ x \in E : \mathcal{H}^s(E \cap U) < \alpha$ diam$(U)^s$, for all convex sets $U$ containing $x$ such that ...
5
votes
0answers
233 views

Fourier dimension of a measure restricted to an open set

Suppose that the measure $\mu$ on $\mathbb{R}^n$ has Fourier dimension $\beta$, which is to say that \begin{equation*} \beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq ...
4
votes
0answers
58 views

Singular points of one-to-one mapping on rectifiable set

Let $E$ be an $s$-rectifiable set in $\mathbb{R}^n$ of positive $s$-dimensional Hausdorff measure $H^s(E)>0$. The original question I have is: Can there exist a one-to-one Lipschitz function ...
4
votes
0answers
124 views

Lebesgue Decomposition Theorem only true for Borel sets?

In Evan's book "Geometric Measure Theory and Fine Properties of Functions", we have the following two theorems: Differentiation Theorem for Radon measures. Let $\nu, \mu: \mathcal P(\Bbb R^n) \to ...
4
votes
0answers
40 views

Wasserstein space of order 2.

I have a question about Wasserstein space. I am just wondering if the following statement is true Let $(\Omega,\mathcal{F},\mathbb{P})$ be a probability space with $\bar{\Omega}$ being a Polish space ...
4
votes
0answers
73 views

Co-Area formula in Riemannian geometry

I wonder if the following holds true: Let $z:[0,1]\times B^{n-1}_r(0)\to(M^n,g), (t,p)\mapsto z(t,p)$ be a diffeomorphism a.e. onto its image with respect to the Lebesgue measure on $A:=[0,1]\times ...
4
votes
0answers
141 views

Lebesgue density theorem for compact metric spaces.

Let $X$ be a compact metric space (with balls $B_{\varepsilon }(x)$), $\mu $ a Borel probability measure, and $A$ a Borel set with positive probability. Do we have that $\lim_{\varepsilon ...
4
votes
0answers
66 views

BV Function times characterstic function still BV?

I am wondering: given a function $u \in BV(\Theta)$ where $\Theta$ is an open subset in $\mathbb{R}^n$ and a Borel subset $B \in \mathcal{B(\Theta)},$ is the function $w \colon= u \chi_B$ still in ...
4
votes
0answers
154 views

Alternative rigorous definition of a surface integral

Consider some open subset $U$ of $\mathbb{R}^n$ where $U$ has a (piecewise) $C^1$-boundary. Let $f$ be some smooth (enough) real function. Is there some way to give a measure-theoretic definition of ...
4
votes
0answers
120 views

Limits to the growth of the volume of a union of spheres

Assume that $x_i$, $i=1,\ldots,m$ are points in $\mathbb{R}^n$, with the maximal distance between any two of them being at most $1$. Define $$ a(r)=\mu\Bigl(\bigcup_{i=1}^m B(x_i,r)\Bigr),$$ where ...
4
votes
0answers
211 views

Three properties of the Lebesgue measure on $\mathbb{R}^n$

I'm writing notes for my upcoming class in Game Theory and I realized some time ago that I only need three properties of the Lebesgue measure $\lambda$ on $\mathbb{R^n}$. It is a non-negative ...
4
votes
0answers
163 views

Integral Geometry Reference Request

I am looking for a good introductory reference (book, lecture notes, survey article) on integral geometry. I am especially interested in the Crofton formula in $\mathbb{R}^n$ and its extensions to ...
3
votes
0answers
54 views

The projection of density 1 point on a rectifiable set.

This post has also been posted here. Please see the comment on the linked page, useful information! Let $\Gamma\subset \mathbb R^N$ be $\mathcal H^{N-1}$-rectifiable. Then we know that $\mathcal ...
3
votes
0answers
38 views

When a current is actually a holomorphic form?

If a current $f$ of bidegree $(p,0)$ (acting on forms of bidegree $(n-p,n)$) satisfies $\bar{d}f=0$, is it true that $f$ is a holomorphic differential form? In general, do we have any standard ...
3
votes
0answers
54 views

Sobolev Multiplication theorem for Fibre bundles

Let $X$ be a compact, oriented, four dimensional Riemannian manifold and $Q\longrightarrow X$ be a principal $G$-bundle over $X$ for a smooth, compact Lie group $G$. Let $M$ be a manifold admitting a ...
3
votes
0answers
45 views

A covering argument for metric Jacobian

Given a Lipschitz map between Carnot Groups $ f : G_1 \to G_2$, with homogeneous dilations $ \delta^1_s, \delta^2_s$, we have the almost everywhere Pansu derivative $ D_H f(x)(y) = \lim_{s\to 0} ...
3
votes
0answers
67 views

Density and $\lambda$ - measurability of a Radon measure

Question: Let $\lambda$ be a Radon measure on $\mathbb{R}^n$ and $A \subset \mathbb{R}^n$. Show that $$ \lim_{r \rightarrow 0} \frac{\lambda(A \cap B(x,r))}{\lambda(B(x,r))}=0 \ \ \ \text{for ...
3
votes
0answers
84 views

Measurability of points regular

I'm reviewing the proof of the theorem of oseledet the book Mañe: Let $M$ a compact metric space and $f:M \rightarrow M$ a homeomorphism, $\pi: F \rightarrow M$ a finite-dimensional continuos vector ...
3
votes
0answers
249 views

Lebesgue measure as a fixpoint: change of variables formulas

This question is inspired by several others on a similar topic: see e.g. this one and a sequence of linked questions. Let us so far focus on $\Bbb R^n$ endowed with standard Borel structure. For any ...
3
votes
0answers
147 views

Radon-Nikodym derivative of the Hausdorff measure transform

Let $H^{m}$ be the $m$-dimensional Hausdorff measure, let $D = \operatorname{diag }(d_1,...,d_k)$ be a nonsingular scale matrix. Consider the change of measure formula: $$ \int\limits_{A} f(Dx) \; ...
3
votes
0answers
190 views

Co-area formula involving non-integer Hausdorff measure

Is there any co-area formula involving non-integer Hausdorff dimension? Moreover is it sensible to write the following: Let $S$ be a subset in $ \mathbb{R}^n$ with Hausdorff dimension s ...
2
votes
0answers
39 views

Lipschitz continuous one-to-one mapping from subset $K\subset\mathbb{R}^n$ of positive measure to $\mathbb{R}^{n-1}$

Let $f:\mathbb{R}^n\to \mathbb{R}^{n-1}$ and $K\subseteq \mathbb{R}^n$ be a set of positive Lebesgue measure. What kind of regularity do we have to impose on $f$ (e.g., $C^1$, Lipschitz) to conclude ...
2
votes
0answers
43 views

Approximation of Sets of Finite Perimeter

Fix an open set $\Omega \subset \mathbb{R}^n$. If $E$ is a measurable subset of $\Omega$, we may define the perimeter of $E$ in $\Omega$, denoted by $P(E;\Omega)$, to be $$P(E;\Omega) = ...
2
votes
0answers
48 views

Image of a Jordan compact set under a degenerate map

Briefly: Is the image of a Jordan compact set $K$ under a degenerate smooth map $\varphi$ equal to an image of a compact subset $T\subseteq K$ of zero measure, $\mu(T)=0$: $$ ...
2
votes
0answers
31 views

Blow-up of derivative of BV function at the jump set

"Motivation" Let $u\in BV(\mathbb{R}^n)$ be a function of bounded variation, and let $x\in J_u$ be a point in its jump set. For $\mathcal{H}^{n-1}$-a.e. such $x$, we can define the unit normal $\nu$ ...
2
votes
0answers
217 views

The Co-area formula for $BV$ function V.S. the co-area formula for $C^\infty$ functions

I am working on the proof of the co-area formula for $BV$ functions. Suppose $u\in BV(\Omega)$ then the co-area formula states that $$ \|Du\|(\Omega)=\int_{-\infty}^\infty \|\partial ...
2
votes
0answers
81 views

Crofton formula in higher dimension

In the plane, the Crofton formula states that for a rectifiable plane curve $\gamma$, we have $\int |line \cap \gamma| d\Omega_1=2\times length(\gamma)$ where $d\Omega_1$ is the ...
2
votes
0answers
53 views

Difference of two subharmonic functions and signed measures

One of the reasons subharmonic functions are interesting is that if you take their laplacian, you get a measure (and conversely any finite Radon measure with compact support can be obtained in this ...
2
votes
0answers
77 views

Problem with definition of pushforward density

Let $X$, $Y$ be smooth manifolds and let $\pi \colon X \to Y$ be a submersion. Then for every $y \in Y$ the set $W_y = \pi^{-1}(y)$ is a submanifold in $X$. Let $\mu \in \Gamma(|\Lambda| X)$ be a ...
2
votes
0answers
66 views

$L^1$ approximate continuity points of epigraph of a continuous function

Consider a continuous function $f\colon \mathbb R\to \mathbb R$. Let $F(x,y):=\mathrm{sign\,}(y-f(x))$. Is it true that for a.e. $x\in \mathbb R$ the point $(x,f(x))$ is not a point of $L^1$ ...
2
votes
0answers
70 views

Measures whose projections are absolutely continuous

Let $\mu$ be a finite Borel measure on the plane. Does there exist a characterization of the property that almost all (wrt rotations) projections of $\mu$ to lines on the plane are absolutely ...
1
vote
0answers
29 views

Hausdorff Measure under linear maps

We have a linear map $L : \mathbb R^n \rightarrow \mathbb R^m $ ($m\geq n$) I have two questions: How does one prove that $\mathcal H^n (L(B(x,r)))=\mathcal L^n (O^* \circ L(B(x,r)))$? (We have ...
1
vote
0answers
7 views

$\mathbf{M}$ is $\mathbf{F}$ lower semicontinuous on $\mathscr{D}_m$

I am working on a problem in Frank Morgan's Geometric Measure Theory book. What I have done so far: $T_i \to T$ under the real flat norm: $\forall \epsilon>0, \exists N$ such that $\min \{ ...
1
vote
0answers
25 views

Structure theorem for locally bounded variation functions

I have some doubts reading Measure Theory and Fine Properties of Functions by Evans and Gariepy. In particular, they define the space of locally bounded variation functions $BV_{loc}(U)$ in $U\subset ...
1
vote
0answers
63 views

Borel regular measure on a subset of $\mathbb{R}^3$

Let $f(x,y)$ be a positive, differentiable function defined in the unit disc $D\subset \mathbb{R}^2$ and let $S=\{(x,y,z) \in \mathbb{R}^3 \mid x^2+y^2<1, z=f(x,y)\}$ Given $A \subset ...
1
vote
0answers
54 views

staircase length in Whitney's flat norm and Jenny Harrison's natural norm

Can someone provide the complete calculation for the length of a staircase as it converges to a diagonal line in Euclidean space in a sequence in which the number of steps goes to infinity between two ...
1
vote
0answers
77 views

Vector valued measures

I can't understand what a vector valued measure is. In particular what does it mean to write $\nu (A)$ with A Borel measurable set?
1
vote
0answers
24 views

Reconstructing a measure from its (absolutely continuous) marginals

Let's denote by $C$ the space of continuous functions $[0,T] \rightarrow \mathbb{R}^n$ for some fixed $T>0$ and assume we have a probability measure $Q$ on the space $C$. Consider the evaluation ...
1
vote
0answers
39 views

Does the coarea formula hold for delta-function?

Let $\Omega \subset \mathbb R^n$ be an open bounded domain, $u \colon \Omega \to \mathbb R$ be a Lipshitz function and suppose that $\nabla u (x) \neq 0$ for $x \in \Omega$. The coarea formula tells ...
1
vote
0answers
46 views

Define Radon measure as an integral

Let $\mu: \mathcal P(\mathbb R^n) \to [0, \infty]$ be an outer Radon measure and $f \in L^1_{loc}(\mathbb R^n, \mu)$, $f \geq 0$ on $\mathbb R^n$. Now we define an outer measure $\nu: \mathbb R^n \to ...
1
vote
0answers
211 views

How we can explain this by drawing a suitable diagram?

When I go through the proof of Riesz-Markov Representation Theorem I could encounter a step of defining $A_k=K\cap f^{-1}((y_k,y_{k+1}))$ $U_k=V\cap f^{-1}((y_k,y_{k+1}))$ And the $A_k\in ...
1
vote
0answers
72 views

Every projection of the square of the middle thirds Cantor set contains an interval

Let $C_\lambda$ the cantor set which is defined by the IFS $\{\lambda x,\lambda x+(1-\lambda)\}$ and also let $E=C_\lambda\times C_\lambda$.Suppose $\lambda =\frac 1 3$, we get the standard ...
1
vote
0answers
48 views

Coarea formula for fractional dimension

The coarea formula states that any locally Lipschitz function (e.g. a $C^1$-function) $F:\mathbb{R}^N\to\mathbb{R}^n$ with $N\geq n$ satisfies $$\int_A JF(x) \mathrm{d}\mathcal{H}^N = ...
1
vote
0answers
69 views

Hausdorff dimension of a ball

Let $\{f_1,\dots,f_m\}$ be an IFs and $E_n$ be the associated self similar set. It's known that $E_n$ is a union of disjoint balls $B(x_i,R\cdot r^n)$ (balls with same radius but not the same ...
1
vote
0answers
51 views

Hausdorff measures and densities

I've been stuck on this one for a while now. It's problem 2.4 from Falconer's "The geometry of fractals" Given an $\mathcal{H}^{s}$ measurable subset $E\subset \mathbb{R}^n$ with ...