1 Introduction. 1.1 Notation and Terminology

Size: px
Start display at page:

Download "1 Introduction. 1.1 Notation and Terminology"

Transcription

1 1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage based o axioms ad defiitios (remember ɛ δ defiitio of limit?). It may be challegig to may studets to get used to the laguage ad axiomatic approach. But beig comfortable with the machiery of Real Aalysis would defiitely make you a better mathematicia. Pure mathematics is, i its way, the poetry of logical ideas. Oe seeks the most geeral ideas of operatio which will brig together i simple, logical ad uified form the largest possible circle of formal relatioships. I this effort toward logical beauty spiritual formulas are discovered ecessary for the deeper peetratio ito the laws of ature. Albert Eistei, Obituary for Emmy Noether (May 5, 1935). 1.1 Notatio ad Termiology N or Z + = {1, 2, 3,...}, the set of atural umbers. Z = {0, ±1, ±2, ±3,...}, the set of itegers. { p Q = }, p, q Z ad q 0 the set of ratioal umbers. q R, the set of real umbers. a i = a 1 + a a. E.g., i=1 a i = a 1 a 2 a. E.g., i=1 i = i=1 i =:! i=1 ( + 1) 2 Frequetly used otatio i Real Aalysis: x S : read as x belogs to S or x is i S. x S : read as for all x i S. x S : read as there exists x i S. s. t. : read as such that. Set otatio: A B : read as A is a subset of B 1

2 A B : read as A is a proper subset of B A B = {x x A or x B} A B = {x x A ad x B} A \ B = {x x A ad x / B} 1.2 Subsets of R ad Cardiality Beside N, Z, ad Q, the followig are frequetly used subsets of R i Real Aalysis: Ope iterval : (a, b) = {x R a < x < b}. Closed iterval : [a, b] = {x R a x b}. Half-ope/ half-closed iterval : (a, b] = {x R a < x b} ad [a, b) = {x R a x < b}. The domai ad rage of the fuctio f defied by f(x) = x 1 are [1, ) ad (0, ) respectively. The precedig sets are all ifiite sets. Ifiite sets may be of differet kids i terms of coutig their elemets. Defiitio (Coutable set). A set S is coutable if it is fiite or there is a oe-to-oe fuctio from N oto S (equivaletly if there is a oe-to-oe fuctio from S oto a subset of N). 1. N is coutable because of the idetity map I : N N defied by I() =. 2. To show Z is coutable, defie f : N Z by { if is eve 2 f() = 1 if is odd 2 To show oe-to-oeess of f, let f(m) = f() for some m, N. Note that if both m ad are ot eve or both m ad are ot odd, the f(m) = f() = m + = 1, a cotradictio. So whe m ad are eve, f(m) = f() = m 2 = 2 = m =. Similarly whe m ad are odd, f(m) = f() = 1 m 2 = 1 2 = m =. To show otoess of f, let k Z. If k > 0, the f(2k) = 2k 2 k 0, the f(1 2k) = 1 (1 2k) = k where 1 2k N. 2 2 = k where 2k N. If

3 Theorem 1.1. Q is coutable. Proof. Sice Z is coutable, S q = { p q p Z} is coutable for all q N. Note that Q = S q. Sice coutable uio of coutable sets is coutable (log exercise), Q is coutable. q=1 Theorem 1.2. The iterval (0, 1) is ucoutable. Proof. (Cator s diagoal argumet, 1891) Suppose (0, 1) is ucoutable. Let (0, 1) = {x N} where each x has a decimal expasio (ot ecessarily fiite): x 1 = 0.a 11 a 12 a 13 a 14 x 2 = 0.a 21 a 22 a 23 a 24 x 3 = 0.a 31 a 32 a 33 a Now costruct a umber b = 0.b 1 b 2 b 3 b 4 (0, 1) by choosig b i a ii as follows: { 6 if a ii = 5 b i = 5 if a ii 5 The b x i for all i N but b (0, 1) cotradictig that (0, 1) = {x N}. By the precedig theorem, (0, 1) \ Q is ucoutable ad so are R ad R \ Q. Thus Q is a coutably ifiite set where R \ Q is a ucoutably ifiite set. To distiguish the sizes (cardiality) of ifiite sets such as N ad R, Georg Cator itroduced cardial umbers such as ℵ 0 (read aleph-aught or aleph-zero) < ℵ 1 < ℵ 2 < where ℵ 0 is the cardiality of N. The cardiality of R is deoted by c. By the precedig theorem, ℵ 0 < c. The cotiuum hypothesis states that c = ℵ 1, i.e., there is o set whose cardiality is strictly betwee that of N ad that of R. 3

4 2 Basic Properties of R 2.1 Order Structure We itroduce a order < o the field R ad impose the the followig order properties for all a, b, c R: (a) Either a < b, or a = b, or b < a. (Law of Trichotomy) (b) If a < b ad b < c, the a < c. (Trasitivity) (c) If a < b, the a + c < b + c c R. (Orderig after shiftig) (d) If a < b, the ca < cb c > 0 ad ca > cb c < 0. (Orderig after scalig) Axiom 2.1 (Well-orderig Property). Every oempty subset of N has a smallest elemet. The well-orderig property caot be proved just by the field ad order properties of R. Thus it is cosidered as a axiom or a priciple (uless we assume mathematical iductio). We itroduce a metric structure o the ordered field R by a distace fuctio (metric) give by the absolute value fuctio : x = x if x 0 ad x = x if x < 0. The distace betwee two real umbers x ad y is defied by x y. Amog kow properties of, the followig oe is frequetly used i real aalysis: Propositio (Triagle iequality). For all a, b R, a + b a + b. 2.2 Archimedea Property Theorem 2.2 (Archimedea Property). Let ε ad x be two positive real umbers. The ε > x for some N. ε ε x Although the Archimedea Property seems obvious ad = x ε, a formal proof is give i the ext sectio by the completeess property of R. The followig are some equivalet statemets of the well-orderig property: Corollary 2.3. (a) For positive real umbers ε (however small) ad x (however large), we have ε > x for some N. 4

5 (b) For a positive real umbers ε (however small), we have 1 < ε for some N. (c) For a positive real umber x (however large), we have > x for some N. (i.e., N is ubouded). Proof. (a) = (b) Set x = 1 i (a). (b) = (c) Set ε = 1/x i (b). (c) = (a) Set x = x/ε i (c). Theorem 2.4 (The desity of Q i R). Let a ad b be two real umbers such that a < b. The there exists a ratioal umber r such that a < r < b. Proof. By the Archimedea Property o ε = b a > 0 ad x = 1, we fid a atural umber such that (b a) > 1 which implies a + 1 < b. Similarly we fid a atural umber m such that m > a. Suppose m is the smallest iteger such that m > a. The m > a m 1 which implies a < m a + 1 < b. Dividig by we get a < m < b. Here r = m Q. 2.3 Ifimum ad Supremum I all the defiitios i this sectio, S R. Defiitio (Upper boud). A real umber M is a upper boud of S if M x for all x S. The S is bouded above by M. If a upper boud M of S belogs to S, the M is the maximum of S, deoted by M = max S. 1. S = [0, 1] is bouded above by the upper boud 1 ad max S = S = (0, 1) is bouded above by the upper boud 1 ad max S does ot exist as 1 / S. 3. S = {x Q x 2 2} is bouded above by 2 / S ad max S does ot exist. Suppose max S exists ad M = max S. The M Q ad sice 2 / Q, M < 2. Let M = 2+2M. Sice M Q, M Q. Note that M 2 2 = 2(M 2 2) < 0 which 2+M (2+M) 2 implies M < 2. Thus M S. Now M M = 2 M 2 > 0 which implies M > M. (2+M) 2 Thus M S ad M > M = max S, a cotradictio. (Alt. use the desity of Q i R) Defiitio (Lower boud). A real umber m is a lower boud of S if m x for all x S. The S is bouded below by m. If a lower boud m of S belogs to S, the m is the miimum of S, deoted by m = mi S. 1. S = [0, 1] is bouded below by the lower boud 0 ad mi S = 0. 5

6 2. S = (0, 1) is bouded below by the lower boud 0 ad mi S does ot exist as 0 / S. 3. S = {x Q x 2 2} is bouded below by 2 / S ad mi S does ot exist. Defiitio (Bouded Set). S is bouded if it is bouded above ad below. S is ubouded if it is ot bouded. Note that a fiite set S is always bouded because it is bouded above ad below by max S ad mi S respectively. But a ifiite set S may ot be bouded ad also max S ad mi S may ot exist. 1. S = (0, 1) is a ifiite bouded set. Note both max S ad mi S do ot exist. 2. S = [0, ) is a ubouded set. Note mi S = 0 but max S does ot exist. 3. S = { 1 N} is a ifiite bouded set. Note max S = 1 but mi S does ot exist. Defiitio (Supremum). If S is a oempty set bouded above by M ad M M for all upper bouds M of S, the M is the supremum or the least upper boud of S, deoted by M = sup S. Equivaletly M = sup S if ad oly if (a) M x for all x S ad (b) for every ε > 0, there exists x S such that x > M ε. S M ε x M Note that if S is ubouded above, we defie sup S =. Also we defie sup =. 1. For S = [0, 1], sup S = max S = For S = (0, 1), max S does ot exist but sup S = For S = { 1 N}, max S does ot exist but sup S = 0. Sice 1 < 0 N, x < 0 x S. Let ε > 0. By the Archimedea Property, we fid a atural umber N such that 1 < ε. The 1 > ε. So we foud x = 1 S N N N such that x > 0 ε. Thus sup S = For S = {x Q x 2 2}, max S does ot exist but sup S = 2. First ote x 2 x S. Let ε > 0. If ε 2 2, the 2 ε 2 < x = 0. Otherwise ε < 2 2. Sice there is a ratioal umber betwee two real umbers (the desity of Q i R), there exists a ratioal umber x such that 2 < 2 ε < x < 2. So we foud x S such that x > 2 ε. Thus sup S = 2. 6

7 Defiitio (Ifimum). If S is a oempty set bouded below by m ad m m for all lower bouds m of S, the m is the ifimum or the greatest lower boud of S, deoted by m = if S. Equivaletly m = if S if ad oly if (a) m x for all x S ad (b) for every ε > 0, there exists x S such that x < m + ε. m x m + ε S Note that if S is ubouded below, we defie if S =. Also we defie if =. 1. For S = [0, 1], if S = mi S = For S = (0, 1), mi S does ot exist but if S = For S = { 1 N}, mi S does ot exist but if S = For S = {x Q x 2 2}, mi S does ot exist but if S = 2. Axiom 2.5 (Completeess Property). Every oempty bouded above subset of R has a supremum (least upper boud) i R. The completeess property of R is cosidered as a axiom as it caot be proved just by the field ad order properties of R. The followig is equivalet to the Completeess Axiom: Theorem 2.6. Every oempty bouded below subset of R has a ifimum (greatest lower boud) i R. Proof. Suppose S R is oempty ad bouded below. Defie S = { x x R}. Sice S is bouded below, S is bouded above. The by the Completeess Axiom, sup( S) exists. The rest follows from the fact that if(s) = sup( S) (exercise). Note that the Archimedea Property follows from the completeess property of R. Proof of Theorem 2.2. Suppose x for all N. Cosider the set S = { N x}. ε ε Note that S = N ad it is bouded above by x. By the completeess property of R (see ε Axiom 2.5), N has a least upper boud, say M. The M 1 is ot a upper boud of N ad cosequetly M 1 < k for some k N. The M < k + 1 where k + 1 N cotradictig that M is a upper boud of N. A ordered field F is icomplete if it has a oempty bouded above subset with o supremum i F. For example, Q is icomplete because S = {x Q x 2 2} does ot have a supremum i Q. It ca be show that R is the uique complete ordered field meaig ay complete ordered field is isomorphic to R. 7

8 3 Topology of R We ofte deal with sets i R such as solutio sets of equatios which are ot simply ope or closed itervals. To aalyze the properties of the poits i a subset of R, we itroduce some geometric cocepts developed by Georg Cator i late ieteeth cetury. 3.1 Iterior, Boudary, Limit Poits A ope eighborhood of a poit x i R is a ope iterval (x ε, x + ε) for some ε > 0. Note (x ε, x + ε) is called a ε-eighborhood of x, deoted by N ε (x) or B ε (x). x ε x x + ε I all the defiitios i this sectio, S R. Defiitio (Iterior poit). A poit x of S is a iterior poit of S if there is a ope eighborhood of x cotaied i S, i.e., ε > 0 s. t. (x ε, x + ε) S. The set of all iterior poits of S is the iterior of S, deoted by it (S). 1. Each poit of (a, b] except b is a iterior poit. So it(a, b] = (a, b). Let x (a, b). Choose ε = mi{ x a, b x }. The (x ε, x + ε) (a, b]. So x it(a, b]. Thus (a, b) it(a, b]. To show (a, b) = it(a, b], let y it(a, b] \ (a, b). The y a or y b. Sice y it(a, b], ε > 0 s. t. (y ε, y + ε) (a, b] = a y ε < y < y + ε < b, which cotradicts that y a or y b. it(a, b] = (a, b). So it(a, b] \ (a, b) = ad cosequetly 2. Each poit of N is ot a iterior poit. So it (N) =. Defiitio (Boudary poit). A poit x (ot ecessarily i S) is a boudary poit of S if every ope eighborhood of x cotais oe poit of S ad oe poit ot i S, i.e., ε > 0 s. t. N ε (x) S ad N ε (x) (R \ S). The set of all boudary poits of S is the boudary of S, deoted by (S). 8

9 1. a ad b are boudary poits of (a, b] (choose ay ε > 0). So (a, b] = {a, b}. 2. Each poit of N is a boudary poit. So (N) = N. The followig are a special kid of boudary poits of a set. Defiitio (Isolated poit). A poit x of S is a isolated poit of S if there is a ope eighborhood of x which cotais oly oe poit of S, i.e., 1. No poit of (a, b] is a isolated poit. ε > 0 s. t. (x ε, x + ε) S = {x}. 2. Each poit of N is a isolated poit. For each N, ( 1, + 1) N = {}. 3. A isolated poit of a subset S of R is a boudary poit of S (exercise). There are poits of S that are ot isolated poits as the followig. Defiitio (Accumulatio or limit poit). A poit x (ot ecessarily i S) is a limit poit of S if every ope eighborhood of x cotais at least oe poit of S other tha x, i.e., ε > 0, (x ε, x + ε) (S \ {x}). The set of all limit poits of S is the derived set of S, deoted by S. 1. All poits of (a, b] ad a are limit poits of (a, b]. So (a, b] = [a, b]. 2. No poit of N is a limit poit. So N =. 3. The oly limit poit of S = { 1 N} is 0. So S = {0}. Note that x is a limit poit of a subset S of R if ad oly if there is a sequece {x } i S \ {x} covergig to the limit x (Hit. choose x N 1/ (x) (S \ {x})). Defiitio (Closure). The uio of S ad its derived set S is the closure of S, deoted by S or cl (S). So S = S S. 1. Sice (a, b] = [a, b], (a, b] = (a, b] (a, b] = [a, b]. 2. Sice N =, N = N N = N. 3. For S = { 1 N}, S = S S = { 1 N} {0}. 9

10 3.2 Ope, Closed, Compact Sets I all the defiitios i this sectio, S R. Defiitio (Ope set). S is a ope set if each poit of S is a iterior poit, i.e., it (S) = S. 1. Sice each poit of (a, b) is a iterior poit, i.e., it(a, b) = (a, b), (a, b) is a ope set. So are (a, ), (, a), ad (, ). 2. [a, b) is ot ope as a is ot a iterior poit of [a, b). Theorem 3.1. A arbitrary uio of ope sets is ope ad a fiite itersectio of ope sets is ope. Proof. Let {S i i I} be a arbitrary collectio ope sets. To show i I S i is ope, it suffices to show each of its poits is a iterior poit. Let x i I S i. The x S i for some i I. Sice S i is ope, x is a iterior poit of S i, i.e., there is a ope eighborhood N ε (x) of x cotaied i S i. The N ε (x) S i i I S i. Thus x is a iterior poit of i I S i. Let {S i i = 1, 2,..., } be a fiite collectio ope sets. To show show each of its poits is a iterior poit. Let x S i is ope, it suffices to i=1 S i. The x S i for all i = 1, 2,...,. Sice each S i is ope, x is a iterior poit of S i, i.e., there is a ope eighborhood N εi (x) of x cotaied i S i. Let ε = mi{ε 1, ε 2,..., ε }. The N ε (x) S i for all i = 1, 2,..., ad cosequetly N ε (x) S i. Thus x is a iterior poit of Note that S i. i=1 1. arbitrary itersectio of ope sets is ot ecessarily ope. For example, I = ( 1, 1 ) is ope for all N. But I = {0} is ot ope. =1 10 i=1 i=1

11 2. Noempty S is ope if ad oly if S = (why?). Defiitio (Closed set). S is a closed set if R \ S is a ope set. (a, b ) where itervals (a, b ) are disjoit =1 1. Sice R \ [a, b] = (, a) (b, ) is a ope set, [a, b] is a closed set. So are [a, ), (, a], ad {0}. 2. [a, b) is ot closed as R \ [a, b) = (, a) [b, ) is ot ope. Theorem 3.2. A arbitrary itersectio of closed sets is closed ad a fiite uio of closed sets is closed. Proof. Let {S i i I} be a arbitrary collectio closed sets. First ote that R \ S i is a ope set for all i I. To show S i is closed, it suffices to show R \ S i is ope. By De i I i I Morga s laws, R \ i I S i = i I(R \ S i ) is a ope set as a arbitrary uio of ope sets R \ S i. Let {S i i = 1, 2,..., } be a fiite collectio closed sets. First ote that R \ S i is a ope set for all i = 1, 2,...,. To show S i is closed, it suffices to show R \ S i is ope. By De Morga s laws, i=1 i=1 R \ S i = (R \ S i ) i=1 i=1 is a ope set as a fiite itersectio of ope sets R \ S i. Note that arbitrary uio of closed sets is ot ecessarily closed. For example, I = [ 1, 1] is closed for all N. But I = (0, 1] is ot closed. =1 Theorem 3.3. The followig are equivalet. (a) S is a closed set. (b) The closure of S is S itself, i.e., S = S. (c) S cotais all its limit poits, i.e., S S. 11

12 Proof. (b) (c) Sice S = S S, S = S if ad oly if S S. (a) = (c) Suppose S is a closed set. Let x S, i.e., x is a limit poit of S. It suffices to show x S. If ot, the x R \ S, a ope set. The ε > 0 s. t. (x ε, x + ε) R \ S which implies (x ε, x + ε) (S \ {x}) =. This cotradicts that x is a limit poit of S. Thus x S. (c) = (a) Suppose S S. We show that R \ S is ope. Let x R \ S. It suffices to show x it (R \ S). If ot, the ε > 0, (x ε, x + ε) is ot cotaied i R \ S which implies ε > 0, (x ε, x + ε) (S \ {x}). This implies x is a limit poit of S, i.e., x S S which cotradicts that x R \ S. Defiitio (Compact set). S is a compact set if it is closed ad bouded. Note that S is compact if ad oly if every sequece i S has a coverget subsequece with its limit i S. I a geeral topological space a set S is compact if each ope cover of S has a fiite subcover. 1. Sice [a, b] is is closed ad bouded, [a, b] is compact. 2. [a, b), [a, b), (, a], [a, ), ad (a, ) are ot compact sets. The Cator set C is a classical example of a compact set defied as follows: C = C, =1 where is C is a closed subset of [0, 1] obtaied by successively removig ope middle thirds of 2 1 closed subitervals of [0, 1]: C 1 = [0, 1/3] [2/3, 1] C 2 = [0, 1/9] [2/9, 1/3] [2/3, 7/9] [8/9, 1] C. = C 1 3 ( ) 2 + C N, C 0 = [0, 1]. Each C is closed as a fiite uio of closed sets. The C = C [0, 1], C is bouded. Thus C is compact. C is also closed. Sice We ca show that the Cator set has ucoutably may poits by usig terary expasio of each poit i it (how?). =1 12

13 4 Sequece ad Series A sequece {x } of real umbers is a fuctio f : N R such that f() = x. Sometimes it is deoted by {x } =1 or by a few terms with a certai patter {x 1, x 2, x 3,...}. A sequece ca also be defied recursively. 1. {( 1) }. 2. {1, 1 2, 1 3, 1 4,...}. 3. Fiboacci sequece {F } =0 is defied by F = F 1 + F 2, 2, F 0 = 0, F 1 = 1. A series is a sum of the terms of a sequece {x } which is deoted by the lecture otes we oly deal with real sequeces ad series. x. Throughout =1 4.1 Covergece Defiitio (Covergece). A sequece {x } coverges to a real umber L if for every ε > 0 there exists a positive iteger N such that x L < ε for all N. i.e., all terms of {x }, except x 1,..., x N 1, lie i (L ε, L + ε). It is deoted by lim x = L or x L as. The sequece {x } diverges if it is ot coverget. 1. Show that {x } = { } coverges to 1/2, i.e., lim = 1 2. Let ε > 0. We eed to fid a positive iteger N for which < ε for all N. Note that = 3 2(2 + 3) < 3 4 Note 3 < ε if ad oly if 3 <. By the Archimedea Property, we fid a atural 4 4ε umber N > 3. The 4ε < 3 < ε for all N. 4 13

14 2. Show that {x } = {( 1) } diverges. Suppose {x } = {( 1) } coverges to L. For ε = L + 1, x L = 1 L = 1 + L ε odd N. The there exists o N N such that x L < ε N, a cotradictio. If a sequece {x } diverges, its terms oscillate idefiitely like {( 1) } or it diverges to ±. To show lim x =, we prove that for ay positive umber L (however large), there exists N N such that x L for all N. Show that lim 2 =. Let L > 0. We eed to fid a positive iteger N for which 2 > L i.e., > L N. By the Archimedea Property, we fid a atural umber N > L. The 4.2 Algebra of Limits Algebra of Limits: 2 > L N. Theorem 4.1. The followig are true for ay coverget sequeces {x } ad {y }: (a) lim (x + y ) = lim x + lim y. (b) lim (cx ) = c lim x, c R. (c) lim x y = ( lim x )( lim y ). x (d) lim = y lim x lim y wheever lim y 0. Note that the covergece i the assumptio is crucial. For {x } = { 1 } ad {y } = {}, we have {x y } = {1}. The lim x y = 1 0 = ( lim x )( lim y ). Proof of Theorem 4.1. Suppose {x } ad {y } coverge to x ad y respectively. For (c) we show that {x y } coverges to xy. Let ε > 0. We eed to fid N N for which First ote by the triagle iequality that x y xy < ε for all N. x y xy = (x x)y + x(y y) y x x + x y y 14

15 Sice the coverget sequece {y } is bouded (see Theorem 4.4), M > 0 s. t. y M N. Thus x y xy M x x + x y y N. Sice {x } coverges to x, N 1 N such that x x < ε 2M N 1. Sice {y } coverges to y, N 2 N such that Let N = max{n 1, N 2 }. The y y < ε 2 x N 2. x y xy M x x + x y y < M ε 2M + x ε 2 x = ε N. (a), (b), ad (d) are exercises. Theorem 4.2. Suppose x y N. If both {x } ad {y } coverge, the lim x lim y. Proof. Let z = y x N. Sice lim z = lim (y x ) = lim y lim x, it suffices to show that z := lim z 0. Let ε > 0. The there exists N N such that Thus ε < z ε > 0 which implies z 0. 1 lim lim 0 z = z + (z z) < z + ε N. 2 1 because N (verify). Note that x < y N lim x < lim y. For example, { 1 } ad { 1 }. Theorem 4.3 (Sadwich Theorem). Suppose x z y N. If both {x } ad {y } coverge to L, the {z } also coverges to L. Proof. Suppose both {x } ad {y } coverge to L. Let ε > 0. The there exists N 1 N such that x L < ε N 1. Similarly there exists N 2 N such that Let N = max{n 1, N 2 }. The y L < ε N 2. ε < x L < z L < y L < ε N. Thus z L < ε N which implies {z } also coverges to L. 15

16 si(x) Show that lim = 0. First ote that 1 si(x) 1 for all, x R. The for all N, 1 Sice lim = lim 1 1 si(x) si(x) = 0, we have lim 1. = 0 by the Sadwich Theorem. 4.3 Covergece Theorems Defiitio (Bouded Sequece). A sequece {x } is bouded if there exists a real umber M such that x M N. 1. { 1 } is bouded sice 1 1 N. 2. We show {x } is ot bouded for x = Note that x 2 = ( ) ( = ) ( ( ) ( ) ( ( ) ( ) ( ) = ( ) 1 = ) ( + ) ( 1 2 ) Thus x /2 N. The for ay M > 0, x 2 2M 1 + 2M 2 > M. Thus {x } is ot bouded. Theorem 4.4. A coverget sequece is bouded. Proof. Cosider a sequece {x } covergig to L. For ε = 1, there exists N N such that The by the triagle iequality, Let Thus x M N. x L < 1 N. x = L + (x L) L + x L < L + 1 N. M = max{ x 1, x 2,..., x N 1, L + 1}. 16 )

17 1. Sice { 1 } is coverget, it is bouded. 2. Sice { } is ot bouded, it is ot coverget Defiitio (Icreasig/decreasig sequece). A sequece {x } is icreasig if x +1 > x N ad decreasig if x +1 < x N. A sequece {x } is o-decreasig if x +1 x N ad o-icreasig if x +1 x N. A sequece {x } is mootoe if it is either icreasig, decreasig, o-decreasig, or o-icreasig. Theorem 4.5 (Mootoe Covergece Theorem). (a) A icreasig sequece which is bouded above is coverget. (b) A decreasig sequece which is bouded below is coverget. Proof. (a) Suppose {x } is a icreasig sequece which is bouded above. Sice {x } is bouded above, the set {x N} is also bouded above. By the completeess property sup{x N} exists, which is say L. We prove that lim x = L. Let ε > 0. The there exists k N such that x k > L ε. Sice {x } is a icreasig, L ε < x k. Also sice L = sup{x N}, L x N. Combiig these facts we get, L ε < x L < L + ε k. Thus x L < ε k which implies {x } also coverges to L. (b) Exercise. Note that MCT is also true for o-decreasig ad o-icreasig sequeces respectively. 1. Sice { 1 } is a decreasig sequece (show) bouded below by 0, it is coverget by MCT. 2. {x } where x 1 = 2 ad x = 2 + x 1, 2. We show {x } is icreasig by iductio. First ote that x 1 = 2 < = 2 + x1 = x 2. Assume x 1 < x for some N. We show x < x +1. Note that x 2 +1 x 2 = (2 + x ) (2 + x 1 ) = x x 1 = x +1 x = (x x 1 )/(x +1 + x ) Sice x 1 < x ad x, x +1 > 0, we have x +1 x = (x x 1 )/(x +1 + x ) > 0, i.e., x < x +1. We show {x } is bouded above also by iductio. Note that x 1 = 2 < 3 ad x 2 = < 3. Assume x < 3 for some N. We show x +1 < 3. Note that x +1 = 2 + x < < 3. 17

18 By mathematical iductio x < 3 N. Sice {x } is a icreasig sequece bouded above by 3, it is coverget by MCT. Suppose lim x = L. To fid L, ote that x 2 = 2 + x 1, 2. Takig limit of both sides we get lim x2 = lim (2+x 1 ) = ( lim x ) 2 = 2+ lim x 1 = L 2 = 2+L = L = 1, 2. Sice x > 0 N, L 0. Thus L = 2, i.e., lim x = 2. Defiitio (Cauchy sequece). A sequece {x } is a Cauchy sequece if for every ε > 0 there exists a positive iteger N such that x m x < ε for all m, N. We show that { 1 } is a Cauchy sequece. Let ε > 0. We eed to fid a positive iteger N for which 1 m 1 < ε for all m, N. Note that 1 m 1 < 1 m + 1. Note 1 m, 1 < ε 2 if ad oly if 2 ε < m,. By the Archimedea Property, we fid a atural umber N > 2. The ε 1 m 1 < 1 m + 1 < ε 2 + ε 2 = ε m, N. Theorem 4.6 (Cauchy Covergece Criterio). A sequece is coverget if ad oly if it is a Cauchy sequece. Proof. Suppose {x } is a coverget sequece with limit L. Let ε > 0. The there exists a positive iteger N for which x L < ε 2 for all N. The by the triagle iequality, x m x = (x m L) (x L) x m L + x L < ε 2 + ε 2 = ε m, N. Thus {x } is a Cauchy sequece. We will prove the coverse after Bolzao-Weistrass Theorem (Theorem 4.8) usig the fact that a Cauchy sequece {x } is bouded: For ε = 1, there exists N N such that x x N < 1 N. 18

19 The by the triagle iequality, x = x N + (x x N ) x N + x x N < x N + 1 N. Let M = max{ x 1, x 2,..., x N 1, x N + 1}. Thus x M N. 4.4 Subsequeces Defiitio (Subsequece). A subsequece of a sequece {x } is {x 1, x 2, x 3,...} where { 1, 2, 3,...} is a icreasig sequece of atural umbers. { } ad { 1 2 } are two subsequeces of { 1 }. Note that it ca be show that if lim x = L, the lim k x k = L (exercise). Theorem 4.7. Every sequece has a mootoe subsequece. Proof. Cosider a sequece {x }. We defie a term x k of {x } to be a peak if x k x for all > k. So by defiitio, a icreasig sequece has o peaks. Now we have two cases: Case 1. {x } has ifiitely may peaks. Cosider the subsequece {x 1, x 2, x 3,...} of peaks. Sice 1 < 2 < 3 <, x 1 x 2 x 3. Thus {x 1, x 2, x 3,...} is a o-icreasig subsequece of {x }. Case 2. {x } has fiite umber of peaks. If there is o peak, {x } is a icreasig subsequece of itself. Otherwise cosider the last peak x k which is also the smallest peak of {x }. The x is ot a peak for all > k. The there exists 1 > k for which x 1 > x k. The x 1 is ot a peak ad cosequetly there exists 2 > 1 for which x 2 > x 1. Similarly there exists 3 > 2 for which x 3 > x 2. Cotiuig this process we costruct a icreasig subsequece {x 1, x 2, x 3,...} of {x }. {( 1) } has mootoe subsequeces {( 1) 2 } ad {( 1) 2 1 }. Theorem 4.8 (Bolzao-Weistrass Theorem). Every bouded sequece has a coverget subsequece. Proof. Suppose {x } is a bouded sequece. Sice every sequece has a mootoe subsequece, cosider a mootoe subsequece {x k } of {x }. Sice {x } is bouded, {x k } is also bouded. The {x k } is coverget by MCT. 19

20 Proof of Theorem 4.6. Coversely suppose {x } is a Cauchy sequece. We have proved before that {x } is bouded. The by Bolzao-Weistrass Theorem, {x } has a coverget subsequece {x k } with limit say L. We show that {x } also coverges to L. Let ε > 0. Sice {x } is a Cauchy sequece, there exists N N such that x m x < ε 2 m, N. (1) Sice {x k } coverges to L, there exists a positive iteger K { 1, 2, 3,...} such that x k L < ε 2 k K. Choose a iteger N { 1, 2, 3,...} such that N N, K. The x N L < ε ad 2 usig m = N i (1) we get x N x < ε 2 N. Combiig these facts we get x L = (x x N ) + (x N L) x x N + x N L < ε 2 + ε 2 = ε N. Theorem 4.9. A sequece {x } is coverget if ad oly if (a) {x } is bouded ad (b) every coverget subsequece of {x } coverges to the same limit. Proof. (= ) Exercise. ( =) Suppose {x } is bouded ad every coverget subsequece of {x } coverges to the limit L. Suppose that {x } does ot coverge to L. The there exists ε > 0 such that x L ε for ifiitley may N (thik a bit). So we ca fid a subsequece {x k } such that x k L ε k N. (2) Sice {x } is bouded, {x k } is also bouded. By Bolzao-Weistrass Theorem, {x k } has a coverget subsequece {x kj }. By (2), {x kj } does ot coverge to L. Note {x kj } is also a subsequece of {x } ad it does ot coverge to L which cotradicts our hypothesis. 4.5 Series* I might add the followig topics briefly i the ear (or far!) future: Covergece via sequece of partial sums Geometric series Oe covergece criterio Oe covergece test 20

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

Part A, for both Section 200 and Section 501

Part A, for both Section 200 and Section 501 Istructios Please write your solutios o your ow paper. These problems should be treated as essay questios. A problem that says give a example or determie requires a supportig explaatio. I all problems,

More information

FUNDAMENTALS OF REAL ANALYSIS by

FUNDAMENTALS OF REAL ANALYSIS by FUNDAMENTALS OF REAL ANALYSIS by Doğa Çömez Backgroud: All of Math 450/1 material. Namely: basic set theory, relatios ad PMI, structure of N, Z, Q ad R, basic properties of (cotiuous ad differetiable)

More information

Lecture Notes for Analysis Class

Lecture Notes for Analysis Class Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

} is said to be a Cauchy sequence provided the following condition is true.

} is said to be a Cauchy sequence provided the following condition is true. Math 4200, Fial Exam Review I. Itroductio to Proofs 1. Prove the Pythagorea theorem. 2. Show that 43 is a irratioal umber. II. Itroductio to Logic 1. Costruct a truth table for the statemet ( p ad ~ r

More information

Math 299 Supplement: Real Analysis Nov 2013

Math 299 Supplement: Real Analysis Nov 2013 Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality

More information

Sequences and Series

Sequences and Series Sequeces ad Series Sequeces of real umbers. Real umber system We are familiar with atural umbers ad to some extet the ratioal umbers. While fidig roots of algebraic equatios we see that ratioal umbers

More information

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.

Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover. Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is

More information

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero? 2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a

More information

Sequence A sequence is a function whose domain of definition is the set of natural numbers.

Sequence A sequence is a function whose domain of definition is the set of natural numbers. Chapter Sequeces Course Title: Real Aalysis Course Code: MTH3 Course istructor: Dr Atiq ur Rehma Class: MSc-I Course URL: wwwmathcityorg/atiq/fa8-mth3 Sequeces form a importat compoet of Mathematical Aalysis

More information

MA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions

MA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions MA54 : Real Aalysis Tutorial ad Practice Problems - Hits ad Solutios. Suppose that S is a oempty subset of real umbers that is bouded (i.e. bouded above as well as below). Prove that if S sup S. What ca

More information

The Boolean Ring of Intervals

The Boolean Ring of Intervals MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,

More information

MAS111 Convergence and Continuity

MAS111 Convergence and Continuity MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece

More information

M17 MAT25-21 HOMEWORK 5 SOLUTIONS

M17 MAT25-21 HOMEWORK 5 SOLUTIONS M17 MAT5-1 HOMEWORK 5 SOLUTIONS 1. To Had I Cauchy Codesatio Test. Exercise 1: Applicatio of the Cauchy Codesatio Test Use the Cauchy Codesatio Test to prove that 1 diverges. Solutio 1. Give the series

More information

Metric Space Properties

Metric Space Properties Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All

More information

Assignment 5: Solutions

Assignment 5: Solutions McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece

More information

Math 140A Elementary Analysis Homework Questions 3-1

Math 140A Elementary Analysis Homework Questions 3-1 Math 0A Elemetary Aalysis Homework Questios -.9 Limits Theorems for Sequeces Suppose that lim x =, lim y = 7 ad that all y are o-zero. Detarime the followig limits: (a) lim(x + y ) (b) lim y x y Let s

More information

Notes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness

Notes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness Notes #3 Sequeces Limit Theorems Mootoe ad Subsequeces Bolzao-WeierstraßTheorem Limsup & Limif of Sequeces Cauchy Sequeces ad Completeess This sectio of otes focuses o some of the basics of sequeces of

More information

Limit superior and limit inferior c Prof. Philip Pennance 1 -Draft: April 17, 2017

Limit superior and limit inferior c Prof. Philip Pennance 1 -Draft: April 17, 2017 Limit erior ad limit iferior c Prof. Philip Peace -Draft: April 7, 207. Defiitio. The limit erior of a sequece a is the exteded real umber defied by lim a = lim a k k Similarly, the limit iferior of a

More information

Chapter 0. Review of set theory. 0.1 Sets

Chapter 0. Review of set theory. 0.1 Sets Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.

More information

Topics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences.

Topics. Homework Problems. MATH 301 Introduction to Analysis Chapter Four Sequences. 1. Definition of convergence of sequences. MATH 301 Itroductio to Aalysis Chapter Four Sequeces Topics 1. Defiitio of covergece of sequeces. 2. Fidig ad provig the limit of sequeces. 3. Bouded covergece theorem: Theorem 4.1.8. 4. Theorems 4.1.13

More information

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book. THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: Jauary 2009 Aalysis I Time Allowed:.5 hours Read carefully the istructios o the aswer book ad make sure that the particulars required are etered o each

More information

Measure and Measurable Functions

Measure and Measurable Functions 3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

More information

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 Calculus II Basic Convergence Tests for Series MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real

More information

2.4 Sequences, Sequences of Sets

2.4 Sequences, Sequences of Sets 72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each

More information

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014. Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the

More information

MA131 - Analysis 1. Workbook 3 Sequences II

MA131 - Analysis 1. Workbook 3 Sequences II MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................

More information

1 Lecture 2: Sequence, Series and power series (8/14/2012)

1 Lecture 2: Sequence, Series and power series (8/14/2012) Summer Jump-Start Program for Aalysis, 202 Sog-Yig Li Lecture 2: Sequece, Series ad power series (8/4/202). More o sequeces Example.. Let {x } ad {y } be two bouded sequeces. Show lim sup (x + y ) lim

More information

3. Sequences. 3.1 Basic definitions

3. Sequences. 3.1 Basic definitions 3. Sequeces 3.1 Basic defiitios Defiitio 3.1 A (ifiite) sequece is a fuctio from the aturals to the real umbers. That is, it is a assigmet of a real umber to every atural umber. Commet 3.1 This is the

More information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

Lecture 17Section 10.1 Least Upper Bound Axiom

Lecture 17Section 10.1 Least Upper Bound Axiom Lecture 7Sectio 0. Least Upper Boud Axiom Sectio 0.2 Sequeces of Real Numbers Jiwe He Real Numbers. Review Basic Properties of R: R beig Ordered Classificatio N = {0,, 2,...} = {atural umbers} Z = {...,

More information

HOMEWORK #4 - MA 504

HOMEWORK #4 - MA 504 HOMEWORK #4 - MA 504 PAULINHO TCHATCHATCHA Chapter 2, problem 19. (a) If A ad B are disjoit closed sets i some metric space X, prove that they are separated. (b) Prove the same for disjoit ope set. (c)

More information

Real Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)

Real Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B) Real Numbers The least upper boud - Let B be ay subset of R B is bouded above if there is a k R such that x k for all x B - A real umber, k R is a uique least upper boud of B, ie k = LUB(B), if () k is

More information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Solutions to Tutorial 3 (Week 4)

Solutions to Tutorial 3 (Week 4) The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial Week 4 MATH2962: Real ad Complex Aalysis Advaced Semester 1, 2017 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/

More information

Mathematical Methods for Physics and Engineering

Mathematical Methods for Physics and Engineering Mathematical Methods for Physics ad Egieerig Lecture otes Sergei V. Shabaov Departmet of Mathematics, Uiversity of Florida, Gaiesville, FL 326 USA CHAPTER The theory of covergece. Numerical sequeces..

More information

Sequences and Series of Functions

Sequences and Series of Functions Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

Analytic Continuation

Analytic Continuation Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for

More information

7 Sequences of real numbers

7 Sequences of real numbers 40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are

More information

Archimedes - numbers for counting, otherwise lengths, areas, etc. Kepler - geometry for planetary motion

Archimedes - numbers for counting, otherwise lengths, areas, etc. Kepler - geometry for planetary motion Topics i Aalysis 3460:589 Summer 007 Itroductio Ree descartes - aalysis (breaig dow) ad sythesis Sciece as models of ature : explaatory, parsimoious, predictive Most predictios require umerical values,

More information

Exercises 1 Sets and functions

Exercises 1 Sets and functions Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,

More information

Advanced Analysis. Min Yan Department of Mathematics Hong Kong University of Science and Technology

Advanced Analysis. Min Yan Department of Mathematics Hong Kong University of Science and Technology Advaced Aalysis Mi Ya Departmet of Mathematics Hog Kog Uiversity of Sciece ad Techology September 3, 009 Cotets Limit ad Cotiuity 7 Limit of Sequece 8 Defiitio 8 Property 3 3 Ifiity ad Ifiitesimal 8 4

More information

Math 220A Fall 2007 Homework #2. Will Garner A

Math 220A Fall 2007 Homework #2. Will Garner A Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative

More information

sin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =

sin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n = 60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece

More information

n=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n

n=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio

More information

6.3 Testing Series With Positive Terms

6.3 Testing Series With Positive Terms 6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

More information

Math Solutions to homework 6

Math Solutions to homework 6 Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there

More information

lim za n n = z lim a n n.

lim za n n = z lim a n n. Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget

More information

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4. 4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad

More information

Lecture 10: Mathematical Preliminaries

Lecture 10: Mathematical Preliminaries Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this

More information

CHAPTER 10 INFINITE SEQUENCES AND SERIES

CHAPTER 10 INFINITE SEQUENCES AND SERIES CHAPTER 10 INFINITE SEQUENCES AND SERIES 10.1 Sequeces 10.2 Ifiite Series 10.3 The Itegral Tests 10.4 Compariso Tests 10.5 The Ratio ad Root Tests 10.6 Alteratig Series: Absolute ad Coditioal Covergece

More information

Chapter 6 Infinite Series

Chapter 6 Infinite Series Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat

More information

Homework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger.

Homework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger. Homewor 1 Solutios Math 171, Sprig 2010 Hery Adams The exercises are from Foudatios of Mathematical Aalysis by Richard Johsobaugh ad W.E. Pfaffeberger. 2.2. Let h : X Y, g : Y Z, ad f : Z W. Prove that

More information

1+x 1 + α+x. x = 2(α x2 ) 1+x

1+x 1 + α+x. x = 2(α x2 ) 1+x Math 2030 Homework 6 Solutios # [Problem 5] For coveiece we let α lim sup a ad β lim sup b. Without loss of geerality let us assume that α β. If α the by assumptio β < so i this case α + β. By Theorem

More information

Math 341 Lecture #31 6.5: Power Series

Math 341 Lecture #31 6.5: Power Series Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series

More information

page Suppose that S 0, 1 1, 2.

page Suppose that S 0, 1 1, 2. page 10 1. Suppose that S 0, 1 1,. a. What is the set of iterior poits of S? The set of iterior poits of S is 0, 1 1,. b. Give that U is the set of iterior poits of S, evaluate U. 0, 1 1, 0, 1 1, S. The

More information

Ma 530 Introduction to Power Series

Ma 530 Introduction to Power Series Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power

More information

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1 Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity

More information

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can.

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can. Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite

More information

Solutions to Math 347 Practice Problems for the final

Solutions to Math 347 Practice Problems for the final Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is

More information

5 Many points of continuity

5 Many points of continuity Tel Aviv Uiversity, 2013 Measure ad category 40 5 May poits of cotiuity 5a Discotiuous derivatives.............. 40 5b Baire class 1 (classical)............... 42 5c Baire class 1 (moder)...............

More information

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios

More information

TRUE/FALSE QUESTIONS FOR SEQUENCES

TRUE/FALSE QUESTIONS FOR SEQUENCES MAT1026 CALCULUS II 21.02.2012 Dokuz Eylül Üiversitesi Fe Fakültesi Matematik Bölümü Istructor: Egi Mermut web: http://kisi.deu.edu.tr/egi.mermut/ TRUE/FALSE QUESTIONS FOR SEQUENCES Write TRUE or FALSE

More information

Properties of Fuzzy Length on Fuzzy Set

Properties of Fuzzy Length on Fuzzy Set Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,

More information

CHAPTER 1 SEQUENCES AND INFINITE SERIES

CHAPTER 1 SEQUENCES AND INFINITE SERIES CHAPTER SEQUENCES AND INFINITE SERIES SEQUENCES AND INFINITE SERIES (0 meetigs) Sequeces ad limit of a sequece Mootoic ad bouded sequece Ifiite series of costat terms Ifiite series of positive terms Alteratig

More information

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size. Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure

More information

Math 104: Homework 2 solutions

Math 104: Homework 2 solutions Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does

More information

PRELIM PROBLEM SOLUTIONS

PRELIM PROBLEM SOLUTIONS PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems

More information

University of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!

University of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck! Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad

More information

MATH 413 FINAL EXAM. f(x) f(y) M x y. x + 1 n

MATH 413 FINAL EXAM. f(x) f(y) M x y. x + 1 n MATH 43 FINAL EXAM Math 43 fial exam, 3 May 28. The exam starts at 9: am ad you have 5 miutes. No textbooks or calculators may be used durig the exam. This exam is prited o both sides of the paper. Good

More information

Lecture 3 : Random variables and their distributions

Lecture 3 : Random variables and their distributions Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}

More information

MATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and

MATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and MATH01 Real Aalysis (2008 Fall) Tutorial Note #7 Sequece ad Series of fuctio 1: Poitwise Covergece ad Uiform Covergece Part I: Poitwise Covergece Defiitio of poitwise covergece: A sequece of fuctios f

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

10.1 Sequences. n term. We will deal a. a n or a n n. ( 1) n ( 1) n 1 2 ( 1) a =, 0 0,,,,, ln n. n an 2. n term.

10.1 Sequences. n term. We will deal a. a n or a n n. ( 1) n ( 1) n 1 2 ( 1) a =, 0 0,,,,, ln n. n an 2. n term. 0. Sequeces A sequece is a list of umbers writte i a defiite order: a, a,, a, a is called the first term, a is the secod term, ad i geeral eclusively with ifiite sequeces ad so each term Notatio: the sequece

More information

Sequences. Notation. Convergence of a Sequence

Sequences. Notation. Convergence of a Sequence Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it

More information

Cardinality Homework Solutions

Cardinality Homework Solutions Cardiality Homework Solutios April 16, 014 Problem 1. I the followig problems, fid a bijectio from A to B (you eed ot prove that the fuctio you list is a bijectio): (a) A = ( 3, 3), B = (7, 1). (b) A =

More information

FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures

FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures FUNDAMENTALS OF REAL ANALSIS by Doğa Çömez V. PRODUCT MEASURE SPACES V.1. Product measures Let (, A, µ) ad (, B, ν) be two measure spaces. I this sectio we will costruct a product measure µ ν o that coicides

More information

Introduction to Probability. Ariel Yadin. Lecture 2

Introduction to Probability. Ariel Yadin. Lecture 2 Itroductio to Probability Ariel Yadi Lecture 2 1. Discrete Probability Spaces Discrete probability spaces are those for which the sample space is coutable. We have already see that i this case we ca take

More information

Real Analysis Fall 2004 Take Home Test 1 SOLUTIONS. < ε. Hence lim

Real Analysis Fall 2004 Take Home Test 1 SOLUTIONS. < ε. Hence lim Real Aalysis Fall 004 Take Home Test SOLUTIONS. Use the defiitio of a limit to show that (a) lim si = 0 (b) Proof. Let ε > 0 be give. Defie N >, where N is a positive iteger. The for ε > N, si 0 < si

More information

Sequences and Limits

Sequences and Limits Chapter Sequeces ad Limits Let { a } be a sequece of real or complex umbers A ecessary ad sufficiet coditio for the sequece to coverge is that for ay ɛ > 0 there exists a iteger N > 0 such that a p a q

More information

ii. O = {x x = 2k + 1 for some integer k} (This set could have been listed O = { -3, -1, 1, 3, 5 }.)

ii. O = {x x = 2k + 1 for some integer k} (This set could have been listed O = { -3, -1, 1, 3, 5 }.) Sets 1 Math 3312 Set Theory Sprig 2008 Itroductio Set theory is a brach of mathematics that deals with the properties of welldefied collectios of objects, which may or may ot be of a mathematical ature,

More information

Mathematical Foundations -1- Sets and Sequences. Sets and Sequences

Mathematical Foundations -1- Sets and Sequences. Sets and Sequences Mathematical Foudatios -1- Sets ad Sequeces Sets ad Sequeces Methods of proof 2 Sets ad vectors 13 Plaes ad hyperplaes 18 Liearly idepedet vectors, vector spaces 2 Covex combiatios of vectors 21 eighborhoods,

More information

3 Gauss map and continued fractions

3 Gauss map and continued fractions ICTP, Trieste, July 08 Gauss map ad cotiued fractios I this lecture we will itroduce the Gauss map, which is very importat for its coectio with cotiued fractios i umber theory. The Gauss map G : [0, ]

More information

Math 61CM - Solutions to homework 3

Math 61CM - Solutions to homework 3 Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig

More information

A Proof of Birkhoff s Ergodic Theorem

A Proof of Birkhoff s Ergodic Theorem A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed

More information

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i

More information

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function. MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied

More information

INFINITE SEQUENCES AND SERIES

INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES I geeral, it is difficult to fid the exact sum of a series. We were able to accomplish this for geometric series ad the series /[(+)]. This is

More information

Lecture 3 The Lebesgue Integral

Lecture 3 The Lebesgue Integral Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified

More information

Different kinds of Mathematical Induction

Different kinds of Mathematical Induction Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}

More information

Dupuy Complex Analysis Spring 2016 Homework 02

Dupuy Complex Analysis Spring 2016 Homework 02 Dupuy Complex Aalysis Sprig 206 Homework 02. (CUNY, Fall 2005) Let D be the closed uit disc. Let g be a sequece of aalytic fuctios covergig uiformly to f o D. (a) Show that g coverges. Solutio We have

More information

d) If the sequence of partial sums converges to a limit L, we say that the series converges and its

d) If the sequence of partial sums converges to a limit L, we say that the series converges and its Ifiite Series. Defiitios & covergece Defiitio... Let {a } be a sequece of real umbers. a) A expressio of the form a + a +... + a +... is called a ifiite series. b) The umber a is called as the th term

More information

n n 2 n n + 1 +

n n 2 n n + 1 + Istructor: Marius Ioescu 1. Let a =. (5pts) (a) Prove that for every ε > 0 there is N 1 such that a +1 a < ε if N. Solutio: Let ε > 0. The a +1 a < ε is equivalet with + 1 < ε. Simplifyig, this iequality

More information

Council for Innovative Research

Council for Innovative Research ABSTRACT ON ABEL CONVERGENT SERIES OF FUNCTIONS ERDAL GÜL AND MEHMET ALBAYRAK Yildiz Techical Uiversity, Departmet of Mathematics, 34210 Eseler, Istabul egul34@gmail.com mehmetalbayrak12@gmail.com I this

More information

Topologie. Musterlösungen

Topologie. Musterlösungen Fakultät für Mathematik Sommersemester 2018 Marius Hiemisch Topologie Musterlösuge Aufgabe (Beispiel 1.2.h aus Vorlesug). Es sei X eie Mege ud R Abb(X, R) eie Uteralgebra, d.h. {kostate Abbilduge} R ud

More information

2 Banach spaces and Hilbert spaces

2 Banach spaces and Hilbert spaces 2 Baach spaces ad Hilbert spaces Tryig to do aalysis i the ratioal umbers is difficult for example cosider the set {x Q : x 2 2}. This set is o-empty ad bouded above but does ot have a least upper boud

More information