2
$\begingroup$

I am currently beginning with Calculus Volume 1 by Tom M. Apostol . It has an introduction chapter divided into 4 parts namely

  • Historical introduction

  • Basic concept of set theory

  • A set of axioms for real number system

  • Mathematical induction, summation notation and related Topics

I have read the the first two topics as the first one was interesting and the second one was pretty easy but then I encounter the third part which quite perplexed me.

I mean what was the need to write proofs for the basic properties of real numbers that we have been using for years since the starting of our school time ? And the proofs written themselves are very weird, mostly paragraphs of statements based on numerous axioms or theorems.

I am a bit in hurry or you may say impatient, as I know basic uses of Calculus (uses of formulas of Calculus to find slope, area etc and their applications) for about a year as it was in the syllabus of my 12th grade but they only taught us how to use the formulas to find answers of questions. They didn't told us the working of Calculus. They didn't give any intuition or proves. It kind of frustrated me and made me impatient to learn calculus in depth.

So I didn't try the exercises of this topic as it only contained questions asking for proofs of numerous statements.

I am bit skeptic whether I should pay much attention to this topic and it's exercises on not ? Is this topic really that important for in depth knowledge of Calculus ?

$\endgroup$
11
  • 1
    $\begingroup$ As long as you have some basic proficiency in rigorous math, most people typically skip this stuff. Perhaps just skim through it and carry on. $\endgroup$ Commented Jun 8, 2021 at 1:33
  • $\begingroup$ @Vercingetorix Won't these be used in Proofs of formulas of Calculus that they taught me in school ? $\endgroup$ Commented Jun 8, 2021 at 1:34
  • $\begingroup$ It’s certainly not necessary. Most high school and college calculus here in the States doesn’t cover it. But it is something a person taking a sophisticated interest in math should learn. Apostle is definitely not meant for engineering students learning calculus, but for students seeking to learn the details. $\endgroup$ Commented Jun 8, 2021 at 1:36
  • 1
    $\begingroup$ @user933496 What is your goal? Btw, this kind of discussion is better suited to chat instead of extended comments. chat.stackexchange.com/rooms/36/mathematics I'll be happy to chat with you there if you like. $\endgroup$
    – user169852
    Commented Jun 8, 2021 at 1:40
  • 2
    $\begingroup$ Just curious, how did you choose this book for your self-learning? Because most calculus books don’t cover these things, but usually, Apostol is chosen specifically because it handles questions with mathematical rigor, and mathematical rigor is one of the things you are expected to learn from reading it. Did someone recommend the book to you? $\endgroup$ Commented Jun 8, 2021 at 2:13

2 Answers 2

3
$\begingroup$

There are (at least) three possible reasons to embark on an axiomatic development of anything:

  1. Such that we can get general results that will transfer to different structures that satisfy the same axioms.

  2. As a way to make establish a convention for what is a valid proof and what is just handwaving. That's important especially in an area where handwaving is known to often lead to false conclusions -- and the history of calculus contains some spectacular examples of smart, capable people being led astray because they didn't yet have solid concepts of what is and isn't a good proof.

  3. Because the axiomatic approach is actually easier than to explain how the things we're speaking about work internally.

The first of these is supremely important in many areas of modern mathematics, but doesn't apply to the reals, full stop. There are no other models of the axioms that are usually presented (up to isomorphism, and as long as we stay within mainstream mathematical foundations, bla bla pedantry yada).

The second one is easy to make idealistic speeches about, and it certainly has something to go for it in a calculus course that will be most students' first encounter with the general level of proof and rigor in it. You can't demand rigorous proofs without first agreeing which facts you can prove things from.

The third one is one that applies very rarely. Usually it's a lot easier to understand a main example or two in at least some detail before moving on to an abstraction. However, the real numbers are arguably one of the few cases where the abstract axiomatic model is actually easier than being more concrete.

In particular, in calculus (and real analysis in general) we often find ourselves needing to prove that such-and-such sequence or function has a limit, according to the particular technical definition of limit. The fact that there is a number that satisfies the convolutions of definition is often not something that's really obvious based on grade-school experience with real-number arithmetic. Our choices are then basically:

  1. Give a complex but complete definition of "what a real number really is", with all the internal details (using, for example, Dedekind cuts), and then prove that based on this definition the limits do indeed exist under such-and-such condition, or

  2. Simply assert as an axiom that real numbers with certain properties (typically something like the existence of suprema) exist, and derive consequences from that.

The first way is, as I've noted, the way that usually works best. But in the particular case of the reals, the concrete definition we start with is going to look very unmotivated to students, and it certainly won't in any way evoke the concept they thought they knew from grade school. In fact, just the opposite: It's far from intuitive that arithmetic on Dedekind cuts works like we expect real arithmetic to work. So doing it the concrete way would actually function as a barrier to understanding.

On the other hand, the supremum property can count as a mostly intuitive fact about how the hand-wavy geometric concept of the real number line behaves. Simply asserting it will allow us move on relatively quickly to interesting uses of reals, while still providing the ingredients for having valid proofs that the limits we need to exist actually do exist.

$\endgroup$
1
  • $\begingroup$ So you meant say that before this system of proofs it was a bit chaotic to prove theorems as it was difficult to assign which proof is valid and which is not as different mathematicians gave different proofs which seemed logical or intuitive to them but that didn't work for others. So to come up with aggreement mathematicians developed this system where they said " Look regarding __ topic, we all agree that so and so statements are true and we call it axioms. Now if you wanna prove anything use these axioms or theorems based on them otherwise we won't accept it." Did I got that right ? $\endgroup$ Commented Jun 8, 2021 at 3:04
2
$\begingroup$

Skip it if that's your preference. The only thing you'd be missing out on is an excellent opportunity to build your foundational knowledge, your mental muscle so to speak, particularly in rigor, techniques of proof, and the mathematical way of thinking. If you later get to things like real analysis, you might find some of these preliminaries useful when you search for counterexamples.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .