An Extension of Feller's Strong Law of Large Numbers
Deli Li, Han-Ying Liang, Andrew Rosalsky

TL;DR
This paper extends Feller's strong law of large numbers to Banach space valued random variables by linking it with the Kolmogorov-Marcinkiewicz-Zygmund law, using recent symmetrization and probability inequality tools.
Contribution
It establishes a new almost sure convergence result in Banach spaces connecting two classical laws of large numbers, utilizing recent advanced probabilistic tools.
Findings
Proves a generalized strong law of large numbers in Banach spaces.
Links classical laws through new convergence conditions.
Utilizes recent symmetrization and probability inequalities.
Abstract
~This paper presents a general result that allows for establishing a link between the Kolmogorov-Marcinkiewicz-Zygmund strong law of large numbers and Feller's strong law of large numbers in a Banach space setting. Let be a sequence of independent and identically distributed Banach space valued random variables and set . Let and be increasing sequences of positive real numbers such that and is a nondecreasing sequence. We show that \[ \frac{S_{n}- n \mathbb{E}\left(XI\{\|X\| \leq b_{n} \} \right)}{b_{n}} \rightarrow 0~~\mbox{almost surely} \] for every Banach space valued random variable with if almost surely…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsProbability and Risk Models · Risk and Portfolio Optimization · Stochastic processes and financial applications
An Extension of Feller’s Strong Law of Large Numbers
**Deli Li1, Han-Ying Liang*2,Corresponding author: Han-Ying Liang (Telephone: 86-21-65983242, FAX: 86-21-65983242), and Andrew Rosalsky3
1Department of Mathematical Sciences, Lakehead University,
Thunder Bay, Ontario, Canada
2Department of Mathematics, Tongji University,
Shanghai, China
3Department of Statistics, University of Florida,
Gainesville, Florida, USA
Abstract This paper presents a general result that allows for establishing a link between the Kolmogorov-Marcinkiewicz-Zygmund strong law of large numbers and Feller’s strong law of large numbers in a Banach space setting. Let be a sequence of independent and identically distributed Banach space valued random variables and set . Let and be increasing sequences of positive real numbers such that and is a nondecreasing sequence. We show that
[TABLE]
for every Banach space valued random variable with if almost surely for every symmetric Banach space valued random variable with . To establish this result, we invoke two tools (obtained recently by Li, Liang, and Rosalsky): a symmetrization procedure for the strong law of large numbers and a probability inequality for sums of independent Banach space valued random variables.
Keywords Feller’s strong law of large numbers Kolmogorov-Marcinkiewicz-Zygmund strong law of large numbers Rademacher type Banach space Sums of independent random variables
Mathematics Subject Classification (2000): 60F15 60B12 60G50
Running Head: On Feller’s Strong Law of Large Numbers
1 Introduction and the main result
We begin with stating Feller’s (1946) strong law of large numbers (SLLN) as follows.
Theorem A. (Feller’s SLLN. Theorems 1 and 2 of Feller (1946)). Let be a sequence of independent and identically distributed (i.i.d.) real-valued random variables, and let , . Let be an increasing sequence of positive real numbers. Suppose that one of the following two sets of conditions holds:
(i)* For some , , , and there exists an with such that*
[TABLE]
(ii)* and*
[TABLE]
Then we have
[TABLE]
according as
[TABLE]
Feller’s SLLN is a remarkable limit theorem concerning sums of i.i.d. random variables. From the internet, one can find that Feller’s SLLN has received more than 150 citations where many of them have been received within the most recent 5 years.
This paper presents a general result in a Banach space setting that allows for establishing a link between the Kolmogorov-Marcinkiewicz-Zygmund SLLN and Feller’s SLLN.
For stating our main result, we introduce some notation as follows. Let be a probability space and let be a real separable Banach space equipped with its Borel -algebra ( the -algebra generated by the class of open subsets of determined by ). A B-valued random variable is defined as a measurable function from into . Let be a sequence of i.i.d. B-valued random variables and put , . Let be a Rademacher sequence; that is, is a sequence of i.i.d. random variables with . Let and define
[TABLE]
Let . Then is said to be of Rademacher type if there exists a constant such that
[TABLE]
The following remarkable theorem, which is due to de Acosta (1981), provides a characterization of Rademacher type Banach spaces.
Theorem B. (de Acosta (1981)). Let . Then the following two statements are equivalent:
[TABLE]
[TABLE]
The main result of this paper is the following theorem.
Theorem 1.1**.**
Let be a real separable Banach space. Let and be increasing sequences of positive real numbers such that
[TABLE]
Suppose that for every symmetric sequence of i.i.d. B-valued random variables,
[TABLE]
Then, for every sequence of i.i.d. B-valued random variables, we have that
[TABLE]
according as
[TABLE]
Here and below , .
Remark 1.1**.**
We now can see how Feller’s SLLN can be easily derived from the Kolmogorov-Marcinkiewicz-Zygmund SLLN and Theorem 1.1 above. For given with , write . The celebrated Kolmogorov-Marcinkiewicz-Zygmund SLLN (see Kolmogoroff (1930) for and Marcinkiewicz and Zygmund (1937) for ) asserts that, for every symmetric sequence of i.i.d. real-valued (i.e., ) random variables
[TABLE]
Then by Theorem 1.1, for every sequence of i.i.d. real-valued random variables and every increasing sequence of positive real numbers with
[TABLE]
we have
[TABLE]
according as
[TABLE]
where , . That is, Feller’s SLLN follows from the Kolmogorov-Marcinkiewicz-Zygmund SLLN and Theorem 1.1 above.
Remark 1.2**.**
Under the assumptions of Theorem 1.1, it follows from the conclusion of Theorem 1.1 that, for every sequence of i.i.d. B-valued random variables,
[TABLE]
[TABLE]
Hence under the assumptions of Theorem 1.1, there does not exist a sequence of i.i.d. B-valued random variables such that
[TABLE]
Also, combining Theorem 1.1 and Theorem B above, we immediately obtain the following two remarks.
Remark 1.3**.**
Let and let be an increasing sequences of positive real numbers such that
[TABLE]
Let be a real separable Banach space such that (1.2) holds for every symmetric sequence of i.i.d. B-valued random variables. Then the Banach space is of Rademacher type .
Remark 1.4**.**
Let and let be a sequence of positive real numbers such that
[TABLE]
If is of Rademacher type , then for every sequence of i.i.d. B-valued random variables, (1.3) and (1.4) are equivalent.
Remark 1.5**.**
Remark 1.4 should be compared with Theorem 4 of Adler, Rosalsky, and Taylor (1989) and with (in the unweighted case) the key lemma (Lemma 6) of that article. In Lemma 6 (wherein ) and Theorem 4 (wherein ) of Adler, Rosalsky, and Taylor (1989), for a sequence of i.i.d. random variables in a real separable Rademacher type Banach space and a sequence of positive constants , conditions are provided under which
[TABLE]
ensures that
[TABLE]
and
[TABLE]
The proof of Theorem 1.1 will be provided in Section 2. To establish Theorem 1.1, we invoke two tools (obtained recently by Li, Liang, and Rosalsky (2017a, b)): a symmetrization procedure for the SLLN and a probability inequality which is a comparison theorem for sums of independent -valued random variables.
We close this section by remarking that a version of Feller’s SLLN was obtained by Martikainen and Petrov (1980) for a sequence of identically distributed real-valued random variables without any independence conditions being imposed on the summands; the result holds irrespective of the joint distributions of the summands. Specifically, in Theorem 2 of Martikainen and Petrov (1980) it is shown that
[TABLE]
if
[TABLE]
2 Proof of Theorem 1.1
Throughout this section, and are increasing sequences of positive real numbers satisfying (1.1). Write
[TABLE]
It follows from (1.1) that and
[TABLE]
Note that the are mutually exclusive sets. Thus there exist positive integers such that
[TABLE]
[TABLE]
To prove Theorem 1.1, we use the following four preliminary lemmas.
Lemma 2.1**.**
(Lemma 3.1 of Li, Liang, and Rosalsky (2017 b))* There exist two continuous and increasing functions and defined on such that*
[TABLE]
[TABLE]
Lemma 2.2**.**
Let be a sequence of independent and symmetric B-valued random variables. Set . Then the following two statements hold.
(i)* If*
[TABLE]
then
[TABLE]
(ii)**
[TABLE]
if and only if
[TABLE]
Proof We first prove Part (i). Clearly, (2.3) implies that
[TABLE]
Since the are independent B-valued random variables, (2.4) follows from (2.7) and the Borel-Cantelli lemma.
We now establish Part (ii). From the proof of Part (i), we only need to show that (2.5) follows from (2.6). Since is a sequence of independent and symmetric B-valued random variables, by the remarkable Lévy inequality in a Banach space setting (see, e.g., see Proposition 2.3 of Ledoux and Talagrand (1991)), we have that for every ,
[TABLE]
Thus it follows from (2.6) that
[TABLE]
which ensures that
[TABLE]
Now by the Toeplitz lemma, we conclude from (2.8) that
[TABLE]
i.e., (2.5) holds.
The following probability inequality is due to Li, Liang, and Rosalsky (2017 b) and is a comparison theorem for sums of independent -valued random variables.
Lemma 2.3**.**
(Theorem 1.1 (ii) of Li, Liang, and Rosalsky (2017 b))* Let and be two continuous and increasing functions defined on with and satisfying (2.1). If is a sequence of independent and symmetric B-valued random variables, then for every and all ,*
[TABLE]
The following symmetrization procedure for the SLLN for independent -valued random variables is due to Li, Liang, and Rosalsky (2017 a).
Lemma 2.4**.**
(Corollary 1.3 of Li, Liang, and Rosalsky (2017 a))* Let be a sequence of i.i.d. B-valued random variables. Let be an independent copy of . Write , , . Let be an increasing sequence of positive real numbers such that . Then*
[TABLE]
if and only if
[TABLE]
With the preliminaries accounted for, Theorem 1.1 may be proved.
Proof of Theorem 1.1 To establish this theorem, it suffices to show that, for every sequence of i.i.d. B-valued random variables, the following three statements are equivalent:
[TABLE]
[TABLE]
[TABLE]
The three statements (2.9)-(2.11) are equivalent if we can show that (2.9) and (2.11) are equivalent and (2.9) and (2.10) are equivalent.
For establishing the implication “(2.9) (2.11)”, let be a sequence of i.i.d. B-valued random variables satisfying (2.9). It follows from (2.9) that
[TABLE]
which implies that
[TABLE]
By the Borel-Cantelli lemma, (2.12) is equivalent to
[TABLE]
Note that and . We thus have that, for all large ,
[TABLE]
which, together with (2.13), implies (2.11).
We now prove “(2.11) (2.9)”. Let be a sequence of i.i.d. B-valued random variables satisfying (2.11). Since and are increasing sequences of positive real numbers satisfying (1.1), by Lemma 2.1, there exist two continuous and increasing functions and defined on such that both (2.1) and (2.2) hold. Write
[TABLE]
and
[TABLE]
Then is a sequence of i.i.d. symmetric B-valued random variables such that
[TABLE]
and is a sequence of of i.i.d. symmetric B-valued random variables such that
[TABLE]
Hence, by Lemma 2.2 (i), we conclude from (2.15) and (1.2) that
[TABLE]
By Lemma 2.3, we have that, for every ,
[TABLE]
It thus follows from (2.15) and (2.16) that
[TABLE]
By Lemma 2.2 (ii), (2.17) is equivalent to
[TABLE]
Hence
[TABLE]
By Lemma 2.4, (2.9) follows.
The implication “(2.9) (2.10)” is obvious.
We now establish the implication “(2.10) (2.9)”. It follows from (2.10) that
[TABLE]
which implies that
[TABLE]
By the Borel-Cantelli lemma, (2.18) is equivalent to: for some constant ,
[TABLE]
That is, (2.11) holds with replaced by symmetric random variable . Since (2.9) and (2.11) are equivalent, we conclude that
[TABLE]
Thus
[TABLE]
which, by Lemma 2.4, implies (2.9). The proof of Theorem 1.1 is therefore complete.
**Acknowledgments
**
The research of Deli Li was partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada (grant #: RGPIN-2014-05428)and the research of Han-Ying Liang was partially supported by the National Natural Science Foundation of China (grant #: 11271286).
References
Adler, A., Rosalsky, A., Taylor, R. L.: Strong laws of large numbers for weighted sums of random elements in normed linear spaces. Internat. J. Math. & Math. Sci. 12, 507-529 (1989). 2. 2.
de Acosta, A.: Inequalities for B-valued random vectors with applications to the law of large numbers. Ann. Probab. 9, 157-161 (1981). 3. 3.
Feller, W.: A limit theoerm for random variables with infinite moments. Amer. J. Math. 68, 257-262 (1946). 4. 4.
Kolmogoroff, A.: Sur la loi forte des grands nombres. C. R. Acad. Sci. Paris Sér. Math. 191 (1930), 910-912. 5. 5.
Ledoux, M., Talagrand, M.: Probability in Banach Spaces: Isoperimetry and Processes. Springer-Verlag, Berlin (1991). 6. 6.
Li, D., Liang, H.-Y., Rosalsky, A.: A note on symmetrization procedures for the laws of large numbers. Statist. Probab. Lett. 121 (2017 a), 136-142. 7. 7.
Li, D., Liang, H.-Y., Rosalsky, A.: A probability inequality for sums of independent Banach space valued random variables. arXiv:1703.07868, (2017 b), 10 pages. 8. 8.
Marcinkiewicz, J., Zygmund, A.: Sur les fonctions indépendantes. Fund. Math. 29 (1937), 60-90. 9. 9.
Martikainen, A. I., Petrov, V. V.: On a theorem of Feller. Teor. Veroyatnost. i Primenen. 25 (1980), 194-197 (in Russian). English translation in Theory Probab. Appl. 25 (1980), 191-193.
