# So let us begin our quest to find the holy grail of real analysis.

Size: px
Start display at page:

Download "So let us begin our quest to find the holy grail of real analysis."

## Transcription

1 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers form an algebraic field. The order axioms combined with the field axioms form a mathematical structure known as an ordered field, and finally the completeness axiom are combined with the ordered field axioms to give us the real number system. Introduction So what are the real numbers? Quite simply they were introduced originally as an idealization of the concept of length (and time) where we envision real numbers as points on a continuous line that extends indefinitely in both directions. Although this is a good intuitive interpretation, the goal in this chapter is to strip away everything you know about the real numbers and start afresh. This is not an easy thing to do since all the knowledge and mental imagery you have created for understanding the subject are firmly entrenched in your mind. But if you are up to wiping the slate clean and start anew, we will introduce you to a new mathematical concept, known affectionately by mathematicians as the complete, ordered field, which, for the fun of it we call R. By building up the axioms of the real numbers, you should have a deeper understanding of them than as points on a very long line. There are three types of axioms required to form what we know as real numbers. First, there are the arithmetic axioms, called the field axioms, which provide the rules for adding, subtracting, multiplying and dividing. Secondly, there are the order axioms, which allow one to compare sizes of real numbers like 2<3, 4>0 and -3<0, and so on. And lastly there is an axiom, called the continuity axiom, which gives the real numbers that special quality that allows us to think of real numbers as flowing continuously, with no gaps along the way, on the real line from the infinitely small to the infinitely large. So let us begin our quest to find the holy grail of real analysis. Arithmetic Axioms for Real Numbers We begin by defining a set R, but don t think of R as the real numbers yet, we will when we have equipped R with a certain set of axioms. We now define two functions from R R R, one called the addition function, the a, b other the multiplication function. The addition function assigns to a pair of numbers in R a new element of R called the sum of a and b and denoted

2 2 by a b. The multiplication function assigns to each pair of elements in R a new element in R called the product of a and b and denoted by a b or more often simply ab. These operations are called closed operations since when a, b R so are a b and ab. These axioms have passed the test of time and are now chiseled in stone in the laws of mathematics and form an an algebraic system called a field 1 (or an algebraic field), which is summarized as follows. Field Axioms A field is a set which, we call R, with two binary operations, called where for all a, b and c in R, the following axioms hold 2. and, Addition Axioms ( i) a b c = a b c ( ii) a b = b a ( iii) There exists a unique element 0 R such that a 0 = a. ( iv) For any a R there exists a unique x R that satisfies a x = 0. Multiplication Axioms Name of Axiom ( i) associativity of addition ( ii) addition commutes ( iii) There existences a unique additive identity denoted by "0". ( iv) Every element has a unique additive inverse. Name of Axiom = ( i) a bc ab c ( ii) ab = ba ( iii) There exists a unique element 1 R 1 0 such that a1 = a. ( iv) For any a R (except a = 0) there exists a unique y R such that ay = 1. ( i) associativity of multiplication ( ii) multiplication commutes ( iii) There existences a unique multiplicative identity denoted by "1". ( iv) Every nonzero element has a unique multiplicative inverse. Distributive Axiom Name of Axiom a b c = ab ac Multiplication distributes over addition. 1 Modern algebra or abstract algebra, which is distinct from elementary algebra as taught in schools, is a branch of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces and other algebraic structures.

3 3 Conventions and Notation: In addition to the above axioms, we make the following conventions; 1. The associative axioms for both addition and multiplication say it doesn t matter where parenthesis are placed. In other words, we can write a b c a b c a b c. The same holds for multiplication, we can write for ( ) or abc = a ( bc) = ( ab) c. 2. The unique additive inverse of an element a (relative to the additive identity 0) is normally denoted by a, hence we have a ( a) = 0. The multiplicative inverse of a (relative to the multiplicative identity 1) is denoted 1 by a (provided 0 aa 1 = a 1/ a = 1. a ) and often written 1/ a. Hence Two other operations of subtraction and division can be defined directly from addition and multiplication by subtraction: a b = a b (read a minus b) a b 1 division: = ab (for b 0) (read a divided by b) Using the basic axioms for a field, we can now see how the computational rules for arithmetic can be carried out. We define 2 = 1 1,3 = 2 1, 4 = 3 1, and so on. If we now define the natural numbers as { 1,2,3,... }, then since 1 > 0, it follows that 0 < 1< 2 < 3 < In other words, the natural numbers are ordered in the way we learned since grade school. We can also prove something you learned in the second grade: 4 = 3 1 (definition) = (defintion) = (associativity) = 2 2 (definition) Margin Note: A field is an algebraic system where you can add, subtract, multiply and divide (except by 0) in the same manner you did as a child. As a child you were taught these were properties of numbers. But they are not their properties, they are the rules of engagement of the real numbers. A subtle, but important point. 2 We call the field R since we are concentrating on the real numbers, but keep in mind there are many examples of an algebraic field.

5 5 Order Axioms: Ordering the Reals Our goal now is to order the real numbers 3 in a way consistent with the arithmetic properties of a field. For example, for two rectangles with the same base c, we require the taller one to have the larger area, which basically says if b > a and c > 0 then bc > ac. See Figure 1. Figure 1 We also are desirous to build into the system the concept that the real numbers are an abstract version of a ruler which extends indefinitely in both directions; hence we divide the elements of R into three disjoint sets { 0} R = R R where R is called the negative numbers, R is called the positive numbers and 0 is the additive identity of the field. We then require the additive inverse x of x to satisfy x R x R and x R x R. Other than that, we require that for any two positive numbers a, b (i.e. a, b R ) their sum a b and product ab are also positive. That s it! For convenience, when x R we write x > 0 and say x is greater than 0. Likewise, when x R we write x < 0 and say x is less than 0. Also, when 3 As we have been saying over and over, we are using the real numbers as a model for our abstract discussion. There are many ordered fields that are not the real numbers. We keep calling our ordered field the real numbers inasmuch as that is the focus of our discussion.

6 6 a b R we write a > b (or b < a). And finally, if a > b or a = b, we denote this as a b or b a. So let s put everything we have thus far in a formal mathematical system. We call it an ordered field. Definition: An algebraic field {,, } field that satisfies the following conditions 4 : R is an ordered field if R is an algebraic I For each x R exactly one of x R, x = 0, x R is true. II For x > 0 and y > 0, then x y > 0. III If x > 0 and y > 0, then xy > 0. Theorem 1 The relation " " (read less than or equal to) is a total order on R. That is for any elements a, b, c in R, either a b or b a, as well as the following RAT axioms hold. Proof: ( i ) Reflexive: a a. ii Anti-Symmetric: If a b and a b, then a = b. iii Transitive: If a b and b c, then a c.. Clearly a b or b a since if a b is not true, then b a is not greater b a = a b than or equal to zero, hence by axiom I is negative. But then is positive or a b. Thus either a b or b a. i) Reflexive: ( a a) a a means a a = 0 which, from the field axioms, is true. a b a b a = b From Axiom 1, we know that any real number is either positive, negative or zero. But a b says b a is positive or zero, and a b says a b is positive b a = a b is negative or zero. Hence b a = 0, ii) Anti-Symmetric: or zero, or equivalently or a = b. 4 There are various other axioms we could write that are logically equivalent to the ones listed here, but they all bring order to the real numbers in the way you are familiar.

7 7 a b b c a c First observe that if a = b or a = c, the result is trivial, since if we replace a iii) Transitive: b b b c b c which states the tautology b c b c. Now, if we let a = c, the desired conclusion becomes ( c b) ( b c) c c, which has a true conclusion hence the implication is true. by b, the desired conclusion becomes We now come to what we called the holy grail of the real numbers. Although all three collections of axioms are necessary to describe the real numbers, it might be said that the completeness axiom is what we think of when we think of the real numbers. The Completeness Axiom If we were to stop at the arithmetic and ordered axioms for the real numbers, we would be throwing out that special ingredient that makes the real numbers that continuum of numbers we envision when we think of the real number system. There are many examples of ordered fields that are not the real numbers, and everyone of these algebraic systems fields suffer by having gaps between their elements. For example, the rational numbers, i.e. Q = p / q : p, q N, q 0 is an ordered field, but it has numbers of the form { } 2 gaps, two gaps being the solutions of x = 2, which are x = ± 2, which we know are not rational numbers. What we need is an axiom that fills in these gaps and that is where the completeness (or continuum) axiom comes into play. An interesting aspect of the completeness (or continuum) axiom is that over the years mathematicians have found several axioms, all called the completeness axiom, that are logically equivalent. Thus, it might be said we are blessed by being able to select any one of them. In this book what is called the least upper bound axiom as our completeness representative because several interesting concepts can be gleaned by working with it, and, it is easy to understand. Before stating the axiom, however, we must introduce a few important ideas. Sup and Max (Inf and Min) We use the four intervals in Figure 2 as a prop for familiarizing ourselves with the concepts of what are called lub, glb, sup, and inf.

8 8 Max, Min, Sup, Inf Figure 2 The intervals ( a, b),[ a, b],[ a, b), and ( a, b ] are all bounded, both above and below. Bounded above simply means there is at least one number greater than or equal to all the elements in the set. The number b (or any number larger) is an upper bound for each of the four intervals in Figure 2. Likewise, a lower bound for a set is a number less than or equal to all the elements in the set; the number a is a lower bound for each of the above sets. Of course, 1, is bounded below but not above, and not all sets are bounded; the set [ ) (, ) is not bounded above nor below. Also note that b is the maximum of all the numbers in the intervals [ a, b ] and ( a, b ], whereas the intervals ( a, b ) and [ a, b ) do not contain a maximum since no matter what number is chosen as the maximum there is always a larger number halfway between your choice and b. The same arguments hold for minimum values, the two intervals,,, a, b, a, b do not [ a b] [ a b ) have a minimum value whereas the intervals ( ] have minimum values. So what is the meaning lub( A) and glb( A ) in Figure 2? Two of the sets contain their maximum and two do not. However (and this is the important b, part), for each of the four intervals, the set of upper bounds, which is [ )

9 9 for each of the four intervals, always contains its minimum value, which is b a, b, a, b where b does not belong to the in every case. In the intervals [ ) interval, we call this value least t upper bound or supremum of the set, and denote this value by sup( A ) or lub a, b and a, b that A. For the two sets [ ] ( ] have a maximum value, the least upper bound is the same as the maximum. a, b and a, b that do not have maximum values, the least upper For the sets [ ) bound b is a kind of surrogate for the maximum. The same principle holds for lower bounds. The set of lower bounds for any set A bounded below always has a largest value and this value is called the greatest lower bound or infimum of A and denoted by glb( A ) or inf( A ). Defintion Let A be a set bounded above in an ordered field. The number L the least upper bound or supremum of A if L is an upper bound of A, i.e. L x for all x A.. if u is any upper bound for A, then L u. Likewise the number G is the greatest lower bound or infimum of A if G is a lower bound of A, i.e. G x all x A.. if l is any lower bound for A, then G l. The least upper bound of a set is denoted lub( A) or sup( A ), and the greatest lower bound is denoted glb( A) or inf( A )

10 10 This leads us to the completeness axiom for our set R, which we have endowed with field and order axioms and thus is an ordered field (we are almost ready to call this set the real numbers). The last set of axioms we assign to R (actually only one axiom) is called the completeness axiom, which we have used the least upper bound version. Completeness Axiom: Least Upper Bound Axiom If any non-empty set of R that is bounded above has a smallest upper bound, then it satisfies the completeness axiom. We are now (finally) ready to define the real numbers. Definition: The real number system R is an ordered field that satisfies the completeness axiom, that is, a complete ordered field. Stated another way it is a set R that satisfies the axioms of an algebraic field, the order axioms, and the completeness axiom. The least upper bound is necessary since there are ordered fields that do not look like the real numbers, the rational numbers being one such example. By also including the completeness axiom, the ordered field behaves exactly like the real line you learned about in the third grade. In other words it has exactly the properties we desire when we try to model or describe points on an infinite line. When we refer to the real numbers as a complete ordered field, we always say the complete ordered field since there is only one complete ordered field in the sense that any two complete ordered fields are isomorphic. We say that two abstract structures are isomorphic if they have exactly the same mathematical structure and differ in only the symbols used to represent various objects and operations in the system. In the case of two A,0,1,,, for one field and fields, the objects would be ( A A A A A ) (,0,1,,, ) B for another. An isomorphism between these two fields B B B B B would be a one-to-one correspondence f : R S satisfying for all x, y A : f f ( 0A ) = f ( 0B ) ( 1A ) = f ( 1B ) ( A ) = B ( ) = f x y f x f y f x y f x f y A x y f ( x) f ( y) A This means that all complete ordered fields are essentially the same, the only difference being a labeling of objects. B B

11 11 2 Note: The set of rational numbers A { q Q : q 2} = < does not satisfy the completeness axiom; it is bounded above but does not have a least upper bound.

12 12 Problems Algebraic Fields: Problems 1-3 assume a, b are members of an algebraic field. 1. Use only the axioms of an algebraic field to prove ( a) ( a) are both solutions of x ( a) = 0. = a. Hint: a and 2. Use only the axioms of an algebraic field to prove a 0 = 0 Hint: a 0 a 0 = a 0 0 = a 0 = a 0 0 and so a 0 and 0 are both solutions of x a 0 = a Use only the axioms of an algebraic field to prove a, b are not 0. Hint: Show both ( ab) 1 and b a 1 1 ab = b a, where are solutions of x( ab ) = 1. Order Axioms: For Problems 4-6 assume a, b are members of an ordered field. 4. Use only the axioms of an ordered field to prove if a > b and b > c, then a > c. Hint: Use the facts that a b R, c d R imply a c R. 5. Use only the axioms of an ordered field to prove if a > b and b c, then a c a b R, c d R 0 imply. Hint: Use the facts that { } R { 0}. a c 6. Use only the axioms of an ordered field to prove if a > 0, then 1/ a > 0. a 1/ a = 1, which would contradict the rules of Hint: Use the fact that sign if 1/ a For the following sets A find (if they exist), max A, min A,sup A,inf A. a) A = { 1,3,9,4,0 } b) A = [ 0, ) c) A = { x Q : 0 x 1} d) A = [ 1,3] 2 e) A = { x : x 1 = 0} f) A = { n N : n divides 100}

13 2 g) A = { x R : x < 2} h) A = (, ) i) A = 1,,,, (Algebraic Field) Show that the rational numbers with the operations of addition and multiplication form a algebraic field. 9. (Tiny Field) (Tiny Field) Show that the set containing only two elements { } 0,1 form an algebraic field. In other words the set contains only the additive and multiplicative identities. 10. (Ordered Field) Show that the rational numbers with the operations of addition and multiplication and the usual less than order relation " < " forms an ordered field.

### Properties of Real Numbers

16 Chapter P Prerequisites P.2 Properties of Real Numbers What you should learn: Identify and use the basic properties of real numbers Develop and use additional properties of real numbers Why you should

### God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

### a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

### Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

### CONTENTS 1. Peter Kahn. Spring 2007

CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

### 3. Mathematical Induction

3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

### Vector and Matrix Norms

Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a non-empty

### Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

### 26 Integers: Multiplication, Division, and Order

26 Integers: Multiplication, Division, and Order Integer multiplication and division are extensions of whole number multiplication and division. In multiplying and dividing integers, the one new issue

### CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

### 1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### Review of Fundamental Mathematics

Review of Fundamental Mathematics As explained in the Preface and in Chapter 1 of your textbook, managerial economics applies microeconomic theory to business decision making. The decision-making tools

### 8 Divisibility and prime numbers

8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

### 3 Some Integer Functions

3 Some Integer Functions A Pair of Fundamental Integer Functions The integer function that is the heart of this section is the modulo function. However, before getting to it, let us look at some very simple

### 6.4 Normal Distribution

Contents 6.4 Normal Distribution....................... 381 6.4.1 Characteristics of the Normal Distribution....... 381 6.4.2 The Standardized Normal Distribution......... 385 6.4.3 Meaning of Areas under

### Notes on Algebraic Structures. Peter J. Cameron

Notes on Algebraic Structures Peter J. Cameron ii Preface These are the notes of the second-year course Algebraic Structures I at Queen Mary, University of London, as I taught it in the second semester

### Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

### MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

### INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

### 26 Ideals and Quotient Rings

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed

### Matrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.

Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that

### Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

### Full and Complete Binary Trees

Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full

### Practice with Proofs

Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using

### Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

### This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### WRITING PROOFS. Christopher Heil Georgia Institute of Technology

WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this

### Lecture 16 : Relations and Functions DRAFT

CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence

### 4.2 Euclid s Classification of Pythagorean Triples

178 4. Number Theory: Fermat s Last Theorem Exercise 4.7: A primitive Pythagorean triple is one in which any two of the three numbers are relatively prime. Show that every multiple of a Pythagorean triple

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### 5.1 Radical Notation and Rational Exponents

Section 5.1 Radical Notation and Rational Exponents 1 5.1 Radical Notation and Rational Exponents We now review how exponents can be used to describe not only powers (such as 5 2 and 2 3 ), but also roots

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

### Quotient Rings and Field Extensions

Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

### Chapter 11 Number Theory

Chapter 11 Number Theory Number theory is one of the oldest branches of mathematics. For many years people who studied number theory delighted in its pure nature because there were few practical applications

PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

### Objective. Materials. TI-73 Calculator

0. Objective To explore subtraction of integers using a number line. Activity 2 To develop strategies for subtracting integers. Materials TI-73 Calculator Integer Subtraction What s the Difference? Teacher

### Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

### Cartesian Products and Relations

Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special

### CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

### Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

### 6.3 Conditional Probability and Independence

222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted

### 4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets

### Chapter 8 Integers 8.1 Addition and Subtraction

Chapter 8 Integers 8.1 Addition and Subtraction Negative numbers Negative numbers are helpful in: Describing temperature below zero Elevation below sea level Losses in the stock market Overdrawn checking

### CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

### Mathematical Induction

Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How

### FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

### Zeros of a Polynomial Function

Zeros of a Polynomial Function An important consequence of the Factor Theorem is that finding the zeros of a polynomial is really the same thing as factoring it into linear factors. In this section we

### . 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

### S on n elements. A good way to think about permutations is the following. Consider the A = 1,2,3, 4 whose elements we permute with the P =

Section 6. 1 Section 6. Groups of Permutations: : The Symmetric Group Purpose of Section: To introduce the idea of a permutation and show how the set of all permutations of a set of n elements, equipped

### No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

### E3: PROBABILITY AND STATISTICS lecture notes

E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................

### The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

### MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

### Click on the links below to jump directly to the relevant section

Click on the links below to jump directly to the relevant section What is algebra? Operations with algebraic terms Mathematical properties of real numbers Order of operations What is Algebra? Algebra is

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

### Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March

### ALGEBRA REVIEW LEARNING SKILLS CENTER. Exponents & Radicals

ALGEBRA REVIEW LEARNING SKILLS CENTER The "Review Series in Algebra" is taught at the beginning of each quarter by the staff of the Learning Skills Center at UC Davis. This workshop is intended to be an

### Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013

### Working with whole numbers

1 CHAPTER 1 Working with whole numbers In this chapter you will revise earlier work on: addition and subtraction without a calculator multiplication and division without a calculator using positive and

### 8 Square matrices continued: Determinants

8 Square matrices continued: Determinants 8. Introduction Determinants give us important information about square matrices, and, as we ll soon see, are essential for the computation of eigenvalues. You

### Answer Key for California State Standards: Algebra I

Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.

### Test1. Due Friday, March 13, 2015.

1 Abstract Algebra Professor M. Zuker Test1. Due Friday, March 13, 2015. 1. Euclidean algorithm and related. (a) Suppose that a and b are two positive integers and that gcd(a, b) = d. Find all solutions

### The Fundamental Theorem of Arithmetic

The Fundamental Theorem of Arithmetic 1 Introduction: Why this theorem? Why this proof? One of the purposes of this course 1 is to train you in the methods mathematicians use to prove mathematical statements,

### Vocabulary Words and Definitions for Algebra

Name: Period: Vocabulary Words and s for Algebra Absolute Value Additive Inverse Algebraic Expression Ascending Order Associative Property Axis of Symmetry Base Binomial Coefficient Combine Like Terms

### Linear Algebra I. Ronald van Luijk, 2012

Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.

### 6 3 4 9 = 6 10 + 3 10 + 4 10 + 9 10

Lesson The Binary Number System. Why Binary? The number system that you are familiar with, that you use every day, is the decimal number system, also commonly referred to as the base- system. When you

### Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

### A Little Set Theory (Never Hurt Anybody)

A Little Set Theory (Never Hurt Anybody) Matthew Saltzman Department of Mathematical Sciences Clemson University Draft: August 21, 2013 1 Introduction The fundamental ideas of set theory and the algebra

### Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

### C H A P T E R Regular Expressions regular expression

7 CHAPTER Regular Expressions Most programmers and other power-users of computer systems have used tools that match text patterns. You may have used a Web search engine with a pattern like travel cancun

### Math 223 Abstract Algebra Lecture Notes

Math 223 Abstract Algebra Lecture Notes Steven Tschantz Spring 2001 (Apr. 23 version) Preamble These notes are intended to supplement the lectures and make up for the lack of a textbook for the course

### Math Workshop October 2010 Fractions and Repeating Decimals

Math Workshop October 2010 Fractions and Repeating Decimals This evening we will investigate the patterns that arise when converting fractions to decimals. As an example of what we will be looking at,

### Set theory as a foundation for mathematics

V I I I : Set theory as a foundation for mathematics This material is basically supplementary, and it was not covered in the course. In the first section we discuss the basic axioms of set theory and the

### 1 The Brownian bridge construction

The Brownian bridge construction The Brownian bridge construction is a way to build a Brownian motion path by successively adding finer scale detail. This construction leads to a relatively easy proof

### Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these

### 3.3 Real Zeros of Polynomials

3.3 Real Zeros of Polynomials 69 3.3 Real Zeros of Polynomials In Section 3., we found that we can use synthetic division to determine if a given real number is a zero of a polynomial function. This section

### x a x 2 (1 + x 2 ) n.

Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number

### Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

### LEARNING OBJECTIVES FOR THIS CHAPTER

CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

### Just the Factors, Ma am

1 Introduction Just the Factors, Ma am The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive

### Today s Topics. Primes & Greatest Common Divisors

Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

### Normal distribution. ) 2 /2σ. 2π σ

Normal distribution The normal distribution is the most widely known and used of all distributions. Because the normal distribution approximates many natural phenomena so well, it has developed into a

### Basic Proof Techniques

Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document

### Chapter 31 out of 37 from Discrete Mathematics for Neophytes: Number Theory, Probability, Algorithms, and Other Stuff by J. M.

31 Geometric Series Motivation (I hope) Geometric series are a basic artifact of algebra that everyone should know. 1 I am teaching them here because they come up remarkably often with Markov chains. The

### 15 Prime and Composite Numbers

15 Prime and Composite Numbers Divides, Divisors, Factors, Multiples In section 13, we considered the division algorithm: If a and b are whole numbers with b 0 then there exist unique numbers q and r such

### CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.