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

32
votes
4answers
652 views

To show that the set point distant by 1 of a compact set has Lebesgue measure $0$

Could any one tell me how to solve this one? Let $K$ be a compact subset of $\mathbb{R}^n$, and $$A:=\{x\in\mathbb{R}^n:d(x,K)=1\}.$$ Show that $A$ has Lebesgue measure $0$. Thank you!
22
votes
1answer
625 views

Which sets are removable for holomorphic functions?

[Note: I received a version of this question via email and decided to answer it on MSE, where it might be useful to others.] Let $\Omega$ be a domain in $\mathbb C$, and let $\mathscr X$ be some ...
20
votes
1answer
446 views

Measure theoretic definition of curl

Is there a good measure theoretic definition of curl? To give an idea of the sort of equation that I'm looking for, here's now I define grad and div. For the gradient, say we are given a Fréchet ...
10
votes
4answers
385 views

Has the notion of having a complex amount of dimensions ever been described? And what about negative dimensionality?

The notion of having a number $a \in \mathbb{R}_{\geq 0} $ associated to any metric space is described by the definition of a "Hausdorff Dimension". I was wondering if work has been done on spaces ...
10
votes
1answer
590 views

Inner regularity property of Radon measures in metric spaces

Let us agree to say that $\mu$ is a Radon measure on a metric space $X$ if it is a Borel measure which is finite on compact subsets and is such that: Every measurable subset $A$ is outer regular, ...
9
votes
1answer
451 views

Uncountable sets of Hausdorff dimension zero

Let $A \subset \mathbb{R}$ be a countable set. It is easy to see that $A$ has Hausdorff dimension $\dim_H(A) = 0$. Do there exist uncountable sets $A \subset \mathbb{R}$ with $\dim_H(A) = 0$?
8
votes
2answers
555 views

Relations between various definitions of a Radon measure

The following various definitions of a Radon measure seem to be given for the Borel sigma algebra of different types of topological spaces: general, Hausdorff, locally compact, or locally compact ...
8
votes
1answer
178 views

Hausdorff Dimension of Set of Measure Zero

It's clear that every $A \subset \mathbb R^n $ with $\dim_H(A) < n$ we have $\mathcal H^n(A) = 0$. Is there any $A \subset \mathbb R^n $ with $\mathcal H^n(A) = 0$ but $\dim_H(A) = n$? Thank you.
7
votes
0answers
118 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
1answer
304 views

Is the Hausdorff outer measure regular?

An outer measure $\mu^*$ is said to be regular if for every set $A \subset X$ $$\mu^\ast (A)=\inf\{\mu^*(E) : E\supset A \text{ is } \mu^\ast\text{-measurable} \}$$ To check that an outer ...
6
votes
2answers
160 views

Methods to define areas

I always thought that areas are defined by integrals, until I read Michael Spivak's Calculus p.289: The desire to define area was the motivation, both in this book and historically, for the ...
6
votes
1answer
150 views

Homogenous measure on the positive real halfline

Define a measure $\mu\not=0$ on positive real number $\Bbb R_{>0}$ such that for any measurable set $E\subset\Bbb R_{>0}$ and $a\in \Bbb R_{>0} $, we have $\mu(aE)= \mu(E)$, where ...
6
votes
2answers
253 views

Symmetry of Solution to Classical 3-Dimensional Isoperimetric Problem

A while ago I attempted to solve the classical isoperimetric problem in 3-dimensions, namely "Find the surface that has the smallest surface area for a given volume". At that time for me to write ...
6
votes
1answer
152 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 ...
6
votes
0answers
262 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
1answer
238 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 ...
5
votes
1answer
260 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!
5
votes
1answer
293 views

Hausdorff Dimension of Arbitrary Julia Set

I am looking to find an exact solution to the Hausdorff dimension of a Julia set $J(f)$ for a polynomial $f: z \mapsto z^2 +c$ given an arbitrary $c$. I know this question is known for a number of ...
5
votes
2answers
264 views

Change of variable within an integral of the Hausdorff measure

Let $T \colon \mathbb{R}^n \to \mathbb{R}^n$ be a linear map, $H^{m}$ be a Hausdorff measure. Is it true that $$ \int\limits_{T(M)} f(x) H^{m}(dx) = |\det{T}| \int\limits_{M} f(T(x)) H^{m}(dx) $$ ...
5
votes
0answers
160 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 ...
5
votes
0answers
140 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
77 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 ...
4
votes
2answers
99 views

Is the validity of measuring area by approximation an assumption of calculus?

The assumption that if you subdivide an area into more and more sub intervals, the approximation gets better and better. Has this been formally proved, or is it just intuition? Thanks!
4
votes
1answer
350 views

Lebesgue measure on normal matrices

Consider the space of $n\times n$ complex matrices, and equip it with its Lebesgue measure $dX$, seen as a $2n^2$-dimensional real vector space [edit: or better, a complex vector space (see the answer ...
4
votes
1answer
345 views

How to understand currents in geometric measure theory?

I find it is hard to catch the current, sometimes it is just the picture as its support set (if I do not miss it). What is the heart idea of the current? What are the benefits to introduce such an odd ...
4
votes
1answer
117 views

Volume is a Continuous Function

I am working on the following problem: Suppose $C \subset \mathbb{R}^d$ is a compact and non-empty set. Let $C_0 = C$ and let $C_t = \{x \in \mathbb{R}^d : d(x,C) \leq t \}$ for all $t >0$. ...
4
votes
2answers
98 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 ...
4
votes
1answer
178 views

The approximating Hausdorff measure is not Borel

This is an exercise taken from Mattila, Geometry of sets and measures in Euclidean space, chapter 4. Exercise. Let $U$ be an open ball in $\mathbb{R}^n$ ($n\ge 2$) such that $d(U)=\delta$ [here ...
4
votes
0answers
177 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 ...
4
votes
0answers
102 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
175 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 ...
3
votes
2answers
87 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 ...
3
votes
4answers
131 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)$$ ...
3
votes
3answers
325 views

Total variation of (weakly) differentiable functions

the total variation of a function $u\in L^1(\Omega)$, $\Omega\subset \mathbb{R}^n$, can be defined as $$ \sup \{ \int_\Omega u \; \mathrm{div} g \; dx:\; g \in C_c^1(\Omega,\mathbb{R}^n), \; \lvert ...
3
votes
2answers
79 views

Separability almost everywhere

Let $(X,d)$ be a metric space and $\mu$ a Borel probability measure. Suppose that for every $\epsilon>0$ we have that $\mu(B_{\epsilon }(x))=c_{\epsilon}>0$ a.e. Is this enough to show that ...
3
votes
1answer
104 views

Non-trivial Hausdorff measures for general metric spaces

For a metric space $(X,d)$ and a dimension function $\varphi:[0,\infty)\to[0,\infty)$ we can define a metric outer measure $H_\varphi$ which is $\varphi$-Hausdorff measure. Since it is a metric outer ...
3
votes
2answers
150 views

$(d-1)$-rectifiability of a boundary of compact convex set

Let us have a compact convex set $A\in \mathbb{R}^d$. Then $\delta A$ should be a $(d-1)$-dimensional rectifiable set. I don't seem to be able to show that it can be covered by a countable union of ...
3
votes
1answer
395 views

Calculating the upper Minkowski dimension of the set $\{0,1,\frac{1}{2}, \frac{1}{3}, \ldots \}$

The upper Minkowski dimension of a compact set $A$ in $\mathbb{R}$ is defined as $$ \overline{\dim}_M = \inf \{ \epsilon > 0 : \text{ there is a constant } C(\epsilon) \text{ such that } ...
3
votes
1answer
93 views

Convolution square root of a Frostman measure

A probability measure $\mu$ on $\mathbb{R}^d$ is said to be a Frostman measure if $$\mu(B)\lesssim r(B)^\alpha \ \ \ \ (1)$$ for all open ball $B$, where $r(B)$ denotes the radius and $\alpha>0$. ...
3
votes
1answer
80 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 ...
3
votes
1answer
51 views

Any two polish atomless probability spaces are isomorphic

On page 7 of Villani's Optimal Transport: Old and New (page 19 in this preprint), he states that any two polish atomless probability spaces $(\mathcal{X},\mu)$ and $(\mathcal{Y},\nu)$ are ...
3
votes
1answer
152 views

Is measure $m$ invariant under change of metric?

$\newcommand{\vol}{\operatorname{vol}}$ Let $(M^n, g)$ be a Riemannian manifold. We define $d\vol(g)$ as a canonical volume form and then integrate. It is clear that $d\vol(g)$ depends on the metric ...
3
votes
1answer
60 views

A question on estimates of surface measures

If $\mathcal{H}^s $ is $s$ dimensional Hausdorff measure on $ \mathbb{R}^n$, is the following inequality true for all $ x \in \mathbb{R}^n,\ R,t > 0 $ ? $$ \mathcal{H}^{n-1}(\partial B(x,t)\cap ...
3
votes
1answer
81 views

Reference for an integral formula

Good morning, I'm reading a paper of W. Stoll in which the author uses some implicit facts (i.e. he states them without proofs and references) in measure theory. So I would like to ask the following ...
3
votes
0answers
71 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 ...
3
votes
0answers
83 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
56 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 ...
3
votes
0answers
105 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 ...
3
votes
0answers
155 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 $\beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq C(1+|x|)^{-\gamma/2}\right\}$. The Fourier ...
3
votes
0answers
135 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 ...