Math 104: Introduction to Analysis

Size: px
Start display at page:

Download "Math 104: Introduction to Analysis"

Transcription

1 Mth 104: Introduction to Anlysis Contents 1 Lecture The nturl numbers Equivlence reltions The integers The rtionl numbers Lecture The rel numbers by xioms The rel numbers by Dedekind cuts Properties of R Lecture Metric spces Topologicl definitions Some topologicl fundmentls Lecture Sequences nd convergence Sequences in R Extended rel numbers Lecture Compctness Lecture Compctness in R k Lecture Subsequences Cuchy sequences, complete metric spces Aside: Construction of the rel numbers by completion Lecture Tking powers in the rel numbers Toolbox sequences Lecture Series Adding, regrouping series Toolbox series

2 10 Lecture Root nd rtio tests Summtion by prts, lternting series Absolute convergence, multiplying nd rerrnging series Lecture Limits of functions Continuity Lecture Properties of continuity Lecture Uniform continuity The derivtive Lecture Men vlue theorem Lecture L Hospitl s Rule Power series Tylor series Lecture The Riemnn-Stieltjes integrl Some Riemnn-integrble functions Lecture Properties of the integrl Lecture The fundmentl theorem of clculus Lecture Things tht ren t true Uniform convergence Lecture Bsic criteri for uniform convergence Uniform convergence nd continuity Lecture Uniform convergence nd differentition An everywhere continuous but nowhere differentible function Differentition nd integrtion of power series Lecture The Stone-Weierstrss theorem

3 Though it my seem (or not!) s though I put cre into these notes, they re ctully very sloppily written. So I gurntee you tht there will be errors, typos, flt out lies, nd other vrieties of mistkes. You my lert me if you find one, but the best thing to do is probbly to red it with skepticl nd lso not-so-literl eye. You should be especilly skepticl bout nything I sy tht seems like it hs to do with mthemticl logic, since I literlly know nothing bout tht nd m just mking stuff up. Much of the content of these notes is tken from Wlter Rudin s Principles of Mthemticl Anlysis nd to lesser extent Kenneth Ross Elementry Anlysis, though of course the errors re ll mine. 1 Lecture 1 Remrk 1.1 (Proof by contrdiction). This is something you should become cquinted with, if you hve not lredy. 1.1 The nturl numbers We will tke the following s our xiomtic definition of the nturl numbers. There re constructions of the nturl numbers from more bsic principles but this is our strting point. As Bertrnd Russell (mybe) sid: it s turtles ll the wy down. Definition 1.2 (The Peno xioms for the nturl numbers). The set of nturl numbers, denoted N, is defined xiomticlly by: 1. There is distinguished element which we denote 1 P N. It is the first element of the nturl numbers. 2. There is function S : N Ñ N clled the successor function. This should be thought of s the function Spxq x ` 1. In other words, every element hs (unique) well-defined successor. 3. The first element 1 is not successor of ny element, i.e. 1 is not in the imge of S. 4. S is injective, i.e. n element cn succeed t most one element. 5. Let P be property. If 1 hs P, nd lso if x hs P implies Spxq hs P, then every x P N hs P. This is the induction principle. Remrk 1.3. The inductive xiom is importnt. Otherwise, we my be llowed things like two copies of the nturl numbers: N Y N. In some wys it specifies tht there is unique first element. It does more thn tht though: it tells us tht rguments by induction re llowed. If your next question is: wht other kinds of rguments re llowed or not llowed, my nswer is I don t know, nd tht you should consult logicin. I do not worry much bout issues like this. This is good strting point, but we re not only interested in N s set but lso in the ddition nd multipliction opertions on it, which give it some dditionl structure. We should define these in terms of the xioms bove. Definition 1.4 (Addition, multipliction). One cn define ddition on N recursively s follows. ` 1 : Spq ` Spbq : Sp ` bq One cn lso define multipliction on N rescursively s follows. 1 : Spbq : ` b One cn then prove tht ddition nd multipliction s defined bove re commuttive, ssocitive, nd distributive, i.e. tht the following re true 3

4 ` b b ` p ` bq ` c ` pb ` cq b b pbqc pbcq pb ` cq b ` c Since I m tking the nturl numbers s we know them intuitively s strting point, I won t ctully prove these things. If you re interested you cn try it. Remrk 1.5. Sometimes people define the nturl numbers to include zero. I m mking n rbitrry decision here not to invite zero to the prty. (It wsn t very positive number to be round... h h h...) 1.2 Equivlence reltions I will introduce notion which is very useful in mking constructions. Definition 1.6. Given set S, n equivlence reltion on the set S is subset E Ă S ˆ S. If p, bq P E, we often write b. This subset E stisfies the following properties: (reflexivity) for ll s P S, we hve ps, sq P E (i.e. s s), (symmetry) for ll ps, tq P E, we hve pt, sq P E (i.e. if s t then t s), (trnsitivity) for ll ps, tq P E nd pt, uq P E, we hve ps, uq P E (i.e. if s t nd t u then s u). This notion is supposed to generlize equlity, s equlity is very rigid nd literl, but there re situtions in which we might wnt to consider two non-equl things to be the sme. Exmple 1.7. Exmples of equivlence reltions: (1) Equlity is n equivlence reltion. e(2) Similrity nd congruence in Eucliden geometry. (3) Similrity of mtrices in liner lgebr. (4) Congruence modulo n. Definition 1.8 (Equivlence clsses). We will introduce the following nottion first. For s P S, denote rss to be the subset of S contining ll elements equivlent to s, i.e. rss tt P S s tu. An equivlence clss is subset of the form rss for some s P S. Remrk 1.9 (More intrinsic chrcteriztion of equivlence clsses). Another chrcteriztion of equivlence clsses is the following: subset T Ă S is n equivlence clss such tht (1) every t, t 1 P T hs t t 1 ; nd (2) if s R T then for ll t P T we hve t j s. Remrk 1.10 (Equivlence clsses prtition S). Let S be set with n equivlence reltion. Then the equivlence clsses prtition S. Check this s n exercise. Definition 1.11 (Quotients). Let be n equivlence reltion on S. equivlence clsses. Then the quotient S{ is the set of Exmple Exmples of quotients (1) Under equlity, for ny set S, S{ S. (2) Left s exercise. (3) Let M n be the set of ll n ˆ n mtrices. Then M n { is the set of equivlence clsses with representtives ll possible Jordn norml forms, up to reordering. (4) Z{ tr0s, r1s,..., rn 1su 4

5 1.3 The integers We will define the integers from the nturl numbers s follows. The ide is to let pir p, bq represent the quntity b. However, sometimes different pirs will be equl under this ssignment so we wnt to cpture this using n equivlence reltion. Definition The set of integers Z is defined s the quotient pn ˆ Nq{ under the equivlence reltion p, bq pc, dq if ` d c ` b. The set of integers hs n opertion, clled ddition, which is defined by rp, bqs ` rpc, dqs rp ` c, b ` dqs. This opertion is well-defined in the quotient (check s exercise). The set of integers lso hs dditive identity (i.e. zero), which is rp1, 1qs. The set of integers lso hs n opertion clled multipliction defined by p, bq pc, dq pc ` bd, d ` bcq. It lso hs multiplictive identity given by rp2, 1qs. Finlly, there is n opertion clled dditive inversion, where p, bq pb, q. Remrk 1.14 (Motivting the equivlence reltion). We wnt to think of the pir p, bq of nturl numbers s representing the integer b. However, doing this mens tht every integer, e.g. 0, hs mny representtives, e.g. p1, 1q, p2, 2q, p3, 3q,.... Thus we must mke ll these representtives equl using n equivlence reltion. The equivlence reltion tht cptures when two pirs p, bq pc, dq is tht b c d. However, since subtrction is not well-defined in the nturl numbers, we must rewrite this s ` d c ` b. Remrk 1.15 (Checking opertions re well defined). We defined the ddition opertion by rp, bqs ` rpc, dqs rp ` c, b ` dqs. Wht we ve done is, for ech equivlence clss, we chose prticulr representtives nd our opertion returns bck n element of NˆN. Then we tke the equivlence clss of tht element. To show this is well-defined, one must show tht if we chose different representtives, we wht we get by pplying the opertion rule gives us n equivlent element. The set of integers forms wht is clled commuttive ring. Definition A commuttive ring is set R with ddition nd multipliction opertions, denoted ` nd ; dditive nd multiplictive identities denoted 0 nd 1; nd dditive inverses, denoted. The following properties re stisfied: 1. (ssocitivity of ddition) p ` bq ` c ` pb ` cq 2. (commuttivity of ddition) ` b b ` 3. (dditive identity) 0 ` 4. (dditive inverses) ` p q 0 5. (ssocitivity of multipliction) pbqc pbcq 6. (commuttivity of multipliction) b b 7. (multiplictive identity) 1 8. (distributivity) pb ` cq b ` c Remrk This is not very importnt definition for this course; it ppers frequently in lgebr. It will not pper beyond this lecture. You cn think of this definition to just be word which is shorthnd for sying: set which hs ddition nd multipliction nd their respective identity elements which stisfies commuttivity, ssocitivity nd distributtivity properties. Or, set tht hs ll the opertions tht the integers do. Proposition The integers form ring. 5

6 Proof. We will prove one of the properties bove: dditive inverses. The rest re left s exercises. Wht we wnt to show is tht: p`, q ` p, `q p1, 1q Using the bove formul for ddition, we hve: p` `, ` ` q p1, 1q This is true, since using our definition of, we check tht indeed: ` ` ` 1 ` ` 1. Exmple 1.19 (Exmples of other commuttive rings). The (multivrite) polynomils with integer or rtionl or rel or complex coefficients, under the usul ddition nd multipliction of polynomils, form ring, denoted krxs for one vrible, krx, ys for two vribles x nd y, et ceter, where k Z, Q, R, C. 1.4 The rtionl numbers The construction of the rtionl numbers is left s homework exercise. The rtionl numbers form field, which is to sy ll numbers except 0 hve multiplctive inverse. Definition A field k is commuttive ring with multiplictive inverses for ll nonzero elements, denoted 1, i.e. such tht 1 1. We will mke the following definition s well. We could hve mde similr definitions before, but I m lzy. Definition A (totl) order on set S is subset of L Ă S ˆS stisfying the following properties. If p, bq P L then we will write for shorthnd ď b. (ntisymmetry) if ď b nd b ď then b (trnsitivity) if ď b db b ď c then ď c (totlity) t lest one of the following must be true: ď b or b ď. An ordered field k is field with totl order such tht: () if ď b then ` c ď b ` c for ny c P k (b) if ě 0 nd b ě 0 then b ě 0 Remrk There re other notions of orders: for exmple, there re orders on sets where two elements might be incomprble. You cn check Wikipedi if you re interested. We re interested in totl orders, but since there re no other orders we will consider, I might be lzy bout writing totl. Exmple The rtionls nd rels, Q, R, re both ordered fields. The complex numbers, C is field but it is not n ordered field. 2 Lecture The rel numbers by xioms There re three pproches we will tke to the rel numbers in this clss. The first is xiomtic. Definition 2.1 (Axiomtic definition of the rel numbers). The rel numbers re n ordered field with the lest upper bound (LUB) property. The LUB property is s follows: every subset which hs n upper bound hs supremum (lest upper bound). (We will define these terms now). 6

7 Definition 2.2. Let X be n ordered set, nd S Ă X. The mximum of S is n element m P S such tht for ll s P S, s ď m (exercise: prove mximums must be unique). An upper bound on S is n element x P X such tht for ll s P S, s ď x. Remrk 2.3. Notice tht mximums must be in the set S, wheres upper bounds do not hve to be. Further, notice tht upper bounds re usully not unique. Exmple 2.4. Let X R nd S r0, 1s. Then, 1 is mximum of S nd ny number greter thn 1 is n upper bound. Remrk 2.5. All finite sets hve mximums. However, not ll sets in generl hve mximum. For trivil exmple, consider p0, 8q Ă R. This fils to hve mximum, nd fils to hve n upper bound. I cn live with this. Wht s kind of bd is tht not ll bounded sets hve mximums. For exmple, the intervl p 1, 0q is bounded bove by 0 but does not hve mximum. Let m P p 1, 0q be possible mximum. But, 1 2m is lso in the set nd is even bigger (since m is negtive). So there cn t be mximum. In this wy sking for mximums is somehow the wrong thing to do for sets which might be infinite. This will motivte the next definition. Definition 2.6. A lest upper bound on subset S of n ordered set X is n element x P X which is n upper bound on S, nd such tht there is no smller upper bound. More mthemticlly, it is n upper bound such tht if x 1 is nother upper bound, the necessrily, x ď x 1. The lest upper bound is lso clled the supremum nd is denoted suppsq. Likewise, the gretest lower bound is clled the infimum nd is denoted infpsq. Remrk 2.7. In our previous exmple, the supremum is 0. However, it is still not true tht every subset of wellordered set hs supremum. For exmple, consider p0,? 2q s subset of Q (not R!) does not hve supremum. Showing this is ctully somewht involved nd involves some elementry number theoretic rguments. I will just ppel to intuition here. In wy, though, this problem is less of defect of our definition of lest upper bound thn it is defect of the rtionl numbers: the subset p0,? 2q of the rtionl numbers doesn t hve nything tht even resembles generlized mximum if we sty in Q. This motivtes the next definition. Definition 2.8. A well ordered set hs the lest upper bound property if for every bounded bove subset S, S hs supremum (lest upper bound). Remrk 2.9. The lest upper bound property is equivlent to the gretest lower bound property for n ordered field, since for ny set S we cn lwys tke its negtion S, nd the supremum of S is the infimum of S nd vice vers. Remrk Thus the rel numbers re defined s n ordered field which hs the LUB property. Vguely, this mens ll its holes re filled in. However, it s still not cler such n object exists, since we hven t constructed it. In the next section we will do tht. In somewht lter section, we will show tht there is generl construction one cn mke to fill in the holes on certin kinds of spces clled metric spces, nd tht the rel numbers re wht we get when we do this to Q. 2.2 The rel numbers by Dedekind cuts In this section we will give construction of the rel numbers by Dedekind cuts. The wy to think bout Dedekind cuts is tht to rel number α, we ssocite the two subsets p 8, αq nd pα, 8q, s subsets of Q (i.e. intersect with Q). Though this is how we think of these cuts, in mking rguments we cnnot ctully refer to things like p 8, αq for α irrtionl, since this would mke our construction circulr! Definition A Dedekind cut of the rtionl numbers Q is prtition of Q into subsets A nd B tht stisfies the following properties: (1) (definition of prtition) A Y B Q nd A X B H (2) (A is closed downwrd) if P A, then p 8, q Ă A (3) (B is closed upwrd) if b P B then pb.8q Ă B (4) (infinity is not number) neither A nor B re empty nor ll of Q (5) ( number is cut out) A does not hve mximum, nd B does not hve minimum 7

8 We cn give n ordering on the Dedekind cuts s follows. We sy pa, Bq ď pa 1, B 1 q if A Ă A 1 nd B 1 Ă B. There is lso wy to mke Dedekind cuts into field, but this is left s homework exercise. Remrk Note tht the the dt of B is extrneous. Given A tht stisfies the bove properties, it is utomtic tht B Q A does. If this B hs minimum, then remove it from B. (Exercise: show tht this new B cnnot hve minimum. Hint: show tht between ny two rtionl numbers, there is rtionl number.) I mde the bove definition to illustrte why this is cut, but from now on we will only be using the dt of A. Remrk Property (5) is mde becuse otherwise, the cuts p 8, qq nd p 8, qs for q P Q would look like they should be the sme. Try to prove the field xioms without this property nd see why it s necessry. For exmple, we cn t hve two cndidtes for zero in field! Remrk The Dedekind cuts need to be mde into n ordered field. Unfortuntely this cn get kind of hiry for multipliction, nd I won t do it here. Interested reders should refer to the constructions in Rudin. Proposition The ordered set of Dedekind cuts hs the LUB property. In prticulr, let ta i u ipi be collection of Dedekind cuts which is bounded bove. Then, its supremum is Ť ipi A i. Proof. We need to check tht (1) the climed supremum is lso Dedekind cut (in prticulr, it is not ll of Q) nd tht (2) it relly is the supremum. For (1), it is esy to see tht Ť i A i is still closed downwrds. The fct tht the Dedekind cuts re bounded bove mens there is some cut A such tht A i Ă A for ll i P I. This mens tht Ť i A i Ă A so A Q. Finlly, suppose tht Ť i A i hd mximum, sy m. Then m P A p for some fixed p P I, but since it is mximum of the union it would hve to be mximum for A p s well, contrdicting tht A p is Dedekind cut. For (2), Suppose there is some Y such tht A i Ă Y for i P I (A i ă Y for ll i, so Y is n upper bound) but Y Ă Ť ipi A i (Y is lower thn the climed supremum). Let x P Ť ipi A i; then x P A p for some p P I. But this contrdicts the first sttement, so this cnnot be. One cn sum this rgument up in sentence like, the union of collection of subsets is the miniml subset contining ll the subsets in the collection. Remrk 2.16 (Why we like xioms). This construction is nice in ressuring us tht the rel numbers exist (yy!). I think the logic-y thing to sy would be tht Dedekind cuts re model for the rel numbers. The nice thing bout xioms is tht we cn build theories without thinking too hrd bout specific constructions, s long s our xioms re well-designed. The specific model doesn t relly mtter s long s we sty within the bounds of the xioms. One might complin tht if we wnt to cll something the rel numbers, there should be question bout uniqueness, which I know nothing bout. So this question is lso going under the rug. In prctice this is not importnt. 2.3 Properties of R Proposition 2.17 (Archimedin property). Let, b P R. If ą 0 nd b ą 0, then there is positive integer n such tht n ą b. Proof. Suppose otherwise, i.e. tht there is some, b P R such tht n ď b for ll n P N. In prticulr, this mens tht b is n upper bound for S : tn n P Zu. Thus, sup S is number. In homework exercise, you will show tht suppsq ` suppt q supps ` T q. Let S be s bove nd T tu. Then notice tht S ` T S, nd suppt q, so we should hve suppsq ` suppsq which contrdicts tht ą 0. Thus, the set must be unbounded nd there is some n such tht n ą b. Proposition 2.18 (Q is dense in R). For ny, b P R, there is x P Q such tht x P p, bq. Proof. Write x p q, for p, q P Z. Then we wnt to find p, q such tht q ă p ă bq. We cn use the Archimedin property to see tht there is n integer q such tht qpb q bq q ą 1. We clim tht if β α ą 1, then there is n integer in pα, βq. This would complete the proof, letting β bq nd α q, nd p the integer. 8

9 Lemm Let α, β P R. If β α ą 1, then there is n integer p P pα, βq. Proof. If α ă 0 nd β ą 0, we cn prove this result for the smller intervl p0, βq. If α, β ă 0, we cn prove this result for the intervl p β, αq. So, without loss of generlity, we cn ssume tht α, β ě 0: The strtegy is s follows. We wnt to tke the set tn P Z α ă nu nd find its minimum vlue, sy p. By construction we hve α ă p nd since it is the minimum, we kno wtht p 1 ă α nd so p ă α ` 1 ă β s well, completing the proposition. The issue is tht this set my not hve minimum nd it my lso be empty. First, let s ddress the existence of minimum. We cn force set to hve minimum by mking it finite, i.e. by dding some conditions bounding the set: tn P Z α ă n nd n P r0, Nsu for some integer N. This is true so long s α ă N, nd we cn use the Archimedin property to find n integer N such tht N 1 ą mxp α q. 3 Lecture Metric spces Definition 3.1. Let k be totlly ordered field. A k-metric spce is set X long with distnce function d : X ˆ X Ñ k stisfying the following properties: (non-negtivity) dpx, yq ě 0 for ll x, y P X, (identity of indiscernbles) dpx, yq 0 if nd only if x y, (symmetry) dpx, yq dpy, xq for ll x, y P X, (tringle inequlity) dpx, yq ` dpy, zq ě dpx, zq for ll x, y, z P X. Remrk 3.2. Most texts fix k R. In generl, we will ssume k R, but lter when we give consruction of R we will require k Q to void circulr rgument. Remrk 3.3. I should be more creful bout this definition thn I m. I m not sure whether ny completeness properties of R re used in results in the literture on metric spces. I m lso not sure how much in the literture pplies to loosening the restriction on k, i.e. if we consider ordered belin groups or ordered rings insted. I hope tht these notes t lest re internlly consistent. Exmple 3.4 (The Eucliden metric). R n is metric spce under the Eucliden metric. Let x px 1,..., x n q nd y py 1,..., y n q, nd define: dpx, yq px 1 y 1 q 2 ` ` px n y n q 2 One cn think of this is generlized Pythgoren theorem wy of finding distnce. For n 1 it is not hrd to see this is metric. For lrger n, the proofs I know use Cuchy-Schwrtz. Note tht this metric doesn t quite mke sense when k Q for Q n when n 1, since squre roots might not exist in Q. Exmple 3.5 (The discrete metric). Let X be ny set. Then the discrete metric is defined by: One cn esily verify this is metric. dpx, yq # 1 if x y 0 if x y 9

10 3.2 Topologicl definitions Definition 3.6. Let px, dq be metric spce. The open bll of rdius ɛ t x is defined by: B ɛ pxq : tp P X dpx, pq ă ɛu nd the closed bll is defined by: B ɛ pxq : tp P X dpx, pq ď ɛu. We will sometimes use the word neighborhood of x to refer to ny open bll of ny rdius t x. Exmple 3.7. Let X R with the Eucliden metric. Then B ɛ pxq px ɛ, x ` ɛq. Exmple 3.8. Let X hve the discrete metric. Then B ɛ pxq txu if ɛ ă 1 nd B ɛ pxq X otherwise. Definition 3.9. Let px, dq be metric spce, nd E Ă X. A point p P E is clled n interior point or E if there is neighborhood U of x such tht U Ă E. A subset E is clled open if every point is interior. Exmple 3.10 (Open blls re open). Every open bll is open. To show tht every p P B ɛ pxq is n interior point, tke ɛ dpp, xq ą 0 note tht by the tringle inequlity, B ppq Ă B ɛ pxq. Definition Let px, dq be metric spce nd E Ă X. A point p P X is limit point of E if every neighborhood U of p hs point q p such tht q P E. A subset E which contins ll its limit points is clled closed. The closure of E, denote E, is the union of E with ll of its limit points. Exmple 3.12 (Closed blls re closed). Every closed bll is closed. Consider B ɛ pxq nd let p be possible limit point. If dpp, xq ď r then we re hppy. Otherwise, let ă dpp, xq r. Then B ppq nd B ɛ pxq re disjoint by the tringle inequlity, nd thus p cnnot be limit point. Proposition 3.13 (The closure of ny subset is closed). Let px, dq be metric spce nd E Ă X. The closure E is closed. Proof. This might seem obvious, but there is something to prove. One hs to show tht one does not introduce more limit points by including the limit points of E. Suppose p is limit point of E; then every neighborhood N of p intersects E. If N contins point of E we re done. If N contins limit point of E, sy q, then since N is open, q is n interior point, so there is neighborhood of q contined in N which contins point of E, concluding the proof. Remrk The closed bll isn t relly used tht much s topologicl notion, s fr s I know. I include it here for fun. Definition Let px, dq be metric spce. A subset E Ă X is dense if E X. Exmple As we ve shown before, Q is dense in R. To see why, we clim tht every rel number is limit point of rtionl numbers: let P R; every bll B ɛ pq p ɛ, ` ɛq contins rtionl number. 3.3 Some topologicl fundmentls Proposition 3.17 (Complements). A set is open if nd only if its complement is closed. Proof. This proof is mostly just juggling the logic in the definitions. Suppose tht E is open. Let p be limit point of E c. Then every neighborhood of p intersects E c nontrivilly, i.e. every neighorhood is not contined in E, so p R E since it cnnot be n interior point, so p P E c, so E c is closed. Suppose tht E is closed. Let p P E c, so p is not limit point of E, so their is neighborhood of p disjoint from E, so p is n interior point, so E c is open. Proposition 3.18 (Unions nd intersections). Any (possibly infinite) union of open sets is open. Any (possible infinite) intersection of closed sets is closed. Any finite union or intersection of open or closed sets is open or closed, respectively. 10

11 Proof. By the previous proposition, we only need to prove the sttements for open sets. I will leve the sttement tht n infinite union of open sets is open s n exercise. For finite intersection of open sets, tke open sets G 1,..., G n, nd x P Ş n i 1 G i. Since x P G i for ll i is interior, we hve B ɛi pxq Ă G i for ll i nd for some ɛ i. Then, B minpɛiqpxq Ă Ş n i 1 G i nd the result follows. Proposition 3.19 (Closure). The closure E is the intersection of ll closed sets tht contin E. Equivlently, it is the smllest closed set contining E. Proof. Let F Ş EĂV closed V be the intersection of ll closed sets contining E. Clerly, F Ă E since E is closed nd contins E. We wnt to show tht every closed set contining E lso contins E. Let V be closed nd E Ă V. Tking the closure of both sides, we find tht E Ă V. 4 Lecture Sequences nd convergence Remrk 4.1. Wrning: the sequence notion of limit is not quite the sme s thn the notion of limit you lerned in clculus the context is different. Definition 4.2. Let px, dq be metric spce. A sequence tp n u in X converges to p P X if for every ɛ ą 0, there is some N such tht dpp n, pq ă ɛ when n ą N. Equivlently, tp n u něn Ă B ɛ pxq X tp n u. In this cse, we write: lim nñ8 p n p If sequence does not converge to ny point, it diverges. Proposition 4.3. Limits of sequences re unique. Proof. Let p, q be two limits of sequence tp n u. We will show tht dpp, qq ă ɛ for ny ɛ ą 0. Choose ny ɛ ą 0; then there is n N such tht dpp n, pq ă ɛ 2 for n ą N nd n M such tht dpq n, pq ă ɛ 2 for n ą M. Then, for n ą mxpn, Mq, we hve tht dpp, qq ď dpp, p n q ` dpp n, qq ă ɛ s desired. Proposition 4.4 (Connections to topology). If E Ă X nd p is limit point of E, then there is sequence in E converging to p. Proof. For every n, choose some s n P B 1{n ppq X E, which we know is nonempty since p is limit point of E. We clim this sequence converges to p. For ɛ ą 0, choose N such tht 1 N ă ɛ. Then, one sees tht for n ą N, we hve dps n, pq ă 1 N ă ɛ. Definition 4.5. Let px, dq be metric spce. A subset E Ă X is bounded if there is number L such tht tdpp, qq p, q P Eu is bounded bove (in the order-theoretic sense) by L. Proposition 4.6 (Convergent sequences re bounded). Convergent sequences re bounded (considered s sets). Proof. Let tp n u Ñ p be the convergent sequence. We will brek up the sequence into two groups for which we cn find bound on dpp n, p m q: one for m, n ď N nd one for m, n ě N. Fix ny ɛ (for exmple, ɛ 1) nd tke n N such tht n ě N implies dpp n, pq ă ɛ. By the tringle inequlity, dpp n, p m q ă 2ɛ for n, m ě N. This is the first group. For the second, we know tht for n, m ď N, dpp n, p m q ě m : mxptdpp n, p m u n, m ď Nu. Then, using the tringle inequlity, we know tht for ny m, n, estblishing bound. dpp n, p m q ď dpp n, p N q ` dpp N, p m q ď 2 mxpm, 2ɛq 11

12 4.2 Sequences in R Proposition 4.7. Let ts n u nd tt n u be sequences in R, with limits s nd t respectively. Let c P R be constnt. Then: () lim nñ8 pcs n q cs nd lim nñ8 pc ` s n q c ` s. (b) lim nñ8 ps n ` t n q s ` t (c) lim nñ8 ps n t n q st (d) lim nñ8 ps n {t n q s{t if for ll n, s n 0 nd s 0 Proof. The proof of () is esy nd left s n exercise. For (b), fix n ɛ ą 0. We wnt to find n N such tht if n ą N then ps ` tq ps n ` t n q ă ɛ. By the tringle inequlity, we hve tht ps ` tq ps n ` t n q ď s s n ` t t n. By the limits we lredy know, we cn find n N s such tht n ą N s implies s s n ă 1 2 ɛ nd likewise n N t. Then, let N mxpn s, N t q nd we hve the result. For (c), rewrite the expression: st s n t n pt t n qps ` s n q ` t n s s n t pt t n qps ` s n q ` pt n tqs ps n sqt The strtegy is s follows: in ech of the three dditive terms, we hve one fctor tht should go to zero. We lso hve bounds on the other fctors, which gurntees tht their products go to zero. More precisely let L be bound on the sequence ts ` s n u. Fix ɛ ą 0; we wnt to find n N such tht if n ą N then st s n t n ă ɛ. Applying the tringle inequlity to our rewriting, we find tht There is n N such tht for n ą N, we hve s s n ă st s n t n ă ɛ s desired. For (d), we only need to show tht st s n t n ď L t t n ` s t t n ` t s s n lim nñ8 ɛ L ` s ` t nd t t n ă ɛ L ` s ` t. Then, one finds tht 1 s n 1 s. Fix ɛ ą 0. We wnt to find N such tht for n ą N, we hve: 1 s n 1 s s n s s n s ă ɛ The ide is s follows: the denomintor s n s tends towrd s 2 which is constnt we cn ccount for. We wnt to overestimte this quntity with respect to s 2 since it is in the denomintor. So, we cn find N 1 such tht n ą N 1 implies tht 2 s n ą s (check this), nd so s n s ą 1 2 s2. Thus our expression becomes: s n s s n s ă 2 1 s 2 s n s Now, we cn find N 2 such tht s n s ă s2 ɛ 2 nd the result follows. 4.3 Extended rel numbers Definition 4.8. We write lim s n 8 nñ8 to men tht for ech M there is some N such tht n ą N implies tht s n ą M. Likewise, we write lim s n 8 nñ8 to men tht for ech M there is some N such tht n ą N implies tht s n ă N. 12

13 Remrk 4.9. The extended rels re not metric spce, nor field, though it does hve n totl order. However, the following rithmeticl sentences still mke sense for ny x P R: x x ` 8 8, x 8 8, 8 x 8 0 if x ą 0 then x 8 8 nd x p 8q 8 if x ă 0 then x p 8q 8 nd x 8 8 The sttements of the bove proposition re still true in these cses. 5 Lecture Compctness Remrk 5.1 (Induced metric). Let px, dq be metric spce, nd let Y Ă X. Then, py, d Y q is metric spce, where d Y is the distnce function when restricted to Y. Proposition 5.2. Let px, dq be metric spce, nd E Ă X. Let U be open in X. Then U X E is open in E. Proof. This is left s n exercise. Just check the definition, nd note tht open blls in Y re open blls in X intersected with Y. Remrk 5.3 (Openness nd closedness s properties of subsets). Asking whether set is opened or closed only mkes sense once we identify it s n subset of metric spce, nd the nswer depends on its embedding s subset. For exmple, r0, 1s is n open subset of the metric spce r0, 1s, but it is not n open subset of the metric spce R. The notion we will now introduce, compctness, is intrinsic: it does not depend on ny embedding. Definition 5.4. Let px, dq be metric spce. Then, X is compct if every open cover hs finite subcover. An open cover of spce X is (possibly infinite) collection of open subsets of X, sy tu i u such tht they cover X, i.e. Ť U i X. A finite subcover is finite subcollection which is still cover. Exmple 5.5 (Open covers of R). Here re mny mny exmples of open covers of R. Here re some. (1) U n p n, nq for n P Z, (2) U n p 8, nq for n P N, (3) U n p 8, 8q for n P Z, (4) U n p ` 1, 1q for P R, (5) U n p ` ɛ, ɛq for, ɛ P R. I clim tht none of these hve finite subcovers. I ll prove this for (1) nd leve the rest s n exercise. Proof. Suppose there ws finite subcover; then it would be given by finite subset of the index set of integers, cll it I Ă Z. Check tht Ť ipip n, nq p mxpiq, mxpiq q, which is not R. Exmple 5.6 (Not open covers). Let X p0, 1s Ă R. Then p0, 1 nq is not n open cover, since 1 P X is not in ny of those open sets. Corollry 5.7. R is not compct. Proof. To be compct, every open cover must hve finite subcover. Since we ve given n open cover which does not hve finite subcover, we re done. Remrk 5.8 (R hs n open cover with finite subcover). Note tht exmple (3) is n open cover which hs finite subcover. This does not contrdict tht R is not compct, since only one open cover cn brek compctness. Exmple 5.9 (Compct intervls in R). Some more exmples which we cn do explicitly. (1) p 1, 1q is not compct. (2) r0, 1s is compct. (3) p0, 8q is not compct. (4) r0, 8q is not compct. (5) Z is not compct. (6) Q X r0, 1s is not compct. 13

14 Proof. (1) Use the open subcover given by U n p 1 ` 1 n, 1 1 nq for n P N. (2) We will prove generl theorem lter. (3) Use the open subcover p0, nq for n P N. (4) Use the open subcover r0, nq for n P N. Note tht while these re not open in R, they re open in r0, 8q. (5) Use the open subcover tnu for n P Z. (6) This is little trickier. Choose n irrtionl number α P r0, 1s. Let s n be rtionl number in pα 1 n, αq. Then, tke the open subcover Q X pr0, s n q Y pα, 1sq for n P N. Proposition Let px, dq be metric spce nd E Ă X. If E is compct then E is closed nd bounded subset of X. Proof. We cn do the following for ny metric spce. For every x P E (nd x p), tke neighborhood U x which is disjoint from some neighborhood of p. For exmple, one could tke U x B dpx,pq pxq X E. If p E, this is n 2 open cover, since it contins every point in E. By compctness, tke finite subcover, sy indexed by the finite points x 1,..., x n P E. Then, notice tht Ť n i 1 U x n is disjoint from B dpx minp i,pq ppq, so p is not limit point. Thus 2 q E contins ll of its limit points. For boundedness, let x P E be ny point, nd let consider the open cover U n B n pxq X E. By compctness this hs n open subcover, nd let N be the mximum n in this subcover. Then E Ă B N pxq nd is bounded. Remrk It is little remrkble tht n intrinsic property of spce tells us property bout every embedding of tht spce. Proposition Let X be compct metric spce. A closed subset of X is compct. Proof. Let E Ă X be closed. Tke finite subcover U i of E. First, we clim (nd will prove lter) tht n open set of E cn be written s the intersection of E with n open set of X. Given this clim, for ech U i tke V i Ă X open such tht U i V i X E. Now tke the open cover tv i u Y tx Eu of X. Since X is compct, this hs finite subcover if X E is in the finite subcover, remove it to obtin finite subcover of E. Lemm Let px, dq be metric spce nd let E Ă X be subset considered s metric spce. Let U be n open set of E. Then there is n open set V of X such tht U E X V. Proof. Recll tht every open set cn be written s the union of open blls. Tke the sme open blls but in X insted. Proposition Any finite union of compct subsets is compct. Proof. Left s n exercise. 6 Lecture Compctness in R k We will mke the following definition, which will only be used in this section. Definition 6.1. A k-cell is subset of R k of the form i.e. box with given vertices. r 1, b 1 s ˆ r 2, b 2 s ˆ ˆ r k, b k s Lemm 6.2 (Cntor intersection lemm for R k ). Let E 0 Ą E 1 Ą E 2 Ą be descending chin of nested nonempty k-cells of R k. Then, Ş i E i is nonempty. 14

15 Proof. First, we cn prove this for R 1. Consider sequence where E i r i, b i s. To be nested mens 1 ď 2 ď nd b 1 ě b 2 ě. Let supp 1, 2,...q nd b infpb 1, b 2, q. We clim tht ď b. Then ny x P r, bs would suffice. To prove the clim, suppose tht ą b; let x P pb, q. Then there is some n for with x ă n nd lso some m for with x ą b m. Then, b mxpm,nq ă x ă mxpm,nq, which cnnot hppen. To prove this for R k, one mkes similr rgument for ech component of the k-tuple, nd is left s n exercise. Theorem 6.3 (Heine-Borel theorem). A subset of R n is compct if nd only if it is closed nd bounded. Proof. We ve lredy proven one direction. Now let X Ă R n be closed nd bounded. Since X is bounded, it is contined in closed box, T 0 : r N, Ns n for lrge N. Since closed subset of compct set is compct, it suffices to show tht this box is compct. Fix n open cover of the box T 0. If one cuts this box in hlf in ll possible directions, one obtins 2 n smller boxes with hlf the side length of the originl. If every one of the 2 n hlf-boxes hd finite subcover, then T 0 would hve finite subcover (by tking the finite union of the finite subcovers). So, suppose otherwise, nd choose box T 1 which does not hve finite subcover. We cn repet this process to obtin descending chin of nested boxes: T 0 Ą T 1 Ą T 2 Ą. By the previous lemm, this is nonempty nd contins point p. This point p must be in one of the open sets of the cover, sy U, nd thus there is some bll B ɛ ppq Ă U. But, this bll contins ll T i for i ą M for some lrge M, contrdicting tht ech of the T i does not hve finite subcover. This proves the theorem. Exmple 6.4 (Not true for ll metric spces). The Heine-Borel theorem is not true for ll metric spces. For exmple, if X is n infinite metric spce with the discrete topology, then subset is compct if nd only if it is finite. However, every subset is closed nd bounded. Remrk 6.5. This theorem might convince you tht compctness is redundnt notion. In the following sections we will see tht this is very untrue, if we wnt to work in the generl context of metric spces or topologicl spces. 7 Lecture Subsequences I will not give definition of subsequences, nd convergence of subsequence. It is exctly wht you think it is. However, we will mke few definitions nywy. Definition 7.1. A sequence s in R is monotoniclly incresing if s i ď s i`1 for ll i. It is monotoniclly decresing Proposition 7.2. All bounded monotone sequences converge. Proof. Suppose s n is monotoniclly incresing. We clim s n converges to s : suppts n uq. For ɛ ą 0, there is some s N P ps ɛ, sq by definition of supremum. Since the sequence is mootonic, this is true for ll s n nd n ą N. Proposition 7.3. Every sequence hs monotone subsequence. Proof. Let s n be sequence. We sy the kth term, s k, is dominnt if s k ą s i for ll i ą k, i.e. bigger thn ll its subsequent terms. There re two cses to consider. In the first cse, there re infinitely mny dominnt terms; then, the subsequence consisting of dominnt terms is monotoniclly decresing sequence. In the second cse, there re only finitely mny. Then, in choosing subsequence, we follow the rule: never choose dominnt term. In doing so, we cn lwys choose some term in the sequence following ny choice which is bigger, obtining monotoniclly incresing sequence. Theorem 7.4 (Bolzno-Weierstrss for R). Every bounded sequence hs convergent subsequence. Proposition 7.5 (Bolzno-Weierstrss, generliztion). Let X be compct metric spce. Every sequence hs convergent subsequence. 15

16 Proof. Let tx n u be the sequence, nd let E tx 1, x 2,...u i.e. the set of points in the sequence. If E is finite then there must be point tht reoccurs infinitely mny times, nd tht is our convergent subsequence. If E is infinite, then we clim it hs limit point, sy p. Given this clim, for ech bll B 1 ppq we cn choose successive elements n in smller blls converging to p. More precisely, there is some N n such tht s i is in the bll B 1 ppq for i ą N n. n Choose successively i n such tht i n ą i n 1 nd i n ą N n to obtin the subsequence. Lemm 7.6. If E is n infinite subset of compct metric spce X, then E hs limit point in X. Proof. Suppose to the contrry; if no point in X is limit point, every point in x P X hs neighborhood which contins t most one point of E (nmely, the point x itself if x P E). This gives n open cover of X, but it cnnot hve finite subcover since ech open contins t most one point of E. Remrk 7.7. Note tht this proposition is not true for just closed nd bounded subsets. For exmple, tke X Z under the discrete topology, so tht it is closed nd bounded but not compct. The sequence s n n hs no convergent subsequence. So this is nother piece of evidence in fvor of compctness s good notion. Definition 7.8. The limit supremum of sequence s n is defined s The limit infimum is defined similrly lim sup nñ8 lim inf nñ8 lim nñ8 supps n, s n`1, s n`2,...q lim nñ8 infps n, s n`1, s n`2,...q Proposition 7.9 (Chrcteriztion of limit supremum). Let s n be bounded sequence. Let E be the set of subsequentil limits. Then lim sup s n exists nd is equl to suppeq, nd lim inf s n exists nd is equl to infpeq. Proof. I will prove the sttement for lim sup. Since s n is bounded bove, suppeq exists. ehhhhhhhhh Proposition For ny sequence s n we hve tht lim inf s n ď lim sup s n. If they re equl, then the limit exists nd lim nñ8 s n lim inf s n lim sup s n. Conversely, if the limit exists, then lim nñ8 s n lim inf s n lim sup s n. Proof. The first sttement is left s n exercise. For the second, let s lim sup s n lim inf s n. Fix ɛ ą 0. There is n N such tht for n ą N, we hve tht supps n, s n`1,...q P ps ɛ, s ` ɛq. Thus, s n ă s ` ɛ for ll n ą N. A similr rgument with the infimum shows tht s ɛ ă s n for ll n ą N. Thus, s n s ă ɛ for n ą N. For the third sttement, we hve tht for every ɛ ą 0, there is some N such tht for n ą N we hve s n P ps ɛ, s ` ɛq. Thus, lim supps n q ă s ` ɛ nd lim inf ą s ɛ for every ɛ, nd the result follows. Corollry 7.11 (Appliction to sequences: squeezing ). Let s n, t n be sequences in R tht converge to s, t, such tht s n ď t n for n ą N for some N. Then, lim s n ď lim t n. Proof. One cn esily check tht lim sup s n ď lim inf t n. The rest follows by the previous proposition. 7.2 Cuchy sequences, complete metric spces Exmple Let X R t0u be metric spce. The sequence t 1 nu does not converge, becuse 0 R X. But it looks like convergent sequence. We wnt to mke definition tht cptures this phenomenon. Definition A sequence is Cuchy if for every ɛ ą 0 there is n integer N such tht dpp n, p m q ă ɛ for m, n ą N. A metric spce for which every Cuchy sequence is convergent is clled complete. Remrk As we sw bove, not every Cuchy sequence converges, nd in our exmple ws becuse there ws hole. Proposition Cuchy sequences re bounded Proof. Left s n exercise. 16

17 Proposition Every convergent sequence is Cuchy. Proof. Suppose s n converges to s. Then, for every ɛ ą 0 there is n N such tht dps n, sq ă ɛ 2 m, n ą N, dps n, s m q ď dps n, sq ` dps m, sq ă ɛ. for n ą N. Then, for Proposition 7.17 (Cntor intersection lemm). Let E 0 Ą E 1 Ą E 2 Ą be descending chin of nonempty compct subsets of metric spce X. Then, Ş i E i is nonempty. Further, define the dimeter of set E by dimpeq : supptdpx, yq x, y P Eu. If lim nñ8 dimpe i q 0, then Ş E i consists of exctly one point. Proof. For the first sttement, if the intersection is empty, then te 0 E i u ipn is n open cover of E 0 (open becuse E i is compct in compct E 0 nd thus closed). It hs finite subcover, since E 0 is compct. This mens tht eventully the sequence stbilizes, i.e. E i E i`1. This contrdicts tht the E i re nonempty, so the intersection must be nonempty. For the second sttement, this must be true since if the intersection contined two points, sy x, y, then dimpe i q ě dpx, yq for ll i. Proposition Every compct spce is complete. Proof. Let s i be Cuchy sequence. Define E i ts i, s i`1,...u, in the nottion of the previous proposition. Since the sequence is Cuchy, lim nñ8 dimpe n q 0. Thus there is single point in the intersection, sy s. I clim this is the limit (the hrd prt is over, since the filure for Cuchy sequence to converge is somehow due to the point it should converge to not being there ). To see this, fix ɛ ą 0; if dimpe N q ă ɛ then this implies tht dps n, sq ă ɛ for ll n ą N. Corollry R k is complete. Proof. Consider Cuchy sequence; it is bounded (check s exercise) so we my enclose it in bounded nd closed box. This is compct by Heine-Borel, nd thus every bounded Cuchy sequence hs limit. Definition Let px, dq be metric spce. We will define the completion of X, denoted X. As set, the elements of X re Cuchy sequences (indexed by N) in X, modulo the n equivlence reltion which we will define lter. For now, define the distnce function between two Cuchy sequences by: dpx, yq lim n dpx n, y n q Check s n exercise tht this is well-defined since the sequences re Cuchy. Then, two sequences re equivlent x y if dpx, yq 0. This distnce function is lso well-defined on equivlence clsses nd stisfies the xioms of distnce function. 7.3 Aside: Construction of the rel numbers by completion In this section we will bcktrck nd pretend we don t know wht R is. We will tret Q s Q-metric spce. This will be the only time in these notes tht we think of distnces s tking vlues in ny field other thn R. We will use Cuchy sequences in Q to construct R. Definition The set of rel numbers is defined to be the set of Cuchy sequences in Q (using the bsolute vlue metric) modulo the equivlence reltion where x y if lim nñ8 x n y n 0. Addition nd multipliction re defined on Cuchy sequences by px ` yq n x n ` y n nd likewise. The dditive identity is the constnt zero sequence, nd the multiplictive identity is the constnt one sequence. The order is defined by x ď y if x y of if there is some N such tht x n ă y n for ll n ą N. Finlly, the rtionl numbers re considered s subset of R by tking constnt sequences. 17

18 Proof. Check tht ll opertions nd orders re well-defined nd the field xioms s n exercise. One is ssigned s homework. The upper bound property is little more work. Let S be subset of rel numbers, nd let u 0 be n upper bound of S. Choose l 0 such tht there is some s P pl 0, u 0 q X S. One should quickly check tht this cn be done: tke some s P S nd find the N such tht m, n ą N implies s n s m ă 1, nd we cn tke l 0 s n 2. Now, repet the following process to construct sequence: consider m n ln 1`u0 2. If this is n upper bound for S, then set u n m n nd l n l n 1. Otherwise, set u n u n 1 nd l n m n. This defines two sequences, u n nd l n. These re both Cuchy sequences; I will leve this s n exercise. First, notice tht every u n is n upper bound on S by construction. Thus the sequence u thought of s n element of R is n upper bound on S by definition. I clim tht u is the supremum. To see this, suppose there is smller upper bound, u 1. This mens tht lim nñ8 u n u 1 n for some positive number. Notice tht the the quntity u n l n is cut in hlf ech time we increse n by one. Also notice tht by construction, there is lwys element in S greter thn l n. Thus, when u n l n ă, we find tht this contrdicts tht u 1 n is n upper bound. 8 Lecture Tking powers in the rel numbers We hven t ctully define wht it mens to tke powers in the positive rel numbers to numbers other thn integers. We will first define frctionl powers, which we could hve done erlier s soon s we defined Dedekind cuts. Definition 8.1. Let α P R be hve α ą 1 nd p P N. We define α 1{p to be the unique positive rel number x such tht x p α. Constructively, this is the Dedekind cut: tx P Q x ď 1 or x p ă αu. Now, let p P R be positive, nd α ą 1. We define α p to be the Dedekind cut: tx P Q x ď 1 or x q ă α for 0 ă q ă pu. For the cse 0 ă α ă 1, one uses tht α 1 ą 1. One does hve to prove tht this cut does hve the given property, nd tht it is unique in this sense. The first is left s n exercise, nd the second follows from the order xioms. We won t prove the following. Proposition 8.2. For, b ą 0 nd p rel numbers, using the bove definitions, we hve tht pbq p p b p. 8.2 Toolbox sequences Recll: Theorem 8.3 (Binomil theorem). Let n P N. Then, p1 ` xq n 1 ` nx ` Proposition 8.4. The following re useful sequences to know. 1 () If p ą 0, then lim nñ8 n 0. p (b) If p ą 0, then lim? n nñ8 p 1. (c) lim? n nñ8 n 1. n (d) If p ą 0, then lim α nñ8 p1`pq 0. n (e) If x ă 1, then lim nñ8 x n 0. ˆn x 2 ` ` nx n 1 ` x n 2 Proof. For (), we wnt to verify tht we cn mke 1 n p ă ɛ for lrge n. Doing some rerrnging, we wnt n ą p 1 ɛ q1{p. Here we use two fcts: tht 0 ă x ă y implies 0 ă 1 y ă 1 x nd tht the function fpxq xα is monotoniclly incresing for α ą 0 (i.e. x ď y implies x α ď y α ). 18

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 1. Functional series. Pointwise and uniform convergence. 1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is

More information

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

IMPORTANT THEOREMS CHEAT SHEET

IMPORTANT THEOREMS CHEAT SHEET IMPORTANT THEOREMS CHEAT SHEET BY DOUGLAS DANE Howdy, I m Bronson s dog Dougls. Bronson is still complining bout the textbook so I thought if I kept list of the importnt results for you, he might stop.

More information

Lecture 1: Introduction to integration theory and bounded variation

Lecture 1: Introduction to integration theory and bounded variation Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You

More information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)

More information

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015 Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n

More information

Review: set theoretic definition of the numbers. Natural numbers:

Review: set theoretic definition of the numbers. Natural numbers: Review: reltions A inry reltion on set A is suset R Ñ A ˆ A, where elements p, q re written s. Exmple: A Z nd R t pmod nqu. A inry reltion on set A is... (R) reflexive if for ll P A; (S) symmetric if implies

More information

Review of Riemann Integral

Review of Riemann Integral 1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.

More information

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b

More information

In words: Let be the relation on Z given by a b if a b. (Note that we use language like in definitions, where if actually means if and only if.

In words: Let be the relation on Z given by a b if a b. (Note that we use language like in definitions, where if actually means if and only if. Reltions A binry reltion on set A is subset R Ñ A ˆ A, where elements p, bq re written s b. Exmple: A Z nd R t b bu. In words: Let be the reltion on Z given by b if b. (Note tht we use lnguge like in definitions,

More information

Main topics for the First Midterm

Main topics for the First Midterm Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the

More information

MAT 215: Analysis in a single variable Course notes, Fall Michael Damron

MAT 215: Analysis in a single variable Course notes, Fall Michael Damron MAT 215: Anlysis in single vrible Course notes, Fll 2012 Michel Dmron Compiled from lectures nd exercises designed with Mrk McConnell following Principles of Mthemticl Anlysis, Rudin Princeton University

More information

Notes on length and conformal metrics

Notes on length and conformal metrics Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued

More information

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60. Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23

More information

Math 360: A primitive integral and elementary functions

Math 360: A primitive integral and elementary functions Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence

More information

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1

More information

Infinite Geometric Series

Infinite Geometric Series Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to

More information

Bernoulli Numbers Jeff Morton

Bernoulli Numbers Jeff Morton Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f

More information

Recitation 3: More Applications of the Derivative

Recitation 3: More Applications of the Derivative Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech

More information

Lecture 3: Equivalence Relations

Lecture 3: Equivalence Relations Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts

More information

MAA 4212 Improper Integrals

MAA 4212 Improper Integrals Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which

More information

Improper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows:

Improper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows: Improper Integrls The First Fundmentl Theorem of Clculus, s we ve discussed in clss, goes s follows: If f is continuous on the intervl [, ] nd F is function for which F t = ft, then ftdt = F F. An integrl

More information

Theory of the Integral

Theory of the Integral Spring 2012 Theory of the Integrl Author: Todd Gugler Professor: Dr. Drgomir Sric My 10, 2012 2 Contents 1 Introduction 5 1.0.1 Office Hours nd Contct Informtion..................... 5 1.1 Set Theory:

More information

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a). The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

More information

Math 554 Integration

Math 554 Integration Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we

More information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More information

Math 1B, lecture 4: Error bounds for numerical methods

Math 1B, lecture 4: Error bounds for numerical methods Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the

More information

The Henstock-Kurzweil integral

The Henstock-Kurzweil integral fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft

More information

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all 3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the

More information

Lecture 3. Limits of Functions and Continuity

Lecture 3. Limits of Functions and Continuity Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live

More information

1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers...

1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers... Contents 1 Sets 1 1.1 Functions nd Reltions....................... 3 1.2 Mthemticl Induction....................... 5 1.3 Equivlence of Sets nd Countbility................ 6 1.4 The Rel Numbers..........................

More information

STUDY GUIDE FOR BASIC EXAM

STUDY GUIDE FOR BASIC EXAM STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There

More information

Math Solutions to homework 1

Math Solutions to homework 1 Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht

More information

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =

More information

Homework 11. Andrew Ma November 30, sin x (1+x) (1+x)

Homework 11. Andrew Ma November 30, sin x (1+x) (1+x) Homewor Andrew M November 3, 4 Problem 9 Clim: Pf: + + d = d = sin b +b + sin (+) d sin (+) d using integrtion by prts. By pplying + d = lim b sin b +b + sin (+) d. Since limits to both sides, lim b sin

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Rudin s Principles of Mathematical Analysis: Solutions to Selected Exercises. Sam Blinstein UCLA Department of Mathematics

Rudin s Principles of Mathematical Analysis: Solutions to Selected Exercises. Sam Blinstein UCLA Department of Mathematics Rudin s Principles of Mthemticl Anlysis: Solutions to Selected Exercises Sm Blinstein UCLA Deprtment of Mthemtics Mrch 29, 2008 Contents Chpter : The Rel nd Complex Number Systems 2 Chpter 2: Bsic Topology

More information

Advanced Calculus I (Math 4209) Martin Bohner

Advanced Calculus I (Math 4209) Martin Bohner Advnced Clculus I (Mth 4209) Spring 2018 Lecture Notes Mrtin Bohner Version from My 4, 2018 Author ddress: Deprtment of Mthemtics nd Sttistics, Missouri University of Science nd Technology, Roll, Missouri

More information

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS. THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem

More information

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph

More information

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More information

II. Integration and Cauchy s Theorem

II. Integration and Cauchy s Theorem MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.

More information

Mathematical Analysis. Min Yan

Mathematical Analysis. Min Yan Mthemticl Anlysis Min Yn Februry 4, 008 Contents 1 Limit nd Continuity 7 11 Limit of Sequence 8 111 Definition 8 11 Property 13 113 Infinity nd Infinitesiml 18 114 Additionl Exercise 0 1 Convergence of

More information

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one

More information

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite

More information

Chapter 0. What is the Lebesgue integral about?

Chapter 0. What is the Lebesgue integral about? Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous

More information

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series 7 Improper Integrls, Exp, Log, Arcsin, nd the Integrl Test for Series We hve now ttined good level of understnding of integrtion of nice functions f over closed intervls [, b]. In prctice one often wnts

More information

Handout: Natural deduction for first order logic

Handout: Natural deduction for first order logic MATH 457 Introduction to Mthemticl Logic Spring 2016 Dr Json Rute Hndout: Nturl deduction for first order logic We will extend our nturl deduction rules for sententil logic to first order logic These notes

More information

Quadratic Forms. Quadratic Forms

Quadratic Forms. Quadratic Forms Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte

More information

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f

More information

Optimization Lecture 1 Review of Differential Calculus for Functions of Single Variable.

Optimization Lecture 1 Review of Differential Calculus for Functions of Single Variable. Optimiztion Lecture 1 Review of Differentil Clculus for Functions of Single Vrible http://users.encs.concordi.c/~luisrod, Jnury 14 Outline Optimiztion Problems Rel Numbers nd Rel Vectors Open, Closed nd

More information

5.7 Improper Integrals

5.7 Improper Integrals 458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the

More information

MTH 505: Number Theory Spring 2017

MTH 505: Number Theory Spring 2017 MTH 505: Numer Theory Spring 207 Homework 2 Drew Armstrong The Froenius Coin Prolem. Consider the eqution x ` y c where,, c, x, y re nturl numers. We cn think of $ nd $ s two denomintions of coins nd $c

More information

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1 Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution

More information

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA-302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition

More information

and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

and that at t = 0 the object is at position 5. Find the position of the object at t = 2. 7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we

More information

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

More information

NWI: Mathematics. Various books in the library with the title Linear Algebra I, or Analysis I. (And also Linear Algebra II, or Analysis II.

NWI: Mathematics. Various books in the library with the title Linear Algebra I, or Analysis I. (And also Linear Algebra II, or Analysis II. NWI: Mthemtics Literture These lecture notes! Vrious books in the librry with the title Liner Algebr I, or Anlysis I (And lso Liner Algebr II, or Anlysis II) The lecture notes of some of the people who

More information

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007 A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus

More information

Duality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.

Duality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below. Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we

More information

Improper Integrals, and Differential Equations

Improper Integrals, and Differential Equations Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted

More information

One Variable Advanced Calculus. Kenneth Kuttler

One Variable Advanced Calculus. Kenneth Kuttler One Vrible Advnced Clculus Kenneth Kuttler August 5, 2009 2 Contents 1 Introduction 7 2 The Rel And Complex Numbers 9 2.1 The Number Line And Algebr Of The Rel Numbers.......... 9 2.2 Exercises...................................

More information

Presentation Problems 5

Presentation Problems 5 Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).

More information

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de

More information

Math 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

More information

Math Lecture 23

Math Lecture 23 Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of

More information

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.

1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q. Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the

More information

Review of basic calculus

Review of basic calculus Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below

More information

Lecture 2: Fields, Formally

Lecture 2: Fields, Formally Mth 08 Lecture 2: Fields, Formlly Professor: Pdric Brtlett Week UCSB 203 In our first lecture, we studied R, the rel numbers. In prticulr, we exmined how the rel numbers intercted with the opertions of

More information

Math Advanced Calculus II

Math Advanced Calculus II Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused

More information

MATH 144: Business Calculus Final Review

MATH 144: Business Calculus Final Review MATH 144: Business Clculus Finl Review 1 Skills 1. Clculte severl limits. 2. Find verticl nd horizontl symptotes for given rtionl function. 3. Clculte derivtive by definition. 4. Clculte severl derivtives

More information

Calculus I-II Review Sheet

Calculus I-II Review Sheet Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing

More information

Problem Set 4: Solutions Math 201A: Fall 2016

Problem Set 4: Solutions Math 201A: Fall 2016 Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true

More information

1 Probability Density Functions

1 Probability Density Functions Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our

More information

7.2 Riemann Integrable Functions

7.2 Riemann Integrable Functions 7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous

More information

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),

More information

1 The Riemann Integral

1 The Riemann Integral The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re

More information

fractions Let s Learn to

fractions Let s Learn to 5 simple lgebric frctions corne lens pupil retin Norml vision light focused on the retin concve lens Shortsightedness (myopi) light focused in front of the retin Corrected myopi light focused on the retin

More information

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure

More information

Indefinite Integral. Chapter Integration - reverse of differentiation

Indefinite Integral. Chapter Integration - reverse of differentiation Chpter Indefinite Integrl Most of the mthemticl opertions hve inverse opertions. The inverse opertion of differentition is clled integrtion. For exmple, describing process t the given moment knowing the

More information

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1 MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further

More information

Properties of the Riemann Integral

Properties of the Riemann Integral Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2

More information

Overview of Calculus I

Overview of Calculus I Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,

More information

LECTURE. INTEGRATION AND ANTIDERIVATIVE.

LECTURE. INTEGRATION AND ANTIDERIVATIVE. ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development

More information

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction. MAS221(216-17) Exm Solutions 1. (i) A is () bounded bove if there exists K R so tht K for ll A ; (b) it is bounded below if there exists L R so tht L for ll A. e.g. the set { n; n N} is bounded bove (by

More information

f(a+h) f(a) x a h 0. This is the rate at which

f(a+h) f(a) x a h 0. This is the rate at which M408S Concept Inventory smple nswers These questions re open-ended, nd re intended to cover the min topics tht we lerned in M408S. These re not crnk-out-n-nswer problems! (There re plenty of those in the

More information

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1 3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =

More information

Further Topics in Analysis

Further Topics in Analysis Further Topics in Anlysis Lecture Notes 2012/13 Lecturer: Prof. Jens Mrklof Notes by Dr. Vitly Moroz School of Mthemtics University of Bristol BS8 1TW Bristol, UK c University of Bristol 2013 Contents

More information

Beginning Darboux Integration, Math 317, Intro to Analysis II

Beginning Darboux Integration, Math 317, Intro to Analysis II Beginning Droux Integrtion, Mth 317, Intro to Anlysis II Lets strt y rememering how to integrte function over n intervl. (you lerned this in Clculus I, ut mye it didn t stick.) This set of lecture notes

More information

Introduction to Group Theory

Introduction to Group Theory Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements

More information