DISERTAˇCN´I PR´ACE Multivalued Fractals and Hyperfractals

Total Page:16

File Type:pdf, Size:1020Kb

DISERTAˇCN´I PR´ACE Multivalued Fractals and Hyperfractals UNIVERZITA PALACKEHO´ V OLOMOUCI PRˇ´IRODOVEDECKˇ A´ FAKULTA KATEDRA MATEMATICKE´ ANALYZY´ A APLIKAC´I MATEMATIKY DISERTACNˇ ´I PRACE´ Multivalued fractals and hyperfractals Vedouc´ıdiplomov´epr´ace: Vypracoval: prof. RNDr. dr hab. Jan Andres, DSc. Mgr. Miroslav Rypka Rok odevzd´an´ı: 2012 Matematick´aanal´yza, IV. roˇcn´ık Prohl´aˇsen´ı Prohlaˇsuji, ˇze jsem disertaˇcn´ı pr´aci zpracoval samostatnˇepod veden´ım prof. RNDr. dr hab. Jana Andrese, DSc. s pouˇzit´ım uveden´eliteratury. V Olomouci dne 20. srpna 2012 Podˇekov´an´ı M˚uj d´ık patˇr´ıpˇredevˇs´ım profesoru Andresovi za rady a trpˇelivost. Chci podˇekovat sv´ym rodiˇc˚um a pˇr´atel˚um za podporu nejen pˇri psan´ıdisertaˇcn´ıpr´ace a profesoru Bandtovi za vstˇr´ıcnost a laskavost bˇehem moj´ıst´aˇze v Greifswaldu. Contents 1 Introduction 5 1.1 Currentstateoftheart........................ 5 1.2 Aimsofthethesis........................... 7 1.3 Theoreticalframework . 9 1.4 Appliedmethods ........................... 9 1.5 Mainresults.............................. 9 2 Spacesandhyperspaces,mapsandhypermaps 11 3 Iteratedfunctionsystemsandinvariantmeasures 20 3.1 Iteratedfunctionsystems. 20 3.2 Measure ................................ 25 3.3 Dimensionandself-similarity. 31 3.4 LiftedIFSandsuperfractals . 34 4 Fixedpointtheoryinhyperspaces 38 5 Multivaluedfractalsandhyperfractals 42 5.1 Existenceresults ........................... 42 5.2 Address structure of multivalued fractals . .. 51 5.3 Ergodicapproach ........................... 57 5.4 Chaosgame .............................. 62 6 Visualizationanddimensionofhyperfractals 67 6.1 Convexsetsandsupportfunctions . 67 6.2 Visualizationofhyperfractals . 71 6.3 Dimension and self-similarity of hyperfractals . ..... 83 7 Measureonmultivaluedfractals 93 8 Fuzzy approach 103 8.1 Fuzzysets ............................... 103 8.2 Fuzzyfractals ............................. 111 8.3 Visualization of fuzzy fractals and measures . 119 9 Summary 125 List of figures 127 References 128 Abstract Fractals generated by iterated function systems are systematically studied from 1981 (see [Hu]). The theory of multivalued fractals is developed from 2001 (see [AG1]) almost separately. In the thesis, we treat multivalued fractals and structures supported by them by means of hyperfractals. We deal with structure, self-similarity of multivalued fractals and their visualization. We discuss relation- ship of multivalued fractals to fractals generated by iterated function systems. We also extend the theory of hyperfractals. We proceed in the following way. First, we review hyperspaces, maps and hypermaps, since fractals are fixed points of hypermaps in hyperspaces. We also remind iterated function systems and related notions of code space, self-similarity and invariant measure. Although we usually construct fractals by means of the Banach theorem, we discuss other fixed point theorems, which can be applied in hyperspaces. We describe generalizations of the Banach (metric) and Schauder (topological) fixed point theorems. Existence results for metric and topological multivalued fractals and hyperfractals are supplied. We study multivalued fractals and associated hyperfractals generated by the same iterated multifunction system. We prove that they possess the same address structure. Since we can also regard fractals generated by iterated function systems as attractors of chaotic dynamical systems, we can draw them by means of the chaos game. We remind the theory related to the chaos game, particularly the ergodic theory and chaos. Next, we investigate visualization and dimension of hyperfractals. Hyperfrac- tals lie in hyperspaces, which are nonlinear and infinite-dimensional spaces. For a particular class of hyperfractals, we construct projections of their structure by means of support functions. We apply the Moran formula to calculate dimension of self-similar hyperfractals. We also show that self-similar fractals form a subset of shadows of self-similar hyperfractals. Since hyperfractals are attractors of iterated function systems, we visualize also an invariant measure. Moreover, we construct a shadow of the invariant measure supported by the underlying multivalued fractal by means of ergodic theorem. Finally, our results are generalized to spaces of fuzzy sets. We remind the theory of fuzzy sets. Then, we define fuzzy fractals and fuzzy hyperfractals, which are related in the same way as multivalued fractals and hyperfractals. We find their address structure, which helps us to visualize these fractals and calculate their Hausdorff dimension. 4 1. Introduction 1.1. Current state of the art Fractals are extensively studied objects without an exact definition (see [Ma1], [Ma2], [Ma3]). However, fractals have usually some of the following features [Fa1] Fractals have a “natural” appearance. • Fractals have a fine structure, that is irregular detail at arbitrarily small • scales. Fractals are too irregular to be described by calculus or traditional geomet- • rical language, either locally or globally. Fractals have often some sort of self-similarity or self-affinity, perhaps in a • statistical or approximate sense. The “fractal dimension” (defined in some way) is strictly greater than the • topological dimension of a fractal. In many cases of interest, fractals have a very simple, perhaps recursive, • definition. We will meet all the features of fractals but the last three are crucial for us. We will consider self-similar fractals with a noninteger Hausdorff (=fractal) dimension generated by iterated function systems (cf. [Hu], [Ba1]). An iterated function system (IFS) is usually a system of a finite number of contractions on a complete metric space X; fi,i = 1, 2,...,n . Then the transformation F : K(X) K(X) defined by{ } → n F (B) := fi(B), i=1 [ for all B K(X), is a contraction mapping on the complete metric space ∈ (K(X), dH ), i.e. the space of compact subsets of X. Its unique fixed point A∗ K(X) obeys ∈ n A∗ = fi(A∗). i=1 [ The fixed point A∗ is called an attractor of the IFS and it is a union of its contracted copies. If the copies are separated and contractions are in addition similitudes, we talk about self-similarity of an attractor. For self-similar attrac- tors, the Hausdorff dimension can be calculated by means of the Moran formula. These results were stated by Hutchinson [Hu] (see also [B], [BG], [BK], [E], [Fa1], [Fa2], [PJS], [Sc], [Wc] and [Wi]). 5 Barnsley explores more ways of drawing fractals and invariant measures (see [Ba1], [BD]). He also came out with the idea of fractal image compression. It- erated function systems enable us to store image-like data in a few parameters of functions comprising the IFS whose attractor is close to the image. Barns- ley developed techniques for image encoding and decoding by means of IFS (cf. [BEHL], [BH]). His method provides a great compression ratio but it is very time consuming. Jacquin developed the approach based on the idea of IFS which use domain and range blocks of a picture (cf. [Ja1]–[Ja4]). See also [F] or [WJ] for further references. Iterated function systems were extended in many ways, for instance to R∞ in [CR]. Infinite IFS were described in [GJ] and [L3]. One of the most signifi- cant generalizations of fractals generated by IFSs are multivalued fractals. They are generated by iterated multifunction systems (shortly IMSs). By multivalued fractals, we understand the fixed points of operators F : K(X) K(X), such that → n F (A)= Fi(A), i [ where F are induced by continuous multivalued maps : X K(X) from an i Fi → IMS (X, d), 1, 2, ..., n . Multivalued{ F fractalsF wereF } extensively investigated in the last ten years. They were developed independently by three groups. Andres and co-workers repre- sent one group which also introduced the terminology [A1], [A2], [AF], [AFGL], [AG1], [AG2], [AV], [Fi]. Their work was inspired by relationships between maps, multivalued maps and hypermaps. Problems in differential inclusions motivated Petru¸sel and co-workers ([LPY], [P1], [P2], [PR1], [PR2]). For the similar ap- proach see also [BBP], [CP], [CL], [GG], [KLV1], [KLV2], [LtM], [Mh], [MM], [Ok], [SPK]. The articles are devoted mainly to existence results by means of the fixed point theorems and structure of attractors. Drawing and approximation of attractors is also investigated. Lasota and Myjak studied the related notion of semifractals in [L1]-[L4], [LM1]–[LM4]. Our work was inspired by superfractals [Ba2] (see also [BHS1]–[BHS4]). Barns- ley found out that it is more effective to treat some sets like sets of fractal sets. Thus, he investigated iterated function systems of iterated function systems. In the easiest case, he considered IFSs F1, F2,...,Fm, F = (X, d), f i, f i,...,f i , i { 1 2 in } where f i : X X are contractions. The operators F : K(X) K(X), j → i → i Fi(A)= fj (A), j [ 6 comprise the IFS (K(X), dH ), F1, F2,...,Fm and generate the contracting operator φ : K(K(X{ )) K(K(X)), } → φ(α)= F (A) . { j } j A α [ [∈ The fixed point of φ in a hyperhyperspace is called a superfractal. At the end of [BHS1], it is suggested to investigate the previous case with i multivalued mappings fj . Attractors of such systems will be called hyperfractals (see [AR1] and [AR2]). Hyperfractals are fixed points of operators φ in K(K(X)). Given a system (X, d), 1, 2, ..., n , of multivalued maps i : X K(X) we induce the maps{ to FF: KF(X) KF(X} ), F → i → F (A)= (x). i Fi x A [∈ The mappings F : K(X) K(X) comprise an IFS φ = (K(X), d ),F , F , ..., i → { H 1 2 Fn , like in the case of superfractals. Then we obtain the contracting operator φ :}K(K(X)) K(K(X)), → n n φ(α)= φ (α)= F (A) . i { i } i=1 i=1 A α [ [ [∈ If i are contractions in a complete metric space, φ is also a contraction. The fixedF point of the contraction is called a hyperfractal. Hyperfractals are attractors of IFS in hyperspaces. Generalizing IFS to fuzzy sets, fuzzy fractals can be obtained (see e.g. [CFMV], [FLV], [FMV] and [DK]). This research is also motivated by image compression. 1.2. Aims of the thesis The aim of the thesis is to understand multivalued fractals in a better way and to explore structures supported by them.
Recommended publications
  • Arxiv:1707.03784V6 [Math.GN] 21 Jul 2020
    Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions Jean Goubault-Larrecq Universit´eParis-Saclay, CNRS, ENS Paris-Saclay, Laboratoire M´ethodes Formelles, 91190, Gif-sur-Yvette, France July 29, 2021 Abstract The Kantorovich-Rubinshte˘ınmetric is an L1-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in that case it metrizes the weak topology. We introduce a variant of that construction in the realm of quasi- metric spaces, and prove that it is algebraic Yoneda-complete as soon as the underlying quasi-metric space of points is algebraic Yoneda- complete, and that the associated topology is the weak topology. We do this not only for probability distributions, represented as normalized continuous valuations, but also for subprobability distributions, for various hyperspaces, and in general for different brands of functionals. Those functionals model probabilistic choice, angelic and demonic non- deterministic choice, and their combinations. The mathematics needed for those results are more demanding than in the simpler case of metric spaces. To obtain our results, we prove a few other results that have independent interest, notably: continuous Yoneda-complete spaces are consonant; on a continuous Yoneda-complete space, the Scott topology arXiv:1707.03784v8 [math.GN] 28 Jul 2021 on the space of R+-valued lower semicontinuous maps coincides with the compact-open and Isbell topologies, and the subspace topology on spaces of α-Lipschitz continuous maps also coincides with the topology of pointwise convergence, and is stably compact; we introduce and study the so-called Lipschitz-regular quasi-metric spaces, and we show that the formal ball functor induces a Kock-Z¨oberlein monad, of which all algebras are Lipschitz-regular; and we prove a minimax theorem where one of the spaces is not compact Hausdorff, but merely compact.
    [Show full text]
  • Math Morphing Proximate and Evolutionary Mechanisms
    Curriculum Units by Fellows of the Yale-New Haven Teachers Institute 2009 Volume V: Evolutionary Medicine Math Morphing Proximate and Evolutionary Mechanisms Curriculum Unit 09.05.09 by Kenneth William Spinka Introduction Background Essential Questions Lesson Plans Website Student Resources Glossary Of Terms Bibliography Appendix Introduction An important theoretical development was Nikolaas Tinbergen's distinction made originally in ethology between evolutionary and proximate mechanisms; Randolph M. Nesse and George C. Williams summarize its relevance to medicine: All biological traits need two kinds of explanation: proximate and evolutionary. The proximate explanation for a disease describes what is wrong in the bodily mechanism of individuals affected Curriculum Unit 09.05.09 1 of 27 by it. An evolutionary explanation is completely different. Instead of explaining why people are different, it explains why we are all the same in ways that leave us vulnerable to disease. Why do we all have wisdom teeth, an appendix, and cells that if triggered can rampantly multiply out of control? [1] A fractal is generally "a rough or fragmented geometric shape that can be split into parts, each of which is (at least approximately) a reduced-size copy of the whole," a property called self-similarity. The term was coined by Beno?t Mandelbrot in 1975 and was derived from the Latin fractus meaning "broken" or "fractured." A mathematical fractal is based on an equation that undergoes iteration, a form of feedback based on recursion. http://www.kwsi.com/ynhti2009/image01.html A fractal often has the following features: 1. It has a fine structure at arbitrarily small scales.
    [Show full text]
  • On the Computation of the Kantorovich Distance for Images
    DN THE COMPUTATION OF THE KANTOROV ICH DISTANCE FOR IMAGES Th omas Ka·i j ser June 1996 Report nr LiTH-ISY-R-1858 ,.. f ON THE COMPUTATION OF THE KANTOROVICH DISTANCE FOR IMAGES Thomas Kaijser June 1996 Report nr LiTH - ISY -R-1858 ,. l .. l Introduction. The Kantorovich distance for images can be defined in two ways. Either as the infimum of all "costs" for "transporting" one image into the other, where the cost-function is induced by the distance-function ehosen for measuring distances beetween pixels, - or as a supremum of all integrals for which the integration is with respect to the measure obtained by taking the difference of the two images considered as mass distributions, and for which the integrand is any function whose "slope" is bounded. (For the precise definitions see the next sections). We shall call the first of these two definitions the primal version and the seeond definition the dual version. It was Kantarovich [10], (see also [11]), who in the beginning of the 40:ies introduced this "transportation-metric" for prohability measures and proved the equality between the two definitions. This result is a special case of what in optimization theory is called the duality theorem. The first to use the primal version of the Kantarovich distance as a distance-function between 2-dimensional grey valued images with equal to­ tal grey value was probably Werman et al [19]. (See also Werman [20]). The conclusions in their paper was that the metric is applicable in many domains such as co-occurance matrices, shape matching, and picture half­ toning.
    [Show full text]
  • A Genetic Algorithm Applied to the Fractal Inverse Problem
    UNLV Retrospective Theses & Dissertations 1-1-1993 A genetic algorithm applied to the fractal inverse problem Hiroo Miyamoto University of Nevada, Las Vegas Follow this and additional works at: https://digitalscholarship.unlv.edu/rtds Repository Citation Miyamoto, Hiroo, "A genetic algorithm applied to the fractal inverse problem" (1993). UNLV Retrospective Theses & Dissertations. 329. http://dx.doi.org/10.25669/6d8g-4bse This Thesis is protected by copyright and/or related rights. It has been brought to you by Digital Scholarship@UNLV with permission from the rights-holder(s). You are free to use this Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/ or on the work itself. This Thesis has been accepted for inclusion in UNLV Retrospective Theses & Dissertations by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact [email protected]. INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted.
    [Show full text]
  • Numerical Values of the Hausdorff and Packing Measures for Limit
    NUMERICAL VALUES OF THE HAUSDORFF AND PACKING MEASURES FOR LIMIT SETS OF ITERATED FUNCTION SYSTEMS James Edward Reid Dissertation Prepared for the Degree of DOCTOR OF PHILOSOPHY UNIVERSITY OF NORTH TEXAS August 2017 APPROVED: Mariusz Urbański, Major Professor Lior Fishman, Committee Member Stephen Jackson, Committee Member Charles Conley, Chair of the Department of Mathematics David Holdeman, Dean of the College of Arts and Science Victor R. Prybutok, Dean of the Toulouse Graduate School Reid, James Edward. Numerical Values of the Hausdorff and Packing Measures for Limit Sets of Iterated Function Systems. Doctor of Philosophy (Mathematics), August 2017, 107 pp., 56 numbered references. In the context of fractal geometry, the natural extension of volume in Euclidean space is given by Hausdorff and packing measures. These measures arise naturally in the context of iterated function systems (IFS). For example, if the IFS is finite and conformal, then the Hausdorff and packing dimensions of the limit sets agree and the corresponding Hausdorff and packing measures are positive and finite. Moreover, the map which takes the IFS to its dimension is continuous. Developing on previous work, we show that the map which takes a finite conformal IFS to the numerical value of its packing measure is continuous. In the context of self-similar sets, we introduce the super separation condition. We then combine this condition with known density theorems to get a better handle on finding balls of maximum density. This allows us to extend the work of others and give exact formulas for the numerical value of packing measure for classes of Cantor sets, Sierpinski N-gons, and Sierpinski simplexes.
    [Show full text]
  • CHAOS and FRACTALS: the MATHEMATICS BEHIND the COMPUTER GRAPHICS Edited by Robert L
    http://dx.doi.org/10.1090/psapm/039 AMS SHORT COURSE LECTURE NOTES Introductory Survey Lectures A Subseries of Proceedings of Symposia in Applied Mathematics Volume 39 CHAOS AND FRACTALS: THE MATHEMATICS BEHIND THE COMPUTER GRAPHICS Edited by Robert L. Devaney and Linda Keen (Providence, Rhode Island, August 1988) Volume 38 COMPUTATIONAL COMPLEXITY THEORY Edited by Juris Hartmanis (Atlanta, Georgia, January 1988) Volume 37 MOMENTS IN MATHEMATICS Edited by Henry J. Landau (San Antonio, Texas, January 1987) Volume 36 APPROXIMATION THEORY Edited by Carl de Boor (New Orleans, Louisiana, January 1986) Volume 35 ACTUARIAL MATHEMATICS Edited by Harry H. Panjer (Laramie, Wyoming, August 1985) Volume 34 MATHEMATICS OF INFORMATION PROCESSING Edited by Michael Anshel and William Gewirtz (Louisville, Kentucky, January 1984) Volume 33 FAIR ALLOCATION Edited by H. Peyton Young (Anaheim, California, January 1985) Volume 32 ENVIRONMENTAL AND NATURAL RESOURCE MATHEMATICS Edited by R. W. McKelvey (Eugene, Oregon, August 1984) Volume 31 COMPUTER COMMUNICATIONS Edited by B. Gopinath (Denver, Colorado, January 1983) Volume 30 POPULATION BIOLOGY Edited by Simon A. Levin (Albany, New York, August 1983) Volume 29 APPLIED CRYPTOLOGY, CRYPTOGRAPHIC PROTOCOLS, AND COMPUTER SECURITY MODELS By R. A. DeMillo, G. I. Davida, D. P. Dobkin, M. A. Harrison, and R. J. Lipton (San Francisco, California, January 1981) Volume 28 STATISTICAL DATA ANALYSIS Edited by R. Gnanadesikan (Toronto, Ontario, August 1982) Volume 27 COMPUTED TOMOGRAPHY Edited by L. A. Shepp (Cincinnati, Ohio, January 1982) Volume 26 THE MATHEMATICS OF NETWORKS Edited by S. A. Burr (Pittsburgh, Pennsylvania, August 1981) Volume 25 OPERATIONS RESEARCH: MATHEMATICS AND MODELS Edited by S. I.
    [Show full text]
  • [Math.OA] 30 Jun 2005 Dimensions and Spectral Triples for Fractals in R
    Dimensions and spectral triples for fractals in RN Daniele Guido, Tommaso Isola Dipartimento di Matematica, Universit`adi Roma “Tor Vergata”, I–00133 Roma, Italy. E-mail: [email protected], [email protected] Abstract N Two spectral triples are introduced for a class of fractals in R . The definitions of noncommutative Hausdorff dimension and noncom- mutative tangential dimensions, as well as the corresponding Hausdorff and Hausdorff-Besicovitch functionals considered in [7], are studied for the mentioned fractals endowed with these spectral triples, showing in many cases their correspondence with classical objects. In particular, for any limit fractal, the Hausdorff-Besicovitch functionals do not depend on the generalized limit ω. 0 Introduction. In this paper we extend the analysis we made in [7] to fractals in RN , more pre- cisely we define spectral triples for a class of fractals and compare the classical measures, dimensions and metrics with the measures, dimensions and metrics obtained from the spectral triple, in the framework of A. Connes’ noncommu- tative geometry [2]. The class of fractals we consider is the class of limit fractals, namely fractals which can be defined as Hausdorff limits of sequences of compact sets obtained via sequences of contraction maps. This class contains the self-similar fractals arXiv:math/0404295v2 [math.OA] 30 Jun 2005 and is contained in the wider class of random fractals [12]. On any limit frac- tal, the described limit procedure produces also a family of limit measures µα, α > 0. Among limit fractals, we consider in particular the translation frac- tals, namely those for which the generating similarities of a given level have the same similarity parameter.
    [Show full text]
  • On the Computation of the Kantorovich Distance for Images
    Chaotic Modeling and Simulation (CMSIM) 2: 345{354, 2012 On the Computation of the Kantorovich Distance for Images Constantinos Alexopoulos1 and Vassileios Drakopoulos2 1 University of Athens, Panepistimioupolis, 15784 Athens, Greece (E-mail: [email protected]) 2 University of Athens, Panepistimioupolis, 15784 Athens, Greece (E-mail: [email protected]) Abstract. We consider the theory and applications of the Kantorovich metric in fractal image compression. After surveying the most important approaches for its computation, we highlight its usefulness as a mathematical tool for comparing two images and improve its performance by means of more appropriate data structures. Keywords: Fractals, Hutchinson metric, Image comparison, Kantorovich metric. 1 Introduction In many fields of computer science like pattern recognition and image process- ing, it is important to have an efficient way to compare geometric objects. The natural approach to this problem is to define a metric in the space of the ge- ometric objects and use this metric to compute the distance between them. Considering digitized images as geometric objects, we can use that metric to compare them. The Kantorovich (or Hutchinson) metric, a.k.a. Wasserstein (or Vaser- shtein), earth mover's or match metric, takes into account the spatial struc- ture of the compared images and, hence, corresponds more closely than other metrics to our notion of the visual differences between two images. John E. Hutchinson[6] used the Kantorovich distance to measure the distance between self-similar probability measures obtained as limiting distributions for a fairly simple type of Markov chains induced by affine, contractive mappings. He used the Kantorovich metric to prove an existence and uniqueness theorem of such limit measures.
    [Show full text]