Course: Math 310, Foundation for Higher Mathematics
Class hours: MWF 3pm-3:50pm
Classroom: Seigle 208
Instructor: Quo-Shin Chi
Office: Room 210, Cupples I
Office Hours: MW 4-6pm
Textbook: Class Notes

We shall rigorously go through the construction of real numbers. By "rigorously" we mean we adopt the axiomatic approach to follow precise logical arguments to deduce important properties (theorems) from the chosen fundamental set-theoretic postulates (axioms), while along the way we introduce definitions to facilitate our train of thoughts. More precisely, we start with the 9 axioms of set theory to derive the Peano axioms for natural numbers to build the four operations +, -, *, / for them. We then extend from natural numbers to integers, rational numbers and finally real numbers and their corresponding operations +, -, *, / . The construction of real numbers is the most subtle of all, to which there are several approaches. To let the students be as comfortable and skillful as possible with the notion of limits that is paramount in more advanced courses, we shall adopt Georg Cantor's approach in which a real number is identified with an equivalence class of convergent Cauchy sequences of rational numbers. If we have time, we shall cover some material from elementary number theory of integers.

There will be homework assignments (30%), one take-home midterm exam (30%) and the take-home final exam (40%). Each homework assignment will be given through email on a Friday, except possibly for a couple of exceptions, and it will be due the next Friday in class, except possibly for a couple of exceptions. (Exams will also be given through email.) You should check email regularly.

Last but not least, in general, leafing through the solution manual when the homework is due will never get you to learn mathematics; your mind's eye must take part in a decisive fashion. That is, you must do mathematics by yourself.