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
28 views

Let $f: [0,1] \to \mathbb R$ and $\Gamma(f)$ its graphic. Show that $\mathcal H^1(\Gamma(f)) \geq 1$.

Problem: Let $f: [0,1] \to \mathbb R$ and $\Gamma(f)$ its graphic. Show that $\mathcal H^1(\Gamma(f)) \geq 1$. Attempt: Well, if $f \equiv 0$ we get 1. Provided some sort of goodness like $f \in C^1$ ...
8
votes
1answer
259 views
+100

Surface area from indicator function

I know that the volume and the surface area of a sphere of radius $R$ are related by a derivative: $$V(R)=\frac{4}{3}\pi R^3$$ $$A(R)=4\pi R^2=\frac{\partial V(R)}{\partial R}$$ I am asking if an ...
3
votes
2answers
229 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 ...
3
votes
0answers
211 views

Is a Jordan curve encircling a finite-perimeter set rectifiable?

Let $\gamma:[0,1]\rightarrow \mathbb R^2$ be a (continuous) simple closed curve (Jordan curve). The curve is not assumed to be rectifiable, i.e. we don't assume a priori that the length of the curve ...
0
votes
1answer
29 views

Image of Lipschitz map measure zero

Let $f\colon\mathbb{R}^{n-1}\to\mathbb{R}^n$ be Lipschitz, i.e., $|f(x)-f(y)|\leq C|x-y|$ for some $C>0$. How do we show that the image $f(\mathbb{R}^{n-1})$ has Lebesgue measure zero? I can see ...
1
vote
1answer
352 views

Hausdorff Dimension of a Smooth Manifold

I read a book about fractals which stated without proof: Every $m$-dimensional $(m<n)$ smooth manifold $M$ in $\mathbb{R}^n$ has Hausdorff dimension $m$. How can we prove this?
3
votes
0answers
119 views

Can you determine the length of a curve by the lengths of its projections onto planes?

If $\,\Gamma \subset \mathbb R^n$ is $1$–rectifiable, then its Hausdorff measure is equal to its integral geometric measure. That is, $$\displaystyle\mathcal H^1\left(\Gamma\right) = ...
1
vote
1answer
42 views

Are every measure on $\mathbb{R}^{n}$ borel and/or regular?

I saw the above question in an exam paper and I am not sure how to even start. The question is true for the case of Lebesgue measure but I am not sure for arbitrary measures. I have tried looking at ...
3
votes
1answer
111 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$ ...
0
votes
1answer
79 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, ...
3
votes
3answers
253 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 ...
4
votes
1answer
103 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 ...
1
vote
1answer
356 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 ...
0
votes
0answers
16 views

Lower semi continuity for the norm of the speed

Let $\Omega$ be a smooth bounded open domain in $\mathbb R^d$. Let $\gamma_n: [0,1]\to \overline{\Omega}$ be a sequence of Lipschitz functions which converges uniformly on $[0,1]$ to a Lipshitz ...
1
vote
0answers
16 views

Bounding below Hausdorff measure of conected set

I'm trying to prove that for every connected set $E\subset\mathbb{R}$, $H^1(E)$, the Hausdorff measure is bounded below by $\text{diam}(E)$. In the answer there, it was suggested to use a Lipschitz ...
1
vote
1answer
16 views

Can we bound a Brenier map between uniform distributions with the Hausdorff distance between their supports?

Let $A,B$ be compact subsets of $\mathbb{R}^n$. Let $\mu_A$ (resp. $\mu_B$) be uniform probability measures over $A$ (resp. $B$). Then as a consequence of Brenier's theorem there is a one-to-one ...
1
vote
0answers
16 views

Identification of the normal cycle to a closed curve

I'm studying the normal cycles in Morvan's book "Generalized curvatures"; He says that the normal cycle of a domain D bounded by a smooth curve is the current ( i.e the linear continuous functional ...
0
votes
0answers
26 views

Geometrical interpretation of complex exponential integral

Coefficients of Fourier series of a function $f$ are computed by multiplying $f(x)$ by the exponential term $e^{-inx}$, then by integrating $f(x)e^{-inx}$ from $-\pi$ to $\pi$ and dividing by $2\pi$ ...
0
votes
0answers
19 views

Existence of a locally essentially unbounded integrable function

Does there exist an integrable function $f\colon [0,1]\to \mathbb{R}_+$ such that for every $0\leq a < b\leq 1$ we have $\| \chi_{(a,b)} f\|_\infty = + \infty$?
1
vote
2answers
238 views

How to correctly calculate the fractal dimension of a finite set of points?

The box-counting dimension is defined by: $\lim\limits_{\epsilon \to 0} \dfrac{N(\epsilon)}{1/ \epsilon}$ What works well if you are solving algebraically or if you can recursively generate more ...
0
votes
2answers
32 views

Non-measurable subset of a null set.

I am reading measure theory,and I am searching an example in which a measurable null set have a non-measurable subset because this is the reason that,s why we are studying about complete ...
0
votes
1answer
13 views

Characterizing isotropic measures

A Borel measure $\mu$ on $S^{n-1}$ is called isotropic if $$\int_{S^{n-1}} \langle \theta, x \rangle^2 d\mu(x)=\frac{\mu\left({S^{n-1}}\right)}{n}$$ for all $\theta\in S^{n-1}$. This means that in ...
0
votes
1answer
28 views

definition of $f$ being measurable

I am having troubles understanding the definition of a function being measurable. I have that for a measure space $(\Omega, \mathcal{F}, \mu)$ a function $f: \Omega \to \mathbb{R}$ is measurable if ...
0
votes
0answers
8 views

Uniform random samples inside bounded region

In an $n$ dimensional space I have a region bounded by pairs of hyperplanes: \begin{equation} b_j \le \sum_{i=1}^n a_{ij} x_i \le c_j, \quad\forall j=1,\ldots,m. \end{equation} We can include in those ...
1
vote
1answer
21 views

Use uniform convergence to control the derivative of function

Let $f_n$: $I:=[-1,1]\to \mathbb R$ be given, and we also assume that $f_n\in C^\infty(I)$. Assume $f_n\to 0$ uniformly in $I$, and we know $$ \limsup_{n\to\infty}\int_I\sqrt{1+(f'_n)^2}<\infty $$ ...
1
vote
1answer
63 views

Generalizing Green's Theorem

Let $\phi:[0,1] \rightarrow \mathbb{R}^2$, with $\phi(t)=(x(t),y(t))$, a function satisfying the following assumptions: (i) $x(t)$ and $y(t)$ are absolutely continuous; (ii) $\phi(0)=\phi(1)$, the ...
2
votes
0answers
66 views

Pointwise convergence of a sequence of approximate limits of BV functions.

So, let $\Omega\subset \mathbb R^2$ bounded and consider a sequence of functions $\{u_k\}_{k\in\mathbb N}\subset BV(\Omega)$ and $u\in BV(\Omega)$ such that $u_k\rightarrow u$ weakly* in $BV(\Omega)$. ...
1
vote
1answer
32 views

The level set of Sobolev function

Let $u\in W^{1,2}(\Omega)$ where $\Omega\subset \mathbb R^2$ is open bounded, smooth boundary. Moreover, we have $0\leq u\leq 1$. Let set $\Gamma$ be defined as $$ \Gamma:=\{x\in\Omega,\,\, u(x)=0\} ...
4
votes
2answers
124 views

Lipschitz continuous one-to-one mapping from subset $K\subset\mathbb{R}^n$ of positive measure to $\mathbb{R}^{n-1}$

Let $f:\mathbb{R}^n\to \mathbb{R}^{n-1}$ and $K\subseteq \mathbb{R}^n$ be a set of positive Lebesgue measure. What kind of regularity do we have to impose on $f$ (e.g., $C^1$, Lipschitz) to conclude ...
1
vote
0answers
31 views

approximate $C^1$ function by Holder function

I am trying to prove the following Lemma: Suppose $u$: $\mathcal R^N\to \mathbb R$ is $C^1$. Then for each $\epsilon>0$, there exists a $C^{1,\alpha}$ function $\tilde f$ such that $$ ...
1
vote
2answers
43 views

Example of a compact non-$G_{\delta}$ set?

For a homework assignment, I recently solved the following problem in Folland's real analysis text. Folland's Question: If $X$ is a Locally Compact Hausdorff space, and $K \subset X$ is a compact ...
2
votes
2answers
3k 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 ...
1
vote
0answers
24 views

Topologies on Spaces of k-rectifiable sets, and $C^k$ convergence

I've been thinking about topologies on the spaces of k-rectifiable sets (Hausdorff metric topology, varifold topology, etc) in $\mathbb{R}^n$, and I'm wondering if there are hypotheses under which ...
2
votes
0answers
21 views

Estimating Self-Convolution of Surface Measure on Sphere

Let $n\geq 2$, and let $\sigma$ denote the standard surface measure on the $n$-sphere $S^{n-1}$, normalized to have total measure $1$. According to the exercise at the end of Terence Tao's blog post ...
0
votes
0answers
21 views

n-1 dimensionnal Hausdorff measure and codimension 1 measure

I've been told that on a n-dimensionnal Riemannian manifold, the Hausdorff measure of dimension n-1 and the codimension 1 measure $v_{-1}$ (defined below) are mutually absolutely continuous. I've ...
7
votes
1answer
188 views

Uniform estimate for the boundary area of the union of closed unit balls

Let $A$ be the union of closed unit balls around countable many points $\{v_i\}\in\mathbb R^n$. If $\{v_i\}$ are chosen from a fixed unit ball, is it true that the boundary of $A$ has area $< ...
5
votes
0answers
248 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 \begin{equation*} \beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq ...
0
votes
1answer
39 views

A $\mathcal{C}^{1}$ differentiable domain and Hausdorff dimension estimates

Let us consider an open connected domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary. Suppose now, that there exists $R>0$ such that the set $\partial E \cap ...
5
votes
2answers
169 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 ...
2
votes
1answer
45 views

Push forward of the Lebesgue measure is the Haar measure of the Carnot group

I have the following problem. I have a Carnot group $(\mathbb G,*)$ which is a connected and simply connected Lie group whose Lie algebra $\mathfrak g$ is stratified as $\mathfrak g= ...
3
votes
0answers
60 views

The projection of density 1 point on a rectifiable set.

This post has also been posted here. Please see the comment on the linked page, useful information! Let $\Gamma\subset \mathbb R^N$ be $\mathcal H^{N-1}$-rectifiable. Then we know that $\mathcal ...
1
vote
1answer
52 views

What is the definition of Compact rectifiable set?

In dimension $\mathbb R^N$, we say a set $S$ is $N-1$-rectifiable if there exists a countably many $C^1$ hyper surface $\Gamma_i$ so that $$ \mathcal H^{N-1}(S_u\setminus \bigcup\Gamma_i)=0 $$ Now I ...
1
vote
1answer
31 views

Generalizing the Cantor Set to the $n$-dimensional plane

I am interested in how to describe an $n$-dimensional cantor set. I think that it may be a good idea to develop the Cantor Set on the two-dimensional plane at first, but I am having issues figuring ...
4
votes
1answer
117 views

Example of a Borel measure, which is not Borel-regular

I have asked a question to find four types of outer measures here, and I could find three of the four examples. We call an outer measure $\mu: \mathcal P(\mathbb R^n) \to [0, \infty]$ Borel, if ...
0
votes
1answer
21 views

Finding the similarity dimension of a variation of the Cantor Set.

If we take the Cantor set and instead of removing the interval $[1/3, 2/3]$, we remove the open interval $[x,1-x]$, with $0<x<1/2$, will the similarity dimension change? What I think is that we ...
2
votes
1answer
32 views

Inclusions for certain types of measures

Let's use the following definitions: Definition. A measure $\mu: \mathcal P(X) \to [0, \infty]$ is what some authors call a outer measure, i.e. (1) $\mu(\emptyset) = 0$. (2) If $A, A_k ...
2
votes
1answer
28 views

Measure of convex hulls

I'm not an expert of this kind of questions, but I can't give a satisfactory answer to the following question. Pick $x_1\dots x_n \in \mathbb{R}^m$. Is there a formula for the measure of the ...
2
votes
1answer
17 views

The $\mathcal H^{N-1}$ measure of the projection of a curve is always less then itself

Let $\Gamma \subset \mathbb R^N$ be a $\mathcal H^{N-1}$-rectifiable set such that $\mathcal H^{N-1}(\Gamma)<\infty$. Let $P(\Gamma)$ be the projection of $\Gamma$ onto the hyperplane $\{x_N=0\}$. ...
1
vote
1answer
78 views

Use of a Covering theorem

where I cannot see how the highlighted equation has been obtained. I cannot understand how the setminus operation has been justified. The books gives no justification.
1
vote
1answer
34 views

Hausdorff dimension calculation related to Jarnik's theorem

Let $$F=\{x \in R:||qx||\le2q^{1-\alpha}\log q \text{ for infinitely many } q \in \mathbb{R}\}$$ Show for $\alpha>2$, $\dim_H F\le 2/\alpha$. Jarnik's theorem (By Falconer) says: Suppose ...