Abstract
This paper deals with moduli of continuity for paths of random processes indexed by a general metric space \(\Theta \) with values in a general metric space \({{\mathcal {X}}}\). Adapting the moment condition on the increments from the classical Kolmogorov–Chentsov theorem, the obtained result on the modulus of continuity allows for Hölder-continuous modifications if the metric space \({{\mathcal {X}}}\) is complete. This result is universal in the sense that its applicability depends only on the geometry of the space \(\Theta \). In particular, it is always applicable if \(\Theta \) is a bounded subset of a Euclidean space or a relatively compact subset of a connected Riemannian manifold. The derivation is based on refined chaining techniques developed by Talagrand. As a consequence of the main result, a criterion is presented to guarantee uniform tightness of random processes with continuous paths. This is applied to find central limit theorems for Banach-valued random processes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Result
Let \((\Theta ,d_{\Theta })\) be a totally bounded metric space. For subsets \(\overline{\Theta }\subseteq \Theta \), the diameter of \(\overline{\Theta }\) w.r.t. \(d_{\Theta }\) will be denoted by \(\Delta (\overline{\Theta })\), whereas \(N(\overline{\Theta },d_{\Theta },\eta )\) stands for the minimal number to cover \(\overline{\Theta }\) with closed \(d_{\Theta }\)-metric balls of radius \(\eta > 0\) with centers in \({\overline{\Theta }}\). We will often need the following assumption on the geometry of \(\Theta \):
Furthermore, let \(({{\mathcal {X}}},d_{{{\mathcal {X}}}})\) be a metric space. By \({{\mathcal {B}}}({{\mathcal {X}}})\), we denote the Borel \(\sigma \)-algebra on \({{\mathcal {X}}}\). Let \((X_{\theta })_{\theta \in \Theta }\) be an \({{\mathcal {X}}}\)-valued random process on some probability space \((\Omega ,{{\mathcal {F}}},\mathbb {P})\), i.e., for all \(\theta \in \Theta \), \(X_\theta \) is a random element in \(({{\mathcal {X}}},{{\mathcal {B}}}({{\mathcal {X}}}))\). Under a “Kolmogorov–Chentsov type theorem,” we understand a theorem that, under an appropriate moment condition on the distance \(d_{{{\mathcal {X}}}}(X_{\theta },X_{\vartheta })\) for \(\theta ,\vartheta \in \Theta \), yields existence of a continuous or Hölder-continuous modification (cf. [4]). We establish the following general result.
Theorem 1.1
Assume (1) and
Let \(M,p>0\) and \(q>t\) (with t from (1)) be such that
Then, for any \(\beta \in ]0,(q - t)/p[\), there exists a finite constant \({\overline{L}}(\Theta ,C,t,p,q,\beta )\) dependent on \(\Delta (\Theta ), C, t, p, q\) and \(\beta \) only such that, for every at most countable subset \(\overline{\Theta }\subseteq \Theta \) with \(\Delta ({\overline{\Theta }}) > 0\),
In particular, if \(d_{{{\mathcal {X}}}}\) is complete, then the random process \((X_{\theta })_{\theta \in \Theta }\) has a modification which satisfies (2) such that all its paths are Hölder-continuous of all orders \(\beta \in ]0,(q-t)/p[\).
Remark 1
Technical assumption (2) is always satisfied when \({{\mathcal {X}}}\) is a separable metric space because, in this case, \({{\mathcal {B}}}({{\mathcal {X}}}^2)={{\mathcal {B}}}({{\mathcal {X}}})\otimes {{\mathcal {B}}}({{\mathcal {X}}})\). In general, we only have the inclusion \({{\mathcal {B}}}({{\mathcal {X}}}^2)\supseteq {{\mathcal {B}}}({{\mathcal {X}}})\otimes {{\mathcal {B}}}({{\mathcal {X}}})\), and the assumption is needed to ensure measurability of \(d_{{\mathcal {X}}}(X_\theta ,X_\vartheta )\).
We consider Theorem 1.1 as our main “building block.” In the literature, Kolmogorov–Chentsov type theorems are sometimes formulated in a localized form. A localized version of Theorem 1.1 where \(\Theta \) is not necessarily totally bounded is presented in Sect. 2.
Remark 2
The key assumption on the geometry of the parametric space \(\Theta \) is (1), where the value of t is important, as we need to have \(q>t\) in (3).Footnote 1 We remark that, if \(\Theta \) is a bounded subset of \(\mathbb {R}^{m}\) with the Euclidean metric \(d_{m,2} = d_{\Theta }\), then (1) is always satisfied with \(t=m\),Footnote 2 More generally, a relatively compact subset \(\Theta \) of an m-dimensional connected Riemannian manifold always satisfies (1) with \(t=m\) (we provide more detail in Sect. 3).
In the classical formulation of the Kolmogorov–Chentsov theorem, it is assumed that \({{\mathcal {X}}}\) is a Banach space and \(\Theta =[0,1]^m\) for some \(m\in \mathbb {N}\) (see [22, Theorem I.2.1]), and the proof relies on the fact that the dyadic rationals are dense in [0, 1]. Since that time, there appeared many other versions of the Kolmogorov–Chentsov theorem that essentially allow to treat more general sets \(\Theta \). We mention [19, Theorem 2.1], [6, Theorem 3.9], [10, Lemma 2.19], [12, Proposition 3.9] for several recent formulations where \(\Theta \) is a subset of \(\mathbb {R}^m\). Some versions of the Kolmogorov–Chentsov theorem only guarantee that \(\sup (d_{{\mathcal {X}}}(X_\theta ,X_\vartheta )/d_\Theta (\theta ,\vartheta )^\beta )<\infty \) a.s. (i.e., it is not claimed that the expectation of the p-th power of that quantity is finite). However, some applications such as the ones discussed in Sects. 4 and 5 require that the expectation is finite. As another example of this kind, we mention that the proof of Theorem 6.1 in [2] would not work without finiteness of such an expectation (see formula (106) in [2]).
In the aforementioned references, \({{\mathcal {X}}}\) is (a closed subset of) a Banach space and all \(X_\theta \) are assumed to be in \(L^p\) (with p from (3)), and the proof involves a certain extension result for Banach-valued Hölder-continuous mappings. That extension result allows to pass from rectangular regions in \(\mathbb {R}^m\) to general subsets \(\Theta \subseteq \mathbb {R}^m\). In our situation, when \({{\mathcal {X}}}\) is only a metric space and we do not assume \(\mathbb {E}[d_{{\mathcal {X}}}(a,X_\theta )^p]<\infty \) for all \(\theta \) and some \(a\in {{\mathcal {X}}}\) (or the like) such a method of the proof cannot work, so we use essentially different ideas to prove Theorem 1.1.
Another approach, used in [21, Theorem 2.9] (also see [17, Corollary 4.3]), is worth mentioning. In that reference, the existence of a locally Hölder-continuous modification is proved for \({{\mathcal {X}}}=\mathbb {R}\) under assumptions of a different kind. In particular, the assumption on \(\Theta \) is that it is a dyadically separable metric space. The latter is a requirement of a different type than (1) on the geometry of \(\Theta \), which allows to pursue the arguments initially elaborated for rectangular regions in \(\mathbb {R}^m\) in more general situations. The setup in [21] is quite different from ours, and the relation between the approaches still has to be worked out. Notice, however, that in the finite-dimensional situation \(\Theta \subseteq \mathbb {R}^m\), the other approach imposes some restrictions on possible sets \(\Theta \) (see[21, Theorem 4.1]), while our approach allows for arbitrary sets \(\Theta \subseteq \mathbb {R}^m\) (see Proposition 2.1 and Remark 3).
We thus summarize the previous discussion by noting that we obtain inequality (4), essentially, only under requirement (1) on the geometry of the metric space \(\Theta \), which is satisfied for bounded subsets of \(\mathbb {R}^m\) (with \(t=m\)) and allows to go beyond \(\mathbb {R}^m\). It is also worth noting that the right-hand side of (4) is the same for all countable subsets \({\overline{\Theta }}\subseteq \Theta \) and that (4) is the right way to formulate the result in the case when \(d_{{\mathcal {X}}}\) is incomplete (and thus a continuous modification may fail to exist).
In order to discuss applications of Theorem 1.1, we formulate the following immediate
Corollary 1.2
Assume (1), (2) and (3). Let \(\beta \in ]0,(q-t)/p[\) (with p, q from (3) and t from (1)), and let \(L(\Theta ,C,t,M,p,q,\beta )\) be any constant satisfying (4). Then, for every at most countable subset \(\overline{\Theta }\subseteq \Theta \) and arbitrary \(\delta >0\),
Notice that, like in Theorem 1.1, inequality (5) holds universally, i.e., independently of the random process satisfying (2) and (3). This will turn out to be useful when analyzing weak convergence of \({{\mathcal {X}}}\)-valued random processes (see Sects. 4 and 5).
The crucial step for the proof of Theorem 1.1 is provided by the following auxiliary result. It is interesting in its own right.
Lemma 1.3
Assume (1), (2) and (3). Let \(\overline{\Theta }\) be some finite subset of \(\Theta \) with diameter \(\Delta (\overline{\Theta }) > 0\). Then, for any \(\delta > 0\),
In the case \({{\mathcal {X}}}= \mathbb {R}\), Theorem B.2.4 in [23] provides a result similar to Lemma 1.3. For the proof, a refined chaining technique is used there, which we shall adopt to derive Lemma 1.3.
The structure of the paper is as follows. In Sect. 2, we discuss a localized version of Theorem 1.1 where \(\Theta \) is not necessarily totally bounded. As an example, in Sect. 3 we explicitly treat the case where \(\Theta \) is a subset of a Riemannian manifold. In Sects. 4 and 5, we present some applications of Theorem 1.1 to weak convergence of Banach-valued processes. Lemma 1.3 and Theorem 1.1 are proved in Sect. 6.
2 Localized Version of Theorem 1.1
Since the literature in the case \(\Theta \subseteq \mathbb {R}^m\) sometimes formulates Kolmogorov–Chentsov type theorems for unbounded \(\Theta \) (by localizing the results of the type of Theorem 1.1), we now formulate and discuss the localized version of Theorem 1.1 for metric spaces \((\Theta ,d_\Theta )\) that are not necessarily totally bounded.
The setting is as follows. Let \((\Theta ,d_\Theta )\) be a metric space satisfying
Property (P) There exists an increasing sequence \(\{\Theta _n\}_{n\in \mathbb {N}}\), \(\Theta _n\subseteq \Theta _{n+1}\), \(n\in \mathbb {N}\), of totally bounded open subsets of \(\Theta \) such that \(\Theta =\bigcup _{n\in \mathbb {N}}\Theta _n\) and
Let \(({{\mathcal {X}}},d_{{{\mathcal {X}}}})\) be a complete metric space and let \((X_{\theta })_{\theta \in \Theta }\) be an \({{\mathcal {X}}}\)-valued random process on some \((\Omega ,{{\mathcal {F}}},\mathbb {P})\).
Proposition 2.1
Assume Property (P), that the process \((X_\theta )_{\theta \in \Theta }\) satisfies (2) and that, for all \(n\in \mathbb {N}\), there exist \(M_n,p_n, \rho _{n}>0\) and \(q_n>t_n\) (with \(t_n\) as in Property (P)) such that
Then, the random process \((X_{\theta })_{\theta \in \Theta }\) has a modification \((\widetilde{X}_{\theta })_{\theta \in \Theta }\) satisfying (2) such that all its paths are locally Hölder-continuous of all orders \(\beta \in \bigcap _{n\in \mathbb {N}}[0,(q_n - t_n)/p_n[\), where the expression “Hölder-continuous of order 0” is understood as “uniformly continuous.” Moreover, for \(n\in \mathbb {N}\), \(\overline{\theta }\in \Theta _{n}\), there is some open in \(\Theta \) neighborhood \(V(\overline{\theta })\) of \(\overline{\theta }\) such that
Remark 3
Notice that any \(\Theta \subseteq \mathbb {R}^m\) satisfies Property (P). We can takeFootnote 3\(\Theta _n=\Theta \cap (\,]-n,n[^m)\) and all \(t_n=m\), \(n\in \mathbb {N}\), whereas the constants \(C_n\) indeed depend on n. Therefore, in the case of an arbitrary subset \(\Theta \subseteq \mathbb {R}^m\) Proposition 2.1 includes, e.g., the following statement: There is a locally Hölder-continuous modification of all orders \(\beta \in ]0,(q-m)/p[\) whenever (7) holds with \(\Theta _n=\Theta \cap (]-n,n[^m)\), \(p_n=p>0\) and \(q_n=q>m\) not depending on n (on the contrary, \(M_n\) and \(\rho _n\) are allowed to depend on n). Moreover, in this case, for any \({\overline{\theta }}\in \Theta \), there exists an open in \(\Theta \) neighborhood \(V({\overline{\theta }})\) of \({\overline{\theta }}\) such that (8) with \(p_n\equiv p\) holds for all \(\beta \in ]0,(q-m)/p[\).
Although Proposition 2.1 follows from Theorem 1.1 via standard arguments, we present a proof to make the paper self-contained.
Proof of Proposition 2.1
Fix any \(n\in \mathbb {N}\). The set \(\Theta _{n}\) from Property (P) is totally bounded. Therefore, we can find open subsets \(\Theta _{n,1},\ldots ,\Theta _{n,r_{n}}\) of \(\Theta \) with diameters less than \(\rho _{n}\) such that
where \({\overline{\Theta }}_{n,i}=\Theta _{n}\cap \Theta _{n,i}\). By (7), we can apply Theorem 1.1 on each \({\overline{\Theta }}_{n,i}\). Hence, each \((X_{\theta })_{\theta \in {\overline{\Theta }}_{n,i}}\) has a modification \((\overline{X}^{n,i}_{\theta })_{\theta \in {\overline{\Theta }}_{n,i}}\) which satisfies (2) such that all its paths are Hölder-continuous on \({\overline{\Theta }}_{n,i}\) of all orders \(\beta \in [0,(q_n-t_n)/p_n[\) with
If \(i,j\in \{1,\ldots ,r_n\}\) are such that \(\overline{\Theta }_{n,i}\cap \overline{\Theta }_{n,j}\ne \emptyset \), then the processes \((\overline{X}^{n,i}_{\theta })_{\theta \in \overline{\Theta }_{n,i}\cap \overline{\Theta }_{n,j}}\) and \((\overline{X}^{n,j}_{\theta })_{\theta \in \overline{\Theta }_{n,i}\cap \overline{\Theta }_{n,j}}\) are indistinguishable, as they are both continuous, modifications of each other and \(\overline{\Theta }_{n,i}\cap \overline{\Theta }_{n,j}\) is separable (because totally bounded). Using this, it is straightforward to construct a modification \((\overline{X}^n_\theta )_{\theta \in \Theta _n}\) of \((X_\theta )_{\theta \in \Theta _n}\) which satisfies (2) such that all its paths are Hölder-continuous of all orders \(\beta \in [0,(q_n-t_n)/p_n[\) on each \({\overline{\Theta }}_{n,i}\) with
for all \(\beta \in [0, (q_n-t_n)/p_n[\) and \(i\in \{1,\ldots ,r_{n}\}\).
Now we vary \(n\in \mathbb {N}\). Recall that \(\Theta _n\subseteq \Theta _{n+1}\). Since \(({\overline{X}}^n_\theta )_{\theta \in \Theta _n}\) and \((\overline{X}^{n+1}_\theta )_{\theta \in \Theta _n}\) are modifications of each other, both continuous and \(\Theta _n\) is separable, then \((\overline{X}^n_\theta )_{\theta \in \Theta _n}\) and \((\overline{X}^{n+1}_\theta )_{\theta \in \Theta _n}\) are indistinguishable. Therefore, there exists \(\Omega _n\in {{\mathcal {F}}}\) with \(\mathbb {P}(\Omega _n)=1\) such that, for all \(\omega \in \Omega _n\) and \(\theta \in \Theta _n\), it holds \({\overline{X}}^n_\theta (\omega )={\overline{X}}^{n+1}_\theta (\omega )\). We define \(\Omega _\infty =\bigcap _{n\in \mathbb {N}}\Omega _n\) and the process \(({\widetilde{X}}_\theta )_{\theta \in \Theta }\) by the formula
where \(\Theta _0:=\emptyset \) and \({\bar{x}}\in {{\mathcal {X}}}\) is arbitrary. This is a modification of \((X_\theta )_{\theta \in \Theta }\) which satisfies (2), and all its paths are Hölder-continuous of all orders \(\beta \) from the interval \([0,(q_n - t_n)/p_n[\) on each \({\overline{\Theta }}_{n,i}\), \(n\in \mathbb {N}\), \(i\in \{1,\ldots ,r_{n}\}\). Recalling from Property (P) that each \(\Theta _n\) is open in \(\Theta \), we get that each point \(\theta \in \Theta \) belongs to some open subset \({\overline{\Theta }}_{n,i}\) of \(\Theta \) (for some \(n\in \mathbb {N}\) and \(i\in \{1,\ldots ,r_{n}\}\)). In particular, all paths of \(({\widetilde{X}}_\theta )_{\theta \in \Theta }\) are locally Hölder-continuous of all orders \(\beta \in \bigcap _{n\in \mathbb {N}}[0,(q_n - t_n)/p_n[\), while the last statement of Proposition 2.1 follows from (9). \(\square \)
3 Example: Subsets of Riemannian Manifolds
In this section, we discuss applicability of Theorem 1.1 and Proposition 2.1 in the setting when \(\Theta \) is a subset of an m-dimensional connected Riemannian manifold M. More precisely, we are going to understand restrictions (1) and Property (P) on \(\Theta \) in this setting. Essentially, the results are:
-
Every relatively compact \(\Theta \subseteq M\) satisfies (1) with \(t=m\) (Proposition 3.1);
-
Every \(\Theta \subseteq M\) satisfies Property (P) with \(t_n=m\), \(n\in \mathbb {N}\) (Corollary 3.2).
For basic concepts and results from differential geometry, we refer to standard textbooks, e.g., [7, 8, 14] and [16].
Let (M, g) be any connected m-dimensional Riemannian manifold as defined in [8]. This means that M denotes an m-dimensional \(C^{\infty }\)-manifold endowed with the Riemannian metric g. By definition, g is a mapping which associates with each point \(p\in M\) an inner product \(g_{p}\) on the tangential space \(T_{p}M\) at p such that for \(C^{\infty }\)-vector fields \(\mathcal {V}, \mathcal {W}\) on an open subset G of M the mapping
is differentiable of class \(C^{\infty }\). Furthermore, let for p, q denote by \(\mathcal {C}_{pq}\) the set of all \(C^{\infty }\)-curves in M joining p to q. The length L(c) of a curve \(c\in \mathcal {C}_{pq}\) defined on the closed interval \(I_{c}\) of \(\mathbb {R}\) is
where \(c'(t)\) stands for the velocity of c at t. Since M is connected, the sets \(\mathcal {C}_{pq}\) are always nonvoid (see [8, p. 146]), and the mapping
is a metric on M (see [8, Proposition 7.2.5]) sometimes called the inner metric (induced by g). Moreover, the topology induced by this metric coincides with the original topology on M (see [8, Proposition 7.2.6]).
Proposition 3.1
(i) Let \(\Theta \) be any relatively compact subset of M. Then there exist a compact subset \(K_{m}\) of \(\mathbb {R}^{m}\) as well as \(r\in \mathbb {N}\) and \(\delta > 0\) such that
where \(d_{m,2}\) stands for the Euclidean metric on \(\mathbb {R}^{m}\). As a consequence, \(\Theta \) satisfies condition (1) with \(t = m\) w.r.t. the metric \(d_{g}\).
(ii) If \(d_{g}\) is complete, then every \(d_g\)-bounded subset \(\Theta \) of M satisfies (1) with \(t = m\) w.r.t. the metric \(d_{g}\).
Corollary 3.2
Every \(\Theta \subseteq M\) satisfies Property (P) with \(t_{n} = m\), \(n\in \mathbb {N}\), w.r.t. the metric \(d_{g}\).
Proof
Since M is a \(C^{\infty }\)-manifold, we can find an open covering \(\{\overline{\Theta }_n\}_{n\in \mathbb {N}}\) of M consisting of relatively compact subsets of M and satisfying \(\overline{\Theta }_n\subseteq \overline{\Theta }_{n+1}\) for \(n\in \mathbb {N}\) (see, e.g., [7, (16.1.4)]). By Proposition 3.1, this sequence of subsets satisfies (6) w.r.t. \(d_{g}\) with \(t_{n} = m\) for \(n\in \mathbb {N}\) (and the constants \(C_{n}\) indeed depend on n). Hence, every \(\Theta \subseteq M\) satisfies Property (P) with \(t_{n} = m\), \(n\in \mathbb {N}\), w.r.t. \(d_{g}\), as we can chooseFootnote 4\(\Theta _{n}:= \Theta \cap \overline{\Theta }_{n}\), \(n\in \mathbb {N}\). \(\square \)
In the rest of this section, we prove Proposition 3.1. The proof is based on a couple of auxiliary results.
Lemma 3.3
Let \(\overline{\Theta }\) be a nonvoid compact subset of M and assume \({\overline{\Theta }}\subseteq G\), where G is an open subset of M allowing a chart \(u:G\rightarrow \mathbb {R}^m\) which satisfies that \(u(\overline{\Theta })\) is convex. Then, there is some \(\delta > 0\) such that
Proof
Let \(\{e_{1},\ldots ,e_{m}\}\) stand for the standard basis on \(\mathbb {R}^{m}\). For any \(C^{\infty }\)-mapping \(g:{\mathcal {U}}\rightarrow \mathbb {R}\) on some open subset \({\mathcal {U}}\) of \(\mathbb {R}^{m}\), we shall use notation \(d_{x}h\) to denote the differential of h at \(x\in {\mathcal {U}}\).
Let us introduce for \(p\in G\) the set \({{\mathcal {C}}}_{M}^{\infty }(p)\) of all real-valued \(C^{\infty }\)-mappings on some open neighborhood of p. By definition, the tangential space \(T_{p}M\) of M at p consists of real-valued mappings on \({{\mathcal {C}}}_{M}^{\infty }(p)\). The chart u provides the following basis of \(T_{p}M\)
(see [8, p.8]). Moreover,
defines some \(C^{\infty }\)-vector field (see [8, pp. 25f.]).
Next, let for \(x\in u(G)\) denote by \(d_{x}u^{-1}\) the differential of \(u^{-1}\) at x which is a linear mapping from \(\mathbb {R}^{m}\) into \(T_{u^{-1}(x)}M\) satisfying
Since \(g_{u^{-1}(x)}\) is an inner product on \(T_{u^{-1}(x)}M\), we may observe for any \(v = (v_{1},\ldots ,v_{m})\in \mathbb {R}^{m}\)
Then, with \(S^{m-1}\) denoting the Euclidean sphere in \(\mathbb {R}^{m}\), we may conclude from the defining properties of the Riemannian metric g that the mapping
is continuous with strictly positive outcomes. Moreover, its domain is a compact subset of \(\mathbb {R}^{m}\times \mathbb {R}^{m}\) so that it attains its maximum \(\delta \) which is a positive number.
Now, let \(p, q\in \overline{\Theta }\) with \(p\not = q\). Since \(u(\overline{\Theta })\) is assumed to be convex, the mapping
is a \(C^{\infty }\)-curve in \(\mathbb {R}^{m}\) satisfying \(\overline{c}(t)\in u(\overline{\Theta })\) for \(t\in [0,1]\). Then, \(c:= u^{-1}\circ \overline{c}\in \mathcal {C}_{pq}\), and by chain rule
Since \(g_{u^{-1}\left( \overline{c}(t)\right) }\) is an inner product on \(T_{u^{-1}\big (\overline{c}(t)\big )}M\) and \(d_{\overline{c}(t)}u^{-1}\) is linear for every \(t\in [0,1]\), we obtain
where \(\Vert \cdot \Vert _{m,2}\) stands for the Euclidean norm on \(\mathbb {R}^{m}\). Hence, by definition of the inner metric \(d_{g}\) we end up with
Since \(\delta \) does not depend on p, q, we now easily derive the claim of Lemma 3.3. \(\square \)
In the next step, using Lemma 3.3, we prove the result of Proposition 3.1 first for compact subsets of M.
Lemma 3.4
Let \(\overline{\Theta }\subseteq M\) be nonvoid and compact. Then, there exists a nonvoid compact subset \(K_{m}\) of \(\mathbb {R}^{m}\) as well as \(r\in \mathbb {N}\) and \(\delta > 0\) such that
Proof
For any \(p\in \overline{\Theta }\), we may find a chart \(u_{p}\), defined on an open subset \(G_{u_{p}}\) of M, and some \(\varepsilon _{p} > 0\) such that \(p\in G_{u_{p}}\) and
Setting \(U_{\varepsilon _{p}}\big (u_{p}(p)\big ):= \{x\in \mathbb {R}^{m}\mid d_{m,2}\big (x,u_{p}(p)\big ) < \varepsilon _{p}\}\) and \(G^{p}:= u_{p}^{-1}\left( U_{\varepsilon _{p}}\big (u_{p}(p)\big )\right) \), we observe that \((G^{p})_{p\in {\overline{\Theta }}}\) is an open covering of \(\overline{\Theta }\) because \(U_{\varepsilon _{p}}\big (u_{p}(p)\big )\) is an open subset of \(\mathbb {R}^{m}\). Hence, by compactness of \(\overline{\Theta }\) there exist \(p_{1},\ldots ,p_{r}\in M\) such that
where \(\Theta ^{i}:= u_{p_{i}}^{-1}\left( B_{\varepsilon _{p_{i}}}\big (u_{p_{i}}(p_{i})\big )\right) \) for \(i=1,\ldots ,r\). For any \(i\in \{1,\ldots ,r\}\) the set \(\Theta ^{i}\) meets the requirements of Lemma 3.3. Hence, we may find \(\delta _{1},\ldots ,\delta _{r} > 0\) such that
The set
is a compact subset of \(\mathbb {R}^{m}\). Then, setting \(\delta := 4\max \{\delta _{1},\ldots ,\delta _{r}\}\), we end up with
This completes the proof. \(\square \)
Finally, we are ready to prove Proposition 3.1.
Proof of Proposition 3.1
(i) Let \(\Theta \) be a nonvoid relatively compact subset of M. The topological closure \(\overline{\Theta }\) is compact, and \(N(\Theta ,d_{g},\eta )\le N(\overline{\Theta },d_{g},\eta /2)\) holds for every \(\eta > 0\). Therefore, the first claim immediately follows from Lemma 3.4.
(ii) If \(d_{g}\) is complete, then by the Hopf–Rinow theorem (see, e.g., [8, Theorem 7.2.8]) every \(d_{g}\)-bounded subset of M is already relatively compact. Therefore, the second claim follows from the first one. \(\square \)
4 Tightness for Sequences of Random Processes
Let \((\Theta ,d_{\Theta })\) be a compact metric space and \(({{\mathcal {X}}},d_{{{\mathcal {X}}}})\) a complete metric space. We denote by \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) the space of all continuous mappings from \(\Theta \) into \({{\mathcal {X}}}\) endowed with uniform metric \(d_{\infty }\) w.r.t. the metric \(d_{{{\mathcal {X}}}}\) and the induced Borel \(\sigma \)-algebra \({{\mathcal {B}}}\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\big )\).
Some of the results we are going to present simplify in the case when \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) is separable (hence Polish, as it is complete). For some discussions below we recall that, as \(\Theta \) is compact, \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) is separable if and only if \({{\mathcal {X}}}\) is separable (see [1, Lemma 3.99]). We, however, stress at this point that we never assume \({{\mathcal {X}}}\) (equivalently, \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\)) to be separable.
Let us fix any sequence \((X_{n})_{n\in \mathbb {N}}\) of Borel random elements \(X_{n}:\Omega \rightarrow {{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) on some probability space \((\Omega ,{{\mathcal {F}}},\mathbb {P})\). We show how Corollary 1.2 leads to a sufficient condition for uniform tightness in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\).
Proposition 4.1
Let \(\Theta \) fulfill property (1) with constants \(C, t > 0\). Let \(\Theta '\subseteq \Theta \) be dense in \(\Theta \). Assume that \( \big (X_{n}(\cdot ,\theta )\big )_{n\in \mathbb {N}} \) is a uniformly tight sequence of random elements in \(({{\mathcal {X}}},{{\mathcal {B}}}({{\mathcal {X}}}))\), for all \(\theta \in \Theta '\) and that there exist \(M,p>0\) and \(q>t\) such that
Then, \((X_{n})_{n\in \mathbb {N}}\) is a uniformly tight sequence of Borel random elements in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\).
We recall that (1) need not be assumed if \(\Theta \) is a compact subset of \(\mathbb {R}^m\) endowed with the Euclidean metric. In this case, it is enough only to require \(q>m\) in (10) (see Remark 2).
Remark 4
Notice that (2) is satisfied for all processes \(X_n\) because they are assumed to be Borel random elements in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) in this section and the projection map
is continuous for all \((\theta ,\vartheta )\in \Theta ^2\).
Remark 5
Observe that, if \({{\mathcal {X}}}\) is separable, then the statements
(A) \(X_n:\Omega \rightarrow {{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) is a Borel random element, i.e., a random element in \(\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}),{{\mathcal {B}}}({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}))\big )\); and
(B) \(X_n=(X_n(\cdot ,\theta ))_{\theta \in \Theta }\) is an \({{\mathcal {X}}}\)-valued process (i.e., for all \(\theta \in \Theta \), \(X_n(\cdot ,\theta )\) is a random element in \(({{\mathcal {X}}},{{\mathcal {B}}}({{\mathcal {X}}}))\)) with continuous paths are equivalent (see [15, Lemma 14.1]). Thus, whenever \({{\mathcal {X}}}\) is a Polish space, in Proposition 4.1 (and in what follows) we essentially work with sequences of continuous \({{\mathcal {X}}}\)-valued processes. In general, when (A) and (B) no longer coincide, the right choice is always (A), i.e., always to consider Borel random elements in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\), as the concept of tightness (in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\)) discussed in Proposition 4.1 requires the Borel \(\sigma \)-algebra (in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\)).
Proof of Proposition 4.1
We take an arbitrary \(\beta \in ]0,(q-t)/p[\). By compactness of \(\Theta \), there exists some at most countable dense subset \({\overline{\Theta }}\) of \(\Theta \). Corollary 1.2 together with the continuity of the processes \(X_n\) yields, for all \(\delta >0\) and \(n\in \mathbb {N}\),
Using the Markov inequality, we conclude that, for every \(\varepsilon >0\),
Now the criterion for uniform tightness in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) presented in Theorem A.1 applies and completes the proof. \(\square \)
We observe that essentially the same condition achieves rather different aims in Theorem 1.1 and in Proposition 4.1. In Theorem 1.1, condition (3) ensures existence of a continuous modification for the process X (when \({{\mathcal {X}}}\) is complete, which is assumed in Sect. 4), while in Proposition 4.1, condition (10) implies the uniform tightness in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) for the sequence \((X_n)\). (Notice that (10) is nothing else but (3) required for all \(X_n\) uniformly in n.) It is, therefore, tempting to try to shift continuity of the processes into the conclusion of Proposition 4.1. And, indeed, this easily follows from the discussions above, although at the cost of requiring \({{\mathcal {X}}}\) to be separable.
Corollary 4.2
Assume that \({{\mathcal {X}}}\) is separable. Let \(\Theta \) fulfill property (1) with constants \(C, t > 0\). We consider a sequence \((X_n)_{n\in \mathbb {N}}\) of \({{\mathcal {X}}}\)-valued processes \(X_n=(X_n(\cdot ,\theta ))_{\theta \in \Theta }\). Let \(\Theta '\subseteq \Theta \) be dense in \(\Theta \). Assume that \((X_n(\cdot ,\theta ))_{n\in \mathbb {N}}\) is a uniformly tight sequence of random elements in \(({{\mathcal {X}}},{{\mathcal {B}}}({{\mathcal {X}}}))\), for all \(\theta \in \Theta '\), and that there exist \(M,p>0\) and \(q>t\) such that
Then, each process \(X_n\) admits a modification \({\overline{X}}_n=({\overline{X}}_n(\cdot ,\theta ))_{\theta \in \Theta }\) that has continuous paths \(\theta \mapsto {\overline{X}}_n(\omega ,\theta )\) for all \(\omega \in \Omega \), the processes \({\overline{X}}_n\), \(n\in \mathbb {N}\), are Borel random elements in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\), and the sequence \(({\overline{X}}_n)_{n\in \mathbb {N}}\) is uniformly tight in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\).
Proof
Theorem 1.1 ensures the existence of the continuous modifications \({\overline{X}}_n\), \(n\in \mathbb {N}\). As \({{\mathcal {X}}}\) is separable, then, due to the equivalence between (A) and (B) in Remark 5, each \({\overline{X}}_n\) is a Borel random element in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\). The uniform tightness of the sequence \(({\overline{X}}_n)_{n\in \mathbb {N}}\) now follows from Proposition 4.1. \(\square \)
Remark 6
If in Corollary 4.2 we additionally require that each process \(X_n\) is separable (the definition is recalled below), then we obtain that each process \(X_n\) is itself continuous almost surely, so that we obtain the uniform tightness for the sequence \((X_n)_{n\in \mathbb {N}}\) itself.Footnote 5 This immediately follows from Lemma 4.3. For when this remark can be useful, we observe that, in some situations, we are given processes that are a priori separable (e.g., càdlàg \({{\mathcal {X}}}\)-valued processes in the case \(\Theta =[0,1]\)).
It remains to justify the previous remark. Recall that an \({{\mathcal {X}}}\)-valued process \((Y(\cdot ,\theta ))_{\theta \in \Theta }\) on some \((\Omega ,{{\mathcal {F}}},\mathbb {P})\) is called separableFootnote 6 if there exist an at most countable subset \(\Theta _0\subseteq \Theta \) dense in \(\Theta \) and an event \(\Omega _0\in {{\mathcal {F}}}\) with \(\mathbb {P}(\Omega _0)=1\) such that for every open subset \(\mathcal {G}\) of \(\Theta \), and any closed subset \(\mathcal {D}\) of \(\mathcal {X}\) the following equality holds true
(see [9]).
Lemma 4.3
Let \(Y=\big (Y(\cdot ,\theta )\big )_{\theta \in \Theta }\) be a separable \({{\mathcal {X}}}\)-valued process that admits a continuous modification. Then, \(Y=\big (Y(\cdot ,\theta )\big )_{\theta \in \Theta }\) is itself continuous almost surely, and hence there is an indistinguishable from Y process \({\widetilde{Y}}\) such that all its paths are continuous.
It is worth noting that, contrary to the general setting in Sect. 4, for this lemma the metric space \({{\mathcal {X}}}\) does not need to be complete.
Proof
Let \({\widetilde{Y}}=\big ({\widetilde{Y}}(\cdot ,\theta )\big )_{\theta \in \Theta }\) be a continuous modification of Y, i.e., for all \(\theta \in \Theta \) we have \(\mathbb {P}(\{{\widetilde{Y}}(\cdot ,\theta )=Y(\cdot ,\theta )\})=1\) and the paths \(\theta \mapsto {\widetilde{Y}}(\omega ,\theta )\) are continuous for all \(\omega \in \Omega \). As Y is separable, we can find an at most countable \(\Theta _0\subseteq \Theta \) dense in \(\Theta \) and \(\Omega _0\in {{\mathcal {F}}}\) with \(\mathbb {P}(\Omega _0)=1\) as described prior to Lemma 4.3. Define
and observe that \(\mathbb {P}(\Omega _1)=1\). It suffices to show that \(Y(\omega ,\theta ) = \widetilde{Y}(\omega ,\theta )\) holds for \(\omega \in \Omega _{1}\) and \(\theta \in \Theta \). So let us fix \(\omega \in \Omega _{1}\) and \(\theta \in \Theta \).
For \(k\in \mathbb {N}\) set \(\mathcal {G}_{k}:= \{\vartheta \in \Theta \mid d_{\Theta }(\theta ,\vartheta ) < 1/k\}\), and let \(\mathcal {D}_{k}\) denote the closure of the set \(\{Y(\omega ,\vartheta )\mid \vartheta \in \mathcal {G}_{k}\cap \Theta _{0}\}\). Now, separability of Y yields \(Y(\omega ,\theta )\in \mathcal {D}_{k}\). In particular, there is some sequence \((\vartheta ^{k}_{n})_{n\in \mathbb {N}}\) in \(\mathcal {G}_{k}\cap \Theta _{0}\) such that \(Y(\omega ,\vartheta ^{k}_{n})\rightarrow Y(\omega ,\theta )\), as \(n\rightarrow \infty \). This implies \(\widetilde{Y}(\omega ,\vartheta ^{k}_{n})\rightarrow Y(\omega ,\theta )\), as \(n\rightarrow \infty \), due to definition of \(\Omega _{1}\). Moreover, we may select by compactness of \(\Theta \) a subsequence \((\vartheta _{i(n)}^{k})_{n\in \mathbb {N}}\) of \((\vartheta ^{k}_{n})_{n\in \mathbb {N}}\) which converges to some \(\overline{\vartheta }^{k}\in \Theta \). Then, by continuity of \({\widetilde{Y}}\),
As \(d_{\Theta }(\theta ,\overline{\vartheta }^{k})\le 1/k\), the sequence \((\overline{\vartheta }^{k})_{k\in \mathbb {N}}\) converges to \(\theta \). Hence, drawing on the continuity of \(\widetilde{Y}\) again, we end up with
This completes the proof. \(\square \)
5 Central Limit Theorems for Banach-Valued Random Processes
Let \((\Theta ,d_{\Theta })\) be a compact metric space, and let \(({{\mathcal {X}}},\Vert \cdot \Vert _{{{\mathcal {X}}}})\) be a Banach space. We shall denote by \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) the space of all continuous mappings from \(\Theta \) into \({{\mathcal {X}}}\). It will be endowed with sup-norm \(\Vert \cdot \Vert _{\infty }\) w.r.t. \(\Vert \cdot \Vert _{{{\mathcal {X}}}}\), and the induced Borel \(\sigma \)-algebra \({{\mathcal {B}}}\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\big )\).
Consider any i.i.d. sequence \((X_i)_{i\in \mathbb {N}}\) of Bochner-integrable Borel random elements in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) on some probability space \((\Omega ,{{\mathcal {F}}},\mathbb {P})\). We want to investigate weak convergence of the sequence \((S_{n})_{n\in \mathbb {N}}\) consisting of Borel random elements in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) defined by
where \(\mathbb {E}^{B}[X_{i}]\) denotes the Bochner-integral of \(X_{i}\). We start with the following observation.
Proposition 5.1
Let \(\Vert X_{1}\Vert _{\infty }\) be square integrable.
(i) The following statements are equivalent:
a) The sequence \((S_{n})_{n\in \mathbb {N}}\) is uniformly tight;
b) The sequence \((S_{n})_{n\in \mathbb {N}}\) converges weakly to some centered Gaussian random element in \(\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}),{{\mathcal {B}}}({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}))\big )\).
(ii) If the equivalent statements in part (i) are satisfied, then the limiting law in b) is tight.
We remark that, as every Borel probability measure in a Polish space is tight, statement (ii) in Proposition 5.1 has a message only when \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) (equivalently, \({{\mathcal {X}}}\)) is non-separable.
Proof
As the Borel random element \(X_1\) is Bochner integrable, it is almost surely separably valued. Then, we can find a closed separable linear subspace \({\widehat{C}}\) of \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) such that \(\mathbb {P}(\{X_1\in {\widehat{C}}\})=1\) (note that \({\widehat{C}}\) is itself a Polish space and \({\widehat{C}}\in {{\mathcal {B}}}({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}))\)). It follows that \(\mathbb {E}^{B}[X_{1}]\in {\widehat{C}}\). This yields \(\mathbb {P}(\{X_1-\mathbb {E}^{B}[X_{1}]\in {\widehat{C}}\})=1\), hence \(\mathbb {P}(\{S_n\in {\widehat{C}}\})=1\) for all \(n\in \mathbb {N}\). In view of the portmanteau lemma, this yields that every weak limit point of the laws of \(S_{n}\), \(n\in \mathbb {N}\), is concentrated on \({\widehat{C}}\) (in particular, is tight), thus establishing part (ii). Moreover, the implication \(b)\Rightarrow a)\) in part (i) now follows from Prokhorov’s theorem, which applies due to the fact that all measures are concentrated on a Polish space.
We turn to the implication \(a)\Rightarrow b)\) in part (i). By Prokhorov’s theorem, the uniformly tight sequence \((S_{n})_{n\in \mathbb {N}}\) is relatively weakly sequentially compact. It remains to prove uniqueness of a limit point and its Gaussianity. To this end, let \(r\in \mathbb {N}\) and \(\Lambda _j:{{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\rightarrow \mathbb {R}\), \(j=1,\ldots ,r\), be continuous linear functionals. Classical multivariate central limit theorem applies to the sequence \(\big ((\Lambda _{1}\circ S_{n},\ldots \Lambda _{r}\circ S_{n})\big )_{n\in \mathbb {N}}\) because
(\(\Vert \Lambda _j\Vert \) denotes the operator norm of \(\Lambda _j\)) and yields weak convergence to a centered Gaussian law in \(\mathbb {R}^r\). This identifies every weak limit point of the laws of \(S_n\), \(n\in \mathbb {N}\), as a Gaussian measure and uniquely determines every weak limit point on the \(\sigma \)-algebra \({{\mathcal {E}}}\) generated by continuous linear functionals \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\rightarrow \mathbb {R}\). Notice that \({{\mathcal {E}}}\subseteq {{\mathcal {B}}}({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}))\), and the inclusion can be strict (when \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) is non-separable). However, restricted to \({\widehat{C}}\) both \(\sigma \)-algebras coincide:
(see [24, Theorem I.2.1]). Recalling that every weak limit point is concentrated on \({\widehat{C}}\) completes the proof. \(\square \)
For application of Proposition 5.1, we can utilize our criterion in Proposition 4.1 and obtain the following result.
Corollary 5.2
Let \(\Theta \) satisfy condition (1) with constants \(C,t > 0\), and let \(\Vert X_{1}\Vert _{\infty }\) be square integrable. Assume that there is a dense subset \(\Theta '\subseteq \Theta \) such that
and that there exist \(M, p > 0\) as well as \(q > t\) with
Then, the sequence \((S_{n})_{n\in \mathbb {N}}\) converges weakly to a tight centered Gaussian random element in \(\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}),{{\mathcal {B}}}\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\big )\big )\).
We want to discuss the requirements of Corollary 5.2 for special choices of the Banach space \({{\mathcal {X}}}\). Let us start with type 2-Banach spaces. To recall, the Banach space \({{\mathcal {X}}}\) is called a type 2 - Banach space if there is a constant \(C > 0\) such that, for all \(n\in \mathbb {N}\) and \({{\mathcal {X}}}\)-valued independent centered Borel random elements \(W_{1},\dots ,W_{n}\) such that \(\Vert W_{i}\Vert _{{{\mathcal {X}}}}\) are square integrable, we have the following inequality
(see, e.g., [11, Theorem 2.1]). Prominent examples of type 2 - Banach space are the following:
-
\({{\mathcal {X}}}\) is a finite-dimensional vector space,
-
\({{\mathcal {X}}}\) is an \(L^{p}\)-space on some \(\sigma \)-finite measure space \((\mathfrak {X},{{\mathcal {A}}},\nu )\) with \(L^{p}\)-norm \(\Vert \cdot \Vert _{p}\) for \(p\in [2,\infty [\) (see [18, Section 9.2]).
If \({{\mathcal {X}}}\) is a type 2-Banach space, then conditions (12) and (13) can be simplified in the following way.
Proposition 5.3
Let \({{\mathcal {X}}}\) be a type 2-Banach space, let \(\Theta \) satisfy condition (1) with constants \(C,t > 0\), and let \(\Vert X_{1}\Vert _{\infty }\) be square integrable. Then, it holds:
-
(1)
The sequence \((S_{n})_{n\in \mathbb {N}}\) always satisfies condition (12), even with \(\Theta '=\Theta \).
-
(2)
The sequence \((S_{n})_{n\in \mathbb {N}}\) satisfies condition (13) with \(p=2\) whenever there exist \(M > 0\) and \(q> t\) such that
$$\begin{aligned} \mathbb {E}\left[ \Vert X_{1}(\cdot ,\theta ) - X_{1}(\cdot ,\vartheta )\Vert _{{{\mathcal {X}}}}^{2}\right] \le M~d_{\Theta }(\theta ,\vartheta )^{q}\quad \text{ for }~\theta , \vartheta \in \Theta . \end{aligned}$$(14)
In particular, under (14), the sequence \((S_{n})_{n\in \mathbb {N}}\) converges weakly to a tight centered Gaussian random element in \(\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}}),{{\mathcal {B}}}\big ({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\big )\big )\).
It is worth noting that, even in the separable case, we cannot get this result from the general central limit theorem in type 2 - Banach spaces (see, e.g., [18, Theorem 10.5]) because, in Proposition 5.3, it is only the space \({{\mathcal {X}}}\) and not \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) that has type 2.
Proof
Consider for \(\theta \in \Theta \) the continuous linear operator \(\pi _{\theta }:\mathcal {C}\big (\Theta ,{{\mathcal {X}}}\big )\rightarrow {{\mathcal {X}}}\) defined by \(\pi _{\theta }(f):= f(\theta )\). Then by Bochner-integrability of the Borel random element \(X_1\) in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\), we may conclude that the Borel random element \(X_{1}(\cdot ,\theta ) = \pi _{\theta }\circ X_{1}\) of \({{\mathcal {X}}}\) is Bochner-integrable with Bochner-integral \(\mathbb {E}^{B}\big [X_{1}(\cdot ,\theta )\big ] = \pi _{\theta }\big (\mathbb {E}^{B}\big [X_{1}\big ]\big )\). In particular, it is almost surely separably valued. Hence, the Borel random element \(X_{1}(\cdot ,\theta ) - \mathbb {E}^{B}\big [X_{1}(\cdot ,\theta )\big ]\) is almost surely separably valued too. This means that \(X_{1}(\cdot ,\theta ) - \mathbb {E}^{B}\big [X_{1}(\cdot ,\theta )\big ]\) is concentrated on some separable closed subset of \({{\mathcal {X}}}\). Due to completeness of \(\Vert \cdot \Vert _{\infty }\), this implies that \(X_{1}(\cdot ,\theta ) - \mathbb {E}^{B}\big [X_{1}(\cdot ,\theta )\big ]\) is a Radon Borel random element of \({{\mathcal {X}}}\) (see [24, p. 29, Corollary]). Now, statement 1) follows from the general central limit theorem in type 2-Banach spaces (see [11, Theorem 3.6] or [18, Theorem 10.5]) along with the version of Prokhorov’s theorem for Radon measures (see, e.g., [24, Theorem I.3.6]).
Concerning statement 2), by the above definition of type 2-Banach spaces, we can find some constant \(C > 0\) such that
We now observe that
where in the last step we use Jensen’s inequality. This completes the proof. \(\square \)
Let us turn to cotype 2-Banach spaces. The Banach space \({{\mathcal {X}}}\) is called a cotype 2-Banach space if there is a constant \(C > 0\) such that, for all \(n\in \mathbb {N}\) and \({{\mathcal {X}}}\)-valued independent centered Borel random elements \(W_{1},\dots ,W_{n}\) such that \(\Vert W_{i}\Vert _{{{\mathcal {X}}}}\) are square integrable, we have the following inequality
(see, e.g., [5]). For a further preparation, let us also recall that a centered tight Borel random element W in \({{\mathcal {X}}}\) is called pre-gaussian if there is some centered tight Gaussian random element G in \({{\mathcal {X}}}\) such that
holds for every pair \(L_{1},L_{2}\) of continuous linear forms on \({{\mathcal {X}}}\).
If \({{\mathcal {X}}}\) is cotype 2-Banach space, we can obtain the following criterion for property (12).
Proposition 5.4
Let \({{\mathcal {X}}}\) be a cotype 2-Banach space, let \(\Theta \) satisfy condition (1) with constants \(C,t > 0\), and let \(\Vert X_{1}\Vert _{\infty }\) be square integrable. Assume that there is a dense subset \(\Theta '\subseteq \Theta \) such that
Then, the sequence \((S_{n})_{n\in \mathbb {N}}\) satisfies property (12) (with this \(\Theta '\)).
Proof
First note that \(X_1(\cdot ,\theta )\) is a tight Borel random element in \({{\mathcal {X}}}\) for every \(\theta \in \Theta \) (cf. the proof of Proposition 5.3). Now the claim of Proposition 5.4 follows from the general central limit theorem in cotype 2-Banach spaces (see [5, Theorem 4.1] or [18, Theorem 10.7]) along with the version of Prokhorov’s theorem for Radon measures (see, e.g., [24, Theorem I.3.6]). \(\square \)
Remark 7
As a prominent example let \({{\mathcal {X}}}\) be an \(L^{p}\)-space on some \(\sigma \)-finite measure space \((\mathfrak {X},{{\mathcal {A}}},\nu )\) with \(L^{p}\)-norm \(\Vert \cdot \Vert _{p}\) for \(p\in [1,2]\). Then, it is a cotype 2-Banach space (see [3, p. 188]). Moreover, for any \(\theta \in \Theta \), the tight Borel random element \(X_{1}(\cdot ,\theta ) - \mathbb {E}^{B}[X_{1}(\cdot ,\theta )]\) is pre-gaussian if and only if \(L\circ \big (X_{1}(\cdot ,\theta )-\mathbb {E}^{B}[X_{1}(\cdot ,\theta )]\big )\) is square integrable for every continuous linear form L on \({{\mathcal {X}}}\), and
(see [13, Theorem 11]).
6 Proofs
Let us retake general assumptions and notations from Sect. 1. One key of our proofs is the following auxiliary technical result which extends Lemma B.2.7 in [23]. For a finite set B, we shall use notation \({\text {c}ard}(B)\) to denote its cardinality.
Lemma 6.1
Let \(\overline{\Theta }\) be some nonvoid finite subset of \(\Theta \), and let \(A\ge 1\) as well as \(r\in \mathbb {N}\) such that \(A^{r}\ge {\text {c}ard}(\overline{\Theta })\). Then, for \(c > 0\) there exists some \(U\subseteq \overline{\Theta }\times \overline{\Theta }\) satisfying
Proof
According to the proof of Lemma B.2.7 in [23], we may find a sequence \((V_{l})_{l\in \mathbb {N}}\) of subsets of \(\overline{\Theta }\), a sequence \((\theta _{l})_{l\in \mathbb {N}}\) in \(\overline{\Theta }\) as well as a sequence \((r_{l})_{\in \mathbb {N}}\) in \(\{1,\dots ,r\}\) such that the following properties are satisfied
-
\(V_{1} = \overline{\Theta }\) and \(\exists ~ l_{0}\in \mathbb {N}~\forall ~l\in \mathbb {N},~l\ge l_{0}: V_{l} = \emptyset \).
-
\(\theta _{l}\in V_{l}\) if \(V_{l}\not =\emptyset \).
-
\({\text {c}ard}\big (\{\theta \in V_{l}\mid d_{\Theta }(\theta ,\theta _{l})\le r_{l} c\}\big )\le A^{r_{l}}\) if \(V_{l}\not =\emptyset \).
-
\(V_{l+1} = V_{l}\setminus \{\theta \in V_{l}\mid d_{\Theta }(\theta ,\theta _{l})\le (r_{l} - 1) c\} = \{\theta \in V_{l}\mid d_{\Theta }(\theta ,\theta _{l}) > (r_{l} - 1) c\}\) if \(V_{l}\not =\emptyset \).
-
\({\mathop {\mathop {\sum }\limits _{l=1}}\limits _{V_{l}\not =\emptyset }^{\infty }} A^{r_{l}}\le A\cdot {\text {c}ard}(\overline{\Theta }).\)
We shall show that the set
is as required.
First of all
so that U fulfills (15).
Secondly, let \((\theta ,\vartheta )\in U\). Then \(\theta = \theta _{l}\) and \(\vartheta \in V_{l}\) with \(d_{\Theta }(\theta _{l},\vartheta )\le c r_{l}\) for some \(l\in \mathbb {N}\) with \(V_{l}\not =\emptyset \). This means \(d_{\Theta }(\theta ,\vartheta )\le c r\) because \(r_{l}\le r\). Thus, (16) holds for U. So it remains to show that (17) is valid for U.
Let \(\theta ,\vartheta \in \overline{\Theta }\) with \(d_{\Theta }(\theta ,\vartheta )\le c\). By construction, \(\theta ,\vartheta \in V_{1}\), whereas neither \(\theta \) nor \(\vartheta \) belongs to \(V_{l}\) for \(l\ge l_{0}\). So we may choose \(l_{*}:= \max \{l\in \mathbb {N}\mid \theta ,\vartheta \in V_{l}\}\). Then, \(\theta \not \in V_{l_{*} + 1}\) or \(\vartheta \not \in V_{l_{*} + 1}\), without loss of generality \(\vartheta \not \in V_{l_{*} + 1}\). This means \(d_{\Theta }(\theta _{l_{*}},\vartheta )\le (r_{l_{*}} - 1) c\) so that also
Hence, \((\theta _{l_{*}},\theta ), (\theta _{l_{*}},\vartheta )\in U\), and thus,
This shows (17) and completes the proof. \(\square \)
6.1 Proof of Lemma 1.3
In the first step, we want to point out the central chaining argument that we shall use for the proof of Lemma 1.3.
Lemma 6.2
Let \(\overline{\Theta }\subseteq \Theta \) be finite with at least two elements. Let \(n_{0}\) be the largest element in \(\mathbb {Z}\) such that \(\Delta (\overline{\Theta })\le 2^{-n_{0}}\), and let
Then, \(n_{0} < n_{1}\), and the following statements are valid.
-
(1)
There exists a family \(\{\Theta _{n}\mid n = n_{0},\dots ,n_{1}\}\) of subsets of \(\overline{\Theta }\) satisfying
$$\begin{aligned}{} & {} {\text {c}ard}(\Theta _{n}) = N(\overline{\Theta },d_{\Theta },2^{-n})\quad \text{ for }~n\in \{n_{0},\dots ,n_{1}\},\end{aligned}$$(18)$$\begin{aligned}{} & {} \inf _{\vartheta \in \Theta _{n}}d_{\Theta }(\theta ,\vartheta ) \le 2^{-n}\quad \text{ for }~n\in \{n_{0},\dots ,n_{1}\}~\text{ and }~\theta \in \overline{\Theta }. \end{aligned}$$(19) -
(2)
The family \(\{\Theta _{n}\mid n = n_{0},\dots ,n_{1}\}\) from statement 1) may be associated with a family \(\{\varphi _{n}\mid n = n_{0},\dots ,n_{1}\}\) of mappings \(\varphi _{n}:\overline{\Theta }\rightarrow \Theta _{n}\) which fulfill the following properties:
$$\begin{aligned}&\varphi _{n_{1}}:\overline{\Theta }\rightarrow \overline{\Theta },~\theta \mapsto \theta ,\end{aligned}$$(20)$$\begin{aligned}&\varphi _{n_{0}}\equiv \theta _{0}\quad \text{ for } \text{ some }~\vartheta _{0}\in \overline{\Theta }.\end{aligned}$$(21)$$\begin{aligned}&d_{\Theta }\big (\varphi _{n+1}(\theta ),\varphi _{n}(\theta )\big )\le 2^{-n}\quad \text{ for }~n\in \{n_{0},\dots ,n_{1}-1\}~\text{ and }~\theta \in \overline{\Theta },\end{aligned}$$(22)$$\begin{aligned}&{\text {card}}\left( \left\{ \big (\varphi _{n+1}(\theta ),\varphi _{n}(\theta )\big )\mid \theta \in \overline{\Theta }\right\} \right) \le N(\overline{\Theta },d_{\Theta },2^{-(n + 1)})\quad \text{ if }~n\in \{n_{0},\dots ,n_{1}-1\},\end{aligned}$$(23)$$\begin{aligned}&d_{\Theta }\big (\varphi _{n}(\theta ),\varphi _{n}(\vartheta )\big )\le 2^{-n + 2} + d_{\Theta }(\theta ,\vartheta )\quad \text{ for }~n\in \{n_{0},\dots ,n_{1}\}~\text{ and }~\theta , \vartheta \in \overline{\Theta }. \end{aligned}$$(24) -
(3)
The chaining inequality
$$\begin{aligned} d_{{{\mathcal {X}}}}(X_{\theta },X_{\varphi _{n}(\theta )}) \le \sum _{k = n}^{n_{1} - 1}d_{{{\mathcal {X}}}}(X_{\varphi _{k+1}(\theta )},X_{\varphi _{k}(\theta )})\quad \text{ for }~ \theta \in \overline{\Theta } \end{aligned}$$(25)is satisfied if \(n\in \{n_{0},\dots ,n_{1}-1\}\).
-
(4)
Under assumptions (1) and (3) from Theorem 1.1 with \(C > 0\), \(q> t > 0\), the inequality
$$\begin{aligned} \mathbb {E}\left[ \sup _{\theta \in \overline{\Theta }} d_{{{\mathcal {X}}}}(X_{\theta },X_{\varphi _{n}(\theta )})^{p}\right] \le M~\left( \sum _{k=n}^{n_{1}-1} \frac{N(\overline{\Theta },d_{\Theta },2^{- (k+1)})^{1/p}}{2^{k q/p}}\right) ^{p} \end{aligned}$$(26)holds for every \(n\in \{n_{0},\dots ,n_{1} - 1\}\). Furthermore,
$$\begin{aligned} \mathbb {E}\left[ \sup _{\theta \in \overline{\Theta }}d_{{{\mathcal {X}}}}(X_{\theta },X_{\varphi _{n}(\theta )})^{p}\right] \le \left\{ \begin{array}{c@{,~}c}M~C~2^{2t}~ \dfrac{2^{(-n + 1) (q-t)}}{\big (2^{(q - t)/p} - 1\big )^{p}}&{}n_{1}\le 0\\ M~C~2^{2t}~\Big (\dfrac{2^{(-n + 1) (q-t)/p} + 2^{(q-t)/p}}{2^{(q - t)/p} - 1}\Big )^{p}&{}n< 0 < n_{1}\\ M~C~2^{q + t}~\dfrac{2^{-n (q-t)}}{\big (2^{(q - t)/p} - 1\big )^{p}} &{}n \ge 0 \end{array}\right. \end{aligned}$$(27)for \(n\in \{n_{0},\dots ,n_{1} - 1\}\).
Proof
Statement (1) follows immediately from the definition of covering numbers. Furthermore, by construction we have
Then, the proof of statement 2) can be found in [23, pp. 608f.]. In view of (20), statement 3) may be verified easily by backward induction along with triangle inequality. So it remains to show statement 4). Let \(n\in \{n_{0},\dots ,n_{1}-1\}\). By chaining inequality (25), we have
This implies by Minkowski’s inequality
Next, set for abbreviation
Then, we obtain in view of (3) along with (22) and (23)
By (29), we end up with
This shows (26) of statement 4). For the remaining part of the proof, we additionally assume that property (1) is satisfied with constants \(C > 0, t \in ]0,q[\). Then, we have
Note that \(2^{- (k+1)} < \Delta (\overline{\Theta })\le \Delta (\Theta )\) holds for every \(k\in \{n_{0},\dots ,n_{1}-1\}\) due to choice of \(n_{0}\). Now, (27) can be derived easily by routine calculations using geometric summation formulas. This concludes the proof. \(\square \)
Proof of Lemma 1.3
If \(\delta <\inf \{d_{\Theta }(\theta ,\vartheta )\mid \theta ,\vartheta \in \overline{\Theta }, \theta \not =\vartheta \}\), then
In this case, the statement of Lemma 1.3 is trivial. From now on, let us assume \(\delta \ge \inf \{d_{\Theta }(\theta ,\vartheta )\mid \theta ,\vartheta \in \overline{\Theta }, \theta \not =\vartheta \}\). In addition, let \(n_{0}\) be the largest element in \(\mathbb {Z}\) such that \(\Delta (\overline{\Theta })\le 2^{-n_{0}}\), and let
We may find a family \(\{\Theta _{n}\mid n = n_{0},\dots ,n_{1}\}\) of subsets of \(\overline{\Theta }\) and a family \(\{\varphi _{n}\mid n = n_{0},\dots ,n_{1}\}\) of mappings \(\varphi _{n}:\overline{\Theta }\rightarrow \Theta _{n}\) as in Lemma 6.2.
If \(N(\overline{\Theta },d_{\Theta },\delta /2) = 1\), then \(\Delta (\overline{\Theta })\le \delta \) so that
and in view of (21) along with (27)
Moreover, by choice of \(n_{0}\) we have \(2^{-n_{0} + 1} < 4 \Delta (\overline{\Theta })\le 4\delta \) so that routine calculations yield
This shows Lemma 1.3 in case of \(N(\overline{\Theta },d_{\Theta },\delta /2) = 1\). Next, let us assume that \(N(\overline{\Theta },d_{\Theta },\delta /2)\ge 2\) is valid, and let us choose
We have \(2^{-n_{2} + 1}< \delta < 2 \Delta (\overline{\Theta })\le 2^{-n_{0} + 1}\) so that \(n_{2} > n_{0}\). By choice of \(n_{2}\), we obtain
Moreover, for \(\theta ,\vartheta \in \overline{\Theta }\) with \(d_{\Theta }(\theta ,\vartheta )\le 2^{- n_{2} + 2}\) we may further observe
Then, invoking (24), we obtain
Hence,
Furthermore, by (18) we may observe
Therefore, we may apply Lemma 6.1 to \(\Theta _{n_{3}}\) and \(\overline{r}\), choosing \(c:= 2^{- n_{3} + 3}\) and \(A = 2\). Hence, we may find some \(U\subseteq \Theta _{n_{3}}\times \Theta _{n_{3}}\) satisfying conditions (15), (16) and (17). Combination of (30) with (17) yields
so that
Hence,
If \(n_{3} = n_{1}\), then \(\varphi _{n_{3}}(\theta ) = \theta \) for \(\theta \in \overline{\Theta }\) due to (20). Hence,
So let us assume for a moment \(n_{3} < n_{1}\). Then invoking property (1) and assumption (3), we may conclude from Lemma 6.2, (27)
We also have \(n_{3} = n_{2}\) so that the inequality \(2^{-n_{3} + 1}\le \delta \) is valid. Hence, in view of (33) by easy calculations, we end up with
Furthermore, applying sequentially (3), (16), (15) and (18) we may observe
By choice of \(n_{1}\) and \(\delta \), we have \(2^{-n_{3} + 3} = 2^{-n_{1} + 3} < 16 \delta \) if \(n_{3} < n_{2}\). Otherwise, we obtain \(2^{-n_{3} + 3} = 2^{-n_{2} + 1} 4 < 4 \delta \) due to definition of \(n_{2}\). In addition, \(2^{-n_{2}}\ge \delta /4\). Hence,
The choice of \(\overline{r}\) implies \(2^{\overline{r}- 1} < N(\overline{\Theta },d_{\Theta },\delta /4)\) so that
Therefore,
Putting (31), (32), (34) and (35) together, we now easily derive the statement of Lemma 1.3 if \(N(\overline{\Theta },d_{\Theta },\delta /2)\ge 2\). The proof is complete. \(\square \)
6.2 Proof of Theorem 1.1
Let (1) be satisfied with constants \(C, t > 0\), and let \((X_{\theta })_{\theta \in \Theta }\) fulfill inequality (3) with constants \(M> 0, q >t\). Moreover, let us fix \(\beta \in ]0,(q-t)/p[\). First, we want to show inequality (4) for finite subsets of \(\Theta \).
Proposition 6.3
There exists a finite constant \(L(\Theta ,C,t,M,p,q,\beta )\) that depends on \(\Delta (\Theta )\), C, t, M, p, q, and \(\beta \) only such that, for any finite subset \(\overline{\Theta }\subseteq \Theta \) with at least two elements, it holds
Moreover, \(L(\Theta ,C,t,M,p,q,\beta )\) can be chosen to depend linearly on M: \(L(\Theta ,C,t,M,p,q,\beta )=M{\overline{L}}(\Theta ,C,t,p,q,\beta )\).
Proof
Let \(\overline{\Theta }\) be any finite subset of \(\Theta \) with at least two elements. Set \(\eta _{k}:= 2^{-k}\big (\Delta (\Theta ) + 1\big )\) for \(k\in \mathbb {N}\), and let the set J be defined to consist of all \(k\in \mathbb {N}\) with \(\eta _{k} < d_{\Theta }(\theta ,\vartheta )\le 2\eta _{k}\) for some \(\theta ,\vartheta \in \overline{\Theta }\). Note \(J\not =\emptyset \). Then,
For \(k\in J\), the application of Lemma 1.3 yields
where
Moreover, the set \(\{k\in \mathbb {N}\mid \eta _{k+1}\le \Delta (\Theta )\}\) is nonvoid so that we may select its minimum say \(k_{0}\). In view of (1), this means
Hence, for \(k\in J\) with \(k\ge k_{0}\) we may give a further upper estimate of inequality (37) by
Then,
holds for \(k\in J\) with \(k\ge k_{0}\). Next, setting
we may observe
Therefore,
Moreover, by choice of \(k_{0}\) we have
which implies that \(V_{k}(\Theta ,\overline{\Theta }) = 0\) is valid for \(k\in J\) with \(k < k_{0}\). Then with \(\sum \limits _{\emptyset }:= 0\), the application of (37) yields
Since \(\beta p < q - t\), we obtain that
Combining (36), (38) and (40) with (39) and (41), we end up with
This yields the first claim of Proposition 6.3. The second claim is a direct consequence of the expressions in (39) and (41). \(\square \)
Proof of Theorem 1.1
We first fix any \(\beta \in ]0,(q-t)/p[\). Let the constant \(L(\Theta , C,t,M,p,q,\beta )\) be chosen according to Proposition 6.3, and let us consider any at most countable subset \(\overline{\Theta }\) of \(\Theta \) which consists of at least two elements \(\overline{\theta }, \overline{\vartheta }\). We may select some sequence \((\overline{\Theta }_{k})_{k\in \Theta }\) of nonvoid finite subsets of \(\overline{\Theta }\) with at least two elements satisfying
Then,
and thus by monotone convergence theorem along with Proposition 6.3
This shows (4) due to the second statement of Proposition 6.3.
For the remaining part of the proof let us assume that \(d_{{{\mathcal {X}}}}\) is complete, and let \(\overline{\Theta }\) be some at most countable subset of \(\Theta \) which is dense w.r.t. \(d_{\Theta }\). As a further consequence of (42), we have \(\mathbb {P}(A) = 1\), where
This implies that on A the random process \((X_{\theta })_{\theta \in \overline{\Theta }}\) has Hölder-continuous paths of order \(\beta \). By completeness of \(d_{{{\mathcal {X}}}}\), we may define a new random process \((\overline{X}_{\theta })_{\theta \in \Theta }\) via
where \({\bar{x}}\in {{\mathcal {X}}}\) is arbitrary. Clearly, this process has Hölder-continuous paths of order \(\beta \). Furthermore, it can be shown by standard arguments that this random process satisfies (2). We now show that it is a modification of \((X_{\theta })_{\theta \in \Theta }\). For this purpose, let us fix any \(\theta \in \Theta \), and let \((\vartheta _{k})_{k\in \mathbb {N}}\) be a sequence from \(\overline{\Theta }\) which converges to \(\theta \) w.r.t. \(d_{\Theta }\). By construction of \((\overline{X}_{\theta })_{\theta \in \Theta }\), we may invoke inequality (3) to conclude
In particular, on the one hand the sequence \(\big (d_{{{\mathcal {X}}}}(X_{\theta },\overline{X}_{\vartheta _{k}})\big )_{k\in \mathbb {N}}\) converges in probability to 0. On the other hand by definition of \((\overline{X}_{\theta })_{\theta \in \Theta }\), the sequence \(\big (d_{{{\mathcal {X}}}}(\overline{X}_{\theta }, \overline{X}_{\vartheta _{k}})\big )_{k\in \mathbb {N}}\) converges in probability to 0. Then, if \(l\in \mathbb {N}\)
and thus,
Hence, \(\mathbb {P}\big (\big \{X_{\theta } \not = \overline{X}_{\theta }\big \}\big ) = 0\), i.e., \(({\overline{X}}_\theta )_{\theta \in \Theta }\) is a modification of \((X_\theta )_{\theta \in \Theta }\).
Finally, consider an increasing sequence \((\beta _n)_{n\in \mathbb {N}}\subset \,]0,(q-t)/p[\) such that \(\beta _n\rightarrow (q-t)/p\), as \(n\rightarrow \infty \). The argument above shows that, for any \(n\in \mathbb {N}\), the process \((X_\theta )_{\theta \in \Theta }\) has a modification \(({\overline{X}}^n_\theta )_{\theta \in \Theta }\) with Hölder-continuous paths of order \(\beta _n\) and satisfying (2). Let us fix for a moment an arbitrary \(n\in \mathbb {N}\). The processes \(({\overline{X}}^n_\theta )_{\theta \in \Theta }\) and \(({\overline{X}}^{n+1}_\theta )_{\theta \in \Theta }\) are indistinguishable because they are modifications of each other, both continuous, and \(\Theta \) is separable (as a totally bounded metric space). We can, therefore, find an event \(\Omega _n\in {{\mathcal {F}}}\) with \(\mathbb {P}(\Omega _n)=1\) such that, for all \(\omega \in \Omega _n\) and \(\theta \in \Theta \), it holds \({\overline{X}}^n_\theta (\omega )={\overline{X}}^{n+1}_\theta (\omega )\). We then define the set
and notice that \(\mathbb {P}(\Omega _\infty )=1\) and, for all \(\omega \in \Omega _\infty \), \(\theta \in \Theta \) and \(n\in \mathbb {N}\setminus \{1\}\), it holds
Consequently, the process \(({\widetilde{X}}_\theta )_{\theta \in \Theta }\) defined via
where \({\bar{x}}\in {{\mathcal {X}}}\) is arbitrary, is a modification of \((X_\theta )_{\theta \in \Theta }\) such that all its paths are Hölder-continuous of all orders \(\beta \in ]0,(q-t)/p[\). Note that \(({\widetilde{X}}_\theta )_{\theta \in \Theta }\) also satisfies (2). This concludes the proof. \(\square \)
Data Availability
No datasets were generated or analyzed during the study
Notes
On the contrary, the value of C in (1) is not important.
We remark that although such sets \(\Theta _n\) are in general not open in \(\mathbb {R}^m\), they are always open in \(\Theta \), as required in Property (P).
Notice that, although such sets \(\Theta _n\) are in general not open in M, they are always open in \(\Theta \), as required in Property (P).
Formally, we need to identify each process \(X_n\) with almost all continuous paths with an indistinguishable process with all continuous paths, in order to view \(X_n\) as a Borel random element in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\).
In the sense of Doob.
References
Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis, 3rd edn. Springer, Berlin (2006)
Ankirchner, S., Kruse, T., Urusov, M.: Wasserstein convergence rates for random bit approximations of continuous Markov processes. J. Math. Anal. Appl. 493(2), 124543 (2021)
Araujo, A., Gine, E.: The Central Limit Theorem for Real and Banach Valued Random Variables. Wiley, New York (1980)
Chentsov, N.N.: Weak convergence of stochastic processes whose trajectories have no discontinuities of the second kind and the “heuristic” approach to the Kolmogorov-Smirnov tests. Theor. Prob. Appl. 1, 140–144 (1957)
Chobanjan, S.A., Tarieladze, V.I.: Gaussian characterizations of certain Banach spaces. J. Multivar. Anal. 7, 183–203 (1977)
Cox, S.G., Hutzenthaler, M., and Jentzen, A: Local Lipschitz continuity in the initial value and strong completeness for nonlinear stochastic differential equations. Preprint, arXiv:1309.5595v3, 1–96, Accepted in Memoires of the American Mathematical Society (2021)
Dieudonné, J.: Treatise on Analysis, vol. III. Academic Press, New York, San Francisco, London (1972)
do Carmo, M.P.: Riemannian Geometry. Birkhäuser, Boston, Basel, Berlin (1992)
Gikhman, I.I., Skorokhod, A.V.: Theory of Random Processes, vol. 1. Springer, Berlin, Heidelberg, New York (1974)
Grohs, P., Hornung, F., Jentzen, A., and von Wurstemberger. P.: A proof that artificial neural networks overcome the curse of dimensionality in the numerical approximation of Black-Scholes partial differential equations. Preprint, arXiv:1809.02362v1, 1–124, (2018)
Hoffmann-Jorgensen, J., Pisier, G.: The law of large numbers and the central limit theorem in Banach spaces. Ann. Probab. 4, 587–599 (1976)
Hudde, A., Hutzenthaler, M., and Mazzonetto, S.: A stochastic Gronwall inequality and applications to moments, strong completeness, strong local Lipschitz continuity, and perturbations. Preprint, arXiv:1903.08727v2, 1–26, (2019)
Jain, N.C.: Central limit theorem and related questions in Banach spaces, In: J. L. Doob (ed.), Proc. Symp. in Pure Mathematics XXXI, 55–66, Am. Math. Soc., Providence (1977)
Jost, J.: Riemannian Geometry and Geometric Analysis. Springer, Berlin, Heidelberg, New York (2011)
Kallenberg, O.: Foundation of Modern Probability. Springer, New York (1997)
Kobayashi, S., Nomizu, K.: Foundations of Differential Geometry I. Interscience Publishers, John Wiley & Sons, New York, London (1963)
Lang, A., Potthoff, J., Schlather, M., Schwab, D.: Continuity of random fields on Riemannian manifolds. Commun. Stoch. Anal. 10(2), 185–193 (2016)
Ledoux, M., Talagrand, M.: Probability in Banach Spaces. Springer, Berlin (1991)
Mittmann, K., Steinwart, I.: On the existence of continuous modifications of vector-valued random fields. Georgian Math. J. 10, 311–317 (2003)
Munkres, J.R.: Topology, 2nd edn. Prentice Hall, Englewood Cliffs, N.J. (2000)
Potthoff, J.: Sample properties of random fields. II. Continuity. Commun. Stoch. Anal. 3(3), 331–348 (2009)
Revuz, D., Yor, M.: Continuous Martingales and Brownian Motion, 3rd edn. Springer, Berlin (1999)
Talagrand, M.: Upper and Lower Bounds for Stochastic Processes. Springer, Heidelberg (2014)
Vakhania, N.N., Tarieladze, V.I., Chobanyan, S.A.: Probability Distributions on Banach Spaces. Kluwer, Dordrecht (1987)
van de Geer, S.: Empirical Processes in M-Estimation. Cambridge University Press, Cambridge (2000)
van der Vaart, A.W., Wellner, J.A.: Weak Convergence and Empirical Processes. Springer, New York (1996)
Acknowledgements
We thank the anonymous referee for many constructive comments and suggestions that helped improve the paper.
Funding
Open Access funding enabled and organized by Projekt DEAL. The authors did not receive support from any organization for the submitted work.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Criterion for Uniform Tightness
Appendix A: Criterion for Uniform Tightness
Let \((\Theta ,d_{\Theta })\) be a compact metric space and \(({{\mathcal {X}}},d_{{{\mathcal {X}}}})\) a complete metric space. We use the notation \(w(\cdot ,\cdot )\) for the modulus of continuity on \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\), i.e.,
To make the paper self-contained, we present here the precise formulation of the criterion for uniform tightness, which was applied in the proof of Proposition 4.1.
Theorem A.1
Let \((X_{n})_{n\in \mathbb {N}}\) be a sequence of Borel random elements \(X_{n}~ in~ {{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) on some probability space \((\Omega ,{{\mathcal {F}}},\mathbb {P})\). Let \(\Theta '\subseteq \Theta \) be dense in \(\Theta \). The sequence \((X_{n})_{n\in \mathbb {N}}\) is uniformly tight if and only if
and, for every \(\varepsilon >0\),
We remark that since, for any \(\delta >0\), the mapping \(w(\cdot ,\delta )\) is continuous, \(w(X_{n},\delta )\) is a random variable for every \(n\in \mathbb {N}\) (in particular, the probability in (A2) is well defined).
Proof
The result is well known for \({{\mathcal {X}}}= \mathbb {R}\) (see [26, Theorem 1.5.7]), and a similar one is shown in the proof of Theorem 14.5 from [15] in the case of separable and complete \(d_{{{\mathcal {X}}}}\). We shall use arguments from the proof of Theorem 14.5 in [15].
Firstly, let us assume that \((X_{n})_{n\in \mathbb {N}}\) is a uniformly tight sequence in \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\), and let \(\varepsilon , \eta \in ]0,1[\). Then, there exists some compact subset \({{\mathcal {K}}}\subseteq {{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\) such that
By a general version of the Arzela–Ascoli theorem (see [20, Theorem 47.1]), the set \({{\mathcal {K}}}\) is equicontinuous which means that we may find for any \(\theta \in \Theta \) some \(\delta _{\theta } > 0\) such that \(d_{{{\mathcal {X}}}}\big (f(\vartheta ),f(\theta )\big ) < \varepsilon /2\) for every \(f\in {{\mathcal {K}}}\) whenever \(d_{\theta }(\vartheta ,\theta ) < \delta _{\theta }\). Since \(\Theta \) is compact, we may apply Lebesgue’s number lemma (see [20, Lemma 27.5]) to the open cover of \(\Theta \) consisting of the open metric balls \(B_{\delta _{\theta }}(\theta )\) around \(\theta \) with radius \(\delta _{\theta }\). In this way, we may select some \(\delta > 0\) such that \(w(f,\delta ) < \varepsilon \) holds for every \(f\in {{\mathcal {K}}}\). Then, for all \(n\in \mathbb {N}\),
and thus,
Moreover, for \(\theta \in \Theta \) the projection mapping
is continuous so that \(\pi _{\theta }(\mathcal {K})\) is a compact subset of \({{\mathcal {X}}}\). Furthermore, by (A3)
Then, we conclude from (A4) and (A5) that \((X_{n})_{n\in \mathbb {N}}\) satisfies conditions (A1) and (A2) because \(\varepsilon ,\eta \) were chosen arbitrarily in ]0, 1[. This finishes the proof of the only if part.
For the if part, let \((X_{n})_{n\in \mathbb {N}}\) fulfill conditions (A1) and (A2). Fix any \(\gamma \in ]0,1[\). Since \(\Theta \) is compact, the mappings \(X_{n}(\omega ,\cdot )\) are uniformly continuous for \(\omega \in \Omega \) and \(n\in \mathbb {N}\). Hence, for \(\omega \in \Omega \) and \(n\in \mathbb {N}\), we have \(w(X_{n},\delta )\rightarrow 0\), as \(\delta \rightarrow 0\). Combining this observation with condition (A2), we may find for any \(k\in \mathbb {N}\) some \(\overline{\delta }_{k} > 0\) such that
Since \(\Theta \) is compact, the metric on \(\Theta '\) is separable. In addition, \(\Theta '\) is dense. Then, there is some sequence \((\theta _{k})_{k\in \mathbb {N}}\) in \(\Theta '\) which is a dense subset of \(\Theta \). Hence, in view of (A1) we may find for every \(k\in \mathbb {N}\) some compact subset \(K_{k}\) of \({{\mathcal {X}}}\) such that
Now define
and denote the topological closure of B w.r.t. \(d_{\infty }\) by cl(B). Then, we have
So invoking (A6) along with (A7), we end up with
Hence, it is left to show that B is a relatively compact subset of \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\).
For an arbitrary \(\varepsilon > 0\) and for every \(\theta \in \Theta \), choose some \(k\in \mathbb {N}\) such that \(2^{-k} < \varepsilon \). Then, by construction of B, we obtain \(w(f,\overline{\delta }_{k}) < \varepsilon \) for \(f\in B\). In particular, \(d_{{{\mathcal {X}}}}\big (f(\vartheta ),f(\theta )\big ) < \varepsilon \) for every \(f\in B\) and any \(\vartheta \in \Theta \) with \(d_{\Theta }(\vartheta ,\theta )< \overline{\delta }_{k}\). Thus, we have shown that B is some equicontinuous subset of \({{\mathcal {C}}}(\Theta ,{{\mathcal {X}}})\). Therefore, by a general version of the Arzela–Ascoli theorem [20, Theorem 47.1] it remains to show that the set \(\{f(\theta )\mid f\in B\}\) is a relatively compact subset of \({{\mathcal {X}}}\) for any \(\theta \in \Theta \). This means to show that this set is totally bounded w.r.t. \(d_{{{\mathcal {X}}}}\) due to completeness of \(d_{{{\mathcal {X}}}}\).
Let us fix any \(\theta \in \Theta \). Choose, for an arbitrary \(\varepsilon > 0\), some \(k_{0}\in \mathbb {N}\) such that \(2^{-k_{0}} < \varepsilon /2\). Since \(\{\theta _{k}\mid k\in \mathbb {N}\}\) is dense, we may find some \(k_{1}\in \mathbb {N}\) such that \(d_{\Theta }(\theta _{k_{1}},\theta ) < \overline{\delta }_{k_{0}}\). This implies by the construction of the set B that
The set \(K_{k_{1}}\) is assumed to be compact, in particular, it is totally bounded w.r.t. \(d_{{{\mathcal {X}}}}\), so that there exist \(m\in \mathbb {N}\) and \(x_{1},\dots ,x_{m}\in {{\mathcal {X}}}\) satisfying
where, for \(r>0\), \(B_r(x_{i})\) denotes the open \(d_{{{\mathcal {X}}}}\)-metric ball around \(x_{i}\) with radius r. Then, we may conclude from (A8)
This shows that the set \(\{f(\theta )\mid f\in B\}\) is totally bounded w.r.t. \(d_{{{\mathcal {X}}}}\), which completes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Krätschmer, V., Urusov, M. A Kolmogorov–Chentsov Type Theorem on General Metric Spaces with Applications to Limit Theorems for Banach-Valued Processes. J Theor Probab 36, 1454–1486 (2023). https://doi.org/10.1007/s10959-022-01207-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-022-01207-8
Keywords
- Kolmogorov–Chentsov type theorems
- Covering numbers
- Talagrand’s chaining technique
- Uniform tightness
- Banach-valued central limit theorems