Skip to main content
4 of 4
deleted 55 characters in body
dohmatob
  • 6.9k
  • 1
  • 18
  • 76

Claim. If $X$ has density, then $L(S_p^n,t) \longrightarrow 0$ in the limit $t \to 0^+$.

Indeed, if $X$ has density, then so does $F(X)$, for any continuous function $F:\mathbb R^n \to \mathbb R^m$. In particular, for every $w \in \mathbb R^n$, the random variable $X' w$ has density, and hence a continuous CDF. Let $R$ be a large positive number. By compacity of $S_p^n \times [-R,R]$ and the preceding argument, the function $t \mapsto \underset{w \in S_p^n,\,|u| \le R}{\sup}\mathbb P(|X'w-u| \le t)$ is continuous, and so $$ \tag{1} \lim_{t \to 0^+}\sup_{w \in S_p^n}\sup_{|u| \le R}\mathbb P(|X'w-u| \le t) = \sup_{w \in S_p^n,\,|u| \le R}\lim_{t \to 0^+}\mathbb P(|X'w-u| \le t) = 0. $$

On the other hand, if $|u| \gt R$, then $|X'w-u| \ge ||X'w| - |u|| \ge |u| - |X'w| \gt R-|X'w|$, and so for any $t \ge 0$, one computes $$ \begin{split} \sup_{w \in S_p^n}\sup_{|u| \gt R} \mathbb P(|X'w-u| \le t) &\le \mathbb P(R - |X'w| \le t) \le \sup_{w \in S_p^n} \mathbb P(|X'w| \ge R - t)\\ & \le \mathbb P(\sup_{w \in S_p^n} |X'w| \ge R - t)\\ &= \mathbb P(\|X\|_q \ge R - t) \longrightarrow 0 \text{ in the limit }R \to \infty. \end{split} \tag{2} $$

In the last step, we have used the fact that the CDF of $\|X\|_q$ is continuous (because $X$ has density and so $\|X\|_q$ does too, by continuity of the $\ell_q$-norm on $\mathbb R^n$). Combining (1) and (2) completes the claim.

dohmatob
  • 6.9k
  • 1
  • 18
  • 76