Subsampling estimates of the Lasso distribution.
Subsampling estimates of the Lasso distribution.
Subsampling estimates of the Lasso distribution.
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.2 Convergence in <strong>distribution</strong> 9<br />
Lemma 2.2.1.6. (Van der Vaart and Wellner, 1996, Lemma 1.3.8)<br />
(i) If X n X, <strong>the</strong>n X n is asymptotically measurable.<br />
(ii) If X n X, <strong>the</strong>n X n is tight if and only if X n is tight.<br />
Definition 2.2.1.7.<br />
(i) A vector lattice F ⊂ C b (D) is a vector space that is closed under taking positive parts,<br />
that is, if f ∈ F <strong>the</strong>n f + = f ∨ 0 ∈ F.<br />
(ii) An algebra F ⊂ C b (D) is a vector space that is closed under taking products, i.e. if<br />
f, g ∈ F, <strong>the</strong>n fg : x ↦→ f(x)g(x) ∈ F.<br />
(iii) A set <strong>of</strong> functions on F on D is said to separate points in D if, for every pair x ≠ y,<br />
<strong>the</strong>re is a f ∈ F with f(x) ≠ f(y).<br />
Lemma 2.2.1.8. (Van der Vaart and Wellner, 1996, Lemma 1.3.12)<br />
(i) Let L 1 and L 2 be finite measurable measures on D. If ∫ fdL 1 = ∫ fdL 2 for every<br />
f ∈ C b (D), <strong>the</strong>n L 1 = L 2 .<br />
(ii) Let L 1 and L 2 be tight Borel probability measures on D. If ∫ fdL 1 = ∫ fdL 2 for every<br />
f in a vector laticce F ⊂ C b (D) that contains <strong>the</strong> constant functions and separates<br />
points <strong>of</strong> D, <strong>the</strong>n L 1 = L 2 .<br />
Lemma 2.2.1.9. (Van der Vaart and Wellner, 1996, Lemma 1.3.13) Let {X n : Ω → D} n<br />
be a sequence <strong>of</strong> arbitrary maps. Suppose that {X n } n is asymptotically tight and that<br />
E ∗ f (X n ) − E ∗ f (X n ) → 0 (2.2.1.1)<br />
for every f in a subalgebra F ⊂ C b (D) that separates points <strong>of</strong> D. Then {X n } n<br />
is asymptotically<br />
measurable.<br />
Lemma 2.2.1.10. (Van der Vaart and Wellner, 1996, Lemma 1.4.3) Sequences {X n :<br />
Ω → D} n and {Y n : Ω n → E} <strong>of</strong> arbitrary random maps are asymptotically tight if and<br />
only if <strong>the</strong> same is true for (X n , Y n ) : Ω n → D × E.<br />
Lemma 2.2.1.11. (Van der Vaart and Wellner, 1996, Lemma 1.4.4) Asymptotically tight<br />
sequences {X n : Ω → D} n and {Y n : Ω n → E} are asymptotically measurable if and only if<br />
<strong>the</strong> same is true for (X n , Y n ) : Ω n → D × E.<br />
Remark. Both previous results remain true for finitely many or countably many sequences<br />
<strong>of</strong> maps.<br />
Theorem 2.2.1.12. (Van der Vaart and Wellner, 1996, Theorem 1.3.9)(Prohorov’s<br />
<strong>the</strong>orem) Let {X n : Ω n → D} be a sequence <strong>of</strong> arbitrary random maps. If {X n } n is<br />
asymptotically tight and asymptotically measurable, <strong>the</strong>n it has a subsequence {X jn } n that<br />
converges weakly to a tight Borel law.