Stat 451: Solutions to Assignment #1

Similar documents
Section 2: Classes of Sets

Abstract Measure Theory

Exercises for Unit VI (Infinite constructions in set theory)

5 Set Operations, Functions, and Counting

Basic Measure and Integration Theory. Michael L. Carroll

Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.

Measures and Measure Spaces

Some Basic Notations Of Set Theory

Statistical Inference

ABSTRACT INTEGRATION CHAPTER ONE

We will briefly look at the definition of a probability space, probability measures, conditional probability and independence of probability events.

Lebesgue Measure. Dung Le 1

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

U e = E (U\E) e E e + U\E e. (1.6)

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

Well-Ordered Sets, Ordinals and Cardinals Ali Nesin 1 July 2001

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

SETS AND FUNCTIONS JOSHUA BALLEW

Some Background Material

Sequences of height 1 primes in Z[X]

Problem set 1, Real Analysis I, Spring, 2015.

18.175: Lecture 2 Extension theorems, random variables, distributions

Construction of a general measure structure

Statistics for Financial Engineering Session 2: Basic Set Theory March 19 th, 2006

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

Independent random variables

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

MATH 556: PROBABILITY PRIMER

HW 4 SOLUTIONS. , x + x x 1 ) 2

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

2 Topology of a Metric Space

Point sets and certain classes of sets

CHAPTER I THE RIESZ REPRESENTATION THEOREM

Large Sets in Boolean and Non-Boolean Groups and Topology

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6

Sequence convergence, the weak T-axioms, and first countability

1. Propositional Calculus

6 CARDINALITY OF SETS

Thus, 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

REAL AND COMPLEX ANALYSIS

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Course 212: Academic Year Section 1: Metric Spaces

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

Axioms of separation

Qualifying Exam Logic August 2005

Strongly Bounded Turing Reducibilities and Computably Enumerable Sets. 4. Strongly Bounded T- Reducibilities

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

DRAFT MAA6616 COURSE NOTES FALL 2015

CHAPTER 5. The Topology of R. 1. Open and Closed Sets

STAT 712 MATHEMATICAL STATISTICS I

Lebesgue Measure on R n

Section 21. The Metric Topology (Continued)

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Lecture 1. Chapter 1. (Part I) Material Covered in This Lecture: Chapter 1, Chapter 2 ( ). 1. What is Statistics?

Section 31. The Separation Axioms

2.2 Annihilators, complemented subspaces

S15 MA 274: Exam 3 Study Questions

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define

CHAPTER 1. Preliminaries. 1 Set Theory

Math 455 Some notes on Cardinality and Transfinite Induction

Sets, Logic and Categories Solutions to Exercises: Chapter 2

Jónsson posets and unary Jónsson algebras

MORE ON CONTINUOUS FUNCTIONS AND SETS

int cl int cl A = int cl A.

Chapter 6 Expectation and Conditional Expectation. Lectures Definition 6.1. Two random variables defined on a probability space are said to be

(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.

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

Chapter 1 : The language of mathematics.

Chapter 4. Measure Theory. 1. Measure Spaces

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define

STAT 7032 Probability Spring Wlodek Bryc

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

Lusin sequences under CH and under Martin s Axiom

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 3 9/10/2008 CONDITIONING AND INDEPENDENCE

Measure and integration

Apprentice Linear Algebra, 1st day, 6/27/05

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Recap. The study of randomness and uncertainty Chances, odds, likelihood, expected, probably, on average,... PROBABILITY INFERENTIAL STATISTICS

Lebesgue Measure and The Cantor Set

Spring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures

4 Countability axioms

COMP Logic for Computer Scientists. Lecture 16

Lecture 6 Feb 5, The Lebesgue integral continued

Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map

Introductory Analysis I Fall 2014 Homework #5 Solutions

2. Prime and Maximal Ideals

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales

MEASURABLE 3-COLORINGS OF ACYCLIC GRAPHS CLINTON T. CONLEY AND BENJAMIN D. MILLER

Chapter 2 Metric Spaces

6. Duals of L p spaces

Introduction to Ergodic Theory

PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE

Elementary Probability. Exam Number 38119

Transcription:

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 met. In particular, Ω so that 2 Ω, Ω Ω so that Ω 2 Ω, if A Ω, then A c = A c Ω Ω so that A c 2 Ω, and if A 1, A 2,... 2 Ω so that each A i Ω, then necessarily A i Ω implying A i 2 Ω. Notice that this proof works whether or not Ω is finite, countable, or uncountable. In the case when Ω is finite, we also have 2 Ω = 2 Ω <. To prove this fact, suppose that Ω = N. The number of k element subsets of Ω is ) N k for k = 0, 1,..., N. Thus, the total number of subsets of Ω is N ) N = 2 N <. k k=0 In other words, 2 Ω = 2 Ω which shows that the power set of a finite set is necessarily finite. 2.2) Since G α is a σ-algebra for each α, it follows that G α for each α. Hence, α G α = H. Similarly, Ω G α for each α since G α is a σ-algebra. Thus, Ω α G α = H. Suppose that A H, so that A G α for each α. Since each G α is a σ-algebra, each contains A c. That is, A c G α for each α so that A c α G α = H. Finally, suppose that A 1, A 2,... H. It follows that A 1, A 2,... G α for each α so that A i G α for each α since G α is a σ-algebra. Hence, A i α G α = H. 2.3) a) Recall that to show that events E and F are equal, E = F, it suffices to show that both E F and F E. Now, let x A n so that x A n. But this means that x A 1, and x A 2, and..., or equivalently, x A c 1, and x Ac 2, and.... Hence, x A c n. 1

Conversely, suppose that x so that x A n for each n. But this means that x A n, or equivalently, x A n. Having shown both containments, DeMorgan s first law follows. A c n b) The second part now follows immediately from the first part. Let B n = A c n, so that the first part yields c Bn = B n. Taking complements of both sides gives Bn c = B n. However, the labels A n and B n are arbitrary; whence the result. 2.6) Suppose that B A, and let F = {A B : A A}. To show F is a σ-algebra of subsets of B requires that we show F, B F, F F F c F where F c means the complement of F in B, namely B \ F ), and F i F whenever F i F for each i. Since A is a σ-algebra, we know that A. Thus, we find that B = F. Similarly, since Ω A, we find that Ω B = B F. Suppose that F F. Then F = A B for some A A. Since A is a σ-algebra, we know that A c A. Therefore, F c = B \ F = B A B = B A c B c ) = B A c ) B B c ) = B A c F. Suppose that F i F. Then F i = A i B for some A i A. Since A is a σ-algebra, we know that A i A. Therefore, F i = A i B) = B A i F. Notice that nothing in the proof required that B A. Therefore, even if B Ω with B A, we still have that F is a σ-algebra. 2.9) This follows immediately from countable additivity Definition 2.3, axiom 2). Simply let A 1 = A, A 2 = B, and A n = for all n 3. Indeed this fact is simply an application of Theorem 2.2 ii). 2

2.10) Since A B = A B c ) A B) A c B) and A B c ) A B) = A B) A c B) = A B c ) A c B) =, we can apply Exercise 2.9 to conclude P A B) = P A B c ) + P A B) + P A c B). ) However, we can also write A B = A A c B). Since A A c B) =, we can again use Exercise 2.9 to conclude P A B) = P A) + P A c B) or P A c B) = P A B) P A). ) Finally, we can also write A B = B A B c ). Since B A B c ) =, a third application of Exercise 2.9 gives P A B) = P B) + P A B c ) or P A B c ) = P A B) P B). ) Substituting the expressions ) and ) into the expression ) gives P A B) = P A B c ) + P A B) + P A c B) = P A B) P B) + P A B) + P A B) P A). Solving gives as required. P A B) = P A) + P B) P A B) 2.11) Since A A c = Ω and A A c =, we can apply Exercise 2.9 to conclude 1 = P Ω) = P A A c ) = P A) + P A c ). Thus, P A) = 1 P A c ) as required. 2.12) Note that we proved this fact in our solution to Exercise 2.10. To repeat, since A B c ) A B) = A and A B c ) A B) =, an application of Exercise 2.9 gives P A) = P A B c )+P A B). Hence, P A B c ) = P A) P A B) as required. 2.14) Since A B B, it follows that P A B) P B) = 1 3. See page 9.) Since P A B) 1, we conclude from Exercise 2.10 that P A B) = P A) + P B) P A B) P A) + P B) 1 = 3 4 + 1 3 1 = 1 12. Together these imply 1 12 P A B) 1 3. 2.15) Define a new sequence of sets B n ) as follows. Let B 1 = A 1, B 2 = A 2 \ B 1, and for n 3, n 1 ) B n = A n \ B i. Then, by construction, the B n ) are pairwise disjoint, and n B m = n A m. Hence, using the finite additivity of the probability measure P, we conclude n ) n ) P A m = P B m = P B m ). 3

But, B n A n for each n, so that P B n ) P A n ). Hence, P B m ) P A m ), establishing the result. 2.17) Since is by convention finite, A. It then follows that Ω A since Ω has a finite complement, namely Ω c =. Suppose that A A. Then there are two possibilities. Either A is a finite set, or A has a finite complement. Suppose first that A is a finite set. Then A c must have a finite complement namely A = A c ). Thus, A c A. Conversely, suppose that A has a finite complement. Then A c is finite and so A c A. In either case, A A implies A c A. Next, suppose that A 1, A 2,..., A n A. Then each A i is either finite or has finite complement. If all the A i are finite, then obviously n A i is finite so that n A i A. If, on the other hand, none of the A i are finite, but each has finite complement, then n n A c i = A i is finite. That is, a finite intersection of finite sets must be finite.) But it then follows that n A i A since n A i has finite complement. Now, suppose that there is at least one finite set, and at least one set with finite complement. Without loss of generality, suppose that the finite sets are A 1,..., A j, and the sets with finite complement are A j+1,..., A n. We are assuming that 1 j < n.) Since A c j+1,..., Ac n are each finite, we have as above that n is finite. Since the intersection of a finite set with any other set is necessarily finite, we conclude that c j n n n A c i A c i = A c i = must be finite. Thus, n A i has finite complement so that Hence, A is an algebra. i A c i n A i A. A i We now show that A is not a σ-algebra. Suppose that Ω is an infinite set. Let A be a countable subset of Ω such that A c is infinite. We prove below that it is always possible to find such a set.) Since A is countable, it is possible to enumerate its members; that is, A = {x 1, x 2,...}. Now, set A i = {x i } for i = 1, 2,.... Then each A i A since A i is finite, and A i A j = for every i j. However, A i = {x 1, x 2,...} = A A since A is assumed countably infinite, and since A c is also assumed infinite. 4

Lemma. If Ω is an infinite set, then there exists A Ω such that A is countable and A c is infinite. Proof. It follows from the Axiom of Choice that every uncountable set contains a countable subset. Hence, if Ω is uncountable and A is a countable subset, then Ω \ A is also uncountable i.e., A c is infinite). Suppose, on the other hand, that Ω is countable. Enumerating its elements gives Ω = {ω 1, ω 2, ω 3,...}. Set A = {ω 1, ω 3, ω 5,...} so that both A and A c = {ω 2, ω 4, ω 6,...} are countable. 5