1 Introduction. 1.1 Notation and Terminology
|
|
- Tiffany Blair
- 5 years ago
- Views:
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
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 informationPart 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 informationFUNDAMENTALS 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 informationLecture 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 information2.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.
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 informationMath 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 informationSequences 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 informationTheorem 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 informationIf 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 informationSequence 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 informationMA541 : 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 informationThe 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 informationMAS111 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 informationM17 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 informationMetric 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 informationAssignment 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 informationMath 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 informationNotes #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 informationLimit 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 informationChapter 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 informationTopics. 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 informationRead 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 informationMeasure 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 informationMAT1026 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 information2.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 informationProduct 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 informationMA131 - 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 information1 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 information3. 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 informationAxioms 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 informationLecture 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 informationHOMEWORK #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 informationReal 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 informationConvergence 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 informationREAL 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 information62. 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 informationSolutions 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 informationMathematical 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 informationSequences 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 informationInfinite 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 informationAnalytic 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 information7 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 informationArchimedes - 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 informationExercises 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 informationAdvanced 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 informationMath 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 informationsin(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 informationn=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 information6.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 informationMath 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 informationlim 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 informationDefinition 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 informationLecture 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 informationCHAPTER 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 informationChapter 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 informationHomework 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 information1+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 informationMath 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 informationpage 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 informationMa 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 informationSolution. 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 informationFinal 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 informationSolutions 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 information5 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 informationIntegrable 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 informationTRUE/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 informationProperties 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 informationCHAPTER 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 informationThe 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 informationMath 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 informationPRELIM 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 informationUniversity 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 informationMATH 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 informationLecture 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 informationMATH301 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 informationSeunghee 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 information10.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 informationSequences. 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 informationCardinality 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 informationFUNDAMENTALS 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 informationIntroduction 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 informationReal 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 informationSequences 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 informationii. 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 informationMathematical 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 information3 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 informationMath 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 informationA 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 informationChapter 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 informationIt 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 informationINFINITE 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 informationLecture 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 informationDifferent 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 informationDupuy 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 informationd) 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 informationn 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 informationCouncil 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 informationTopologie. 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 information2 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