2. Two binary operations (addition, denoted + and multiplication, denoted

Size: px
Start display at page:

Download "2. Two binary operations (addition, denoted + and multiplication, denoted"

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 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 information

a + 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.

a + 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 information

Number 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.

Number 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 information

2.2 Some Consequences of the Completeness Axiom

2.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 information

Commutative Rings and Fields

Commutative 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 information

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

POL502: 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 information

Math 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 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 information

CHAPTER 8: EXPLORING R

CHAPTER 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 information

Mathematics-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 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 information

REVIEW Chapter 1 The Real Number System

REVIEW 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 information

Modern 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 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 information

Chapter 3. Introducing Groups

Chapter 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 information

Structure of R. Chapter Algebraic and Order Properties of R

Structure 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 information

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ALGEBRA. 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 information

Lecture 2: A crash course in Real Analysis

Lecture 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 information

Chapter One. The Real Number System

Chapter 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 information

A NEW SET THEORY FOR ANALYSIS

A 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 information

Real Analysis - Notes and After Notes Fall 2008

Real 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 information

The theory of numbers

The 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 information

Notes 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. 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 information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In 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 information

3.1 Definition of a Group

3.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 information

CHAPTER 3: THE INTEGERS Z

CHAPTER 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 information

means 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.

means 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 information

1. Introduction to commutative rings and fields

1. 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 information

CONSTRUCTION OF THE REAL NUMBERS.

CONSTRUCTION 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 information

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Seminaar 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 information

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

Scott 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 information

The Real Number System

The 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 information

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Direct 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 information

2. Introduction to commutative rings (continued)

2. 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 information

The Basics COPYRIGHTED MATERIAL. chapter. Algebra is a very logical way to solve

The 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 information

Lecture 4: Constructing the Integers, Rationals and Reals

Lecture 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 information

CHAPTER 1. REVIEW: NUMBERS

CHAPTER 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 information

Proofs. Chapter 2 P P Q Q

Proofs. 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 information

What is proof? Lesson 1

What 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 information

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

Advanced 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 information

Contribution of Problems

Contribution 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 information

Constructions with ruler and compass.

Constructions 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 information

Chapter 1 The Real Numbers

Chapter 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 information

NUMBERS( A group of digits, denoting a number, is called a numeral. Every digit in a numeral has two values:

NUMBERS( 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 information

Real Analysis Notes Suzanne Seager 2015

Real 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 information

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

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 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 information

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

WORKSHEET 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 information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 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 information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In 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 information

MATH 117 LECTURE NOTES

MATH 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 information

MATH Fundamental Concepts of Algebra

MATH 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 information

For all For every For each For any There exists at least one There exists There is Some

For 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 information

1 The Real Number System

1 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 information

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

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 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 information

Natural Numbers: Also called the counting numbers The set of natural numbers is represented by the symbol,.

Natural 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 information

Mathematical Reasoning & Proofs

Mathematical 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 information

Numbers, proof and all that jazz.

Numbers, 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 information

An 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 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 information

Chapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers

Chapter 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 information

Solutions to Assignment 1

Solutions 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 information

32 Divisibility Theory in Integral Domains

32 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 information

UNIT 10 NUMBER SYSTEMS, NUMBER THEORY, EXPONENTS AND LOGARITHMS

UNIT 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 information

1 Quadratic Functions

1 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 information

1. Introduction to commutative rings and fields

1. 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 information

Proofs. Chapter 2 P P Q Q

Proofs. 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 information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 information

5.4 Continuity: Preliminary Notions

5.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 information

Supplementary Material for MTH 299 Online Edition

Supplementary 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 information

Grade 11/12 Math Circles Rational Points on an Elliptic Curves Dr. Carmen Bruni November 11, Lest We Forget

Grade 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 information

Notes on ordinals and cardinals

Notes 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 information

Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore

Error 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 information

Important Properties of R

Important 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 information

Week 2: Sequences and Series

Week 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 information

Chapter 5: The Integers

Chapter 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 information

3.2 Constructible Numbers

3.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 information

Chapter 8B - Trigonometric Functions (the first part)

Chapter 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 information

The Integers. Peter J. Kahn

The 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 information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: 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 information

NUMBERS It s the numbers that count

NUMBERS 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. * 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 information

M208 Pure Mathematics AA1. Numbers

M208 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 information

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p

THE 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 information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

Math 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 information

We 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

We 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 information

DR.RUPNATHJI( DR.RUPAK NATH )

DR.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 information

Countability. 1 Motivation. 2 Counting

Countability. 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 information

EECS 1028 M: Discrete Mathematics for Engineers

EECS 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 information

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,

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, 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 information

Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore

Error 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 information

Math From Scratch Lesson 28: Rational Exponents

Math 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 information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The 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 information

Rings 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 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 information

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

2 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 information

Real 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 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 information

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Chapter 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 information

Part IA Numbers and Sets

Part 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 information

Workshop 1- Building on the Axioms. The First Proofs

Workshop 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 information

MA131 - Analysis 1. Workbook 6 Completeness II

MA131 - 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 information

MAT115A-21 COMPLETE LECTURE NOTES

MAT115A-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 information

Section 1.1 Notes. Real Numbers

Section 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 information

6 Cosets & Factor Groups

6 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 information

Axioms for the Real Number System

Axioms 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 information

SECTION Types of Real Numbers The natural numbers, positive integers, or counting numbers, are

SECTION 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