Statistics Graduate Level Quiz: Slutskys And Continuous Mapping Theorems
10 questions · exam conditions
0:00
Slutskys And Continuous Mapping TheoremsQuestion 1 of 10

Let XndXX_n\xrightarrow{d}X, and define In=1{Xn0}I_n=\mathbf{1}\{X_n\leq 0\}. Which condition is sufficient for concluding that Ind1{X0}I_n\xrightarrow{d}\mathbf{1}\{X\leq 0\} by the extended continuous mapping theorem?

It is sufficient that P(X=0)=0P(X=0)=0, even if the distributions of the variables XnX_n have atoms at zero.
It is sufficient that every variable XnX_n have a continuous distribution, regardless of whether P(X=0)>0P(X=0)>0.
It is necessary that XnpXX_n\xrightarrow{p}X, because weak convergence cannot be preserved by an indicator function.
It is necessary that P(Xn=0)=0P(X_n=0)=0 for every nn and that the variables XnX_n be mutually independent.
← Back to quizzes

Statistics Graduate Level Quiz

Statistics Graduate Level Quiz: Slutskys And Continuous Mapping Theorems

Practice Slutskys And Continuous Mapping Theorems in Statistics Graduate Level with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Slutskys And Continuous Mapping Theorems, giving you a quick way to practice the rules, question types, and explanations that matter most for Statistics Graduate Level.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

Let XndXX_n\xrightarrow{d}X, and define In=1{Xn0}I_n=\mathbf{1}\{X_n\leq 0\}. Which condition is sufficient for concluding that Ind1{X0}I_n\xrightarrow{d}\mathbf{1}\{X\leq 0\} by the extended continuous mapping theorem?

  1. It is sufficient that P(X=0)=0P(X=0)=0, even if the distributions of the variables XnX_n have atoms at zero. (correct answer)
  2. It is sufficient that every variable XnX_n have a continuous distribution, regardless of whether P(X=0)>0P(X=0)>0.
  3. It is necessary that XnpXX_n\xrightarrow{p}X, because weak convergence cannot be preserved by an indicator function.
  4. It is necessary that P(Xn=0)=0P(X_n=0)=0 for every nn and that the variables XnX_n be mutually independent.
Explanation: Whenever you see a question involving convergence in distribution composed with a function, reach for the Continuous Mapping Theorem (CMT). The extended version states that if XndXX_n \xrightarrow{d} X and gg is measurable, then g(Xn)dg(X)g(X_n) \xrightarrow{d} g(X), provided P(XDg)=0P(X \in D_g) = 0, where DgD_g is the set of discontinuities of gg. Here, g(x)=1{x0}g(x) = \mathbf{1}\{x \leq 0\}, which is discontinuous at exactly one point: x=0x = 0. The CMT therefore applies as long as P(X=0)=0P(X = 0) = 0 — that is, as long as the limiting variable XX places no mass at the single discontinuity of gg. The distributions of the XnX_n themselves are irrelevant to this condition; the CMT only cares about the limiting distribution. This confirms that A is correct: P(X=0)=0P(X = 0) = 0 is sufficient, and it doesn't matter whether the XnX_n have atoms at zero. B is wrong because continuity of each XnX_n's distribution is neither necessary nor sufficient — the condition must be placed on XX, not the sequence. C is a fundamental misconception: convergence in distribution absolutely can be preserved by functions via the CMT; convergence in probability is a strictly stronger condition and is not required here. D introduces independence of the XnX_n, which is completely irrelevant — the CMT says nothing about joint structure of the sequence, only about the limit's distribution at discontinuity points. Study tip: For CMT problems, always identify the discontinuity set of gg first, then check whether the limit XX assigns it zero probability — the sequence's behavior is a red herring.

Question 2

For each nn, let XnX_n and YnY_n be random variables satisfying XndN(0,1)X_n\xrightarrow{d}N(0,1) and YndN(0,1)Y_n\xrightarrow{d}N(0,1). No information about their joint dependence is available. Which conclusion about Xn+YnX_n+Y_n is justified?

  1. It converges to N(0,2)N(0,2) because the limiting marginal variances add under convergence in distribution.
  2. It converges to N(0,4)N(0,4) because the two marginal limits may be represented by the same normal variable.
  3. It converges in probability to zero because the two centered marginal limits cancel asymptotically.
  4. Its limiting distribution is not determined from the two marginal convergence statements alone. (correct answer)
Explanation: Whenever you see a question involving convergence in distribution of multiple random variables, your first instinct should be: what do we know about their joint distribution? Marginal convergence statements tell you nothing about dependence structure, and sums depend critically on that structure. Here's why D is correct. Consider two extreme cases. If XnX_n and YnY_n are independent with each converging to N(0,1)N(0,1), then Xn+YndN(0,2)X_n + Y_n \xrightarrow{d} N(0,2). But if Yn=XnY_n = -X_n for every nn, then both marginals still converge to N(0,1)N(0,1), yet Xn+Yn=0X_n + Y_n = 0 for all nn, which converges to a point mass at zero. You can also construct a coupling where Yn=XnY_n = X_n, giving Xn+YndN(0,4)X_n + Y_n \xrightarrow{d} N(0,4). Since different dependence structures yield completely different limiting distributions, the marginal convergences alone are insufficient to determine the limit of the sum. A is wrong because variances of marginals do not simply add under convergence in distribution when dependence is unknown — that rule applies to independent random variables, not arbitrary ones. B is wrong for the opposite extreme: representing both limits by the same normal variable (i.e., assuming perfect positive dependence) is just one possibility, not a necessity. C is wrong because cancellation to zero requires YnXnY_n \approx -X_n, which is a specific dependence assumption that is not given. The key study takeaway: convergence in distribution is a marginal statement. To analyze functions of multiple sequences (like sums), you need joint convergence — typically established via the continuous mapping theorem or Slutsky's theorem, both of which require additional structural assumptions.

Question 3

Suppose nXnpλnX_n\xrightarrow{p}\lambda for a finite constant λ\lambda, and assume P(Xn>1)1P(X_n>-1)\to1. What is the probability limit of (1+Xn)n(1+X_n)^n?

  1. 1+λ,1+\lambda, obtained by replacing the power expression with its first-order binomial approximation.
  2. eλ,e^\lambda, obtained by applying Slutsky's theorem to the logarithm of the expression. (correct answer)
  3. eλ2/2,e^{\lambda^2/2}, obtained by retaining the leading quadratic term in the logarithmic expansion.
  4. No limit is implied because the transformation x(1+x)nx\mapsto(1+x)^n changes with nn.
Explanation: When you see an expression like (1+Xn)n(1+X_n)^n where Xn0X_n \to 0 in probability, your instinct should be to take the logarithm and invoke the classical limit limn(1+an)n=eL\lim_{n\to\infty}(1+a_n)^n = e^L whenever nanLna_n \to L. This is a convergence-in-probability analogue of a fundamental deterministic result. The key move is writing log(1+Xn)n=nlog(1+Xn)\log(1+X_n)^n = n\log(1+X_n). Since nXnpλnX_n \xrightarrow{p} \lambda, we know Xnp0X_n \xrightarrow{p} 0. Using the Taylor expansion log(1+x)xx2/2+\log(1+x) \approx x - x^2/2 + \cdots near zero, we get nlog(1+Xn)=nXnlog(1+Xn)Xnpλ1=λn\log(1+X_n) = nX_n \cdot \frac{\log(1+X_n)}{X_n} \xrightarrow{p} \lambda \cdot 1 = \lambda, since the ratio log(1+Xn)Xnp1\frac{\log(1+X_n)}{X_n} \xrightarrow{p} 1 by continuity. Applying the continuous mapping theorem to exe^x then gives (1+Xn)npeλ(1+X_n)^n \xrightarrow{p} e^\lambda, confirming B. Choice A is wrong because the first-order binomial approximation (1+Xn)n1+nXn(1+X_n)^n \approx 1 + nX_n is only valid when nXnnX_n is small — here nXnλnX_n \to \lambda, a finite but potentially nonzero constant, and the higher-order terms in the exponential expansion matter crucially. Choice C incorrectly retains only the quadratic term from log(1+x)xx2/2\log(1+x) \approx x - x^2/2, but since Xn=O(1/n)X_n = O(1/n), the term nXn20nX_n^2 \to 0, so the quadratic contribution vanishes and does not alter the exponent. Choice D reflects a common confusion: the fact that the transformation changes with nn does not prevent convergence. The continuous mapping theorem and probabilistic limit arguments handle sequences of transformations when the limit is well-defined. Study tip: Whenever you see (1+small)n(1+\text{small})^n, immediately take logarithms and use log(1+x)/x1\log(1+x)/x \to 1. This logarithm-then-exponentiate strategy is your go-to tool for limits of this form.

Question 4

Suppose Tndχk2T_n\xrightarrow{d}\chi_k^2 and a data-dependent critical value satisfies cnpq1αc_n\xrightarrow{p}q_{1-\alpha}, where q1αq_{1-\alpha} is the upper α\alpha critical value of the χk2\chi_k^2 distribution. No independence between TnT_n and cnc_n is assumed. What is the limit of P(Tn>cn)P(T_n>c_n)?

  1. 0,0, because a consistent critical value eventually exceeds the realized value of the limiting statistic.
  2. 1α,1-\alpha, because q1αq_{1-\alpha} is the cumulative probability attained at the limiting critical value.
  3. α,\alpha, because Slutsky's theorem gives Tncndχk2q1αT_n-c_n\xrightarrow{d}\chi_k^2-q_{1-\alpha} and the boundary has probability zero. (correct answer)
  4. The limit is undetermined unless TnT_n and cnc_n are asymptotically independent.
Explanation: When a test statistic converges in distribution and a critical value converges in probability, your instinct should be to reach for Slutsky's theorem: if XndXX_n \xrightarrow{d} X and YnpcY_n \xrightarrow{p} c, then XnYndXcX_n - Y_n \xrightarrow{d} X - c, regardless of the dependence structure between XnX_n and YnY_n. This is the key insight the question is testing. Applying Slutsky directly, Tncndχk2q1αT_n - c_n \xrightarrow{d} \chi_k^2 - q_{1-\alpha}. Then: P(Tn>cn)=P(Tncn>0)P(χk2q1α>0)=P(χk2>q1α)=αP(T_n > c_n) = P(T_n - c_n > 0) \to P(\chi_k^2 - q_{1-\alpha} > 0) = P(\chi_k^2 > q_{1-\alpha}) = \alpha The last step uses the fact that q1αq_{1-\alpha} is defined as the upper-α\alpha quantile of χk2\chi_k^2, and since χk2\chi_k^2 is continuous, the boundary point {X=q1α}\{X = q_{1-\alpha}\} has probability zero. This confirms C is correct. A is wrong because it confuses almost-sure behavior with distributional convergence — cnpq1αc_n \xrightarrow{p} q_{1-\alpha} does not mean cnc_n eventually exceeds TnT_n with certainty; the probability approaches α\alpha, not 0. B is wrong because 1α1 - \alpha is the CDF evaluated at q1αq_{1-\alpha}, i.e., P(χk2q1α)P(\chi_k^2 \leq q_{1-\alpha}). The question asks for the tail probability P(Tn>cn)P(T_n > c_n), which is the complement. D is the most tempting distractor. Slutsky's theorem is precisely powerful because it requires no independence assumption — only that one sequence converges in probability to a constant. Study tip: Whenever you see d\xrightarrow{d} paired with p\xrightarrow{p} to a constant, Slutsky's theorem applies unconditionally — independence is never required when the second limit is a constant.

Question 5

Suppose an estimator satisfies n(θ^nθ)dN(0,V),\sqrt{n}(\widehat{\theta}_n-\theta)\xrightarrow{d}N(0,V), where 0<V<0<V<\infty, and suppose V^npV\widehat{V}_n\xrightarrow{p}V. No independence between θ^n\widehat{\theta}_n and V^n\widehat{V}_n is assumed. What is the limiting distribution of Tn=n(θ^nθ)V^n?T_n=\frac{\sqrt{n}(\widehat{\theta}_n-\theta)}{\sqrt{\widehat{V}_n}}?

  1. TndN(0,1),T_n\xrightarrow{d}N(0,1), because the denominator converges in probability to the positive constant V\sqrt V. (correct answer)
  2. TndN(0,V),T_n\xrightarrow{d}N(0,V), because replacing a parameter by a consistent estimator does not alter the original variance.
  3. Tnp0,T_n\xrightarrow{p}0, because both the numerator and denominator are based on consistent estimators of fixed quantities.
  4. The limit cannot be determined unless the numerator and denominator are asymptotically independent.
Explanation: When you see a question involving a standardized statistic where a variance parameter is replaced by a consistent estimator, your instinct should be to reach for Slutsky's theorem: if XndXX_n \xrightarrow{d} X and YnpcY_n \xrightarrow{p} c (a constant), then Xn/YndX/cX_n / Y_n \xrightarrow{d} X/c, regardless of any dependence structure between XnX_n and YnY_n. Here, the numerator n(θ^nθ)dN(0,V)\sqrt{n}(\widehat{\theta}_n - \theta) \xrightarrow{d} N(0,V), and since V^npV>0\widehat{V}_n \xrightarrow{p} V > 0, the continuous mapping theorem gives V^npV\sqrt{\widehat{V}_n} \xrightarrow{p} \sqrt{V}. Applying Slutsky's theorem, Tn=n(θ^nθ)V^ndN(0,V)V=N ⁣(0,VV)=N(0,1).T_n = \frac{\sqrt{n}(\widehat{\theta}_n-\theta)}{\sqrt{\widehat{V}_n}} \xrightarrow{d} \frac{N(0,V)}{\sqrt{V}} = N\!\left(0, \frac{V}{V}\right) = N(0,1). This confirms A is correct. B is wrong because dividing by V^n\sqrt{\widehat{V}_n} does alter the limiting variance — it normalizes it to 1, not leaves it at VV. C is wrong because the numerator does not converge in probability to zero; it diverges in distribution to a non-degenerate normal after the n\sqrt{n} scaling. The ratio stabilizes to a non-trivial limit. D is the most tempting distractor — students often believe Slutsky's theorem requires independence. It does not; independence is sufficient but not necessary. Slutsky's theorem only requires convergence in distribution for one sequence and convergence in probability for the other. Your takeaway: Slutsky's theorem does not require independence. Anytime you see a consistent estimator plugged into a denominator (or any continuous function), you can apply it freely — this is the backbone of virtually every asymptotic tt-statistic argument in statistics.

Question 6

Let β^n\widehat\beta_n estimate a parameter β0Rk\beta_0\in\mathbb R^k, and suppose n(β^nβ0)dNk(0,Σ)\sqrt n(\widehat\beta_n-\beta_0)\xrightarrow{d}N_k(0,\Sigma), where Σ\Sigma is positive definite. If Σ^npΣ\widehat\Sigma_n\xrightarrow{p}\Sigma and is invertible with probability approaching one, what is the limit of Wn=n(β^nβ0)TΣ^n1(β^nβ0)?W_n=n(\widehat\beta_n-\beta_0)^{\mathsf T}\widehat\Sigma_n^{-1}(\widehat\beta_n-\beta_0)?

  1. Wnpk,W_n\xrightarrow{p}k, because the mean of the limiting quadratic form equals the parameter dimension.
  2. WndN(k,2k),W_n\xrightarrow{d}N(k,2k), because a quadratic form in a normal vector is asymptotically normal.
  3. Wndχ12,W_n\xrightarrow{d}\chi_1^2, because the quadratic form reduces the vector estimator to one scalar statistic.
  4. Wndχk2,W_n\xrightarrow{d}\chi_k^2, because consistent matrix inversion and Slutsky's theorem produce a standardized quadratic form. (correct answer)
Explanation: Whenever you see a quadratic form built from an asymptotically normal estimator and a consistently estimated covariance matrix, your instinct should be to apply the continuous mapping theorem paired with Slutsky's theorem. Here's the core reasoning for why D is correct. You know n(β^nβ0)dZNk(0,Σ)\sqrt{n}(\widehat{\beta}_n - \beta_0) \xrightarrow{d} Z \sim N_k(0, \Sigma). Since Σ^npΣ\widehat{\Sigma}_n \xrightarrow{p} \Sigma and Σ\Sigma is positive definite, by Slutsky's theorem Σ^n1pΣ1\widehat{\Sigma}_n^{-1} \xrightarrow{p} \Sigma^{-1}. The statistic WnW_n can be written as [n(β^nβ0)]TΣ^n1[n(β^nβ0)]\left[\sqrt{n}(\widehat{\beta}_n - \beta_0)\right]^{\mathsf{T}} \widehat{\Sigma}_n^{-1} \left[\sqrt{n}(\widehat{\beta}_n - \beta_0)\right], which converges in distribution to ZTΣ1ZZ^{\mathsf{T}}\Sigma^{-1}Z. Because Σ\Sigma is positive definite, write Σ=LLT\Sigma = L L^{\mathsf{T}}; then L1ZNk(0,Ik)L^{-1}Z \sim N_k(0, I_k), so ZTΣ1Z=L1Z2χk2Z^{\mathsf{T}}\Sigma^{-1}Z = \|L^{-1}Z\|^2 \sim \chi^2_k. The degrees of freedom equal the dimension kk of the parameter vector, confirming D. A contains a grain of truth — E[χk2]=k\mathbb{E}[\chi^2_k] = k — but convergence in distribution to χk2\chi^2_k is not the same as convergence in probability to the constant kk. That would require the variance to vanish, which it does not. B is wrong because quadratic forms in normal vectors follow chi-squared distributions, not normal distributions. A χk2\chi^2_k variable has mean kk and variance 2k2k, but the distribution itself is decidedly non-normal. C confuses dimension reduction with degrees of freedom. Collapsing a kk-vector into one scalar statistic does not produce χ12\chi^2_1 unless k=1k=1; the degrees of freedom track the rank of the quadratic form, which is kk. Study tip: Memorize the chain — asymptotic normality + consistent covariance estimator + Slutsky + CMT = χk2\chi^2_k Wald statistic. This is the backbone of virtually every large-sample hypothesis test you will encounter.

Question 7

Suppose θ0\theta\neq0 and n(θ^nθ)dN(0,σ2)\sqrt n(\widehat\theta_n-\theta)\xrightarrow{d}N(0,\sigma^2). Using an algebraic decomposition followed by Slutsky's theorem, what is the limiting distribution of n(θ^n1θ1)?\sqrt n\left(\widehat\theta_n^{-1}-\theta^{-1}\right)?

  1. N(0,σ2θ2),N\left(0,\frac{\sigma^2}{\theta^2}\right), because taking a reciprocal divides the asymptotic variance by θ2\theta^2.
  2. N(0,σ2θ4),N\left(0,\frac{\sigma^2}{\theta^4}\right), because the random denominator converges in probability to θ2\theta^2. (correct answer)
  3. N(0,σ2θ4),N\left(0,\sigma^2\theta^4\right), because inversion reverses the scale before the limiting variance is computed.
  4. No weak limit follows because the reciprocal map is discontinuous at zero and θ^n\widehat\theta_n may approach zero.
Explanation: When you see a question asking for the limiting distribution of a transformed estimator, your first instinct should be the Delta Method — but this problem specifically asks you to use an algebraic decomposition plus Slutsky's theorem, which reveals the same result from first principles. Start by writing the key identity: θ^n1θ1=θθ^nθ^nθ\widehat\theta_n^{-1} - \theta^{-1} = \frac{\theta - \widehat\theta_n}{\widehat\theta_n \cdot \theta} Multiplying both sides by n\sqrt{n}: n(θ^n1θ1)=n(θ^nθ)θ^nθ\sqrt{n}\left(\widehat\theta_n^{-1} - \theta^{-1}\right) = \frac{-\sqrt{n}(\widehat\theta_n - \theta)}{\widehat\theta_n \cdot \theta} Now apply Slutsky's theorem. Since n(θ^nθ)dN(0,σ2)\sqrt{n}(\widehat\theta_n - \theta) \xrightarrow{d} N(0, \sigma^2) and θ^npθ\widehat\theta_n \xrightarrow{p} \theta (consistency implied by asymptotic normality), the denominator θ^nθpθ2\widehat\theta_n \cdot \theta \xrightarrow{p} \theta^2. Slutsky's theorem lets you replace the random denominator with its probability limit, giving: n(θ^n1θ1)dN ⁣(0,σ2θ4)\sqrt{n}\left(\widehat\theta_n^{-1} - \theta^{-1}\right) \xrightarrow{d} N\!\left(0,\frac{\sigma^2}{\theta^4}\right) This confirms B is correct — the θ4\theta^4 in the denominator comes from squaring the θ2\theta^2 that appears when you divide. A is wrong because dividing by θ2\theta^2 (not θ4\theta^4) would correspond to only one power of θ\theta in the denominator, misapplying the scaling. C inverts the direction of the scaling entirely — a clear algebraic error. D is a red herring; the assumption θ0\theta \neq 0 is explicitly given, so the reciprocal map is continuous at the limit point. Study tip: Whenever you apply Slutsky's theorem to a ratio, carefully track every factor in the denominator — each contributes to the final variance through squaring, which is where θ2θ4\theta^2 \to \theta^4 trips up many students.

Question 8

Suppose XndN(0,1)X_n\xrightarrow{d}N(0,1) and Ynp0Y_n\xrightarrow{p}0, with arbitrary dependence between the sequences. Define Mn=max(Xn,Yn)M_n=\max(X_n,Y_n). Which function is the cumulative distribution function of the limiting random variable?

  1. F(t)=Φ(t)F(t)=\Phi(t) for every real tt, because Slutsky's theorem replaces YnY_n by its probability limit and the standard normal CDF is unchanged.
  2. F(t)=0F(t)=0 for t<0t<0 and F(t)=Φ(t)F(t)=\Phi(t) for t0t\geq0, so the limit is a mixture with a point mass of 12\tfrac{1}{2} at zero. (correct answer)
  3. F(t)=Φ(t)2F(t)=\Phi(t)^2 for every real tt, because the maximum of two sequences with the same marginal limit has a squared CDF.
  4. F(t)=0F(t)=0 for t0t\leq0 and F(t)=2Φ(t)1F(t)=2\Phi(t)-1 for t>0t>0, giving a continuous half-normal limit with no mass at zero.
Explanation: When you see a maximum of two sequences where one converges in distribution and the other converges in probability to a constant, your instinct should be to carefully track how the maximum behaves on each side of that constant — Slutsky's theorem alone won't carry you through. Here, Ynp0Y_n \xrightarrow{p} 0, so for large nn, YnY_n is negligible except when XnX_n is also near zero. The key insight is that Mn=max(Xn,Yn)M_n = \max(X_n, Y_n). For t<0t < 0: since Ynp0Y_n \xrightarrow{p} 0, the event {Mnt}\{M_n \leq t\} requires both XntX_n \leq t and YntY_n \leq t, but P(Ynt)0P(Y_n \leq t) \to 0 for t<0t < 0, so FMn(t)0F_{M_n}(t) \to 0. For t0t \geq 0: P(Mnt)=P(Xnt,Ynt)P(M_n \leq t) = P(X_n \leq t, Y_n \leq t). Since Ynp0tY_n \xrightarrow{p} 0 \leq t, the event {Ynt}\{Y_n \leq t\} has probability approaching 1, leaving P(Mnt)Φ(t)P(M_n \leq t) \to \Phi(t). This gives a CDF that jumps from 0 to Φ(0)=12\Phi(0) = \tfrac{1}{2} at t=0t = 0, confirming answer B — a mixture with a point mass of 12\tfrac{1}{2} at zero. A misapplies Slutsky: that theorem handles sums and products of sequences, not maxima, and it ignores the truncation effect below zero. C incorrectly assumes independence and identical marginals, producing Φ(t)2\Phi(t)^2, which would only be valid if both variables were i.i.d. standard normal. D describes a half-normal, which has no mass at zero but gets the behavior for t>0t > 0 wrong — it confuses Z|Z| with max(Z,0)\max(Z, 0). The study tip: for maximum operations in limit theorems, always evaluate the CDF separately on each region, checking where the "degenerate" sequence controls the bound.

Question 9

Suppose XndN(1,4)X_n\xrightarrow{d}N(1,4) and Ynp2Y_n\xrightarrow{p}2. The two sequences may be dependent. What is the limiting distribution of Wn=YnXn+Yn1?W_n=Y_nX_n+Y_n^{-1}?

  1. WndN(52,16),W_n\xrightarrow{d}N\left(\frac{5}{2},16\right), obtained by applying the limiting affine transformation to XnX_n. (correct answer)
  2. WndN(32,4),W_n\xrightarrow{d}N\left(\frac{3}{2},4\right), because only the reciprocal term changes the limiting mean.
  3. WndN(52,8),W_n\xrightarrow{d}N\left(\frac{5}{2},8\right), because multiplication by two doubles the limiting variance.
  4. The limiting distribution is undetermined unless XnX_n and YnY_n are independent for every nn.
Explanation: When you see a sequence converging in distribution combined with another sequence converging in probability, your immediate instinct should be to reach for Slutsky's Theorem: if XndXX_n \xrightarrow{d} X and YnpcY_n \xrightarrow{p} c (a constant), then g(Xn,Yn)dg(X,c)g(X_n, Y_n) \xrightarrow{d} g(X, c) for continuous functions gg. Critically, this holds regardless of dependence between the sequences — that's what makes Slutsky so powerful. Here, apply Slutsky directly: since Ynp2Y_n \xrightarrow{p} 2, replace every YnY_n with its probability limit of 2. The function Wn=YnXn+Yn1W_n = Y_n X_n + Y_n^{-1} converges in distribution to 2X+21=2X+122X + 2^{-1} = 2X + \frac{1}{2}, where XN(1,4)X \sim N(1,4). For a normal random variable, an affine transformation aX+baX + b gives N(aμ+b, a2σ2)N(a\mu + b,\ a^2\sigma^2). So the limit is N ⁣(2(1)+12, 4(4))=N ⁣(52,16)N\!\left(2(1)+\tfrac{1}{2},\ 4(4)\right) = N\!\left(\tfrac{5}{2}, 16\right). This confirms answer A is correct. Answer B incorrectly ignores that multiplying XnX_n by 2 scales the variance — it only accounts for the mean shift from the reciprocal term. Answer C gets the mean right but miscalculates the variance: multiplying by 2 multiplies variance by 22=42^2 = 4, giving 16, not 8. Answer D is the most tempting trap — many students believe Slutsky requires independence. It does not; independence is sufficient but not necessary when one sequence converges to a constant in probability. Your study tip: memorize that Slutsky's Theorem demands only YnpcY_n \xrightarrow{p} c, not independence. Exam questions are specifically designed to make you doubt this by mentioning potential dependence — don't take the bait.

Question 10

Let ZN(0,1)Z\sim N(0,1) and define Xn=Z/nX_n=Z/n and Jn=1{Xn>0}J_n=\mathbf{1}\{X_n>0\}. Although Xnp0X_n\xrightarrow{p}0, which statement correctly describes the behavior of JnJ_n?

  1. Jnp0,J_n\xrightarrow{p}0, because applying any bounded measurable function preserves convergence in probability.
  2. Jnp1/2,J_n\xrightarrow{p}1/2, because its expectation equals one-half for every value of nn.
  3. JndBernoulli(1/2),J_n\xrightarrow{d}\operatorname{Bernoulli}(1/2), because its value equals 1{Z>0}\mathbf{1}\{Z>0\} for every nn. (correct answer)
  4. JnJ_n has no limiting distribution because the indicator map is discontinuous at the probability limit.
Explanation: When studying convergence in probability, a critical subtlety is that the continuous mapping theorem requires the limiting function to be continuous at the limit point — and indicator functions are not. Here, Xn=Z/np0X_n = Z/n \xrightarrow{p} 0, but notice something remarkable: for every fixed nn, Jn=1{Xn>0}=1{Z/n>0}=1{Z>0}J_n = \mathbf{1}\{X_n > 0\} = \mathbf{1}\{Z/n > 0\} = \mathbf{1}\{Z > 0\}. The division by nn doesn't change the sign of ZZ. So JnJ_n is literally the same random variable for every nn — it never changes. Since 1{Z>0}Bernoulli(1/2)\mathbf{1}\{Z > 0\} \sim \operatorname{Bernoulli}(1/2), the sequence trivially converges in distribution to Bernoulli(1/2)\operatorname{Bernoulli}(1/2). Answer C is correct. A is wrong because the continuous mapping theorem does not apply to all bounded measurable functions — only to those continuous at the limit. The indicator 1{>0}\mathbf{1}\{\cdot > 0\} is discontinuous at 0, which is precisely where XnX_n is converging. So you cannot conclude $$J_n \xrightarrow{p} \mathbf{1}{0 > 0} = 0$. B is subtly misleading. Yes, E[Jn]=1/2E[J_n] = 1/2 for all nn, but equal expectations do not imply convergence in probability to a constant. Convergence in probability to 1/21/2 would require JnJ_n to concentrate around 1/21/2, which a Bernoulli random variable never does. D is wrong because a limiting distribution clearly exists — as shown, JnJ_n is constant across nn. Strategy tip: Whenever you see convergence applied through a discontinuous function, stop and check whether the continuous mapping theorem actually applies. Evaluate what the transformed sequence looks like directly — sometimes, as here, the sequence is literally constant.