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

0
votes
1answer
23 views

Integral equality including function with compact support

I don't understand a proof step in my measure theory book, maybe you can help me. We have a Radon (outer) measure $\mu: \mathcal P(\Bbb R^n) \to [0, \infty]$ and a $f \in L^1_{\text{loc}}(\Bbb R^n)$, ...
2
votes
0answers
53 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) = ...
0
votes
1answer
28 views

doubling property on manifold

I am learning the Geometric Measure Theory, and curious about how to generalize the covering lemma on manifold. However I am stuck at the doubling property: Let $(X,d,\mu)$ be a metric space with ...
1
vote
0answers
65 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 ...
3
votes
1answer
73 views

Is a bijective projection function measure preserving?

A subspace with dimension strictly less than the dimension of vector space has (Lebesgue) $measure=0$. Let $V$ be a vector space with $dimension=n$. To show that some set $S$ in V is zero-measure, is ...
2
votes
1answer
49 views

Weak isoperimetric inequality for surfaces in $\mathbb R^3$

The well-known isoperimetric inequality in $\mathbb R^2$ states that for a $\Gamma \subset \mathbb R^2$ a curve (simple, closed, piecewise $C^1$) and $A$ the area of the bounded component of ...
4
votes
1answer
36 views

Theorem on Measurability-Preserving Maps?

How to tell whether you should bother reading this: Consider two well known facts about measurable functions: (i) the supremum of a sequence of measurable functions is measurable, (ii) if $f$ is ...
3
votes
0answers
43 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 ...
5
votes
1answer
116 views

Does every bounded Jordan measurable set have porous boundary?

Let $A\subset \mathbb{R}^n$ be a bounded Jordan measurable set. I wonder if its boundary $\partial A$ is necessarily porous. I know that $\partial A$ has Lebesgue measure zero. I also think that one ...
3
votes
0answers
55 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 ...
0
votes
1answer
72 views

Inequality between Hausdorff measure and spherical Hausdorff measure

I have a doubt on spherical Hausdorff measure. Given $k, \delta \in (0,\infty)$, the $\delta$-Hausdorff premeasure is defined for $E\subset \mathbb R^n$ as: $$\mathcal ...
0
votes
0answers
13 views

Euclidean regular hypersurfaces VS. Regular hypersurfaces in Heisenberg group

Let's fix the setting we are working in: let $\mathbb H^n$ be the Heisenberg group, we denote its points $P$ as $P=(x_1,\dots, x_n,y_1,\dots,y_n,t)$, the Lie algebra as $X_i=\frac{\partial}{\partial ...
0
votes
0answers
24 views

Continuously differentiable functions in the Heisenberg group

I need some help with the following. We are in the Heisenberg group $\mathbb H^n$: we denote points $P\in \mathbb H^n$ as $P=(x_1,\dots,x_n,y_1,\dots,y_n,t)$ and let $X_j=\frac{\partial}{\partial ...
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 ...
8
votes
1answer
149 views

Lipschitz space-filling maps

First, some preliminaries and context. Let $f \colon [0,1]\to[0,1]^2$ be a space-filling curve. If we put on $[0,1]$ and $[0,1]^2$ the standard Euclidean metrics induced by $\mathbb{R}$ and ...
5
votes
2answers
154 views

Boundary of closure of open set in $\mathbb R^2$ has measure zero

Consider problem 4 on day 2 of this exam. Suppose that $\mathcal O\subset \mathbb R^2$ is an open set with finite Lebesgue measure. Prove that the boundary of the closure of $\mathcal O$ has ...
0
votes
1answer
36 views

Deduce probability density function from integrals on $N$ bounded regions

I stumbled upon this problem. Suppose you have an unknown probability density function on the two dimensional real plane, $f(x,y)$ Suppose you have three distinct points $P_1, P_2, P_3$ on the plane ...
2
votes
0answers
51 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$: $$ ...
5
votes
2answers
68 views

Is an $L^p$ function in an annulus $L^p$ restricted to almost all planes?

Let $n\geq3$ and consider the annulus-like domain $A=B(0,1)\setminus B(0,r)\subset\mathbb R^n$. Take any number $p\in[1,\infty]$. If $f\in L^p(A)$, is it true that $f|_{P\cap A}\in L^p(P\cap A)$ for ...
2
votes
1answer
58 views

Doubling measure and Riesz Potential

I am currently trying to solve some analysis exercises on metric spaces, but I cannot quite tackle on of them. The exercises read as follows: Define the measure ...
3
votes
1answer
49 views

The derivative of a measure

Let $\mu$, $\nu$ be two Radon Measure on $\mathbb{R}^n$. How can I prove that $D_{\mu}{\nu}=\lim_{r \to 0} \frac{\nu(B(x,r)}{\mu(B(x,r))}$ is in $L^1_{loc}(\mathbb{R}^n,\mu)$?
0
votes
0answers
41 views

Uniqueness of measure

I'm studying the Lebesgue-Besicovitch differentiation theorem (on the book "Sets of finite perimeter and geometrical variational problem- Maggi") but I'm not able to understand the following: Why the ...
1
vote
0answers
80 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
1answer
42 views

Property of Radon measure on $\mathbb{R}^n$

Let $\mu$ a Radon measure on $\mathbb{R}^n$, $C$ a bounded and measurable set and $F_i$ a countable family of closed ball. I also have that $\frac{\mu(C)}{\eta(n)}\le \mu (C \cap \bigcup \{ \bar{B} ...
1
vote
1answer
42 views

calculus of the measure of a $C^1 $ hypersurface

I have to prove that: $$\lim_{r \to 0} \frac {\mathcal H ^{n-1}(M \cap B(x,r))}{\omega_{n-1} r^{n-1}}=1, $$ where $\mathcal H ^{n-1}$ is the ($n-1$)-dimensional Hausdorff measure, $M$ is a $C^1$ ...
2
votes
1answer
36 views

Action of differential on multivectors, what is it called?

Let $\varphi:X\to Y$ be a smooth map between finite dimensional vector spaces over $\mathbb R$. Let us define its differential in a pont $a\in X$ as a (linear) map $d\varphi(a):X\to Y$ acting by ...
0
votes
1answer
26 views

Regularity of limit measure and prove that $|\mu_h|\stackrel{*}{\rightharpoonup}|\mu|$

I have some questions. First of all, let $\mu_h$ a sequence of Radon measures and suppose that $\mu_h$ weakly-converge to another measure $\mu$. Now, this limit measure $\mu$ is still Borel? Is it ...
0
votes
0answers
43 views

Does the coarea formula hold for smooth maps with gradient bounded below?

The coarea formula for hypersurfaces in $\mathbb R^n$ can be written in two following forms: $$ \int_{\mathbb R^n} g(x) |\nabla u(y)| dx = \int_{\mathbb R} \int_{u^{-1}(t)} g(y) d\mathscr H^{n-1}(y) ...
0
votes
1answer
36 views

Prove that a sequence of measures weak-star converges to another measure

We have a set of locally finite perimeter and a sequence of sets $\{E_h\}_h$ with $C^1$ boundary such that $$E_h\to E \text{ and } \mu_{E_h}\stackrel{*}{\rightharpoonup} \mu_E,$$ where $\mu_{E_h}$ and ...
0
votes
0answers
16 views

Prove that $\int_{\mathbb R^n} u_\epsilon \, divT=\int_F div(T*\rho_\epsilon). $

Let $F\subseteq \mathbb R^n$ be a set and let $\chi_F$ its indicator function, regularized with functions $\rho_\epsilon\in C^\infty_c(\mathbb R^n)$ such that $u_\epsilon:=\chi_F* \rho_\epsilon\to 0$ ...
2
votes
1answer
52 views

Any relationship between Hausdorff measures

Let $ S_1= ( [0,1], d_1 ) $ and $ S_2 = ( [0,1], d_2 ) $ be two metric spaces, where $ d_1 = |x - y|$ and $d_2 = (1/2^i) $ where binary expansion of x and y matches upto $ i^{th} $ coordinate. Let $ ...
3
votes
1answer
60 views

Mean Curvature Flow

Recently I am reading the mean curvature flow from the lecture notes of Carlo Mantegazza where I found that Under mean curvature flow given by$$\begin{cases}{\partial\over \partial ...
2
votes
1answer
38 views

Regularity of $\phi$ in order that $\int g_h \phi \,dx \to \phi(0)$

Define the sequence of functions $(g_h)_h$ where $$g_h(x):= h\, \chi_{[0,1/h]}(x)$$ and the sequence of measures $$(\mu_h(dx))_h:= g_h(x)\,dx.$$ We want to show that $\mu_h ...
2
votes
1answer
46 views

Show limit exists of quotient of measures

This is a Theorem from Mattila's Book Geometry of sets and measures in Euclidean spaces: Let $\mu$ and $\nu$ be uniformly distributed Borel regular measures on a separable metric space $X$. There ...
0
votes
1answer
44 views

On a proof of essential uniqueness of uniformly distributed measures

In the book 'Geometry of sets and measures in Euclidean space' by P. Mattila, theorem 3.4 states that Let $\mu$ and $\nu$ be uniformly distributed Borel regular measures on a seperable metric space ...
0
votes
0answers
16 views

Properties of finite difference approximation to perimeter $|E\Delta (E+\epsilon)|/\epsilon$.

Let $E\subset\mathbb{R}$ be a measurable set. If $E$ is a finite union of disjoint intervals, then $E$ is said to have finite perimeter and its perimeter $P(E)$ can be expressed as the limit $$ P(E) ...
1
vote
1answer
29 views

Existence of a measure where diameter of balls can be estimated by their measure

In my last post I asked the following question: Given a metric space $X$, let $B_r(x):=\{y\in X\mid d(x,y)\leq r\}$ be the closed balls. Fix a real number $p>0$. My question now is: Is there a ...
0
votes
1answer
18 views

Existence of a measure defined on balls

Given a metric space $X$, let $B_r(x):=\{y\in X\mid d(x,y)\leq r\}$ be the closed balls. Fix a real number $p>0$. My question now is: Is there a Borel-measure $\mu$ on $X$ such that \begin{align*} ...
2
votes
1answer
90 views

Prove Property of Doubling Measure on $\mathbb{R}$

Problem. Let $\mu$ be a fixed finite measure on $\mathbb{R}$. $\mu$ is said to be doubling if there exists a constant $C>0$ such that for any two adjacent intervals $I=[x-h,x]$ and ...
4
votes
0answers
129 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 ...
0
votes
1answer
30 views

Inequality with supremum of divergence of vector fields

I would like to write this inequality: $$\sup\left\{ \int_{A \cup (\mathbb{R}^d \setminus F)} \operatorname{div} T \space \rm d m^d : T \in C_0^1(\mathbb{R}^d,\mathbb{R}^d), |T(x)| \le 1 \right\} \le ...
2
votes
0answers
35 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$ ...
3
votes
1answer
59 views

Proving a Certain Planar Measure Is Zero on Horizontal Lines

Question: Suppose $\mu$ is a measure on $\mathbb{R}^{2}$ with respect to which all open squares are measurable. Suppose $\mu$ has the following property: there exists a constant $\alpha\geq 1$ ...
1
vote
2answers
49 views

Hausdorff measure of a subset of $\mathbb R^3$

Let $f \in L^1_{\text{loc}}(\mathbb R^3)$. We define $A \subset \mathbb R^3$ as $$ A := \left\{ x \in \mathbb R^3 \, : \, \limsup_{r \to 0} \frac 1 r \int_{\mathbb B(x,r)} \vert f(y) \vert \, \mathrm ...
2
votes
1answer
64 views

Hausdorff dimension of a Sierpinski-like triangle

Define the set $A \subset \mathbb R^2$ by proceeding as follows. Let $A_0$ be a closed equilateral triangular region of side 1. $A_1$ are the three equilateral triangular regions of side $\frac 1 3$ ...
0
votes
0answers
23 views

A property on exterior measures on a metric space

Let $(X,d)$ be a metric space and $\mu:2^X\to[0,\infty]$ be an exterior measure on $X$, $\mathcal{M}:=\{E\subset X:\forall S\subset X\ \ \ \mu(S)=\mu(S\cap E)+\mu(S-E)\}$. Suppose ...
3
votes
2answers
200 views

Is there a well-defined notion of measure zero on topological manifolds?

We extend the concept of measure zero on manifolds by local parameterization. but in this definition we have to check if it is true for every parametrization. In Guillemin's Differential Topology this ...
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 ...
0
votes
3answers
95 views

Can I cover a square with many line segments?

Not sure If I've chosen the tags correctly. Anyway, is it possible to obtain a unit square with enough line segments oriented vertically, placed next to each other? We know that a unit square has ...
3
votes
1answer
110 views

Hausdorff measure, volume form, reference

Could you tell me where I can find a reference to the fourth corollary in this encyclopedia? Corollary $4$: Assume that $\Sigma \subset \mathbb{R}^m$ is an $n$-dimensional $C^1$ ...