4
$\begingroup$

My question is convergence in distribution seems to be defined differently in Wikipedia and in Kai Lai Chung's book. My view is that the one by Wikipedia is a standard definition of convergence in distribution, and the one by Chung is actually vague convergence not convergence in distribution. I wonder if the two definitions are equivalent, and why?

Following are relevant quotes from the two sources:

  1. From Wikipedia

    A sequence $\{X_1, X_2, …\}$ of random variables is said to converge in distribution to a random variable $X$ if $$ \lim_{n\to \infty} F_n(x) = F(x)$$ for every number $x ∈ \mathbb{R}$ at which $F$ is continuous. Here $F_n$ and $F$ are the cumulative distribution functions of random variables $X_n$ and $X$ correspondingly.

  2. From Kai Lai Chung's A course in probability theory, consider (sub)probability measures (s.p.m.'s or p.m.'s) on $\mathbb{R}$.

    definition of convergence "in distribution" (in dist.)- A sequence of r.v.'s $\{X_n\}$ is said to converge in distribution to d.f. $F$ iff the sequence $\{F_n\}$ of corresponding d.f.'s converges vaguely to the d.f. $F$.

    My rephrase of vague convergence of a sequence of distribution functions (d.f.'s) based on the same book is

    We say that $F_n$ converges vaguely to $F$, if their s.p.m.'s are $\mu_n$ and $\mu$, and $\mu_n$ converges to $\mu$ vaguely.

    On p85 of Chung's book, vague convergence of a sequence of s.p.m.'s is defined as

    a sequence of subprobability measures (s.p.m.'s) $\{ \mu_n, n\geq 1 \}$ is said vaguely converge to another subprobablity measure $\mu$ on $\mathbb{R}$, if there exists a dense subset $D$ of the real line $\mathbb{R}$ so that $ \forall a \text{ and } b \in D \text{ with } a .

Thanks and regards!

  • 0
    Every countably infinite subset of the real line, and only those, can be discontinuity sets for weakly increasing functions, and in particular for CDFs. Next question: _which_ dense subsets of hte line can occur in the role of what you call $D$?2012-02-27
  • 0
    @MichaelHardy: Thanks! (1) are your both questions addressing the definition of vague convergence of a sequence of s.p.m.'s in the last quote? (2) What is your first point trying to say? (3) To your second question, the definition in the last quote says existence of a dense subset D in R, which depends on the sequence $\{\mu_n\}$ and $\mu$. That is my understanding.2012-02-28
  • 0
    Tim, these definitions are equivalent. The only difference is the usual difference between convergence in distribution and vague convergence, which is that vague convergence can be to an arbitrary measure (i.e. it need not have mass 1) while convergence in distribution requires that the limiting measure assign mass one to the probability space. It takes a little analysis to show that convergence on a dense set of points is sufficient for convergence at all points of continuity, but if I recall a full proof is in Durrett.2012-02-28
  • 0
    @Chris: Thanks! (1) Distribution functions can be defined for general measures on $\mathbb{R}$, not just probability measures. So why can't convergence in distribution be defined for general measures? (2) I appreciate if you can point out where in Durrett's which book the equivalence of convergence in distribution and vague convergence appears. I hope to see if the equivalence is for general measures, not just for probability measures.2012-02-28
  • 0
    Convergence in distribution is not equivalent to vague convergence; it is equivalent to vague convergence with the added assumption of tightness, which is what prevents mass from escaping (it is a conservation requirement). You can certainly define a notion of convergence of the distribution functions pointwise for an arbitrary measure but that is actually vague convergence if you do not have a tightness requirement. That theory is quite well developed as it is just the usual weak convergence of measures.2012-02-28
  • 0
    On a locally compact Hausdorff space you can view it as the convergence of integrals of continuous functions with compact support evaluated against the measure. If you want a convergence which is equivalent to convergence in distribution, you need to add an additional requirement to ensure that mass is conserved. That form of convergence is equivalent to the convergence of the integrals of bounded continuous functions against the measure (since they need not be compactly supported, you gain control over the mass escaping to infinity).2012-02-28
  • 0
    By the way it occurs to me that what I call the "usual weak convergence of measures" is probably not what you think of when you think of weak convergence of measures. I mean that in the sense that by the Riesz Representation theorem we can represent bounded (or positive) functionals on the space of continuous functions with compact support as measures. Convergence here is actually different from the probabilistic weak convergence (it is vague convergence), which as I said above is defined for functions which are merely bounded and continuous.2012-02-28

0 Answers 0