Fun with "Analysis I": basic theorems in calculus revisited

arXiv0709.4492MaRDI QIDQ6206942FDOQ6206942

Publication date: 27 September 2007

Abstract: This note tries to show that a re-examination of a first course in analysis, using the more sophisticated tools and approaches obtained in later stages, can be a real fun for experts, advanced students, etc. We start by going to the extreme, namely we present two proofs of the Extreme Value Theorem: "the programmer proof" that suggests a method (which is practical in down-to-earth settings) to approximate, to any required precision, the extreme values of the given function in a metric space setting, and an abstract space proof ("the level-set proof") for semicontinuous functions defined on compact topological spaces. Next, in the intermediate part, we consider the Intermediate Value Theorem, generalize it to a wide class of discontinuous functions, and re-examine the meaning of the intermediate value property. The trek reaches the final frontier when we discuss the Uniform Continuity Theorem, generalize it, re-examine the meaning of uniform continuity, and find the optimal delta of the given epsilon. Have fun!

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Nonconvex programming, global optimization (90C26) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Connected and locally connected spaces (general aspects) (54D05) Foundations: limits and generalizations, elementary topology of the line (26A03) Proof theory and constructive mathematics (03F99)

This page was built for publication: Fun with "Analysis I": basic theorems in calculus revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6206942)