Problem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS
|
|
- Cordelia McCarthy
- 6 years ago
- Views:
Transcription
1 Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS
2 i
3 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series (1.1) n=1 o reals numbers as ollows: For each postive integer n, deine n S n = a k, a n k=1 the n-th partial sum o the series. I the sequence { S n } converges to a real number S, the series converges and the sum is S. This deinition depends on the particular order o the terms a n i we reorder the terms, we get a dierent sequence o partial sums, and so possibly a dierent result. In this problem set, we want to consider how to add up ininitly many terms (including, perhaps, more than countably many terms) in a way that does not depend on the ordering. In our series (1.1) the sequence { a n } o terms amounts to a unction rom the index set N = { 1, 2, 3,... } to the real numbers R. In general we will consider an arbitary index set, and a unction : R. I F is a inite set, then the inite sum (x), x F makes sense, since the order o the terms does not matter in a inite sum. For brevity, we write = = (x). F F x F The emptyset is a inite set with = 0, or any unction. Note that i F 1, F 2 are inite and F 1 F 2 =, then = +, F 1 F 2 F F 2 since there are no duplicate terms in the sum on the let. Since we ll be using inite subsets o a lot, we introduce the notation Fin() = { F F is inite }. In the deinition o the sum o a series like (1.1), the idea is the we can add up initely many terms, and i we add in more and more terms we get closer and closer to the sum but we have a particular order in which to put in additional terms. In the ollowing deinition, we use the idea that adding in more terms should get closer to the sum, but we don t impose any order on which terms to take next. 1
4 Deinition 1.1. Let be a nonempty set and let : R. We say that is summable over i there is a real number S with the ollowing property: For every ε > 0, there is a inite set F 0 such that S < ε, whenever F F0 and F is inite. F Lemma 1.2. There is at most one number S that satisies the property in Deinition 1.1. Proo. Suppose that S 1 and S 2 have the property in the deintion. Let ε > 0 be arbitary. Then there is an F 1 Fin() such that F Fin(), F F 1 = S 1 < ε. F Similarily, there is an F 2 Fin() such that F Fin(), F F 2 = S 3 < ε. F I we set F = F 1 F 2 Fin(), then F F 1, F 2 and we have S 1 S 2 = S 1 + S 2 F F S 1 + F F S 2 < ε + ε = 2ε. Thus, we have S 1 S 2 < 2ε. Since ε was arbitary, we must have S 1 S 2 = 0, i.e., S 1 = S 2 I is summable, we will denote the unique number S in the deintion by or or (x), x and we introduce the notation S() = { : R is summable }. Problem 1. Suppose that : R. A. I itsel is inite, we ve given two deinitions o the symbol. Show these two deinitions are the same. B. I (x) = 0 or all x, then = 0. 2
5 Problem 2. The space S() o summable unctions is a vector space (under the pointwise operations) and the mapping S() R: is linear. In other words, A. I, g S(), then + g is summable and (1.2) ( + g) = + g. We want to show that the number + g satisies the condition in Deinition 1.1. Let ε > 0 be arbitrary. Since is summable, there is a inite set F 1 such that F Fin(), F F 1 = < ε. F Similarly, there is a inite set F 2 such that F Fin(), F F 2 = g g < ε. F Let F 3 = F 1 F 2, so F 3 is inite and F 3 F 1, F 2. Thus, i F F 3, we have [ ( + g) + ] g = + g g F F F F + g g F < ε + ε = 2ε. Since ε was arbitrary, this completes the proo. B. I S() and c R, c is summable and (1.3) c = c. We need to show the number on the right o (1.3) satisies the condition in Deinition 1.1. Let ε > 0 be arbitrary. Since is summable, there is a inite set F 0 such that F Fin(), F F 0 = < ε. F 3
6 Then, i F F 0, we have F c c = c F c ε. Since ε was arbitrary, c ε can be as small as we like, so this completes the proo. Problem 3. Let : R. A. The unction is summable over i and only i the ollowing Cauchy Condition is satisied: For every ε > 0, the is a inite set F 0 so that F, F Fin(), F, F F 0 = < ε. F F First suppose that is summable. We show that the Cauchy condition holds. Let ε > 0 be given. Then there is a inite set F 0 such that F Fin(), F F 0 = < ε. F Suppose that F, F are inite sets that contain F 0. Then, F = + F F F + F F < ε + ε = 2ε. Since ε was arbitrary, the Cauchy Condition holds. For the second part o the proo, suppose the Cauchy condition holds. We must show that is summable. Applying the Cauchy condition with ε = 1/n or n N gives us a sequence o inite sets F n so that (A) F, F Fin(), F, F F n = F 1 < F n. I we set E n = F 1 F 2 F n, then E 1 E 2 E 3 and E n F n. We claim that the sequence { E n } is a Cauchy sequence o real numbers. To see this, let ε > 0 be given. Choose N N so that 1/N < ε. I m, n N then E m, E n E N, so by (A), we have E n E m < 1/N < ε. Thus, { E n } is Cauchy. 4
7 Since a Cauchy sequence o real numbers converges, there is a number S so that E n S as n. We claim that S =. To see this, let ε > 0 be arbitrary, and choose N 1 N so that 1/N 1 < ε. Then, as above, (B) F, F Fin(), F, F E N1 = < ε. F F On the other hand, we can ind N 2 so that (C) n N 2 = S < ε. E n Let N = max(n 1, N 2 ). Suppose that F E N. Then we have F E N < ε, by (B) and we have E N S < ε, by (C). Thus, S = F F + S E N E N + S F E N E N < ε + ε = 2ε. Since ε was arbitrary, we conclude that is summable. B. The Cauchy Condition is equivalent to the ollowing Alternate Cauchy Condition: For all ε > 0 there is a inite set G such that F Fin(), F G = = < ε. F First suppose the Cauchy condition holds. Let ε > 0 be arbitrary. Then there is a inite set F 0 so that F, F Fin(), F, F F 0 = < ε. F F Suppose that H Fin() and that H F 0 =. Then both F 0 and H F 0 contain F 0, so we have = H H + F 0 F 0 = < ε. H F 0 F 0 Thus, the Alternate Cauchy Condition holds. For the second part o the proo, assume that Alternate Cauchy Condition holds, and we want to show the Cauchy Condition holds. To do this, let ε > 0 be given and let G be as in the Alternate Cauchy Condition. Suppose 5
8 that F is inite and F G. Then we can write F = G H, where H G =, so H < ε. Now suppose that F 1, F 2 G and write F i = G H i (i = 1, 2) as above. Then we have F 1 F 2 = G H 1 G H 2 = + G H 1 G H 2 = H 1 H 2 + H 1 H 2 < ε + ε = 2ε. Since ε was arbitrary, we conclude the Cauchy Condition holds. I A, we can consider the unction A : A R: a (a), the restriction o to A. I A is summable over A, we say is summable over A and write the sum as just A (instead o A A). Problem 4. Let : R and let A be a nonempty subset o. I is summable over, then is summable over A. We will use the Cauchy Condition to show that is summable over A. To show the Cauchy Condition holds on A, let ε > 0 be arbitrary. Let B = \ A, so is the disjoint union o A and B. Since is summable over, is satisies the Cauchy Condition on, so there is a set G Fin() so that (A) F 1, F 2 Fin(), F 1, F 2 G = < ε. F 1 F 2 The set G is the disjoint union o G A and G B. Suppose that H 1, H 2 Fin(A) and that H 1, H 2 G A. Then H 1 (G B) G and H 2 (G B) G. Thus, we have H 1 (G B) H 2 (G B) < ε, by (A). But H 1 (G B) H 2 (G B) = + H 1 G B H 2 G B = H 1 H 2 6
9 and so we have < ε. H 1 H 2 We conclude that satisies the Cauchy Condition on A, and so is summable on A. Problem 5. Let : R and suppose that is the disjoint union o two sets A and B. Then is summable over i and only i is summable over both A and B and, in this case, (1.4) = +. A B First suppose that is summable over both A and B. We want to show that is summable over and that (1.4) holds. Let ε > 0 be arbitrary. Since is summable over A, there is a set F A Fin(A) so that F Fin(A), F F A = < ε. F A Similarly, there is a set F B Fin(B) so that F Fin(B), F F B = < ε. F B Set F = F A F B. I F Fin() and F F, we can write F and the disjoint union o F A and F B, with F A F A and F B F B. Then we have [ + ] = F A B A B (F A) (F B) = + A B F A F B + A B F A < ε + ε = 2ε. F B We conclude that is summable over and (1.4) hold. For the second part o the proo, we assume that is summable over. But then, by the previous problem, is summable over A and B and hence (1.4) holds by the irst part o the proo. 7
10 The result o the last problem is easily extended inductively to the case where is partitioned into a inite number o subsets A 1, A 2..., A n. In this case is summable over i and only i it is summable over each o the A i and, i this is so, = A 1 + A A n. A simple, but useul, corollary to the last problem is the ollowing. Corollary 1.3. Suppose that A and that : R is zero outside A. Then is summable over i and only i it is summable over A and, in this case, = A Problem 6. Let : R be summable. Then, or every ε > 0, there is a inite set F 0 such that A F 0 = < ε. A This diers rom the deinition o summablitity because A is allowed to be ininite. Let ε > 0 be given. Since is summable, there is a inite set F 0 such that (A) < ε F or all inite F F 0. Suppose that A is any subset o that contains F 0. Since is summable over, it is summable over A, so there is a inite set G 0 such that (B) < ε F A or all inite sets F with A F G 0. Let F = F 0 G 0. Then F A and F F 0, G 0. Thus, both (A) and (B) hold. Then we have A = + A F F A + F F This completes the proo. < ε + ε = 2ε. 8
11 Our next step is to extend one direction o Problem??? to arbitary partitions o. Recall that a partition P o is a collection o nonempty subsets o such that the elements o P are pairwise disjoint and P = P =. P P It ollows that every point o is in exactly one o the elements o P Problem 7. Let S() and let P be any partition o. Since is summable over every subset o, we can deine a unction g : P R: P g(p ) by g(p ) = P, Then, the unction g is summable over P and P g =. Let ε > 0 be given. By the last problem, there an F 0 Fin() so that (A) A F 0 = < ε. A Every point x is contained in exactly one element o P, call it P (x). Deine F 0 by F 0 = { P (x) x F 0 }. Then F 0 is a inite subcollection o P and certainly F 0 (the union o the elements o F) contains F 0. Suppose that F is a inite subcollection o P that contains F 0. Then F F 0 F 0. I we label the elements o F by F = { P 1, P 2,..., P k }, we have F g = P F g = g(p 1 ) + g(p 2 ) + + g(p k ) = P 1 + P P k = P 1 P k = F. But, (A) implies that < ε, F 9
12 because F F 0. Thus, we have g < ε. F or all inite subcollections F that contain F 0. This completes the proo. Note that the converse o this theorem is alse. That is, it is possible that is summable over every element o P, so that g is deined, and that g is summable over P, but is not summable over. For an example like this, let = N and deine : N R by (n) = ( 1) n. Let P be the partition P = { { 1, 2 }, { 3, 4 }, { 5, 6 },... }. Then is summable over each element o P and g is summable over P, but is not summable over N. To see this, note that i was summable over N, it would be summable over every subset o N. In particular, it would be summable over { 2, 4, 6, 8,... }, which is not the case (why?). 2 Unordered Sums o Postive Terms Suppose that : [0, ]. I F Fin(), the inite sum F makes sense (it is, i takes the value at some point o F ). For unctions with non-negative values, the inite sums have two monotonicity properties. First, F 1, F 2 Fin(), F 1 F 2 = F 1 F 2. Secondly, i g : [0, ] is another unction, we have g, F Fin() = F F g. For any unction : [0, ], we deine = = (x) x by which may be. { = sup } F Fin, F Problem 8. Suppose that, g : R. 10
13 A. I A and B are subsets o, (2.1) A B = A B By deinition, (A) (B) { = sup } F A, F inite A F { = sup } F B, F inite. B F The set on the right-hand side o (B) is larger than the set in (A), and so has a larger sup. This establishes (2.1). B. For any subset A o, (2.2) g = g. A A Suppose g. For any inite set F A, we have F g g. F A Thus, g is an upper bound or the set A { F F A, F inite }, and hence is bigger than or equal to the sup o this set, which is. A Thus, (2.2) holds. Problem 9. In this problem, we establish that A. I, g : [0, ] then is a close to linear as it can be. ( + g) = + g. 11
14 I F is a inite set, then F ( + g) = + + g. F F Taking the sup over F, we conclude that ( + g) + g. To complete the proo, it will suice to show the opposite inequality (A) + g ( + g) I ( + g) =, this inequality is true, so we are reduced to considering the case (( + g)) <. Since, g + g we have, g ( + g) <. Let ε > 0 be arbitrary. Then there is a inite set F 1 so that ε < F 1. Similarly, there is a inite set F 2 so that Let F = F 1 F 2. Then we have g ε < F 2 g. (2.3) ε < F 1 F (2.4) g ε < g g F 2 F Adding these inequalities (ignoring the middle term) gives + g 2ε < + g = ( + g) ( + g). F F F Thus, we have Since ε was arbitrary, this implies (A) + g 2ε < ( + g). 12
15 B. I c [0, ) and : [0, ], then c = c where we re using the deinition 0 = 0. I c = 0, both sides o the equation in the problem are zero. So consider the case c > 0. For inite F, we have F c = c F (which is the distributive law). Thus, we have { } { F c F Fin = c } { } F Fin() = c F F F Fin(),, rom which the equation in the problem ollows by an elementary property o sup s. Problem 10. A. Suppose that A and that : [0, ] is zero outside o A. Then =. A Since A, we have A, so it will suice to establish the opposite inequality. Suppose that F is inite. Since = 0 outside A, we have F = F A. Thus, Sup ing over F yields and the proo is complete. F =. F A A B. Suppose that : [0, ]. Let A be a subset o and deine χ A, the characteristic unction o A, by { 1, x A χ A (x) = 0, x / A. A 13
16 Then, we have A = χ A. Since χ A is zero outside A, so A χ A = A. χ A = A χ A. But, = χ A on A, C. Let : [0, ] and suppose that is the disjoint union o A and B. Then = +. A B This result is easily extended to a partition o into initely many subsets. Since is the disjoint union o A and B, χ A +χ B = 1. Thus, = χ A +χ B and so = χ A + χ B. Now apply the previous part to the problem. Problem 11. Let : [0, ] and let P be a partition o. Deine g : P [0, ] by g(p ) = P. Then P g =. I F = { P 1, P 2,... P k } is a inite subcollection o P, then g = g(p 1) + g(p 2 ) + + g(p k ) F = P 1 P 2 = P 1 P 2 P k = F. P k Thus, i F is a inite subcollection o P, g =. F F 14
17 Taking the sup over inite subcollection F P, we conclude that P g. To get the opposite inequality, let F be a inite subset o and set F = { P (x) x F } where P (x) is the unique element o P containing x. Then F is a inite subcollection o P and F F. Thus, F F = g g. F P Supping over F gives and the proo is complete. g, P Problem 12. Let : [0, ] and suppose that is countably ininite. Let { x n } n=1 be any enumeration o. Then (2.5) = (x n ), n=1 where the right-hand side is the limit o the partial sums, which may be ininity. Let F n = { x 1, x 2,..., x n }. Then, s n = n (x k ), k=1 the nth partial sum o the series on the right o (2.5) is the same as F n. Thus, s n = F n. Since the partial sums s n converge upward to the sum o the series s, we conclude that s. For the opposite inequality, suppose that F is inite. Find the maximum value o n such that x n F. Say this maximum value is N. Then F F N, so = s N s. F F N Supping over F gives s and the proo is complete. 15
18 I : [0, ], we deine the carrier o, denoted carr(), by From our previous results, we have carr() = { x (x) 0 }. = carr(). I carr() is inite, the right hand side o this equation would be a inite sum. I carr() is countably ininite, we can apply the last problem. Problem 13. Suppose that : [0, ] and that Then carr() is countable. <. Let E n = { x (x) 1/n } or n N. Then carr() = (To see this, note is (x) > 0 then (x) 1/n or some n.) We claim that each o the sets E n is inite. To prove this, suppose, or a contradiction, that E N is ininite. Then, or any k N, we can ind a subset F k o E N consisting o k elements. We then have n=1 E n k N F k Thus, k/n. Since k is arbitrary, this would imply =, contrary to our hypothesis. We conclude that each E n is inite. Then carr() is a countable union o countable sets, and hence countable. 16
(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationTheorem Let J and f be as in the previous theorem. Then for any w 0 Int(J), f(z) (z w 0 ) n+1
(w) Second, since lim z w z w z w δ. Thus, i r δ, then z w =r (w) z w = (w), there exist δ, M > 0 such that (w) z w M i dz ML({ z w = r}) = M2πr, which tends to 0 as r 0. This shows that g = 2πi(w), which
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationSupplementary material for Continuous-action planning for discounted infinite-horizon nonlinear optimal control with Lipschitz values
Supplementary material or Continuous-action planning or discounted ininite-horizon nonlinear optimal control with Lipschitz values List o main notations x, X, u, U state, state space, action, action space,
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More information1. Summation. Let X be a set Finite summation. Suppose Y is a set and + : Y Y Y. is such that
1. Summation. Let X be a set. 1.1. Finite summation. Suppose Y is a set and is such that + : Y Y Y (i) x + (y + z) (x + y) + z wheneve x, y, z Y ; (ii) x + y y + x wheneve x, y Y ; (iii) thee is 0 Y such
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationEXPANSIONS IN NON-INTEGER BASES: LOWER, MIDDLE AND TOP ORDERS
EXPANSIONS IN NON-INTEGER BASES: LOWER, MIDDLE AND TOP ORDERS NIKITA SIDOROV To the memory o Bill Parry ABSTRACT. Let q (1, 2); it is known that each x [0, 1/(q 1)] has an expansion o the orm x = n=1 a
More information( x) f = where P and Q are polynomials.
9.8 Graphing Rational Functions Lets begin with a deinition. Deinition: Rational Function A rational unction is a unction o the orm ( ) ( ) ( ) P where P and Q are polynomials. Q An eample o a simple rational
More informationRoberto s Notes on Differential Calculus Chapter 8: Graphical analysis Section 1. Extreme points
Roberto s Notes on Dierential Calculus Chapter 8: Graphical analysis Section 1 Extreme points What you need to know already: How to solve basic algebraic and trigonometric equations. All basic techniques
More informationMaximum Flow. Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai
Maximum Flow Reading: CLRS Chapter 26. CSE 6331 Algorithms Steve Lai Flow Network A low network G ( V, E) is a directed graph with a source node sv, a sink node tv, a capacity unction c. Each edge ( u,
More informationMath 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M
Math 421, Homework #7 Solutions (1) Let {x k } and {y k } be convergent sequences in R n, and assume that lim k x k = L and that lim k y k = M. Prove directly from definition 9.1 (i.e. don t use Theorem
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationDiscrete Mathematics. On the number of graphs with a given endomorphism monoid
Discrete Mathematics 30 00 376 384 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc On the number o graphs with a given endomorphism monoid
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationOn a Closed Formula for the Derivatives of e f(x) and Related Financial Applications
International Mathematical Forum, 4, 9, no. 9, 41-47 On a Closed Formula or the Derivatives o e x) and Related Financial Applications Konstantinos Draais 1 UCD CASL, University College Dublin, Ireland
More informationSTAT 801: Mathematical Statistics. Hypothesis Testing
STAT 801: Mathematical Statistics Hypothesis Testing Hypothesis testing: a statistical problem where you must choose, on the basis o data X, between two alternatives. We ormalize this as the problem o
More informationThe 2nd Texas A&M at Galveston Mathematics Olympiad. September 24, Problems & Solutions
nd Math Olympiad Solutions Problem #: The nd Teas A&M at Galveston Mathematics Olympiad September 4, 00 Problems & Solutions Written by Dr. Lin Qiu A runner passes 5 poles in 30 seconds. How long will
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationarxiv: v1 [math.oc] 1 Apr 2012
arxiv.tex; October 31, 2018 On the extreme points o moments sets arxiv:1204.0249v1 [math.oc] 1 Apr 2012 Iosi Pinelis Department o Mathematical ciences Michigan Technological University Houghton, Michigan
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More informationSection 2.5 : The Completeness Axiom in R
Section 2.5 : The Completeness Axiom in R The rational numbers and real numbers are closely related. The set Q of rational numbers is countable and the set R of real numbers is not, and in this sense there
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationOn High-Rate Cryptographic Compression Functions
On High-Rate Cryptographic Compression Functions Richard Ostertág and Martin Stanek Department o Computer Science Faculty o Mathematics, Physics and Inormatics Comenius University Mlynská dolina, 842 48
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More informationStat 451: Solutions to Assignment #1
Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are
More information9.3 Graphing Functions by Plotting Points, The Domain and Range of Functions
9. Graphing Functions by Plotting Points, The Domain and Range o Functions Now that we have a basic idea o what unctions are and how to deal with them, we would like to start talking about the graph o
More informationFIXED POINTS OF RENORMALIZATION.
FIXED POINTS OF RENORMALIZATION. XAVIER BUFF Abstract. To study the geometry o a Fibonacci map o even degree l 4, Lyubich [Ly2] deined a notion o generalized renormalization, so that is renormalizable
More informationEEO 401 Digital Signal Processing Prof. Mark Fowler
EEO 401 Digital Signal Processing Pro. Mark Fowler Note Set #10 Fourier Analysis or DT Signals eading Assignment: Sect. 4.2 & 4.4 o Proakis & Manolakis Much o Ch. 4 should be review so you are expected
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationPublished in the American Economic Review Volume 102, Issue 1, February 2012, pages doi: /aer
Published in the American Economic Review Volume 102, Issue 1, February 2012, pages 594-601. doi:10.1257/aer.102.1.594 CONTRACTS VS. SALARIES IN MATCHING FEDERICO ECHENIQUE Abstract. Firms and workers
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationMidterm Exam Solutions February 27, 2009
Midterm Exam Solutions February 27, 2009 (24. Deine each o the ollowing statements. You may assume that everyone knows the deinition o a topological space and a linear space. (4 a. X is a compact topological
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationHomework 1 (revised) Solutions
Homework 1 (revised) Solutions 1. Textbook, 1.1.1, # 1.1.2 (p. 24) Let S be an ordered set. Let A be a non-empty finite subset. Then A is bounded and sup A, inf A A Solution. The hint was: Use induction,
More informationTHE CAUCHY PROBLEM VIA THE METHOD OF CHARACTERISTICS
THE CAUCHY PROBLEM VIA THE METHOD OF CHARACTERISTICS ARICK SHAO In this short note, we solve the Cauchy, or initial value, problem or general ully nonlinear irst-order PDE. Throughout, our PDE will be
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More information6 CARDINALITY OF SETS
6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means
More informationMath 2412 Activity 1(Due by EOC Sep. 17)
Math 4 Activity (Due by EOC Sep. 7) Determine whether each relation is a unction.(indicate why or why not.) Find the domain and range o each relation.. 4,5, 6,7, 8,8. 5,6, 5,7, 6,6, 6,7 Determine whether
More informationJournal of Mathematical Analysis and Applications
J. Math. Anal. Appl. 377 20 44 449 Contents lists available at ScienceDirect Journal o Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Value sharing results or shits o meromorphic unctions
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationSpecial types of Riemann sums
Roberto s Notes on Subject Chapter 4: Deinite integrals and the FTC Section 3 Special types o Riemann sums What you need to know already: What a Riemann sum is. What you can learn here: The key types o
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More information1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems
More informationCharacterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets
Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationExample: When describing where a function is increasing, decreasing or constant we use the x- axis values.
Business Calculus Lecture Notes (also Calculus With Applications or Business Math II) Chapter 3 Applications o Derivatives 31 Increasing and Decreasing Functions Inormal Deinition: A unction is increasing
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationEXISTENCE OF ISOPERIMETRIC SETS WITH DENSITIES CONVERGING FROM BELOW ON R N. 1. Introduction
EXISTECE OF ISOPERIMETRIC SETS WITH DESITIES COVERGIG FROM BELOW O R GUIDO DE PHILIPPIS, GIOVAI FRAZIA, AD ALDO PRATELLI Abstract. In this paper, we consider the isoperimetric problem in the space R with
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationTelescoping Decomposition Method for Solving First Order Nonlinear Differential Equations
Telescoping Decomposition Method or Solving First Order Nonlinear Dierential Equations 1 Mohammed Al-Reai 2 Maysem Abu-Dalu 3 Ahmed Al-Rawashdeh Abstract The Telescoping Decomposition Method TDM is a new
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationMathematical Induction. Section 5.1
Mathematical Induction Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 6
Ma 4: Introduction to Lebesgue Integration Solutions to Homework Assignment 6 Pro. Wickerhauser Due Thursda, April 5th, 3 Please return our solutions to the instructor b the end o class on the due date.
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationSupremum and Infimum
Supremum and Infimum UBC M0 Lecture Notes by Philip D. Loewen The Real Number System. Work hard to construct from the axioms a set R with special elements O and I, and a subset P R, and mappings A: R R
More informationFluctuationlessness Theorem and its Application to Boundary Value Problems of ODEs
Fluctuationlessness Theorem and its Application to Boundary Value Problems o ODEs NEJLA ALTAY İstanbul Technical University Inormatics Institute Maslak, 34469, İstanbul TÜRKİYE TURKEY) nejla@be.itu.edu.tr
More informationCONSTRUCTION OF sequence of rational approximations to sets of rational approximating sequences, all with the same tail behaviour Definition 1.
CONSTRUCTION OF R 1. MOTIVATION We are used to thinking of real numbers as successive approximations. For example, we write π = 3.14159... to mean that π is a real number which, accurate to 5 decimal places,
More informationCS 361 Meeting 28 11/14/18
CS 361 Meeting 28 11/14/18 Announcements 1. Homework 9 due Friday Computation Histories 1. Some very interesting proos o undecidability rely on the technique o constructing a language that describes the
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationON MÜNTZ RATIONAL APPROXIMATION IN MULTIVARIABLES
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXVIII 1995 FASC. 1 O MÜTZ RATIOAL APPROXIMATIO I MULTIVARIABLES BY S. P. Z H O U EDMOTO ALBERTA The present paper shows that or any s sequences o real
More informationBasic properties of limits
Roberto s Notes on Dierential Calculus Chapter : Limits and continuity Section Basic properties o its What you need to know already: The basic concepts, notation and terminology related to its. What you
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationThe basics of frame theory
First version released on 30 June 2006 This version released on 30 June 2006 The basics o rame theory Harold Simmons The University o Manchester hsimmons@ manchester.ac.uk This is the irst part o a series
More informationFunctions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014
Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationOutline. Approximate sampling theorem (AST) recall Lecture 1. P. L. Butzer, G. Schmeisser, R. L. Stens
Outline Basic relations valid or the Bernstein space B and their extensions to unctions rom larger spaces in terms o their distances rom B Part 3: Distance unctional approach o Part applied to undamental
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More informationconvergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known
https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types
More informationF (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous
7: /4/ TOPIC Distribution functions their inverses This section develops properties of probability distribution functions their inverses Two main topics are the so-called probability integral transformation
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationExtreme Values of Functions
Extreme Values o Functions When we are using mathematics to model the physical world in which we live, we oten express observed physical quantities in terms o variables. Then, unctions are used to describe
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationSlowly Changing Function Oriented Growth Analysis of Differential Monomials and Differential Polynomials
Slowly Chanin Function Oriented Growth Analysis o Dierential Monomials Dierential Polynomials SANJIB KUMAR DATTA Department o Mathematics University o kalyani Kalyani Dist-NadiaPIN- 7235 West Benal India
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationOn Picard value problem of some difference polynomials
Arab J Math 018 7:7 37 https://doiorg/101007/s40065-017-0189-x Arabian Journal o Mathematics Zinelâabidine Latreuch Benharrat Belaïdi On Picard value problem o some dierence polynomials Received: 4 April
More informationNumerical Sequences and Series
Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is
More information