Important Properties of R

Size: px
Start display at page:

Download "Important Properties of R"

Transcription

1 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 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 Completeness Property of R In this section, we start studying what makes the set of real numbers so special, why the set of real numbers is fundamentally different from the set of rational numbers. The completeness property is also known as the least upper bound property. We will use both terms in this section. In this section we will use interval notation though we haven t defined intervals yet. A precise definition of intervals will come at the end of the section, after the least upper bound property. Until then, the reader can use the intuitive definition of an interval given in previous mathematics classes such as calculus Bounded Sets Maximum and Minimum of a Set Definition (Extrema) Let S be a subset of R 1. An element x 0 of S is said to be a maximum of S if x 0 x for every other x in S. In this case, we say that x 0 is the largest element of S and we write x 0 = max S. 2. An element x 1 of S is said to be a minimum of S if x 1 x for every other x in S. In this case, we say that x 1 is the smallest element of S and we write x 1 = min S. 45

2 46 CHAPTER 2. IMPORTANT PROPERTIES OF R 3. An extremum is either a maximum or a minimum. Remark An extremum for a set S is always an element of S. Remark To prove an element M is a maximum for a set S, we have to prove two things: 1. M S. 2. No other element of S is larger than M. Remark It is similar for a minimum. Example The smallest element (or minimum) of [0, 1] is 0. It is both in [0, 1] and satisfies 0 x for any x [0, 1]. Its largest element (or maximum) is 1 for similar reasons. More generally, if a and b are two real numbers such that a b then min [a, b] = a and max [a, b] = b. Example The minimum of [0, 1) is 0. It does not have a maximum. To be a maximum, a number α would have to be in [0, 1). Thus, we would have α < 1. But then α < α + 1 < 1, so α + 1 is also an element of [0, 1) which is 2 2 larger than α. This contradicts the fact that α = max ([0, 1)). Example Following the examples above, it is easy to see that if a and b are two real numbers such that a b then [a, b) does not have a maximum and min [a, b) = a, (a, b] does not have a minimum and max (a, b] = b, (a, b) has neither a minimum nor a maximum. Example The largest element of S = [0, 1] {3} is 3. It satisfies both conditions. 3 S and x S, x 3. Example Consider the set S = { q Q : q > 0 and q 2 < 2 }. This set has no maximum. To show this, we show that if p S, one can find q S such that p < q. Let p S. In particular, p > 0 and p 2 < 2. Define q = p + 2 p2 p + 2 = 2p + 2 p + 2 First, it should be clear that q Q and q > 0 (since p 2 < 2). Also, it is clear

3 2.1. THE COMPLETENESS PROPERTY OF R 47 that q > p. We only need to establish that q 2 < 2 so that q S. q 2 2 = 4p2 + 8p + 4 (p + 2) 2 2 = 4p2 + 8p + 4 2p 2 8p 8 (p + 2) 2 = 2p2 4 (p + 2) 2 = 2 ( p 2 2 ) (p + 2) 2 < 0 Since p 2 < 2. Thus q 2 < 2. Therefore, given any p S, we have found q S such that p < q. Thus S has no largest element. Upper and Lower Bounds, Bounded Sets Definition (Bounded) Let S be a subset of R. 1. S is said to be bounded above if there exists a number M in R such that x M for every x in S. M is called an upper bound for S. 2. S is said to be bounded below if there exists a number m in R such that x m for every x in S. m is called a lower bound for S. 3. S is said to be bounded if it is bounded above and below. 4. S is said to be unbounded if it lacks either an upper bound or a lower bound. Remark Not every subset of R has an upper bound. For example, (4, ) does not have an upper bound, it is unbounded. However, if a set S has an upper bound M, then every number larger than M is also an upper bound. That is, if S has an upper bound, then it has infinitely many. A similar result holds for lower bounds. Consider (0, 1). 1 is an upper bound. In fact, any number M 1 is an upper bound. Example and every number larger than 3 is an upper bound of [0, 3). On the other hand, 2.99 is not an upper bound. Example is also an upper bound of [0, 3]. So, an upper bound of a set can be in the set (more on this later) but does not have to be in the set. Since a set usually has an infinite number of upper bounds, a possible question is: given a set S, what is the set of upper bounds of S. We explore this question in the next two examples.

4 48 CHAPTER 2. IMPORTANT PROPERTIES OF R Example What is the set of upper bounds of [0, 1]? A number M is an upper bound of [0, 1] if and only if M 1 therefore, the set of upper bounds of [0, 1] is [1, ). Example What is the set of upper bounds of [0, 1)? We see that if M 1, then M is an upper bound of [0, 1). Could [0, 1) have upper bounds smaller than 1? The answer is no. Obviously, to be an upper bound of [0, 1), a number would have to be greater than 0. So, we only need to see what happens between 0 and 1. But if α < 1 is an upper bound of [0, 1) then α < α + 1 < 1 which contradicts the fact that α is an upper bound. So, [0, 1) 2 cannot have an upper bound less than 1. It follows that the set of upper bounds of [0, 1) is [1, ). Remark The reader should remember the argument we used above. It is a result which was established in theorem Remark [0, 1] and [0, 1) have the same set of upper bounds. Remark More generally, if a and b are two real numbers such that a b, then [a, b], (a, b), (a, b] and [a, b) have the same set of upper bounds which is [b, ) and the same set of lower bounds which is (, a]. Remark An upper bound M of a set S may or may not be in S. Example The set of lower bounds of {2} [3, 4] is (, 2]. Example The empty set,, presents an interesting case. Every real number is both an upper bound and a lower bound of. To see this, it is better to look at why a number may fail to be an upper bound. M will fail to be an upper bound of a set S if there exists an element of S larger than M. If x is any real number, no member of can be larger than x. Thus x is an upper bound of. Since this argument can be carried out for arbitrary x, it follows that any real number x is an upper bound of. A similar argument can be used for lower bounds. Example The set N is clearly bounded below by 1. Intuitively, we know that it is not bounded above. Proving it is more diffi cult. We can see that it is not bounded above by an integer. If n were an upper bound of N, then n + 1 is also an integer larger than n. This contradicts the fact that n is an upper bound for N. However, there could exist a real number which is an upper bound for N. While this is not true, we cannot prove it at this stage. Example Consider the set S = {0, 12, 23, 34 },... = {1 1n } : n N. This set is bounded below by any real number m 0. It is bounded above by any real number M 1.

5 2.1. THE COMPLETENESS PROPERTY OF R 49 Lemma Suppose that S is a non-empty subset of R, α is a lower bound of S and β is an upper bound of S. Then, we must have α β. Proof. Since S, we can choose x S. Because α is a lower bound of S, we have α x. Because β is an upper bound of S, we have x β. Using the transitivity property of, we obtain α β. Supremum and Infimum of a Set Definition (Supremum and infimum) Let S be a subset of R 1. If S is bounded above, then an upper bound of S is said to be a supremum denoted sup S or a least upper bound denoted lub S if it is less than any other upper bound of S. If this number exists, we will denote it by sup S. 2. If S is bounded below, then a lower bound of S is said to be an infimum denoted inf S or a greatest lower bound denoted glb S if it is greater than any other lower bound of S. If this number exists, we will denote it by inf S. Remark It should be noted that sup S and inf S are not necessarily elements of S. Remark Obviously, if S is not bounded above then S does not have a supremum. Similarly, if S is not bounded below, it does not have an infimum. What about the converse? Another way of defining the supremum is as follows. A number u R is a supremum of a subset S of R if it satisfies the two conditions 1. s u s S 2. If v is any number such that s v s S then u v The first condition says that u is an upper bound. The second says that u is less than any other upper bound that is u is the least upper bound. Remark We see that to prove a real number β is an upper bound of a set S, we must prove: 1. β is an upper bound of S. 2. Any other upper bound of S is larger than β. This condition can be proven directly, that is we assume that γ is another upper bound of S and show we must have β γ. It can also be done by contradiction. We assume that γ is another upper bound such that γ < β and derive a contradiction. Example Consider the set S = (0, 2). A number M 2 is an upper bound. So, the set of upper bounds is [2, ). The smallest element of this set is 2. Therefore, the least upper bound of S is 2 which is not in S. We would write sup (0, 2) = 2. You will also note that S does not have a largest element or a maximum.

6 50 CHAPTER 2. IMPORTANT PROPERTIES OF R Example Consider the set [0, 2]. A number M 2 is an upper bound. So, the set of upper bounds is [2, ). The smallest element of this set is 2. Therefore, the least upper bound is 2 which is in S. We would write sup [0, 2] = 2. You will also note that S has a maximum, 2. In this example, the maximum and the supremum are equal. This is in fact true for every set which has a maximum as we will see later. Example More generally, if a and b are two real numbers such that a b, then sup (a, b) = sup [a, b] = b and inf (a, b) = inf [a, b] = a. Also, the following quantities do not exist: sup (a, ), sup [a, ), inf (, b) and inf (, b]. Example N has a greatest lower bound, it is 1. So, inf N = 1. Since N is not bounded above, it does not have any upper bound thus it does not have a least upper bound. Another way of characterizing the supremum of a set is given below. It is a way we will use throughout this text. Make sure you understand it and remember it. Theorem Let S be a non-empty subset of R. An upper bound M 0 of S satisfies M 0 = sup S, if and only if for each y < M 0, there exists an x in S for which y < x M 0 Proof. We need to prove both directions. 1. Let us assume that M 0 = sup S. We need to prove that for each y < M 0, there exists an x in S for which y < x M 0. We do a proof by contradiction. Let y < M 0 be given and assume that there is no element x of S such that y < x. Then, for every x in S, x y. Thus, y is an upper bound of S which is smaller than M 0 which contradicts the fact that M 0 is the supremum. 2. Let M 0 be an upper bound of S with the property that for each y < M 0, there exists an x in S for which y < x M 0. We need to show that M 0 = sup S. Since M 0 is already an upper bound, it is enough to show it is the smallest. If γ were an upper bound strictly smaller than M 0, then by assumption, there would exists an x in S for which γ < x M 0. But then γ would not be an upper bound of S, which contradicts our assumption. Thus, there cannot be an upper bound of S smaller than M 0. It follows that M 0 = sup S. Remark This theorem says that one can get as close as one wants to the supremum of a set and still be in the set. This is obvious if the supremum is in the set. The theorem says it is also true if the supremum is outside of the

7 2.1. THE COMPLETENESS PROPERTY OF R 51 set. Another way of understanding this is that the theorem implies that there is nothing between a set and its supremum because nothing can fit there. In other words, if the supremum of a set is not in the set, then it is the closest it can be to the set. Nothing else can fit in between. Remark If we represent the set of real numbers by the real line and consider that the subset S in the theorem is a portion of the real line, then the theorem says that no element of S can be to the right of M 0 however, there is at least one element of S to the right of every element to the left of M 0. Example Consider the set S = {0, 12, 23, 34 },... = {1 1n } : n N. Clearly inf A = 0 (see the next proposition). Intuitively, we think that sup A = 1 because 1 is an upper bound. If γ is any real number less than 1 (γ < 1) then one can find a natural number n 0 such that γ < It would be a n 0 natural number satisfying n 0 > 1 1 γ. Thus 1 1 S. By theorem n 0 this means that 1 = sup S. Example Consider the set S = { q Q : q > 0 and q 2 < 2 }. Prove that if sup S exists then it cannot be a rational number. We do a proof by contradiction. Let α = sup S and assume that α Q.. Then, we know that α 2 2. It follows that either α 2 < 2 or α 2 > 2. If α 2 > 2, then 2 < α. By theorem , there exists s S such that 2 < s α. But then,we would have s 2 > 2 so that s / S which is a contradiction. So this case cannot occur. The only possibility left is that α 2 < 2. Since S has no largest element, there exists q S such that α < q thus α is not an upper bound of S hence cannot be its supremum. Since all the possible cases cannot happen, our assumption that α Q cannot be true. We will see later that S has indeed a supremum, it is 2. Proposition Let S be a subset of R. 1. If S has a smallest element, then min S = inf S. 2. If S has a largest element, then max S = sup S. Proof. We prove part 1 and leave part 2 as an exercise. Let m = min S. By definition, m s for any s S. Thus m is also a lower bound of S. If γ is another lower bound of S, then γ m since m S. Thus m is the greatest lower bound of S or m = inf S. Proposition If the supremum exists, it is unique. A similar result holds for the infimum. Proof. See exercises. In the last example we did, we saw that the set S, which is a subset of Q, could not have a supremum in Q. This brings the questions "when do we know if a set has a supremum, and in which set is the supremum?". There is a similar question for infimum. We answer these questions in the next subsection. We will see that the answer is at the heart of the difference between R and Q.

8 52 CHAPTER 2. IMPORTANT PROPERTIES OF R The Axiom of Completeness We are now ready to state the axiom of completeness. This axiom is also known as the supremum or least upper bound property. There are several forms of this axiom; they are obviously equivalent. We state two versions of this axiom, one for supremum, one for infimum. Axiom (Supremum Property) Every non-empty subset of R that is bounded above has a supremum in R. The second version is stated as a theorem because it can be proven using the first one. Theorem (Infimum property) Every non-empty subset of R that is bounded below has an infimum in R. Proof. We do a direct proof. We will prove the infimum exists by finding it. Let S be a non-empty subset of R which is bounded below. Define L to be the set of lower bounds of S. Since S is bounded below, L. Furthermore, L is bounded above by elements of S. By the supremum property, L has a supremum in R. Call it α that is α = sup L. We will show that α = inf S. To prove that α = inf S, we first prove that α is a lower bound of S. We then prove that no lower bound greater than α can exist, making α the greatest lower bound of S. First, we prove that α is a lower bound of S. For this, we need to show that every element of S is larger than α. Let s S. Then s is an upper bound of L. Since α = sup L, that is α is the least upper bound of L, it follows that α s. We have proven that if s is an arbitrary element of S, then we had s α. It follows that α is a lower bound of S. Next, we show that α is the greatest of the lower bounds of S. This is straightforward. If γ is another lower bound of S, then γ is an element of L and therefore γ α since α is the least upper bound of L hence an upper bound of L. Therefore α is the greatest lower bound (or the infimum) of S. Remark In the first part of the proof, where we proved that α is a lower bound of S, it would have been wrong to say α is a lower bound because α = sup L and L is the set of lower bounds of L. It is wrong because the supremum or the infimum of a set do not necessarily below to the set. Thus α is not necessarily a lower bound of S. It turns out that it is. But we know this after the proof we gave. Remark The axiom and the theorem say that R is complete. We ll give a full definition of completeness in the next section.

9 2.1. THE COMPLETENESS PROPERTY OF R 53 Remark Recall that one diff erence between supremum and largest element of a set is that the latter is in the set while the former need not be. If we replace the word supremum by maximum or largest element in axiom , the result no longer holds. Consider (0, 5). This is clearly a non empty subset of R which is bounded above. It does indeed have a supremum, but no maximum. Definition If S is a non-empty subset of R, we set: 1. sup S = if S is not bounded above. 2. inf S = if S is not bounded below. Remark The case of is, once again, an interesting one. We have already established that every real number was both an upper bound and a lower bound of. Thus, from the definition above, it follows that sup = inf = We illustrate with an example how to work with suprema and infima. Example Let S be a non-empty bounded subset of R. If a > 0, show that sup (as) = a sup S where as = {as : s S}. Let α = sup S. We need to show that sup (as) = aα. For this, we show that aα is an upper bound of S and that it is the smallest of the upper bounds of S. 1. aα is an upper bound of S. We need to show that aα as for any s S. Let s S. Since α = sup S, it follows that α is an upper bound of S. Thus, we have α s Since a > 0, it follows that thus aα is an upper bound of as. aα as 2. aα is the least upper bound. We show that if γ is any other upper bound of as then γ aα. Clearly if γ = the result is true. Suppose that γ is finite. Then, as γ for any s S. Thus s γ a for any s S. This makes γ a follows that an upper bound of S. Since α = sup S, it α γ a and therefore aα γ

10 54 CHAPTER 2. IMPORTANT PROPERTIES OF R Intervals We can now define precisely what an interval is. Definition (interval) A subset S of R is an interval if whenever x, y are in S with x < y then every real number t satisfying x < t < y is also in S. The next theorem records the familiar possible forms of an interval. Theorem An interval has one of the following nine forms: 1. (a, b) = {x R : a < x < b}, a bounded, open interval. 2. [a, b) = {x R : a x < b}, a bounded, half-open interval. 3. (a, b] = {x R : a < x b}, a bounded, half-open interval. 4. [a, b] = {x R : a < x < b}, a bounded, closed interval. 5. (, b) = {x R : x < b}, an unbounded, open interval. 6. (, b] = {x R : x b}, an unbounded, closed interval. 7. (a, ) = {x R : a < x}, an unbounded, open interval. 8. [a, ) = {x R : a x}, an unbounded, closed interval. 9. (, ) = R, an unbounded, both open and closed interval. Remark If a < b, when we write [a, b] we mean an interval of real numbers. If we want an interval on rational numbers, we either use set notation that is {x Q : a x b}. We can also use [a, b] Q. Similarly for integers or natural numbers, we use [a, b] Z or [a, b] N Exercises 1. In lemma , prove that if we add the condition that S has more than one element, then α < β. 2. Show that if S is bounded above and below, then there exists a number N > 0 for which N x N if x S. 3. Show that 1 (a + b + a b ) = max {a, b} 2 4. Suppose that A is a non-empty bounded set of real numbers that has no largest member and that a A. Explain why the sets A and A \ {a} have exactly the same upper bounds. 5. Give an example of a set A that has a largest member a such that the sets A and A \ {a} have exactly the same upper bounds.

11 2.1. THE COMPLETENESS PROPERTY OF R Give an example of a set A that has a largest member a such that the sets A and A \ {a} do not have exactly the same upper bounds. 7. Answer each part below. (a) Given that S is a non empty subset of a given interval [a, b], explain why, for every member x of the set S, we have x a + b a. (b) Given that a set S of numbers is bounded and that T = { x : x S}, prove that the set T must also be bounded. 8. Is it possible for a set of numbers to have a supremum even though it has no largest member? 9. Show that if a subset S has a maximum, then the maximum is also the supremum. Similarly, show that if S has a minimum, then the minimum is also the infimum. 10. Show that if the supremum of a subset S exists, then it is unique. Prove the same result for the infimum. 11. Let S denote the set in brackets in each case below. Find sup S and inf S. (a) { x R : x 2 3x < 4 }. (b) {x R : 3x + 5 < 4x 7}. 12. Given that A is a set of real numbers and that sup A A, prove that sup A = max A. 13. Given that A is a set of real numbers and that inf A A, prove that inf A = min A. 14. Given that α is an upper bound of a set A and that α A, prove that α = sup A. 15. Explain why the empty set does not have a supremum. 16. Explain why the set [1, ) does not have a supremum. 17. Given that α = sup A and that x < α, what conclusions can you draw about the number x? 18. Given that α = inf A and that x > α, what conclusions can you draw about the number x? 19. State and prove the infimum version of theorem

12 56 CHAPTER 2. IMPORTANT PROPERTIES OF R 20. If A and B are sets of real numbers, then the sets A + B and A B are defined by A + B = {a + b : a A and b B} and A B = {a b : a A and b B} A = { a : a A} A.B = {ab : a A and b B} (a) Find A + B and A B in each case below. i. A = [0, 1] and B = [ 1, 0]. ii. A = [0, 1] and B = {1, 2, 3}. iii. A = (0, 1) and B = {1, 2, 3}. (b) Prove that if two sets A and B are bounded, then so are A + B and A B. (c) Prove that sup ( B) = inf (B) and inf ( B) = sup (B). (d) Prove that if A and B are non-empty and bounded above then sup (A + B) = sup A + sup B and sup (A B) = sup A inf B. (e) Show by example that in general sup (A.B) (sup A) (sup B). 21. Given that two sets A and B are bounded above and below. Answer the following questions: (a) Explain why their union A B is bounded above and below. (b) Prove that sup (A B) = max {sup A, sup B}. (c) Prove that inf (A B) = min {inf A, inf B}. (d) Prove that sup (A B) min {sup A, sup B}. 22. Suppose that A is a non-empty bounded set of real numbers that has no largest member and that a A. Prove that sup A = sup (A \ {a}). 23. Given that A and B are sets of numbers, that A is non-empty, that B is bounded above, and that A B, explain why sup A and sup B exist and why sup A sup B. 24. Given that A and B are non-empty subsets of R with A B and B bounded, show that inf B inf A sup A sup B. 25. Given that A is a non-empty bounded set of numbers, explain why inf A sup A. 26. Let S be a subset of R and let a R. Define a + S = {a + s : s S}. Assume that S is non-empty and bounded. Show that sup (a + S) = a + sup S and inf (a + S) = a + inf S.

13 2.1. THE COMPLETENESS PROPERTY OF R Show that every non-empty finite subset of R contains both a maximum and a minimum element (hint: use induction). 28. Does (a, b) Z have a largest element, a smallest element? If yes, what are they and why? 29. Let S be a non-empty bounded subset of R. Let α = sup S and β = inf S. Let ɛ > 0 be given. (a) Explain why α and β exist. (b) Prove that there exists s 0 S such that α ɛ < s 0. (c) Prove that there exists s 1 S such that s 1 < β + ɛ.

14 Bibliography [B] Bartle, G. Robert, The elements of Real Analysis, Second Edition, John Wiley & Sons, [C1] Courant, R., Diff erential and Integral Calculus, Second Edition, Volume 1, Wiley, [C2] Courant, R., Diff erential and Integral Calculus, Second Edition, Volume 2, Wiley, [DS] Dangello, Frank & Seyfried Michael, Introductory Real Analysis, Houghton Miffl in, [F] Fulks, Watson, Advanced Calculus, an Introduction to Analysis, Third Edition, John Wiley & Sons, [GN] Gaskill, F. Herbert & Narayanaswami P. P., Elements of Real Analysis, Prentice Hall, [LL] Lewin, J. & Lewin, M., An Introduction to Mathematical Analysis, Second Edition, McGraw-Hill, [MS] Stoll, Manfred, Introduction to Real Analysis, Second Edition, Addison- Wesley Higher Mathematics,

5.5 Deeper Properties of Continuous Functions

5.5 Deeper Properties of Continuous Functions 200 CHAPTER 5. LIMIT AND CONTINUITY OF A FUNCTION 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 information

6.2 Important Theorems

6.2 Important Theorems 6.2. IMPORTANT THEOREMS 223 6.2 Important Theorems 6.2.1 Local Extrema and Fermat s Theorem Definition 6.2.1 (local extrema) Let f : I R with c I. 1. f has a local maximum at c if there is a neighborhood

More information

f (x) dx = F (b) F (a), where F is any function whose derivative is

f (x) dx = F (b) F (a), where F is any function whose derivative is Chapter 7 Riemann Integration 7.1 Introduction The notion of integral calculus is closely related to the notion of area. The earliest evidence of integral calculus can be found in the works of Greek geometers

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

Consequences of the Completeness Property

Consequences of the Completeness Property Consequences of the Completeness Property Philippe B. Laval KSU Today Philippe B. Laval (KSU) Consequences of the Completeness Property Today 1 / 10 Introduction In this section, we use the fact that R

More information

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008 Studying Rudin s Principles of Mathematical Analysis Through Questions Mesut B. Çakır c August 4, 2008 ii Contents 1 The Real and Complex Number Systems 3 1.1 Introduction............................................

More information

Homework 1 (revised) Solutions

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

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

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

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

Section 2.5 : The Completeness Axiom in R

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

5.5 Deeper Properties of Continuous Functions

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

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S) 106 CHAPTER 3. TOPOLOGY OF THE REAL LINE 3.3 Limit Points 3.3.1 Main Definitions Intuitively speaking, a limit point of a set S in a space X is a point of X which can be approximated by points of S other

More information

Essential Background for Real Analysis I (MATH 5210)

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

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

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

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

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

6.2 Deeper Properties of Continuous Functions

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

Principles of Real Analysis I Fall I. The Real Number System

Principles of Real Analysis I Fall I. The Real Number System 21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

The Lebesgue Integral

The Lebesgue Integral The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters

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

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

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

A lower bound for X is an element z F such that

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

Lecture Notes on Metric Spaces

Lecture Notes on Metric Spaces Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],

More information

Math 117: Topology of the Real Numbers

Math 117: Topology of the Real Numbers Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few

More information

Relations. Relations. Definition. Let A and B be sets.

Relations. Relations. Definition. Let A and B be sets. Relations Relations. Definition. Let A and B be sets. A relation R from A to B is a subset R A B. If a A and b B, we write a R b if (a, b) R, and a /R b if (a, b) / R. A relation from A to A is called

More information

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay Lecture Notes in Real Analysis 2010 Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay August 6, 2010 Lectures 1-3 (I-week) Lecture 1 Why real numbers? Example 1 Gaps in the

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

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is

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

Notes on Ordered Sets

Notes on Ordered Sets Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,

More information

HW 4 SOLUTIONS. , x + x x 1 ) 2

HW 4 SOLUTIONS. , x + x x 1 ) 2 HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ). Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.

More information

Postulate 2 [Order Axioms] in WRW the usual rules for inequalities

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

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

2. Two binary operations (addition, denoted + and multiplication, denoted 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

More information

1.2 Functions What is a Function? 1.2. FUNCTIONS 11

1.2 Functions What is a Function? 1.2. FUNCTIONS 11 1.2. FUNCTIONS 11 1.2 Functions 1.2.1 What is a Function? In this section, we only consider functions of one variable. Loosely speaking, a function is a special relation which exists between two variables.

More information

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION The Peano axioms The following are the axioms for the natural numbers N. You might think of N as the set of integers {0, 1, 2,...}, but it turns

More information

1.3. The Completeness Axiom.

1.3. The Completeness Axiom. 13 The Completeness Axiom 1 13 The Completeness Axiom Note In this section we give the final Axiom in the definition of the real numbers, R So far, the 8 axioms we have yield an ordered field We have seen

More information

Describing the Real Numbers

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

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works.

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

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

REAL VARIABLES: PROBLEM SET 1. = x limsup E k REAL VARIABLES: PROBLEM SET 1 BEN ELDER 1. Problem 1.1a First let s prove that limsup E k consists of those points which belong to infinitely many E k. From equation 1.1: limsup E k = E k For limsup E

More information

1 of 8 7/15/2009 3:43 PM Virtual Laboratories > 1. Foundations > 1 2 3 4 5 6 7 8 9 6. Cardinality Definitions and Preliminary Examples Suppose that S is a non-empty collection of sets. We define a relation

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

Metric spaces and metrizability

Metric spaces and metrizability 1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively

More information

Upper and Lower Bounds

Upper and Lower Bounds James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University August 30, 2017 Outline 1 2 s 3 Basic Results 4 Homework Let S be a set of real numbers. We

More information

Lebesgue Measure. Dung Le 1

Lebesgue Measure. Dung Le 1 Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its

More information

A LITTLE REAL ANALYSIS AND TOPOLOGY

A LITTLE REAL ANALYSIS AND TOPOLOGY A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set

More information

Scalar multiplication and addition of sequences 9

Scalar 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

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Prakash Balachandran Department of Mathematics Duke University April 2, 2008 1 Review of Discrete-Time

More information

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

THE REAL NUMBERS Chapter #4

THE REAL NUMBERS Chapter #4 FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

STA2112F99 ε δ Review

STA2112F99 ε δ 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 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

MATH1050 Greatest/least element, upper/lower bound

MATH1050 Greatest/least element, upper/lower bound MATH1050 Greatest/ element, upper/lower bound 1 Definition Let S be a subset of R x λ (a) Let λ S λ is said to be a element of S if, for any x S, x λ (b) S is said to have a element if there exists some

More information

Lecture 2. Econ August 11

Lecture 2. Econ August 11 Lecture 2 Econ 2001 2015 August 11 Lecture 2 Outline 1 Fields 2 Vector Spaces 3 Real Numbers 4 Sup and Inf, Max and Min 5 Intermediate Value Theorem Announcements: - Friday s exam will be at 3pm, in WWPH

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

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

More information

ON THE EQUIVALENCE OF CONGLOMERABILITY AND DISINTEGRABILITY FOR UNBOUNDED RANDOM VARIABLES

ON THE EQUIVALENCE OF CONGLOMERABILITY AND DISINTEGRABILITY FOR UNBOUNDED RANDOM VARIABLES Submitted to the Annals of Probability ON THE EQUIVALENCE OF CONGLOMERABILITY AND DISINTEGRABILITY FOR UNBOUNDED RANDOM VARIABLES By Mark J. Schervish, Teddy Seidenfeld, and Joseph B. Kadane, Carnegie

More information

2. Prime and Maximal Ideals

2. Prime and Maximal Ideals 18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

More information

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov

More information

A lower bound for X is an element z F such that

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

Stat 451: Solutions to Assignment #1

Stat 451: Solutions to Assignment #1 Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are

More information

Boolean Algebras. Chapter 2

Boolean Algebras. Chapter 2 Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union

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

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

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

MATH41011/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 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

Sequence convergence, the weak T-axioms, and first countability

Sequence convergence, the weak T-axioms, and first countability Sequence convergence, the weak T-axioms, and first countability 1 Motivation Up to now we have been mentioning the notion of sequence convergence without actually defining it. So in this section we will

More information

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

Suppose R is an ordered ring with positive elements P.

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

Due date: Monday, February 6, 2017.

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

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

More information

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

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity A crash course in Lebesgue measure theory, Math 317, Intro to Analysis II These lecture notes are inspired by the third edition of Royden s Real analysis. The Jordan content is an attempt to extend the

More information

Supremum and Infimum

Supremum and Infimum 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

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

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

REAL ANALYSIS: INTRODUCTION

REAL ANALYSIS: INTRODUCTION REAL ANALYSIS: INTRODUCTION DR. RITU AGARWAL EMAIL: RAGARWAL.MATHS@MNIT.AC.IN MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR Contents 1. The real number system 1 2. Field Axioms 1 3. Order Axioms 2 4.

More information

{x : P (x)} P (x) = x is a cat

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

Some Background Math Notes on Limsups, Sets, and Convexity

Some Background Math Notes on Limsups, Sets, and Convexity EE599 STOCHASTIC NETWORK OPTIMIZATION, MICHAEL J. NEELY, FALL 2008 1 Some Background Math Notes on Limsups, Sets, and Convexity I. LIMITS Let f(t) be a real valued function of time. Suppose f(t) converges

More information

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

More information

Introduction to Real Analysis

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

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

M17 MAT25-21 HOMEWORK 6

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

F (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous

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

Math LM (24543) Lectures 01

Math LM (24543) Lectures 01 Math 32300 LM (24543) Lectures 01 Ethan Akin Office: NAC 6/287 Phone: 650-5136 Email: ethanakin@earthlink.net Spring, 2018 Contents Introduction, Ross Chapter 1 and Appendix The Natural Numbers N and The

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

2.1 Convergence of Sequences

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

Analysis III. Exam 1

Analysis III. Exam 1 Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)

More information

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

More information

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( ) Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes

More information