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

25
votes
1answer
732 views

Which sets are removable for holomorphic functions?

Let $\Omega$ be a domain in $\mathbb C$, and let $\mathscr X$ be some class of functions from $\Omega$ to $\mathbb C$. A set $E\subset \Omega$ is called removable for holomorphic functions of class ...
0
votes
1answer
24 views

Dimension of rectifiable curve

Suppose $\Gamma$ is a rectifiable curve (means a curve with finite length), I want to prove that the Hausdorff measure of the intersection of it with closed subset $A\subset \mathbb{R}$ is 0, i.e ...
6
votes
1answer
331 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 ...
1
vote
0answers
53 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 ...
0
votes
0answers
32 views

Proving that plane - 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$. Denote the orthogonal projection of the set from the ...
1
vote
1answer
25 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
30 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
11 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 = ...
1
vote
2answers
34 views

A conjecture about lines and points in the plane

Let $ l_1, l_2, \ldots$ be an infinite sequence of lines in the plane, and let $(a_1, b_1), (a_2, b_2), \ldots$ be an infinite sequence of pairs of points such that $a_i, b_i \in l_i$ and $a_i \neq ...
2
votes
0answers
61 views

Basic Fourier analysis explanation needed wrt a function $f$ and a finite Borel measure $\mu$

An extract from Chapter 12 of Matilla's Geometry of Sets and Measure on Euclidean Spaces I do not believe that formulas (12.1-12.3) are easily seen to be valid. I do not understand what ...
0
votes
0answers
14 views

Definition of an “arc” and possible error in proof of length of projection of regular $1$-set in $\mathbb{R}^2$.

Here is an extract from Falconer's The Geometry of Fractal Sets. I cannot see how an "arc" is defined and was wondering whether someone could help me with the definition. Also if $ \begin{align} ...
1
vote
1answer
43 views

Is this c the same as that c?

Are the highlighted $c$'s the same or should it be $c_1$ and $c_2$.
1
vote
0answers
31 views

Hausdorff dimension of a ball

Let $\{f_1,\dots,f_m\}$ be an IFs and $E_n$ be the associated self similar set. It's known that $E_n$ is a union of disjoint balls $B(x_i,R\cdot r^n)$ (balls with same radius but not the same ...
1
vote
1answer
29 views

Proving that the Bernoulli self similar measure is doubling

Let $\mu_p$ a measure which is the push forward of the bernouli product measure $(p,1-p)^\mathbb N$. Let S=$\{f_1,\dots f_m\}$ an IFS, a system of functions with attractor $K$, means ...
1
vote
2answers
38 views

Estimating the missing points of a 3D point cloud

Consider a cloud of N points (forming a smooth 3D object), in which n points are missing. Also, consider that there is no prior knowledge about the original shape of the point cloud. The only ...
0
votes
0answers
17 views

Existence of Lebesgue measure in parametric function space

I am thinking about this question but I can not solve. The question is: Can I define Lebesgue measure in the space of parametric functions and if the answer is yes what is that Lebesgue measure? Could ...
1
vote
1answer
26 views

A question about the Integral geometry and geometric probability.

In the book: Integral Geometry and Geometric Probability, (p16-17), the author proved that the measure of randomly throwing three points P1, P2, and P3 on the plane such that the circumdisk and the ...
0
votes
0answers
28 views

Showing that $\mathcal{H}^s$ is Borel regular (assuming we know already know that $\mathcal{H}^s$ is measure)

I am trying to show that $\mathcal{H}^s$ (s-dimensional Hausdorff measure) is Borel regular. I am using the defintion $\mathcal{H}^s_{\delta}(F)=inf \Bigg\{ \sum_{i=1}^{\infty}|V_i|^s : \{V_i\} \text{ ...
1
vote
1answer
27 views

Show that an irregular 1-set in the plane is totally disconnected

A $1$-set is a Borel set such that $0 < \mathcal{H}^1(A) < \infty$, where $\mathcal{H}^s$ is the Hausdorff measure. Let $A$ be an irregular $1$-set in the plane. Deduce from the theorem below ...
2
votes
2answers
89 views

Evaluating the limit for the Minkowski content of $F_{\alpha}=\{0,1,\frac{1}{2^{\alpha}},\frac{1}{3^{\alpha}},\frac{1}{4^{\alpha}},\dots\}$.

The Minkowski content is defined as $\displaystyle M_{\beta}(A)=\lim_{\delta \rightarrow 0} \frac{\mu(A_{\delta})}{(2\delta)^{1-\beta}}$ where $0 < \beta < 1$, $A \subset \mathbb{R}$, and ...
1
vote
1answer
36 views

Proving that a mass distribution has positive Lebesgue measure

I am confused in this proof about how we obtain $\int f(u) \, d\mu(u) = \int f(u)g(u) \, d\mu(u)$ and how Plancherels theorem has been applied in $(6.6)$. Furthermore, I cannot understand how if ...
0
votes
1answer
26 views

Hausdorff measure and Ahlfors regular set

Let $E \subset \mathbb{R}^n$ be a closed set, not reduced to a point, and let $\mu$ be a (positive Borel) measure supported on $E$. If there is a constant $C \ge 1$ such that $C^{-1} r^d ≤ μ(E \cap ...
1
vote
0answers
80 views

Von Neumann and Hausdorff continuous dimensions are related?

Von Neumann in his book Continuous Geometry introduced (in a suitable lattice) a dimension function that has a continuous range. The definition of a dimension function is axiomatic: see Continuous ...
0
votes
0answers
10 views

Ahlfors regular

Let F be a closed set of $R^n$. Let $\mu$ be a borel regular measure on $R^n$. Let there be a constant C>0 such that for all $x\in F$, all $r\in (0,1]$ and all $\lambda \geq 1$ with $\lambda r \leq ...
0
votes
1answer
29 views

Find $\dim_H \operatorname{proj}_\theta E$ where is the circular Cantor set in the complex plane

$\newcommand{\proj}{\operatorname{proj}}$ $\dim_H(\cdot)$ is the Hausdorff dimension of a set. Let us denote the line through the origin in $\mathbb{R}^2$ which makes an angle of $\theta$ with the ...
0
votes
1answer
45 views

Showing that a precursor to the packing measure (on $\mathbb{R}^n$) is not a measure

I am trying to prove the highlighted sentence. What countable dense sets should I consider? and how am I trying to prove this is not a measure? I am using the usual definition of a measure (and do ...
1
vote
1answer
36 views

Use of Banach-like Covering theorem

where I cannot see how the highlighted equation has been obtained. I cannot understand how the setminus operation has been justified.
0
votes
1answer
44 views

Hausdorff Dimension for Brownian motion over [0,1]

I am trying to calculate Hausdorff dimension for the trajectory of Brownian motion over $[0,1]$. I read the book of Morters and Peres and know that the dimension will be $\frac{3}{2}$. I tried to use ...
1
vote
0answers
18 views

Crofton formula in higher dimension

In the plane, the Crofton formula states that for a rectifiable plane curve $\gamma$, we have $\int |line \cap \gamma| d\Omega_1=2\times length(\gamma)$ where $d\Omega_1$ is the ...
1
vote
0answers
31 views

Hausdorff measures and densities

I've been stuck on this one for a while now. It's problem 2.4 from Falconer's "The geometry of fractals" Given an $\mathcal{H}^{s}$ measurable subset $E\subset \mathbb{R}^n$ with ...
1
vote
0answers
26 views

Finding countable compact set s.t $\underline{\dim}_M(K)\lneq\overline{\dim}_M(K)$

Im trying to find a countable compact set such that $$\underline{\dim}_M(K)\lneq\overline{\dim}_M(K)$$ I tried thinking about Koch curve, sierpinskii gasket and carpet, Bedford-McMullen carpet and ...
2
votes
0answers
28 views

A covering argument for metric Jacobian

Given a Lipschitz map between Carnot Groups $ f : G_1 \to G_2$, with homogeneous dilations $ \delta^1_s, \delta^2_s$, we have the almost everywhere Pansu derivative $ D_H f(x)(y) = \lim_{s\to 0} ...
0
votes
1answer
21 views

Understanding the following expression in an integration

I cannot understand how the parts of this proof circled in red are obtained.
1
vote
1answer
49 views

A question on Hausdorff measure

This question is part of a homework assignment. Considering the hausdorff measure $\mathcal{H}_{2}$ on $\mathbb{R}^{3}$, I need to compute the measure of the unit cube: $A = \{(x,y,z) \in ...
0
votes
1answer
21 views

The existence of a measure of finite energy implies a lower bound on Hausdorff dimension

What is the significance of $\mu(x)=0$ and the use of continuity this proof? I am not quite sure about the general direction in the second paragraph.
2
votes
2answers
217 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 ...
0
votes
1answer
22 views

Showing the equivalence of different definitions of the box-counting dimension

I am trying to prove the statment "by taking logarithms...". $\lim\limits_{\delta \rightarrow 0} \frac{log(N_{4\delta}(F))}{log(\frac{1}{4 \delta})} \leq \lim\limits_{\delta \rightarrow 0} ...
0
votes
0answers
43 views

Standard reference for “coarea formula”?

Is there a standard analysis reference for the first formula given in these lecture notes: $$\int_D h(x)\,dx = \int_{-\infty}^\infty dt\int_{D_f(t)}\frac{h(y)}{|\nabla f(y)}\,dS_y$$ where $dS_y$ is ...
2
votes
1answer
30 views

question on existence of open set

Let $U$ be a bounded open set in $\mathbb{R}^n$ and $A$ be an open subset of $U$. Fixed $\epsilon >0$. Does there exist an open set $B \subset U$ such that $B \cap \overline{U} \ne \emptyset$ and ...
1
vote
1answer
39 views

Hausdorff dimension of a Modified Cantor like set

Suppose you have the unit interval $[0,1]$. For the first iteration you remove the segment $(1/5,3/5)$. So you are left with two intervals of lengths $1/5$ and $2/5$. You now repeat the process on the ...
2
votes
0answers
37 views

Show the Hausdorff dimension of a set of numbers with digit 5

I can show heuristically that the answer is $log(9)/log(10)$ but I am struggling to prove this rigorously. This is using the construction that after the first iteration we have $9$ intervals, length ...
1
vote
1answer
33 views

Relationship between the Hausdorff dimension and the Box-counting dimension

In Fractal Geometry by Falconer the author writes: If $1<\mathcal H^s(F)=\lim_{\delta\to0}\mathcal H_\delta^s(F)$ then $\log N_\delta(F)+s\log\delta>0$ if $\delta$ is sufficiently small. ...
0
votes
1answer
16 views

Bi-Lipschitz invariance of the box-counting dimension.

I would like to prove that the box counting dimension is invariant under a bi-Lipschitz transformation. We have that $f$ is bi-Lipschitz if there exists $c_1, c_2$ such that $0 < c_1 \leq c_2 < ...
0
votes
1answer
34 views

Problem in the proof of the dimension of the Cantor set

From the proof of the Hausdorff dimension of the middle third Cantor set. I cannot understand the last sentence in this proof. I cannot see how we have counted $2^j \leq \sum_i 2^j3^s|U_i|^s$
0
votes
1answer
46 views

Hausdorff measure of the middle third Cantor set and Compactness

In the proof of the Hausdorff dimension of the middle third cantor set I cannot understand why we need the following underlined statement. I cannot understand why we need only consider closed ...
1
vote
1answer
42 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
52 views

Prove that this function is Borel measurable

Prove that if $s\ge 0$, $f:\mathbb{R}^n\to\mathbb{R}^m$ is continuous and $K\subset\mathbb{R}^n$ is compact, then the function $$ F:\mathbb{R}^m\to [0,\infty]\\y\mapsto H^{s}(K\cap f^{-1}(\{y\})) $$ ...
0
votes
1answer
26 views

Two Radon measures and mutual singularity

Let $\mu$ and $\lambda$ be Radon measures on $\mathbb{R^n}$. Show that $\mu$ and $\lambda$ are mutually singular iff $D(\mu,\lambda,x)=\infty$ for $\mu$ almost all $x \in \mathbb{R^n}$. I have looked ...
1
vote
0answers
12 views

$ H^{n-1} (spt \mu _E - \partial ^{*}E)=0 ?$

In Federer's Theorem, $ H^{n-1} (\partial ^{m}E - \partial ^{*}E)=0 $, where $E$ is a set of finite perimeter in $ \mathbb R^n $, $\partial ^{m}E$ is the measure theoretical boundary of E, and ...
1
vote
1answer
29 views

Measure defined in an atypical way

I was reading a paper when I found this ($\partial \Omega$ refers to the boundary of $\Omega$ and $\nabla$ to the gradient operator,$\nabla f = (\partial_{i}f)_{i} $ ). Let $\Omega \subset ...