{"id":557,"date":"2019-06-29T22:25:02","date_gmt":"2019-06-29T22:25:02","guid":{"rendered":"http:\/\/funfacts.104.42.120.246.xip.io\/?page_id=557"},"modified":"2019-11-18T23:42:36","modified_gmt":"2019-11-18T23:42:36","slug":"devils-staircase","status":"publish","type":"page","link":"https:\/\/math.hmc.edu\/funfacts\/devils-staircase\/","title":{"rendered":"Devil’s Staircase"},"content":{"rendered":"\n
\"\"<\/figure><\/div>\n\n\n\n

Here is a strange continuous function on the unit interval, whose derivative is 0 almost everywhere, but it somehow magically rises from 0 to 1!<\/p>\n\n\n\n

Take any number X in the unit interval, and express it in base 3. Chop off the base 3 expansion right after the first 1. Next change all 2’s in the expansion to 1’s. This number now has only 0’s or 1’s in its expansion, so we can interpret it as a base 2 number! Call this new number f(x).<\/p>\n\n\n\n

If you plot this function, you get something called the Devil’s Staircase<\/em>. It is related to the standard Cantor set in the following way. This function is constant at all the removed intervals from the standard Cantor set. For instance if x is in [1\/3, 2\/3], then f(x)=1\/2. If x is in [1\/9, 2\/9], then f(x)=1\/4; if x is in [7\/9, 8\/9], then f(x)=3\/4.<\/p>\n\n\n\n

If you plot this you will see that this function is not differentiable at the Cantor set points, but has zero derivative everywhere else! But since a Cantor set has measure zero, this function is has zero derivative practically everywhere, and only “rises” on Cantor set points!<\/p>\n\n\n\n

Presentation Suggestions:<\/strong>
Draw a good approximation to the devil’s staircase.<\/p>\n\n\n\n

The Math Behind the Fact:<\/strong>
Pathological functions such as this one are important and fun examples that are studied in a real analysis course. Another fun pathology is a Continuous but Nowhere Differentiable function.<\/p>\n\n\n\n

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

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

Here is a strange continuous function on the unit interval, whose derivative is 0 almost everywhere, but it somehow magically...<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"tags":[57,20,7,130,86,60],"class_list":["post-557","page","type-page","status-publish","hentry","tag-advanced","tag-analysis","tag-calculus","tag-functions","tag-measure-0","tag-real-analysis"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/557","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=557"}],"version-history":[{"count":3,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/557\/revisions"}],"predecessor-version":[{"id":1399,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/557\/revisions\/1399"}],"wp:attachment":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/media?parent=557"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/tags?post=557"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}