Title:Fun with Analysis 1: a dynamical re-analysis of fundamental theorems in calculus

Abstract:Although a first course in analysis is not always a pleasant experience for fresh students, a re-examination of its material, using the more sophisticated tools and ways of thinking obtained in later stages, can be a real fun for experts, advanced students and many others. Here we try to achieve something in this direction by playing with, and looking for new horizons in, three fundamental theorems in calculus and related material. We start the trilogy by going to the extreme, namely by discussing the Extreme Value Theorem. Two short proofs of it are presented: "the programmer proof" which suggests a method (which is practical in down-to-earth settings) to approximate, to any required precision, the extreme (optimal) values of the given continuous function, and an abstract space proof ("the level-set proof") for semicontinuous functions defined on compact topological spaces. In the intermediate part we discuss the Intermediate Value Theorem, generalize it to a class of discontinuous functions, re-examine the intermediate value property, and establish a fixed point theorem for (very) discontinuous functions. The trek reaches the final frontier in a discussion on uniform continuity, where we obtain explicitly the optimal delta of the given epsilon, derive several properties of it, and establish the Uniform Continuity Theorem and related assertions. Have fun!