Chapter 1.7

Independence, the Convolution Formula

[12/83%]
Show
LaTeX
Problem 1.7.1

Let {ξα,α∈A}\left\{ \xi_{\alpha }, \alpha \in A\right\} be an arbitrary collection of independent random variables. Is it true that any countable subcollection ξα1,ξα2,…\xi_{\alpha_{1}}, \xi_{\alpha_{2}}, \ldots, where α1,α2,…∈A\alpha_{1}, \alpha_{2}, \ldots \in A are distinct elements, and any Borel sets B1,B2,…∈B(R)B_{1}, B_{2}, \ldots \in \mathscr {B}\left(\mathbb {R}\right) satisfy the equality

P(⋂i=1∞{ξαi∈Bi})=∏i=1∞P(ξαi∈Bi) \mathbb {P}\left(\bigcap _{i=1}^{\infty }\left\{ \xi _{\alpha _{i}} \in B_{i}\right\} \right)=\prod _{i=1}^{\infty } \mathbb {P}\left(\xi _{\alpha _{i}} \in B_{i}\right)
?
Problem 1.7.2

Let ξ1,ξ2\xi_{1}, \xi_{2} be random variables, each of which is independent of the random variable ξ\xi. Is it true that the vector (ξ1,ξ2)\left(\xi_{1}, \xi_{2}\right) is also independent of the random variable ξ\xi?

?
Problem 1.7.3

Let (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) be a probability space and A\mathcal{A} an algebra of subsets of Ω\Omega such that σ(A)=F\sigma (\mathcal{A})=\mathcal{F}. Using the principle of appropriate sets, prove that for every ε>0\varepsilon >0 and B∈FB \in \mathcal{F} one can find a set A∈AA \in \mathcal{A} such that P(AΔB)≤ε\mathbb {P}\left(A \Delta B\right) \leq \varepsilon.

?
Problem 1.7.4

Let E\mathcal{E} be a π\pi-system of sets. Prove that λ(ε)=σ(ε)\lambda (\mathcal{\varepsilon })=\sigma (\mathcal{\varepsilon }) (here λ(E)\lambda (\mathcal{E}) is the smallest λ\lambda-system containing E\mathcal{E} ).

?
Problem 1.7.5

Let ξ1,…,ξn\xi_{1}, \ldots , \xi_{n} be independent identically distributed random variables with distribution function F(x)F(x). Order the values ξ1,…,ξn\xi_{1}, \ldots , \xi_{n} in nondecreasing order. This gives rise to a new sequence of random variables ξ(1)≤…≤ξ(n)\xi_{(1)} \leq \ldots \leq \xi_{(n)}. Find

  1. the distribution function of the random variable ξ(k)\xi_{(k)} for each k∈{1,…,n}k \in \left\{ 1, \ldots , n\right\}

  2. the density of the random variable ξ(k),k=1,…,n\xi_{(k)}, k=1, \ldots , n, if F(x)F(x) has density f(x);f(x) ;

  3. the density of the random vector (ξ(1),ξ(n))\left(\xi_{(1)}, \xi_{(n)}\right), if F(x)F(x) has density f(x)f(x);

  4. the density of the random vector (ξ(1),…,ξ(n))\left(\xi_{(1)}, \ldots , \xi_{(n)}\right), if F(x)F(x) has density f(x)f(x).

?
Problem 1.7.6

Random variables ξ\xi and η\eta are independent and uniformly distributed on the segment [0,a][0, a]. Find the densities of the random variables ξ+η,ξ−η,ξη,ξ/η\xi +\eta , \xi -\eta , \xi \eta , \xi / \eta.

?
Problem 1.7.7

Write the convolution formula for two discrete random variables, prove it (write the formula both for the discrete density pξ+η(x)=P(ξ+η=x)p_{\xi +\eta }(x)=\mathbb {P}\left(\xi +\eta =x\right) and for the distribution function Fξ+η(x)F_{\xi +\eta }(x)).

?
Problem 1.7.8

Random variables ξ1\xi_{1} and ξ2\xi_{2} are independent. Using the convolution formula, find the distribution of ξ1+ξ2\xi_{1}+\xi_{2}, if

  1. ξi∼Bin⁡(ni,p),i=1,2\xi_{i} \sim \operatorname {Bin}\left(n_{i}, p\right), i=1,2;

  2. ξi∼Pois⁡(λi),i=1,2\xi_{i} \sim \operatorname {Pois}\left(\lambda_{i}\right), i=1,2;

  3. ξi∼N(ai,σi2),i=1,2\xi_{i} \sim \mathcal{N}\left(a_{i}, \sigma_{i}^{2}\right), i=1,2;

  4. ξi∼Γ(αi,λ),i=1,2\xi_{i} \sim \Gamma \left(\alpha_i, \lambda \right), i=1,2.

?
Problem 1.7.9

Random variables ξ1,…,ξn\xi_{1}, \ldots , \xi_{n} are independent and have the standard normal distribution. Find the distribution of the random variable η=ξ12+…+ξn2\eta =\xi_{1}^{2}+\ldots +\xi_{n}^{2}.

?
Problem 1.7.10

Let X,YX, Y be independent random variables. Find the probability that a triangle can be formed from segments of lengths X,YX, Y and 1, if

  1. XX has a uniform distribution on the segment [0,1][0,1], and YY is exponential with parameter 11;

  2. XX has a uniform distribution on the segment [0,1][0,1], and YY has a gamma distribution with parameters (1,2)(1,2).

?
Problem 1.7.11

A random graph G(n,p)G(n, p) contains CnkC_{n}^{k} collections of kk vertices i1,…,iCnki_{1}, \ldots , i_{C_{n}^{k}}. Let Xj=I(G(n,p)∣ij=Kk),j∈{1,…,Cnk}X_{j}=I\left(\left.G(n, p)\right|_{i_{j}}=K_{k}\right), j \in \left\{ 1, \ldots , C_{n}^{k}\right\}, be the indicator that the induced subgraph of G(n,p)G(n, p) on the collection iji_{j} is complete. Is it true that any two random variables Xj1,Xj2X_{j_{1}}, X_{j_{2}} are independent? If not, is it true that for any collection of such random variables, pairwise independence implies mutual independence?

?
Problem 1.7.12

Let X,YX, Y be independent random variables having a uniform distribution on (0,1](0,1]. Prove that the quantities

ξ=cos⁡(2πX)−2ln⁡Y,η:=sin⁡(2πX)−2ln⁡Y \xi = \cos (2 \pi X)\sqrt{-2 \ln Y}, \qquad \eta := \sin (2 \pi X) \sqrt{-2 \ln Y}

are independent and have standard normal distributions.

?