An Accompaniment to Higher Mathematics

For Students Congratulations! You are about to take a course in mathematical proof. If you are nervous about the whole thing, this book is for you (if not, please read the second and third paragraphs in the introduction for professors following this, so you won't feel left out). The rumors are true; a first course in proof may be very hard because you will have to do three things that are probably new to you: 1. Read mathematics independently. 2. Understand proofs on your own. :1. Discover and write your own proofs. This book is all about what to do if this list is threatening because you "never read your calculus book" or "can't do proofs. " Here's the good news: you must be good at mathematics or you wouldn't have gotten this far. Here's the bad news: what worked before may not work this time. Success may lie in improving or discarding many habits that were good enough once but aren't now. Let's see how we've gotten to a point at which someone could dare to imply that you have bad habits. l The typical elementary and high school mathematics education in the United States tends to teach students to have ineffective learning habits, 1 In the first paragraph, yet. xiv Introduction and we blush to admit college can be just as bad.

This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique familiar to any mathematician, but rarely taught); it provides practice by indicating explicitly where work with pencil and paper must interrupt reading. The book then turns to proofs, showing in detail how to discover the structure of a potential proof from the form of the theorem (especially the conclusion). It shows the logical structure behind proof farms (especially quantifier arguments), and analyzes, thoroughly, the often sketchy coding of these forms in proofs as they are ordinarily written. The common introductory material (such as sets and functions) is used for the numerous exercises, and the book concludes with a set of "Laboratories" on these topics in which the student can practice the skills learned in the earlier chapters. Intended for use as a supplementary text in courses on introductory real analysis, advanced calculus, abstract algebra, or topology, the book may also be used as the main text for a "transitions" course bridging the gap between calculus and higher mathematics.