Supremum and Infimum
|
|
- Ferdinand Ramsey
- 5 years ago
- Views:
Transcription
1 Supremum and Infimum UBC M0 Lecture Notes by Philip D. Loewen The Real Number System. Work hard to construct from the axioms a set R with special elements O and I, and a subset P R, and mappings A: R R R, M: R R R, for which defining the basic operations above in terms of x + y = A(x, y), x y = M(x, y), x > O x P produces a consistent setup in which the familiar rules of arithmetic all work. Trichotomy. For every real number x, exactly one of the following is true: x < 0, x = 0, x > 0. By taking x = b a, we deduce that whenever a, b R, exactly one of the following is true: a < b, a = b, a > b. Given a, b R, it s rather obvious that a > b = ε > 0 : a b + ε. (Indeed, if a > b then ε = a b obeys the conclusion.) The contrapositive of this statement is logically equivalent, but occasionally useful: [ ] ε > 0, a < b + ε = a b. It reveals that one way to prove a b is to prove a collection of apparently easier inequalities involving a larger right-hand side. Definition. Let S R. To say, S is bounded above, means there exists b R such that ( ) s S, s b. Any number b satisfying ( ) is called an upper bound for S. Changing to in ( ) produces a definition for the phrases S is bounded below and b is a lower bound for S. To say that S is bounded means that S is bounded above and S is bounded below. Definition. Let S R. The phrase, β is a least upper bound for S, means two things: (i) s S, s β, i.e., β is an upper bound for S, i.e., ( ) s S, s β. File sup009, version of 5 June 009, page 1. Typeset at 08:59 June 5, 009.
2 PHILIP D. LOEWEN (ii) Every real number less than β is not an upper bound for S. Express this second condition as ( ) ε > 0, s S : β ε < s. Notation. A given set S can have at most one least upper bound (LUB). [Pf: Suppose β 0 is a least upper bound for S. Any real β > β 0 breaks ( ) use ε = β β 0 and recall ( ). Any real β < β 0 breaks ( ) use ε = β 0 β and recall ( ).] If S has a least upper bound, it is a unique element of R denoted sup S (Latin supremum). A symmetric development leads to the concepts of sets bounded below, greatest lower bounds, and the Latin notation inf S (Latin infimum). The Least Upper Bound Property. The hard work in the axiomatic construction of the real number system is in arranging the following fundamental property: For each nonempty subset S of R, if S has an upper bound, then there exists a unique real number β such that β = sup S. [Alternate terminology: (R, ) is order-complete.] Proposition. R has the greatest lower bound property, i.e., For each nonempty subset S of R, if S has a lower bound, then there exists a unique real number α such that α = inf S. Proof. Consider any subset S of R, assuming S and S has a lower bound. Define L = {x R : x is a lower bound for S}. Note L by hypothesis; the definition of L gives This is equivalent to x L, s S, x s. s S, x L, x s. The latter form shows that any s in S provides an upper bound for the set L; since S by hypothesis, it follows that L has an upper bound. By the LUB Property, α = sup(l) is a well-defined real number. We ll show that α is the desired greatest lower bound for S. First, α is a lower bound for S. For otherwise, there would be some s in S with s < α; this s would be an upper bound for L [see ( ) above], contradicting the definition of α as the least upper bound for L. Second, α is the greatest lower bound for S. Indeed, consider any γ > α: by construction, α is an upper bound for L, so α x x L. Consequently γ L, i.e., γ is not a lower bound for S. //// ( ) ( ) File sup009, version of 5 June 009, page. Typeset at 08:59 June 5, 009.
3 Supremum and Infimum 3 Relevance: Existence Theorems. The central feature of the LUB Property is the statement that there exists a real number (the supremum) with certain properties. Thus it provides the foundation for all interesting theorems involving existence of certain mathematical objects. (E.g., the IVT from Calculus: If f: [a, b] R is continuous and f(a) < 0 < f(b), then there exists a real number x (a, b) obeying f(x) = 0.) The foundation can serve in two ways: (i) Directly: The desired number may be defined as a supremum. E.g., to prove x R : x =, we appeal to order-completeness to assert that α = sup { q Q : q < } is a well-defined real number, then use ( ) ( ) to show that α =. (ii) Indirectly: The definition of sup ensures the existence of near-maximal elements. For example, suppose X is some nonempty set, and f: X R is a function whose range f(x) is bounded above. Then β = sup f(x) = sup {f(x) : x X} is a well-defined real number. We cannot assert β f(x) without knowing more about f and X, but we can argue as follows: for each n N, β 1/n is less than the least upper bound for f(x), so it is not an upper bound. This means that some element of f(x) call it y n obeys y n > β 1/n. Choose some element of X, and name it x n, satisfying y n = f(x n ). This procedure creates a sequence x 1, x,... in X with the useful property n N, β 1 n < f(x n) β. [Such a sequence is called a maximizing sequence for f.] Theorem (Archimedes). In R, the set N has no upper bound. That is, r R, n N : n > r. Proof. (By contradiction.) Suppose, on the contrary, that N has an upper bound. Evidently N, so by LUB property, β = sup N exists in R. Consider γ def = β 1: ( ) gives some n in N such that γ < n. Hence β 1 < n, i.e., β < n + 1. Since n + 1 N, this contradicts property ( ) for β. //// Corollaries. (a) For any fixed ε > 0, some n N obeys 1/n < ε. (b) Whenever x, y R obey y x > 1, we have (x, y) Z. (c) For any a, b R with a < b, we have both (a, b) Q and (a, b) \ Q. Proof. (a) Apply Archimedes to r = 1/ε to produce n N s.t. n > 1/ε, i.e., 1/n < ε. (b) Let S = {n Z : n y}. By Archimedes, S ; by Fact 1, n = min(s) exists. Let s show z = n 1 (x, y): (i) z < y: indeed, z y would imply z S, contradicting minimality of n. File sup009, version of 5 June 009, page 3. Typeset at 08:59 June 5, 009.
4 4 PHILIP D. LOEWEN (ii) z > x: indeed, n S = n y > x + 1 = n 1 > x. (c) Given a < b, apply (a) to get n N such that 1/n < b a. Then nb na > 1, so (b) applies to x = na, y = nb: some m Z obeys na < m < nb, i.e., a < m n < b. Thus m n (a, b) Q. Likewise, if a < b then a < b so some q Q obeys a < q < b. It follows that q (a, b) \ Q. //// Home Practice. Let S = {1/n : n N}. Use Archimedes to justify inf(s) = 0 [check ( ) ( )]. Note 0 S. [Write β = min S when both β = inf(s) and β S, saying the infimum is attained. So for this S, inf(s) = 0 but min(s) does not exist. Similarly, max means attained supremum. ] Easy Example (Sketch Steps Only). Given subsets A and B of R such that A, B is bounded above, and A B, show that sup A sup B. (i) Show sup B exists. [ETS B, B has upper bound.] Proof: Since A, some x obeys x A. Since A B, this same x obeys x B. Therefore B. Now B is bounded above by assumption, so sup B exists. Call it β. (ii) Show sup A exists. [ETS A, A has upper bound.] Proof: Since B is bounded above, there exists some M satisfying y M for all y B. Since A B, every x in A obeys x B, and hence x M. Thus M is an upper bound for A, while A is given. It follows that α def = sup A exists in R. (iii) Show sup A sup B. [Define β = sup B. Assume β < sup A, get contradiction.] The argument in (ii) shows that any upper bound for B is an upper bound for A. In particular, β = sup B must be an upper bound for A. To show β α, imagine the alternative: If β < α, then β is not an upper bound for A (by definition of α = sup A), a contradiction. We must have β α. (iv) T/F? Strict inclusion A B, A B, implies strict inequality sup A < sup B. False: Consider, e.g., A = (0, 1) and B = [0, 1]. Here A B, A B, yet sup(a) = 1 = sup(b). //// Monotone Sequences Definition. Let a real-valued sequence (a n ) n N be given. (a) Call (a n ) nondecreasing when n < m = a n a m ; (b) Call (b n ) nonincreasing when n < m = a n a m. Call (a n ) monotone when it is either nondecreasing or nonincreasing. File sup009, version of 5 June 009, page 4. Typeset at 08:59 June 5, 009.
5 Supremum and Infimum 5 Theorem. Let sequence (a n ) n N be monotone. (a) If (a n ) is nondecreasing and bounded above, then a n β as n, where β = sup {a n }. (b) If (a n ) is nonincreasing and bounded below, then a n α as n, where α = inf {a n }. Proof. (a) Suppose the set of sequence entries A = {a n : n N} has an upper bound. Then β def = sup {a n : n N} is a unique real number, and it is an upper bound for A. So n N, a n β. But β is the least upper bound for A, so given any ε > 0, the number β ε is not an upper bound for A. That is, some element of A must be larger than β ε. But all the elements of A are sequence entries, so there must be some positive integer N such that a N > β ε. Now since the sequence is nondecreasing, every integer n > N will have β ε < a N a n β. This certainly implies n > N, a n β < ε. (b) Similar. (Try it!) //// Application. Classic problem genre: Prove that a sequence converges without even guessing its limit, by showing that the sequence is monotonic and bounded. Prove those properties by induction. Example. Let x 1 = and x n+1 = + x n for each n N. Prove that (x n ) n N converges, and find the limit. Solution. If the sequence converges to x, then sending n on both sides of the iteration equation x n+1 = + x n would give x = + x. Thus x > and 0 = x x = ( x )( x + 1), which would give x =. This is useful preliminary information that sets up a careful appeal to the monotone sequence theorem. Let s show that for each n N, the following statement is true: Mathematical induction is effective here. P (n) : x n x n+1. Base Case: Statement P (1) says +. This is true. Induction Step: Suppose n N is an integer for which statement P (n) is true. We would like to deduce the following. P (n + 1) : x n+1 x n+. File sup009, version of 5 June 009, page 5. Typeset at 08:59 June 5, 009.
6 6 PHILIP D. LOEWEN To get this, add to each entry in statement P (n). This gives + x n + x n+1 4. These numbers are all positive, so their square roots must come in the same order: + xn + x n+1 4. The iteration formula allows us to rearrange this as which is precisely the outcome we seek. x n+1 x n+, By induction, statement P (n) is true for each n N. Thus the sequence (x n ) is nondecreasing and bounded above, so it must converge. The value of the limit must be, for reasons given earlier. //// File sup009, version of 5 June 009, page 6. Typeset at 08:59 June 5, 009.
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 informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More information1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.
1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for
More informationDR.RUPNATHJI( DR.RUPAK NATH )
Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology
More informationUndergraduate 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
More informationAdvanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010
Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010 1. Real Number System 1.1. Introduction. Numbers are at the heart of mathematics. By now you must be fairly familiar with
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationProofs. Joe Patten August 10, 2018
Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More informationSuppose R is an ordered ring with positive elements P.
1. The real numbers. 1.1. Ordered rings. Definition 1.1. By an ordered commutative ring with unity we mean an ordered sextuple (R, +, 0,, 1, P ) such that (R, +, 0,, 1) is a commutative ring with unity
More informationSection 2.5 : The Completeness Axiom in R
Section 2.5 : The Completeness Axiom in R The rational numbers and real numbers are closely related. The set Q of rational numbers is countable and the set R of real numbers is not, and in this sense there
More informationScalar multiplication and addition of sequences 9
8 Sequences 1.2.7. Proposition. Every subsequence of a convergent sequence (a n ) n N converges to lim n a n. Proof. If (a nk ) k N is a subsequence of (a n ) n N, then n k k for every k. Hence if ε >
More information{x : P (x)} P (x) = x is a cat
1. Sets, relations and functions. 1.1. Set theory. We assume the reader is familiar with elementary set theory as it is used in mathematics today. Nonetheless, we shall now give a careful treatment of
More informationMathematical Reasoning & Proofs
Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0
More informationHomework 1 (revised) Solutions
Homework 1 (revised) Solutions 1. Textbook, 1.1.1, # 1.1.2 (p. 24) Let S be an ordered set. Let A be a non-empty finite subset. Then A is bounded and sup A, inf A A Solution. The hint was: Use induction,
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationMA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra
206/7 MA03 Introduction to Abstract Mathematics Second part, Analysis and Algebra Amol Sasane Revised by Jozef Skokan, Konrad Swanepoel, and Graham Brightwell Copyright c London School of Economics 206
More informationPostulate 2 [Order Axioms] in WRW the usual rules for inequalities
Number Systems N 1,2,3,... the positive integers Z 3, 2, 1,0,1,2,3,... the integers Q p q : p,q Z with q 0 the rational numbers R {numbers expressible by finite or unending decimal expansions} makes sense
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationAdvanced Calculus: MATH 410 Real Numbers Professor David Levermore 1 November 2017
Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 1 November 2017 1. Real Number System 1.1. Introduction. Numbers are at the heart of mathematics. By now you must be fairly familiar with
More informationSequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.
Sequences Limits of Sequences. Definition. A real-valued sequence s is any function s : N R. Usually, instead of using the notation s(n), we write s n for the value of this function calculated at n. We
More informationEcon Lecture 2. Outline
Econ 204 2010 Lecture 2 Outline 1. Cardinality (cont.) 2. Algebraic Structures: Fields and Vector Spaces 3. Axioms for R 4. Sup, Inf, and the Supremum Property 5. Intermediate Value Theorem 1 Cardinality
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationMATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem.
MATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem. Limit of a sequence Definition. Sequence {x n } of real numbers is said to converge to a real number a if for
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationMAS221 Analysis Semester Chapter 2 problems
MAS221 Analysis Semester 1 2018-19 Chapter 2 problems 20. Consider the sequence (a n ), with general term a n = 1 + 3. Can you n guess the limit l of this sequence? (a) Verify that your guess is plausible
More informationWriting proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases
Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases September 22, 2018 Recall from last week that the purpose of a proof
More informationSets, Structures, Numbers
Chapter 1 Sets, Structures, Numbers Abstract In this chapter we shall introduce most of the background needed to develop the foundations of mathematical analysis. We start with sets and algebraic structures.
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationSTA2112F99 ε δ Review
STA2112F99 ε δ Review 1. Sequences of real numbers Definition: Let a 1, a 2,... be a sequence of real numbers. We will write a n a, or lim a n = a, if for n all ε > 0, there exists a real number N such
More informationAnalysis I. Classroom Notes. H.-D. Alber
Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21
More informationIntroduction to Mathematical Analysis I. Second Edition. Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam
Introduction to Mathematical Analysis I Second Edition Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam Introduction to Mathematical Analysis I Second Edition Beatriz Lafferriere Gerardo Lafferriere
More informationMath 10850, fall 2017, University of Notre Dame
Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need
More informationInduction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2
Induction 0-8-08 Induction is used to prove a sequence of statements P(), P(), P(3),... There may be finitely many statements, but often there are infinitely many. For example, consider the statement ++3+
More informationThe Process of Mathematical Proof
1 The Process of Mathematical Proof Introduction. Mathematical proofs use the rules of logical deduction that grew out of the work of Aristotle around 350 BC. In previous courses, there was probably an
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More informationF (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous
7: /4/ TOPIC Distribution functions their inverses This section develops properties of probability distribution functions their inverses Two main topics are the so-called probability integral transformation
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationMath 242: Principles of Analysis Fall 2016 Homework 1 Part B solutions
Math 4: Principles of Analysis Fall 0 Homework Part B solutions. Let x, y, z R. Use the axioms of the real numbers to prove the following. a) If x + y = x + z then y = z. Solution. By Axiom a), there is
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More information1 The Real Number System
1 The Real Number System The rational numbers are beautiful, but are not big enough for various purposes, and the set R of real numbers was constructed in the late nineteenth century, as a kind of an envelope
More informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationDescribing the Real Numbers
Describing the Real Numbers Anthony Várilly Math 25a, Fall 2001 1 Introduction The goal of these notes is to uniquely describe the real numbers by taking certain statements as axioms. This exercise might
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 21 (2005), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 21 (2005), 107 112 www.emis.de/journals ISSN 1786-0091 A GENERALIZED AMMAN S FIXED POINT THEOREM AND ITS APPLICATION TO NASH EQULIBRIUM ABDELKADER
More informationAppendix A. Sequences and series. A.1 Sequences. Definition A.1 A sequence is a function N R.
Appendix A Sequences and series This course has for prerequisite a course (or two) of calculus. The purpose of this appendix is to review basic definitions and facts concerning sequences and series, which
More informationMATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7
MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7 Real Number Summary of terminology and theorems: Definition: (Supremum & infimum) A supremum (or least upper bound) of a non-empty
More informationWORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:
WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their
More information5. Some theorems on continuous functions
5. Some theorems on continuous functions The results of section 3 were largely concerned with continuity of functions at a single point (usually called x 0 ). In this section, we present some consequences
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationM208 Pure Mathematics AA1. Numbers
M208 Pure Mathematics AA1 Numbers Note to reader Mathematical/statistical content at the Open University is usually provided to students in printed books, with PDFs of the same online. This format ensures
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationIntroduction to Real Analysis
Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:
More informationOutline. We will now investigate the structure of this important set.
The Reals Outline As we have seen, the set of real numbers, R, has cardinality c. This doesn't tell us very much about the reals, since there are many sets with this cardinality and cardinality doesn't
More informationPart 2 Continuous functions and their properties
Part 2 Continuous functions and their properties 2.1 Definition Definition A function f is continuous at a R if, and only if, that is lim f (x) = f (a), x a ε > 0, δ > 0, x, x a < δ f (x) f (a) < ε. Notice
More information5.5 Deeper Properties of Continuous Functions
5.5. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 195 5.5 Deeper Properties of Continuous Functions 5.5.1 Intermediate Value Theorem and Consequences When one studies a function, one is usually interested
More informationEconomics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:
Economics 04 Summer/Fall 011 Lecture Tuesday July 6, 011 Section 1.4. Cardinality (cont.) Theorem 1 (Cantor) N, the set of all subsets of N, is not countable. Proof: Suppose N is countable. Then there
More informationEC9A0: Pre-sessional Advanced Mathematics Course. Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1
EC9A0: Pre-sessional Advanced Mathematics Course Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1 1 Infimum and Supremum Definition 1. Fix a set Y R. A number α R is an upper bound of Y if
More informationA lower bound for X is an element z F such that
Math 316, Intro to Analysis Completeness. Definition 1 (Upper bounds). Let F be an ordered field. For a subset X F an upper bound for X is an element y F such that A lower bound for X is an element z F
More informationSolutions to Homework Set 1
Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement
More informationProblem Set 2 Solutions Math 311, Spring 2016
Problem Set 2 Solutions Math 311, Spring 2016 Directions: Name: You must complete (at least) a total of 8 problems, some of which have multiple parts. You may complete more than 8 problems, for possible
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES You will be expected to reread and digest these typed notes after class, line by line, trying to follow why the line is true, for example how it
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationChapter 5: The Integers
c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition
More informationn n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set
1 Mathematical Induction We assume that the set Z of integers are well defined, and we are familiar with the addition, subtraction, multiplication, and division. In particular, we assume the following
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationWe have been going places in the car of calculus for years, but this analysis course is about how the car actually works.
Analysis I We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Copier s Message These notes may contain errors. In fact, they almost
More information6.2 Deeper Properties of Continuous Functions
6.2. DEEPER PROPERTIES OF CONTINUOUS FUNCTIONS 69 6.2 Deeper Properties of Continuous Functions 6.2. Intermediate Value Theorem and Consequences When one studies a function, one is usually interested in
More informationDue date: Monday, February 6, 2017.
Modern Analysis Homework 3 Solutions Due date: Monday, February 6, 2017. 1. If A R define A = {x R : x A}. Let A be a nonempty set of real numbers, assume A is bounded above. Prove that A is bounded below
More informationLemma 15.1 (Sign preservation Lemma). Suppose that f : E R is continuous at some a R.
15. Intermediate Value Theorem and Classification of discontinuities 15.1. Intermediate Value Theorem. Let us begin by recalling the definition of a function continuous at a point of its domain. Definition.
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More information2.1 Convergence of Sequences
Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written
More informationSolution of the 7 th Homework
Solution of the 7 th Homework Sangchul Lee December 3, 2014 1 Preliminary In this section we deal with some facts that are relevant to our problems but can be coped with only previous materials. 1.1 Maximum
More informationSolutions Manual for: Understanding Analysis, Second Edition. Stephen Abbott Middlebury College
Solutions Manual for: Understanding Analysis, Second Edition Stephen Abbott Middlebury College June 25, 2015 Author s note What began as a desire to sketch out a simple answer key for the problems in Understanding
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationMATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.
MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationImportant Properties of R
Chapter 2 Important Properties of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference
More informationDepartment of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Problem 1: Suppose A, B, C and D are arbitrary sets.
More informationEssential Background for Real Analysis I (MATH 5210)
Background Material 1 Essential Background for Real Analysis I (MATH 5210) Note. These notes contain several definitions, theorems, and examples from Analysis I (MATH 4217/5217) which you must know for
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationThat is, there is an element
Section 3.1: Mathematical Induction Let N denote the set of natural numbers (positive integers). N = {1, 2, 3, 4, } Axiom: If S is a nonempty subset of N, then S has a least element. That is, there is
More informationChapter One. The Real Number System
Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
More informationMath 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10
Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Inductive sets (used to define the natural numbers as a subset of R) (1) Definition: A set S R is an inductive
More information4.1 Real-valued functions of a real variable
Chapter 4 Functions When introducing relations from a set A to a set B we drew an analogy with co-ordinates in the x-y plane. Instead of coming from R, the first component of an ordered pair comes from
More information3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers
Chapter 3 Real numbers The notion of real number was introduced in section 1.3 where the axiomatic denition of the set of all real numbers was done and some basic properties of the set of all real numbers
More informationCopyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction
Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More information1 Homework. Recommended Reading:
Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More information(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)
MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence
More information