Is the Marginal CDF of X Correctly Defined with Two Random Variables?

AI Thread Summary
The discussion centers on the correct formulation of the marginal cumulative distribution function (CDF) F(x) for two random variables X and Y. The initial proposal for F(x) involves integrating the conditional PDF of X given Y and the PDF of Y, but participants challenge its validity. It is suggested that the correct expression for the marginal CDF should be F(x) = ∫ F(x|y)f(y)dy. However, one participant asserts that the original formulation does not hold for any distribution. The conversation concludes with a consensus that the proposed marginal expression is incorrect.
zli034
Messages
106
Reaction score
0
If there are X and Y two random variables. The pdf of Y is f(y), and conditional pdf of X is f(x|y). I want to find the marginal CDF of X, the F(x). Is this correct?
F(x)=\int^{F(x|y)}_{-\infty}f(y)dy

\dfrac{d}{dx}\int^{F(x|y)}_{-\infty}f(y)dy=\int^{\infty}_{-\infty}f(x|y)f(y)dy=f(x)?
 
Last edited:
Physics news on Phys.org
The density function for x is \int_{-\infty}^{\infty}f(x|y)f(y)dy.
 
Yes, I know your logic. But I found the marginal expression today. I put it here. I want to know is it correct, or under what condition I can get F(x) that way?
 
zli034 said:
Yes, I know your logic. But I found the marginal expression today. I put it here. I want to know is it correct, or under what condition I can get F(x) that way?
It is not obvious. F(x)=\int_{-\infty}^{\infty}F(x|y)f(y)dy. I don't see how you got your integral.
 
zli034 said:
Is this correct?

No. And I don't see any distribution for which it is correct.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top