Week 10 – Riemann Integrability of the Cantor Function

This week, in addition to the assigned reading, I developed a more comprehensive proof of why the Cantor function is Riemann integrable. This involves proving that f_n(x) is uniformly continuous, and that f_n(x) converges uniformly to the Cantor function. The only point of confusion I had was at the end of the proof that f_n(x) converges uniformly, at the end of the section where I prove the induction step by demonstrating that |f_n+p(x) – f_n(x)| < epsilon implies that |f_n+p+1(x) – f_n(x)| < epsilon. I felt like the argument could be made stronger, but I was not exactly sure the best way to go about it.

Cantor_Set (2)

The Cantor Function

This week, I made a few additions to my Cantor set and Cantor function discussions, most notably adding a discussion of why the Cantor function converges. I also include a computational notebook that animates the Cantor function and explores the error of the approximation f_n at different values of n.

Cantor_Set (1)

 

Cantor's Function

Week 8 – Concluding Riemann Function, Beginning the Cantor Set

This week, I wrapped up my work on the Riemann function by outlining the proof that the Riemann function is integrable. I completed the work in my notebook before the beginning of class today, but my work wound up very similar to our classwork. Furthermore, I worked on the exercises relating to the Cantor set. These include computational demonstrations for discovering whether a value is in the Cantor set, which are included in the following Mathematica Notebook pdf. It also includes a proof that the Cantor set is uncountable infinite, and that it contains no intervals.

Riemann_Function (2) Cantor Set - Base3 Representations Cantor_Set