A topological proof of Sklar’s theorem in arbitrary dimensions

A topological proof of Sklar’s theorem in arbitrary dimensions 1IntroductionCopulas are widely used and well-known concepts in the realm of statistics and probability theory. This is not least due to the advantages that go along with their often intuitive and flexible handling. To some extent, such practicality is lost in infinite dimensions, as consistency problems may occur and constructions via copulas in topological vector spaces culminate in general in cylindrical, rather than actual probability measures (c.f. [10] and [2]). Building up a functional analytic and topological theory for copulas becomes pivotal in order to make the copula approach fully applicable to general stochastic processes.The keystone of the theory is Sklar’s theorem and there is a vast literature solely focusing on different proofs of this fundamental result. Among others there are proofs based on the distributional transform in [13] and [4] and earlier already in [11], based on mollifiers in [6] or the constructive approach by the extension of subcopulas, as it was proved for the bivariate case in [14] and for the general multivariate case in [17] or [3].The naive transfer of the subcopula approach to an infinite-dimensional setting appears to be challenging, since, after the extension of the subcopulas corresponding to the finite-dimensional laws of an infinite-dimensional distribution, one would also have to check that this construction meets the necessary consistency conditions. In contrast, and besides the approach via distributional transforms (as extended to an infinite-dimensional setting in [2]), a nonconstructive proof based on topological arguments in [7] is naturally in tune with an infinite-dimensional setting.In this article, we will therefore adopt this ansatz. In contrast to the proof in [2], we prove Sklar’s theorem on the level of probability measures and not on the level of random variables. The argument carries the steps in [7] over to an infinite-dimensional setting: (i)Show that the set of copula measures is compact with respect to the topology of convergence of the finite dimensional distributions (Definition 4.1).(ii)Prove the second part of Sklar’s theorem (that every copula measure can be merged with any family of marginals to a probability measure). This step is straightforward and as in [2].(iii)Prove that the operation of merging a copula measure with marginals is a continuous mapping and use the compactness of the set of copulas to conclude that this map has closed image. The second part of Sklar’s theorem follows by arguing that this image is also dense in the space of probability measures.In finite dimensions, the compactness of copulas is described as “folklore” in [6] and it implies some useful applications. Some of these results carry over to the infinite-dimensional setup (c.f. Section 5).2Short primer on topological inverse systemsWe will frequently use the notation R¯\bar{{\mathbb{R}}}for the extended real line [−∞,∞]\left[-\infty ,\infty ]. For any measure μ\mu on a measurable space (B,ℬ)\left(B,{\mathcal{ {\mathcal B} }})and a measurable function f:(B,ℬ)→(A,A)f:\left(B,{\mathcal{ {\mathcal B} }})\to \left(A,{\mathcal{A}})into another measurable space (A,A)\left(A,{\mathcal{A}})we denote by f∗μ{f}_{\ast }\mu the pushforward measure with respect to ffgiven by f∗μ(S)≔μ(f−1(S)){f}_{\ast }\mu \left(S):= \mu ({f}^{-1}\left(S))for all S∈AS\in {\mathcal{A}}. For IIan arbitrary index set, B=R¯IB={\bar{{\mathbb{R}}}}^{I}and ℬ=⊗i∈Iℬ(R¯){\mathcal{ {\mathcal B} }}={\otimes }_{i\in I}{\mathcal{ {\mathcal B} }}\left(\bar{{\mathbb{R}}}), we use the shorter notations πJ∗μ≕μJ{\pi }_{J\ast }\mu \hspace{0.33em}=: \hspace{0.33em}{\mu }_{J}for a subset J⊆IJ\subseteq Iand π{i}∗μ≕μi{\pi }_{\left\{i\right\}\ast }\mu \hspace{0.33em}=: \hspace{0.33em}{\mu }_{i}for an element i∈Ii\in I, where πJ{\pi }_{J}denotes the canonical projection on RJ{{\mathbb{R}}}^{J}. If J⊂IJ\subset Iis finite, we denote the corresponding finite-dimensional cumulative distribution functions by FμJ{F}_{{\mu }_{J}}or Fμi{F}_{{\mu }_{i}}, respectively, where in the latter we used J={i}J=\left\{i\right\}. We use the notation ℐ{\mathcal{ {\mathcal I} }}for the set consisting of all finite subsets of II. Moreover, for a one-dimensional Borel measure μi{\mu }_{i}on R{\mathbb{R}}, we use the notation Fμi[−1]{F}_{{\mu }_{i}}^{\left[-1]}for the quantile functions (2.1)Fμi[−1](u)≔inf{x∈(−∞,∞):Fμi(x)≥u}.{F}_{{\mu }_{i}}^{\left[-1]}\left(u):= \inf \{x\in \left(-\infty ,\infty ):{F}_{{\mu }_{i}}\left(x)\ge u\}.We will refer to the one-dimensional distributions μi,i∈I{\mu }_{i},i\in Iand equivalently Fμi,i∈I{F}_{{\mu }_{i}},i\in Ias marginals of the measure μ\mu . We denote the set of all probability measures on (R¯I,⊗i∈Iℬ(R¯))\left({\bar{{\mathbb{R}}}}^{I},{\otimes }_{i\in I}{\mathcal{ {\mathcal B} }}\left(\bar{{\mathbb{R}}}))by P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}). Moreover, for two topological spaces X,YX,Ywe write X≅YX\cong Yif they are homeomorphic.The remainder of the section is mainly based on [12]. Let XJ{X}_{J}be a set for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}and (PJ1,J2:XJ2→XJ1)forJ1⊆J2,withJ1,J2∈ℐ\left({P}_{{J}_{1},{J}_{2}}:{X}_{{J}_{2}}\to {X}_{{J}_{1}})\hspace{1.0em}\hspace{0.1em}\text{for}\hspace{0.1em}\hspace{0.33em}{J}_{1}\subseteq {J}_{2},\hspace{0.33em}\hspace{0.1em}\text{with}\hspace{0.1em}\hspace{0.33em}{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}a family of mappings, also called projections, such that (i)PJ,J=idJ{P}_{J,J}=i{d}_{J}is the identity mapping for all J∈ℐJ\in {\mathcal{ {\mathcal I} }}, and(ii)PJ1,J3=PJ1,J2∘PJ2,J3{P}_{{J}_{1},{J}_{3}}={P}_{{J}_{1},{J}_{2}}\circ {P}_{{J}_{2},{J}_{3}}for all J1⊆J2⊆J3{J}_{1}\subseteq {J}_{2}\subseteq {J}_{3}in ℐ{\mathcal{ {\mathcal I} }}.The system (XJ,PJ1,J2,ℐ)≔((XJ)J∈ℐ,((PJ1,J2:XJ2→XJ1)J1,J2∈ℐJ1⊆J2))\left({X}_{J},{P}_{{J}_{1},{J}_{2}},{\mathcal{ {\mathcal I} }}):= ({\left({X}_{J})}_{J\in {\mathcal{ {\mathcal I} }}},\left({\left({P}_{{J}_{1},{J}_{2}}:{X}_{{J}_{2}}\to {X}_{{J}_{1}})}_{\mathop{{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}}\limits^{{J}_{1}\subseteq {J}_{2}}}))is called an inverse system (over the partially ordered set ℐ{\mathcal{ {\mathcal I} }}). If (XJ,τJ)\left({X}_{J},{\tau }_{J})are topological spaces for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}and (PJ1,J2)\left({P}_{{J}_{1},{J}_{2}})are continuous for all J1⊆J2{J}_{1}\subseteq {J}_{2}with J1,J2∈ℐ{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}, we call (XJ,τJ,PJ1,J2,J∈ℐ)≔((XJ,τJ)J∈ℐ,((PJ1,J2:XJ2→XJ1)J1,J2∈ℐJ1⊆J2))\left({X}_{J},{\tau }_{J},{P}_{{J}_{1},{J}_{2}},J\in {\mathcal{ {\mathcal I} }}):= ({\left({X}_{J},{\tau }_{J})}_{J\in {\mathcal{ {\mathcal I} }}},\left({\left({P}_{{J}_{1},{J}_{2}}:{X}_{{J}_{2}}\to {X}_{{J}_{1}})}_{\mathop{{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}}\limits^{{J}_{1}\subseteq {J}_{2}}}))a topological inverse system. A topological inverse limit of this inverse system is a space XXtogether with continuous mappings PJ:X↦XJ,J∈ℐ{P}_{J}:X\mapsto {X}_{J},J\in {\mathcal{ {\mathcal I} }}, such that PJ1,J2PJ2=PJ1{P}_{{J}_{1},{J}_{2}}{P}_{{J}_{2}}={P}_{{J}_{1}}for all J1⊆J2{J}_{1}\subseteq {J}_{2}in ℐ{\mathcal{ {\mathcal I} }}(i.e., the mappings are compatible) and the following universal property holds: Whenever there is a topological space YY, such that there are continuous mappings (ψJ:Y→XJ)J∈ℐ{\left({\psi }_{J}:Y\to {X}_{J})}_{J\in {\mathcal{ {\mathcal I} }}}which are compatible, i.e., PJ1,J2ψJ2=ψJ1{P}_{{J}_{1},{J}_{2}}{\psi }_{{J}_{2}}={\psi }_{{J}_{1}}for all J1⊆J2{J}_{1}\subseteq {J}_{2}in ℐ{\mathcal{ {\mathcal I} }}, then there exists a unique continuous mapping (2.2)Ψ:Y→X,\Psi :Y\to X,with the property PJΨ=ψJ{P}_{J}\Psi ={\psi }_{J}for all J∈ℐJ\in {\mathcal{ {\mathcal I} }}. We have that (2.3){x=(xJ)J∈ℐ∈∏J∈ℐXJ:PJ1,J2(πJ2(x))=πJ1(x)forJ1⊆J2}⊆∏J∈ℐXJ\{x={\left({x}_{J})}_{J\in {\mathcal{ {\mathcal I} }}}\in \prod _{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}:{P}_{{J}_{1},{J}_{2}}\left({\pi }_{{J}_{2}}\left(x))={\pi }_{{J}_{1}}\left(x)\hspace{0.33em}\hspace{0.1em}\text{for}\hspace{0.1em}\hspace{0.33em}{J}_{1}\subseteq {J}_{2}\}\subseteq \prod _{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}equipped with the subspace topology with respect to the product topology is an inverse limit of the topological inverse system, induced by the canonical projections πJ′((xJ)J∈ℐ)=xJ′{\pi }_{J^{\prime} }\left({\left({x}_{J})}_{J\in {\mathcal{ {\mathcal I} }}})={x}_{J^{\prime} }. Each topological inverse limit is homeomorphic to this space and therefore to every topological inverse limit (see the proof of Theorem 1.1.1 in [12]). We write lim←XJ⊆∏J∈ℐXJ{\mathrm{lim}}_{\leftarrow }{X}_{J}\subseteq {\prod }_{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}for the inverse limit as a subset of the product space and we equip it throughout with the induced subspace topology.Lemma 2.1Let (XJ,τJ,πJ1,J2)\left({X}_{J},{\tau }_{J},{\pi }_{{J}_{1},{J}_{2}})be a topological inverse system (over the poset ℐ{\mathcal{ {\mathcal I} }}) of Hausdorff spaces. Then lim←XJ{\mathrm{lim}}_{\leftarrow }{X}_{J}is a closed subset of ∏J∈ℐXJ{\prod }_{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}with respect to the product topology.ProofSee [12, Lemma 1.1.2].□Lemma 2.2Let XXbe a compact Hausdorff space and (XJ,τJ,πJ1,J2)\left({X}_{J},{\tau }_{J},{\pi }_{{J}_{1},{J}_{2}})be a topological inverse system of compact Hausdorff spaces. Let ψJ:X→XJ,J∈ℐ{\psi }_{J}:X\to {X}_{J},J\in {\mathcal{ {\mathcal I} }}be a family of compatible surjections and Ψ\Psi the induced mapping. Then either lim←XJ=∅{\mathrm{lim}}_{\leftarrow }{X}_{J}=\varnothing or Ψ(X)\Psi \left(X)is dense in lim←XJ{\mathrm{lim}}_{\leftarrow }{X}_{J}.ProofSee [12, Corollary 1.1.7].□3Copulas and Sklar’s theoremAs they are cumulative distribution functions, copulas in finite dimension have a one-to-one correspondence to probability measures. In infinite dimensions we will therefore work with the notion of copula measures as introduced in [2].Definition 3.1A copula measure (or simply copula) on R¯I{\bar{{\mathbb{R}}}}^{I}is a probability measure C∈P(R¯I)C\in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}), such that its marginals Ci{C}_{i}are uniformly distributed on [0,1]\left[0,1]. We will denote the space of copula measures on R¯I{\bar{{\mathbb{R}}}}^{I}by C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I}).Sklar’s theorem as stated below was proved in [2] by following the arguments for the finite-dimensional assertion in [13]. Here we give an alternative proof for the infinite-dimensional setting using a topological argument as in [7].Theorem 3.2(Sklar’s theorem) Let μ∈P(R¯I)\mu \in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})be a probability measure with marginal one-dimensional distributions μi,i∈I{\mu }_{i},i\in I. There exists a copula measure CC, such that for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}, we have(3.1)FCJ((Fμj(xj))j∈J)=FμJ((xj)j∈J){F}_{{C}_{J}}({({F}_{{\mu }_{j}}\left({x}_{j}))}_{j\in J})={F}_{{\mu }_{J}}({\left({x}_{j})}_{j\in J})for all (xj)j∈J∈R¯J{\left({x}_{j})}_{j\in J}\in {\bar{{\mathbb{R}}}}^{J}. Moreover, CCis unique if Fμi{F}_{{\mu }_{i}}is continuous for each i∈Ii\in I. Vice versa, let CCbe a copula measure on R¯I{\bar{{\mathbb{R}}}}^{I}and let (μi)i∈I{\left({\mu }_{i})}_{i\in I}be a collection of (one-dimensional) Borel probability measures over R¯\bar{{\mathbb{R}}}. Then there exists a unique probability measure μ∈P(R¯I)\mu \in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}), such that (3.1) holds.4Topological properties of Copulas and a proof of Sklar’s theoremThe collection (P(R¯J),J∈ℐ)\left({\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}),J\in {\mathcal{ {\mathcal I} }}), where each P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is considered as a topological space with the topology of weak convergence, is a topological inverse system with the projections πJ1,J2(μJ2)=(μJ2)J1{\pi }_{{J}_{1},{J}_{2}}\left({\mu }_{{J}_{2}})={\left({\mu }_{{J}_{2}})}_{{J}_{1}}for μJ2∈P(R¯J2){\mu }_{{J}_{2}}\in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{{J}_{2}})and J1,J2∈ℐ{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}, J1⊆J2{J}_{1}\subseteq {J}_{2}. Moreover, observe that each P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is a Hausdorff space, since it is metrizable by the Prokhorov metric (c.f. [15, Theorem 4.2.5]). The space lim←P(R¯J)⊂∏J∈ℐP(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})\subset {\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})of consistent families of probability measures is a topological inverse limit, equipped with the corresponding inverse limit topology. The space of probability measures on ⊗i∈Iℬ(R){\otimes }_{i\in I}{\mathcal{ {\mathcal B} }}\left({\mathbb{R}})has via its finite-dimensional distributions a one-to-one correspondence with this family of consistent finite-dimensional distributions, and hence there is a natural bijection between lim←P(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})and P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}).We equip the space P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})with the topology of weak convergence of the finite-dimensional distributions, which we define as follows:Definition 4.1The topology of convergence of the finite-dimensional distributions on P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})is defined as the topology such that P(R¯I)≅lim←P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})\cong {\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}).P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})with this topology is by definition a topological inverse limit. Define also lim←C(R¯J)≔lim←P(R¯J)∩∏J∈ℐC(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J}):= {\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})\cap {\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J}). Certainly, we have (4.1)C(R¯I)≅lim←C(R¯J){\mathcal{C}}({\bar{{\mathbb{R}}}}^{I})\cong \underleftarrow{\mathrm{lim}}{\mathcal{C}}({\bar{{\mathbb{R}}}}^{J})with the corresponding topologies.The following result contains among other things the topological proof of Sklar’s theorem 3.2.Theorem 4.2The following statements hold. (1)P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})with the topology of weak convergence of the finite-dimensional distributions is a Hausdorff space.(2)The space of copula measures C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is compact with respect to the topology of convergence of finite-dimensional distributions.(3)For a copula measure CCon R¯I{\bar{{\mathbb{R}}}}^{I}and (one-dimensional) Borel probability measures (μi)i∈I{\left({\mu }_{i})}_{i\in I}over R¯\bar{{\mathbb{R}}}the push-forward measure(4.2)μ≔((Fμi[−1])i∈I)∗C\mu := {\left({\left({F}_{{\mu }_{i}}^{\left[-1]})}_{i\in I})}_{\ast }Csatisfies (3.1).(4)If we equip C(R¯I)×∏i∈IP(R¯){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})with the product topology of weak convergence on each P(R¯){\mathcal{P}}\left(\bar{{\mathbb{R}}})and the topology of convergence of the finite-dimensional distributions on C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})and P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}), then the mapping Φ:C(R¯ℐ)×∏i∈IP(R¯)→P(R¯I)\Phi :{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{{\mathcal{ {\mathcal I} }}})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})\to {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})given byΦ(C,(μi)i∈I)≔((Fμi[−1])i∈I)∗C\Phi \left(C,{\left({\mu }_{i})}_{i\in I}):= {\left({\left({F}_{{\mu }_{i}}^{\left[-1]})}_{i\in I})}_{\ast }Cis continuous and surjective. In particular, Sklar’s theorem holds.Proof(1) Since products of Hausdorff spaces are Hausdorff and P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})is homeomorphic to a subset of a product of Hausdorff spaces, it is Hausdorff.(2) We know by [6, Thm. 3.3] that every C(R¯J){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J})is compact with respect to the topology of weak convergence on P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}). Tychonoff’s theorem guarantees also that ∏J∈ℐC(R¯J){\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J})is compact with respect to the product topology on ∏J∈ℐP(R¯J){\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}). Therefore, as lim←P(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is closed by Lemma 2.1, we obtain that C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is compact, since it is homeomorphic to an intersection of a closed and a compact set in the product topology.(3) This corresponds to the second part of Sklar’s theorem and the proof can be conducted analogously to the one in [2]. Therefore, it is enough to see that ([0,Fμj(xj)])j∈J⧹((Fμj[−1])−1(−∞,x1])j∈J{({[}0,{F}_{{\mu }_{j}}\left({x}_{j})])}_{j\in J}\setminus {({({F}_{{\mu }_{j}}^{\left[-1]})}^{-1}(-\infty ,{x}_{1}])}_{j\in J}is a CJ{C}_{J}-nullset for all (xj)j∈J∈R¯J{\left({x}_{j})}_{j\in J}\in {\bar{{\mathbb{R}}}}^{J}, J∈ℐJ\in {\mathcal{ {\mathcal I} }}, since then we immediately obtain CJ(((Fμj[−1])−1(−∞,x1])j∈J)=CJ(([0,Fμj(xj)])j∈J)=FCJ(Fμj((xj))j∈J).{C}_{J}({({({F}_{{\mu }_{j}}^{\left[-1]})}^{-1}(-\infty ,{x}_{1}])}_{j\in J})={C}_{J}\left({\left(\left[0,{F}_{{\mu }_{j}}\left({x}_{j})]\right)}_{j\in J}\right)={F}_{{C}_{J}}({F}_{{\mu }_{j}}{(({x}_{j}))}_{j\in J}).(4) Define ϕJ:C(R¯I)×∏i∈IP(R¯)→P(R¯J){\phi }_{J}:{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})\to {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})by ϕJ(C,(μi)i∈I)≔Φ(C,(μi)i∈I)J,{\phi }_{J}\left(C,{\left({\mu }_{i})}_{i\in I}):= \Phi {\left(C,{\left({\mu }_{i})}_{i\in I})}_{J},which is well defined by (3). Since the finite-dimensional distributions of a law are consistent, (ϕJ,J∈ℐ)\left({\phi }_{J},J\in {\mathcal{ {\mathcal I} }})forms a compatible family. Define analogously for J∈ℐJ\in {\mathcal{ {\mathcal I} }}also ϕ˜J:C(R¯J)×∏j∈JP(R¯)→P(R¯J){\tilde{\phi }}_{J}:{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J})\times {\prod }_{j\in J}{\mathcal{P}}\left(\bar{{\mathbb{R}}})\to {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})by ϕ˜J(CJ,(μj)j∈J)=((Fμj[−1])j∈J)∗CJ.{\tilde{\phi }}_{J}\left({C}_{J},{\left({\mu }_{j})}_{j\in J})={\left({\left({F}_{{\mu }_{j}}^{\left[-1]})}_{j\in J})}_{\ast }{C}_{J}.This is by Sklar’s theorem in finite-dimensions surjective and by [16, Thm. 2] also continuous. Hence, ϕJ=ϕ˜JπJ{\phi }_{J}={\tilde{\phi }}_{J}{\pi }_{J}is continuous and surjective, since both ϕ˜J{\tilde{\phi }}_{J}and πJ{\pi }_{J}are. Φ\Phi must be the uniquely induced continuous mapping by the family (ϕJ,J∈ℐ)\left({\phi }_{J},J\in {\mathcal{ {\mathcal I} }})by the universality property of the inverse limit. Moreover, since by [15, Corollary 4.2.6] P(R¯){\mathcal{P}}\left(\bar{{\mathbb{R}}})is compact and by (2) also C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is compact, we have that C(R¯I)×∏i∈IP(R¯){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})is compact by Tychonoff’s theorem. The continuity of Φ\Phi implies therefore that Φ(C(R¯I)×∏i∈IP(R¯))\Phi \left({\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}}))is compact, hence closed. Since moreover Lemma 2.2 implies that Φ(C(R¯I)×∏i∈IP(R¯))\Phi \left({\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}}))is dense, we obtain that Φ\Phi is surjective and therefore also the first part of Sklar’s theorem holds. The uniqueness of the copulas in the case of continuous marginals follows immediately by Sklar’s theorem in finite dimensions via the uniqueness of the finite-dimensional distribution of the corresponding copula measure.□5Applications of the compactness of copulas in infinite dimensionsApart from the alternative proof of Sklar’s theorem, the compactness of the family of copulas has some useful implications.Observe that P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is a subset of a locally convex Hausdorff space. Indeed, P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})once equipped with the topology of convergence of the finite-dimensional distributions is topologically embedded in Cb(R¯J)∗{C}_{b}{\left({\bar{{\mathbb{R}}}}^{J})}^{\ast }equipped with the weak∗{{\rm{weak}}}^{\ast }-topology, where Cb(R¯J)∗{C}_{b}{\left({\bar{{\mathbb{R}}}}^{J})}^{\ast }is the topological dual of the space of bounded continuous functions equipped with the topology induced by the uniform norm. Thus, with respect to the topology of weak convergence for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}, we obtain that also the inverse limit P(R¯I)≅lim←P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})\cong {\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is topologically embedded in a locally convex Hausdorff space, as it is isomorphic to a subset of the product ∏J∈ℐP(R¯J)↪∏J∈ℐCb(R¯J)∗{\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})\hspace{0.33em}\hookrightarrow \hspace{0.33em}{\prod }_{J\in {\mathcal{ {\mathcal I} }}}{C}_{b}{\left({\bar{{\mathbb{R}}}}^{J})}^{\ast }. Since C(R¯I)↪P(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\hspace{0.33em}\hookrightarrow \hspace{0.33em}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})is convex, we obtain the following result by the Krein–Milman theorem [5, Thm.V.8.4], as mentioned for instance in [8, p. 30] for the finite-dimensional case:Lemma 5.1C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is the closure of the convex hull of its extremal points with respect to the topology of weak convergence of finite-dimensional distributions.As mentioned in [1] this implies for instance that supC∈C(R¯I)g(C)=supC∈ext(C(R¯I))g(C),\mathop{\sup }\limits_{C\in {\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})}g\left(C)=\mathop{\sup }\limits_{C\in {\rm{ext}}\left({\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I}))}g\left(C),where ext(C(R¯I)){\rm{ext}}\left(C\left({\bar{{\mathbb{R}}}}^{I}))denotes the set of extremal points of C(R¯I)C\left({\bar{{\mathbb{R}}}}^{I})and g:C(R¯I)↦Rg:{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\mapsto {\mathbb{R}}is a convex function.The compactness of copulas might also be of interest for proving limit theorems. In fact, by the compactness of copulas in finite dimensions, we obtain that every sequence (Cn)n∈N{\left({C}^{n})}_{n\in {\mathbb{N}}}of multivariate copulas (of fixed dimension) has a convergent subsequence. This was for instance used in [9]. If (Cn)n∈N⊂C(R¯I){\left({C}^{n})}_{n\in {\mathbb{N}}}\subset {\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is a sequence of copula measures and IIis an infinite index set, this also implies that all finite distributions FCJn{F}_{{C}_{J}^{n}}for J⊂IJ\subset Ifinite have a convergent subsequent that converges weakly. However, it is not clear if this subsequence can be chosen uniformly for all finite J∈IJ\in I, i.e., for all finite dimensional distributions. Thus, this result is intricate to transfer to the infinite dimensional setting especially since the notions of compactness and sequential compactness may not coincide and one has to appeal to the notion of nets instead of sequences. For countable index sets we have at least Lemma 5.2. If IIis a countable index set, then C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is sequentially compact.ProofR¯I{\bar{{\mathbb{R}}}}^{I}is a product of polish spaces and hence polish with respect to the product topology. Thus, the Lévy–Prokhorov metric makes P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})a metric space, whose topology coincides with the topology of convergence in distribution with respect to the product topology on RI{{\mathbb{R}}}^{I}, which itself coincides with the topology of weak convergence of the finite dimensional distributions. As a compact set in a metrizable space, C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is sequentially compact.□With this lemma it might be easy to prove convergence criteria in some topological vector spaces. Recall that the pp-Wasserstein space Wp(E){{\mathcal{W}}}_{p}\left(E)over a separable Banach space EEis given by Wp(E)=ν:νis a Borel law onE,∫E‖x‖Epν(dx)<∞.{{\mathcal{W}}}_{p}\left(E)=\left\{\nu :\nu \hspace{0.33em}\hspace{0.1em}\text{is a Borel law on}\hspace{0.1em}\hspace{0.33em}E,\mathop{\int }\limits_{E}\Vert x{\Vert }_{E}^{p}\nu \left({\rm{d}}x)\lt \infty \right\}.Let E=lpE={l}^{p}be the sequence space lp≔(xn)n∈N⊂RN:‖(xn)n∈N‖p≔∑n=1∞∣xn∣p1p<∞{l}^{p}:= \left\{{\left({x}_{n})}_{n\in {\mathbb{N}}}\subset {{\mathbb{R}}}^{{\mathbb{N}}}:\Vert {\left({x}_{n})}_{n\in {\mathbb{N}}}{\Vert }_{p}:= {\left(\mathop{\sum }\limits_{n=1}^{\infty }| {x}_{n}{| }^{p}\right)}^{\tfrac{1}{p}}\lt \infty \right\}for some p∈[1,∞)p\in {[}1,\infty ). Recall that for the case p=2p=2this class of spaces contains (by isomorphy) all separable Hilbert spaces.Define by πi{\pi }_{i}for i∈Ni\in {\mathbb{N}}the projection onto the iith component, i.e., πi(x1,x2,….)=xi∀x∈lp.{\pi }_{i}\left({x}_{1},{x}_{2},\ldots .)={x}_{i}\hspace{1.0em}\forall x\in {l}^{p}.Any μ∈Wp(lp)\mu \in {{\mathcal{W}}}_{p}\left({l}^{p})is uniquely specified by the family μi1,…,id{\mu }_{{i}_{1},\ldots ,{i}_{d}}of finite dimensional distributions given by μi1,…,id≔μ∘(πi1,…,πid)−1{\mu }_{{i}_{1},\ldots ,{i}_{d}}:= \mu \circ {\left({\pi }_{{i}_{1}},\ldots ,{\pi }_{{i}_{d}})}^{-1}for any finite subset {i1,…,id}⊂N\left\{{i}_{1},\ldots ,{i}_{d}\right\}\subset {\mathbb{N}}of the natural numbers. We write mμip{m}_{{\mu }_{i}}^{p}for the ppth absolute moment of the univariate measures μi{\mu }_{i}, i∈Ni\in {\mathbb{N}}, i.e., mμip≔∫R∣x∣pμi(dx).{m}_{{\mu }_{i}}^{p}:= \mathop{\int }\limits_{{\mathbb{R}}}| x{| }^{p}{\mu }_{i}\left({\rm{d}}x).Corollary 5.3Assume (μn)n∈N⊂Wp(lp){\left({\mu }^{n})}_{n\in {\mathbb{N}}}\subset {{\mathcal{W}}}_{p}\left({l}^{p}). If all for all i∈Ni\in {\mathbb{N}}there is a μi∞∈Wp(lp){\mu }_{i}^{\infty }\in {{\mathcal{W}}}_{p}\left({l}^{p})such that∑i=1∞mμi∞p<∞,\mathop{\sum }\limits_{i=1}^{\infty }{m}_{{\mu }_{i}^{\infty }}^{p}\lt \infty ,then there is a subsequence (μnk)k∈N{\left({\mu }^{{n}_{k}})}_{k\in {\mathbb{N}}}of Borel laws that converges with respect to the topology of weak convergence of finite dimensional distributions to some Borel law μ\mu in Wp(lp){{\mathcal{W}}}_{p}\left({l}^{p}), such that(5.1)μi∞=μi∀i∈N.{\mu }_{i}^{\infty }={\mu }_{i}\hspace{1.0em}\forall i\in {\mathbb{N}}.ProofRecall from Section 3.1 in [2] that a basis copula corresponding to a measure ν∈W1(lp)\nu \in {{\mathcal{W}}}_{1}\left({l}^{p})is the copula measure Cν{C}_{\nu }in Rn{{\mathbb{R}}}^{n}, such that its finite dimensional distributions are given by the copula measures associated with the finite dimensional distributions νi1,…,id{\nu }_{{i}_{1},\ldots ,{i}_{d}}. Let (Cn)n∈N{\left({C}_{n})}_{n\in {\mathbb{N}}}denote the sequence of basis copulas associated with the sequence (μn)n∈N{\left({\mu }_{n})}_{n\in {\mathbb{N}}}. Then by Lemma 5.2, there is a subsequence (Cnk)k∈N{\left({C}_{{n}_{k}})}_{k\in {\mathbb{N}}}that converges to a copula measure C∈C(R¯I)C\in {\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})with respect to the topology of convergence of the finite dimensional distributions. Theorem 2 in [16] tells us that for multivariate random variables weak convergence follows by convergence of the marginal distributions and the weak convergence of the associated copulas. By assumption, this yields the existence of a Borel law μ\mu in RN{{\mathbb{R}}}^{{\mathbb{N}}}such that μn⟶μ,{\mu }^{n}\hspace{0.33em}\longrightarrow \hspace{0.33em}\mu ,Equation (5.1) holds and μ\mu has CCas its underlying copula measure. That indeed μ∈Wp(lp)\mu \in {{\mathcal{W}}}_{p}\left({l}^{p})holds follows from Corollary 4 in [2].□Remark 5.4Certainly, we can identify elements of Banach spaces with a Schauder basis uniquely with elements in RN{{\mathbb{R}}}^{{\mathbb{N}}}. In that way, transferring the assertion of Corollary 5.3 to this more general situation is possible for instance by appealing to Corollary 3 in [2]. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Dependence Modeling de Gruyter

A topological proof of Sklar’s theorem in arbitrary dimensions

, Volume 10 (1): 7 – Jan 1, 2022
7 pages

/lp/de-gruyter/a-topological-proof-of-sklar-s-theorem-in-arbitrary-dimensions-lI0rwP2ZLu
Publisher
de Gruyter
ISSN
2300-2298
eISSN
2300-2298
DOI
10.1515/demo-2022-0103
Publisher site
See Article on Publisher Site

Abstract

1IntroductionCopulas are widely used and well-known concepts in the realm of statistics and probability theory. This is not least due to the advantages that go along with their often intuitive and flexible handling. To some extent, such practicality is lost in infinite dimensions, as consistency problems may occur and constructions via copulas in topological vector spaces culminate in general in cylindrical, rather than actual probability measures (c.f. [10] and [2]). Building up a functional analytic and topological theory for copulas becomes pivotal in order to make the copula approach fully applicable to general stochastic processes.The keystone of the theory is Sklar’s theorem and there is a vast literature solely focusing on different proofs of this fundamental result. Among others there are proofs based on the distributional transform in [13] and [4] and earlier already in [11], based on mollifiers in [6] or the constructive approach by the extension of subcopulas, as it was proved for the bivariate case in [14] and for the general multivariate case in [17] or [3].The naive transfer of the subcopula approach to an infinite-dimensional setting appears to be challenging, since, after the extension of the subcopulas corresponding to the finite-dimensional laws of an infinite-dimensional distribution, one would also have to check that this construction meets the necessary consistency conditions. In contrast, and besides the approach via distributional transforms (as extended to an infinite-dimensional setting in [2]), a nonconstructive proof based on topological arguments in [7] is naturally in tune with an infinite-dimensional setting.In this article, we will therefore adopt this ansatz. In contrast to the proof in [2], we prove Sklar’s theorem on the level of probability measures and not on the level of random variables. The argument carries the steps in [7] over to an infinite-dimensional setting: (i)Show that the set of copula measures is compact with respect to the topology of convergence of the finite dimensional distributions (Definition 4.1).(ii)Prove the second part of Sklar’s theorem (that every copula measure can be merged with any family of marginals to a probability measure). This step is straightforward and as in [2].(iii)Prove that the operation of merging a copula measure with marginals is a continuous mapping and use the compactness of the set of copulas to conclude that this map has closed image. The second part of Sklar’s theorem follows by arguing that this image is also dense in the space of probability measures.In finite dimensions, the compactness of copulas is described as “folklore” in [6] and it implies some useful applications. Some of these results carry over to the infinite-dimensional setup (c.f. Section 5).2Short primer on topological inverse systemsWe will frequently use the notation R¯\bar{{\mathbb{R}}}for the extended real line [−∞,∞]\left[-\infty ,\infty ]. For any measure μ\mu on a measurable space (B,ℬ)\left(B,{\mathcal{ {\mathcal B} }})and a measurable function f:(B,ℬ)→(A,A)f:\left(B,{\mathcal{ {\mathcal B} }})\to \left(A,{\mathcal{A}})into another measurable space (A,A)\left(A,{\mathcal{A}})we denote by f∗μ{f}_{\ast }\mu the pushforward measure with respect to ffgiven by f∗μ(S)≔μ(f−1(S)){f}_{\ast }\mu \left(S):= \mu ({f}^{-1}\left(S))for all S∈AS\in {\mathcal{A}}. For IIan arbitrary index set, B=R¯IB={\bar{{\mathbb{R}}}}^{I}and ℬ=⊗i∈Iℬ(R¯){\mathcal{ {\mathcal B} }}={\otimes }_{i\in I}{\mathcal{ {\mathcal B} }}\left(\bar{{\mathbb{R}}}), we use the shorter notations πJ∗μ≕μJ{\pi }_{J\ast }\mu \hspace{0.33em}=: \hspace{0.33em}{\mu }_{J}for a subset J⊆IJ\subseteq Iand π{i}∗μ≕μi{\pi }_{\left\{i\right\}\ast }\mu \hspace{0.33em}=: \hspace{0.33em}{\mu }_{i}for an element i∈Ii\in I, where πJ{\pi }_{J}denotes the canonical projection on RJ{{\mathbb{R}}}^{J}. If J⊂IJ\subset Iis finite, we denote the corresponding finite-dimensional cumulative distribution functions by FμJ{F}_{{\mu }_{J}}or Fμi{F}_{{\mu }_{i}}, respectively, where in the latter we used J={i}J=\left\{i\right\}. We use the notation ℐ{\mathcal{ {\mathcal I} }}for the set consisting of all finite subsets of II. Moreover, for a one-dimensional Borel measure μi{\mu }_{i}on R{\mathbb{R}}, we use the notation Fμi[−1]{F}_{{\mu }_{i}}^{\left[-1]}for the quantile functions (2.1)Fμi[−1](u)≔inf{x∈(−∞,∞):Fμi(x)≥u}.{F}_{{\mu }_{i}}^{\left[-1]}\left(u):= \inf \{x\in \left(-\infty ,\infty ):{F}_{{\mu }_{i}}\left(x)\ge u\}.We will refer to the one-dimensional distributions μi,i∈I{\mu }_{i},i\in Iand equivalently Fμi,i∈I{F}_{{\mu }_{i}},i\in Ias marginals of the measure μ\mu . We denote the set of all probability measures on (R¯I,⊗i∈Iℬ(R¯))\left({\bar{{\mathbb{R}}}}^{I},{\otimes }_{i\in I}{\mathcal{ {\mathcal B} }}\left(\bar{{\mathbb{R}}}))by P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}). Moreover, for two topological spaces X,YX,Ywe write X≅YX\cong Yif they are homeomorphic.The remainder of the section is mainly based on [12]. Let XJ{X}_{J}be a set for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}and (PJ1,J2:XJ2→XJ1)forJ1⊆J2,withJ1,J2∈ℐ\left({P}_{{J}_{1},{J}_{2}}:{X}_{{J}_{2}}\to {X}_{{J}_{1}})\hspace{1.0em}\hspace{0.1em}\text{for}\hspace{0.1em}\hspace{0.33em}{J}_{1}\subseteq {J}_{2},\hspace{0.33em}\hspace{0.1em}\text{with}\hspace{0.1em}\hspace{0.33em}{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}a family of mappings, also called projections, such that (i)PJ,J=idJ{P}_{J,J}=i{d}_{J}is the identity mapping for all J∈ℐJ\in {\mathcal{ {\mathcal I} }}, and(ii)PJ1,J3=PJ1,J2∘PJ2,J3{P}_{{J}_{1},{J}_{3}}={P}_{{J}_{1},{J}_{2}}\circ {P}_{{J}_{2},{J}_{3}}for all J1⊆J2⊆J3{J}_{1}\subseteq {J}_{2}\subseteq {J}_{3}in ℐ{\mathcal{ {\mathcal I} }}.The system (XJ,PJ1,J2,ℐ)≔((XJ)J∈ℐ,((PJ1,J2:XJ2→XJ1)J1,J2∈ℐJ1⊆J2))\left({X}_{J},{P}_{{J}_{1},{J}_{2}},{\mathcal{ {\mathcal I} }}):= ({\left({X}_{J})}_{J\in {\mathcal{ {\mathcal I} }}},\left({\left({P}_{{J}_{1},{J}_{2}}:{X}_{{J}_{2}}\to {X}_{{J}_{1}})}_{\mathop{{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}}\limits^{{J}_{1}\subseteq {J}_{2}}}))is called an inverse system (over the partially ordered set ℐ{\mathcal{ {\mathcal I} }}). If (XJ,τJ)\left({X}_{J},{\tau }_{J})are topological spaces for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}and (PJ1,J2)\left({P}_{{J}_{1},{J}_{2}})are continuous for all J1⊆J2{J}_{1}\subseteq {J}_{2}with J1,J2∈ℐ{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}, we call (XJ,τJ,PJ1,J2,J∈ℐ)≔((XJ,τJ)J∈ℐ,((PJ1,J2:XJ2→XJ1)J1,J2∈ℐJ1⊆J2))\left({X}_{J},{\tau }_{J},{P}_{{J}_{1},{J}_{2}},J\in {\mathcal{ {\mathcal I} }}):= ({\left({X}_{J},{\tau }_{J})}_{J\in {\mathcal{ {\mathcal I} }}},\left({\left({P}_{{J}_{1},{J}_{2}}:{X}_{{J}_{2}}\to {X}_{{J}_{1}})}_{\mathop{{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}}\limits^{{J}_{1}\subseteq {J}_{2}}}))a topological inverse system. A topological inverse limit of this inverse system is a space XXtogether with continuous mappings PJ:X↦XJ,J∈ℐ{P}_{J}:X\mapsto {X}_{J},J\in {\mathcal{ {\mathcal I} }}, such that PJ1,J2PJ2=PJ1{P}_{{J}_{1},{J}_{2}}{P}_{{J}_{2}}={P}_{{J}_{1}}for all J1⊆J2{J}_{1}\subseteq {J}_{2}in ℐ{\mathcal{ {\mathcal I} }}(i.e., the mappings are compatible) and the following universal property holds: Whenever there is a topological space YY, such that there are continuous mappings (ψJ:Y→XJ)J∈ℐ{\left({\psi }_{J}:Y\to {X}_{J})}_{J\in {\mathcal{ {\mathcal I} }}}which are compatible, i.e., PJ1,J2ψJ2=ψJ1{P}_{{J}_{1},{J}_{2}}{\psi }_{{J}_{2}}={\psi }_{{J}_{1}}for all J1⊆J2{J}_{1}\subseteq {J}_{2}in ℐ{\mathcal{ {\mathcal I} }}, then there exists a unique continuous mapping (2.2)Ψ:Y→X,\Psi :Y\to X,with the property PJΨ=ψJ{P}_{J}\Psi ={\psi }_{J}for all J∈ℐJ\in {\mathcal{ {\mathcal I} }}. We have that (2.3){x=(xJ)J∈ℐ∈∏J∈ℐXJ:PJ1,J2(πJ2(x))=πJ1(x)forJ1⊆J2}⊆∏J∈ℐXJ\{x={\left({x}_{J})}_{J\in {\mathcal{ {\mathcal I} }}}\in \prod _{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}:{P}_{{J}_{1},{J}_{2}}\left({\pi }_{{J}_{2}}\left(x))={\pi }_{{J}_{1}}\left(x)\hspace{0.33em}\hspace{0.1em}\text{for}\hspace{0.1em}\hspace{0.33em}{J}_{1}\subseteq {J}_{2}\}\subseteq \prod _{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}equipped with the subspace topology with respect to the product topology is an inverse limit of the topological inverse system, induced by the canonical projections πJ′((xJ)J∈ℐ)=xJ′{\pi }_{J^{\prime} }\left({\left({x}_{J})}_{J\in {\mathcal{ {\mathcal I} }}})={x}_{J^{\prime} }. Each topological inverse limit is homeomorphic to this space and therefore to every topological inverse limit (see the proof of Theorem 1.1.1 in [12]). We write lim←XJ⊆∏J∈ℐXJ{\mathrm{lim}}_{\leftarrow }{X}_{J}\subseteq {\prod }_{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}for the inverse limit as a subset of the product space and we equip it throughout with the induced subspace topology.Lemma 2.1Let (XJ,τJ,πJ1,J2)\left({X}_{J},{\tau }_{J},{\pi }_{{J}_{1},{J}_{2}})be a topological inverse system (over the poset ℐ{\mathcal{ {\mathcal I} }}) of Hausdorff spaces. Then lim←XJ{\mathrm{lim}}_{\leftarrow }{X}_{J}is a closed subset of ∏J∈ℐXJ{\prod }_{J\in {\mathcal{ {\mathcal I} }}}{X}_{J}with respect to the product topology.ProofSee [12, Lemma 1.1.2].□Lemma 2.2Let XXbe a compact Hausdorff space and (XJ,τJ,πJ1,J2)\left({X}_{J},{\tau }_{J},{\pi }_{{J}_{1},{J}_{2}})be a topological inverse system of compact Hausdorff spaces. Let ψJ:X→XJ,J∈ℐ{\psi }_{J}:X\to {X}_{J},J\in {\mathcal{ {\mathcal I} }}be a family of compatible surjections and Ψ\Psi the induced mapping. Then either lim←XJ=∅{\mathrm{lim}}_{\leftarrow }{X}_{J}=\varnothing or Ψ(X)\Psi \left(X)is dense in lim←XJ{\mathrm{lim}}_{\leftarrow }{X}_{J}.ProofSee [12, Corollary 1.1.7].□3Copulas and Sklar’s theoremAs they are cumulative distribution functions, copulas in finite dimension have a one-to-one correspondence to probability measures. In infinite dimensions we will therefore work with the notion of copula measures as introduced in [2].Definition 3.1A copula measure (or simply copula) on R¯I{\bar{{\mathbb{R}}}}^{I}is a probability measure C∈P(R¯I)C\in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}), such that its marginals Ci{C}_{i}are uniformly distributed on [0,1]\left[0,1]. We will denote the space of copula measures on R¯I{\bar{{\mathbb{R}}}}^{I}by C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I}).Sklar’s theorem as stated below was proved in [2] by following the arguments for the finite-dimensional assertion in [13]. Here we give an alternative proof for the infinite-dimensional setting using a topological argument as in [7].Theorem 3.2(Sklar’s theorem) Let μ∈P(R¯I)\mu \in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})be a probability measure with marginal one-dimensional distributions μi,i∈I{\mu }_{i},i\in I. There exists a copula measure CC, such that for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}, we have(3.1)FCJ((Fμj(xj))j∈J)=FμJ((xj)j∈J){F}_{{C}_{J}}({({F}_{{\mu }_{j}}\left({x}_{j}))}_{j\in J})={F}_{{\mu }_{J}}({\left({x}_{j})}_{j\in J})for all (xj)j∈J∈R¯J{\left({x}_{j})}_{j\in J}\in {\bar{{\mathbb{R}}}}^{J}. Moreover, CCis unique if Fμi{F}_{{\mu }_{i}}is continuous for each i∈Ii\in I. Vice versa, let CCbe a copula measure on R¯I{\bar{{\mathbb{R}}}}^{I}and let (μi)i∈I{\left({\mu }_{i})}_{i\in I}be a collection of (one-dimensional) Borel probability measures over R¯\bar{{\mathbb{R}}}. Then there exists a unique probability measure μ∈P(R¯I)\mu \in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}), such that (3.1) holds.4Topological properties of Copulas and a proof of Sklar’s theoremThe collection (P(R¯J),J∈ℐ)\left({\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}),J\in {\mathcal{ {\mathcal I} }}), where each P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is considered as a topological space with the topology of weak convergence, is a topological inverse system with the projections πJ1,J2(μJ2)=(μJ2)J1{\pi }_{{J}_{1},{J}_{2}}\left({\mu }_{{J}_{2}})={\left({\mu }_{{J}_{2}})}_{{J}_{1}}for μJ2∈P(R¯J2){\mu }_{{J}_{2}}\in {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{{J}_{2}})and J1,J2∈ℐ{J}_{1},{J}_{2}\in {\mathcal{ {\mathcal I} }}, J1⊆J2{J}_{1}\subseteq {J}_{2}. Moreover, observe that each P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is a Hausdorff space, since it is metrizable by the Prokhorov metric (c.f. [15, Theorem 4.2.5]). The space lim←P(R¯J)⊂∏J∈ℐP(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})\subset {\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})of consistent families of probability measures is a topological inverse limit, equipped with the corresponding inverse limit topology. The space of probability measures on ⊗i∈Iℬ(R){\otimes }_{i\in I}{\mathcal{ {\mathcal B} }}\left({\mathbb{R}})has via its finite-dimensional distributions a one-to-one correspondence with this family of consistent finite-dimensional distributions, and hence there is a natural bijection between lim←P(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})and P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}).We equip the space P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})with the topology of weak convergence of the finite-dimensional distributions, which we define as follows:Definition 4.1The topology of convergence of the finite-dimensional distributions on P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})is defined as the topology such that P(R¯I)≅lim←P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})\cong {\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}).P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})with this topology is by definition a topological inverse limit. Define also lim←C(R¯J)≔lim←P(R¯J)∩∏J∈ℐC(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J}):= {\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})\cap {\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J}). Certainly, we have (4.1)C(R¯I)≅lim←C(R¯J){\mathcal{C}}({\bar{{\mathbb{R}}}}^{I})\cong \underleftarrow{\mathrm{lim}}{\mathcal{C}}({\bar{{\mathbb{R}}}}^{J})with the corresponding topologies.The following result contains among other things the topological proof of Sklar’s theorem 3.2.Theorem 4.2The following statements hold. (1)P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})with the topology of weak convergence of the finite-dimensional distributions is a Hausdorff space.(2)The space of copula measures C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is compact with respect to the topology of convergence of finite-dimensional distributions.(3)For a copula measure CCon R¯I{\bar{{\mathbb{R}}}}^{I}and (one-dimensional) Borel probability measures (μi)i∈I{\left({\mu }_{i})}_{i\in I}over R¯\bar{{\mathbb{R}}}the push-forward measure(4.2)μ≔((Fμi[−1])i∈I)∗C\mu := {\left({\left({F}_{{\mu }_{i}}^{\left[-1]})}_{i\in I})}_{\ast }Csatisfies (3.1).(4)If we equip C(R¯I)×∏i∈IP(R¯){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})with the product topology of weak convergence on each P(R¯){\mathcal{P}}\left(\bar{{\mathbb{R}}})and the topology of convergence of the finite-dimensional distributions on C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})and P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I}), then the mapping Φ:C(R¯ℐ)×∏i∈IP(R¯)→P(R¯I)\Phi :{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{{\mathcal{ {\mathcal I} }}})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})\to {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})given byΦ(C,(μi)i∈I)≔((Fμi[−1])i∈I)∗C\Phi \left(C,{\left({\mu }_{i})}_{i\in I}):= {\left({\left({F}_{{\mu }_{i}}^{\left[-1]})}_{i\in I})}_{\ast }Cis continuous and surjective. In particular, Sklar’s theorem holds.Proof(1) Since products of Hausdorff spaces are Hausdorff and P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})is homeomorphic to a subset of a product of Hausdorff spaces, it is Hausdorff.(2) We know by [6, Thm. 3.3] that every C(R¯J){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J})is compact with respect to the topology of weak convergence on P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}). Tychonoff’s theorem guarantees also that ∏J∈ℐC(R¯J){\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J})is compact with respect to the product topology on ∏J∈ℐP(R¯J){\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J}). Therefore, as lim←P(R¯J){\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is closed by Lemma 2.1, we obtain that C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is compact, since it is homeomorphic to an intersection of a closed and a compact set in the product topology.(3) This corresponds to the second part of Sklar’s theorem and the proof can be conducted analogously to the one in [2]. Therefore, it is enough to see that ([0,Fμj(xj)])j∈J⧹((Fμj[−1])−1(−∞,x1])j∈J{({[}0,{F}_{{\mu }_{j}}\left({x}_{j})])}_{j\in J}\setminus {({({F}_{{\mu }_{j}}^{\left[-1]})}^{-1}(-\infty ,{x}_{1}])}_{j\in J}is a CJ{C}_{J}-nullset for all (xj)j∈J∈R¯J{\left({x}_{j})}_{j\in J}\in {\bar{{\mathbb{R}}}}^{J}, J∈ℐJ\in {\mathcal{ {\mathcal I} }}, since then we immediately obtain CJ(((Fμj[−1])−1(−∞,x1])j∈J)=CJ(([0,Fμj(xj)])j∈J)=FCJ(Fμj((xj))j∈J).{C}_{J}({({({F}_{{\mu }_{j}}^{\left[-1]})}^{-1}(-\infty ,{x}_{1}])}_{j\in J})={C}_{J}\left({\left(\left[0,{F}_{{\mu }_{j}}\left({x}_{j})]\right)}_{j\in J}\right)={F}_{{C}_{J}}({F}_{{\mu }_{j}}{(({x}_{j}))}_{j\in J}).(4) Define ϕJ:C(R¯I)×∏i∈IP(R¯)→P(R¯J){\phi }_{J}:{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})\to {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})by ϕJ(C,(μi)i∈I)≔Φ(C,(μi)i∈I)J,{\phi }_{J}\left(C,{\left({\mu }_{i})}_{i\in I}):= \Phi {\left(C,{\left({\mu }_{i})}_{i\in I})}_{J},which is well defined by (3). Since the finite-dimensional distributions of a law are consistent, (ϕJ,J∈ℐ)\left({\phi }_{J},J\in {\mathcal{ {\mathcal I} }})forms a compatible family. Define analogously for J∈ℐJ\in {\mathcal{ {\mathcal I} }}also ϕ˜J:C(R¯J)×∏j∈JP(R¯)→P(R¯J){\tilde{\phi }}_{J}:{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{J})\times {\prod }_{j\in J}{\mathcal{P}}\left(\bar{{\mathbb{R}}})\to {\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})by ϕ˜J(CJ,(μj)j∈J)=((Fμj[−1])j∈J)∗CJ.{\tilde{\phi }}_{J}\left({C}_{J},{\left({\mu }_{j})}_{j\in J})={\left({\left({F}_{{\mu }_{j}}^{\left[-1]})}_{j\in J})}_{\ast }{C}_{J}.This is by Sklar’s theorem in finite-dimensions surjective and by [16, Thm. 2] also continuous. Hence, ϕJ=ϕ˜JπJ{\phi }_{J}={\tilde{\phi }}_{J}{\pi }_{J}is continuous and surjective, since both ϕ˜J{\tilde{\phi }}_{J}and πJ{\pi }_{J}are. Φ\Phi must be the uniquely induced continuous mapping by the family (ϕJ,J∈ℐ)\left({\phi }_{J},J\in {\mathcal{ {\mathcal I} }})by the universality property of the inverse limit. Moreover, since by [15, Corollary 4.2.6] P(R¯){\mathcal{P}}\left(\bar{{\mathbb{R}}})is compact and by (2) also C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is compact, we have that C(R¯I)×∏i∈IP(R¯){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}})is compact by Tychonoff’s theorem. The continuity of Φ\Phi implies therefore that Φ(C(R¯I)×∏i∈IP(R¯))\Phi \left({\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}}))is compact, hence closed. Since moreover Lemma 2.2 implies that Φ(C(R¯I)×∏i∈IP(R¯))\Phi \left({\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\times {\prod }_{i\in I}{\mathcal{P}}\left(\bar{{\mathbb{R}}}))is dense, we obtain that Φ\Phi is surjective and therefore also the first part of Sklar’s theorem holds. The uniqueness of the copulas in the case of continuous marginals follows immediately by Sklar’s theorem in finite dimensions via the uniqueness of the finite-dimensional distribution of the corresponding copula measure.□5Applications of the compactness of copulas in infinite dimensionsApart from the alternative proof of Sklar’s theorem, the compactness of the family of copulas has some useful implications.Observe that P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is a subset of a locally convex Hausdorff space. Indeed, P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})once equipped with the topology of convergence of the finite-dimensional distributions is topologically embedded in Cb(R¯J)∗{C}_{b}{\left({\bar{{\mathbb{R}}}}^{J})}^{\ast }equipped with the weak∗{{\rm{weak}}}^{\ast }-topology, where Cb(R¯J)∗{C}_{b}{\left({\bar{{\mathbb{R}}}}^{J})}^{\ast }is the topological dual of the space of bounded continuous functions equipped with the topology induced by the uniform norm. Thus, with respect to the topology of weak convergence for each J∈ℐJ\in {\mathcal{ {\mathcal I} }}, we obtain that also the inverse limit P(R¯I)≅lim←P(R¯J){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})\cong {\mathrm{lim}}_{\leftarrow }{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})is topologically embedded in a locally convex Hausdorff space, as it is isomorphic to a subset of the product ∏J∈ℐP(R¯J)↪∏J∈ℐCb(R¯J)∗{\prod }_{J\in {\mathcal{ {\mathcal I} }}}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{J})\hspace{0.33em}\hookrightarrow \hspace{0.33em}{\prod }_{J\in {\mathcal{ {\mathcal I} }}}{C}_{b}{\left({\bar{{\mathbb{R}}}}^{J})}^{\ast }. Since C(R¯I)↪P(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\hspace{0.33em}\hookrightarrow \hspace{0.33em}{\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})is convex, we obtain the following result by the Krein–Milman theorem [5, Thm.V.8.4], as mentioned for instance in [8, p. 30] for the finite-dimensional case:Lemma 5.1C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is the closure of the convex hull of its extremal points with respect to the topology of weak convergence of finite-dimensional distributions.As mentioned in [1] this implies for instance that supC∈C(R¯I)g(C)=supC∈ext(C(R¯I))g(C),\mathop{\sup }\limits_{C\in {\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})}g\left(C)=\mathop{\sup }\limits_{C\in {\rm{ext}}\left({\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I}))}g\left(C),where ext(C(R¯I)){\rm{ext}}\left(C\left({\bar{{\mathbb{R}}}}^{I}))denotes the set of extremal points of C(R¯I)C\left({\bar{{\mathbb{R}}}}^{I})and g:C(R¯I)↦Rg:{\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})\mapsto {\mathbb{R}}is a convex function.The compactness of copulas might also be of interest for proving limit theorems. In fact, by the compactness of copulas in finite dimensions, we obtain that every sequence (Cn)n∈N{\left({C}^{n})}_{n\in {\mathbb{N}}}of multivariate copulas (of fixed dimension) has a convergent subsequence. This was for instance used in [9]. If (Cn)n∈N⊂C(R¯I){\left({C}^{n})}_{n\in {\mathbb{N}}}\subset {\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is a sequence of copula measures and IIis an infinite index set, this also implies that all finite distributions FCJn{F}_{{C}_{J}^{n}}for J⊂IJ\subset Ifinite have a convergent subsequent that converges weakly. However, it is not clear if this subsequence can be chosen uniformly for all finite J∈IJ\in I, i.e., for all finite dimensional distributions. Thus, this result is intricate to transfer to the infinite dimensional setting especially since the notions of compactness and sequential compactness may not coincide and one has to appeal to the notion of nets instead of sequences. For countable index sets we have at least Lemma 5.2. If IIis a countable index set, then C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is sequentially compact.ProofR¯I{\bar{{\mathbb{R}}}}^{I}is a product of polish spaces and hence polish with respect to the product topology. Thus, the Lévy–Prokhorov metric makes P(R¯I){\mathcal{P}}\left({\bar{{\mathbb{R}}}}^{I})a metric space, whose topology coincides with the topology of convergence in distribution with respect to the product topology on RI{{\mathbb{R}}}^{I}, which itself coincides with the topology of weak convergence of the finite dimensional distributions. As a compact set in a metrizable space, C(R¯I){\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})is sequentially compact.□With this lemma it might be easy to prove convergence criteria in some topological vector spaces. Recall that the pp-Wasserstein space Wp(E){{\mathcal{W}}}_{p}\left(E)over a separable Banach space EEis given by Wp(E)=ν:νis a Borel law onE,∫E‖x‖Epν(dx)<∞.{{\mathcal{W}}}_{p}\left(E)=\left\{\nu :\nu \hspace{0.33em}\hspace{0.1em}\text{is a Borel law on}\hspace{0.1em}\hspace{0.33em}E,\mathop{\int }\limits_{E}\Vert x{\Vert }_{E}^{p}\nu \left({\rm{d}}x)\lt \infty \right\}.Let E=lpE={l}^{p}be the sequence space lp≔(xn)n∈N⊂RN:‖(xn)n∈N‖p≔∑n=1∞∣xn∣p1p<∞{l}^{p}:= \left\{{\left({x}_{n})}_{n\in {\mathbb{N}}}\subset {{\mathbb{R}}}^{{\mathbb{N}}}:\Vert {\left({x}_{n})}_{n\in {\mathbb{N}}}{\Vert }_{p}:= {\left(\mathop{\sum }\limits_{n=1}^{\infty }| {x}_{n}{| }^{p}\right)}^{\tfrac{1}{p}}\lt \infty \right\}for some p∈[1,∞)p\in {[}1,\infty ). Recall that for the case p=2p=2this class of spaces contains (by isomorphy) all separable Hilbert spaces.Define by πi{\pi }_{i}for i∈Ni\in {\mathbb{N}}the projection onto the iith component, i.e., πi(x1,x2,….)=xi∀x∈lp.{\pi }_{i}\left({x}_{1},{x}_{2},\ldots .)={x}_{i}\hspace{1.0em}\forall x\in {l}^{p}.Any μ∈Wp(lp)\mu \in {{\mathcal{W}}}_{p}\left({l}^{p})is uniquely specified by the family μi1,…,id{\mu }_{{i}_{1},\ldots ,{i}_{d}}of finite dimensional distributions given by μi1,…,id≔μ∘(πi1,…,πid)−1{\mu }_{{i}_{1},\ldots ,{i}_{d}}:= \mu \circ {\left({\pi }_{{i}_{1}},\ldots ,{\pi }_{{i}_{d}})}^{-1}for any finite subset {i1,…,id}⊂N\left\{{i}_{1},\ldots ,{i}_{d}\right\}\subset {\mathbb{N}}of the natural numbers. We write mμip{m}_{{\mu }_{i}}^{p}for the ppth absolute moment of the univariate measures μi{\mu }_{i}, i∈Ni\in {\mathbb{N}}, i.e., mμip≔∫R∣x∣pμi(dx).{m}_{{\mu }_{i}}^{p}:= \mathop{\int }\limits_{{\mathbb{R}}}| x{| }^{p}{\mu }_{i}\left({\rm{d}}x).Corollary 5.3Assume (μn)n∈N⊂Wp(lp){\left({\mu }^{n})}_{n\in {\mathbb{N}}}\subset {{\mathcal{W}}}_{p}\left({l}^{p}). If all for all i∈Ni\in {\mathbb{N}}there is a μi∞∈Wp(lp){\mu }_{i}^{\infty }\in {{\mathcal{W}}}_{p}\left({l}^{p})such that∑i=1∞mμi∞p<∞,\mathop{\sum }\limits_{i=1}^{\infty }{m}_{{\mu }_{i}^{\infty }}^{p}\lt \infty ,then there is a subsequence (μnk)k∈N{\left({\mu }^{{n}_{k}})}_{k\in {\mathbb{N}}}of Borel laws that converges with respect to the topology of weak convergence of finite dimensional distributions to some Borel law μ\mu in Wp(lp){{\mathcal{W}}}_{p}\left({l}^{p}), such that(5.1)μi∞=μi∀i∈N.{\mu }_{i}^{\infty }={\mu }_{i}\hspace{1.0em}\forall i\in {\mathbb{N}}.ProofRecall from Section 3.1 in [2] that a basis copula corresponding to a measure ν∈W1(lp)\nu \in {{\mathcal{W}}}_{1}\left({l}^{p})is the copula measure Cν{C}_{\nu }in Rn{{\mathbb{R}}}^{n}, such that its finite dimensional distributions are given by the copula measures associated with the finite dimensional distributions νi1,…,id{\nu }_{{i}_{1},\ldots ,{i}_{d}}. Let (Cn)n∈N{\left({C}_{n})}_{n\in {\mathbb{N}}}denote the sequence of basis copulas associated with the sequence (μn)n∈N{\left({\mu }_{n})}_{n\in {\mathbb{N}}}. Then by Lemma 5.2, there is a subsequence (Cnk)k∈N{\left({C}_{{n}_{k}})}_{k\in {\mathbb{N}}}that converges to a copula measure C∈C(R¯I)C\in {\mathcal{C}}\left({\bar{{\mathbb{R}}}}^{I})with respect to the topology of convergence of the finite dimensional distributions. Theorem 2 in [16] tells us that for multivariate random variables weak convergence follows by convergence of the marginal distributions and the weak convergence of the associated copulas. By assumption, this yields the existence of a Borel law μ\mu in RN{{\mathbb{R}}}^{{\mathbb{N}}}such that μn⟶μ,{\mu }^{n}\hspace{0.33em}\longrightarrow \hspace{0.33em}\mu ,Equation (5.1) holds and μ\mu has CCas its underlying copula measure. That indeed μ∈Wp(lp)\mu \in {{\mathcal{W}}}_{p}\left({l}^{p})holds follows from Corollary 4 in [2].□Remark 5.4Certainly, we can identify elements of Banach spaces with a Schauder basis uniquely with elements in RN{{\mathbb{R}}}^{{\mathbb{N}}}. In that way, transferring the assertion of Corollary 5.3 to this more general situation is possible for instance by appealing to Corollary 3 in [2].

Journal

Dependence Modelingde Gruyter

Published: Jan 1, 2022

Keywords: Copulas; Sklar’s theorem; topological inverse limits; infinite dimensions; compactness; Primary 60E05; 62H05; Secondary 62H20; 28C20