{"id":413,"date":"2019-06-26T23:57:48","date_gmt":"2019-06-26T23:57:48","guid":{"rendered":"http:\/\/funfacts.104.42.120.246.xip.io\/?page_id=413"},"modified":"2019-11-18T22:26:18","modified_gmt":"2019-11-18T22:26:18","slug":"cantor-set","status":"publish","type":"page","link":"https:\/\/math.hmc.edu\/funfacts\/cantor-set\/","title":{"rendered":"Cantor Set"},"content":{"rendered":"\n
\"\"<\/figure><\/div>\n\n\n\n

Start with the interval [0,1]. Remove the (open) middle third of it, i.e. get (1\/3, 2\/3). Now remove the middle thirds of each of the remaining intervals, i.e. get (1\/9, 2\/9) and (7\/9, 8\/9). Continue this process ad infinitum. The points left over form a fractal called the standard Cantor Set<\/em>. It is an infinite set since a lot of points, including the endpoints of the removed intervals, are never removed. Can you list the endpoints? <\/p>\n\n\n\n

Now let’s think about lengths. The length of the original interval is 1. Now how much “length” do we remove during the process?<\/p>\n\n\n\n

At the first step, we remove an interval of length 1\/3. At the second step, we remove two intervals of length 1\/9. At the third step, we remove 4 intervals with total length 1\/27, etc. What is the total length removed during the entire process? A geometric series! SUM1 to infinity<\/sub> (2n-1<\/sup>\/3n<\/sup>) = 1.<\/p>\n\n\n\n

Wait a minute … you mean we have an infinite set left over with 0 length??<\/p>\n\n\n\n

Yes, and it’s worse than that: the set is uncountable! Thus it has as many points as interval that we started with!<\/p>\n\n\n\n

Presentation Suggestions:<\/strong>
Use this Fun Fact after students learn to sum geometric series. You may wish to assign the sum of the lengths “removed” as an exercise before presenting this Fun Fact. (Of course, you can also do the computation in terms of how much remains after each stage and get a limiting sequence instead.) Follow with the Fun Fact Devil’s Staircase.<\/p>\n\n\n\n

The Math Behind the Fact:<\/strong>
The real numbers are far stranger than any of your students might have suspected! The standard Cantor Set is quite interesting: it is an uncountable, totally disconnected, perfect (every point is a limit point) set of “Lebesgue measure zero”. Another way to describe the standard Cantor Set is the set of all real numbers in [0,1] expressible without 1’s in its base 3 expansion! Though first constructed as a pathological example, it arises naturally as a fractal in the study of dynamical systems.<\/p>\n\n\n\n

How to Cite this Page:<\/strong>\u00a0
Su, Francis E., et al. “Cantor Set.”\u00a0Math Fun Facts<\/em>. <http:\/\/www.math.hmc.edu\/funfacts>.<\/p>\n\n\n\n

References:<\/strong>
Any text on real analysis.<\/p>\n\n\n\n

Fun Fact suggested by:<\/strong>
Joshua Sabloff<\/p>\n","protected":false},"excerpt":{"rendered":"

Start with the interval [0,1]. Remove the (open) middle third of it, i.e. get (1\/3, 2\/3). Now remove the middle...<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"tags":[20,7,72,62,4],"class_list":["post-413","page","type-page","status-publish","hentry","tag-analysis","tag-calculus","tag-geometric-series","tag-measure-theory","tag-medium"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/413","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/comments?post=413"}],"version-history":[{"count":4,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/413\/revisions"}],"predecessor-version":[{"id":1378,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/413\/revisions\/1378"}],"wp:attachment":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/media?parent=413"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/tags?post=413"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}