Earlier quoted context omitted.
Author of book here. Nice comment, and very interesting question. I am not worried about using "informality" to get more people studying mathematics. The book is informal, but by the end of the book, the integral that gets presented is the correct definition of the integral. I've just collapsed as much of the technical language at possible and focused on the core idea. My thinking is: if someone is hooked, sure they'…
My pages apparently don't align with yours (I see page 46 has only a single exercise), but I don't see where Rudin says anything is "good enough." He states the definition of convergence, meaning that if a sequence satisfies the property then we choose to call it convergent. There is no question of good enough I don't see a claim about an "infinite set of inequalities" - I see an infinite set of I equalities that mus…
I know it seems formal because it adheres to a certain structure, but even this is informal at a fundamental level.
Specifically, how can we be sure we can perform a countably infinite number of distance measurements in the metric space to be sure the sequence stays close to p? (this is the infinite stack of inequalities I alluded to)
He doesn't say. Implicitly, Rudin is saying here that this definition of "converges" is good enough. And he's not wrong. It is a very good definition. To me at least this is Rudin, the towering statue of formality, being informal.
He could/should have actually gone down to a more fundamental level and whipped out mathematical induction as an axiom to assure us that we can do such things, but then that would have taken him off his narrative goal, and also probably lost even more readers. Furthermore, even if he did so, an axiom is an assertion that "you just have to trust me on this one."
Now look, I'm not bashing formality. I'm a huge fan of it, and teach upper level math classes formally. But it has it's place and it is NOT in Calculus 1. Furthermore, I think folks need to realize that even the most formal of treatises have informalities buried in them at the very least in the form of stated axioms.