Proof of the formula for the probability in a regionby Postits Tags: bivariate, distribution, double integral, probability, random vector 

#1
Jun2411, 02:54 AM

P: 5

I'd like to know how to prove (or show that it is reasonable) that the probability that a random vector [itex](X, Y)[/itex] assumes a value in the region [itex]B\subseteq \mathbb{R}^2[/itex] is
[itex](1)[/itex] [itex]Pr((X, Y) \in B)=\iint\limits_B \, f_{X,Y}(x, y) \mathrm{d}x\,\mathrm{d}y[/itex].My textbook doesn't provide much of an explanation for the above formula except that it is "the volume under the surface defined by the density and lying above the region [itex]B[/itex]." However, the univariate case is explained in the text by appealing to the fundamental theorem of calculus: [itex](2)[/itex] [itex]Pr(X \in (a, b])=Pr(X \leq b)Pr(X \leq a) = F_{X}(b)F_{X}(a) = \int_a^b \! f_{X}(x) \, \mathrm{d}x[/itex].Since my text practically proves the formula for [itex](2)[/itex] by appealing to the fundamental theorem of calculus, I've been assuming that [itex](1)[/itex] is not a definition and can be similarly proved by some theorem or set of theorems. Is this true, and if so, how can I prove [itex](1)[/itex]? Also, I should mention that I'm currently taking an introductory course in probability and have no knowledge of measure theory. Thanks, Bijan 



#2
Jun2411, 05:44 AM

P: 75

Hi Bijan.
You may generalize expression (2) easily for the case of a random vector (X,Y). Just suppose B to be the rectangular region defined as B={(x,y):[itex]x_{1}[/itex]<x[itex]\leq[/itex][itex]x_{2}[/itex], [itex]y_{1}[/itex]<y[itex]\leq[/itex][itex]y_{2}[/itex]}. From this how do you calculate P{(X,Y)[itex]\in[/itex]B} ? 



#3
Jun2411, 03:26 PM

HW Helper
P: 6,189

Welcome to PF, Postits!
Your equation (1) is actually the very definition of f_{X,Y}(x,y). Or rather, usually it is defined something like: [tex]f_{X,Y}(x, y)dxdy = Pr((X, Y) \in dS)[/tex] where dS is the infinitesimal surface element at (x, y) with size (dx,dy). Your equation (1) is the summation (i.e. integral) of all the infinitesimal elements that belong to B. 



#4
Jun2411, 08:04 PM

P: 5

Proof of the formula for the probability in a region
I like Serena:
I haven't learned a formal way of dealing with infinitesimals, so I don't really understand that definition. I became very confused when I tried to think of the rationale for it. Karax: So if [itex]B[/itex] is the region [itex]B=\{(x,y):x_{1} < x \le x_{2}, y_{1} < y \le y_{2}\}[/itex], then the probability that [itex](X, Y)[/itex] assumes a value in [itex]B[/itex] is [itex]Pr((X, Y) \in B)=Pr(x_{1} < X \le x_{2}, y_{1} < Y \le y_{2})[/itex].From this document, I've learned that I can use a "divide and conquer approach" to prove that [itex]Pr(x_{1} < X \le x_{2}, y_{1} < Y \le y_{2})=F_{X,Y}(x_{2},y_{2})F_{X,Y}(x_{1},y_{2})F_{X,Y}(x_{2},y_{1})+F_{X,Y}(x_{1},y_{1})[/itex].Now that I know this, I don't know how to get from that last equation to [itex](3)[/itex] [itex]Pr(x_{1} < X \le x_{2}, y_{1} < Y \le y_{2})=\iint\limits_B f_{X,Y}(x,y) \, \mathrm{d}x\,\mathrm{d}y[/itex],which is basically [itex](1)[/itex]. I'm uncomfortable with the notion that [itex](3)[/itex] or [itex](1)[/itex] could be a definition since my textbook felt the need to prove [itex](2)[/itex] by appealing to the fundamental theorem of calculus. If we should use [itex](3)[/itex] as some general definition, then I'd like to know "why" in order to feel more comfortable. Thank you! :) Bijan 



#5
Jun2411, 08:21 PM

Mentor
P: 16,545

Hi Postits!
[tex]F_{X,Y}(x_1,y_1)=\iint_{B_{x_1,y_1}}{f_{X,Y}(x,y)dxdy}[/tex] with [itex]B_{x_1,y_1}=\{(x,y)~\vert~x\leq x_1,y\leq y_1\}[/itex]. Now, we have that [tex]F_{X,Y}(x_2,y_2)F_{X,Y}(x_1,y_2)F_{X,Y}(x_2,y_1)+F_{X,Y}(x_1,y_1)=\iint_{(B_{x_2,y_2}\setminus (B_{x_1,y_2}\cup B_{x_2,y_1}))\cup B_{x_1,y_1}}{f_{X,Y}(x,y)dxdy}[/tex] So you still need to show that [tex](B_{x_2,y_2}\setminus (B_{x_1,y_2}\cup B_{x_2,y_1})\cup B_{x_1,y_1}=B[/tex] 



#6
Jun2411, 08:41 PM

HW Helper
P: 6,189

Hmm, actually that is not sufficient, since there is no claim that B is rectangular.
But to "proof" stuff like this is really delving into calculus. I would tend to proof it by saying something like: "it is immediately obvious that ..." or "from the definition of an integral it is clear that ...". I believe that is basically what the text book did. ;) I guess formally you would have to make a "partition" of B into rectangles. Then each rectangle would have to mapped on to the proof micromass just started. And next you would need to take the limit of this partition to infinitely small elements. Then again, it's quite some time ago that I did stuff like that, so if that is what you want to learn, I'll leave that to micromass! Did you know that micromass's nick name is proofguy? (Just made that up! ) 



#7
Jun2411, 08:45 PM

Mentor
P: 16,545

Ah, B is not supposed to be rectangular?? Hmm, that makes things annoying. You'll have to know something about sigmaalgebras and lambdasystems then... Let's just say that, if your book doesn't mention a proof and doesn't mention sigmaalgebra, then I guess you can take the formula on faith...




#8
Jun2411, 08:54 PM

P: 5

No! I am totally fine with assuming that B is rectangular. I'm just trying to decipher micro's post right now.




#9
Jun2411, 08:54 PM

HW Helper
P: 6,189

@MM: Did you see that the text book used a very strict definition of B saying: "For any reasonably wellbehaved region B ⊆ R2"? ;)




#10
Jun2411, 08:59 PM

Mentor
P: 16,545

For the OP: maybe my post is more difficult than it should be. I'll post a new version... 



#11
Jun2411, 09:04 PM

Mentor
P: 16,545

You are correct, (1) and (3) are not definitions. The only defiinition that's made is
[tex]F_{X,Y}(x_1,y_1)=\iint_{B_{x_1,y_1}}{f_{X,Y}(x,y)dxdy}[/tex] with [itex]B_{x_1,y_1}=\{(x,y)~\vert~x\leq x_1,y\leq y_1\}[/itex]. But, if we use the characteristic functions: [itex]I_A(x)=\left\{\begin{array}{c} 0~\text{if}~x\notin A\\ 1~\text{if}~x\in A\\ \end{array}\right.[/itex] Then we can write this as [tex]F_{X,Y}(x_1,y_1)=\iint{I_{B_{x_1,y_1}}f_{X,Y}(x,y)dxdy}[/tex] Now, we have that [tex]F_{X,Y}(x_2,y_2)F_{X,Y}(x_1,y_2)F_{X,Y}(x_2,y_1)+F_{X,Y}(x_1,y_1)=\iint{I_{(B_{x_2,y_2}}I_{B_{x_1,y_2}}I_{B_{x_2,y_1}}+I_{B_{x_1,y_1}})f_{X,Y}(x,y)dxdy}[/tex] So you still need to show that [tex]I_{B_{x_2,y_2}}I_{B_{x_1,y_2}}I_{B_{x_2,y_1}}+I_{B_{x_1,y_1}}=I_B[/tex] This should be a lot easier than what I originally wrote... 



#12
Jun2511, 06:17 AM

P: 75

Hi Bijan.
In your post #4, you got it yet !! The "divide and conquer approach" of your book is the fundamental theorem of calculus, a little hidden. It is useful to draw the rectangular area B, with its four corners (x[itex]_{1}[/itex],y[itex]_{1}[/itex]) , (x[itex]_{1}[/itex],y[itex]_{2}[/itex]) , (x[itex]_{2}[/itex],y[itex]_{1}[/itex]) and (x[itex]_{2}[/itex],y[itex]_{2}[/itex]), and try to visualize graphically where the result of the "divide and conquer approach" comes from. Now we'll try to identify each term in your expression. It is useful to go on and shadow the region corresponding to each term: First term in the expression is F[itex]_{X,Y}[/itex](x[itex]_{2}[/itex],y[itex]_{2}[/itex]): this amounts for the volume between F[itex]_{X,Y}[/itex] and the region {x[itex]\leq[/itex]x[itex]_{2}[/itex],y[itex]\leq[/itex]y[itex]_{2}[/itex]}. This is all the region in XYplane on the left and below the topright corner (x[itex]_{2}[/itex],y[itex]_{2}[/itex]). Clearly this region includes region B, but is greater. Next terms will correct the excess. Second term is  F[itex]_{X,Y}[/itex](x[itex]_{1}[/itex],y[itex]_{2}[/itex]): This amounts for the region on the left and below the topleft corner (x[itex]_{1}[/itex],y[itex]_{2}.[/itex]). This region does not belong to B. That's why we subtract it, in order to correct the excess involved in the first term. And the same for the third and fourth terms. Well, after that, and with this geometric image in mind, let us go with the expression (1) of your first post: P{(X,Y)[itex]\in[/itex] B} = [itex]\int[/itex][itex]\int[/itex]f[itex]_{X,Y}[/itex](x,y)dxdy. We have obtained the term in the left side. Let us go with the integral. With the geometric image in mind, it is easy to write down the integral term as (schematically, my Latex ability is rather bad...): Integral (B) = Integral (x[itex]_{1}[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{2}[/itex],y[itex]_{1}[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{2}[/itex]) = Integral(x[itex]_{1}[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{2}[/itex],[itex]\infty[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{2}[/itex])  Integral(x[itex]_{1}[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{2}[/itex],[itex]\infty[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{1}[/itex]) = Integral([itex]\infty[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{2}[/itex],[itex]\infty[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{2}[/itex])  Integral([itex]\infty[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{1}[/itex],[itex]\infty[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{2}[/itex])  Integral([itex]\infty[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{2}[/itex],[itex]\infty[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{1}[/itex]) + Integral([itex]\infty[/itex][itex]\leq[/itex] x [itex]\leq[/itex]x[itex]_{1}[/itex],[itex]\infty[/itex][itex]\leq[/itex]y[itex]\leq[/itex] y [itex]_{1}[/itex]). This four terms are exactly the four terms we obtained earlier. And we have applied just the fundamental theorem of calculus. By the way, there is no restriction in consider B to be a rectangular region. As you know from the theory of integration, all region in R[itex]^{n}[/itex] can be treated as the limit of a rectangular region. It is not necessary to dwell into measure theory subtleties... 



#13
Jul411, 07:40 PM

P: 6

If the density is _defined_ as a RadonNikodym derivative, then (1) is basically the statement of the RadonNikodym theorem, in which case it is true by definition. Then (2) becomes a proof that the density is equal to the derivative of the distribution function.



Register to reply 
Related Discussions  
Probability Problem Using Formula for Combinations  Calculus & Beyond Homework  9  
The probability of an electron being found in a certain region  probably easy?  Advanced Physics Homework  2  
Probability formula..  Precalculus Mathematics Homework  3  
Please help with a probability formula  Set Theory, Logic, Probability, Statistics  5  
probability of classically forbidden region  Quantum Physics  1 