Hausdorff measures, Hölder continuous maps and self-similar fractals

1993 ◽  
Vol 114 (1) ◽  
pp. 37-42 ◽  
Author(s):  
Miguel-Angel Martin ◽  
Pertti Mattila
Keyword(s):  
Lebesgue Measure ◽  
Hausdorff Measures ◽  
Hölder Continuous ◽  
Density Result ◽  
Almost Everywhere ◽  
Continuous Maps ◽  
Self Similar ◽  
Natural Parametrization ◽  
Dimensional Lebesgue Measure ◽  
Totally Disconnected

Let f: A → ℝn be Hölder continuous with exponent α, 0 < α ≼ 1, where A ⊂ ℝm has finite m-dimensional Lebesgue measure. Then, as is easy to see and well-known, the s-dimensional Hausdorif measure HS(fA) is finite for s = m/α. Many fractal-type sets fA also have positive Hs measure. This is so for example if m = 1 and f is a natural parametrization of the Koch snow flake curve in ℝ2. Then s = log 4/log 3 and α = log 3/log 4. In this paper we study the question of what s-dimensional sets in can intersect some image fA in a set of positive Hs measure where A ⊂ ℝm and f: A → ℝn is (m/s)-Hölder continuous. In Theorem 3·3 we give a general density result for such Holder surfacesfA which implies for example that Hs(E fA) = 0 for any totally disconnected self-similar set. E in this situation. In Theorem 32 we shall first show that such fA has positive s-dimensional lower density H8 almost everywhere.

ON MULTIDIMENSIONAL ω-CHAOS

2006 ◽  
Vol 16 (03) ◽  
pp. 737-740 ◽  
Author(s):  
JOZEF BOBOK
Keyword(s):  
Lebesgue Measure ◽  
Continuous Maps ◽  
Dimensional Lebesgue Measure

Following the question of Smítal and Štefánková we show that there exist continuous maps of [0,1]n, n=2,3,… possessing an ω-scrambled set of the full n-dimensional Lebesgue measure.

Consistency conditions for a finite set of projections of a function

1979 ◽  
Vol 85 (1) ◽  
pp. 61-68 ◽  
Author(s):  
K. J. Falconer
Keyword(s):  
Lebesgue Measure ◽  
Convex Subset ◽  
Compact Convex ◽  
Unit Vector ◽  
Compact Convex Subset ◽  
Finite Collection ◽  
Finite Set ◽  
Almost All ◽  
Dimensional Lebesgue Measure ◽  
Unit Vectors

Let H(μ, θ) be the hyperplane in Rn (n ≥ 2) that is perpendicular to the unit vector 6 and perpendicular distance μ from the origin; that is, H(μ, θ) = (x ∈ Rn: x. θ = μ). (Note that H(μ, θ) and H(−μ, −θ) are the same hyperplanes.) Let X be a proper compact convex subset of Rm. If f(x) ∈ L1(X) we will denote by F(μ, θ) the projection of f perpendicular to θ; that is, the integral of f(x) over H(μ, θ) with respect to (n − 1)-dimensional Lebesgue measure. By Fubini's Theorem, if f(x) ∈ L1(X), F(μ, θ) exists for almost all μ for every θ. Our aim in this paper is, given a finite collection of unit vectors θ1, …, θN, to characterize the F(μ, θi) that are the projections of some function f(x) with support in X for 1 ≤ i ≤ N.

HAUSDORFF MEASURES OF A CLASS OF MORAN SETS

Fractals ◽  
2020 ◽  
Vol 28 (03) ◽  
pp. 2050053
Author(s):  
XIAOFANG JIANG ◽  
QINGHUI LIU ◽  
GUIZHEN WANG ◽  
ZHIYING WEN
Keyword(s):  
Hausdorff Dimension ◽  
Hausdorff Measure ◽  
Hausdorff Measures ◽  
Dimensional Hausdorff Measure ◽  
Self Similar

Let [Formula: see text] be the class of Moran sets with integer [Formula: see text] and real [Formula: see text] satisfying [Formula: see text]. It is well known that the Hausdorff dimension of any set in this class is [Formula: see text]. We show that for any [Formula: see text], [Formula: see text] where [Formula: see text] denotes [Formula: see text]-dimensional Hausdorff measure of [Formula: see text]. For any [Formula: see text] with [Formula: see text] there exists a self-similar set [Formula: see text] such that [Formula: see text].

STARLIKENESS AND CONVEXITY OF CAUCHY TRANSFORMS ON REGULAR POLYGONS

2020 ◽  
pp. 1-12
Author(s):  
PENG-FEI ZHANG ◽  
XIN-HAN DONG
Keyword(s):  
Lebesgue Measure ◽  
Cauchy Transform ◽  
Two Dimensional ◽  
Regular Polygons ◽  
Cauchy Transforms ◽  
Dimensional Lebesgue Measure

Abstract For $n\geq 3$ , let $Q_n\subset \mathbb {C}$ be an arbitrary regular n-sided polygon. We prove that the Cauchy transform $F_{Q_n}$ of the normalised two-dimensional Lebesgue measure on $Q_n$ is univalent and starlike but not convex in $\widehat {\mathbb {C}}\setminus Q_n$ .

On the connexion between Hausdorff measures and generalized capacity

1961 ◽  
Vol 57 (3) ◽  
pp. 524-531 ◽  
Author(s):  
S. J. Taylor
Keyword(s):  
Euclidean Space ◽  
Lebesgue Measure ◽  
Hausdorff Measure ◽  
Real Function ◽  
Function Theory ◽  
Logarithmic Capacity ◽  
Hausdorff Measures ◽  
Positive Capacity ◽  
Special Case

For any real function h(t) which is continuous and monotonic increasing for t > 0 with , Hausdorff (10) in 1918 denned a Carathéodory measure with respect to h(t) which has subsequently been known as Hausdorff measure. For analysing sets in Euclidean space, these measures have proved both useful and interesting. Given a real function Φ(t) which is continuous and monotonic decreasing for t > 0 with , Frostman(9) in 1935 denned capacity with respect to Φ(t). Lebesgue measure in Euclidean k-space is a special case of Hausdorff measure, and capacity with respect to Φ(t) becomes logarithmic capacity or Newtonian capacity in the cases , Φ(t)=1/t, respectively. The interrelationship between h-measure and Φ-capacity has been of interest in both directions: (i) in applications to function theory one may be able to determine whether or not a set has positive capacity by examining the h-measure for suitable h(t) (see, for example, (5)); (ii) it may be possible to determine the measure properties of a set from knowledge of its capacity (see, for example, (7) and (17)).

scholarly journals Approximation properties of -expansions II

2017 ◽  
Vol 38 (5) ◽  
pp. 1627-1641
Author(s):  
SIMON BAKER
Keyword(s):  
Hausdorff Dimension ◽  
Lebesgue Measure ◽  
Measure Zero ◽  
Hausdorff Measures ◽  
Approximation Properties ◽  
Real Numbers ◽  
Positive Real ◽  
Transference Principle ◽  
Significant Step ◽  
Full Lebesgue Measure

Let $\unicode[STIX]{x1D6FD}\in (1,2)$ be a real number. For a function $\unicode[STIX]{x1D6F9}:\mathbb{N}\rightarrow \mathbb{R}_{\geq 0}$, define $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ to be the set of $x\in \mathbb{R}$ such that for infinitely many $n\in \mathbb{N},$ there exists a sequence $(\unicode[STIX]{x1D716}_{i})_{i=1}^{n}\in \{0,1\}^{n}$ satisfying $0\leq x-\sum _{i=1}^{n}(\unicode[STIX]{x1D716}_{i}/\unicode[STIX]{x1D6FD}^{i})\leq \unicode[STIX]{x1D6F9}(n)$. In Baker [Approximation properties of $\unicode[STIX]{x1D6FD}$-expansions. Acta Arith. 168 (2015), 269–287], the author conjectured that for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1,2)$, the condition $\sum _{n=1}^{\infty }2^{n}\unicode[STIX]{x1D6F9}(n)=\infty$ implies that $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ is of full Lebesgue measure within $[0,1/(\unicode[STIX]{x1D6FD}-1)]$. In this paper we make a significant step towards proving this conjecture. We prove that given a sequence of positive real numbers $(\unicode[STIX]{x1D714}_{n})_{n=1}^{\infty }$ satisfying $\lim _{n\rightarrow \infty }\unicode[STIX]{x1D714}_{n}=\infty$, for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1.497,\ldots ,2)$, the set $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D714}_{n}\cdot 2^{-n})$ is of full Lebesgue measure within $[0,1/(\unicode[STIX]{x1D6FD}-1)]$. We also study the case where $\sum _{n=1}^{\infty }2^{n}\unicode[STIX]{x1D6F9}(n)<\infty$ in which the set $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ has Lebesgue measure zero. Applying the mass transference principle developed by Beresnevich and Velani in [A mass transference principle and the Duffin–Schaeffer conjecture for Hausdorff measures. Ann. of Math. (2) 164(3) (2006), 971–992], we obtain some results on the Hausdorff dimension and the Hausdorff measure of $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$.

Transitive maps which are not ergodic with respect to Lebesgue measure

1996 ◽  
Vol 16 (4) ◽  
pp. 833-848 ◽  
Author(s):  
Sebastian Van Strien
Keyword(s):  
Lebesgue Measure ◽  
Riemann Sphere ◽  
Julia Set ◽  
Iteration Scheme ◽  
Rational Maps ◽  
Positive Lebesgue Measure ◽  
Rational Map ◽  
Interval Maps ◽  
Open Set ◽  
Totally Disconnected

AbstractIn this paper we shall give examples of rational maps on the Riemann sphere and also of polynomial interval maps which are transitive but not ergodic with respect to Lebesgue measure. In fact, these maps have two disjoint compact attractors whose attractive basins are ‘intermingled’, each having a positive Lebesgue measure in every open set. In addition, we show that there exists a real bimodal polynomial with Fibonacci dynamics (of the type considered by Branner and Hubbard), whose Julia set is totally disconnected and has positive Lebesgue measure. Finally, we show that there exists a rational map associated to the Newton iteration scheme corresponding to a polynomial whose Julia set has positive Lebesgue measure.

The Measure of Plane Sets

1943 ◽  
Vol 39 (1) ◽  
pp. 51-53
Author(s):  
P. A. P. Moran
Keyword(s):  
Finite Number ◽  
Coordinate System ◽  
Lebesgue Measure ◽  
Upper Bound ◽  
Two Dimensional ◽  
Image Position ◽  
Bounded Sets ◽  
Dimensional Lebesgue Measure

We consider bounded sets in a plane. If X is such a set, we denote by Pθ(X) the projection of X on the line y = x tan θ, where x and y belong to some fixed coordinate system. By f(θ, X) we denote the measure of Pθ(X), taking this, in general, as an outer Lebesgue measure. The least upper bound of f (θ, X) for all θ we denote by M. We write sm X for the outer two-dimensional Lebesgue measure of X. Then G. Szekeres(1) has proved that if X consists of a finite number of continua,Béla v. Sz. Nagy(2) has obtained a stronger inequality, and it is the purpose of this paper to show that these results hold for more general classes of sets.

Sign in / Sign up

Export Citation Format

Share Document