Fractals Lindenmayer Systems

Total Page:16

File Type:pdf, Size:1020Kb

Fractals Lindenmayer Systems FRACTALS LINDENMAYER SYSTEMS November 22, 2013 Rolf Pfeifer Rudolf M. Füchslin RECAP HIDDEN MARKOV MODELS What Letter Is Written Here? What Letter Is Written Here? What Letter Is Written Here? The Idea Behind Hidden Markov Models First letter: Maybe „a“, maybe „q“ Second letter: Maybe „r“ or „v“ or „u“ Take the most probable combination as a guess! Hidden Markov Models Sometimes, you don‘t see the states, but only a mapping of the states. A main task is then to derive, from the visible mapped sequence of states, the actual underlying sequence of „hidden“ states. HMM: A Fundamental Question What you see are the observables. But what are the actual states behind the observables? What is the most probable sequence of states leading to a given sequence of observations? The Viterbi-Algorithm We are looking for indices M1,M2,...MT, such that P(qM1,...qMT) = Pmax,T is maximal. 1. Initialization ()ib 1 i i k1 1(i ) 0 2. Recursion (1 t T-1) t1(j ) max( t ( i ) a i j ) b j k i t1 t1(j ) i : t ( i ) a i j max. 3. Termination Pimax,TT max( ( )) qmax,T q i: T ( i ) max. 4. Backtracking MMt t11() t Efficiency of the Viterbi Algorithm • The brute force approach takes O(TNT) steps. This is even for N = 2 and T = 100 difficult to do. • The Viterbi – algorithm in contrast takes only O(TN2) which is easy to do with todays computational means. Applications of HMM • Analysis of handwriting. • Speech analysis. • Construction of models for prediction. Only few processes are really Markov processes (neither writing nor speech is), but often, models based on Markov processes are good approximations. END RECAP FRACTALS Natural Geometry Geometry in text books Geometry in nature Fractals: Informal Definition • Termed coined by Benoit Mandelbrot • Geometry without smoothness Structure on all scales (detail persists when zoomed arbitrarily) • Geometrical objects generally with non-integer dimension • Self-similarity (contains infinite copies of itself) Fractals in the Human Body Kidney Lung Cortical surface (?) The Length of Borders • Lewis Fry Richardson: Probability of war between two adjacent countries proportional to length of border? • Checking the theory required gathering data about border lengths. • Surprising finding: There are strongly varying numbers in the literature. The Border of Great Britain The Border of Great Britain The closer you look, the longer the border. And the growth doesn‘t stop! A Slightly Different View on Dimension One-Dimensional Objects 1 Nc 1 : Diameter of disk N : Number of disks c1 : Constant Two-dimensional Objects N ? : Diameter of disk N : Number of disks c2 : Constant Two-dimensional Objects 2 1 Nc 2 : Diameter of disk N : Number of disks c2 : Constant Definition of the Fractal Dimension D 1 Nc The number of disks necessary for covering : Diameter of disk a structure grows with shrinking λ. N : Number of disks c : Constant D: Hausdorff Dimension log(N ( )) log( c ) log( N ( )) log( N ( )) D lim lim lim 011 0 0 log( ) log( ) log( ) Example: The Sierpinski Triangle Construction of the Sierpinski-triangle A Sierpinski triangle contains a whole copy of itself in its parts. Example: The Sierpinski Triangle Construction of the Sierpinski-triangle log(N ( )) D lim 0 log( ) Example: The Sierpinski Triangle Hausdorff Dimension: log(3n ) log(3) D lim 1.585 n 1 log( ) log(2) 2n Area of Sierpinski triangle 2 2 n 1 AN lim3 n 0 n 2 Boundary length of ST: 1 L3 KN lim3 K 3n n 2n Example: Cantor Dust Take out the middle third! log(N ( )) D lim 0 log( ) Example: Cantor Dust Take out the middle third! log(2n ) log(2) D lim n 1 log( ) log(3) 3n 1 L lim(no elements = 2n ) (length element = ) n 3n Example: The Mandelbrot Set Example: The Mandelbrot Set x x22 y a z z2 c n1 n n nn1 y2 x y b zc0, C n1 n n 0 z x iy, c a ib The Mandelbrot Set Three-Dimensional L-Systems Compressibility • The Mandelbrot looks complex. • The algorithm describing the Mandelbrot-set is very short. • Procedures generating fractal structures give a very compressed form of storing complex-looking shapes. • Directly storing these pictures is actually impossible. 2 znn1 z c zc0 0, C Self-Similarity and Scale-Invariance • “When each piece of a shape is geometrically similar to the whole, both the shape and the cascade that generate it are called self-similar.” (B. Mandelbrot) • Contains infinite copies of itself • Scaling/Scale = The value measured for a property does not depend on the resolution at which it is measured • Two types of invariance: - Geometrical - Statistical Fractals in Reality • Strict self-similarity is mostly found in mathematical examples. • Statistical interpretation of self-similarity: If a part of system can be zoomed up, and this part shows the same statistical properties as the whole system, one speaks of self-similarity. • In reverse (and more important), if coarse-graining does not change the statistical properties of a system, one speaks of self-similarity. Non-Fractal Random distribution of spheres with uniform radius. Fractal Random distribution of spheres with varying random radius (power law distribution). Self-Similarity and Coarse-Graining Coarse graining = or formation of blocks with averaged properties Self-Similarity in Reality ρ= 0.5 ρ= 0.55 SELF SIMILARITY ρ= 0.6 Physically important in the description of ρ= 0.7 phase transition. Fractal Dimension of Time Series Univ. Zürich: G. Wieser, P. F. Meier, Y. Shen, HR. Moser. R. Füchslin EEG EEG during epileptic seizure Some statistical measures such as the fractal correlation dimension D2 decrease shortly before and during an epiliptic seizure. D2 can be used as a diagnostic measure. Random Numbers • Question: Is a random number self similar? LINDENMAYER-SYSTEMS: STUDYING DEVELOPMENT USING FORMAL LANGUAGES A Real Puzzle • Nature is full of well-structured objects. • These objects are not assembled using global control and a blue-print, but emerge from local behavior. External control Self-organization Self-Assembly is Powerful, but …. Even if self-assembly processes may lead to non-trivial and finite structures with global shape and mesoscopic pattern induced by microscopic interactions, it is not the way how nature works. Paul. W. Rothemund Developmental Representation vs. Blueprint • All higher living organism develop from a fertilized egg (a zygote) into their adult form. This process is, at least to a large degree, controlled by their respective genome. • Is it that the genome contains a sort of "blueprint" of the organism? Developmental Representation vs. Blueprint • All higher living organism develop from a fertilized egg (a zygote) into their adult form. This process is, at least to a large degree, controlled by their respective genome. • It is NOT TRUE that the genome contains a sort of "blueprint" of the organism. Rather, the genome contains instructions which lead to molecules that in the interaction with the environment lead to organisms. Developmental Representation vs. Blueprint Developmental process is influence by: • An initial seed. • The (probably time-dependent) interactions of the building blocks of a body • The environment and the physical and chemical laws ruling this environment. Developmental representations are iterative in the sense that they tell you how to proceed if there is already something there. Developmental Representation vs. Blueprint The genome does not contain all the information it needs to build your body. Development requires embodiment! Instructions for construction = Developmental representation + Laws of the environment Formal Languages Are Not Enough • How to describe development by a formal system? • Problem: The languages we know do not necessarily lead to globally structured outcomes with repetitive patterns. • Reason: External decision of location where a replacement rule is applied. On Growth and Form: L-Systems • The patterns observed in multicellular algae are the result of developmental processes • Mathematical formalism introduced in 1968 by Aristid Lindenmayer. • Productions are rewriting rules which state how new symbols (or cells) can be produced from old symbols (or cells) L-Systems / Rewriting Systems • Lindenmayer systems belong to the general class of parallel grammars or parallel rewriting systems. • Difference to grammars as we know them: In a parallel rewriting system, rules are applied to all possible instances simultaneously. L-systems are subsets of languages. • Most practical L-systems are related to context-free languages. • Context-free grammars suit the emulation of maturation and division. A Context-free language AVV,() The Cantor Set as an L-System Non-Terminals (variables): AB, Terminals (constants) : none Start : A Rules : A ABA B BBB The Cantor Set as an L-System Non-Terminals (variables): AB, Terminals (constants) : none Start : A Rules : A ABA B BBB 1. A 2. ABA 3. ABABBBABA 4. ABABBBABABBBBBBBBBABABBBABA 5. ..... Anabaena Catenula A Bio-Inspired L-System Anabeana catenula: Two types of polar cells, photosynthesis and nitorgen fixation Variables : AABB, , , Constants : none Start : A Rules : A AB A BA BA BA Visualization: Turtle Graphics + - F Move forward by Rotate by angle δ Rotate by angle -δ distance F Bracket notation: [ : Store position and direction ] : Go back to position and direction of matching [ Visualization; Turtle Graphics Simple system: Axiom (Start): F Rule: F→F[-F][+F] Angle: 30° More Plants Professional Visualization Generalizations ? Generalizations • Stochasticity • Contex sensitive rules • Delay times • Reaction-diffusion systems Homology of Structure Potential Advantages of Development • Compact description • Supports symmetry • Supports modularity • Supports reuse of mechanisms in different contexts. • Supports scalability • Decentralized control by self-orgnaization and parallelism. • Turns out to be robust • Enables adaptivity • Change of structure can be achieved by small changes. • Change of structure by change of timing (heterochrony). • Evolvability .
Recommended publications
  • Using Fractal Dimension for Target Detection in Clutter
    KIM T. CONSTANTIKES USING FRACTAL DIMENSION FOR TARGET DETECTION IN CLUTTER The detection of targets in natural backgrounds requires that we be able to compute some characteristic of target that is distinct from background clutter. We assume that natural objects are fractals and that the irregularity or roughness of the natural objects can be characterized with fractal dimension estimates. Since man-made objects such as aircraft or ships are comparatively regular and smooth in shape, fractal dimension estimates may be used to distinguish natural from man-made objects. INTRODUCTION Image processing associated with weapons systems is fractal. Falconer1 defines fractals as objects with some or often concerned with methods to distinguish natural ob­ all of the following properties: fine structure (i.e., detail jects from man-made objects. Infrared seekers in clut­ on arbitrarily small scales) too irregular to be described tered environments need to distinguish the clutter of with Euclidean geometry; self-similar structure, with clouds or solar sea glint from the signature of the intend­ fractal dimension greater than its topological dimension; ed target of the weapon. The discrimination of target and recursively defined. This definition extends fractal from clutter falls into a category of methods generally into a more physical and intuitive domain than the orig­ called segmentation, which derives localized parameters inal Mandelbrot definition whereby a fractal was a set (e.g.,texture) from the observed image intensity in order whose "Hausdorff-Besicovitch dimension strictly exceeds to discriminate objects from background. Essentially, one its topological dimension.,,2 The fine, irregular, and self­ wants these parameters to be insensitive, or invariant, to similar structure of fractals can be experienced firsthand the kinds of variation that the objects and background by looking at the Mandelbrot set at several locations and might naturally undergo because of changes in how they magnifications.
    [Show full text]
  • On the Structures of Generating Iterated Function Systems of Cantor Sets
    ON THE STRUCTURES OF GENERATING ITERATED FUNCTION SYSTEMS OF CANTOR SETS DE-JUN FENG AND YANG WANG Abstract. A generating IFS of a Cantor set F is an IFS whose attractor is F . For a given Cantor set such as the middle-3rd Cantor set we consider the set of its generating IFSs. We examine the existence of a minimal generating IFS, i.e. every other generating IFS of F is an iterating of that IFS. We also study the structures of the semi-group of homogeneous generating IFSs of a Cantor set F in R under the open set condition (OSC). If dimH F < 1 we prove that all generating IFSs of the set must have logarithmically commensurable contraction factors. From this Logarithmic Commensurability Theorem we derive a structure theorem for the semi-group of generating IFSs of F under the OSC. We also examine the impact of geometry on the structures of the semi-groups. Several examples will be given to illustrate the difficulty of the problem we study. 1. Introduction N d In this paper, a family of contractive affine maps Φ = fφjgj=1 in R is called an iterated function system (IFS). According to Hutchinson [12], there is a unique non-empty compact d SN F = FΦ ⊂ R , which is called the attractor of Φ, such that F = j=1 φj(F ). Furthermore, FΦ is called a self-similar set if Φ consists of similitudes. It is well known that the standard middle-third Cantor set C is the attractor of the iterated function system (IFS) fφ0; φ1g where 1 1 2 (1.1) φ (x) = x; φ (x) = x + : 0 3 1 3 3 A natural question is: Is it possible to express C as the attractor of another IFS? Surprisingly, the general question whether the attractor of an IFS can be expressed as the attractor of another IFS, which seems a rather fundamental question in fractal geometry, has 1991 Mathematics Subject Classification.
    [Show full text]
  • Fractal Curves and Complexity
    Perception & Psychophysics 1987, 42 (4), 365-370 Fractal curves and complexity JAMES E. CUTI'ING and JEFFREY J. GARVIN Cornell University, Ithaca, New York Fractal curves were generated on square initiators and rated in terms of complexity by eight viewers. The stimuli differed in fractional dimension, recursion, and number of segments in their generators. Across six stimulus sets, recursion accounted for most of the variance in complexity judgments, but among stimuli with the most recursive depth, fractal dimension was a respect­ able predictor. Six variables from previous psychophysical literature known to effect complexity judgments were compared with these fractal variables: symmetry, moments of spatial distribu­ tion, angular variance, number of sides, P2/A, and Leeuwenberg codes. The latter three provided reliable predictive value and were highly correlated with recursive depth, fractal dimension, and number of segments in the generator, respectively. Thus, the measures from the previous litera­ ture and those of fractal parameters provide equal predictive value in judgments of these stimuli. Fractals are mathematicalobjectsthat have recently cap­ determine the fractional dimension by dividing the loga­ tured the imaginations of artists, computer graphics en­ rithm of the number of unit lengths in the generator by gineers, and psychologists. Synthesized and popularized the logarithm of the number of unit lengths across the ini­ by Mandelbrot (1977, 1983), with ever-widening appeal tiator. Since there are five segments in this generator and (e.g., Peitgen & Richter, 1986), fractals have many curi­ three unit lengths across the initiator, the fractionaldimen­ ous and fascinating properties. Consider four. sion is log(5)/log(3), or about 1.47.
    [Show full text]
  • Georg Cantor English Version
    GEORG CANTOR (March 3, 1845 – January 6, 1918) by HEINZ KLAUS STRICK, Germany There is hardly another mathematician whose reputation among his contemporary colleagues reflected such a wide disparity of opinion: for some, GEORG FERDINAND LUDWIG PHILIPP CANTOR was a corruptor of youth (KRONECKER), while for others, he was an exceptionally gifted mathematical researcher (DAVID HILBERT 1925: Let no one be allowed to drive us from the paradise that CANTOR created for us.) GEORG CANTOR’s father was a successful merchant and stockbroker in St. Petersburg, where he lived with his family, which included six children, in the large German colony until he was forced by ill health to move to the milder climate of Germany. In Russia, GEORG was instructed by private tutors. He then attended secondary schools in Wiesbaden and Darmstadt. After he had completed his schooling with excellent grades, particularly in mathematics, his father acceded to his son’s request to pursue mathematical studies in Zurich. GEORG CANTOR could equally well have chosen a career as a violinist, in which case he would have continued the tradition of his two grandmothers, both of whom were active as respected professional musicians in St. Petersburg. When in 1863 his father died, CANTOR transferred to Berlin, where he attended lectures by KARL WEIERSTRASS, ERNST EDUARD KUMMER, and LEOPOLD KRONECKER. On completing his doctorate in 1867 with a dissertation on a topic in number theory, CANTOR did not obtain a permanent academic position. He taught for a while at a girls’ school and at an institution for training teachers, all the while working on his habilitation thesis, which led to a teaching position at the university in Halle.
    [Show full text]
  • Fractal Dimension of Self-Affine Sets: Some Examples
    FRACTAL DIMENSION OF SELF-AFFINE SETS: SOME EXAMPLES G. A. EDGAR One of the most common mathematical ways to construct a fractal is as a \self-similar" set. A similarity in Rd is a function f : Rd ! Rd satisfying kf(x) − f(y)k = r kx − yk for some constant r. We call r the ratio of the map f. If f1; f2; ··· ; fn is a finite list of similarities, then the invariant set or attractor of the iterated function system is the compact nonempty set K satisfying K = f1[K] [ f2[K] [···[ fn[K]: The set K obtained in this way is said to be self-similar. If fi has ratio ri < 1, then there is a unique attractor K. The similarity dimension of the attractor K is the solution s of the equation n X s (1) ri = 1: i=1 This theory is due to Hausdorff [13], Moran [16], and Hutchinson [14]. The similarity dimension defined by (1) is the Hausdorff dimension of K, provided there is not \too much" overlap, as specified by Moran's open set condition. See [14], [6], [10]. REPRINT From: Measure Theory, Oberwolfach 1990, in Supplemento ai Rendiconti del Circolo Matematico di Palermo, Serie II, numero 28, anno 1992, pp. 341{358. This research was supported in part by National Science Foundation grant DMS 87-01120. Typeset by AMS-TEX. G. A. EDGAR I will be interested here in a generalization of self-similar sets, called self-affine sets. In particular, I will be interested in the computation of the Hausdorff dimension of such sets.
    [Show full text]
  • Fractal Geometry and Applications in Forest Science
    ACKNOWLEDGMENTS Egolfs V. Bakuzis, Professor Emeritus at the University of Minnesota, College of Natural Resources, collected most of the information upon which this review is based. We express our sincere appreciation for his investment of time and energy in collecting these articles and books, in organizing the diverse material collected, and in sacrificing his personal research time to have weekly meetings with one of us (N.L.) to discuss the relevance and importance of each refer- enced paper and many not included here. Besides his interdisciplinary ap- proach to the scientific literature, his extensive knowledge of forest ecosystems and his early interest in nonlinear dynamics have helped us greatly. We express appreciation to Kevin Nimerfro for generating Diagrams 1, 3, 4, 5, and the cover using the programming package Mathematica. Craig Loehle and Boris Zeide provided review comments that significantly improved the paper. Funded by cooperative agreement #23-91-21, USDA Forest Service, North Central Forest Experiment Station, St. Paul, Minnesota. Yg._. t NAVE A THREE--PART QUE_.gTION,, F_-ACHPARToF:WHICH HA# "THREEPAP,T_.<.,EACFi PART" Of:: F_.AC.HPART oF wHIct4 HA.5 __ "1t4REE MORE PARTS... t_! c_4a EL o. EP-.ACTAL G EOPAgTI_YCoh_FERENCE I G;:_.4-A.-Ti_E AT THB Reprinted courtesy of Omni magazine, June 1994. VoL 16, No. 9. CONTENTS i_ Introduction ....................................................................................................... I 2° Description of Fractals ....................................................................................
    [Show full text]
  • An Investigation of Fractals and Fractal Dimension
    An Investigation of Fractals and Fractal Dimension Student: Ian Friesen Advisor: Dr. Andrew J. Dean April 10, 2018 Contents 1 Introduction 2 1.1 Fractals in Nature . 2 1.2 Mathematically Constructed Fractals . 2 1.3 Motivation and Method . 3 2 Basic Topology 5 2.1 Metric Spaces . 5 2.2 String Spaces . 7 2.3 Hausdorff Metric . 8 3 Topological Dimension 9 3.1 Refinement . 9 3.2 Zero-dimensional Spaces . 9 3.3 Covering Dimension . 10 4 Measure Theory 12 4.1 Outer/Inner Lebesgue Measure . 12 4.2 Carath´eodory Measurability . 13 4.3 Two dimensional Lebesgue Measure . 14 5 Self-similarity 14 5.1 Ratios . 14 5.2 Examples and Calculations . 15 5.3 Chaos Game . 17 6 Fractal Dimension 18 6.1 Hausdorff Measure . 18 6.2 Packing Measure . 21 6.3 Fractal Definition . 24 7 Fractals and the Complex Plane 25 7.1 Julia Sets . 25 7.2 Mandelbrot Set . 26 8 Conclusion 27 1 1 Introduction 1.1 Fractals in Nature There are many fractals in nature. Most of these have some level of self-similarity, and are called self-similar objects. Basic examples of these include the surface of cauliflower, the pat- tern of a fern, or the edge of a snowflake. Benoit Mandelbrot (considered to be the father of frac- tals) thought to measure the coastline of Britain and concluded that using smaller units of mea- surement led to larger perimeter measurements. Mathematically, as the unit of measurement de- creases in length and becomes more precise, the perimeter increases in length.
    [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]
  • Fractal Modeling and Fractal Dimension Description of Urban Morphology
    Fractal Modeling and Fractal Dimension Description of Urban Morphology Yanguang Chen (Department of Geography, College of Urban and Environmental Sciences, Peking University, Beijing 100871, P. R. China. E-mail: [email protected]) Abstract: The conventional mathematical methods are based on characteristic length, while urban form has no characteristic length in many aspects. Urban area is a measure of scale dependence, which indicates the scale-free distribution of urban patterns. Thus, the urban description based on characteristic lengths should be replaced by urban characterization based on scaling. Fractal geometry is one powerful tool for scaling analysis of cities. Fractal parameters can be defined by entropy and correlation functions. However, how to understand city fractals is still a pending question. By means of logic deduction and ideas from fractal theory, this paper is devoted to discussing fractals and fractal dimensions of urban landscape. The main points of this work are as follows. First, urban form can be treated as pre-fractals rather than real fractals, and fractal properties of cities are only valid within certain scaling ranges. Second, the topological dimension of city fractals based on urban area is 0, thus the minimum fractal dimension value of fractal cities is equal to or greater than 0. Third, fractal dimension of urban form is used to substitute urban area, and it is better to define city fractals in a 2-dimensional embedding space, thus the maximum fractal dimension value of urban form is 2. A conclusion can be reached that urban form can be explored as fractals within certain ranges of scales and fractal geometry can be applied to the spatial analysis of the scale-free aspects of urban morphology.
    [Show full text]
  • Generalizations and Properties of the Ternary Cantor Set and Explorations in Similar Sets
    Generalizations and Properties of the Ternary Cantor Set and Explorations in Similar Sets by Rebecca Stettin A capstone project submitted in partial fulfillment of graduating from the Academic Honors Program at Ashland University May 2017 Faculty Mentor: Dr. Darren D. Wick, Professor of Mathematics Additional Reader: Dr. Gordon Swain, Professor of Mathematics Abstract Georg Cantor was made famous by introducing the Cantor set in his works of mathemat- ics. This project focuses on different Cantor sets and their properties. The ternary Cantor set is the most well known of the Cantor sets, and can be best described by its construction. This set starts with the closed interval zero to one, and is constructed in iterations. The first iteration requires removing the middle third of this interval. The second iteration will remove the middle third of each of these two remaining intervals. These iterations continue in this fashion infinitely. Finally, the ternary Cantor set is described as the intersection of all of these intervals. This set is particularly interesting due to its unique properties being uncountable, closed, length of zero, and more. A more general Cantor set is created by tak- ing the intersection of iterations that remove any middle portion during each iteration. This project explores the ternary Cantor set, as well as variations in Cantor sets such as looking at different middle portions removed to create the sets. The project focuses on attempting to generalize the properties of these Cantor sets. i Contents Page 1 The Ternary Cantor Set 1 1 2 The n -ary Cantor Set 9 n−1 3 The n -ary Cantor Set 24 4 Conclusion 35 Bibliography 40 Biography 41 ii Chapter 1 The Ternary Cantor Set Georg Cantor, born in 1845, was best known for his discovery of the Cantor set.
    [Show full text]
  • Set Theory: Cantor
    Notes prepared by Stanley Burris March 13, 2001 Set Theory: Cantor As we have seen, the naive use of classes, in particular the connection be- tween concept and extension, led to contradiction. Frege mistakenly thought he had repaired the damage in an appendix to Vol. II. Whitehead & Russell limited the possible collection of formulas one could use by typing. Another, more popular solution would be introduced by Zermelo. But ¯rst let us say a few words about the achievements of Cantor. Georg Cantor (1845{1918) 1872 - On generalizing a theorem from the theory of trigonometric series. 1874 - On a property of the concept of all real algebraic numbers. 1879{1884 - On in¯nite linear manifolds of points. (6 papers) 1890 - On an elementary problem in the study of manifolds. 1895/1897 - Contributions to the foundation to the study of trans¯nite sets. We include Cantor in our historical overview, not because of his direct contribution to logic and the formalization of mathematics, but rather be- cause he initiated the study of in¯nite sets and numbers which have provided such fascinating material, and di±culties, for logicians. After all, a natural foundation for mathematics would need to talk about sets of real numbers, etc., and any reasonably expressive system should be able to cope with one- to-one correspondences and well-orderings. Cantor started his career by working in algebraic and analytic number theory. Indeed his PhD thesis, his Habilitation, and ¯ve papers between 1867 and 1880 were devoted to this area. At Halle, where he was employed after ¯nishing his studies, Heine persuaded him to look at the subject of trigonometric series, leading to eight papers in analysis.
    [Show full text]
  • Generators, Recursion, and Fractals
    Generators, Recursion, and Fractals 1 Generators computing a list of Fibonacci numbers defining a generator with yield putting yield in the function fib 2 Recursive Functions computing factorials recursively computing factorials iteratively 3 Recursive Images some examples recursive definition of the Cantor set recursive drawing algorithm MCS 260 Lecture 41 Introduction to Computer Science Jan Verschelde, 22 April 2016 Intro to Computer Science (MCS 260) generators and recursion L-41 22 April 2016 1 / 36 Generators, Recursion, and Fractals 1 Generators computing a list of Fibonacci numbers defining a generator with yield putting yield in the function fib 2 Recursive Functions computing factorials recursively computing factorials iteratively 3 Recursive Images some examples recursive definition of the Cantor set recursive drawing algorithm Intro to Computer Science (MCS 260) generators and recursion L-41 22 April 2016 2 / 36 the Fibonacci numbers The Fibonacci numbers are the sequence 0, 1, 1, 2, 3, 5, 8,... where the next number in the sequence is the sum of the previous two numbers in the sequence. Suppose we have a function: def fib(k): """ Computes the k-th Fibonacci number. """ and we want to use it to compute the first 10 Fibonacci numbers. Intro to Computer Science (MCS 260) generators and recursion L-41 22 April 2016 3 / 36 the function fib def fib(k): """ Computes the k-th Fibonacci number. """ ifk==0: return 0 elif k == 1: return 1 else: (prevnum, nextnum) = (0, 1) for i in range(1, k): (prevnum, nextnum) = (nextnum, \ prevnum + nextnum) return nextnum Intro to Computer Science (MCS 260) generators and recursion L-41 22 April 2016 4 / 36 themainprogram def main(): """ Prompts the user for a number n and prints the first n Fibonacci numbers.
    [Show full text]