| Related sites for http://www.mathacademy.com/pr/prime/articles/cantset/ |
| Topological_Methods_in_Group_Theory Table of contents only, but draft chapters can be downloaded by arrangement. | | Topology Descriptions and illustrations of several topological and differential geometry related notions. | | Topology_Atlas Preprints, abstracts, calendar, links, other resources. | | Topology_Glossary Definitions of over 100 terms in topology. | | TTT_on_WWW The Transpennine Topology Triangle is a topology seminar partially supported by the London Mathematical Society with vertices at Leicester, Manchester and Sheffield. | | What_is_Topology? An introductory essay by Neil Strickland, University of Sheffield. | | General_Relativity A brief history of the development of general relativity with hyperlinks to biographies of each contributor. | | General_Relativity A laymen's guide to the theory of General Relativity. | | Mathematical_Basis_of_General_Relativity_Quantum_Theory Provides extensive background on the relation between speen, torsion and derivative of metric tensor. [Site may not work in all browsers] | | Principles_of_Relativity_Illuminated A concise treatise that elucidates the crucial elements of Relativity in no-nonsense language, foregoing much of the math and history. | | Relativity_in_a_Wormhole A set of pages produced by students to educate the general public on the theory of relativity and its implications | | Relativity,_Space_and_Time Science popularization article on the Theory of Relativity. | | Spacetime A brief summary of Spacetime Theories at the beginning of the Third Millennium, and of the possibility that we live in an essentially atemporal universe. | | Australian_Society_of_Rheology A bridge between academic research and industry | | British_Society_for_Rheolgy_-_BSR Member of ESR. Includes society information, schedule of events, minutes. | | ESR_-_The_European_Society_of_Rheology___THE_SCIENCE_OF_FLOWING_MATERIALS Rheologists website. Information about conferences, meetings, jobs, and schools announcements. Includes forum, links a mailing list and list of national societies under 'members'. | | The_Society_of_Rheology Member society of AIP , USA | | The_Society_of_Rheology,_Japan The SRJ consists of about 1,000 personal members and 120 sustaining members as of April, 1996 | | DocCopper\'s_Gold_Prospecting Information, links and books for the recreational gold prospector. | | British_Section_of_the_Society_of_Protozoology This is the UK home of the protozoology society. Find out about our spring and autumn meetings or how to join and participate. | | British_Section_Society_of_Protozoologists Promotes the study, teaching and dissemination of all aspects of protozoology; provides a forum for the presentation and discussion of results obtained from original research and for an exchange of in | | Cryptosporidium_Genome_Project Maintains a collection of over 2000 strains of algae and protozoa. | | Gallery_of_Life_In_a_Pond Beautiful photomicrography highlights a short natural history of 10 different species of 'Proctoctista' organisms. Other galleries show different groups of microlife. | | Introduction_to_the_Ciliata A brief description of the ciliate protozoans. | | The_Journal_of_Eukaryotic_Microbiology_Home_Page The Journal of Eukaryotic Microbiology publishes original research on protists, including lower algae and fungi. Articles are published covering all aspects of these organisms, including their behavio | | Lacrymaria_olor__Tear_of_a_Swan Article about this fascinating protozoan from Micscape magazine, with a movie of Lacrymaria olor in action. | | Ordo_Chytridiales A systematic overview of an order of Watermolds | | Protist Home page for the professional journal, Protist. | | Protist_Kingdom A brief introduction to the Protists with activities for students. | | Protozoan_Houses Shells, tests, gelatinous envelopes and other protozoan body coverings are discussed in this article from Micscape. | | Protozoan_Parasites Images of the water-borne parasites Cryptosporidium parvum, Entamoeba histolytica, and Giardia lamblia. | | Sarcodina___Chaos_(Pelomyxa)_Carolinensis An article about observing this large amoeba. | | Skovgaard,_Alf Personal site on research in ecology of marine protists (dinoflagellates) including protistan parasites in planktonic copepods. | | Society_of_Protozoologists International group of scientists that use protists as their research organisms. | | Volvox__a_beautiful_microscopic_life-form Stunning photographs and video clips, and a description of Volvox, can be seen in this article by Maurice Smith and Ken Jones from Micscape Magazine. | | Brane_Cosmology The aim of these lectures is to give a brief introduction to brane cosmology | | Branes_for_Relativists The purpose of this manuscript is to provide a pedagogical account of the brane technology so that the relativists can use branes in their study. | | Brane-Storm_Challenges_Big_Bang_Theory A popular physics explanation of the ekpyrotic model of universe creation | | Cosmology_in_a_Brane_Universe This lecture presents the cosmological models with extra dimensions that have been recently elaborated, which assume that ordinary matter is confined on a surface, called brane, embedded in a higher d | | A_Cyclic_Universe An article from Sky & Telescope on the ekpyrotic universe model. |
|
Cantor Set (PRIME)    BROWSE ALPHABETICALLY LEVEL: Elementary Advanced Both INCLUDE TOPICS: Basic Math Algebra Analysis Biography Calculus Comp Sci Discrete Economics Foundations Geometry Graph Thry History Number Thry Physics Statistics Topology Trigonometry   The Cantor Set  onsider a line segment of unit length. Remove its middle third. Now remove the middle thirds from the remaining two segments. Now remove the middle thirds from the remaining four segments. Now remove the middle thirds from the remaining eight segments. Now remove ... well, you get the idea. If you could continue this construction through infinitely many steps, what would you have left? What remains after infinitely many steps is a remarkable subset of the real numbers called the Cantor set, or “Cantor’s Dust.”At first glance one may reasonably wonder if there is anything left. After all, the lengths of the intervals we removed all add up to 1, exactly the length of the segment we started with: Yet, remarkably, we can show that there are just as many “points” remaining as there were before we began! This startling fact is only one of the many surprising properties exhibited by the Cantor set.Before we begin to expose these properties, it is important to be quite precise about this construction. Let us agree that the segments we remove at each stage of the construction are open intervals. That is, in the first step we remove all of the points between 1/3 and 2/3, but leave the end points, and similarly for each successive stage. A little reflection will convince you that these endpoints we leave behind never get removed, since at each stage we are only removing parts that lie strictly between the endpoints left behind at the previous stage. Thus we see that our Cantor set cannot be empty, since it contains 0, 1, 1/3, 2/3, 1/9, 2/9, 7/9, 8/9, 1/27, and so on.But in fact there is much more that remains. To see this, recall that we may choose any number base to represent real numbers. That is, there is nothing necessary or even special about our common use of base ten; we can just as easily represent our numbers using base two, or base three, or any other base. When a number is written in base two it is said to be in binary notation, and when it is written in base three it is said to be in ternary notation. Let's focus on the ternary representations of the decimals between 0 and 1. Since, in base three, 1/3 is equal to 0.1, and 2/3 is equal to 0.2, we see that in the first stage of the construction (when we removed the middle third of the unit interval) we actually removed all of the real numbers whose ternary decimal representation have a 1 in the first decimal place, except for 0.1 itself. (Also, 0.1 is the same as 0.0222... in base three, so if we choose this representation we are removing all the ternary decimals with 1 in the first decimal place.) In the same way, the second stage of the construction removes all those ternary decimals that have a 1 in the second decimal place. The third stage removes those with a 1 in the third decimal place, and so on. (Convince yourself that this is so. Begin by noticing that 1/9 is equal to 0.01 and 2/9 is equal to 0.02 in base three.)Thus, after everything has been removed, the numbers that are left – that is, the numbers making up the Cantor set – are precisely those whose ternary decimal representations consist entirely of 0’s and 2’s. What numbers does this include, besides the ones already noted above? How many are there?Lots. Consider 1/4. This is not one of the endpoints (those all have powers of three in the denominator), but it is not hard to show that 1/4 is in the Cantor set. Begin by writing 4 in ternary notation (as 11 – one “1” plus one “3”), and then use long division to get its ternary decimal representation: Since the decimal expansion of 1/4 consists entirely of 0’s and 2’s, it was never removed during the construction of the Cantor set, so it's still there ... somewhere!Asking how many numbers are left, as you can easily see, is to ask how many numbers can be represented in ternary notation with no “1” in any decimal place. But this must be as many as there are real numbers in the unit interval – for consider: we may represent all the real numbers between 0 and 1 in binary, and this is just every possible decimal with a 1 or a 0 in each decimal place. And there can be no more and no less of these than there are ternary decimals with a 0 or a 2 in each decimal place. They correspond in an obvious way.The conclusion is inescapable: once we remove all those intervals, the number of points remaining is no less than the number we started with. (If this seems inconceivable to you, you might wish to read the Infinity Minitext.)Let us examine that “correspondence” more closely. The idea is evident: for every number whose ternary decimal expansion consists entirely of 0’s and 2’s, match it with the corresponding number whose binary decimal expansion has 0’s in the same place, and 1’s wherever the ternary number had 2’s. Thus, 1/4 in ternary gets matched with 1/3 in binary: This is evidently a function that is surjective. Moreover, it is continuous. (Elements that are “close” in the domain are mapped to elements that are “close” in the range.)We can extend this to a function, called the Cantor function, from the entire unit interval onto itself, by simply agreeing to let its value on the missing intervals be the constant values which equal the values of the original function on the endpoints of those intervals. For example, the Cantor function will map each point in the first middle-third interval (1/3, 2/3) to 1/2, the value of the original function on the points 1/3 and 2/3. (Recall that 1/3 has ternary representation 0.0222... and 2/3 has ternary representation 0.2, which map to 0.0111... and 0.1 respectively, and these both represent the number 1/2 in binary.) If we were to attempt to graph this function, it would look like this: The flat parts are the images of all of the “middle thirds,” and these are all connected by the images of the Cantor set itself. This construction has been called the “Devil's Staircase” since it has infinitely many “steps.”A few more analytical tidbits: Since each interval removed was open, and there were only countably many of them, their union is also open. Thus, the Cantor set (which is the complement of this union) is closed. That is, it contains all of its accumulation points. Moreover, every point of the Cantor set is an accumulation point, since within any neighborhood of a number whose ternary expansion consists entirely of 0’s and 2’s one may find other such numbers. Consequently, the Cantor set is a perfect set in the topologist’s sense. Finally, since any open neighborhood of any point of the Cantor set contains an open set which is disjoint from the Cantor set, we have that the Cantor set is nowhere dense. Altogether a remarkable set.ADDENDUM:Many have gotten to know the Cantor set as a fractal. We touch here briefly on these properties. Let us again visualize the construction:Although the Cantor set itself is to be thought of as the “final row” in this picture, the picture considered altogether is very suggestive. Notice that at each stage the picture is “doubled” into two copies which precisely resemble the whole, but which at each stage become two-thirds smaller.Together these properties – self-similarity at every scale over a uniform reduction of scale – qualify the Cantor set as a fractal with Hausdorf dimension given by: The Cantor set is an instructively simple example of a fractal, demonstrating that our geometrical intuitions about space (even such simple spaces as the unit interval) can fail to capture much of the deep structure inherent in those very intuitions.
 HOME | ABOUT | CONTACT | AD INFO | PRIVACYCopyright © 1997-2008, Math Academy Online™ / Platonic Realms™. Except where otherwise prohibited, material on this site may be printed for personal classroom use without permission by students and instructors for non-profit, educational purposes only. All other reproduction in whole or in part, including electronic reproduction or redistribution, for any purpose, except by express written agreement is strictly prohibited. Please send comments, corrections, and enquiries using our contact page.
|
|
