This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
math104-s22:notes:lecture-1 [2022/01/17 18:59] pzhou created |
math104-s22:notes:lecture-1 [2022/01/19 09:28] (current) pzhou ↷ Page moved from math104-s22:lecture-1 to math104-s22:notes:lecture-1 |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Lecture 1 ====== | ====== Lecture 1 ====== | ||
+ | |||
+ | Exercises: | ||
+ | - Ross 1.10, 1.12 | ||
+ | - Read Ross ' | ||
+ | - Try proving Ross Theorem 3.1, 3.2, by yourself, without read his proof. It is a good exercise for logical deduction. Yes, the result may sounds obvious for , but you need to prove them for **any** ordered field, which you have no idea what it looks like. | ||
+ | |||
+ | |||
+ | |||
+ | ===== Script ===== | ||
+ | |||
Welcome to Math 104, your first analysis class. You have learned about calculus, knows all about integration, | Welcome to Math 104, your first analysis class. You have learned about calculus, knows all about integration, | ||
Line 8: | Line 18: | ||
Long story short, what's this class is about? As you have seen in the syllabus, there are three parts: limit, metric space topology and calculus (integration, | Long story short, what's this class is about? As you have seen in the syllabus, there are three parts: limit, metric space topology and calculus (integration, | ||
- | Today, I want to discuss | + | Today, I want to discuss |
+ | |||
+ | \Z = \{ \cdots, -2, | ||
+ | |||
+ | |||
+ | is a semi-group, with addition, but no inverse. is a group (abelian group), more over, it is a commutative ring, with a multiplication. | ||
+ | |||
+ | Why do we need more? When you try to solve equation, say or , we sometimes get two solutions, and sometimes get zero solutions in . (the problem is that, is not algebraicallly closed). There is also a problem, given a set with an upper bound, it is possible that, there is most economical 'upper bound', | ||
+ | |||
+ | Introducing the real number solves the second problem. And there is no other option, namely, is the unique **ordered** field containing that is **complete**. | ||
+ | |||
+ | Remark: there are other ways to enlarge . What other option do you know? | ||
+ | |||
+ | Discussion questions: \\ | ||
+ | 1. About mathematical induction: let denote a statement depending on a natural number , if we can prove two things that: (a) is true, and (b) implies , then, we know is true for all . | ||
+ | |||
+ | Try Ross p6, 1.10, 1.12 | ||
+ | |||
+ | 2. About rational roots. Why does have no rational roots? Try Ross p12 Ex 2.2. How about 2.7? | ||
+ | |||
+ | 3. There are two ways to introduce real numbers, one is through completion of with respect to a metric (as Tao-I) did, the other is through ' | ||