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

3
votes
1answer
83 views

Does interval spacing effect Hausdorff dimension of Cantor set?

Let $C=\bigcap_{j=0}^{2^n}C_j$, $C_0=[0,1]$, and the intervals in the construction of each stage of $C_j$ consists of removing the center 1/3 from the $j-1$ stage intervals. In other words, the ...
0
votes
1answer
93 views

Hausdorff measure of the middle third Cantor set and Compactness

In the proof of the Hausdorff dimension of the middle third cantor set I cannot understand why we need the following underlined statement. I cannot understand why we need only consider closed ...
2
votes
1answer
70 views

Prove that this function is Borel measurable

Prove that if $s\ge 0$, $f:\mathbb{R}^n\to\mathbb{R}^m$ is continuous and $K\subset\mathbb{R}^n$ is compact, then the function $$ F:\mathbb{R}^m\to [0,\infty]\\y\mapsto H^{s}(K\cap f^{-1}(\{y\})) $$ ...
1
vote
0answers
18 views

$ H^{n-1} (spt \mu _E - \partial ^{*}E)=0 ?$

In Federer's Theorem, $ H^{n-1} (\partial ^{m}E - \partial ^{*}E)=0 $, where $E$ is a set of finite perimeter in $ \mathbb R^n $, $\partial ^{m}E$ is the measure theoretical boundary of E, and ...
1
vote
1answer
35 views

Measure defined in an atypical way

I was reading a paper when I found this ($\partial \Omega$ refers to the boundary of $\Omega$ and $\nabla$ to the gradient operator,$\nabla f = (\partial_{i}f)_{i} $ ). Let $\Omega \subset ...
0
votes
1answer
40 views

Two Radon measures and mutual singularity

Let $\mu$ and $\lambda$ be Radon measures on $\mathbb{R^n}$. Show that $\mu$ and $\lambda$ are mutually singular iff $D(\mu,\lambda,x)=\infty$ for $\mu$ almost all $x \in \mathbb{R^n}$. I have looked ...
0
votes
1answer
49 views

Measure derivatives and the chain rule

Let $\mu$ and $\lambda$ be Radon measures on $\mathbb{R^n}$ such that $\mu << \lambda$. Prove that $\displaystyle \int D(\mu,\lambda,x)^2 d\lambda x= \int D(\mu,\lambda,x)d\mu x$. Is it ...
3
votes
0answers
56 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 ...
1
vote
1answer
32 views

Estimating the $(N-1)$- Hausdorff measure of $\Omega\cap \partial B(0,r)$ when $\lim_{r\to\infty} m(\Omega\cap B(0,r))/m(B(0,r))=0$.

Let $\Omega\subset\mathbb{R}^N$ be a open, unbounded and connected set ($N\ge 2$). Let $m$ and $\mathcal{H}^{N-1}$ denote respectively, Lebesgue and $(N-1)$-Hausdorff measures. Suppose that ...
1
vote
1answer
49 views

Showing that the upper packing dimension is the packing dimension

I cannot see how the first inclusion in this proof works. $P$ is the maximum number of disjoint $B(\epsilon/2)$ with centres in $A$ and the following will help. Moreover I cannot see how it ...
0
votes
1answer
38 views

Equalities for the Upper and Lower Minkowski dimension definition

In a Geometric Measure Theory textbook the following was written: I cannot see how any of these equalities hold and dont believe they are obvious. If they are relatively obvious could someone ...
0
votes
1answer
47 views

Properties of the Hausdorff measure

This comes from a book on geometric measure theory in a chapter introducing the Hausdorff measure $\mathcal{H^t}$. I cannot see in this proof how $\sum_i d(E_i)^s \leq \mathcal{H^s_{\delta}}(A)+1$ ...
0
votes
1answer
74 views

Symmetrization Methods

I was wondering if I could get a list of the symmetrization methods out there i.e. methods that rigidly transform a set A into it's equimeasure ball $A^{*}$. Here are some: a) Steiner Symmetrization ...
7
votes
0answers
259 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 ...
0
votes
1answer
64 views

Isoperimetric inequality with Green-capacitiy

I was wondering what the progress is, in isoperimetric inequalities for Capacities, specifically with the Green kernel ( optional: and Riesz kernel with $a\in (2,\infty)$). Or if it is solved already, ...
1
vote
0answers
52 views

Probability of hitting a Borel set by transient Brownian motion ($d\geq 3$)

I am looking for references/progress made in estimating the hitting probability for Borel sets. For spheres we have $P_{x}(T_{B_{r}(0)}<\infty)=(\frac{|r|}{|x|})^{d-2}$, where $x=B_{0}$ for ...
0
votes
1answer
78 views

What is the minimum Number of closed balls covering a boundary as radius $r\to 0$?

Here is the problem: Given compact set $A\subset \mathbb{R}^{d}$, cover $\partial A$ by closed balls $\{B_{i,\varepsilon}\}_{i=1}^{n}$ , with minimum overlap. Can we express n as a factor of ...
2
votes
1answer
64 views

References on estimating capacities (Newton, Martin etc) for sets & alternative formulations.

By G-capacity for capacitable set K I mean: $Cap(K)=[inf\{\int\int G(x,y)d\mu(y)d\mu(x):\mu$ probability measure on K$\}]^{-1}$. where G(x,y) is any kernel eg. the Green kernel. Q1:We've calculated ...
4
votes
2answers
493 views

Best textbook for Geometric Measure Theory

I was wondering what is the best textbook for Geometric Measure Theory for self study. I am looking for one that isnt excessively detailed or long either as I found Rana's Introduction to measure ...
1
vote
0answers
38 views

Reference: Computing Martin Capacity

For Borel set $A$ the Martin Capacity is defined as: $\mathrm{Cap}_{M}(A)=[\inf\{\int \int \frac{G(x,y)}{G(0,y)}d\mu(x)d\mu(y):\mu \mbox{ probability measure on }A \}]^{-1}$ and Green's function ...
0
votes
1answer
39 views

Measure on Locally Compact, Separable metric space

Simon (Geometric Measure Theory) says: If $X$ is a locally compact, separable metric space and $\mu(K) < \infty$ for all $K$ compact, then $X=\cup_{i=1}^\infty U_i$ where $U_i$ are open and ...
2
votes
1answer
82 views

Constructing an example related to Vitali's covering theorem

An exercise in Fremlin's measure theory vol 2 asks to construct a family $\mathcal I$ of open intervals in the real line such that every point of $\mathbb{R}$ belongs to arbitrarily small intervals of ...
2
votes
0answers
45 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 ...
3
votes
1answer
94 views

The walk of a knife

"A knife is slowly moved parallel to itself over the top of a cake. At each instant the knife is poised so that it could cut a unique slice of the cake. As time goes by the potential slice increases ...
2
votes
1answer
122 views

Lipschitz manifold and semi-algebraic is Lipschitz graph?

It is known that there are Lipschitz manifolds that are not Lipschitz graphs and $C^1$ manifold is locally $C^1$ graph. If $M\subset \mathbb{R}^m$ is a Lipschitz manifold (with the outer distance) ...
2
votes
1answer
106 views

Measurability of upper and lower derivatives of Radon measures

Let $\mu$ and $\nu$ be Radon measures in $\mathbb R^N$. Define their upper and lower derivatives by $$ \overline{D}_\nu\mu(x):=\limsup_{r\to0}\frac{\mu(B_r(x))}{\nu(B_r(x))},\qquad ...
-1
votes
2answers
81 views

Graph (or manifold) Lipschitz satisfy the sphere (ball) condition?

Consider $\varphi: U\subset \mathbb{R}^{n-1}\to \mathbb{R}$ a Lipschitz function and $\Omega=Graph(\varphi)$, i.e., $$\Omega=\{x=(x_1,...,x_n)\in U\times\mathbb{R};x_n=\varphi(x_1,...,x_{n-1})\}.$$ ...
2
votes
1answer
86 views

Projection of measurable sets

If $ X $ and $ Y $ are metric spaces, $ f: X \rightarrow Y $ is lipschitzian and $ H^k $ is the Haussdorf measure, it is easy to check that $ f(A) $ is $H^k $-measurable whenever $ A $ is $H^k ...
5
votes
2answers
141 views

Borel sets and measurability

Is it always possible to construct a measure $ \mu $ on a Hausdorff space Y such that the $ \mu $-measurable sets are exactly the Borel sets of Y? By Theorem in 2.2.13 of Federer's book this question ...
1
vote
1answer
34 views

Hausdorff dimension and accumulation points on a smooth curve

I am wondering about the following, possibly naive, question. Suppose I have a smooth curve, which intersects the horizontal axis in a manner that leads to an accumulation point. More precisely, ...
4
votes
0answers
119 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 ...
1
vote
1answer
113 views

A Borel measure defines semi-continuous function?

Let $X$ be a metric space with outer measure $\mu$, which is assumed to be a Borel measure, i.e., all Borel sets are measurable. For a fixed subset $A\subset X$ (not necessarily measurable, but you ...
0
votes
1answer
103 views

Indicator function of a level set

Consider a positive definite locally Lipschitz function $V:\mathbb{R}^2\to\mathbb{R}_{\geq0}$. Fix $c\in\mathbb{R}_{\geq0}$ and consider the sublevel-set $E_c=\{x:\in\mathbb{R}^2:V(x)\leq c\}$, ...
0
votes
0answers
37 views

Why Steiner Symmetrization makes a measurable set to a measurable one?

I find the Steiner Symmetrization is very useful in proving that the Hausdorff measure coincide with Lebesgue in the Euclidean space. However, I never saw anybody mention that the Steiner ...
2
votes
1answer
63 views

What is the density of the SRB measure conditioned to unstable manifolds?

I have a question regarding the SRB measure. As Lai-Sang Young puts it, the SRB-measure is the invariant ergodic invariant measure most compatible with volume. (see [ ...
1
vote
1answer
45 views

Local Approximation $W^{1,p}$ functions by smooth functions.

I am working through "Measure Theory and Fine Properties of Functions" by Evans and Gariepy, and Chapter 4 section 2 focuses on approximating $W^{1,p}$ functions. In particular, I am confused by ...
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 ...
1
vote
1answer
144 views

Is Hausdorff measure continuous with respect to Hausdorff distance?

Say I have a sequence of surfaces, $S_n$ in $\mathbb{R}^k$ with $d$-dimensional Hausdorff measure $m_d(S_n)$. Say $S_n$ converges in the Hausdorff distance sense to a surface $S$ with $d$-dimensional ...
2
votes
0answers
66 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 ...
3
votes
1answer
84 views

Upper Bound on Surface Area of Algebraic Surfaces

I have a family of multi-variate polynomials, with bounded degree and a bound on the norm of the coefficients, say for example, all multi variate polynomials of the form: $\{ a_1 xy + a_2x + a_3xyz: ...
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 ...
1
vote
0answers
42 views

Aproximating a function on SO(3)

By $SO(3)$ I mean rotation matrices. Let $\cal{L}=\{f:[0,l]\to \rm{SO}(3)\} \cap L^1([0,l];\mathbb{R}^{3\times3})$. How to approximate funkctions from $\cal{L}$ with functions from ...
2
votes
2answers
311 views

Sub-dimensional linear subspaces of $\mathbb{R}^{n}$ have measure zero.

I would appreciate it if someone could refer me to a proof (or simply give one here) for the statement in the title. That is: If $k<n$, then every $k-$dimensional subspace of $\mathbb{R}^{n}$ has ...
2
votes
0answers
61 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$ ...
1
vote
1answer
1k views

A formula for Perspective measurement

If I have a photograph of a rectangular object whose image recedes with perspective, is it possible to work out the scale of measurements along that object? For example: I have a photograph of a ...
3
votes
4answers
158 views

Prove that $\mu\left(\cup_{k=1}^\infty A_k\right)=\sum_{k\ge1}\mu(A_k)$

Suppose that the measurable sets $A_1,A_2,...$ are "almost disjoint" in the sense that $\mu(A_i\cap A_j) = 0$ if $i\neq j$. Prove that $$\mu\left(\cup_{k=1}^\infty A_k\right)=\sum_{k\ge1}\mu(A_k)$$ ...
5
votes
1answer
404 views

Minkowski Content

Could someone provide some intuition behind the $n$-dimensional Minkowski Contentthe $n$-dimensional upper Minkowski Content of $\mathcal{A}$ as $$\mathfrak{M}^{*m} (\mathcal{A}) : = \lim_{\epsilon ...
6
votes
1answer
203 views

A curious problem about Lebesgue measure.

The Problem: Let $(B(x_{m},0.5))_{m}$ be a sequence of disjoint open discs in $\mathbb{R}^{2}$ centered in $x_{m}$ and with radius 0.5. Let $\psi(n)$ be the number of these discs contained in the ...
1
vote
1answer
55 views

Assumptions for definition of Radon measure

My reference is L. Simon's Lectures on Geometric Measure Theory. He defines a measure on a set $X$ as a countably subadditive function $\mu:2^X\to[0,\infty]$ with $\mu(\emptyset)=0.$ When $X$ is a ...
5
votes
1answer
413 views

Haar measure on the groups SO(n) and SO(n,m)

Would you please give me some information about Haar measure on special orthogonal group SO(n) and indefinite special orthogonal group SO(n,m)? Thank you so much!