2. Two binary operations (addition, denoted + and multiplication, denoted
|
|
- Gerard Collins
- 6 years ago
- Views:
Transcription
1 Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between R and Q. We will see that R is complete while Q is not. We will also see that Q is countable while R is not. We will explain the consequences these differences have. 2.1 The set of Real Numbers Though it is possible to construct the set of real numbers from scratch (as did Cantor and Dedekind) and derive its properties from the fundamental axioms of set theory, this process is too big a task and beyond the scope of an introductory course in real analysis. Instead, we will make certain assumptions and derive all the important properties of R from these assumptions. Most of the properties we will derive are already known to you. The goal here is to see how they can be proven using only our assumptions and what has already been proven. More precisely, we assume we are given the following: 1. The set of real numbers R. 2. Two binary operations (addition, denoted + and multiplication, denoted.) 3. An order relation <. See section We will also assume a set of properties (see section 2.1.2). From these assumptions, we will prove most of the important results about real numbers, needed for this class. Finally, we will assume the axiom of completeness (see section 2.4). When we want to talk about the real numbers together with the two binary operations, we will use the notation (R, +,.). Before we do this though, let us give an intuitive presentation of the real numbers. 31
2 32 CHAPTER 2. THE STRUCTURE OF R Intuitive Definition of the Real Numbers The concept of number is fundamental to our way of life. The concept of natural numbers, or the numbers we use to count is grasped as an early age. This set, is denoted N. Thus, N = {1, 2, 3,...} Very soon one realizes that the natural numbers are not enough. If we think of numbers as used in counting to represent things one owns, then how does one represent what one owes? The answer is by putting a negative sign. If we combine the natural numbers, their negative and zero, we get the set of integers. This set is denoted by Z. Thus Z = {0, ±1, ±2, ±3,...} As one learns about multiplication and division, one realizes that Z is not enough. For example, if we try to divide 2 by 3, the answer is not an integer. Thus, we are quickly forced to introduce new numbers, the rational numbers. The set of rational numbers is denoted by Q. Its definition is { m } Q = n : m Z, n Z and n 0 Then, we ask the question: do we have all the numbers we ll ever need with the rational numbers? The answer is no, and it has been known for a long time. Around 500 BC, Pythagora knew that not every quantity could be expressed as a rational number. Consider for example a right triangle in which the length of the sides around the right angle is 1. Then, the length x of the hypotenuse satisfies = x 2. In other words x 2 = 2. What is the number x such that x 2 = 2? We know this number exists because we can construct such a triangle. We call this number 2. Pythagora proved that 2 is not a rational number. It is not the only one. π is not rational, neither is e. If p is a prime number, one can show that p is not rational. When a number is not rational, we say that it is irrational. There are more irrational numbers than rational ones. If we represent the rational numbers as dots on a line, there will be more empty spaces than dots. There are several categories of numbers which are irrational. We will not discuss those here. Before we look at the properties of the real numbers, we prove that 2 is irrational using Pythagora proof. We begin with a lemma which proof is left as an exercise. Lemma 79 Let n be an integer. If n 2 is even then n must also be even. Proof. See exercises. We are now ready for Pythagora proof. We state the result as a theorem and give its proof. Theorem 80 There does not exist a rational number r such that r 2 = 2.
3 2.1. THE SET OF REAL NUMBERS 33 Proof. We do a proof by contradiction. Suppose there exists integers a and b 0 such that r = a b, r2 = 2 and assume a is already in lowest terms that is b a and b do not have any common factors. Then, a2 b 2 = 2 or a2 = 2b 2. Thus a 2 is even. It follows that a is even from lemma 79. Thus there exists a number k such that a = 2k. It follows that 2b 2 = 4k 2 or b 2 = 2k 2. Hence, b 2 is even, thus b is even. Which contradicts the fact that a was in lowest terms. b Let us now look at the essential properties which define the set of real numbers Algebraic Properties of R (R, +,.) is a field that is the following properties are satisfied: Closure R is closed under both operations, that is if a R and b R then a+b R and ab R. (A1) a, b R, a + b = b + a. (+ is commutative) (A2) a, b, c R, (a + b) + c = a + (b + c). (+ is associative) (A3) There exists an element denoted 0 in R with the property: a R, a+0 = 0 + a = a. 0 is called the additive identity element. (A4) For each element a in R, there exists an element denoted a, called the additive inverse of a with the property: a + ( a) = ( a) + a = 0. (M1) a, b R, a.b = b.a. (. is commutative) (M2) a, b, c R, (a.b).c = a. (b.c). (. is associative) (M3) There exists an element denoted 1 0 in R with the property: a 0 R, a.1 = 1.a = a. 1 is called the multiplicative identity element. (M4) For each element a 0 in R, there exists an element denoted 1/a, called the multiplicative inverse of a with the property: a. (1/a) = (1/a).a = 1. (D) a, b, c R, a. (b + c) = (a.b) + (a.c) and (b + c).a = (b.a) + (c.a). (multiplication is distributive over addition) Remark Properties (A2) (A4) mean that (R, +) is a group. 2. Adding property (A1) means that (R, +) is a commutative group also called an abelian group.
4 34 CHAPTER 2. THE STRUCTURE OF R Important Basic Properties of Real Numbers The properties which follow do not depend on the fact that we are dealing with real numbers. They depend on the fact that R is a field. Thus, they do not really belong to a real analysis class. Students should have studied (or will study) in a modern algebra class these properties and how to prove them. They are given here because they are essential to the everyday manipulations we perform when we work with real numbers. However, we will not spend time on them. We take many of these properties for granted. Yet, without them, many of the things we do with real numbers would not be possible. First, we establish uniqueness of the identity element as well as uniqueness of the inverse under both operations. This fact is a direct consequence of the properties of each operation; it has nothing to do with the fact that we are working with real numbers. Theorem 82 The additive and multiplicative identity are unique. Proof. We only prove uniqueness of the additive identity. For this, we will prove that if x is an element of R such that x + a = a for every a R, then x = 0. x = x + 0 = x + (a + ( a)) = (x + a) + ( a) = a + ( a) = 0 Theorem 83 The additive and multiplicative inverses are unique. Proof. We only prove uniqueness of the additive inverse. For this, we will prove that if a and b are elements of R such that a + b = 0 then b = a. b = 0 + b = (( a) + a) + b = ( a) + (a + b) = ( a) + 0 = a Remark 84 Properties (A4) and (M4) guarantee the possibility of solving the equations a + x = 0 and a.x = 1. Theorem 83 guarantees the uniqueness of the solution. We now generalize this result. Many problems in mathematics involve solving one or more equations. The next two theorems play an important role in finding the solutions of equations.
5 2.1. THE SET OF REAL NUMBERS 35 Theorem Let a and b be arbitrary elements of R. then the equation a + x = b has the unique solution x = ( a) + b 2. Let a 0 and b be arbitrary elements of R. then the equation a.x = b has the unique solution x = b. (1/a) Proof. In both cases, we have to show that there is a solution. This can be done easily by verifying that the given solution is indeed a solution. Then, we have to show that it is unique. The details of the proof are left as an exercise. Theorem 86 (Cancellation Laws) Suppose that a, b and x are real numbers. Then the following is true: 1. a + x = b + x = a = b 2. If in addition x 0 then a.x = b.x = a = b Proof. We prove each part separately. (a) Choose y such that x + y = 0. Then, a + x = b + x = (a + x) + y = (b + x) + y = a + (x + y) = b + (x + y) = a + 0 = b + 0 = a = b (b) Since x 0, choose y such that xy = 1. Then a.x = b.x = (a.x).y = (b.x).y = a. (x.y) = b. (x.y) = a.1 = b.1 = a = b We now look at various miscellaneous properties of the set of real numbers. The order in which we list them is important in the sense that the proof of some of these properties depend on other properties. Theorem 87 If a and b are any elements of R then 1. a.0 = 0 2. a = ( 1).a 3. (a + b) = ( a) + ( b) 4. ( a) = a
6 36 CHAPTER 2. THE STRUCTURE OF R 5. ( 1). ( 1) = 1 Proof. 1. Since 0+0 = 0, we have (0 + 0).a = 0.a. Using the distributive law we can write it as 0.a+0.a = 0.a. This in turn can be written as 0.a+0.a = 0.a+0. Finally, using the cancellation law for addition, we obtain 0.a = Theorem 83 establishes the fact that every non-zero real number a has a unique additive inverse a. If we can show that ( 1).a has the properties of the additive inverse of a, the result will follow. 3. Left as an exercise a + ( 1).a = 1.a + ( 1).a = (1 + ( 1)).a = 0.a = 0 4. a + ( a) = 0 implies that a is the additive inverse of a. But the additive inverse of a is, by (A4) ( a). Since the additive inverse of a element is unique, it follows that ( a) = a. 5. The details are left as an exercise. Combine parts 2 and 4. Theorem If a R and a 0, then 1/a 0 and 1/ (1/a) = a 2. Suppose that a R, b R. Then, a.b = 0 a = 0 or b = Suppose that a R, b R. Then ( a). ( b) = a.b 4. If a R and a 0, then 1/ ( a) = (1/a) Proof. 1. Since a 0, 1/a exists by (M4). If we had 1/a = 0, we would have 1 = a. (1/a) = a.0 = 0 which is a contradiction. Thus, 1/a 0. Since a. (1/a) = 1, a is the multiplicative inverse of (1/a). But, by (M4), the multiplicative inverse of 1/a is 1/ (1/a). Since the multiplicative inverse of an element is unique, 1/ (1/a) = a. 2. Left as an exercise.
7 2.1. THE SET OF REAL NUMBERS Left as an exercise. 4. Since a 0, a 0, so 1/ ( a) exists. Furthermore, 1 = a. (1/a) = ( a) ( (1/a)) by part 3 of this theorem Thus, -(1/a) is the multiplicative inverse of a. But by (M4), the multiplicative inverse of a should be 1/ ( a). By uniqueness of the multiplicative inverse, it follows that 1/ ( a) = (1/a). From this point on, we will drop the use of the dot to denote multiplication. We will write: ab instead of a.b a 2 for aa, a 3 for ( a 2) a = aaa,... a n+1 for (a n ) a for n N. b a for b + ( a) or ( a) + b a 1 for 1/a and a n for 1/ (a n ) a b or a/b for a (1/b) Exercises As you do these problems, keep in mind that you already know all these results. The goal is to prove them using all the assumptions we have made as well as what you have already proven. When I ask you to prove a result stated in the notes, you can only use all the assumptions we have made as well as the results proven up to the result I am asking you to prove. If the question is a stand alone question, then you can use all the results stated in the notes as well as all the problems up to the question you are working on. 1. Finish proving theorem Finish proving theorem Finish proving theorem Finish proving theorem Finish proving theorem Prove that a + a = 0 = a = 0 for any arbitrary real number a. 7. Prove that if n is an integer and n is even, then n 2 is also even. 8. Prove lemma 79.
8 38 CHAPTER 2. THE STRUCTURE OF R 9. Prove that if n 2 is an odd integer, then n must also be odd. 10. Prove that 6 is not a rational number. 11. Prove that if x is irrational and r is rational, then x+r is irrational. Also, show that if r is a non-zero rational then xr is irrational. 12. Show by example that if x and y are irrational, then x + y and xy may be rational.
9 2.2. ORDER AXIOMS AND ORDER PROPERTIES OF R Order Axioms and Order Properties of R In this section, we introduce the order properties of R. These properties are very important and will be used heavily throughout the remainder of this course. Like in the previous section, we do not develop these properties from scratch. We assume a few of them, then we derive most of the properties from our assumptions. The properties we assume will be called axioms Order Axioms for R and Definitions On R there is a relation, denoted <, which satisfies the following axioms: Axiom 89 (O1) For all a and b in R, exactly one of the following holds: 1. a < b 2. a = b 3. b < a Axiom 90 (O2) For all a, b and c in R, if a < b and b < c then a < c. Axiom 91 (O3) For all a, b and c in R, if a < b then a + c < b + c. Axiom 92 (O4) For all a, b and c in R, if a < b and 0 < c then ac < bc. Remark 93 The first axiom, axiom 89, is known as the law of trichotomy. Remark 94 The second axiom, axiom 90, is simply the statement of the property called transitivity. Remark 95 If we represent the set of real numbers as a line stretching to infinity in both directions (the real line), then by convention if a < b, then a is positioned on the line to the left of b. Definition 96 We can now define some well known terms. Let a and b be in R. 1. If a < b, we say that a is less than b. 2. If a < b then we also write b > a and say b greater than a. 3. If a < b or a = b then we write a b and say a less than or equal to b 4. Similarly, we can define greater than or equal to. 5. If a > 0, we say that a is positive. If a < 0, we say that a is negative. 6. If a 0, we say that a is non-negative. If a 0, we say that a is non-positive.
10 40 CHAPTER 2. THE STRUCTURE OF R Remark 97 If we have a < b and b < c, it is convenient to combine the two relations and write a < b < c. The same applies for the other inequalities. Remark 98 A field together with an order that is a relation satisfying axioms is called an ordered field. So, (R, +,., <) is an ordered field. Remark 99 The opposite of the statement a < b is a b. opposite of the statement a > b is a b. Similarly, the Properties of the Order We now establish the properties the relations we just defined satisfy. Most of these properties are already known to the reader. We will prove a few of them. The remaining proofs will be assigned as exercises. Theorem 100 For every xin R, the following is true: 1. If x < 0 then x > If x > 0 then x < 0. Proof. We only prove the first part. The second part is left as an exercise. If x < 0 then by O3 x + ( x) < 0 + ( x). It follows that 0 < x which is the same as x > 0. Theorem 101 Let a 0 R. 1. a 2 > > 0 Proof. We prove each part separately. 1. Since a 0, either a > 0 or a < 0. If a > 0, then a 2 = aa > 0.a = 0, hence a 2 > 0. If a < 0, then a > 0. Hence, ( a) ( a) > 0. ( a) = 0. But ( a) ( a) = aa = a 2. So, a 2 > Follows from part 1 and the fact that 1 = 1 2 Theorem 102 Let a, b, c be elements of R. 1. a < b a b < 0 2. a > b and c < 0 ac < bc 3. a > 0 1/a > 0 4. a < 0 1/a < 0
11 2.2. ORDER AXIOMS AND ORDER PROPERTIES OF R 41 Proof. left as an exercise. Theorem 103 If a and b are any real numbers, then a > b = a > 1 (a + b) > 2 b Proof. left as an exercise. Remark 104 Theorem 103 implies (by setting b = 0) that given any strictly positive number a, there exists another smaller strictly positive number ( 1 2 a). Thus there is no smallest strictly positive number. Theorem 105 Let a and b be arbitrary real numbers. If a > 0 and b > 0 then ab > 0 Proof. If a > 0 and b > 0 then by O4 ab > 0.b = 0. Therefore, ab > 0. Theorem 106 If ab > 0 then we either have a > 0 and b > 0 or we have a < 0 and b < 0. Proof. If ab > 0, then ab 0, hence neither a = 0 nor b ( = 0. By the law of trichotomy, either a > 0 or a < 0. If a > 0, then b = b a 1 ) = (ba) 1 a a = (ab) 1 a > 0 (why?) Hence, b > 0. The proof is similar if we assume that a < 0. Corollary 107 If ab < 0 then we either have a > 0 and b < 0 or we have a < 0 and b > 0. Proof. Left as an exercise Exercises 1. Finish proving theorem Finish proving theorem Finish proving theorem Finish proving theorem Finish proving corollary Prove that If a b and b a then a = b where a and b are arbitrary real numbers. 7. Prove the following where a, b, c and d denote arbitrary elements of R. (a) a < 0 and b > 0 = ab < 0 (b) a < 0 and b < 0 = ab > 0 (c) 0 < a < 1 = a 2 < a (d) 1 < a = a 2 > a
12 42 CHAPTER 2. THE STRUCTURE OF R (e) a < a + 1 (f) 0 < a < b = a 2 < b 2 (g) a b and c d = a + c b + d 8. If a, b R and a 2 + b 2 = 0, show that a = b = 0.
13 2.3. METRIC PROPERTIES OF R - ABSOLUTE VALUE Metric Properties of R - Absolute Value Definition and Properties The trichotomy property assures that if a 0 then either a > 0 or a < 0. Thus, we define: Definition 108 (Absolute value) The absolute value of a real number a, denoted a is defined by: { a if a 0 a = a if a < 0 The domain of this function is R, its range is the set of non-negative real numbers, and it maps the elements a and a into the same element. Geometrically, the absolute value of a number x can be interpreted as how far from 0 x is. Similarly, x a can be interpreted as the distance between x and a and therefore, one can think of the absolute value as a tool to measure distances between numbers. In particular, for a fixed number a, the set defined by {x R such that x a < δ} denotes the set of numbers within a distance δ of a. The inequality x a < δ is equivalent to δ < x a < δ or a δ < x < a + δ that is x (a δ, a + δ). This will be used a lot throughout this class. Remark 109 With a = 0 above, we see that δ < x < δ is equivalent to x < δ. The same is true if we replace < by. Students should review how to solve equations and inequalities involving absolute values as they too will be used a lot in this class. Theorem 110 The following properties hold: 1. a = 0 a = 0 2. a = a for all a in R 3. ab = a b for all a, b in R 4. 1 a = 1 for all a 0 in R a 5. a = a for all a, b 0 in R b b 6. If c 0, then a c c a c 7. a a a 8. a 2 = a Proof. See problems
14 44 CHAPTER 2. THE STRUCTURE OF R The next result is often used in Mathematics. Theorem 111 (Triangle inequality) If a and b are any real numbers, then a b a + b a + b Proof. First, we prove the right side. Since a a a and b b b it follows that ( a + b ) a + b a + b. Thus, a + b a + b by remark 109 or part 6 of theorem 110. Next, we prove the left side. a = a + b b a + b + b = a + b + b Thus, a b a + b Similarly, b = a + b a a + b + a = a + b + a Thus b a a + b Combining the two inequalities, we get a b a + b a + b a b a + b It follows by part 6 of theorem 110 that a b a + b An application of the above theorem, often used when dealing with absolute values and inequalities is given by the corollary below. Corollary 112 If a, b and c are any given real numbers then a c a b + b c Proof. If we let a c = (a b) + (b c) and use the triangle inequality, we have a c = (a b) + (b c) a b + b c
15 2.3. METRIC PROPERTIES OF R - ABSOLUTE VALUE 45 Corollary 113 If a 1, a 2,...a n are any n real numbers, then Proof. See exercises. a 1 + a a n a 1 + a a n We finish with a theorem which appears simple in statement but whose proof can sometimes give a hard time to beginners. The theorem simply states that the only non-negative real number less that every positive number is 0. Theorem 114 Let x be a real number. If x < ɛ for each ɛ > 0 then x = 0. Proof. See exercises. Remark 115 This result is often used to show two numbers are equal. If a and b are two real numbers, to show a = b, it is enough to show that a b < ɛ for each ɛ > 0. By the theorem, it will follow that a b = 0 or a = b. Geometrically, we are simply saying that if the distance between a and b is less than any positive real number then a = b Equations and Inequalities Involving Absolute Values The purpose of this class is not to learn how to solve equations and inequalities involving absolute values. However, they will be used a lot throughout this class. Students should make sure they review them. We remind students of the basic principles used when solving equations and inequalities involving absolute values. For what follows, let a and b denote any expression. The equation a = b is equivalent to the two equations a = b and a = b. However, solutions must be checked, some may not be valid. The equation a = b is equivalent to the two equations a = b and a = b. However, solutions must be checked, some may not be valid. The inequality a < b is equivalent to b < a < b The inequality a b is equivalent to b a b The inequality a > b is equivalent to a > b or a < b The inequality a b is equivalent to a b or a b Notion of a Metric Space As we noted earlier, the absolute value can be used to measure distances between numbers. x y denotes the distance between x and y on the real line. For the rest of these notes, we will use the absolute value every time we need to measure distances between two real numbers. However, if the set in which our elements come from were not R, the absolute value may not be appropriate to measure
16 46 CHAPTER 2. THE STRUCTURE OF R distances. For example, you already know that in R 2, the distance between two points of coordinates (x 1, y 1 ) and (x 2, y 2 ) is given by (x 2 x 1 ) 2 + (y 2 y 1 ) 2. In more general settings, we replace the absolute value by a function we call a distance function or a metric. We give a formal definition for a metric. Definition 116 (metric) Let X be a set. A metric or a distance on X is a function d : X X R which satisfies the properties below. In the properties below, we let x, y and z be elements of X. 1. d (x, y) 0 (non-negativity) 2. d (x, y) = 0 x = y 3. d (x, y) = d (y, x) (symmetry) 4. d (x, z) d (x, y) + d (y, z) (triangle inequality) Definition 117 (metric space) A space X together with a metric d is called a metric space. We say that (X, d) is a metric space. Example 118 It is easy to see that the absolute value function is a metric for R, hence we say that (R,. ) is a metric space Exercises 1. Prove theorem Prove the second corollary of theorem Show that a + b = a + b ab Given real numbers a and b, prove that a b a b. 5. Given real numbers a and b, prove that a b a b. This is sometimes called the reverse triangle inequality. 6. Prove theorem Solve 2x 3 = x. 8. Solve 2x 3 = 3x. 9. Solve 2x + 5 > Solve 2x + 5 < 11.
Properties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationNumber Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.
Appendix A Number Axioms P. Danziger 1 Number Axioms 1.1 Groups Definition 1 A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b and c S 0. (Closure) 1. (Associativity)
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationCommutative Rings and Fields
Commutative Rings and Fields 1-22-2017 Different algebraic systems are used in linear algebra. The most important are commutative rings with identity and fields. Definition. A ring is a set R with two
More informationPOL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005
POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1
More informationMath 300 Introduction to Mathematical Reasoning Autumn 2017 Axioms for the Real Numbers
Math 300 Introduction to Mathematical Reasoning Autumn 2017 Axioms for the Real Numbers PRIMITIVE TERMS To avoid circularity, we cannot give every term a rigorous mathematical definition; we have to accept
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationMathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers
Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur Lecture 1 Real Numbers In these lectures, we are going to study a branch of mathematics called
More informationREVIEW Chapter 1 The Real Number System
REVIEW Chapter The Real Number System In class work: Complete all statements. Solve all exercises. (Section.4) A set is a collection of objects (elements). The Set of Natural Numbers N N = {,,, 4, 5, }
More informationModern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur
Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture 02 Groups: Subgroups and homomorphism (Refer Slide Time: 00:13) We looked
More informationChapter 3. Introducing Groups
Chapter 3 Introducing Groups We need a super-mathematics in which the operations are as unknown as the quantities they operate on, and a super-mathematician who does not know what he is doing when he performs
More informationStructure of R. Chapter Algebraic and Order Properties of R
Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationLecture 2: A crash course in Real Analysis
EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 2: A crash course in Real Analysis Lecturer: Dr. Krishna Jagannathan Scribe: Sudharsan Parthasarathy This lecture is
More informationChapter One. The Real Number System
Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and
More informationA NEW SET THEORY FOR ANALYSIS
Article A NEW SET THEORY FOR ANALYSIS Juan Pablo Ramírez 0000-0002-4912-2952 Abstract: We present the real number system as a generalization of the natural numbers. First, we prove the co-finite topology,
More informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationThe theory of numbers
1 AXIOMS FOR THE INTEGERS 1 The theory of numbers UCU Foundations of Mathematics course 2017 Author: F. Beukers 1 Axioms for the integers Roughly speaking, number theory is the mathematics of the integers.
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More information3.1 Definition of a Group
3.1 J.A.Beachy 1 3.1 Definition of a Group from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair This section contains the definitions of a binary operation,
More informationCHAPTER 3: THE INTEGERS Z
CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More information1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More informationCONSTRUCTION OF THE REAL NUMBERS.
CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to
More informationSeminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)
http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product
More informationScott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:
Equivalence MA Relations 274 and Partitions Scott Taylor 1. EQUIVALENCE RELATIONS Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that: (1) is reflexive. That is, (2) is
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
More informationDirect Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24
Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More informationThe Basics COPYRIGHTED MATERIAL. chapter. Algebra is a very logical way to solve
chapter 1 The Basics Algebra is a very logical way to solve problems both theoretically and practically. You need to know a number of things. You already know arithmetic of whole numbers. You will review
More informationLecture 4: Constructing the Integers, Rationals and Reals
Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 4: Constructing the Integers, Rationals and Reals Week 5 UCSB 204 The Integers Normally, using the natural numbers, you can easily define
More informationCHAPTER 1. REVIEW: NUMBERS
CHAPTER. REVIEW: NUMBERS Yes, mathematics deals with numbers. But doing math is not number crunching! Rather, it is a very complicated psychological process of learning and inventing. Just like listing
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More informationAdvanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010
Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010 1. Real Number System 1.1. Introduction. Numbers are at the heart of mathematics. By now you must be fairly familiar with
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationConstructions with ruler and compass.
Constructions with ruler and compass. Semyon Alesker. 1 Introduction. Let us assume that we have a ruler and a compass. Let us also assume that we have a segment of length one. Using these tools we can
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationNUMBERS( A group of digits, denoting a number, is called a numeral. Every digit in a numeral has two values:
NUMBERS( A number is a mathematical object used to count and measure. A notational symbol that represents a number is called a numeral but in common use, the word number can mean the abstract object, the
More informationReal Analysis Notes Suzanne Seager 2015
Real Analysis Notes Suzanne Seager 2015 Contents Introduction... 3 Chapter 1. Ordered Fields... 3 Section 1.1 Ordered Fields... 3 Field Properties... 3 Order Properties... 4 Standard Notation for Ordered
More informationSection 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license. 201,
More informationWORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}
WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationMATH Fundamental Concepts of Algebra
MATH 4001 Fundamental Concepts of Algebra Instructor: Darci L. Kracht Kent State University April, 015 0 Introduction We will begin our study of mathematics this semester with the familiar notion of even
More informationFor all For every For each For any There exists at least one There exists There is Some
Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following
More information1 The Real Number System
1 The Real Number System The rational numbers are beautiful, but are not big enough for various purposes, and the set R of real numbers was constructed in the late nineteenth century, as a kind of an envelope
More informationAng aking kontrata: Ako, si, ay nangangakong magsisipag mag-aral hindi lang para sa aking sarili kundi para rin sa aking pamilya, para sa aking
Ang aking kontrata: Ako, si, ay nangangakong magsisipag mag-aral hindi lang para sa aking sarili kundi para rin sa aking pamilya, para sa aking bayang Pilipinas at para sa ikauunlad ng mundo. THEOREMS
More informationNatural Numbers: Also called the counting numbers The set of natural numbers is represented by the symbol,.
Name Period Date: Topic: Real Numbers and Their Graphs Standard: 9-12.A.1.3 Objective: Essential Question: What is the significance of a point on a number line? Determine the relative position on the number
More informationMathematical Reasoning & Proofs
Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0
More informationNumbers, proof and all that jazz.
CHAPTER 1 Numbers, proof and all that jazz. There is a fundamental difference between mathematics and other sciences. In most sciences, one does experiments to determine laws. A law will remain a law,
More informationAn Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt
An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt Class Objectives Binary Operations Groups Axioms Closure Associativity Identity Element Unique Inverse Abelian Groups
More informationChapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers
Fry Texas A&M University! Fall 2016! Math 150 Notes! Section 1A! Page 1 Chapter 1A -- Real Numbers Math Symbols: iff or Example: Let A = {2, 4, 6, 8, 10, 12, 14, 16,...} and let B = {3, 6, 9, 12, 15, 18,
More informationSolutions to Assignment 1
Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive
More information32 Divisibility Theory in Integral Domains
3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible
More informationUNIT 10 NUMBER SYSTEMS, NUMBER THEORY, EXPONENTS AND LOGARITHMS
UNIT 10 NUMBER SYSTEMS, NUMBER THEORY, EXPONENTS AND LOGARITHMS Number Systems, Number Theory, Exponents and Logarithms Structure 10.1 Introduction 10.2 Objectives 10.3 Number Systems 10.3.1 Sets of Numbers
More information1 Quadratic Functions
Unit 1 Quadratic Functions Lecture Notes Introductory Algebra Page 1 of 8 1 Quadratic Functions In this unit we will learn many of the algebraic techniques used to work with the quadratic function fx)
More information1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More information5.4 Continuity: Preliminary Notions
5.4. CONTINUITY: PRELIMINARY NOTIONS 181 5.4 Continuity: Preliminary Notions 5.4.1 Definitions The American Heritage Dictionary of the English Language defines continuity as an uninterrupted succession,
More informationSupplementary Material for MTH 299 Online Edition
Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think
More informationGrade 11/12 Math Circles Rational Points on an Elliptic Curves Dr. Carmen Bruni November 11, Lest We Forget
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 11/12 Math Circles Rational Points on an Elliptic Curves Dr. Carmen Bruni November 11, 2015 - Lest
More informationNotes on ordinals and cardinals
Notes on ordinals and cardinals Reed Solomon 1 Background Terminology We will use the following notation for the common number systems: N = {0, 1, 2,...} = the natural numbers Z = {..., 2, 1, 0, 1, 2,...}
More informationError Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore
(Refer Slide Time: 00:54) Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 05 Cosets, Rings & Fields
More informationImportant Properties of R
Chapter 2 Important Properties of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference
More informationWeek 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
More informationChapter 5: The Integers
c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition
More information3.2 Constructible Numbers
102 CHAPTER 3. SYMMETRIES 3.2 Constructible Numbers Armed with a straightedge, a compass and two points 0 and 1 marked on an otherwise blank number-plane, the game is to see which complex numbers you can
More informationChapter 8B - Trigonometric Functions (the first part)
Fry Texas A&M University! Spring 2016! Math 150 Notes! Section 8B-I! Page 79 Chapter 8B - Trigonometric Functions (the first part) Recall from geometry that if 2 corresponding triangles have 2 angles of
More informationThe Integers. Peter J. Kahn
Math 3040: Spring 2009 The Integers Peter J. Kahn Contents 1. The Basic Construction 1 2. Adding integers 6 3. Ordering integers 16 4. Multiplying integers 18 Before we begin the mathematics of this section,
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationNUMBERS It s the numbers that count
NUMBERS It s the numbers that count Starting from the intuitively obvious this note discusses some of the perhaps not so intuitively obvious aspects of numbers. Henry 11/1/2011 NUMBERS COUNT! Introduction
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationM208 Pure Mathematics AA1. Numbers
M208 Pure Mathematics AA1 Numbers Note to reader Mathematical/statistical content at the Open University is usually provided to students in printed books, with PDFs of the same online. This format ensures
More informationTHE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p
THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of
More informationMath Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions
Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationDR.RUPNATHJI( DR.RUPAK NATH )
Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology
More informationCountability. 1 Motivation. 2 Counting
Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 32 Proofs Proofs
More informationGroup, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,
Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ
More informationError Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore
(Refer Slide Time: 00:15) Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 03 Mathematical Preliminaries:
More informationMath From Scratch Lesson 28: Rational Exponents
Math From Scratch Lesson 28: Rational Exponents W. Blaine Dowler October 8, 2012 Contents 1 Exponent Review 1 1.1 x m................................. 2 x 1.2 n x................................... 2 m
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationRings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.
Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over
More information2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.
2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say
More informationReal Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras. Lecture - 13 Conditional Convergence
Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras Lecture - 13 Conditional Convergence Now, there are a few things that are remaining in the discussion
More informationChapter 2. Mathematical Reasoning. 2.1 Mathematical Models
Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationWorkshop 1- Building on the Axioms. The First Proofs
Boston University Summer I 2009 Workshop 1- Building on the Axioms. The First Proofs MA341 Number Theory Kalin Kostadinov The goal of this workshop was to organize our experience with the common integers
More informationMA131 - Analysis 1. Workbook 6 Completeness II
MA3 - Analysis Workbook 6 Completeness II Autumn 2004 Contents 3.7 An Interesting Sequence....................... 3.8 Consequences of Completeness - General Bounded Sequences.. 3.9 Cauchy Sequences..........................
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationSection 1.1 Notes. Real Numbers
Section 1.1 Notes Real Numbers 1 Types of Real Numbers The Natural Numbers 1,,, 4, 5, 6,... These are also sometimes called counting numbers. Denoted by the symbol N Integers..., 6, 5, 4,,, 1, 0, 1,,,
More information6 Cosets & Factor Groups
6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.
More informationAxioms for the Real Number System
Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,
More informationSECTION Types of Real Numbers The natural numbers, positive integers, or counting numbers, are
SECTION.-.3. Types of Real Numbers The natural numbers, positive integers, or counting numbers, are The negative integers are N = {, 2, 3,...}. {..., 4, 3, 2, } The integers are the positive integers,
More information