math 6710 homework 1: solutions fall, 2016 grading: 1...

2
Math 6710 Homework 1: Solutions Fall, 2016 Grading: 1 (10 pts), 2a, 2b, 3a, 3b, 4a, 4b (each 5 pts). Problem 1: Suppose otherwise, that there exists a countably infinite σ algebra F U 0 on a set U 0 . Note that for each set U ∈F s.t. U 6= {∅,U 0 }, F U := {U V : V ∈ F} is a σ algebra on U 0 . So, F U and F U c are both σ algebras and since for any V ∈F , V =(V U ) (V U c ), then one of F U , F U c is infinite, which we denote by F U 1 . Thus, U 1 U 0 and F U 1 ⊂F U 0 is infinite. Repeating the argument we hence get a sequence U 1 U 2 ... of sets and F U 1 ⊃F U 2 ... of infinite sigma algebras. As a result, the sets V i := U i \ U i+1 , i =1, 2, ... are disjoint and not equal to {∅,U i }. Next, we define a function f : P (N) →F U 0 by f (N )= i∈N V i (countable union), which is a bijection since V i ’s are disjoint and nonempty. Hence, the cardinality of F U 0 is same as the cardinality of P (N) i.e. uncountable, which contradicts the initial assumption. Problem 2: (a) First, lets recall the two definitions of the λ system. Def. 1 : a) Ω ∈L. b) if A, B ∈L and A B, then B \ A ∈L. c) if A 1 ,A 2 , ... ∈L and A n A n+1 for all n 1, then n=1 A n ∈L. Def. 2 : a) Ω ∈L. b) if A ∈L then A c ∈L. c) if A 1 ,A 2 , ... ∈L and A n are mutually disjoint for all n 1, then n=1 A n ∈L. We show that Def. 1 implies Def. 2 : 1a) and 1b) for B implies 2b). To show 2c), denote B i = i n=1 A n . Using 2b), if A and B are disjoint then A B c and hence (B c \ A) c = B A ∈L. Next, by induction, we have 2c) but for finite unions, which implies B i ∈L but then we can use 1c) to get 2c). The prove of the opposite direction is analogous (denote B i = A i \ A i-1 ). (b) Counterexample: take Ω = {1, 2, 3, 4}, L = {∅, {1, 2}, {3, 4}, {1, 3}, {2, 4}, Ω}, then it is λ- system but not a σ algebra since not closed under intersections (e.g. {3, 4}∩{2, 4} = {4} / ∈L). Problem 3: (a) The indicator function 1 En (ω) equals either 0 or 1, so lim sup n→∞ 1 En (ω) = 1 iff the se- quence 1 En (ω) takes the value 1 infinitely often, i.e. N N s.t. m N : ω E m , that is ω ∈∩ n=1 m=n E m . The latter, by the definition is equivalent to 1 lim sup n→∞ En(ω) = 1. The argument for 1 En (ω) = 0 is analogous and since choice of ω was arbitrary, the proof is complete. (b) Since m=n E m is a decreasing sequence, using the continuity from above property of the measure we get that 0 P (E n i.o.)= P (n=1 m=n E m ) = lim n→∞ P (m=n E m ). By combining the latter with the fact that n=1 P (E n ) implies lim n→∞ m=n P (E m ) = 0, we get the desired result. Problem 4: We construct an example which shows that A is not closed under intersections, which implies it is neither a σ algebra nor an algebra. Take the set A = {2, 4, 6, 8, 10, ...} of 1

Upload: vuongphuc

Post on 09-Sep-2018

214 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Math 6710 Homework 1: Solutions Fall, 2016 Grading: 1 …pi.math.cornell.edu/~jerison/math6710/hw1-sol.pdf · Math 6710 Homework 1: Solutions Fall, 2016 even integers, then A2A. Next,

Math 6710 Homework 1: Solutions Fall, 2016

Grading: 1 (10 pts), 2a, 2b, 3a, 3b, 4a, 4b (each 5 pts).

Problem 1: Suppose otherwise, that there exists a countably infinite σ algebra FU0 on a set

U0. Note that for each set U ∈ F s.t. U 6= ∅, U0, FU := U ∩ V : V ∈ F is a σ algebra on

U0. So, FU and FUc are both σ algebras and since for any V ∈ F , V = (V ∩U)∪ (V ∩U c), then

one of FU , FUc is infinite, which we denote by FU1 . Thus, U1 ⊂ U0 and FU1 ⊂ FU0 is infinite.

Repeating the argument we hence get a sequence U1 ⊃ U2 ⊃ ... of sets and FU1 ⊃ FU2 ⊃ ... of

infinite sigma algebras. As a result, the sets Vi := Ui \ Ui+1, i = 1, 2, ... are disjoint and not

equal to ∅, Ui. Next, we define a function f : P(N) → FU0 by f(N ) = ∪i∈NVi (countable

union), which is a bijection since Vi’s are disjoint and nonempty. Hence, the cardinality of FU0

is same as the cardinality of P(N) i.e. uncountable, which contradicts the initial assumption.

Problem 2:

(a) First, lets recall the two definitions of the λ system. Def. 1 : a) Ω ∈ L. b) if A,B ∈ L and

A ⊆ B, then B \ A ∈ L. c) if A1, A2, ... ∈ L and An ⊆ An+1 for all n ≥ 1, then ∪∞n=1An ∈ L.

Def. 2 : a) Ω ∈ L. b) if A ∈ L then Ac ∈ L. c) if A1, A2, ... ∈ L and An are mutually disjoint

for all n ≥ 1, then ∪∞n=1An ∈ L. We show that Def. 1 implies Def. 2 : 1a) and 1b) for B = Ω

implies 2b). To show 2c), denote Bi = ∪in=1An. Using 2b), if A and B are disjoint then A ⊆ Bc

and hence (Bc \ A)c = B ∪ A ∈ L. Next, by induction, we have 2c) but for finite unions,

which implies Bi ∈ L but then we can use 1c) to get 2c). The prove of the opposite direction

is analogous (denote Bi = Ai \ Ai−1).

(b) Counterexample: take Ω = 1, 2, 3, 4, L = ∅, 1, 2, 3, 4, 1, 3, 2, 4,Ω, then it is λ-

system but not a σ algebra since not closed under intersections (e.g. 3, 4∩2, 4 = 4 /∈ L).

Problem 3:

(a) The indicator function 1En(ω) equals either 0 or 1, so lim supn→∞ 1En(ω) = 1 iff the se-

quence 1En(ω) takes the value 1 infinitely often, i.e. ∃ N ∈ N s.t. ∀ m ≥ N : ω ∈ Em, that

is ω ∈ ∩∞n=1 ∪∞m=n Em. The latter, by the definition is equivalent to 1lim supn→∞ En(ω) = 1. The

argument for 1En(ω) = 0 is analogous and since choice of ω was arbitrary, the proof is complete.

(b) Since ∪∞m=nEm is a decreasing sequence, using the continuity from above property of the

measure we get that 0 ≤ P (En i.o.) = P (∩∞n=1∪∞m=nEm) = limn→∞ P (∪∞m=nEm). By combining

the latter with the fact that∑∞

n=1 P (En) implies limn→∞∑∞

m=n P (Em) = 0, we get the desired

result.

Problem 4: We construct an example which shows that A is not closed under intersections,

which implies it is neither a σ algebra nor an algebra. Take the set A = 2, 4, 6, 8, 10, ... of

1

Page 2: Math 6710 Homework 1: Solutions Fall, 2016 Grading: 1 …pi.math.cornell.edu/~jerison/math6710/hw1-sol.pdf · Math 6710 Homework 1: Solutions Fall, 2016 even integers, then A2A. Next,

Math 6710 Homework 1: Solutions Fall, 2016

even integers, then A ∈ A. Next, we construct a set B in the following way: we begin with

2, 3 and starting with k = 2, take all even numbers 2k < n ≤ (3/2) ∗ 2k, and all odd numbers

(3/2) ∗ 2k < n ≤ 2k+1. As a result, we can see that A ∩B /∈ A, because:

1. B contains exactly one of every consecutive pair 2m− 1, 2m so it is easy to show that

its asymptotic density is 1/2.

2. Starting with k = 2, the number of elements of A∩B that are at most (3/2)∗2k is exactly

2k−1, giving a density of 1/3.

3. Starting with k = 2, the number of elements of A∩B that are at most 2k is exactly 2k−2,

giving a density of 1/4.

The motivation was to start with A and design B to satisfy observation 1. Even elements of B

increase the density of A ∩ B, while odd elements of B decrease the density of A ∩ B. Choose

even elements until the density of A∩B reaches 1/3, then choose odd elements until the density

of A∩B drops to 1/4, then choose more even elements until the density rises again to 1/3, etc.

The resulting set B is the one above.

2