Weak Convergence
[20/40%]Show by example that distribution functions having densities can converge weakly even if the densities do not converge: Hint: Consider on .
Let be times the indicator of the set of in the unit interval for which , where is the th dyadic digit. Show that except on a set of Lebesgue measure 0 ; on this exceptional set, redefine for all , so that everywhere. Show that the distributions corresponding to these densities converge weakly to Lebesgue measure confined to the unit interval.
Show that distributions with densities can converge weakly to a limit that has no density (even to a unit mass).
Show that discrete distributions can converge weakly to a distribution that has a density.
Construct an example, like that of Example 25.3, in which fails but in which all the measures come from continuous densities on .
Give a simple proof of the Gilvenko-Cantelli theorem (Theorem 20.6) under the extra hypothesis that is continuous.
Initial digits.
Show that the first significant digit of a positive number is (in the scale of 10) if and only if lies between and , , where the braces denote fractional part.
For positive numbers , let be the number among the first that have initial digit . Show that
if the sequence , is uniformly distributed modulo 1. This is true, for example, of if is irrational.
Let be the first significant digit of a positive random variable . Show that
if , where is uniformly distributed over the unit interval.
Show that for each probability measure on the line there exist probability measures with finite support such that . Show further that can be taken rational and that each point in the support can be taken rational. Thus there exists a countable set of probability measures such that every is the weak limit of some sequence from the set. The space of distribution functions is thus separable in the Lévy metric (see Problem 14.5).
Show that (25.5) implies that if .
For arbitrary random variables there exist positive constants such that .
Generalize Example 25.8 by showing for three-dimensional random vectors and constants and , that, if , and , then Hint: First show that if and , then .
Suppose that and that and are Borel functions. Let be the set of for which fails for some sequence . Suppose that and . Show that .
Suppose that the distributions of random variables and have densities and . Show that if for outside a set of Lebesgue measure 0, then .
Suppose that assumes as values , where . Suppose that and that, if is an integer varying with in such a way that , then , where is the density of a random variable . Show that .
Let have the binomial distribution with parameters and . Assume as known that
if . Deduce the DeMoivre-Laplace theorem: , where has the standard normal distribution. This is a special case of the central limit theorem; see Section 27.
Prove weak convergence in Example 25.3 by using Theorem 25.8 and the theory of the Riemann integral.
Show that probability measures satisfy if whenever .
Show that, if for all continuous with bounded support, then .
Let be Lebesgue measure confined to the unit interval; let correspond to a mass of at some point in ( ], where . Show by considering the distribution functions that if . Deduce that a bounded Borel function continuous almost everywhere on the unit interval is Riemann integrable. See Problem 17.1.
A function of positive integers has distribution function if is the weak limit of the distribution function of under the measure having probability at each of (see 2.34)). In this case (see (2.35)) for continuity points of . Show that (see (2.37)) has a distribution:
Show by the mapping theorem that it suffices to prove that has a distribution.
Let , and show by (5.45) that has distribution function , where the are independent random variables (one for each prime ) such that and .
Show that converges with probability 1. Hint: Use Theorem 22.6.
Show that (see (5.46) for the notation).
Conclude by Markov's inequality and Theorem 25.5 that has the distribution of the sum in (c).
For and , put , where is Lebesgue measure. The relative measure of is
provided that this limit exists. This is a continuous analogue of density (see (2.35)) for sets of integers. A Borel function has a distribution under ; if this converges weakly to , then
for continuity points of , and is called the distribution function of . Show that all periodic functions have distributions.
Suppose that for a nonnegative such that as . Show that is tight.
Show that the random variables and in Problems 23.3 and 23.4 converge in distribution. Show that the moments converge.
In the applications of Theorem 9.2, only a weaker result is actually needed: For each there exists a positive such that if , and , then . Prove this by using tightness and the corollary to Theorem 25.12.
Find uniformly integrable random variables for which there is no integrable satisfying for .