FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures
|
|
- Aubrey Clark
- 5 years ago
- Views:
Transcription
1 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 with µ ad ν whe restricted to ad, respectively. Defiitio. If A ad B, the set A B is called a rectagle; if A A ad B B, the A B is called a measurable rectagle. Fact.1 Let R = {A B : A A, B B}, the collectio of of all measurable rectagles. The: a) R is a coverig class for subsets of. b) If U, V R, the U V R. c) If U R, the U c is a fiite disjoit uio of sets i R. d) If U, V R, the U V is a fiite disjoit uio of sets i R. Proof. Exercise. Remark. (b)-(d) of Fact.1 says that the class S of all fiite disjoit uio of sets i R forms a algebra. Defiitio. The σ-algebra geerated by S is called the product σ-algebra (o ) ad is deoted by A B. Remark. By defiitio, A B is the smallest σ-algebra cotaiig S. O A B oe ca defie umerous measures; however, our aim is to defie (costruct) a measure which is compatible with µ ad ν. For, we will follow the procedure that eabled us to costruct the Lebesgue measure o R (with appropriate modificatios, of course). Give the measure spaces (, A, µ) ad (, B, ν), defie a set fuctio λ : R R # by λ(a B) = µ(a)ν(b), A A, B B. The λ( ) = 0, ad is compatible with µ ad ν i the sese that λ(a ) = µ(a) ad λ( B) = ν(b). Fact.2 Let R ad λ be as above. The, a) λ is mootoe o R. b) If {A i B i } i=1 is a coutable disjoit collectio i R whose uio is also i R, say A B = i A i B i, the µ(a)ν(b) = i=1 µ(a i)ν(b i ). Proof. (a) Obvious. (b) Fix x A. The, for each y B, the poit (x, y) belogs exactly oe A i B i by disjoitess; the same also holds if x ad y are iterchaged. Thus, for ay x ad y, χ A (x)χ B (y) = χ A B (x, y) = i 1 χ Ai B i (x, y) = i χ Ai (x)χ Bi (y).
2 2 Now, itegratig w.r.t. x (i.e., µ) ad usig MCT, we obtai µ(a)χ B (y) = i µ(a i)χ Bi (y), ad itegratig this w.r.t. y (i.e., ν), it follows that µ(a)ν(b) = i=1 µ(a i)ν(b i ). It follows from Fact.2 that the set fuctio λ is also a coutably additive set fuctio o S. Therefore, λ geerates a outer measure (µ ν) o subsets of. Let G be the σ-algebra of (µ ν) -measurable subsets of of ad let µ ν = (µ ν) G. The, µ ν is a measure o G. Notice that, sice A B is the smallest σ-algebra cotaiig S, we see that A B G; ad hece, µ ν is also a measure o A B. Defiitio. The measure µ ν is called the product measure of µ ad ν, ad A B is called the product σ-algebra of A ad B. The triple (, A B, µ ν) is called the product measure space of (, A, µ) ad (, B, ν). Remarks. 1. The triple (, G, µ ν) is also a measure space; ideed, it is a complete measure space (see Sectio II. 5) (?). The differece betwee G ad A B is the sets of µ ν-measure zero. 2. If (, A, µ) ad (, B, ν) are fiite (σ-fiite) measure spaces, the so is (, A B, µ ν). 3. If (, A, µ) ad (, B, ν) are σ-fiite, the (µ ν) is the uique measure o A B such that (µ ν)(a B) = µ(a)ν(b) for all A B R. If (, A, µ) ad (, B, ν) are ot σ-fiite, the this assertio may ot hold. 4. A typical elemet of A B eed ot be a measurable rectagle; ad uio of elemets of G eed ot be a measurable rectagle, either. Termiology. If = = R, A = B = F ad µ = ν = m, the µ ν = m m is called the two-dimesioal Lebesgue measure. Exercise. Take two of your favorite measure spaces (they ca be the same) ad costruct measures o a σ-algebra of subsets of their product (ot ecessarily compatible with the compoet measures). V.2. Double ad Iterated Itegrals Now, havig product measure spaces defied, we will proceed to defie itegratio o product measure spaces. For, we will cotiue followig the process of defiig Lebesgue measurable sets ad costructio of Lebesgue itegral i Chapter.III. I what follows (, A, µ) ad (, B, ν) are (fiite or σ-fiite) measure spaces, the so is G, A B, ad µ ν are as defied above. Defiitio. A fuctio f : R # is called µ ν-measurable (or A B-measurable) iff f 1 (O) A B for every ope set O R. Similarly, f : R # is called G-measurable iff f 1 (O) G for every ope set O R. Now, as i Chapter.III, begiig with simple fuctios, we ca defie µ ν-itegral of ay A B-measurable (or G-measurable) fuctio. Defie f : R + as µ ν-itegrable if fd(µ ν) <, ad f : R as µ ν-itegrable if both f + ad f are µ ν-itegrable. Now, we will explore the ramificatios of the property (µ ν)(a B) = µ(a)ν(b), for all A B R, of the measure µ ν i the itegral of ay fuctio f : R #. Let E, x ad y. The we defie
3 3 E x = {y : (x, y) E} the x-sectio of E, ad E y = {x : (x, y) E} the y-sectio of E. Similarly, if f : R # ad x, y, the we defie f x (y) := f(x, y) (x is fixed) the x-sectio of f, ad f y (x) := f(x, y) (y is fixed) the y-sectio of f. Observe that, if f : E R, E, the f x (y) is a fuctio o E x ad f y (x) is a fuctio o E y. Remark. For ay measurable rectagle E = A B, x ad y, { B if x A E x = (A B) x = otherwise, { A if y B E y = (A B) y = otherwise. Exercise. For {E } A B, show that ( E ) x = (E ) x ad ( E ) x = (E ) x. The same also hold for the y-sectios of E s. Furthermore, for E A B, (E c ) x = (E x ) c, the same also holds for y-sectio of E. Fact.3 For E A B, we have (i) E x B x, ad (ii) E y A y. Proof. It is eough to prove (i). Let D = {E A B : E x B x }. By the Remark above, D cotais all measurable rectagles. If {E } D, the ( E ) x = (E ) x B x. Thus, E D. Also, if E D, the (E c ) x = (E x ) c B x ; hece, E c D. Sice both ad are i D, we obtai that D is a σ-algebra. It follows that A B D, which implies (i). Remark. The same method of proof of Fact.3 shows that for ay E G, E x B, x, ad E y A, y. Corollary. If f : R is A B -measurable, the f x is B-measurable for all x ad f y is A-measurable for all y. Proof. By Fact.3, we have (f x ) 1 (O) = (f 1 (O)) x ad (f y ) 1 (O) = (f 1 (O)) y for ay O R ope. Recall that R is the collectio of all measurable rectagles i, S is the algebra geerated by R ad A B is the σ-algebra geerated by S (hece, by R). Notatio. By R σ we will deote the collectio of coutable uios of sets i R : ad by R σδ we will deote the collectio of coutable itersectios of sets i R σ. Fact.4 Let E A B (G). The there exists F R σδ such that E F ad (µ ν)(e) = (µ ν)(f ). Proof. Exercise. [Hit: See the proof of Theorem.2 i Chapter.II.] Fact.5 Let E A B (G) such that (µ ν)(e) <. The (i) the fuctio g(x) = ν(e x ) is µ-measurable ad gdµ = ν(e x )dµ = (µ ν)(e), ad (ii) the fuctio h(y) = ν(e y ) is ν-measurable ad hdν = µ(e y )dν = (µ ν)(e).
4 4 Proof. We ll prove (i) oly, (ii) is left to the reader. By Fact.3 (i), E x B; hece, it is ν- measurable ad g(x) = ν(e x ) is well-defied. If E = A B, A A, B B, the the assertio is trivial. Now, assume E R σ such that E = E, E R, is a disjoit uio. So E + (A B ). Fix x, the E x = (A B ) x = B, ad by coutable additivity of ]u, we have ν(e x ) = ν(b ) ν((a B ) x ). Let g (x) = ν((a B ) x ) ad g(x) = g (x). So, g(x) = ν(e x ). Sice each g is µ- measurable, g is µ-measurable. Also, g (x) 0 for all 1; hece, if h k (x) = k i=1 g i(x), the h g. Therefore, by MCT, gdµ = lim k k 1 g k dµ = lim k which proves the assertio for sets i R σ. k (µ ν)(a k B k ) = (µ ν)(e), 1 If E R σδ, the there is {E } R σ such that E ad E = E. By hypothesis, (µ ν)(e 1 ) <. Let g (x) = ν((e ) x ), the g 1 dµ = (µ ν)(e 1 ) <, which implies that g 1 < µ-a.e. x. Hece, for each x with g 1 (x) <, the family {E ) x } is decreasig, each has fiite ν-measure, ad E x = (E ) x. Thus, by cotiuity of the measure ν, g(x) = ν(e x ) = lim ν((e ) x ) = lim g (x), ad hece, g g µ-a.e. Sice each g is µ-measurable, so is g. From 0 g g 1 for all 1, applyig DCT, ad from the fact that g dµ = (µ ν)(e ), we see that gdµ = lim g dµ = lim[(µ ν)(e )] = (µ ν)(e), provig the assertio for sets i R σδ. The assertio for arbitrary sets i A B (G) follows from Fact.4. Remark. By Fact.5, if E A B, the the fuctios x ν(e x ) ad y µ(e y ) are measurable ad ν(e x )dµ = (µ ν)(e) = µ(e y )dν. Corollary. Let (, A, µ) ad (, B, ν) be σ-fiite measure spaces. If if E A B, the the fuctios x ν(e x ) ad y µ(e y ) are µ-measurable ad ν-measurable, respectively, ad ν(e x )dµ = (µ ν)(e) = µ(e y )dν. Proof. Case (, A, µ) ad (, B, ν) are fiite measure spaces follow from Fact.5. For the geeral case, let = i ( i i ), where { i i } i is a icreasig sequece of rectagles of fiite measure. The apply Fact.5 to E ( i i ). For a µ ν-measurable fuctio f : R, the itegral of f w.r.t. µ ν is defied as usual, i.e., f(x, y)d(µ ν). We call this itegral as the double itegral of f. Sice the the fuctios f x (y) ad f y (x) are ν-measurable ad µ-measurable fuctios, respectively, we ca also cosider the itegrals g(x) = f x(y)dν ad h(y) = f y (x)dµ, if they are defied. I
5 tur, if g ad h are µ- ad ν-measurable, respectively, the we ca thik about defiig their itegrals w.r.t. µ ad ν, respectively, as g(x) = [ f x (y)dν]dµ := f(x, y)dνdµ h(y) = [ f y (x)dµ]dν := f(x, y)dµdν. These are called the iterated itegrals of f. Now, observe that, if φ = χ E is the characteristic fuctio of a set E A B with fiite measure, the by Fact.5, (i) for µ-a.e. x, the fuctio φ x (y) = φ(x,.) is ν-itegrable o ad the fuctio φ y (x) = φ(., y) is µ-itegrable o, respectively, ad (ii) φd(µ ν) = ( φ x (y)dν)dµ = ( φ y (x)dµ)dν. Cosequetly, the same also follows for simple fuctios φ : R vaishig outside sets of fiite µ ν-measure. Theorem.1 (Fubii s Theorem) Let Let (, A, µ) ad (, B, ν) be σ-fiite measure spaces ad let f : R be a µ ν-itegrable fuctio. The a) for µ-a.e. x, f x (y) := f(x,.) is ν-itegrable, b) for ν-a.e. y, f y (x) := f(., y) is µ-itegrable, ad c) fd(µ ν) = ( f x(y)dν)dµ = ( f y (x)dµ)dν. Proof. WLOG we ca assume that f 0. The there exists a mootoe icreasig sequece {φ } of simple fuctios such that φ f µ ν-a.e., where each φ vaish outside a set of fiite µ ν-measure. The, by the observatio above, for each 1, φ d(µ ν) = [ (φ ) x (y)dν]dµ = [ (φ ) y (x)dµ]dν. 5 Now, by MCT, ( ) ad ( ) fd(µ ν) = lim fd(µ ν) = lim φ d(µ ν) = lim φ d(µ ν) = lim [ (φ ) x (y)dν]dµ [ (φ ) y (x)dµ]dν. Fix x. The {(φ ) x } is a mootoe icreasig sequece of simple ν-measurable fuctios such that (φ ) x f x ν-a.e. Hece, f x is ν-measurable, ad by MCT, we have f xdν = lim (φ ) x dν. Next, let h(x) = f xdν ad h (x) = (φ ) x dν. The, by the observatio above, each h is µ-itegrable. Sice h h µ-a.e., by MCT, we obtai that hdµ = lim h dµ = lim [ φ dν]dµ. Sice hdµ = [ f xdν]dµ, this combied with (*) gives that fd(µ ν) = [ f x dν]dµ. Similarly, ext by fixig y ad repeatig the above for {(φ ) y x}, we also obtai that fd(µ ν) = [ f y dµ]dν, provig the theorem.
6 6 Remark. Fubii s Theorem requires f to be µ ν-itegrable, which is ot easy to show. Also, recall that, the usual itegratio process goes through defiig itegrals of measurable fuctios, ad the defie itegrable fuctios. Toelli s Theorem closes this gap. Theorem.2 (Toelli s Theorem) Let (, A, µ) ad (, B, ν) be σ-fiite measure spaces ad let f : R be a o-egative A B-measurable fuctio. The a) for µ-a.e. x, f x (y) := f(x,.) is ν-measurable ad the fuctio f xdν is µ- measurable, b) for ν-a.e. y, f y (x) := f(., y) is µ-measurable ad the fuctio f y dµ is ν- measurable, ad c) fd(µ ν) = ( f x(y)dν)dµ = ( f y (x)dµ)dν. Proof. Sice ad are σ-fiite, so is. Now, pick a sequece {f } of simple fuctios that vaish outside a set of fiite µ ν-measure such that f f poitwise. Hece, each f is µ ν-itegrable. If g (x) = (f ) x dν, the g f x ν-a.e. Thus, [ (f ) x dν]dµ = fd(µ ν). Now, the rest of the proof is the same as that of Fubii. Exercise. Let = = N, A = B = P(N), µ = ν = c, where c is the coutig measure. Restate Fubii s ad Toelli s Theorems i this settig. Remarks. 1. The itegrals i Toelli s Theorem ca be ; however, if ay oe of the itegrals i (c) is fiite, so are the other two. 2. Typical applicatio goes as follows: first, oe applies Toelli s Theorem ad show that fd(µ ν) <, ad the uses Fubii to calculate the iterated itegrals. 3. σ-fiiteess i both Fubii ad Toelli s Theorems is essetial as the followig example shows. Example. Cosider ([0, 1], F, m) ad ([0, 1], P([0, 1]), c), where c is the coutig measure. Observe that ([0, 1], P([0, 1]), c) is ot a σ-fiite measure space. Let E = {(x, y) : x = y}. The [ χ E (x, y)dc]dm = 1 0 = [ χ E (x, y)dm]dc. (Also χ E(x, y)d(m c) = 0.) 4. As the example below shows, o-egativity i Toelli s Theorem is also essetial. Example. Let = = N, A = B = P(N), µ = ν = c, where c is the coutig measure. Notice that, o (N, P(N, c), if f : N R, the f is measurable, ad f is itegrable if ad oly if f() < (ad fdc = N f()). Now, cosider a fuctio g : N N R defied by g(, ) = 1 1 g( + 1, ) = 1 1 g(m, ) = 0 for m, m + 1. Hece, g is bouded ad c c-measurable. So [ g(m, )dµ]dν = (1 1) + (1 1) + = 0, N N [ g(m, )dν]dµ = 1 + ( 1 + 1) + ( 1 + 1) + = 1. N N
7 This does ot cotradict with Toelli s Theorem, or Fubii s Theorem, sice g is ot oegative. Also observe that g d(µ ν) = g + d(µ ν) + g d(µ ν), N N N N but both the itegrals o the RHS are ifiite. Exercises. 1. Let (, A, µ) ad (, B, ν) be σ-fiite measure spaces ad let f : R, g : R be A- ad B-measurable fuctios, respectively. The the fuctioh(x, y) = f(x)g(y) is a itegrable fuctio o ad hd(µ ν) = ( fdµ)( gdν). 2. Let = = R, A = B = F, ad µ = ν = m. Let f : R 2 R be defied by { x 2 y 2 if (x, y) (0, 0) f(x) = (x 2 +y 2 ) 2 0 if (x, y) = (0, 0). Show that f is m m-measurable ad ( f dm(x))dm(y) N N ( f dm(y))dm(x). Remark. I geeral the product space (, A B, µ ν) is ot complete, eve if both (, A, µ) ad (, B, ν) are complete. For istace, let = = R, A = B = F, µ = ν = m. If B P(R) \ F ad A F, the A B / A B by Fact.3. Sice A B A R, we have (µ ν)(a B) = (m m)(a B) is ot defied, whereas, µ ν)(a ) = (m m)(a R) = 0. However, we have the followig: Propositio. Let (, A, µ) be a (σ-fiite) measure space, (, B, ν) be a complete a (σ-fiite) measure space, ad E G be such that (µ ν)(e) = 0. The for µ-a.e. x, the set E x is ν-measurable ad ν(e x ) = 0. [Hece (µ ν)(e) = ν(e x)dµ.] Proof. Sice (µ ν)(e) <, there exists A R σδ such that E A ad (µ ν)(a) = (µ ν)(e) = 0. By Fact.4, for all x, A x is ν-measurable ad 0 = (µ ν)(a) = ν(a x)dµ. Thus ν(a x ) = 0 for µ-a.e. x. Sice E x A x for all x, ad sice (, B, ν) is complete, for µ-a.e. x, the set E x is ν-measurable ad ν(e x ) = 0. Questio. Let = = R, A = B = F, µ = ν = m, ad E = {a} [0, 1], for some a R. The (µ ν)(e) = 0, but ν(e a ) 0. Does this cotradict Propositio above? Although the product space (, A B, µ ν) is ot complete i geeral, the product space (, G, µ ν) is complete, by costructio. Actually the σ-algebra G is the completio of A B. Despite this fact, the relatioship betwee a G-measurable fuctio ad its x-sectio f x ad y-sectio f y is much more complicated; hece we will ot deal with it here. Istead, we will simply state ad prove the versio of Fubii-Toelli Theorem i this settig. Theorem.3 (Fubii-Toelli Theorem for complete spaces) Let (, A, µ) ad (, B, ν) be complete σ-fiite measure spaces ad let f : R be a o-egative G-measurable fuctio. The a) for µ-a.e. x, f x (y) := f(x,.) is ν-measurable ad the fuctio f xdν is µ- measurable, 7
8 8 b) for ν-a.e. y, f y (x) := f(., y) is µ-measurable ad the fuctio f y dµ is ν- measurable, ad c) fd(µ ν) = ( f x(y)dν)dµ = ( f y (x)dµ)dν. If f : R is µ µ-itegrable (ot ecessarily o-egative), the i the statemets (a) ad (b) above measurable is replaced by itegrable ad (c) holds with fiite value. Proof. Exercise. [Hit: Follow the steps of the proof of Theorem 2 ad Theorem.2 while usig Propositio.] Remarks. 1. The costructio of product measure ca be repeated to obtai product measure space of (ideed, ifiitely may) measure spaces. The versios of Fubii ad Toelli s Theorems are also valid i their respective settigs. 2. The special case, whe = = R, A = B = F, µ = ν = m (or whe i = R, A i = F, µ i = m) is called two () dimesioal Lebesgue measure space. All the properties above, of course, are valid i this case; furthermore, like the Lebesgue measure, the -dimesioal Lebesgue measure, 2, is ivariat uder cogruet maps (i.e., uder traslatios, reflectios, ad rotatios) o R. Exercise. Cosider the fuctio f(x, y) = e xy 2e 2xy. Prove that: a) f(x, y)dm(x)dm(y) <. [1, ) b) f(x, y)dm(y)dm(x) <. [1, ) Observe that f(x, y)dm(x)dm(y) f(x, y)dm(y)dm(x). Does this cotradict to the Fubii-Toelli Theorem? [1, ] [1, ] Explai.
Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More 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 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 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 informationHere are some examples of algebras: F α = A(G). Also, if A, B A(G) then A, B F α. F α = A(G). In other words, A(G)
MATH 529 Probability Axioms Here we shall use the geeral axioms of a probability measure to derive several importat results ivolvig probabilities of uios ad itersectios. Some more advaced results will
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 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 informationIntroductory Ergodic Theory and the Birkhoff Ergodic Theorem
Itroductory Ergodic Theory ad the Birkhoff Ergodic Theorem James Pikerto Jauary 14, 2014 I this expositio we ll cover a itroductio to ergodic theory. Specifically, the Birkhoff Mea Theorem. Ergodic theory
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
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 informations = and t = with C ij = A i B j F. (i) Note that cs = M and so ca i µ(a i ) I E (cs) = = c a i µ(a i ) = ci E (s). (ii) Note that s + t = M and so
3 From the otes we see that the parts of Theorem 4. that cocer us are: Let s ad t be two simple o-egative F-measurable fuctios o X, F, µ ad E, F F. The i I E cs ci E s for all c R, ii I E s + t I E s +
More informationReal and Complex Analysis, 3rd Edition, W.Rudin
Real ad Complex Aalysis, 3rd ditio, W.Rudi Chapter 6 Complex Measures Yug-Hsiag Huag 206/08/22. Let ν be a complex measure o (X, M ). If M, defie { } µ () = sup ν( j ) : N,, 2, disjoit, = j { } ν () =
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 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 informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More information1 Introduction. 1.1 Notation and Terminology
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
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 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 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 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 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 information1 Convergence in Probability and the Weak Law of Large Numbers
36-752 Advaced Probability Overview Sprig 2018 8. Covergece Cocepts: i Probability, i L p ad Almost Surely Istructor: Alessadro Rialdo Associated readig: Sec 2.4, 2.5, ad 4.11 of Ash ad Doléas-Dade; Sec
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 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 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 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 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 informationAdvanced Stochastic Processes.
Advaced Stochastic Processes. David Gamarik LECTURE 2 Radom variables ad measurable fuctios. Strog Law of Large Numbers (SLLN). Scary stuff cotiued... Outlie of Lecture Radom variables ad measurable fuctios.
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 informationDANIELL AND RIEMANN INTEGRABILITY
DANIELL AND RIEMANN INTEGRABILITY ILEANA BUCUR We itroduce the otio of Riema itegrable fuctio with respect to a Daiell itegral ad prove the approximatio theorem of such fuctios by a mootoe sequece of Jorda
More informationf(1), and so, if f is continuous, f(x) = f(1)x.
2.2.35: Let f be a additive fuctio. i Clearly fx = fx ad therefore f x = fx for all Z+ ad x R. Hece, for ay, Z +, f = f, ad so, if f is cotiuous, fx = fx. ii Suppose that f is bouded o soe o-epty ope set.
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 informationNotes on Snell Envelops and Examples
Notes o Sell Evelops ad Examples Example (Secretary Problem): Coside a pool of N cadidates whose qualificatios are represeted by ukow umbers {a > a 2 > > a N } from best to last. They are iterviewed sequetially
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 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 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 informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationRelations Among Algebras
Itroductio to leee Algebra Lecture 6 CS786 Sprig 2004 February 9, 2004 Relatios Amog Algebras The otio of free algebra described i the previous lecture is a example of a more geeral pheomeo called adjuctio.
More informationMeasure Theory and the Central Limit Theorem
Measure Theory ad the Cetral Limit Theorem Peter Brow August 24, 2011 Abstract It has log bee kow that the stadard iema itegral, ecoutered first as oe of the most importat cocepts of calculus, has may
More informationThe Pointwise Ergodic Theorem and its Applications
The Poitwise Ergodic Theorem ad its Applicatios Itroductio Peter Oberly 11/9/2018 Algebra has homomorphisms ad topology has cotiuous maps; i these otes we explore the structure preservig maps for measure
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 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 informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationOn Topologically Finite Spaces
saqartvelos mecierebata erovuli aademiis moambe, t 9, #, 05 BULLETIN OF THE GEORGIAN NATIONAL ACADEMY OF SCIENCES, vol 9, o, 05 Mathematics O Topologically Fiite Spaces Giorgi Vardosaidze St Adrew the
More informationLecture 16: Monotone Formula Lower Bounds via Graph Entropy. 2 Monotone Formula Lower Bounds via Graph Entropy
15-859: Iformatio Theory ad Applicatios i TCS CMU: Sprig 2013 Lecture 16: Mootoe Formula Lower Bouds via Graph Etropy March 26, 2013 Lecturer: Mahdi Cheraghchi Scribe: Shashak Sigh 1 Recap Graph Etropy:
More informationChapter 2 The Monte Carlo Method
Chapter 2 The Mote Carlo Method The Mote Carlo Method stads for a broad class of computatioal algorithms that rely o radom sampligs. It is ofte used i physical ad mathematical problems ad is most useful
More informationLecture 4: Grassmannians, Finite and Affine Morphisms
18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,
More information(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 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 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 informationPart II Probability and Measure
Part II Probability ad Measure Based o lectures by J. Miller Notes take by Dexter Chua Michaelmas 2016 These otes are ot edorsed by the lecturers, ad I have modified them (ofte sigificatly) after lectures.
More informationLecture 2 Measures. Measure spaces. µ(a n ), for n N, and pairwise disjoint A 1,..., A n, we say that the. (S, S) is called
Lecture 2: Measures 1 of 17 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 2 Measures Measure spaces Defiitio 2.1 (Measure). Let (S, S) be a measurable space. A mappig
More informationSequences I. Chapter Introduction
Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationINTEGRATION THEORY AND FUNCTIONAL ANALYSIS MM-501
INTEGRATION THEORY AND FUNCTIONAL ANALYSIS M.A./M.Sc. Mathematics (Fial) MM-50 Directorate of Distace Educatio Maharshi Dayaad Uiversity ROHTAK 4 00 Copyright 004, Maharshi Dayaad Uiversity, ROHTAK All
More informationThe Wasserstein distances
The Wasserstei distaces March 20, 2011 This documet presets the proof of the mai results we proved o Wasserstei distaces themselves (ad ot o curves i the Wasserstei space). I particular, triagle iequality
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 informationIntroduction to Functional Analysis
MIT OpeCourseWare http://ocw.mit.edu 18.10 Itroductio to Fuctioal Aalysis Sprig 009 For iformatio about citig these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. LECTURE OTES FOR 18.10,
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 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 informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
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 informationIntegration Theory: Lecture notes 2013
Itegratio Theory: Lecture otes 203 Joha Joasso September 203 Preface These lecture otes are writte whe the course i itegratio theory is for the first time i more tha twety years, give joitly by the the
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 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 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 informationACM 105: Applied Real and Functional Analysis. Solutions to Homework # 1.
ACM 15: Applied Real ad Fuctioal Aalysis. Solutios to Homewor # 1. Ady Greeberg, Alexei Noviov Problem 1. Beroulli sequeces. a. I = {x l : x = a}. But by costructio of Beroulli sequeces, a ca oly be ±1.
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
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 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 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 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 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 informationNotes on Probability. University of Chicago, Vivak Patel January 27, 2015
Notes o Probability Uiversity of Chicago, 2014 Vivak Patel Jauary 27, 2015 1 Cotets I Fudametal Results 4 1 Basic Measure Theory 4 1.1 Special Structures o Sets...................... 4 1.2 Measures...............................
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 informationOn the behavior at infinity of an integrable function
O the behavior at ifiity of a itegrable fuctio Emmauel Lesige To cite this versio: Emmauel Lesige. O the behavior at ifiity of a itegrable fuctio. The America Mathematical Mothly, 200, 7 (2), pp.75-8.
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 informationChapter 8. Euler s Gamma function
Chapter 8 Euler s Gamma fuctio The Gamma fuctio plays a importat role i the fuctioal equatio for ζ(s that we will derive i the ext chapter. I the preset chapter we have collected some properties of the
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationSolutions to home assignments (sketches)
Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/
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 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 information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
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 informationLecture 8: Convergence of transformations and law of large numbers
Lecture 8: Covergece of trasformatios ad law of large umbers Trasformatio ad covergece Trasformatio is a importat tool i statistics. If X coverges to X i some sese, we ofte eed to check whether g(x ) coverges
More informationIntroduction to Probability. Ariel Yadin. Lecture 7
Itroductio to Probability Ariel Yadi Lecture 7 1. Idepedece Revisited 1.1. Some remiders. Let (Ω, F, P) be a probability space. Give a collectio of subsets K F, recall that the σ-algebra geerated by K,
More information1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx
Problem A. Calculate ta(.) to 4 decimal places. Solutio: The power series for si(x)/ cos(x) is x + x 3 /3 + (2/5)x 5 +. Puttig x =. gives ta(.) =.3. Problem 2A. Let f : R R be a cotiuous fuctio. Show that
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 informationB Supplemental Notes 2 Hypergeometric, Binomial, Poisson and Multinomial Random Variables and Borel Sets
B671-672 Supplemetal otes 2 Hypergeometric, Biomial, Poisso ad Multiomial Radom Variables ad Borel Sets 1 Biomial Approximatio to the Hypergeometric Recall that the Hypergeometric istributio is fx = x
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 informationCHAPTER 5 SOME MINIMAX AND SADDLE POINT THEOREMS
CHAPTR 5 SOM MINIMA AND SADDL POINT THORMS 5. INTRODUCTION Fied poit theorems provide importat tools i game theory which are used to prove the equilibrium ad eistece theorems. For istace, the fied poit
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 3 9/11/2013. Large deviations Theory. Cramér s Theorem
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/5.070J Fall 203 Lecture 3 9//203 Large deviatios Theory. Cramér s Theorem Cotet.. Cramér s Theorem. 2. Rate fuctio ad properties. 3. Chage of measure techique.
More informationOFF-DIAGONAL MULTILINEAR INTERPOLATION BETWEEN ADJOINT OPERATORS
OFF-DIAGONAL MULTILINEAR INTERPOLATION BETWEEN ADJOINT OPERATORS LOUKAS GRAFAKOS AND RICHARD G. LYNCH 2 Abstract. We exted a theorem by Grafakos ad Tao [5] o multiliear iterpolatio betwee adjoit operators
More informationProbability and Statistics
ICME Refresher Course: robability ad Statistics Staford Uiversity robability ad Statistics Luyag Che September 20, 2016 1 Basic robability Theory 11 robability Spaces A probability space is a triple (Ω,
More informationDistribution of Random Samples & Limit theorems
STAT/MATH 395 A - PROBABILITY II UW Witer Quarter 2017 Néhémy Lim Distributio of Radom Samples & Limit theorems 1 Distributio of i.i.d. Samples Motivatig example. Assume that the goal of a study is to
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 informationFunctional Analysis I
Fuctioal Aalysis I Term 1, 2009 2010 Vassili Gelfreich Cotets 1 Vector spaces 1 1.1 Defiitio................................. 1 1.2 Examples of vector spaces....................... 2 1.3 Hamel bases...............................
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 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 information