On Convergence of Sequences of Measurable Functions
|
|
- Noel Sutton
- 5 years ago
- Views:
Transcription
1 On Convergence of Sequences of Measurable Functions Christos Papachristodoulos, Nikolaos Papanastassiou Abstract In order to study the three basic kinds of convergence (in measure, almost every where, almost uniformly) of a sequence (f n ) of measurable functions, we define new conditions with respect to the sequence (f n ) under which one kind of the above convergence implies another one. Also we study in which measure spaces almost uniform convergence coincide with almost everywhere convergence and in which measure spaces convergence in measure implies almost everywhere convergence. Keywords: -locally finite, finite restrict space Mathematics subject classification: 28A20 1 Introduction Throughout this paper (Γ, Σ, ) will denote a measure space, f n (n N), f : Γ R ae measurable functions. Also we adopt the notations f n f, f n f, f n f to mean respectively that the sequence (f n ) converges in measure, almost everywhere, almost uniform to f. Each pair ((f n ), f) induces a double sequence of measurable sets A j n((f n ), f) or { simply A j n, n, j N, where A j n = γ Γ f n (γ) f(γ) 1 }, determining the j behavior of the pair ((f n ), f) with respect to converges. More precisely we have the following well known results: (a) f n f For each j N (b) {γ Γ f n (γ) f(γ)} = E j n = k=n j=1 lim n (Aj n) = 0; ( En j ), where A j k = { γ Γ there exists k n : f k (γ) f(γ) 1 j 1 } ;
2 2 On Convergence of Sequences of Measurable Functions (c) f n ( ae ) f For each j N En j = 0; (d) f n f For each j N (For the proof of (d) see [?]). lim n (Ej n) = 0. The above results will be used in 2, where we provide new conditions for the pairs ((f n ), f) under which one kind of the above convergence, of (f n ) to f, implies another of those. Also we prove that in every measure space convergence of a sequence (f n ) to f in measure is equivalent to the condition: For each increasing sequence (k n ) in N there exists a subsequence (m kn ) of (k n ) such that f mkn f. In the sequel we will need also the following obvious properties of (A j n), (E j n): (e) (A j n) is nondecreasing with respect to j for all n N. In 2 we will see that each double sequence (A j n) of measurable sets nondecreasing with respect to j is induced by some pair ((f n ), f). (f) (E j n) is nondecreasing with respect to j for all n N and nonincreasing with respect to n for all j N. (c) and (d) imply that the only case for which ae convergence does not imply ( ) al u convergence is the following: For all j N, = 0 and there exists j N such that (E j n) = for all n N. En j (Since, if for all j N there exists n N with (En) j <, then by (f), we have ( ) lim n (Ej n) = En j = 0, and this implies, by (d), that f n f). We thus arrive naturally to the following definitions (see [?]). Definitions. I. The pair ((f n ), f) satisfies the finite restriction property (f.r.p) if for each j N, there exists n 0 N with (E j n 0 ) < ; and II. The sequence (f n ) has the( finite restriction property (f.r.p) if for each j N, there { exist n 0 N such that γ Γ k, m n 0 : f k (γ) f m (γ) 1 } ) <. j It is easy to see that if f n satisfies the (f.r.p) (see [?]). ae f and (f n ) has the (f.r.p), then the pair ((f n ), f)
3 Ch. Papachristodoulos, N. Papanastassiou 3 These definitions, together with (c) and (d) above, help us to state, in (g) below a generalization of Egoroff s theorem; this will be used in 3, where we examine conditions on the whole space (Γ, Σ, ), such that one kind of convergence implies another. (g) The following are equivalent: (i) f n (ii) f n f al f and either ((f n ), f) or (f n ) has the (f.r.p). We note that (g) provides a gneralization of Lebesgue s theorem: if f n either ((f n ), f) or (f n ) has the (f.r.p) then f n f. We recall the following standard definitions and results (h)-(j): Definitions. ae f and 1. A set A Σ is called an atom if (A) > 0, and for B Σ with B A we have that either (B) = 0 or (A B) = The space (Γ, Σ, ) is purely atomic if for each B Σ with (B) > 0, there exists an atom A such that A B. 3. A set E Σ is atomless if (E) > 0 and E contains no atoms. (h) If A is an atom and f : Γ R measurable, then f is constant ae on A. (i) If E is atomless and (E) < + then for each α R, with 0 α (E), there exists F E, F Σ with (F ) = α. (j) If (Γ, Σ, ) is a finite measure space, the following are equivalent: (i) -convergence coincides with ae convergence; (ii) Γ is the countable union of pairwise disjoint sets which are either atoms with respect to or empty. (For the proof of (j) see [?] and for related topics see [?], [?] and [?]). We will formulate in 3 a generalization of (j) for arbitrary measure space. We note that in [?] condition [M] is defined to mean that (A j n) n is nonincreasing with respect to n for all j N. This is a very strong condition, which, in view of (a), (b) and (d), guarantees at once that -convergence implies al u convergence. In 2 we introduce a weaker condition, which implies the same conclusion.
4 4 On Convergence of Sequences of Measurable Functions 2 New conditions for convergence We begin with a lemma, which will be useful in constructing counterexamples regarding convergence. 2.1 Lemma. If (A j n) is a double sequence of measurable sets, nondecreasing with respect to j for all n N, then there exists a pair ((f n ), f) such that A j n = A j n((f n, f) for all n, j N. Proof. Let (A j n) be a double sequence of measurable sets such that A 1 n A 2 n for all n N. We set f n = χ A 1 n χ A n A1 n 3 χ A 3 + for n N. n A2 n Then f n is well defined, since for each γ Γ only one term of the above series is different from 0 and clearly A j n = A j n((f n, f) for all n, j N, where f = 0. Now, paying attention on individual pairs ((f n ), f), we have the following 2.2 Definition. The pair ((f n ), f) satisfies the condition (M ) if for each j N there exists j > j, j N, with the j line (A j 1, Aj 2,... ) of the double sequence (Aj n) satisfying the following condition: For each n N there exists m n N, with m n n, such that A j k Aj m n for all k m n. 2.3 Proposition. If f n f and the pair ((f n ), f) satisfies the condition (M ), then f n f. Proof. Let ε > 0 and j N. According to (d) of 1, it is enough to find n 0 such that (E j n) < ε for n n 0. By hypothesis, there exists j > j, j N with the j line of the double sequence (A j n) satisfying the Definition??. Also there exists N = N(j, ε) N, such that We set n 0 = m N N and we have that since E j n = k=n (A j n ) < ε for all n N. (E j n) (E j n ) (A j n 0 ) < ε for n n 0, A j k Aj n 0 and E j n E j n. Example. Condition (M ) is strictly weaker than condition (M). By Lemma?? it is enough to construct a double sequence (A j n) of measurable sets satisfying the following:
5 Ch. Papachristodoulos, N. Papanastassiou 5 (1) (A j n) is nondecreasing with respect to j for all n N; (2) lim n (Aj n) = 0 for all j N; and (3) (A j n) satisfies (M ) and not (M). We consider the measure space (Γ, Σ, ) where Γ = [0, ), Σ: the Lebesgue measurable sets and : the Lebesgue measure. that Define a 1 < b 1 < a 2 < b 2 <, and lim n a n = lim n b n = 1. A 1 n = [a n, b n ] for n = 1, 2,... A 2 n = [a n,1 ] for n = 2, 3,..., A 3 n = A 2 n [1 + a n, 1 + b n ] for n = 3, 4,..., A 4 n = A 2 n [1 + a n, 2] for n = 4, 5,...,. A 2k+1 n A 2k+2 n. Let (a n ), (b n ) be sequences in Γ such (the first line of the double sequence (A j n)), = A 2k n [k + a n, k + b n ] for n = 2k + 1, 2k + 2,..., = A 2k n [k + a n, k + 1] for n = 2k + 2, 2k + 3,..., Also we define the sets below the diagonal of the double sequence (A j n) to be equal with the corresponding set on the diagonal, namely A j n = A n n for j n. Conditions (1) and (2) are easily verified. Also we observe that condition M does not hold for j odd, while Definition?? is satisfied for j even, so that (M ) holds. We next give a sufficient condition under which -convergence implies ae convergence. 2.4 Definition. The pair ((f n ), f) is -locally finite (-l.f.) if for each j, n N, there exists n 0 N, such that l=n 0 (A j n A j l ) < Proposition. If f n f and ((f n ), f) is (-l.f), then f n ae f.
6 6 On Convergence of Sequences of Measurable Functions ae Proof. Suppose the hypothesis is satisfied but f n f. By (c) of 1 we have that there exists j N and E En j with (E) = a > 0. (1) For the sequel we fix a j N satisfying (1). We observe that the set K = {n N (A j n E) > 0} is infinite (otherwise, if n 0 is the largest element of K, then, since E E j n 0 +1 = A j l, we have (E) (A j l E) = 0, a l=n 0 +1 l=n 0 +1 contradiction). Since f n f and K is infinite the following holds: there exists n 0 K such that As ((f n ), f) is (-l.f), we have: there exists n 1 N, such that Since, E E j n E j n 1 = (A j n 0 ) < α 2 and (Aj n 0 E) = β < α 2. (2) l=n 1 A j l l=n 1 (A j n 0 A j l ) < β 2. (3), it follows that E A j n 0 A j n 0 l=n 1 A j l = (A j n 0 A j l ). (4) l=n 1 But, from (2), we have that (E A j n 0 ) = β, while, from (4), (3), we take that (E A j n 0 ) (A j n 0 A j l ) < β 2, l=n 1 a contradiction. We note that the above proposition has an application in the Laws of Large Numbers (see [?]). 2.6 Remark. The conditions (M), (M ), and (-l.f) are sufficient but not necessary, and the conditions (M ) and (-l.f) are independent from each other. In fact, let Γ = R, with Lebesgue measure. (i) If we set f n = χ 1 [n,n+ 2 n ], then f n 0 (since En j = A j k = k=n k>n and (En) j = k=n 1 2 k 0, n ), but (M ), (M) are not satisfied. [ ] k, k k
7 Ch. Papachristodoulos, N. Papanastassiou 7 (ii) If we set g n = χ [0, 1 n], h n = χ [n,n+ 1 n], then (1) The pair ((g n ), 0) satisfies (M ) but not (-l.f); (2) The pair ((h n ), 0) satisfies (-l.f) but not (M ); and (3) The pair ((g n + h n ), 0) does not satisfy (M ), (-l.f), but g n + h n ae 0. The next proposition is a generalization of the known characterization, for finite measures, of convergence in measure. 2.7 Proposition. The following are equivalent (i) f n f; and (ii) For each (k n ) increasing in N there exists subsequence (m kn ) of (k n ), such that f mkn f. Proof. Suppose f n f, then (ii) follows from Riesz theorem; however we give a direct proof, based on the study of convergence via the double sequence (A j n). Let (k n ) = (kn) 0 be an increasing sequence in N. We observe that there exist increasing sequences (k n (j) ) n for j = 1, 2, 3,..., such that (k (j) n ) n is a subsequence of (k (j 1) n ) n and (A j k (j) n ) < 1 for all n N. (1) 2n (The construction of the above sequence follows easily by induction, since lim n (Aj n) = 0 for all j = 1, 2,... ). Set m kn = k n (n) for n = 1, 2,... ; then it follows, by (1), that (m kn ) is a subsequence of (k n ). Also for n j we have ( ) (Em j kn ) = A j m kl l=n l=n (A j ) k (l) l l=n (A l ), k (l) l where (A j m kn ), (E j m kn ) are the corresponding double sequences of the pair ((f mkn ), f). (The last inequality above follows since l j and hence A l k (l) l Hence by (1) we obtain that (E j m kn ) So, by (d) of 1 we conclude that f mkn l=n 1 0, n. 2l f. A j ). k (l) l
8 8 On Convergence of Sequences of Measurable Functions For the converse direction, suppose f n f, so that there exists j N, such that m(a j n) 0, n. Hence, there exists j N, ε > 0 and (k n ) increasing in N, with (A j k n ) ε for n = 1, 2,.... So (E j k n ) ε for n = 1, 2,..., which implies that for each subsequence (m kn ) of (k n ) we have that (Em j kn ) 0, n ; or equivalently that f mkn f. 3 Spaces on which convergence coincide In this paragraph we focus on properties of the measure space, under which one kind of convergence coincides with another. 3.1 Definition. We say that the space (Γ, Σ, ) is finite restrict (f.r) if for each nonincreasing sequence (E n ) in Σ, with E n = 0, there exists n 0 N such ( ) that (E n0 ) <. 3.2 Proposition. The following are equivalent: (a) al u convergence coincides with ae convergence; (b) the space is finite restrict (f.r); (c) each pair ((f n ), f) with f n (d) ae convergence implies -convergence; (e) f n f if and only if ae f has the finite restriction property (f.r.p); for each increasing sequence (k n ) in N, there exists subsequence (m kn ) of (k n ) ae such that f mkn f; and (f) (Γ, Σ, ) is finite or Γ is the union of a set of finite measure and a finite number of atoms with infinite measure.
9 Ch. Papachristodoulos, N. Papanastassiou 9 Proof. (a) is equivalent (c) by (g) of 1 and the comment following definition II of 1. (b) (a) Let (Γ, Σ, ) be finite restrict. If f n for all j N. ( ae ) f then, by (c) of 1, En j = 0 Since the space is (f.r.) and (E j n) n is nonincreasing with respect to n for all j N, we have that, for each j N, there exists n 0 = n 0 (j) with (En j 0 ) <. Hence, lim n (Ej n) = 0 for all j N which implies that f n f. For the converse direction suppose that the space is not finite restrict. Then, ( ) there exists (E n ) nonincreasing in Σ with E n = 0 and (E n ) = for all n N. Set f n = X En easy to see that (b) (d) (the characteristic function of E n ) for n = 1, 2,.... It is f n ae 0 and f n 0. If the space is (f.r.), then al u convergence coincides with ae convergence, and so (d) follows For the converse direction suppose that the space is not (f.r). If f n = X En for ae n = 1, 2,..., the above defined sequence, then we have f n 0, but f n 0 (since f n 0). (b) (e) If (b) holds, then al u convergence coincides with ae convergence and so (e) follows from??. Conversely, if (e) holds, then ae convergence implies -convergence, so (d) holds, and hence also (b) holds. (b) (f) Suppose (f). If (Γ, Σ, ) is finite we have nothing to prove. Let A 1, A 2,..., A n be the atoms of the space. If (E n ) n is a nonincreasing sequence in Σ with ( ) E n = 0, then E 1 contains some or none of the atoms, E 2 contain fewer ( ) or the same atoms as E 1, and so on. Since E n = 0, it is impossible that n some atom A i be contained in all E n for n = 1, 2,... ; hence there exists n 0 such that (E n0 ) <, so (b) holds. Conversely, if (f) does not hold, then we distinguish two cases: either the space
10 10 On Convergence of Sequences of Measurable Functions has an infinite number of atoms, each with infinite measure, or the space has a finite number of atoms, with infinite measure and the complement of the union of these atoms has infinite measure. Case 1. There exists a sequence of atoms (A n ), with (A n ) = for n = 1, 2,.... Without loss of generality we may assume that the above atoms are mutually disjoint. If we set E n = ( ) A i, then (E n ) is nonincreasing, E n = 0, and (E n ) = for i=n all n N. Hence (b) does not hold. Case 2. Γ = A 1 A n, where A 1, A 2,..., A n are atoms with infinite measure, ( ) = and contains no atoms with infinite measure. There are two subcases to consider. Subcase 2a. There exists Z, Z Σ, such that Z does not contain sets of positive finite measure. Since Z is not an atom, we have that there exists Z 1 Z, Z 1 Σ with (Z 1 ) = and (Z Z 1 ) =. Similarly, there exists Z 2 Z Z 1, Z 2 Σ with (Z 2 ) = and ((Z Z 1 ) Z 2 ) = and so on. Hence we take a disjoint sequence (Z n ) in Σ with (Z n ) = for n = 1, 2,.... As in Case 1 it follows that (b) does not hold. Subcase 2b. For each Z, Z Σ with (Z) > 0 there exists B Z, B Σ such that 0 < (B) <. In this subcase we assert that there exists a disjoint sequence (B n ) in Σ such that ( ) 0 < (B n ) < for all n N and B n =. n (Set s = sup{(a) A Σ, (A) < }. If s <, it is easy to see that (A) = s < for some A Σ. Since ( A) =, we can find B A with 0 < (B) <. Hence, (A B) > s, which is a contradiction. So s = and the above assertion follows easily). Setting E n = i=n B i, we conclude at once that (b) does not hold. 3.3 Proposition. The following are equivalent: (a) convergence implies ae convergence, and (b) either the space is purely atomic, or the space has measurable atomless sets and in this case these sets have infinite measure and do not contain subsets of positive finite measure.
11 Ch. Papachristodoulos, N. Papanastassiou 11 Proof. Suppose (a) holds and (b) does not hold. Thus there exists E Σ, such that E is atomless, and there exists F E, F Σ with 0 < (F ) = α <. Since F is atomless, by (i) of 1, we have: for each n N, there exists partition C n = {F (n) 1,..., F n (n) } of F, such that (F (n) i ) = α for i = 1, 2,..., n. n Let (I n ) be an enumeration of ae C n. It is easy to see that χ In 0 and χ In 0 (since for each x F, we have {n : χ In (x) = 0} and {n : χ In (x) = 1} are both infinite subsets of N). Hence we are led to a contradiction, and (a) implies (b). Conversely, assume (b) and let f n f. We distinguish two cases. Case 1. The space is purely atomic. Let {A i } i I be the family of atoms. Then, ( ) Γ = Γ 0 A i and (Γ 0 ) = 0 (where denotes inner measure). We have that i I f n Ai = C i,n, f Ai = C i, ae, where C i,n, C i are constants for all i I. Without loss of generality we may assume that f n (x) = C i,n and f(x) = C i for all x A i, i I. (Otherwise, instead of A i we consider the equivalent atoms A ( i = ) {x f n (x) = C i,n and f(x) = C i }, i I. Then Γ = Γ 0 A i and (Γ 0 ) = 0). i Hence we have the following implications: f n f = f n Ai f Ai for all i I = C i,n C i, n for all i I = f n (x) f(x) for x A i, i I. Hence A = {x : f n (x) f(x)} Γ 0. Since A = and hence (A) = 0. So, f n ae f. j=1 Case 2. The space has a measurable set E, such that ( En j ), we have also A Σ E is atomless, (E) =, and F E, F Σ with (F ) 0 (F ) =. (1) ( In this case we have Γ = Γ 0 A i ), f n Ai = C i,n, f Ai = C i (as in Case 1) and Γ 0 i I contains null sets and sets with property (1). As in Case 1, it holds A = {x f n (x) f(x)} Σ and A Γ 0. Hence we have the following implications f n f = f n A f A = for each j N we have (A i n) 0, n, where A j n = A j n(f n A, f A ) = for each j N there exists n 0 N such that (A j n) = 0 for n n 0.
12 12 On Convergence of Sequences of Measurable Functions (Otherwise, if (A j n) 0 for infinitely many n s then by (1), (A j n) = for infinitely many n s and hence f n A f A, which is a contradictions). Since A = ( n Ej n), E j n = A i k, it follows that (A) = 0. Hence f ae n f. j k=n References [1] G.R. Bartle, An Extension of Egorov s theorem, Amer. Math. monthly (1960). [2] J.M. Gribanov, Remarks on convergence a.e. and convergence in measure, Comm. Math. Univ. Caroline 7,3(1966), (in Russian). [3] E. Marczewski, Ramarks on the convergence of measurable sets and measurable functions, Coll. Math. 3(1955), [4] N. Papanastassiou, C. Papachristodoulos, A note on weak and strong Law of Large numbers, In preparation. [5] R.J. Tomkins, On the equivalence of modes of Convergence, Canad. Math. Bul. 16(4), [6] E. Wagner, W. Wilczynski, Convergence of sequences of measurable functions, Acta Math. Acad. Sci. Hungaricae 36 (1 2) (1980), Papanastassiou N., Papachristodoulos Ch. Department of Mathematics, Department of Mathematics, University of Athens, University of Athens, Panepistimiopolis, 15785, Panepistimiopolis, 15785, Athens, Greece Athens, Greece npapanas@math.uoa.gr cpapachris@math.uoa.gr
MATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationON DENSITY TOPOLOGIES WITH RESPECT
Journal of Applied Analysis Vol. 8, No. 2 (2002), pp. 201 219 ON DENSITY TOPOLOGIES WITH RESPECT TO INVARIANT σ-ideals J. HEJDUK Received June 13, 2001 and, in revised form, December 17, 2001 Abstract.
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
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 informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
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 informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
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 informationMath 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.
Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
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 informationarxiv: v1 [math.gn] 27 Oct 2018
EXTENSION OF BOUNDED BAIRE-ONE FUNCTIONS VS EXTENSION OF UNBOUNDED BAIRE-ONE FUNCTIONS OLENA KARLOVA 1 AND VOLODYMYR MYKHAYLYUK 1,2 Abstract. We compare possibilities of extension of bounded and unbounded
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
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 informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
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 informationSolutions for Homework Assignment 2
Solutions for Homework Assignment 2 Problem 1. If a,b R, then a+b a + b. This fact is called the Triangle Inequality. By using the Triangle Inequality, prove that a b a b for all a,b R. Solution. To prove
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
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 information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
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 informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationAustin Mohr Math 704 Homework 6
Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationREVIEW FOR THIRD 3200 MIDTERM
REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =
More informationSection 3.3. Littlewood s Three Principles, Egoroff s Theorem, and Lusin s Theorem
3.3. Littlewood s Three Principles 1 Section 3.3. Littlewood s Three Principles, Egoroff s Theorem, and Lusin s Theorem Note. Notice the quote on page 64 to the effect: 1. Every measurable set is nearly
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationA Measure and Integral over Unbounded Sets
A Measure and Integral over Unbounded Sets As presented in Chaps. 2 and 3, Lebesgue s theory of measure and integral is limited to functions defined over bounded sets. There are several ways of introducing
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationFirst In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018
First In-Class Exam Solutions Math 40, Professor David Levermore Monday, October 208. [0] Let {b k } k N be a sequence in R and let A be a subset of R. Write the negations of the following assertions.
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 informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationFunctions of several variables of finite variation and their differentiability
ANNALES POLONICI MATHEMATICI LX.1 (1994) Functions of several variables of finite variation and their differentiability by Dariusz Idczak ( Lódź) Abstract. Some differentiability properties of functions
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 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 informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
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 informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
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 information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
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 informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationPeriodic decomposition of measurable integer valued functions
Periodic decomposition of measurable integer valued functions Tamás Keleti April 4, 2007 Abstract We study those functions that can be written as a sum of (almost everywhere) integer valued periodic measurable
More informationSETS AND FUNCTIONS JOSHUA BALLEW
SETS AND FUNCTIONS JOSHUA BALLEW 1. Sets As a review, we begin by considering a naive look at set theory. For our purposes, we define a set as a collection of objects. Except for certain sets like N, Z,
More informationMeasure Theory and Lebesgue Integration. Joshua H. Lifton
Measure Theory and Lebesgue Integration Joshua H. Lifton Originally published 31 March 1999 Revised 5 September 2004 bstract This paper originally came out of my 1999 Swarthmore College Mathematics Senior
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 informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationMA359 Measure Theory
A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationOn Independence and Determination of Probability Measures
J Theor Probab (2015) 28:968 975 DOI 10.1007/s10959-013-0513-0 On Independence and Determination of Probability Measures Iddo Ben-Ari Received: 18 March 2013 / Revised: 27 June 2013 / Published online:
More informationFirst-Return Integrals
First-Return ntegrals Marianna Csörnyei, Udayan B. Darji, Michael J. Evans, Paul D. Humke Abstract Properties of first-return integrals of real functions defined on the unit interval are explored. n particular,
More informationMath 564 Homework 1. Solutions.
Math 564 Homework 1. Solutions. Problem 1. Prove Proposition 0.2.2. A guide to this problem: start with the open set S = (a, b), for example. First assume that a >, and show that the number a has the properties
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationGraphs with few total dominating sets
Graphs with few total dominating sets Marcin Krzywkowski marcin.krzywkowski@gmail.com Stephan Wagner swagner@sun.ac.za Abstract We give a lower bound for the number of total dominating sets of a graph
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationPETER A. CHOLAK, PETER GERDES, AND KAREN LANGE
D-MAXIMAL SETS PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE Abstract. Soare [23] proved that the maximal sets form an orbit in E. We consider here D-maximal sets, generalizations of maximal sets introduced
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
More informationPOINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol.1 (13) (2005), 117 127 POINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS SAM B. NADLER, JR. Abstract. The problem of characterizing the metric spaces on which the
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 informationMeasures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.
Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationON LEFT-INVARIANT BOREL MEASURES ON THE
Georgian International Journal of Science... Volume 3, Number 3, pp. 1?? ISSN 1939-5825 c 2010 Nova Science Publishers, Inc. ON LEFT-INVARIANT BOREL MEASURES ON THE PRODUCT OF LOCALLY COMPACT HAUSDORFF
More informationMathematics 220 Workshop Cardinality. Some harder problems on cardinality.
Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
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 informationSo in the abstract setting dene the following: f n converges to f with respect to I i every subsequence ff n : n 2 Ag has a subsequence B A such that
Souslin's Hypothesis and Convergence in Category by Arnold W. Miller 1 Abstract: A sequence of functions f n : X! R from a Baire space X to the reals R is said to converge in category i every subsequence
More informationarxiv: v2 [math.ca] 4 Jun 2017
EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationFinal. due May 8, 2012
Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention
More informationPETER A. CHOLAK, PETER GERDES, AND KAREN LANGE
D-MAXIMAL SETS PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE Abstract. Soare [20] proved that the maximal sets form an orbit in E. We consider here D-maximal sets, generalizations of maximal sets introduced
More informationMATS113 ADVANCED MEASURE THEORY SPRING 2016
MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationLecture 8: Equivalence Relations
Lecture 8: Equivalence Relations 1 Equivalence Relations Next interesting relation we will study is equivalence relation. Definition 1.1 (Equivalence Relation). Let A be a set and let be a relation on
More informationTHE JOHN-NIRENBERG INEQUALITY WITH SHARP CONSTANTS
THE JOHN-NIRENBERG INEQUALITY WITH SHARP CONSTANTS ANDREI K. LERNER Abstract. We consider the one-dimensional John-Nirenberg inequality: {x I 0 : fx f I0 > α} C 1 I 0 exp C 2 α. A. Korenovskii found that
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More information