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

2
votes
1answer
48 views

Can I choose this kind of neighborhood of a point on a curve?

$\textbf{Question}$ Suppose $f:[0,1]\rightarrow\mathbf{R}^{2}$ is a continuously differentiable, 1-1 function. If $f(a)\in f([0,1])$, then should there be some open ball $B(f(a),\epsilon)$, centered ...
0
votes
0answers
27 views

On the $r$-neighborhood of a set in $\mathbb{R}^2$.

Suppose $A$ is a simply connected open set in $\mathbb{R}^2$ with rectifiable Jordan boundary. Let $\gamma:[0,1] \rightarrow \mathbb{R}^2$ be the parametrization of $\partial A$. Let $A^r$ denote the $...
2
votes
0answers
92 views

Area and coarea formula and its application, change of variables

I have a question about an application of area and coarea formula and change of variables. Let $D$ be a bounded and connected open subset of $\mathbb{R}^{d}$ with $C^{1}$-boundary. Define $D_{\...
14
votes
2answers
218 views

$f : \mathbb{R} \to \mathbb{R}$ (Lipschitz) continuous implies $f(A)$ is Borel for all Borel $A$.

Full question: Let $(\mathbb{R}, \mathfrak{M}, m)$ denote the measure space $\mathbb{R}$ equipped with the Borel $\sigma$-algebra and the Lebesgue measure. Suppose $f : \mathbb{R} \to \mathbb{R}$ is ...
2
votes
0answers
34 views

Polar coordinates, bounded domain with $C^{1}$ boundary

I have a question about a integral on a surface. It is well known that for any Integrable function $f$ defined on $\mathbb{R}^{n}$, it holds that \begin{equation} (1) \quad \frac{d}{dr} \int_{B(0,r)}...
3
votes
1answer
14 views

Function/Measure Notation in Geometric Measure Theory

I'm trying to understand a formula of this kind $$ ...=\phi_\sharp \left ( f \mathcal{H}^n \right ) $$ where $\mathcal{H}^n$ is the n-dimensional Hausdorff measure on a measure space $X$, $\phi : X ...
0
votes
1answer
14 views

Derivative of volume of given set

As picture below ,how to compute the $\partial_t |\Omega_t|$ ? The picture below is from the 32 page of Maximum principles and the method of moving planes. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~...
1
vote
0answers
27 views

Can we always extract a proper Hausdorff measurable subset from a Hausdorff measurable set?

This question has been post in here. Let $\Gamma\subset \Omega\subset \mathbb R^N$ be such that $\mathcal H^{N-1}(\Gamma)<+\infty$ (this also implise that $\Gamma$ is Hausdorff measurable). ...
3
votes
0answers
50 views

Constructing a null set and a Lipschitz function nowhere differentiable on it

I'm trying to solve the following exercise. Now, Rademacher's theorem says that locally Lipschitz functions are $\mathcal L^N$-a.e. differentiable, so $E$ must be a null set, and this is clearly ...
2
votes
1answer
36 views

$f : B \to \mathbb R^n$ such that $\mathcal L^n(N)=0 \implies \mathcal L^n(f(N))=0$

Let $B$ an open ball in $\mathbb R^n$. Let $f:B \to \mathbb R^n$ measurable and satisfy the property that $N \subset B, \mathcal L^n(N)=0 \implies \mathcal L^n(f(N))=0$, where $\mathcal L^n$ is the ...
2
votes
1answer
40 views

Minimum of $F$ over Finite Perimeter Sets in $\mathbb R^N$

Problem: Let $G$ be a bounded Borel set. Let $X$ be the set of finite perimeter sets in $\mathbb R^N$ and $F: X \to \mathbb R \cup \{+\infty\}$ defined as \[ F(E)= \begin{cases} Per(E) \hspace{1,...
1
vote
0answers
20 views

Help understanding proof of Frostman's Lemma - issue technical or termonological?

I was reading Hochman's proof of Frostman's lemma in his online lecture notes here and got hung up. I'm not sure if I'm missing a part of the proof or I'm misunderstanding the theorem itself. The ...
1
vote
1answer
63 views

Using small spherical balls to fill a cube and also find volume of the cube

Is it possible to calculate volume of a cube (with volume $L^3$) by filling it with small balls each with a radius $r_N$ and the balls are disjoint. Let the number of balls be $N$ $$\lim\limits_{N\...
0
votes
1answer
33 views

Two Borel disjoint sets such that the perimeter of union is less than the sum of perimeters

Exercise: Find two Borel disjoint and bounded sets $E, F \subset \mathbb R^n$ such that $\operatorname{Per}(E) + \operatorname{Per}(F) > \operatorname{Per}(E \cup F)$. ($\operatorname{Per}(A)$ is ...
0
votes
0answers
42 views

Perimeter of the Unit Ball in $\mathbb R^n$

Exercise: Calculate the perimeter of the unit ball in $\mathbb R^n$, i.e. show that $\mathcal H^{n-1}(S^{n-1})=n\omega_n$, where $\mathcal H^{n-1}$ is the Hausdorff measure of dimension $n-1$ and $\...
1
vote
1answer
34 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$ ...
0
votes
1answer
58 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 ...
3
votes
0answers
388 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 $$...
1
vote
1answer
45 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
0answers
127 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) = \int_{G\left({1,\...
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
17 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
19 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
19 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
1answer
28 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
20 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$?
0
votes
1answer
16 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
2answers
34 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 measure....
12
votes
1answer
327 views

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 ...
0
votes
1answer
30 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
9 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
22 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
73 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
67 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
36 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\} $...
1
vote
0answers
35 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
49 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 $...
1
vote
0answers
25 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
22 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
22 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 ...
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 ...
2
votes
1answer
59 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= V_1\oplus\dots\...
3
votes
0answers
62 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 H^{N-...
4
votes
1answer
133 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 ...
2
votes
1answer
29 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\}$. ...
0
votes
1answer
41 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 B_{R}(...
1
vote
1answer
36 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 $\...
-1
votes
0answers
64 views

fractal curve and fractal set

Would it be correct to say that all fractal curves are fractal sets, but not all fractal sets are fractal curves? If that is correct, what would be an example of a fractal set that is not a fractal ...
1
vote
0answers
39 views

Hausdorff Measure under linear maps

We have a linear map $L : \mathbb R^n \rightarrow \mathbb R^m $ ($m\geq n$) I have two questions: How does one prove that $\mathcal H^n (L(B(x,r)))=\mathcal L^n (O^* \circ L(B(x,r)))$? (We have ...