DOCSLIB.ORG

Cantor Set Cantor Set Is a Special Subset of the Closed

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Cantor Set Cantor Set Is a Special Subset of the Closed Cantor Set Cantor set is a special subset of the closed interval [0; 1] invented by a German mathematician Georg Cantor in 1883. We have already dicussed the construction of this `ternary' set in the class but let me quickly recall it. Let I0 := [0; 1]. Remove the open middle third (1=3; 2=3) from I0. Let I1 := [0; 1=3] [ [2=3; 1], precisely I1 = I0n(1=3; 2=3). Remove middle third open intervals (1=9; 2=9) and (7=9; 8=9) from the respective closed intervals whose union is I1. 1 2 3 4 Let I2 := [0; 1=9] [ [2=9; 3=9] [ [6=9; 7=9] [ [8=9; 9=9] say, I2 [ I2 [ I2 [ I2 . k Continue this precedure of removal of open intervals from each closed interval Ij ; 1 ≤ j k ≤ 2 whose union is Ij, j = 3; 4; ··· and get Ij+1 by taking the union of whatever k is left from each Ij after the removal of open inetervals as before. 1 Define the Cantor set C := \n=1In. Observations/Facts about C (1) Cantor is non-empty: Clearly all end points of the closed intervals comprising In for every n = 1; 2; ··· are in C. Further it contains countably many points, for example points of the form 1=3n , n = 1; 2; 3; ··· . n (2) Cantor set is a closed subset in [0; 1] : Each In is a union of 2 closed inter- vals. As a finite union of closed intevals, it is a closed set in [0; 1] with the usual metric. Then C is a closed subset of [0; 1] being the intersection of closed sets In, n = 1; 2; ··· n (3) Cantor set has length 0 : Each In is a union of 2 closed intervals, each of n length 1=3 . Thus, length of I1 i.e. `(I1) = 2 × 1=3 = 2=3, `(I2) = 4 × (1=9) = 2 n n n (2=3) ··· `(In) = 2 × (1=3 ) = (2=3) . This implies that the length of the Cantor n set `(C) = limn!1(2=3) = 0. (4) Cantor set is a uncountable set: Suppose on contrary C is a countable set. Let k x 2 C. Thus x 2 In; n = 1; 2 ··· . Note that every closed interval Ij in Ij gives rise to two closed intervals L and R in the next step of forming Ij+1. As x 2 C ⊂ [0; 1], x 2 L or R in I1. Suppose it is in L in I1. Then x can either be in L or in R in I2. Suppose it is R in I2 and then in R in I3. Tracing down the intervals in which x lies in 0 0 each In, we get a unique infinite sequence of L s and R s, which in this case is LRR ··· . Therefore, given a x 2 C we get a unique sequence of L0s and R0s. 1 2 Now, suppose we consider this same sequence LRR ··· as above and go on choos- th ing random points yn at every stage in In from L or R as given in the n place of the sequence. Then it is easy to check that fyngn forms a Cauchy sequence and as n ! 1 it converges to the point x as above. Let us re-name L $ 0 and R $ 2. Then it will give a ternary expansion for ev- ery x 2 C. For example in the above case, x $ LRR · · · $ 022 ··· ( or to be precise 0:022 ··· ). As C is assumed to be a countable set we can list it's elements and write their respec- tive ternary exampnsion in 00s and 20s. a1 = a11a12a13 ··· a2 = a21a22a23 ··· a3 = a31a32a33 ··· . an = an1an2an3 ··· . We will now use Cantor's diagonal argument to construct an element b 2 C which is not in the list fa1; a2; a3; · · · g. Let b = b1b2b3 ··· where bi = 0 if aii = 2 and bi = 2 th if aii = 0. We can check that at every n stage, bn differs from an. As b also has a ternary expression in 00s and 20s it belongs to C (For this use the fact (8) ). Thus proving that C is an uncountable set. (5) Cantor set has no intervals: ( part of tutorial) (6) Cantor set is a no where dense subset of [0; 1] (part of tutorial) (7) Cantor set is a totally disconnected set . It is also compact in the usual topology on [0; 1]( Later) Ternary expansions and the Cantor Set (8) An element x in [0; 1] belongs to the Cantor set C if and only if x has only 00s and 20s in it's ternary expansion : Note that a real number x may not have a unique ternary expansion (for example 2 3 4 2 2 1=3 = (0:1)3. Also, (0:022)3 = 2=3 + 2=3 + 2=3 + ··· = 2=3 (1 + 1=3 + 1=3 + ··· ) = 1=3 ). But x can have at most one ternary expansion consisting of only 00s and 20s (Prove this fact as a exercise). Proof of (8). Now, let x 2 C. Then following the argument of (4), we know that x has a unique ternary expansion in 00s and 20s. Now let x 2 [0; 1] such that it has only 0 0 P1 −k 0 s and 2 s in it's ternary expansion i.e. x = k=1 ak3 , where ak = 0 or 2. 3 We will show by using induction on k that x 2 Ik for every k and thus is contained in C. Clearly x 2 I0 = [0; 1]. next if a1 = 0 then x ≤ (0:1)3 = 1=3; if a1 = 2 then x ≥ (0:2)3 = 2=3. So x 2 [0; 1=3] [ [2=3; 1] = I1. This gives base case for induction. k Assume that x 2 Ik. Then x is in one of the 2 disjoint closed intervals comprising Ik, say [a; b]. The construction process of removing middle third open intervals ensures that every left end point in Ik must either be a left end point of Ik−1 or is a sum of k a left end point of Ik−1 and 2=3 . Now removing open middle third set from [a; b] results in two disjoint closed intervals L = [a; a + 1=3k] and a right closed interval k+1 k+1 [b−1=3 ; b]. If ak+1 = 0 then x ≤ a+1=3 and is thus contained in L. If ak+1 = 2, k+1 then x ≥ a + 2=3 and is contained in the right interval R. Either way x 2 Ik+1. So the inductive step is complete. Thus x 2 C. .
Load more

Recommended publications
  • Cantor on Infinity in Nature, Number, and the Divine Mind
    Cantor on Infinity in Nature, Number, and the Divine Mind Anne Newstead Abstract. The mathematician Georg Cantor strongly believed in the existence of actually infinite numbers and sets. Cantor’s “actualism” went against the Aristote- lian tradition in metaphysics and mathematics. Under the pressures to defend his theory, his metaphysics changed from Spinozistic monism to Leibnizian volunta- rist dualism. The factor motivating this change was two-fold: the desire to avoid antinomies associated with the notion of a universal collection and the desire to avoid the heresy of necessitarian pantheism. We document the changes in Can- tor’s thought with reference to his main philosophical-mathematical treatise, the Grundlagen (1883) as well as with reference to his article, “Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche” (“Concerning Various Perspec- tives on the Actual Infinite”) (1885). I. he Philosophical Reception of Cantor’s Ideas. Georg Cantor’s dis- covery of transfinite numbers was revolutionary. Bertrand Russell Tdescribed it thus: The mathematical theory of infinity may almost be said to begin with Cantor. The infinitesimal Calculus, though it cannot wholly dispense with infinity, has as few dealings with it as possible, and contrives to hide it away before facing the world Cantor has abandoned this cowardly policy, and has brought the skeleton out of its cupboard. He has been emboldened on this course by denying that it is a skeleton. Indeed, like many other skeletons, it was wholly dependent on its cupboard, and vanished in the light of day.1 1Bertrand Russell, The Principles of Mathematics (London: Routledge, 1992 [1903]), 304.
    [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]
  • I Want to Start My Story in Germany, in 1877, with a Mathematician Named Georg Cantor
    LISTENING - Ron Eglash is talking about his project http://www.ted.com/talks/ 1) Do you understand these words? iteration mission scale altar mound recursion crinkle 2) Listen and answer the questions. 1. What did Georg Cantor discover? What were the consequences for him? 2. What did von Koch do? 3. What did Benoit Mandelbrot realize? 4. Why should we look at our hand? 5. What did Ron get a scholarship for? 6. In what situation did Ron use the phrase “I am a mathematician and I would like to stand on your roof.” ? 7. What is special about the royal palace? 8. What do the rings in a village in southern Zambia represent? 3)Listen for the second time and decide whether the statements are true or false. 1. Cantor realized that he had a set whose number of elements was equal to infinity. 2. When he was released from a hospital, he lost his faith in God. 3. We can use whatever seed shape we like to start with. 4. Mathematicians of the 19th century did not understand the concept of iteration and infinity. 5. Ron mentions lungs, kidney, ferns, and acacia trees to demonstrate fractals in nature. 6. The chief was very surprised when Ron wanted to see his village. 7. Termites do not create conscious fractals when building their mounds. 8. The tiny village inside the larger village is for very old people. I want to start my story in Germany, in 1877, with a mathematician named Georg Cantor. And Cantor decided he was going to take a line and erase the middle third of the line, and take those two resulting lines and bring them back into the same process, a recursive process.
    [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]
  • Cantor and Continuity
    Cantor and Continuity Akihiro Kanamori May 1, 2018 Georg Cantor (1845-1919), with his seminal work on sets and number, brought forth a new field of inquiry, set theory, and ushered in a way of proceeding in mathematics, one at base infinitary, topological, and combinatorial. While this was the thrust, his work at the beginning was embedded in issues and concerns of real analysis and contributed fundamentally to its 19th Century rigorization, a development turning on limits and continuity. And a continuing engagement with limits and continuity would be very much part of Cantor's mathematical journey, even as dramatically new conceptualizations emerged. Evolutionary accounts of Cantor's work mostly underscore his progressive ascent through set- theoretic constructs to transfinite number, this as the storied beginnings of set theory. In this article, we consider Cantor's work with a steady focus on con- tinuity, putting it first into the context of rigorization and then pursuing the increasingly set-theoretic constructs leading to its further elucidations. Beyond providing a narrative through the historical record about Cantor's progress, we will bring out three aspectual motifs bearing on the history and na- ture of mathematics. First, with Cantor the first mathematician to be engaged with limits and continuity through progressive activity over many years, one can see how incipiently metaphysical conceptualizations can become systemati- cally transmuted through mathematical formulations and results so that one can chart progress on the understanding of concepts. Second, with counterweight put on Cantor's early career, one can see the drive of mathematical necessity pressing through Cantor's work toward extensional mathematics, the increasing objectification of concepts compelled, and compelled only by, his mathematical investigation of aspects of continuity and culminating in the transfinite numbers and set theory.
    [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]
  • 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.
    [Show full text]
  • 2.5. INFINITE SETS Now That We Have Covered the Basics of Elementary
    2.5. INFINITE SETS Now that we have covered the basics of elementary set theory in the previous sections, we are ready to turn to infinite sets and some more advanced concepts in this area. Shortly after Georg Cantor laid out the core principles of his new theory of sets in the late 19th century, his work led him to a trove of controversial and groundbreaking results related to the cardinalities of infinite sets. We will explore some of these extraordinary findings, including Cantor’s eponymous theorem on power sets and his famous diagonal argument, both of which imply that infinite sets come in different “sizes.” We also present one of the grandest problems in all of mathematics – the Continuum Hypothesis, which posits that the cardinality of the continuum (i.e. the set of all points on a line) is equal to that of the power set of the set of natural numbers. Lastly, we conclude this section with a foray into transfinite arithmetic, an extension of the usual arithmetic with finite numbers that includes operations with so-called aleph numbers – the cardinal numbers of infinite sets. If all of this sounds rather outlandish at the moment, don’t be surprised. The properties of infinite sets can be highly counter-intuitive and you may likely be in total disbelief after encountering some of Cantor’s theorems for the first time. Cantor himself said it best: after deducing that there are just as many points on the unit interval (0,1) as there are in n-dimensional space1, he wrote to his friend and colleague Richard Dedekind: “I see it, but I don’t believe it!” The Tricky Nature of Infinity Throughout the ages, human beings have always wondered about infinity and the notion of uncountability.
    [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]
  • Gödel's Cantorianism
    Gödel’s Cantorianism Claudio Ternullo KGRC, University of Vienna* “My theory is rationalistic, idealistic, optimistic, and theological”. Gödel, in Wang (1996), p. 8 “Numeros integros simili modo atque totum quoddam legibus et relationibus compositum efficere” Cantor, De transformatione formarum ternariarum quadraticarum, thesis III, in Cantor (1932), p. 62 1. Introductory remarks There is no conclusive evidence, either in his published or his unpublished work, that Gödel had read, meditated upon or drawn inspiration from Cantor’s philosophical doctrines. We know about his philosophical “training”, and that, since his youth, he had shown interest in the work of such philosophers as Kant, Leibniz and Plato. It is also widely known that, from a certain point onwards in his life, he started reading and absorbing Husserl’s thought and that phenomenology proved to be one of the most fundamental influences he was to subject himself to in the course of the development of his ideas. 1 But we do not know about the influence of Cantor’s thought. In Wang’s book containing reports of the philosophical conversations the author had with Gödel, one can find only a few remarks by Gödel concerning Cantor’s philosophical conceptions. Not much material do we get from the secondary literature either. For instance, if one browses through the indexes of Dawson’s fundamental biography of Gödel (Dawson 1997), or those of Wang’s three ponderous volumes (1974, 1987, 1996) one finds that all mentions of Cantor in those works either refer to specific points of Cantorian set theory, as discussed by the authors of these books, or, more specifically, to Gödel’s paper on Cantor’s continuum problem, 2 wherein * The writing of this article has been supported by the JTF Grant ID35216 (research project “The Hyperuniverse.
    [Show full text]