primary reference casella berger 2 nd edition
play

Primary reference: Casella-Berger 2 nd Edition Presentation 1-2-3: - PowerPoint PPT Presentation

Presentation 1-2-3: Axioms and Consequences Primary reference: Casella-Berger 2 nd Edition Presentation 1-2-3: Axioms and Consequences 1. P( ) 0 for all 2. P( ) = 1 ) = 3. If sets 1 , 2 , 3 ,


  1. Presentation 1-2-3: Axioms and Consequences Primary reference: Casella-Berger 2 nd Edition

  2. Presentation 1-2-3: Axioms and Consequences 1. P( 𝐡 ) β‰₯ 0 for all 𝐡 ∈ ℬ 2. P( Ω ) = 1 ∞ 𝐡 𝑗 ) = 3. If sets 𝐡 1 , 𝐡 2 , 𝐡 3 , … ∈ ℬ are pairwise disjoint, then P( Ϊ‚ 𝑗=1 ∞ 𝑄(𝐡 𝑗 ) Οƒ 𝑗=1 Why am I showing you this again? Because, dear reader, there is yet more these beauties can do! Let’s use them to prove some other basic properties. 2

  3. Presentation 1-2-3: Axioms and Consequences Of course! Throughout this lesson, we’ll look at properties dealing with the complements A and 𝐡 𝐷 , and with the more general events A and B. So for A and 𝐡 𝐷 , let’s use the coins: 𝐡 𝐷 = { } A = { } H T For more general events A and B, let’s use faces of a die as shown below. Note, however, that these events are not disjoint and their union doesn’t include every element in the sample space. Neither of these properties is necessary. We’re just trying to generalize: B = { } A ={ } B C = { A C ={ } } 3

  4. Presentation 1-2-3: Axioms and Consequences 𝑄 𝐡 𝐷 = 1 βˆ’ 𝑄(𝐡) : the probability of the complement of A is just I. 1 minus the probability of A Remember Axiom 2: P( Ω ) = 1, and the axiom of finite additivity: If sets 𝐡 βˆˆβ„¬ and 𝐢 βˆˆβ„¬ are disjoint, then 𝑄 ( 𝐡 βˆͺ 𝐢 )= 𝑄 ( 𝐡 )+ 𝑄 ( 𝐢 ) Well, 𝐡 βˆˆβ„¬ and 𝐡 𝐷 βˆˆβ„¬ are disjoint, so 𝑄 ( 𝐡 βˆͺ 𝐡 𝐷 )= 𝑄 ( 𝐡 )+ 𝑄 ( 𝐡 𝐷 ), and also remember that 𝐡 βˆͺ 𝐡 𝐷 = Ω . Put it all together and: 1 = P( Ω ) = 𝑄 ( 𝐡 βˆͺ 𝐡 𝐷 )= 𝑄 ( 𝐡 )+ 𝑄 ( 𝐡 𝐷 ) β‡’ 𝑄 ( 𝐡 )+ 𝑄 ( 𝐡 𝐷 ) =1 β‡’ 𝑄 ( 𝐡 𝐷 ) =1 - 𝑄 ( 𝐡 ) 4

  5. Presentation 1-2-3: Axioms and Consequences ) : the probability of the complement of A is just I. 𝑄( ) = 1 βˆ’ 𝑄( T H H 1 minus the probability of A H Remember Axiom 2: P( Ω ) = 1, and the axiom of finite additivity: If sets 𝐡 βˆˆβ„¬ and 𝐢 βˆˆβ„¬ are disjoint, then 𝑄 ( 𝐡 βˆͺ 𝐢 )= 𝑄 ( 𝐡 )+ 𝑄 ( 𝐢 ) Well βˆˆβ„¬ and βˆˆβ„¬ are disjoint, so 𝑄 ( βˆͺ )= 𝑄 ( )+ 𝑄 ( ), and also T H H T H T remember that βˆͺ = Ω . Put it all together and: H T 1 = P( Ω ) = 𝑄 ( βˆͺ )= 𝑄 ( )+ 𝑄 ( ) β‡’ 𝑄 ( )+ 𝑄 ( ) =1 β‡’ 𝑄 ( ) =1 - 𝑄 ( ) H T H H T T T H 5

  6. Presentation 1-2-3: Axioms and Consequences II. 𝑄(𝐡) ≀ 1 Well, we just proved that 𝑄 𝐡 𝐷 = 1 βˆ’ 𝑄(𝐡) , and since 𝐡 𝐷 βˆˆβ„¬ then by axiom 1, 𝑄 𝐡 𝐷 β‰₯ 0 , and so P(A) cannot be greater than 1, since if P(A) was greater than 1, P( 𝐡 𝐷 ) would have to be negative. 6

  7. Presentation 1-2-3: Axioms and Consequences II. 𝑄( ) ≀ 1 H ) , and since βˆˆβ„¬ then by Well, we just proved that 𝑄( ) = 1 βˆ’ 𝑄( T T H axiom 1, 𝑄( ) β‰₯ 0 , and so P( ) cannot be greater than 1, since if T H P(A ) was greater than 1, P( ) would have to be negative. T H 7

  8. Presentation 1-2-3: Axioms and Consequences III. 𝑄 βˆ… = 0 This one is my favorite because even though it’s super easy, I still choked when asked the question during my graduate exam. βˆ… ∩ Ξ© = βˆ… , so βˆ… and Ξ© are disjoint (and again both are elements of ℬ ). By the axiom of finite additivity, then, P βˆ… βˆͺ Ξ© = 𝑄 βˆ… + 𝑄 Ξ© . But at the same time, βˆ… βˆͺ Ξ© = Ξ© , and by axiom 2, 𝑄 Ξ© = 1. Put it all together: 𝑄 Ξ© = P βˆ… βˆͺ Ξ© = 𝑄 βˆ… + 𝑄 Ξ© = 𝑄 βˆ… + 1 β‡’ 𝑄 Ξ© = 1 = 𝑄 βˆ… + 1 β‡’ 1 = 𝑄 βˆ… + 1 β‡’ 𝑄 βˆ… = 0 8

  9. Presentation 1-2-3: Axioms and Consequences You’re right: they’re pretty simple , but they don’t need to be axioms, since we’re able to prove them using axioms we already have. And trust me on this: things are gonna get a little more complicated with these next three properties. I’m gonna call these properties a, b, and, c, because there’s a lot of callbacks in these three. 9

  10. Presentation 1-2-3: Axioms and Consequences a. 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐢 βˆ’ 𝑄(𝐢 ∩ 𝐡) Oh man, what are we gonna do?! Our axioms don’t even HAVE intersections in them! Okay, don’t panic, lets just arrange this in a different way and hope something comes to us… 𝑄 𝐢 ∩ 𝐡 + 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐢 Hey, wait a minute, isn’t there something funny about 𝐢 ∩ 𝐡 and 𝐢 ∩ 𝐡 𝑑 ? Let’s take the intersection of these two and investigate. By that ol ’ associative property, we have: 𝐢 ∩ 𝐡 ∩ 𝐢 ∩ 𝐡 𝑑 = (𝐢 ∩ 𝐡 ∩ 𝐢 ∩ 𝐡 𝑑 10

  11. Presentation 1-2-3: Axioms and Consequences But then, by that ol ’ commutative property, we got: 𝐡 ∩ 𝐢 ∩ 𝐡 𝑑 = 𝐢 ∩ 𝐢 ∩ 𝐡 ∩ 𝐡 𝑑 = 𝐢 ∩ 𝐢 ∩ 𝐢 ∩ βˆ… = 𝐢 ∩ βˆ… = βˆ… So 𝐢 ∩ 𝐡 ∩ 𝐢 ∩ 𝐡 𝑑 = βˆ… and thus 𝐢 ∩ 𝐡 and 𝐢 ∩ 𝐡 𝑑 are disjoint! That means we get to use that beautiful axiom of finite additivity! (though we are kind of going in reverse this time) 𝑄 𝐢 ∩ 𝐡 + 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄( 𝐢 ∩ 𝐡 βˆͺ 𝐢 ∩ 𝐡 𝑑 ) = 𝑄(𝐢 ∩ 𝐡 βˆͺ 𝐡 𝑑 ) 11

  12. Presentation 1-2-3: Axioms and Consequences But we remember (hopefully) that an event and its complement partition the sample space: 𝑄 𝐢 ∩ 𝐡 βˆͺ 𝐡 𝑑 = 𝑄 𝐢 ∩ Ξ© = 𝑄(𝐢) Ok, that was tough and took a LOT of steps, so we’re gonna combine them all into one succinct proof, and you can try to follow along: 12

  13. Presentation 1-2-3: Axioms and Consequences What we want to prove: 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐢 βˆ’ 𝑄(𝐢 ∩ 𝐡) β‡’ 𝑄 𝐢 ∩ 𝐡 𝑑 + 𝑄 𝐢 ∩ 𝐡 = 𝑄 𝐢 How we prove it: 𝑄 𝐢 ∩ 𝐡 𝑑 + 𝑄 𝐢 ∩ 𝐡 = 𝑄( 𝐢 ∩ 𝐡 𝑑 βˆͺ 𝐢 ∩ 𝐡) = 𝑄(𝐢 ∩ 𝐡 𝑑 βˆͺ 𝐡 ) = 𝑄 𝐢 ∩ Ξ© = 𝑄(𝐢) β‡’ 𝑄 𝐢 ∩ 𝐡 𝑑 + 𝑄 𝐢 ∩ 𝐡 = 𝑄(𝐢) β‡’ 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐢 βˆ’ 𝑄(𝐢 ∩ 𝐡) 13

  14. Presentation 1-2-3: Axioms and Consequences a. 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐢 βˆ’ 𝑄(𝐢 ∩ 𝐡) We’re not going to do the proof with dice because I value my sanity, but we will illustrate the property: 14

  15. Presentation 1-2-3: Axioms and Consequences b. 𝑄 𝐡 βˆͺ 𝐢 = 𝑄 𝐡 + 𝑄(𝐢) βˆ’ 𝑄(𝐡 ∩ 𝐢) 𝑄 𝐡 βˆͺ 𝐢 = 𝑄 𝐡 βˆͺ (𝐢 ∩ Ξ©) = 𝑄 𝐡 βˆͺ (𝐢 ∩ 𝐡 βˆͺ 𝐡 𝑑 ) = 𝑄 𝐡 βˆͺ (𝐢 ∩ 𝐡) βˆͺ 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐡 βˆͺ 𝐢 ∩ 𝐡 𝑑 All right, so we established that 𝑄 𝐡 βˆͺ 𝐢 = 𝑄 𝐡 βˆͺ 𝐢 ∩ 𝐡 𝑑 , and if you’re getting used to this pattern, you might be wanting to see if maybe A and 𝐢 ∩ 𝐡 𝑑 are disjoint so let’s take the intersection: 𝐡 ∩ 𝐢 ∩ 𝐡 𝑑 = (𝐡 ∩ 𝐡 𝑑 ) ∩ 𝐢 = βˆ… ∩ 𝐢 = βˆ… Aha! They’re disjoint, so we can use axiom 3!!! 15

  16. Presentation 1-2-3: Axioms and Consequences 𝑄 𝐡 βˆͺ 𝐢 = 𝑄 𝐡 βˆͺ 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐡 + 𝑄 𝐢 ∩ 𝐡 𝑑 Ok, so it looks like we’re already pretty close , but we’re stuck with this weird 𝑄 𝐢 ∩ 𝐡 𝑑 term. Or, rather, we would be if we hadn’t proven earlier that 𝑄 ( 𝐢 ∩ 𝐡 𝑑 )= 𝑄 ( 𝐢 )βˆ’ 𝑄 ( 𝐢 ∩ 𝐡 )! Let’s take it on home! 𝑄 𝐡 βˆͺ 𝐢 = 𝑄 𝐡 + 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐡 + 𝑄 𝐢 βˆ’ 𝑄(𝐢 ∩ 𝐡) Oh yeah, we did it! 16

  17. Presentation 1-2-3: Axioms and Consequences b. 𝑄 𝐡 βˆͺ 𝐢 = 𝑄 𝐡 + 𝑄(𝐢) βˆ’ 𝑄(𝐡 ∩ 𝐢) Notice how this property accounts for the double-counting caused by the overlapping

  18. Presentation 1-2-3: Axioms and Consequences c. 𝐽𝑔 𝐡 βŠ‚ 𝐢, π‘’β„Žπ‘“π‘œ 𝑄(𝐡) ≀ 𝑄(𝐢) Whoa, set notation? Since when are we combining THAT with probability functions? Well, it doesn’t really matter, this is pretty simple: If A is a subset of B, then every element of A is also an element of B so 𝐡 ∩ 𝐢 = 𝐡 ! 0 ≀ 𝑄 𝐢 ∩ 𝐡 𝑑 = 𝑄 𝐢 βˆ’ 𝑄 𝐢 ∩ 𝐡 = 𝑄 𝐢 βˆ’ 𝑄 𝐡 β‡’ 0 ≀ 𝑄 𝐢 βˆ’ 𝑄 𝐡 β‡’ 𝑄 𝐡 ≀ 𝑄 𝐢 18

  19. Presentation 1-2-3: Axioms and Consequences c. 𝐽𝑔 𝐡 βŠ‚ 𝐢, π‘’β„Žπ‘“π‘œ 𝑄(𝐡) ≀ 𝑄(𝐢) For this one we need to quickly define a set of which A is a subset, so lets define C: C = { } A ={ } π‘‡π‘—π‘œπ‘‘π‘“ 𝐡 βŠ‚ 𝐷, π‘’β„Žπ‘“π‘œ 𝑄(𝐡) ≀ 𝑄(𝐷) 19

Recommend


More recommend