NECESSARY AND SUFFICIENT CONDITION FOR ASYMPTOTIC NORMALITY OF STANDARDIZED SAMPLE MEANS
|
|
- Joan Hill
- 6 years ago
- Views:
Transcription
1 NECESSARY AND SUFFICIENT CONDITION FOR ASYMPTOTIC NORMALITY OF STANDARDIZED SAMPLE MEANS BY RAJESHWARI MAJUMDAR* AND SUMAN MAJUMDAR University of Connecticut and University of Connecticut The double sequence of standardized sample means constructed from an infinite sequence of square integrable independent random vectors in the plane with identically distributed coordinates is jointly asymptotically Normal if and only if the Cesaro means of the sequence of cross sample correlation coefficients converges to!. 1. Introduction and Results. We investigate the joint asymptotic Normality of the standardized sample means, based on two random samples from two distributions, in this paper. Hereinafter, iid will abbreviate independent and identically distributed. Let \ À 4 iid sequence of random variables, mean. and variance 1 ß4 \ À 4 iid sequence of random variables, mean. and variance. 2 2ß4 In what follows, we always assume that the index 3 runs from to. Let 8 \ \ ] œ œ œ 3 3 denote the standardized sample mean from the 3 th sample. Let F denote the standard Normal distribution on the line and F F the product measure on the plane, the bivariate standard Normal distribution. Our objective is to obtain necessary and sufficient conditions under which, a s 8 ß8 Ä, the double sequence of random vectors ] œ ] ß] converges in distribution to F F. 4 8ß8 8 8 Let < 3 denote the characteristic function (CF, hereinafter) of the standardized \ 3ß4, 3 3 which, by 1 and 2, does not depend on 4, and 0 8 that of ] 8 ; note that 3? 08 3? œ < Since, for every? d, BÈexp3?B is bounded and continuous, where u œ, by the Central Limit Theorem (CLT, hereinafter) [Dudley (1989, Theorem 9..6)] and the definition of convergence in distribution, with ' denoting the CF of F so that '? œ exp? Î, MSC 2010 subject classifications: 60E10, 60F0. Keywords and phrases: Asymptotic normality, Levy Continuity Theorem, Lindeberg Central Limit Theorem, Net and subnet, One point compactification
2 MAJUMDAR AND MAJUMDAR 2 Let < 8ß8 denote the CF of ] 8ß8 Assume that 0? œ '?. 6 8Ä and < that of F F, so that < =ß > œ exp = > Î œ ' = ' >. the sequence \ À4 is independent of the sequence \ À4. 7 8ß8 8 8 ß4 ß4 By 7, < =ß> œ 0 = 0 >. Since < =ß> œ ' = ' >, < 8ß8=ß > < =ß > ' Ÿ 0 = 0 > 0 = > 0 = ' > ' = ' > ; since every CF is bounded, by 6, for every =ß > d, < < 8ß8 Ä 8ß8 =ß > œ =ß >. 8 If 8 œ 8, then 4 follows from 8 by the Levy Continuity Theorem (LCT, hereinafter) [Dudley (1989, Theorem 9.8.2)]. Does 8 imply 4 even without the restriction 8 œ 8? The answer is yes, but to substantiate that assertion we have to come up with an appropriate LCT. We do that by: restating 4 in terms of weak convergence of induced measures, recognizing that a double sequence is a net, and formulating the LCT for nets of random vectors. The edifice thus constructed is used in establishing the main result, Theorem 1, which weakens the collection of assumptions 1, 2, and 7 that is sufficient for 4 to a collection of assumptions that includes a constituent which, in the presence of the remaining constituents, is necessary and sufficient for 4. For a separable metric space f, let Uf denote the Borel -algebra of f and `f the set of probability measures on Uf. Endowed with the topology of weak convergence, `f is metrizable as a separable metric space [Parthasarathy (1967, Theorem II.6.2)]. Since all the random elements under consideration are Borel measurable, convergence in distribution is equivalent to weak convergence of the induced probability measures [van der Vaart and Wellner (1996, page 18)]. Let Á denote the set of natural numbers; then Á Á is a directed set under the partial ordering defined by 8ß8 7ß7 Í8 7 and 8 7. A double sequence B8ß8 À 8 ß 8 taking values in f converges to B W as 8ß8 Ä if and only if the corresponding net B À Á Á converges to B. Remark 1 formulates the LCT for nets of random vectors.
3 3 ASYMPTOTIC NORMALITY Remark 1 Example 1.3. of van der Vaart and Wellner (1996) assert, without a proof, the LCT for any d -valued net of random vectors. They remark that a proof can be based on Prohorov's theorem [van der Vaart and Wellner (1996, Theorem 1.3.9)] and the uniqueness of CFs [Dudley (1989, Theorem 9..1)]. The proof of the LCT in the case of sequences first establishes that pointwise convergence of CFs implies uniform tightness of the underlying measures (using the Dominated Convergence Theorem) and then uses Prohorov's theorem and the uniqueness of CFs. However, it is not immediately clear how the Dominated Convergence Theorem and consequently, the proof of pointwise convergence of CFs implying uniform tightness in the case of sequences, generalizes to the case of netss. As such, we will use the LCT for nets only after verifying uniform tightness of the underlying measures. // Remark 2 completes the process of establishing that the collection of assumptions 1, 2, and 7 is sufficient for 4, by verifying the appropriate uniform tightness that would allow us to conclude 4 from 8. For Á, let \ denote \. Let 83 À Á Á È Á denote the order preserving and cofinal map that maps to its 3 th coordinate Remark 2 For Á Á, let ] denote ] 8 3 defined in 3 and L `d the measure induced by ] œ ] ß]. Then 4 is equivalent to (in `d ) 3ß 4œ L œ F F. 9 Recall that < œ < 8 ß8 is the CF of ], so that the assertion of 8 can be restated as < < =ß > œ =ß > 10 for every =ß > d. Once we show L À Á Á is uniformly tight, 11 by Remark 1, the LCT for nets can be used to conclude that 10 implies 9. Note that, since the kernel of the CF is bounded and continuous, 9 implies 10, so that post successful verification of 11, 9 and 10 are equivalent. 3 For Á and 3œß, let T `d denote the measure induced by \ 3ß. 3 Î 3, which, under 1 or 2, converges to F in ` d by the CLT. By 3 Proposition of Dudley (1989), T À Á is uniformly tight. Consequently, 3 3 T8 À T À 3 Á Á, being contained in Á, is uniformly tight as well. By Tychonoff's theorem and Bonneferroni's inequality, 11 follows. Note that 11 is obtained without 7, that is, by using only 1 and 2. // 3ß4
4 MAJUMDAR AND MAJUMDAR 4 We now start the process of stating Theorem 1. The triplet of assumptions 1, 2, and 7 is equivalent to the pair of assumptions \ ß4 ß\ ß4 À 4 iid sequence of random vectors 12 We first weaken the assumption in 12 to for every 4, \ß4 and \ß4 are independent. 13 \ ß4 ß\ ß4 À 4 is an independent sequence of random vectors. 14 Let us introduce some notations here. Let 0 À Á È Á Á denote the order preserving and cofinal map given by 0 œ ß. For Á Á, let 8 œ min8 ß8 and 7 œ 8 8. Let 3 4 denote the correlation coefficient between \ ß4 and \ ß, 1 and for Á Á, let 8 3 œ œ We now weaken the assumption of independence in 13 to either of Next, we introduce the assumption 3 œ! œ!. 18 Js œ F, 19 where Js `d is the measure induced on Udby \ß8 \. ß8. [ s œ œ ] ß@, d, and œ!ß. 21 / 3 / 3 Theorem 1 If 1, 2, and 14 hold, then 17, 18, 9, and 19 are equivalent.
5 ASYMPTOTIC NORMALITY Remark 3 The collection of assumptions 1, 2, 14, and 18 is weaker than the pair of assumptions 12 and 13. To see that, consider a pair of dependent but uncorrelated random variables and a sequence of iid copies of the resulting random vector. // We present the proof of Theorem 1, an important corollary to it [Proposition 1], and the auxiliary results used in the proof of Theorem 1 in Section 2. The technical results used in all the proofs of this section are assembled in two Appendices, A.1 and A Proofs. We prove Theorem 1 by showing By Lemma A.1, 17 Ê Ê 18 Ê 9 Ê 19 Ê The proofs of the remaining assertions in 22 make critical use of the compactness of!ß, the one-point compactification of Ò!ß Ñ [Dudley (1989, Theorem 2.8.1)]. Let / œ 8 Î8. Since every net taking values in a compact set has a convergent subnet [Lemma A.3 ], every subnet / 9 À Y of / À Á Á has a further subnet / 9: À such that / œ,!ß. 23 9: For subsequent use, let F F3 `d denote the Normal distribution with means!, variances, and correlation coefficient 3 ß, so that F F! œ F F, and a) ` d the Normal distribution with mean! and variance ) 0, so that a! is the point mass at! and a œ F. Proof of 18 Ê 9: Recall from Remark 2 that, under 1 and 2, 9 and 10 are equivalent. Lemma 1 is a key step in proving 18 implies 10. Lemma 1 Let 3 be as in 16. If 14 holds, then, for every subsequence L0 < À < Á of L0 À Á, there exists a further subsequence L0 <7 À 7 Á such that <7 œ ß 24 and L œ Þ 7 <7 F F The proof of Lemma 1 is presented at the end of the section.
6 MAJUMDAR AND MAJUMDAR 6 By Lemma 1, 18 implies L0 œ F F, 26 reducing the proof to showing 26 Ê 10. Clearly, 26 implies, for every?ß@ d, < œ 27 Fix =ß > d arbitrarily. By Lemma A.2, 10 follows if given any subnet < 9 =ß > À Y of < =ß > À Á Á, we can find a further subnet < =ß > À such that < =ß > converges to < =ß >. For 9: 9: so that Á Á, define ß if 8 8 ß if 8 8 N œ and N œ! otherwise! otherwise, ß ß ß N N œ if 8 œ 8! otherwise; ß note that N À Á Á and N À Á Á are two nets in!ß. A straightforward algebraic calculation, using 14 and, leads to the decomposition where < =ß > œ < =ß > < =ß > < =ß >, 28 ß ß < =ß > œ < =ß > N N 08 < < 08 = =ß > œ / =ß > < N 8 ß 08 < =ß > œ < > =ß / > < N ß. 29 By Lemma A.3, given an arbitrary subnet < 9 À Y of < À Á Á, we ß can find a further subnet / À of / À Y, N À of ß ß 9: 9: 9 9: N À Y, and N À of N À Y such that 9 9 and 23 holds. ß ß ß ß N 9: œ N!ß and N 9: œ N!ß exist, 30 ß
7 7 ASYMPTOTIC NORMALITY Since 8 is order preserving and cofinal, by 29, 27, and Lemma A.1. ß ß 9: < =ß > œ < =ß > N N 31 ß By considering the two cases N œ! and N œ separately, we now show that ß ß ß 9: < =ß > œ < =ß > N. 32 If N œ!, CFs being bounded, 32 holds by 29 and 30. If N œ, then 89: 8 9: œ œ, : 8 9: Since 8 is order preserving and cofinal, using, 6, and Lemma A.1, ß 8 9: < = 9: œ 8 ' =, implying by 33 and the continuity of exponential and logarithm, < 8 9: 8 =, = œ exp :, 9: By 11 and Lemma A., < 0 À Á is uniformly equicontinuous; since 8 is order preserving and cofinal, by 27 and Lemma A.1, exp < 08 9 : 9: <, = > / =ß> œ =ß> œ,. 3 ß If N œ, 32 follows by 29, 34, and 3. By the same argument that established 32, with the modification that N œ implies we obtain 89: 8 9: œ 8 9: 8 9: ß 9: œ,, < =ß > œ < =ß > N. 36 Now 8 follows from 28, 31, 32, and 36. Proof of 9 Ê 19 : By Lemma A.2, it suffices to show that given an arbitrary subnet Js À Js À Js 9 Y of Á Á, there exists a further subnet 9: À such that ß
8 MAJUMDAR AND MAJUMDAR 8 Js 9: œ F. 37 We will establish 37 for the subnet indexed by the directed set obtained in 23. From the definition of and in 21, œ œ!ß 9:, 39, 3,3 with, œ! implying + œ and + œ!, and, œ implying + œ! and + œ. By 20, the Cauchy-Schwartz inequality, 38, and 11, Js À Á Á is uniformly tight. By the LCT for nets, 37 will follow once we show, for every? d, ' 9: where is the CF of Js Þ By 11 and Lemma A., ' since, by 20, we obtain 9:? œ '?, 40 < À Á Áis uniformly equicontinuous; 41 ' <? œ?@ ß?@, 42 '? œ <?+ ß?+ from 9 (equivalently, 10 ), 39, and 41, whence 40 follows from the definition of <, 39 and 38. Proof of 19 Ê 17 : Lemma 2 Assume 19 and Lemma 2 is a key step in this proof. Ks œ F, 43 where Ks `d denotes the measure on Udinduced by \ß8 \. ß8. Ys œ. 8 8 Then 17 holds if, with 3 4 as in 1, 3 4 œ! for 4Á. 44 The proof of Lemma 2 is presented at the end of the section.
9 9 ASYMPTOTIC NORMALITY Since 14 Ê 44, by Lemma 2 it suffices to show 19 Ê 43. ß@ ; s then, as in 20, Y œ ] ß@, and the argument used to establish 9 Ê 19 can be repeated verbatim to conclude 9 Ê 43. Since we have already proved 18 Ê 9, all that remains to show is 19 Ê 18. Let 3 be an arbitrary subsequence of 0< À< Á 30 À Á. It suffices to find a further subsequence 3 0<7 À7 Á that converges to!. By Lemma 1, there exists a further subsequence L0 <7 À 7 Á such that 24 and 2 hold. We are going to show that 3 of 24 equals!. Since / œ, we obtain by 21 that 7 0<7 Á Clearly, 2 implies 3 œ 0<7 3 Á. 4 =ß > œ =ß > 7 Á < 0<7 < 3, 46 where < is the CF of F F, that is, 3 3 By 42, 41, 4, and 46, < 3 =ß > œ exp = => 3 > Î. 47? œ exp? Î 7 Á ' 0<7 3, 48 where, with 3 as in 24, 3 œ Since RHS48 is the CF of a 3 at?, by the LCT again, 7 J 0<7 Á œ a 3 ; 0 since 7È0 <7 is order preserving and cofinal, by 19 and Lemma A.1, a 3 œ F œ a, showing, by 49, that 3 œ!, thereby establishing 18. Remark 4 We observed in Remark 3 that a sequence of iid copies of a random vector with dependent but uncorrelated coordinates satisfies the collection of assumptions 1, 2, 14, and 18. Clearly, if we have a sequence of iid copies of a random vector with coordinates that have a non-zero correlation coefficient, then 18 is violated and neither 9 nor 19 can hold. In this background, Proposition 1 is a generalization of the iid CLT for a sequence of random vectors. // Proposition 1 Assume 12. For all 4, let!á3 œ3 44. Then, for every subnet / 9 À Y such that / 9 œ,
10 MAJUMDAR AND MAJUMDAR 10 L œ F F and, with 3 is as in 49, J œ a Proof of Proposition 1 Since 12 implies 14, and 24 is satisfied by every subsequence for the same 3, we conclude from Lemma 1 that L œ F F By 3 and 47, < 0=ß > œ < 3=ß >. 4 Recall that the decomposition of < into the three terms in 28 was obtained solely on the basis of 14 and, and on the basis of 1 and 2. Since 12 implies 1, 2, and 14, the decomposition of obtained in 28 continues to hold even though 18 is not true any more. With 4 substituting for 27, 31 with < on the RHS replaced by < 3 holds. Since the it, of every subnet / 9: À of / 9 À Y equals by Lemma A.1, RHS34 reduces to. Since 11 was obtained only by using 1 and 2, < 0 À Á is still uniformly equicontinuous; as such, RHS3, via 4, equals < 3=ß >, implying that 32 with < on the RHS replaced by < 3 holds as well. The same assertion is true for 36. Since 31, 32, and 36, with < replaced by < 3, continue to hold, we obtain < 9 =ß > œ < 3=ß >, implying 1 by 11 and the LCT for nets. Since, œ, 3 œ Î ; the proof of 2 follows as in the proof of 19 Ê 18 above. Proof of Lemma 1 Compactness of ß implies 24. By the LCT, 2 follows once 0 3 L Ø ß =ß> Ù œ Ø ß =ß> Ù =ß> d 7 <7 F F for every is proved by considering the cases 7=ß > œ! and 7=ß >! separately, where 3 a7 =ß> 7=ß > œ = => 3 > so that F F Ø ß =ß > Ù œ, 6 with 3 as in 24. By 14, Var =ß > ß ] œ = => >, implying =ß > œ Var =ß> ß] 7=ß > œ! =ß> ß] 7 0<7. If, 0<7 converges in quadratic mean, hence in distribution, to!, that is, 0 3 L Ø ß =ß> Ù œ!œ œ Ø ß =ß> Ù 7 <7 point mass at a! F F,
11 11 ASYMPTOTIC NORMALITY where the last equality follows from 6. If 7 =ß >!, we will use the subsequential Lindeberg CLT of Lemma A.6 to prove. In the notation of Lemma A.6, with we have =\ ß4. >\ ß4. [ 4 œ, =\ ß4. >\ ß4. [ œ œ =ß> ß] 4œ œ= => 344 >, and 7 œ= => 3 0 >. Since 7<7 œ 7 =ß>!, to 7 apply Lemma A.6 it remains to verify that 4 where, with the dependence on =ß > suppressed, 0 P œ!! 7 <7 % for every %, 7 =\ >\ =\ >\ ß4. ß4. ß4. ß4. P % œ E % 7 4œ 7. Recall from Lemma A.6 that P %, is well defined beyond a finite stage. Define =\ >\ =\ >\ ß4. ß4. ß4. ß4. % ß =ß> œ E %. 4œ Note that is decreasing in the first argument % for Á!, % ß =ß> œ =ß>. l l ß 8 There exists Q Á such that 7 Q implies 7<7 7=ß> Î. Consequently, by the definitions of P and, and using 8, for all 7 Q, 7 =ß> P ß <7 % <7 =ß> =ß > % 7. To establish 7 from here, it suffices to show that % ß =ß> œ! for every =ß> d and %!. 9 By the identical distribution and square integrability components of 1 and 2,
12 MAJUMDAR AND MAJUMDAR 12 % ß =ß> œ! for every %! 60 holds if =ß > equals either ß! or!ß. Therefore, 9 follows from 60 once we show that Pœ =ß> d À60 holds is a subspace. Clearly, P contains!ß! and is closed under scalar multiplication by 8. To verify that P is closed under vector addition, it suffices to show that for =ß > d, % % % ß =ß>?ß@ Ÿ% ß =ß> % ß?ß@. 61 Adapting an argument from the proof of Theorem 1.3 of Kundu, Majumdar, and Mukherjee (2000), since \ ß4. \ ß4. =? >@ \ ß4. \ ß4. \ ß4. \ ß4. Ÿ max = > \ ß4. \ ß4. =? >@ \ ß4. \ ß4. \ ß4. \ ß4. Ÿ% max= > \ß4. œ% = > \ ß4 max. \ ß4 \ß4 and maxbß C maxbß C % Ÿ B B % C C %, 61 follows. By Lemma A.6, as 7Ä, <7 [ œ =ß>ß] converges in distribution to a 7=ß>, and follows from 6. <7 0<7 Proof of Lemma 2 By Lemma A.2, given an arbitrary subnet 3 Y 9 À 3 À Á Á, it suffices to find a further subnet 3 À such that 9 : 3 9: œ!. 62 Recall from 23 the existence of the directed set such that the subnet / 9: À converges to,. We will show that 62 holds for by separately considering the cases,!ß and,!ß. By the equivalence of (i) and (iv) in the Portmanteau Theorem [van der Vaart and Wellner (1996, Theorem 1.3.4)], inf I [ s and inf IY s Þ 63 of
13 13 ASYMPTOTIC NORMALITY Since, by 44, / / I [ s œ IYs œ / 3 and / 3, we obtain from 63 / / 3 œ!, implying 62 for,!ß. Since 3 Ÿ for all 4 implies 3 Ÿ 8 Î7, 44 LHS62 Ÿ 89: 79: ; 64 since, œ! implies RHS64 equals the it of / 9:, whereas, œ implies RHS64 equals the it of / 9:, 62 follows for,!ß. Remark Theorem 1 stands on the Lindeberg CLT for independent random vectors. It is worth investigating if we can obtain Theorem 1 when 14 is relaxed to 7-dependence or martingale difference array by using the CLTs under these dependence structures. // Remark 6 We conjecture that the joint distribution of the standardized sample means from random samples will be asymptotically Normal in d if an extension of 14 and an appropriate extension of 18 for pairwise correlation coefficients hold. // A.1. Nets and subnets. A set endowed with a reflexive, anti symmetric, and transitive binary relation is called a partially ordered set. The pair ß is called a directed set if, for each ß, there exists ( such that ( and (. Given a metric space Wß. and a directed set ß, a W valued net is defined to be a function BÀ ÈW; we write the net as B À. Recall that the net B À converges to B W if, for every %!, there exists! % such that! % implies.bßb %. Note that a W valued sequence is a W valued net indexed by Á. Let ß and ß be directed sets. Let 9 À È be order preserving, that is, 3 4Ê9 3 9, 4 and cofinal, that is, for each, there exists such that 9. Then the composite function C œ B 9, where B À È W, defines a net C À in W, is called a subnet of B À, and is written as B À. 9 Lemma A.1 Let be a directed set and B À a net taking values in W that converges to B W. Then every subnet of B À converges to B. Proof of Lemma A.1 This is Exercise 8 of page 188 of Munkres (2000). The proof follows from the definition of a subnet.
14 MAJUMDAR AND MAJUMDAR 14 Lemma A.2 Let ß be a directed set and B À a net taking values in W. Then B À converges to B W if and only if every subnet of B À has a further subnet that converges to B. Proof of Lemma A.2 Our inability to find a published proof of this very well-known result prompts us to sketch one here. The only if assertion follows from Lemma A.1. Conversely, suppose that every subnet of B À has a further subnet that converges to B. To prove by contradiction that B À converges to B, assume that B À does not converge to B, that is, there exists an %! such that for every w w, there exists satisfying with. B w ßB %. Note that w œ À. B w ßB % is a partially ordered set with the inherited relation. w w w Since ß is a directed set, given ß there exists ( such that ( w w w and (. But given (, there exists ( such that ( ( with. B( w ßB %; w w w w w that is, (. Since is transitive, ( and (, establishing that ß is a directed set. Clearly, the inclusion map from to is order preserving. The argument used to establish that ß is a directed set also establishes the cofinality of the w inclusion map. Consequently B w À is a subnet of B À. By the if assumption, B w À w has a subnet that converges to B, which is impossible since every element of B w À w is outside an % -neighborhood of B. Lemma A.3 W is compact if and only if every net in W has a convergent subnet. Proof of Lemma A.3 This is the theorem stated in Exercise 10 of page 188 of Munkres (2000), who sketches an outline of the proof as a hint. AÞ2 Þ Miscellaneous results from probability. We have used Lemmas A. and A.6 in the paper; Lemma A.4 is used in the proofs of Lemmas A. and A.6. Lemma A.4 For every ) dand 7!, 7 ; 7 u) ) exp u) Ÿ. 6 ;x 7 x ;œ! Proof of Lemma A.4 Again, the result is extremely well-known [Fabian and Hannan (198, page 14)], but we could not locate a reference with a proof, hence the sketch here. The inequality in 6 is vacuously true for ) œ!. Since expu) and expu), ; ; and, for every ;, u and u, are complex conjugates of each other, it suffices to prove 6 for )!. With - denoting the cosine function and = the sine function, 7 ; 7 ; 7 ; expu u ) ) ; ) œ - -! u = ; ) ) ) =! ;x ;x ;x ; that is because for 7!, ;œ! ;œ! ;œ!
15 1 ASYMPTOTIC NORMALITY - ; œ %7 if = if ; œ %7 ; = if ;œ%7 ; - if ;œ%7 - œ and = œ - if ;œ%7 = if ;œ%7 = if ;œ%7 - if ;œ%7. By Theorem 7.6 of Apostol (1967), with 1 equal to either - or =, 7 ; ) 1 ; 7 7 ) 1! œ ) > 1 >.>. ;x 7x ;œ! Thus, substituting?œ) >, ) ) LHS6 œ? - )?.?? = )?.?. 7x!!! ) Consider the probability distribution. on!ß ) with Lebesgue density? 7 Î) ; then 6 follows from the variance inequality with respect to. and the fact that for every! and every B d, - B = B œ. Î 7 7 Lemma A. Let / 1 À1 Z ` d be uniformly tight. Let < 1 be the CF of / 1. Then < 1 À1 Z is a uniformly equicontinuous family of functions. Proof of Lemma A. Fix %! arbitrarily. Let Obe a compact subset of d such that - % / 1O for all 1 Z. 66 % By Lemma A.4 (with 7œ! ) and Cauchy-Schwartz inequality, for all =ß>ßB d exp u >=ßB Ÿ >=ßB Ÿ >= B. There exists œ % ÎQ! such that > = implies % supexpu >=ßB ÀB O, 67 where Q bounds the compact set O. Therefore, by 66 and 67, => implies % - < 1 = < 1 > / 1O / 1O %, completing the proof of the lemma. Lemma A.6 ( A subsequential Lindeberg CLT ) Let [ 4 À 4 Á be a sequence of independent random variables with E[ œ! and Var[ œ. For Á, let 4 4 4
16 MAJUMDAR AND MAJUMDAR 16 [ œ [ 4 and 7 œ 4 œ Var[. 4œ 4œ Let 7< À< Á be a subsequence of 7 À Á such that 7 œ 7! < <. 68 Then, there exists O Á such that 7! for all O. 69 For %! and O, let P % œ E 7 [ 7 [ % 4 4 4œ. Assume P œ!! < < % for every %. 70 Then, as <Ä, <[ converges in distribution to. 71 < a 7 Proof of Lemma A.6 First note that 68 rules out the possibility that 7 œ!a Á. Thus, there exists O Á such that 7O!. Since 7 À Á is a nondecreasing sequence, 69 follows. Thus we can, without loss of generality, assume that O œ. For every Á and Ÿ4Ÿ, let ^ ÀŸ4Ÿ be iid µ F; further, let ß4 ß4 4 ß4 ß4 ß4 4œ ] œ 7 [, 9 œ the CF of ], W œ ], and E œ the CF of W : œ Var] œ E ] œ 7 so that : œ ß4 ß4 ß4 4 ß4 4œ 72 ] s œ : ^, 9s œ the CF of ] s, Ws œ ] s, and Es œ the CF of Ws. ß4 ß4 ß4 ß4 ß4 ß4 4œ Clearly, for every > d, E > œ 9ß4 > 9 s, ß4 > œ exp > : ß4, and Es > œ exp >. 4œ Fix!Á> darbitrarily. We will show that
17 17 ASYMPTOTIC NORMALITY < < < E > > œ! œ s < < <ß4 > > < E < < <ß4, 73 4œ 4œ where which implies < < ß4 > œ > : ß4, 74 > œ exp >. 7 E < Note that 7 implies, by the LCT, Proposition of Dudley (1989), and Lemma A., that E< À< Áis uniformly equicontinuous, whence, by 68, E > 7 œ exp > 7 < < <, implying, since [ œ 7 W, 71 by the LCT. Thus, it remains to show 73. Since ] ß4 À Ÿ 4 Ÿ is a row in the sense of Definition of Fabian and Hannan (198), for arbitrary %!, by Lemma of Fabian and Hannan (198), ß4 + œmax: ÀŸ4Ÿ Ÿ% P %, 76 implying, by 70, + œ! < <. 77 ß4 ß4 4œ By 72 and 76, Ps œ ] s ] s % % E % Ÿ I^ ^ ; by 77, s < P œ!! < % for every %. 78 With 2C œexp u>cu>c> C Î for C d, we obtain E2 ] ß4œ 9ß4 > < ß4 > E2] s œ 9 s > < >. ß4 By 6 with, ; with, 7œ 2 C Ÿ>C 7œ 2 C Ÿ > CC. For every %!, ß4 ß4 ß4 ß4 ß4 4œ 4œ 9 > < > Ÿ % > : > E ] ] % œ % > > P % ; similarly, ß4 ß4 +
18 MAJUMDAR AND MAJUMDAR 18 9 s > < > Ÿ % > > Ps %. 4œ ß4 ß4 By 77, there exists V œ V > Á such that < V implies, for all Ÿ 4 Ÿ <,!Ÿ: Ÿ %, <ß4 > so that by 74, for <V, > Ÿ. By Lemma of Fabian and Hannan (198), for <V, < <ß4 < < <ß4 <ß4 ß4 ß4 < 4œ 4œ 4œ < < <ß4 <ß4 < ; 4œ 4œ 4œ 9 > < > Ÿ 9 > < > Ÿ % > > P % 9 s > < > Ÿ 9s ß4 > < ß4 > Ÿ % > > Ps % that establishes 73 by 70 and 78, completing the proof. References [1] Apostol, T. M. (1967). Calculus, Vol 1, Wiley, New York, NY. [2] Dudley, R. M. (1989). Real Analysis and Probability, Wadsworth & Brooks/Cole, Pacific Grove, CA. [3] Fabian, V. and Hannan, J. (198). Introduction to Probability and Mathematical Statistics, Wiley, New York, NY. [4] Kundu, S., Majumdar, S., and Mukherjee, K. (2000). Central Limit Theorems Revisited. Statist. Probab. Lett [] Munkres, J. R. (2000). Topology, Prentice Hall, Upper Saddle River, NJ. [6] Parthasarathy, K. R. (1967). Probability Measures on Metric Spaces, Academic Press, New York, NY. [7] van der Vaart, A. W. and Wellner, J. A. (1996). Weak Convergence and Empirical Processes, Springer, New York. RAJESHWARI MAJUMDAR SUMAN MAJUMDAR rajeshwari.majumdar@uconn.edu suman.majumdar@uconn.edu PO Box 47 1 University Place Coventry, CT Stamford, CT 06901
On Least Squares Linear Regression Without Second Moment
On Least Squares Linear Regression Without Second Moment BY RAJESHWARI MAJUMDAR University of Connecticut If \ and ] are real valued random variables such that the first moments of \, ], and \] exist and
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationEmpirical Processes: General Weak Convergence Theory
Empirical Processes: General Weak Convergence Theory Moulinath Banerjee May 18, 2010 1 Extended Weak Convergence The lack of measurability of the empirical process with respect to the sigma-field generated
More informationTheorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1
Chapter 2 Probability measures 1. Existence Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension to the generated σ-field Proof of Theorem 2.1. Let F 0 be
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
More informationThe main results about probability measures are the following two facts:
Chapter 2 Probability measures The main results about probability measures are the following two facts: Theorem 2.1 (extension). If P is a (continuous) probability measure on a field F 0 then it has a
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationOn the Conditional Distribution of a Multivariate Normal given a Transformation - the Linear Case BY RAJESHWARI MAJUMDAR* AND SUMAN MAJUMDAR
On the Conditional Distribution of a Multivariate Normal given a Transformation - the Linear Case BY RAJESHWARI MAJUMDAR* AND SUMAN MAJUMDAR We show that the orthogonal projection operator onto the range
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationMath 117: Continuity of Functions
Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationContents. Index... 15
Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationGene expression experiments. Infinite Dimensional Vector Spaces. 1. Motivation: Statistical machine learning and reproducing kernel Hilbert Spaces
MA 751 Part 3 Gene expression experiments Infinite Dimensional Vector Spaces 1. Motivation: Statistical machine learning and reproducing kernel Hilbert Spaces Gene expression experiments Question: Gene
More informationOn duality theory of conic linear problems
On duality theory of conic linear problems Alexander Shapiro School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, Georgia 3332-25, USA e-mail: ashapiro@isye.gatech.edu
More information4 Sums of Independent Random Variables
4 Sums of Independent Random Variables Standing Assumptions: Assume throughout this section that (,F,P) is a fixed probability space and that X 1, X 2, X 3,... are independent real-valued random variables
More informationOn families of anticommuting matrices
On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +
More informationSTAT 7032 Probability. Wlodek Bryc
STAT 7032 Probability Wlodek Bryc Revised for Spring 2019 Printed: January 14, 2019 File: Grad-Prob-2019.TEX Department of Mathematical Sciences, University of Cincinnati, Cincinnati, OH 45221 E-mail address:
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More information1 Weak Convergence in R k
1 Weak Convergence in R k Byeong U. Park 1 Let X and X n, n 1, be random vectors taking values in R k. These random vectors are allowed to be defined on different probability spaces. Below, for the simplicity
More informationRandomized Quantization and Optimal Design with a Marginal Constraint
Randomized Quantization and Optimal Design with a Marginal Constraint Naci Saldi, Tamás Linder, Serdar Yüksel Department of Mathematics and Statistics, Queen s University, Kingston, ON, Canada Email: {nsaldi,linder,yuksel}@mast.queensu.ca
More information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
More informationChapter 3. Topology of the Real Numbers.
3.1. Topology of the Real Numbers 1 Chapter 3. Topology of the Real Numbers. 3.1. Topology of the Real Numbers. Note. In this section we topological properties of sets of real numbers such as open, closed,
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationSUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES
SUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES RUTH J. WILLIAMS October 2, 2017 Department of Mathematics, University of California, San Diego, 9500 Gilman Drive,
More informationCHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS
CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationTopological Vector Spaces III: Finite Dimensional Spaces
TVS III c Gabriel Nagy Topological Vector Spaces III: Finite Dimensional Spaces Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationProduct measure and Fubini s theorem
Chapter 7 Product measure and Fubini s theorem This is based on [Billingsley, Section 18]. 1. Product spaces Suppose (Ω 1, F 1 ) and (Ω 2, F 2 ) are two probability spaces. In a product space Ω = Ω 1 Ω
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationOn the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables
On the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables Deli Li 1, Yongcheng Qi, and Andrew Rosalsky 3 1 Department of Mathematical Sciences, Lakehead University,
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationFive Mini-Courses on Analysis
Christopher Heil Five Mini-Courses on Analysis Metrics, Norms, Inner Products, and Topology Lebesgue Measure and Integral Operator Theory and Functional Analysis Borel and Radon Measures Topological Vector
More informationTopologies, ring norms and algebra norms on some algebras of continuous functions.
Topologies, ring norms and algebra norms on some algebras of continuous functions. Javier Gómez-Pérez Javier Gómez-Pérez, Departamento de Matemáticas, Universidad de León, 24071 León, Spain. Corresponding
More informationMath General Topology Fall 2012 Homework 8 Solutions
Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationOn Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)
On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q) Andreas Löhne May 2, 2005 (last update: November 22, 2005) Abstract We investigate two types of semicontinuity for set-valued
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationCHAPTER II HILBERT SPACES
CHAPTER II HILBERT SPACES 2.1 Geometry of Hilbert Spaces Definition 2.1.1. Let X be a complex linear space. An inner product on X is a function, : X X C which satisfies the following axioms : 1. y, x =
More informationOn Kusuoka Representation of Law Invariant Risk Measures
MATHEMATICS OF OPERATIONS RESEARCH Vol. 38, No. 1, February 213, pp. 142 152 ISSN 364-765X (print) ISSN 1526-5471 (online) http://dx.doi.org/1.1287/moor.112.563 213 INFORMS On Kusuoka Representation of
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationRefining the Central Limit Theorem Approximation via Extreme Value Theory
Refining the Central Limit Theorem Approximation via Extreme Value Theory Ulrich K. Müller Economics Department Princeton University February 2018 Abstract We suggest approximating the distribution of
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationSection 31. The Separation Axioms
31. The Separation Axioms 1 Section 31. The Separation Axioms Note. Recall that a topological space X is Hausdorff if for any x,y X with x y, there are disjoint open sets U and V with x U and y V. In this
More information: œ Ö: =? À =ß> real numbers. œ the previous plane with each point translated by : Ðfor example,! is translated to :)
â SpanÖ?ß@ œ Ö =? > @ À =ß> real numbers : SpanÖ?ß@ œ Ö: =? > @ À =ß> real numbers œ the previous plane with each point translated by : Ðfor example, is translated to :) á In general: Adding a vector :
More informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationNotes on nets and convergence in topology
Topology I Humboldt-Universität zu Berlin C. Wendl / F. Schmäschke Summer Semester 2017 Notes on nets and convergence in topology Nets generalize the notion of sequences so that certain familiar results
More informationTHE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE
THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationProofs for Large Sample Properties of Generalized Method of Moments Estimators
Proofs for Large Sample Properties of Generalized Method of Moments Estimators Lars Peter Hansen University of Chicago March 8, 2012 1 Introduction Econometrica did not publish many of the proofs in my
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More information106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)
106 CHAPTER 3. TOPOLOGY OF THE REAL LINE 3.3 Limit Points 3.3.1 Main Definitions Intuitively speaking, a limit point of a set S in a space X is a point of X which can be approximated by points of S other
More informationTUKEY QUOTIENTS, PRE-IDEALS, AND NEIGHBORHOOD FILTERS WITH CALIBRE (OMEGA 1, OMEGA) by Jeremiah Morgan BS, York College of Pennsylvania, 2010
TUKEY QUOTIENTS, PRE-IDEALS, AND NEIGHBORHOOD FILTERS WITH CALIBRE (OMEGA 1, OMEGA) by Jeremiah Morgan BS, York College of Pennsylvania, 2010 Submitted to the Graduate Faculty of the Kenneth P. Dietrich
More informationDA Freedman Notes on the MLE Fall 2003
DA Freedman Notes on the MLE Fall 2003 The object here is to provide a sketch of the theory of the MLE. Rigorous presentations can be found in the references cited below. Calculus. Let f be a smooth, scalar
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationTHE CARATHÉODORY EXTENSION THEOREM FOR VECTOR VALUED MEASURES
PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 72, Number 1, October 1978 THE CARATHÉODORY EXTENSION THEOREM FOR VECTOR VALUED MEASURES JOSEPH KUPKA Abstract. This paper comprises three advertisements
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationSome Properties of the Augmented Lagrangian in Cone Constrained Optimization
MATHEMATICS OF OPERATIONS RESEARCH Vol. 29, No. 3, August 2004, pp. 479 491 issn 0364-765X eissn 1526-5471 04 2903 0479 informs doi 10.1287/moor.1040.0103 2004 INFORMS Some Properties of the Augmented
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More information4th Preparation Sheet - Solutions
Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space
More information9 Brownian Motion: Construction
9 Brownian Motion: Construction 9.1 Definition and Heuristics The central limit theorem states that the standard Gaussian distribution arises as the weak limit of the rescaled partial sums S n / p n of
More informationB œ c " " ã B œ c 8 8. such that substituting these values for the B 3 's will make all the equations true
System of Linear Equations variables Ð unknowns Ñ B" ß B# ß ÞÞÞ ß B8 Æ Æ Æ + B + B ÞÞÞ + B œ, "" " "# # "8 8 " + B + B ÞÞÞ + B œ, #" " ## # #8 8 # ã + B + B ÞÞÞ + B œ, 3" " 3# # 38 8 3 ã + 7" B" + 7# B#
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationCOMPLEXITY OF SHORT RECTANGLES AND PERIODICITY
COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY VAN CYR AND BRYNA KRA Abstract. The Morse-Hedlund Theorem states that a bi-infinite sequence η in a finite alphabet is periodic if and only if there exists
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationSection 1.3 Functions and Their Graphs 19
23. 0 1 2 24. 0 1 2 y 0 1 0 y 1 0 0 Section 1.3 Functions and Their Graphs 19 3, Ÿ 1, 0 25. y œ 26. y œ œ 2, 1 œ, 0 Ÿ " 27. (a) Line through a!ß! band a"ß " b: y œ Line through a"ß " band aß! b: y œ 2,
More informationINDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43
INDEX Abel s identity, 131 Abel s test, 131 132 Abel s theorem, 463 464 absolute convergence, 113 114 implication of conditional convergence, 114 absolute value, 7 reverse triangle inequality, 9 triangle
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationThe Hahn-Banach and Radon-Nikodym Theorems
The Hahn-Banach and Radon-Nikodym Theorems 1. Signed measures Definition 1. Given a set Hand a 5-field of sets Y, we define a set function. À Y Ä to be a signed measure if it has all the properties of
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More information