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

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
19 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
97 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 $J=[x,x+h]$, ...
4
votes
0answers
134 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
34 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
39 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$ such ...
1
vote
2answers
52 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
71 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 $\mathcal{B}(X)\...
3
votes
2answers
206 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
27 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
100 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
114 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$ submanifold....
29
votes
2answers
637 views

Prove or disprove a claim related to $L^p$ space

The following question is just a toy model: Let $f:[0,1] \rightarrow \mathbb{R}$ be Lebesgue integrable, and suppose that for any $0\le a<b \le1$, $$\int_a^b |f(x)|dx \le \sqrt{b-a}$$ then prove ...
1
vote
1answer
38 views

Differences in defining the packing (outer) measure

The definition of a packing measure in Falconer's Fractal geometry is given by I am assuming that $\mathcal{P}^s(F)$ as defined in 3.24 is an outer measure (this is not stated in the book). Now ...
4
votes
0answers
43 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 ...
7
votes
0answers
150 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 ...
0
votes
0answers
50 views

Slicing rectifiable sets with maps into the sphere

Notation and Context (Might not be helpful) Let $S\subset\mathbb{R}^n$ be a countably $\mathcal{H}^{M}$-rectifiable set. If $f:\mathbb{R}^n\to\mathbb{R}^k$ is a Lipschitz function, then we can find ...
-1
votes
1answer
113 views

Prove the set is Jordan- measurable and find the appropriate Jordan measure (volume) of the set V.

Prove the set is Jordan- measurable and find the appropriate Jordan measure (volume) of the set V. $$V= \{ (x,y,z)|x^2+y^2\geq 1, x^2+y^2\leq2x, x^2+y^2+z^2 \geq 4, x+y+z\leq 8\} $$ I'm not sure if ...
1
vote
1answer
152 views

Image of $A\subset \mathbb R^d$ under a Lipschitz function is $H^d$ measurable.

I really need an help with the following exercise. Suppose that $A\subseteq \mathbb R^d$ is Lebesgue measurable. Let $f\colon A \to \mathbb R^k $ be a Lipschitz function. Show that $f(A)$ is $H^d$ ...
1
vote
1answer
58 views

Hausdorff measure of $f(A)$ where $f$ is a Holder continuous function.

Let $f\colon \mathbb R^d\to \mathbb R^k$ be a $\beta-$ Holder continuous function ($\beta \in (0,1)$) and $A\subset \mathbb R^d$. As for a Lipschitz function $g$ it holds that $H^s(g(A))\leq Lip(g)^s ...
1
vote
1answer
16 views

$H^s(A)=0 \iff H^s_\infty(A)=0$

I have the following exercise: Show that $H^s(A)=0 \iff H^s_\infty(A)=0$ for $A\subset \mathbb R^d$. Here $H^s(A)$ is he Hausdorff measure of the set $A$, so $H^s(A):=\lim_{\delta\to 0^+} H^s_\delta(A)...
1
vote
0answers
49 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 ...
0
votes
2answers
71 views

Bounded bessel functions in an s-set projection proof

The following is an extract from Falconer's Geometry of Fractal Sets about the proof of: "...Using the definition of a Bessel function $J_0=\frac{1}{2\pi}\int^{2\pi}_0 \cos(u \cos \theta) d\theta$.....
0
votes
1answer
22 views

Easy argument in Lemma of Corea formula

I don't understand a presumably easy argument in my textbook. Let $L: \mathbb R^n \to \mathbb R^m$ be a linear map, $n \geq m$, $A \subset \mathbb R^n$ $\lambda^n$-measurable. We assume that $\dim L(\...
1
vote
1answer
85 views

Prove the uniformity of the Cantor/Lebesgue function defined on $A^c$ where $A$ is a Cantor set on $[0,1]$

I am reading Lebesgue Integration on Euclidean Space by Frank Jones. My question is specifically regarding Chapter 4, Section C titled "The Lebesgue Function Associated with a Cantor Set". The author ...
0
votes
2answers
57 views

Steiner symmetrization of Lebesgue measurable set

I'm reading a proof in "Evans / Gariepy: Measure theory and fine properties of functions" of the following statemant: Theorem: Let $A \subset \mathbb R^n$ be $\lambda^n$-measurable, $a \in \mathbb ...
3
votes
2answers
233 views

Geometric Series with coin tosses

Suppose you toss a coin and observe the sequence of $H$’s and $T$’s. Let $N$ denote the number of tosses until you see “$TH$” for the first time. For example, for the sequence $HTTTTHHTHT$, we needed $...
0
votes
1answer
43 views

Understanding integral equation with locally integrable function

I'm reading a proof in a book and don't understand a crucial step. So we have $f \in L^1_{\text{loc}}(\mathbb R^n)$ and $\phi \in C_c(\mathbb R^n)$. Now $\mu$ is a Radon measure, such that $$ \mu(A) ...
1
vote
1answer
68 views

Bounding dimension of IFS

Given the IFS $\{\frac x {2+x},\frac 2 {2+x}\}$ ($0\le x \le 1$) with attractor K prove that $0.53<\dim_HK<0.8$ I thought using the results from my last question by saying $$\bigg|\frac{2}{2+y}...
0
votes
1answer
120 views

Proving ineqalities for the similarity dimension

a. Let $K$ be the attractor of the IFS $\{f_1,\dots f_n\}$ which satisfies SSC (i.e $f_i(K)\cap f_j(K)=\emptyset\forall i\neq j$) where for all $i, c_i$ such that $ 1\le i\le n, \space 0<c_i<1$ ...
0
votes
1answer
97 views

Upper Minkowski content and finite Hausdorff measure

Does someone know an example of a set $E$ with positive finite $s$-Hausdorff measure, Minkowski dimension $s$, and infinite $s$-dimensional upper Minkowski content ? The $s$-dimensional upper ...
1
vote
1answer
66 views

Minkowski dimension behaviour of sets with positive finite Hausdorff measure.

It is (rather) well known that the set \begin{equation*} E=\{k^{-1},k\in\mathbb{N}^{*}\} \end{equation*} has box-dimension $1/2$ and Hausdorff dimension $0$. However $H^{0}(E)=|E|=+\infty$. Is it ...
0
votes
0answers
49 views

Sard's Theorem with different Measures

From what I can tell Sard's theorem is formulated in terms of the Lebesgue measure. Is there a form of Sard's theorem for more general measures (in particular, those which are not absolutely ...
1
vote
0answers
59 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
1answer
53 views

Prove carpet has positive Hausdorff measure in its dimension

Given $D\subset\{0,1,2,\dots n-1\}\times\{0,\dots,m-1\}$, let $$K(D)=\{\sum_{k=1}^\infty(a_kn^{-k},b_km^{-k}):(a_k,b_k)\in D\forall k\}.$$ Show that if $D$ has uniform horizontal fibers (i.e. the ...
4
votes
0answers
85 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 B^{...
1
vote
1answer
60 views

Differentiation theorem for Radon measures

I have trouble to understand a detail in the proof of the following Theorem: Theorem: Let $\nu, \mu: \mathcal P(\mathbb R^n) \to [0, \infty]$ be outer Radon measures, such that $\nu \ll \mu$. Then ...
1
vote
2answers
59 views

A property of Radon Measures

Let $\mu: \mathcal P(\mathbb R^n) \to [0, \infty]$ be an outer Radon-measure. This means that every Borel-set $B \subset \mathbb R^n$ is $\mu$-measurable, $\mu$ is Borel-regular, i.e. for every set $A ...
2
votes
1answer
22 views

$\iint |x-y|^{-t} \,d\mu\, d\mu < \infty$ iff $t<1$

Consider the measure space $([0,1], \mathcal{L}([0,1]), \mu)$, where $\mu$ is the restriction of the Lebesgue measure to the closed interval $[0,1]$. I wish to show $\iint |x-y|^{-t} \,d\mu\, d\mu <...
0
votes
0answers
58 views

Poincaré inequality by capacity estimate.

Let $(X,d,\mu)$ be a complete metric space with a doubling measure $\mu$. For any ball $\mu(B)< \infty$ and $\mu(A)=\sup\{\mu(K);K\subset A, K \text{ compact}\}$. For any two closed disjoint ...
1
vote
0answers
237 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 \...
0
votes
1answer
62 views

A counterintuitive construction: finely covering a horizontal strip with vertical bands

Let $Q:=[0,1]^2$ and suppose we have a horizontal strip $S=\{\alpha\le y\le\beta\}\cap Q$ inside it (with $0\le\alpha<\beta\le 1$). We want to cover $S$ in an accurate way with vertical bands: ...
2
votes
0answers
302 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 E_t(u)\|(\Omega)\...
0
votes
0answers
212 views

The level set of Lipschitz functions

Suppose $u$: $R^N\to R$ is lipschitz, then do we have a.e. level set of $u$ has Lipschitz boundary? Is this anything to do with Sard theorem? Sard theorem states that a.e. Level set of smooth ...
1
vote
0answers
80 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 middle-...
1
vote
1answer
47 views

Fractal Dimension of $C_{\frac{1}{3}}\times[0,1]$

I wonder what is the dimension of the fractal set given by the product of the unit interval $[0,1]$ by the thirds-cantor-set ($C_\frac{1}{3}=\bigcap_n C_n$ where $C_0=[0,1],C_1=[0,\frac 1 3]\cup[\frac ...
3
votes
1answer
44 views

Fubini type results for Hausdorf dimension?

Suppose that I have a stack of hyperplanes in Euclidean space $\mathbb{R}^n$, let's call each plane $P_{a, x}=\{y\in\mathbb{R}^n\mid \langle y, x\rangle=a\}$ Suppose that a measurable subset $A$ of $\...
1
vote
0answers
64 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 = \int_{\mathbb{R}^...