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
0answers
29 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 ...
1
vote
0answers
40 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
40 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
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 ...
1
vote
1answer
77 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
43 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
1answer
66 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: ...
3
votes
0answers
57 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
36 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
196 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
38 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
357 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
141 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
268 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
167 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
42 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
295 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!
0
votes
1answer
103 views

Hausdorff dimensions of smooth but non-rectifiable curves

Smooth curves of finite length have a Hausdorff dimension of 1. How about smooth but non-rectifiable (i.e. infinite-length) curves? Are they also of Hausdorff dimension 1, or does it depend on the ...
0
votes
0answers
23 views

I cannot check $\mathcal{A}_0(X)$ is an algebra.

I'm reading introduction to the theory of currents written by Dinh.I'm confused in proposition 1.1.3. Say,$X$ is a unit disc in $\mathbb{R}^2$,$A:=[-1/2,1/2]\times [-1/2,1/2]\subset X$,then ...
0
votes
1answer
50 views

Is there a rational number describing the ratio of a volume, as a string, to a surface area?

If you were to take an arbitrary 3-dimensional shape with finite surface area, then look at the volume of that shape, turn the volume into a long cylindrical string bunched up ideally inside the shape ...
0
votes
1answer
31 views

An exercise about Lebesgue measure.

let $\{E_{n}\}_{n\in\Bbb N}$ be a sequence of measurable subsets such that $E_n \subseteq (0,1)$and let $\limsup_{n\to\infty} m(E_{n})=1$, prove that exists a subsequence {$E_{n_{k}}$} such that ...
0
votes
0answers
69 views

Linearising angle to chord length over a reasonable domain of < pi; or, how to make measuring a rock with a protractor easy

Imagine that I have a protractor and compass, and wish to use it to measure the distance between two points (potentially in three dimensional space, such as on a rock). However also being a forgetful ...
3
votes
1answer
56 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 ...
0
votes
0answers
50 views

Isometric trivialization of tangent bundle of Riemannian manifolds

Let $(M,g)$ be a Riemannian manifold. $x\in M$. We know that there is a neighborhood $U$ of $x$ we can have a isometric trivialization $\pi$ of $TM$, Given by the orthonormal frame on $U$. Formally, ...
0
votes
1answer
38 views

2-dimensional density of a cone (by Morgan's Geom. Measure Theory)

I was reading Morgan's "GMT: a beginner's guide" and I stucked on a very simple fact. I was not very familiar with Hausdorff measures, hence I have some troubles. The topic is the same of this ...
3
votes
2answers
83 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 ...
2
votes
0answers
62 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 ...
3
votes
1answer
153 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 ...
0
votes
1answer
57 views

a measurable subset of the plane with restricted sections

Is there a bounded subset $X\subset \mathbb R^2$ of positive measure such that for almost every line $L\subset \mathbb R^2$ the $1$-dimensional Hausdorff measure of $X\cap L$ is either 0 or 1? If ...
2
votes
3answers
109 views

Online reference about Geometric Measure Theory.

I would like to find an online reference about the basics of Geometric Measure Theory. The reference should treat such things as regions and isoperimetric surfaces. Can you tell me, where I can find ...
1
vote
1answer
46 views

Does the squared root $\sqrt{|\cdot|}$ belong to $BV((-1,1))$?

Does the squared root belong $\sqrt{|\cdot|}$ to $BV((-1,1))$? In an affirmative case, what is its derivative in the distributional sense, i.e., what is the Radon measure $\mu$ such that $\mu=Du$ ?
2
votes
1answer
112 views

Two Definitions of Minkowski Dimension

I'm currently reading a paper. Let $F\subset\mathbb R^n$ and $\epsilon\gt0$, the paper defined $m^s(F):=\liminf_{\epsilon \to 0}\epsilon^{s-n}\lambda(F_\epsilon)$ and $M^s(F):=\limsup_{\epsilon \to ...
1
vote
1answer
152 views

Simple questions about Hausdorff measure

Let $s>0$ and $0 < \delta \leq \infty$. For a set $E \subset R^n$ define $$ H_{s}^{\delta} (E)=\inf \left\{ \sum_i r_{i}^{s}\right\},$$ where the infumum is taken over all coverings of $E$ by ...
1
vote
1answer
45 views

Uniform Rectifiability

What is the definition of uniform rectifiability as used in the context of analytic capacity of compact sets in $\mathbb{C}$? The precise context is this paper by Mattila, Mernikov and Verdera.
3
votes
1answer
110 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 ...
1
vote
1answer
41 views

approximate tangent planes and standard tangent planes

Let $ h: U \rightarrow R^{n-m} $ be a $ C^1 $-function on $ \overline{U} $, where $ 0 \in U \subset R^m $ is an open set. Suppose $ h(0)=0 $ and $ \nabla h (0)=0 $. Then if $ M \subset R^n $ is the ...
1
vote
1answer
195 views

metric and measure on the projective space

Let $RP^n$ be the $n$-dim real projective space. I have the following four questions. What is the so called standard metric on $RP^n$? More generally, consider a metric space $M$ with an equivalent ...
1
vote
0answers
47 views

Meaningful measures for comparing infinite dimensional geometric objects

I have two infinite-dimensional convex polytopes, call them $A$ and $B$. I know that $B$ is completely contained within $A$, and I want to say something meaningful about their relative sizes. From ...
1
vote
1answer
54 views

Hausdorff measure of an embedded submanifold

Let $ M $ be a $ C^1 $- embedded n-submanifold (without boundary) of $ R^{n+k} $. Is it true that for every $ K $ compact set in $ R^{n+k} $ the n-dimensional Haussdorf measure of $ M \cap K $ is ...
4
votes
0answers
189 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 ...
1
vote
1answer
50 views

Density of an $n$-dimensional embedded submanifold

Let $ M $ be a n-dimensional embedded $ C^1 $ submanifold in $ R^{n+k} $. Let $ H^n $ be the n-dimensional Haussdorf measure of $ R^{n+k} $. I want to prove that $$ \lim_{r \rightarrow 0} ...
1
vote
1answer
103 views

change of variable for Hausdorff measure

Let $U$ be an open set in $\mathbb{R}^n$, $T:U \rightarrow \mathbb{R}^n$ be a diffeomorphism defined on $U$, $\mu$ be the $d$-dimensional Hausdorff measure, $0<d<n$. Is it true that we have the ...
4
votes
0answers
105 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 ...
2
votes
1answer
147 views

About measure theoretic interior and boundary

Reference:- Evans-Gariepy, Federer, other books and notes of geometric measure thoery. I just want to clarify whether these definitions of measure theoretic interior and boundary are correct. Given ...
4
votes
2answers
100 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!
1
vote
0answers
51 views

Approximate tangent planes and densities

I'm studying the proof of the following theorem (Simon 'Lectures on Geometric measure theory' Theorem 11.6): Theorem Let $ M \subset R^{n+k} $ be $ H^n $-measurable (where $ H^n $ is the Haussdorf ...
6
votes
1answer
153 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 ...
2
votes
1answer
196 views

The definition of $p$ capacity of a set $A\subset\mathbb{R}^n$

I am having a bit of difficult understanding the definition of the $p$-capacity of a set $A\subset\mathbb{R}^n$ and I was wondering if anyone would be able to clarify whether I have the right idea or ...
1
vote
1answer
345 views

Riemannian measure and Hausdorff measure in a general Riemannian Manifold

Let $ M $ be a Riemannian manifold and let $ \mu $ be its Riemannian measure. This is the measure obtained by Riesz reprersentation theorem such that for every continuous function with compact support ...
0
votes
1answer
213 views

Radon-Nikodým derivative with respect to the Lebesgue/Hausdorff measure is always defined

Question 1. Is it possible to say that the Radon-Nikodým derivative of locally-finite Borel measure on $\mathbb R^n$ with respect to the Lebesgue measure is always defined but may be a generalized ...