Intereting Posts

In a Hausdorff space the intersection of a chain of compact connected subspaces is compact and connected
Arrangement of the word 'Success'
Why do direct limits preserve exactness?
how to find the root of permutation
A stronger version of discrete “Liouville's theorem”
how many permutations of {1,2,…,9}
Integrate $e^{ax}\sin(bx)?$
Rainbow Hats Puzzle
Must $k$-subalgebra of $k$ be finitely generated?
Why does $k/(XY)$ have two minimal primes?
Show a convergent series $\sum a_n$, but $\sum a_n^p$ is not convergent
Is $\sigma$-finiteness unnecessary for Radon Nikodym theorem?
How many triangles can be created from a grid of certain dimensions?
prove that $\binom{n}{0}^2+\binom{n}{1}^2+\binom{n}{2}^2+\cdots+\binom{n}{n}^2=\binom{2n}{n}$
Proving a known zero of the Riemann Zeta has real part exactly 1/2

-Define $X$ and $X_1$ to be two dependent non-negative random variables.

Specifically, $X_1$ depends on two (continuous) random variables, termed $X_1^{(1)}$ and $X_1^{(2)}$, and $X$ depends on these two random variables in addition to a third one, termed $X^{(3)}$ (which is also continous r.v.).

-In a similar fashion, we define $Y$ and $Y_1$ to be two dependent non-negative random variables: $Y_1$ depends on $Y_1^{(1)}$ and $Y_1^{(2)}$, and $Y$ depends on $Y_1^{(1)}$, $Y_1^{(2)}$ and $X^{(3)}$.

-Note that $X$ and $Y$ are dependent on each other; they both depends on the same random variable $X^{(3)}$. We also note that $X_1$ is independent of $Y$, and $Y_1$ is independent of $X$.

-Let $a$, $b$, $c$, and $d$ be some non-negative constant values that the random variables can take.

Based on the above, is the following relation correct ? if so, how can we prove it ?

$$P(X_1=a,Y_1=b \mid X=c,Y=d)= P(X_1=a \mid X=c) P(Y_1=b \mid Y=d)$$

*Attempt:*

I tried to use Bayes’ theorem:

$$P(X_1=a,Y_1=b \mid X=c,Y=d)= \frac{P(X_1=a, X=c, Y_1=b, Y=d)}{P(X=c,Y=d)}$$

But how to proceed from here? How to decompose $P(X_1=a, X=c, Y_1=b, Y=d)$ ?

- $X,Y\sim U(0,1)$ are independent, $W=\max (X,Y)$.
- Identity for simple 1D random walk
- Expected area of the intersection of two circles
- Probability of rolling a dice 8 times before all numbers are shown.
- Normal Random Variable
- Probability a rotation has a small distance to a vector

I also tried to use the following relation (but I cannot prove it analytically):

$P(X_1=a,Y_1=b \mid X=c,Y=d)= P(X_1=a \mid X=c, Y=d) P(Y_1=b \mid X=c,Y=d)$. But even if this relation is correct, can we claim that $P(X_1=a \mid X=c, Y=d)=P(X_1=a \mid X=c)$ ?

PS: Clearly, $X$, $X_1$, $Y$ and $Y_1$ are discrete random variables. $X_1^{(1)}$, $X_1^{(2)}$, $X^{(3)}$, $Y_1^{(1)}$, $Y_1^{(2)}$ are continuous random variables.

- Alternative Expected Value Proof
- $Y= X+N$ what is ${\rm E}(X|Y=y)$
- Two equivalent definitions of a.s. convergence of random variables.
- How many arrangements of a (generalized) deck of (generalised) cards have pairs in them?
- Correlated joint normal distribution: calculating a probability
- Allowed probabilities under frequentism
- Different approaches to N balls and m boxes problem
- Coupon collector without replacement
- How far do I need to drive to find an empty parking spot?
- Why do we say “almost surely” in Probability Theory?

Well if you have trouble proving something, you may want to look for a counterexample.

Maybe something like this helps. Say $X_1$, $Y_1$ and $X^{(3)}$ are independent and $X=X_1+[X^{(3)}]$ and $Y=Y_1+[X^{(3)}]$, where $[\_]$ is the greatest integer function.

Then $P(X_1=a,Y_1=b \mid X=c,Y=d)=0$ for $a\neq b+c-d$.

However, you can probably (depending on the distribution) find a combination of numbers $a\neq b +c-d$ for which $P(X_1=a \mid X=c) P(Y_1=b \mid Y=d) \neq 0.$

- Direct Sum of vector subspaces
- On the centres of the dihedral groups
- Finite sum of eigenspaces (with distinct eigenvalues) is a direct sum
- Proof that every natural number is the sum of 9 cubes of natural numbers
- How to figure of the Laplace transform for $\log x$?
- Is ABC an equilateral triangle
- Reduce all cases to $x \to 0^{+}$ and $f(x),g(x) \to 0$ before proving L'Hôpital's Rule
- Find polynomials such that $(x-16)p(2x)=16(x-1)p(x)$
- What is wrong with treating $\dfrac {dy}{dx}$ as a fraction?
- Does every open manifold admit a function without critical point?
- Why is it “easier” to work with function fields than with algebraic number fields?
- Find the first few Legendre polynomials without using Rodrigues' formula
- Prove that $1 + 4 + 7 + · · · + 3n − 2 = \frac {n(3n − 1)}{2}$
- List the primes for which the following system of linear equations DOES NOT have a solution in $\mathbb{Z}_p$
- The Eigenvalues of a block matrix