ABOUT THE MULTIFRACTAL NATURE OF CANTOR’S BIJECTION: BOUNDS FOR THE HÖLDER EXPONENT AT ALMOST EVERY IRRATIONAL POINT

Fractals ◽  
2016 ◽  
Vol 24 (02) ◽  
pp. 1650014
Author(s):  
SAMUEL NICOLAY ◽  
LAURENT SIMONS
Keyword(s):  
Lebesgue Measure ◽  
Unit Interval ◽  
Hölder Regularity ◽  
Fractal Nature ◽  
Hölder Exponent ◽  
Irrational Numbers ◽  
Unit Square ◽  
Almost Everywhere ◽  
One To One ◽  
Multifractal Nature

In this note, we investigate the regularity of Cantor’s one-to-one mapping between the irrational numbers of the unit interval and the irrational numbers of the unit square. In particular, we explore the fractal nature of this map by showing that its Hölder regularity lies between 0.35 and 0.72 almost everywhere (with respect to the Lebesgue measure).

Topological Spaces with the Strong Skorokhod Property

2001 ◽  
Vol 8 (2) ◽  
pp. 201-220
Author(s):  
T. O. Banakh ◽  
V. I. Bogachev ◽  
A. V. Kolesnikov
Keyword(s):  
Lebesgue Measure ◽  
Unit Interval ◽  
Topological Spaces ◽  
Probability Measures ◽  
Almost Everywhere ◽  
Convergent Sequences

Abstract We study topological spaces with the strong Skorokhod property, i.e., spaces on which all Radon probability measures can be simultaneously represented as images of Lebesgue measure on the unit interval under certain Borel mappings so that weakly convergent sequences of measures correspond to almost everywhere convergent sequences of mappings. We construct nonmetrizable spaces with such a property and investigate the relations between the Skorokhod and Prokhorov properties. It is also shown that a dyadic compact has the strong Skorokhod property precisely when it is metrizable.

scholarly journals SOME GROUP THEORETIC ASPECTS OF t-NORMS

2000 ◽  
Vol 08 (01) ◽  
pp. 1-6 ◽  
Author(s):  
FRED RICHMAN ◽  
ELBERT WALKER
Keyword(s):  
Automorphism Group ◽  
Multiplicative Group ◽  
Order Relation ◽  
Unit Interval ◽  
Real Numbers ◽  
Positive Real ◽  
Explicit Formulas ◽  
One To One ◽  
The Right ◽  
Usual Order

Let A be the automorphism group of the unit interval with its usual order relation, and let ℝ+ be the embedding of the multiplicative group of positive real numbers into A given by exponentiation. Strict t-norms are in one-to-one correspondence with the right cosets of ℝ+ in A. Here, we identify the normalizer of ℝ+ in A and give explicit formulas for the corresponding set of t-norms.

Linear measures of some sets of the Cantor type

1957 ◽  
Vol 53 (2) ◽  
pp. 312-317 ◽  
Author(s):  
Trevor J. Mcminn
Keyword(s):  
Lebesgue Measure ◽  
Measure Zero ◽  
Cartesian Product ◽  
Open Interval ◽  
Cantor Set ◽  
Unit Interval ◽  
Linear Measure ◽  
Closed Intervals ◽  
Image Position ◽  
Dense Set

1. Introduction. Let 0 < λ < 1 and remove from the closed unit interval the open interval of length λ concentric with the unit interval. From each of the two remaining closed intervals of length ½(1 − λ) remove the concentric open interval of length ½λ(1 − λ). From each of the four remaining closed intervals of length ¼λ(1 − λ)2 remove the concentric open interval of length ¼λ(l − λ)2, etc. The remaining set is a perfect non-dense set of Lebesgue measure zero and is the Cantor set for λ = ⅓. Let Tλr be the Cartesian product of this set with the set similar to it obtained by magnifying it by a factor r > 0. Letting L be Carathéodory linear measure (1) and letting G be Gillespie linear square(2), Randolph(3) has established the following relations:

scholarly journals A class of Newton maps with Julia sets of Lebesgue measure zero

2021 ◽  
Author(s):  
Mareike Wolff
Keyword(s):  
Lebesgue Measure ◽  
Newton’S Method ◽  
Newton's Method ◽  
Measure Zero ◽  
Julia Set ◽  
Julia Sets ◽  
Lebesgue Measure Zero ◽  
Almost Everywhere ◽  
General Conditions

AbstractLet $$g(z)=\int _0^zp(t)\exp (q(t))\,dt+c$$ g ( z ) = ∫ 0 z p ( t ) exp ( q ( t ) ) d t + c where p, q are polynomials and $$c\in {\mathbb {C}}$$ c ∈ C , and let f be the function from Newton’s method for g. We show that under suitable assumptions on the zeros of $$g''$$ g ′ ′ the Julia set of f has Lebesgue measure zero. Together with a theorem by Bergweiler, our result implies that $$f^n(z)$$ f n ( z ) converges to zeros of g almost everywhere in $${\mathbb {C}}$$ C if this is the case for each zero of $$g''$$ g ′ ′ that is not a zero of g or $$g'$$ g ′ . In order to prove our result, we establish general conditions ensuring that Julia sets have Lebesgue measure zero.

scholarly journals The discrepancy of some real sequences

2003 ◽  
Vol 93 (2) ◽  
pp. 268
Author(s):  
H. Kamarul Haili ◽  
R. Nair
Keyword(s):  
Real Number ◽  
Lebesgue Measure ◽  
Fractional Part ◽  
Real Numbers ◽  
The Real ◽  
Almost Everywhere

Let $(\lambda_n)_{n\geq 0}$ be a sequence of real numbers such that there exists $\delta > 0$ such that $|\lambda_{n+1} - \lambda_n| \geq \delta , n = 0,1,...$. For a real number $y$ let $\{ y \}$ denote its fractional part. Also, for the real number $x$ let $D(N,x)$ denote the discrepancy of the numbers $\{ \lambda _0 x \}, \cdots , \{ \lambda _{N-1} x \}$. We show that given $\varepsilon > 0$, 9774 D(N,x) = o ( N^{-\frac{1}{2}}(\log N)^{\frac{3}{2} + \varepsilon})9774 almost everywhere with respect to Lebesgue measure.

$\beta$-transformation, natural extension and invariant measure

2000 ◽  
Vol 20 (5) ◽  
pp. 1271-1285 ◽  
Author(s):  
GAVIN BROWN ◽  
QINGHE YIN
Keyword(s):  
Invariant Measure ◽  
Lebesgue Measure ◽  
Natural Extension ◽  
Connected Region ◽  
Two Dimensional ◽  
Constant Multiple ◽  
Unit Square ◽  
Simply Connected Region ◽  
Simply Connected ◽  
Dimensional Lebesgue Measure

For $\beta>1$, consider the $\beta$-transformation $T_\beta$. When $\beta$ is an integer, the natural extension of $T_\beta$ can be represented explicitly as a map on the unit square with an invariant measure: the corresponding two-dimensional Lebesgue measure. We show that, under certain conditions on $\beta$, the natural extension is defined on a simply connected region and an invariant measure is a constant multiple of the Lebesgue measure.We characterize those $\beta$ in terms of the $\beta$-expansion of one, and study the structure and size of the set of all such $\beta$.

scholarly journals On Fréchet theorem in the set of measure preserving functions over the unit interval

1990 ◽  
Vol 13 (2) ◽  
pp. 373-378 ◽  
Author(s):  
So-Hsiang Chou ◽  
Truc T. Nguyen
Keyword(s):  
Piecewise Linear ◽  
Continuous Functions ◽  
Unit Interval ◽  
Almost Everywhere

In this paper, we study the Fréchet theorem in the set of measure preserving functions over the unit interval and show that any measure preserving function on[0,1]can be approximated by a sequence of measure preserving piecewise linear continuous functions almost everywhere. Some application is included.

scholarly journals Uniform almost everywhere domination

2006 ◽  
Vol 71 (3) ◽  
pp. 1057-1072 ◽  
Author(s):  
Peter Cholak ◽  
Noam Greenberg ◽  
Joseph S. Miller
Keyword(s):  
Lebesgue Measure ◽  
Almost Everywhere ◽  
A Priority ◽  
Almost All

AbstractWe explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed that such functions are related to the proof-theoretic strength of the regularity of Lebesgue measure for Gδ sets. Our constructions essentially settle the reverse mathematical classification of this principle.

scholarly journals Biconcave-function characterisations of UMD and Hilbert spaces

1993 ◽  
Vol 47 (2) ◽  
pp. 297-306 ◽  
Author(s):  
Jinsik Mok Lee
Keyword(s):  
Banach Space ◽  
Hilbert Space ◽  
Hilbert Spaces ◽  
Complex Banach Space ◽  
Unit Interval ◽  
Martingale Differences ◽  
Almost Everywhere ◽  
Integrable Functions ◽  
Image Position ◽  
Umd Banach Spaces

Suppose that X is a real or complex Banach space with norm |·|. Then X is a Hilbert space if and only iffor all x in X and all X-valued Bochner integrable functions Y on the Lebesgue unit interval satisfying EY = 0 and |x − Y| ≤ 2 almost everywhere. This leads to the following biconcave-function characterisation: A Banach space X is a Hilbert space if and only if there is a biconcave function η: {(x, y) ∈ X × X: |x − y| ≤ 2} → R such that η(0, 0) = 2 andIf the condition η(0, 0) = 2 is eliminated, then the existence of such a function η characterises the class UMD (Banach spaces with the unconditionally property for martingale differences).

Sign in / Sign up

Export Citation Format

Share Document