Arxiv:2101.08598V1 [Math.PR] 21 Jan 2021 Si a Rvdfrtebvraecs N[1 N O H Gene the for and [11] in Case the Bivariate by [3]

Home , Product topology

arXiv:2101.08598v1 [math.PR] 21 Jan 2021 si a rvdfrtebvraecs n[1 n o h gene the for and [11] in case the bivariate by [3]. the approach or for constructive [14] [4] proved the was and or it [10] [5] as in in transform mollifiers distributional on res fundamental based the this on of based proofs theorem proofs different Sklar’s on is theory focussing the solely of keystone The theory. bility measure sntrlyi uewt nifiiedmninlsetting. dimensional infinite an with on tune based in proof nonconstructive naturally (as a is transforms [2]), distributional in via setting mensional approach consist necessary the the besides su meets and the construction this dist of that infinite-dimensional extension check an to the of after laws since, finite-dimensional challenging, the be to pears iesoa ae hc swytetase oabtaydim arbitrary to "fol transfer as the why described is is which copulas case, of dimensional i compactness copulas The and marginals inverse between continuous. an operation with the and copulas compact of it space the equipping by dimensions on euetenotation the use We noaohrmaual space measurable another into itiuinfntosby functions distribution J epc to respect set, Compactness. ⊆ h av rnfro h ucpl-praht ninfinite- an to subcopula-approach the of transfer naive The nti ae,w ilteeoeaotti nazadpoeS prove and ansatz this adopt therefore will we paper, this In ewl rqetyuetenotation the use frequently will We oua r ieyue n elkoncnet nteramo realm the in concepts known well and used widely are Copulas 2010 Date e od n phrases. and words Key R B I J If . and aur 2 2021. 22, January : = ahmtc ujc Classification. Subject Mathematics Abstract. etadtento fivresystems. inverse of notion the and ment OOOIA RO FSLRSTERMIN THEOREM SKLAR’S OF PROOF TOPOLOGICAL A µ R ¯ J namaual space measurable a on π f I RDEPNBNH ILAD UN,ADDNI SCHROERS DENNIS AND NUNNO, DI GIULIA BENTH, ESPEN FRED { and i ⊂ ie by given }∗ 2. µ I hr rmro oooia nes Systems Inverse Topological on Primer Short B =: sfiie ednt h orsodn nt iesoa cum dimensional finite corresponding the denote we finite, is epoeSlrstermi nnt iesosvaatopolog a via dimensions infinite in theorem Sklar’s prove We = µ I i ⊗ f o nelement an for oua,Slrsterm oooia nes iis Infi limits, inverse Topological theorem, Sklar’s Copulas, ∗ i o h e ossigo l nt ust of subsets finite all of consisting set the for ∈ µ F I RIRR DIMENSIONS ARBITRARY ( B µ S J ( := ) R ¯ or ) ( euetesotrnotations shorter the use we , A, F ( 1. µ B, µ A i ( f ) Introduction epciey hr ntelte eused we latter the in where respectively, B − rmr 00,6H5 eodr 22,28C20. 62H20, Secondary 62H05; 60E05, Primary ednt by denote we i ) 1 R ¯ ∈ ( n esrbefunction measurable a and S o h xeddra line real extended the for I )) 1 where , o all for π f S J ∗ µ eoe h aoia projection canonical the denotes A ∈ h uhowr esr with measure pushforward the iuin n ol lohave also would one ribution, nycniin.I contrast, In conditions. ency l.Aogohr hr are there others Among ult. n hr savs literature vast a is there and oooia ruet n[6] in arguments topological For . xeddt nifiiedi- infinite an to extended cplscrepnigto corresponding bcopulas lmttplg htmakes that topology -limit nin sdesirable. is ensions dcdb ka’ theorem Sklar’s by nduced n ale led n[8], in already earlier and lr"i 5 o h finite the for [5] in klore" xeso fsubcopulas, of extension lrstermi infinite in theorem klar’s π iesoa etn ap- setting dimensional a utvraecs in case multivariate ral J ∗ ttsisadproba- and statistics f I µ f nabtayindex arbitrary an [ =: −∞ ( : I oevr for Moreover, . clargu- ical B, µ ieDimensions, nite J , ∞ B o subset a for ) ] o any For . → J ulative ( = A, { A i } ) . 2 FREDESPENBENTH,GIULIADINUNNO,ANDDENNISSCHROERS

R [−1] a one-dimensional Borel measure µi on , we use the notation Fµi for the quantile functions [−1] Fµi (u) := inf {x ∈ (−∞, ∞) : Fµi (x) ≥ u} . (2.1)

We will refer to the one dimensional distributions µi, i ∈ I and equivalently Fµi , i ∈ I as marginals of the measure µ. We denote the set of all probability measures on I I (R¯ , ⊗i∈I B(R¯)) by P(R¯ ). Moreover, for two topological spaces X,Y we write X =∼ Y if they are homeomorphic. The remainder of the section is mainly based on [9]. Let XJ be a set for each J ∈I and

(PJ1,J2 : XJ2 → XJ1 ) for J1 ⊆ J2, with J1, J2 ∈I a family of mappings, also called projections, such that

(i) PJ,J = idJ is the identity mapping for all J ∈I, and (ii) PJ1,J3 = PJ1,J2 ◦ PJ2,J3 for all J1 ⊆ J2 ⊆ J3 in I. The system

(XJ , PJ1,J2 , I) := (XJ )J∈I, ((PJ1,J2 : XJ2 → XJ1 ) J1⊆J2 ) J1,J2∈I is called an inverse system (over the partially ordered set I). If (XJ ,τJ ) are topological spaces for each J ∈ I and (PJ1,J2 ) are continuous for all J1 ⊆ J2 with J1, J2 ∈ I, we call

(XJ ,τJ , PJ1,J2 , J ∈I) := (XJ ,τJ )J∈I , ((PJ1,J2 : XJ2 → XJ1 ) J1⊆J2 ) J1,J2∈I a topological inverse system. A topological inverse limit of this inverse system is a space

X together with continuous mappings PJ : X 7→ XJ , J ∈I, such that PJ1,J2 PJ2 = PJ1 for all J1 ⊆ J2 in I (that is, the mappings are compatible) and the following universal property holds: Whenever there is a topological space Y , such that there are continuous mappings (ψJ : Y → XJ )J∈I which are compatible, i.e., PJ1,J2 ψJ2 = ψJ1 for all J1 ⊆ J2 in I, then there exists a unique continuous mapping Ψ : Y → X, (2.2) with the property PJ Ψ= ψJ for all J ∈I. We have that

x = (xJ )J∈I ∈ XJ : PJ1,J2 (πJ2 (x)) = πJ1 (x) for J1 ⊆ J2 ⊆ XJ (2.3) ( J ) J Y∈I Y∈I 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∈I) = xJ′ . 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 [9]). We write lim← XJ ⊆ J∈I XJ for the inverse limit as a subset of the product space and we equip it throughout with the induced subspace topology. Q

Lemma 2.1. Let (XJ ,τJ ,πJ1,J2 ) be a topological inverse system (over the poset I) of Hausdorﬀ spaces. Then lim← XJ is a closed subset of J∈I XJ with respect to the product topology. Q Proof. See [9, Lemma 1.1.2]. A TOPOLOGICAL PROOF OF SKLAR’S THEOREM IN ARBITRARY DIMENSIONS 3

Lemma 2.2. Let X be a compact Hausdorﬀ space and (XJ ,τJ ,πJ1,J2 ) be a topological inverse system of compact Hausdorﬀ spaces. Let ψJ : X → XJ , J ∈ I be a family of compatible surjections and Ψ the induced mapping. Then either lim← XJ = ∅ or Ψ(X) is dense in lim← XJ . Proof. See [9, Corollary 1.1.7].

3. Copulas and Sklar’s Theorem As 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.1. A copula measure (or simply copula) on R¯ I is a probability measure I C ∈ P(R¯ ), such that its marginals Ci are uniformly distributed on [0, 1]. We will denote the space of copula measures on R¯ I by C(R¯ I ). Sklar’s theorem as stated below was proved in [2] by following the arguments for the finite dimensional assertion in [10]. Here we give an alternative proof for the infinite dimensional setting using a topological argument as in [6]. Theorem 3.2 (Sklar’s Theorem). Let µ ∈ P(R¯ I ) be a probability measure with marginal one-dimensional distributions µi, i ∈ I. There exists a copula measure C, such that for each J ∈I, we have F F x F x CJ µj ( j) j∈J = µJ (( j)j∈J ) (3.1) R¯ J for all (xj)j∈J ∈ . Moreover, C is unique if Fµi is continuous for each i ∈ I. I Vice versa, let C be a copula measure on R¯ and let (µi)i∈I be a collection of (one- dimensional) Borel probability measures over R¯. Then there exists a unique probability measure µ ∈ P(R¯ I ), such that (3.1) holds.

4. Topological Properties of Copulas and a Proof of Sklar’s Theorem The collection (P(R¯ J ), J ∈I), where each P(R¯ J ) is considered as a topological space with the topology of weak convergence, is a topological inverse system with the pro- R¯ J2 jections πJ1,J2 (µJ2 ) = (µJ2 )J1 for µJ2 ∈ P( ) and J1, J2 ∈ I, J1 ⊆ J2. Moreover, observe that each P(R¯ J ) is a Hausdorff space, since it is metrizable by the Prohorov R¯ J R¯ J metric (c.f. [12, Theorem 4.2.5]). The space lim← P( ) ⊂ J∈I P( ) of consistent families of probability measures is a topological inverse limit, equipped with the corre- Q sponding inverse limit topology. The space of probability measures on ⊗i∈I B(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 J I lim← P(R¯ ) and P(R¯ ). We equip the space P(R¯ I ) with the topology of weak convergence of the finite dimensional distributions, which we define as follows: Definition 4.1. The topology of convergence of the finite dimensional distributions on I I J P(R¯ ) is defined as the topology such that P(R¯ ) =∼ lim← P(R¯ ). P(R¯ I ) with this topology is by definition a topological inverse limit. Define also R¯ J R¯ J R¯ J lim← C( ) := lim← P( ) ∩ J∈I C( ). Certainly, we have I J Q C R¯ =∼ lim C R¯ (4.1) ← 4 FREDESPENBENTH,GIULIADINUNNO,ANDDENNISSCHROERS with the corresponding topologies. The following result contains among other things the topological proof of Sklar’s theorem 3.2. Theorem 4.2. The following statements hold. (1) P(R¯ I ) with the topology of weak convergence of the finite dimensional distributions is a Hausdorff space (2) The space of consistent copulas C(R¯ I ) is compact with respect to the topology of convergence of finite dimensional distributions. (3) For a copula measure C on R¯ I and (one-dimensional) Borel probability measures (µi)i∈I over R¯ the push-forward measure [−1] µ := ((Fµi )i∈I )∗C (4.2) satisfies (3.1). R¯ I R¯ (4) If we equip C( ) × i∈I P( ) with the product topology of weak convergence on each P(R¯ ) and the topology of convergence of the finite dimensional distributions R¯ I R¯ IQ R¯ I R¯ R¯ I on C( ) and P( ), then the mapping Φ : C( ) × i∈I P( ) → P( ) given by [−1] Q Φ(C, (µi)i∈I ) := ((Fµi )i∈I )∗C is continuous and surjective. In particular, Sklar’s theorem holds. Proof. (1) Since products of Hausdorff spaces are Hausdorff and P(R¯ I ) is homeomorphic to a subset of a product of Hausdorff spaces, it is Hausdorff. (2) We know by [5, Thm. 3.3] that every C(R¯ J ) is compact with respect to the topology of weak convergence on P(R¯ J ). Tychonoff’s Theorem guarantees also that R¯ J R¯ J J∈I C( ) is compact with respect to the product topology on J∈I P( ). There- fore, as lim P(R¯ J ) is closed by Lemma 2.1, we obtain that C(R¯ I ) is compact, since it is Q ← Q 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 −1 0, F (x ) \ F [−1] (−∞,x ] µj j j∈J µj 1 j∈J J is a CJ -nullset for all (xj)j∈J ∈ R¯ , J ∈I, since then we immediately obtain

−1 C F [−1] (−∞,x ] = C [0, F (x )] = F F ((x )) . J µj 1 J µj j j∈J CJ µj j j∈J j∈J ! R¯ I R¯ R¯ J (4) Define φJ : C( ) × i∈I P( ) → P( ) by QφJ (C, (µi)i∈I ) := Φ(C, (µi)i∈I )J , which is well defined by (3). Since the finite-dimensional distributions of a law are consistent, (φJ , J ∈ I) forms a compatible family. Define analogously for J ∈ I also ˜ R¯ J R¯ R¯ J φJ : C( ) × j∈J P( ) → P( ) by ˜ [−1] Q φJ (CJ , (µj)j∈J ) = (Fµj )j∈J )∗CJ . This is by Sklar’s theorem in finite-dimensions surjective and by [13, Thm. 2] also continuous. Hence φJ = φ˜J πJ is continuous and surjective, since both, φ˜J and πJ are. Φ must be the uniquely induced continuous mapping by the family (φJ , J ∈I) by the universality property of the inverse limit. Moreover, since by [12, Corollary 4.2.6] P(R¯ ) is A TOPOLOGICAL PROOF OF SKLAR’S THEOREM IN ARBITRARY DIMENSIONS 5

R¯ I R¯ I R¯ compact and by (2) also C( ) is compact, we have that C( )× i∈I P( ) is compact by Tychonoff’s theorem. The continuity of Φ implies therefore that Φ(C(R¯ I )× P(R¯ )) is Q i∈I compact, hence closed. Since moreover Lemma 2.2 implies that Φ(C(R¯ I ) × P(R¯ )) Q i∈I is dense, we obtain that Φ is surjective and therefore also the first part of Sklar’s theorem holds. The uniqueness of the copulas in the case of continuousQ marginals follows immediately by Sklar’s theorem in finite dimensions via the uniqueness of the finite dimensional distribution of the corresponding copula measure.

Observe that since P(R¯ J ) is a locally convex Hausdorﬀ space with respect to the topology of weak convergence for each J ∈ I, we obtain that also the inverse limit R¯ I RJ P( ) is locally convex, as it is isomorphic to a subset of the product J∈I P( ) of locally convex Hausdorﬀ spaces. Hence, as mentioned for instance in [7, p.30], since C(RI ) is convex, we have that it is the closure of its extremal points by the Krein-MilmanQ theorem. As mentioned in [1] this implies that sup g(C)= sup g(C) C∈C(RI ) C∈ext(C(RI )) where ext(C(RI)) denotes the set of extremal points of C(RI) and g : C(RI ) 7→ R is a convex function.

Acknowledgements. This research was funded within the project STORM: Stochas- tics for Time-Space Risk Models, from the Research Council of Norway (RCN). Project number: 274410.

References

1. V. Benes and J. Stepan, Extremal solutions in the marginal problem, Advances in Probability Distributions with Given Marginals. Mathematics and Its Applications (G. Dall’Aglio, S. Kotz, and G. Salinetti, eds.), vol. 67, Springer, Dordrecht, 1991. 2. F. Benth, G. Di Nunno, and D. Schroers, Copula measures and sklar’s theorem in arbitrary dimensions, E-print arXiv:2012.11530 (2020). 3. H. Carley and M. D. Taylor, A new proof of Sklar’s theorem, pp. 29–34, Springer Netherlands, Dordrecht, 2002. 4. P. Deheuvels, A multivariate bahadur–kiefer representation for the empirical copula process, J. Math. Sci. (N. Y.) 163 (2009), 382–398. 5. F. Durante, J. Fernández-Sánchez, and C. Sempi, Sklar’s theorem obtained via regularization tech- niques, Nonlinear Anal. 75 (2012), no. 2, 769–774. 6. F. Durante, J. Fernández-Sánchez, and C. Sempi, A topological proof of Sklar’s theorem, Appl. Math. Lett. 26 (2013), no. 9, 945–948. 7. F. Durante and C. Sempi, Principles of copula theory, CRC/Chapman & Hall, London, 2015. 8. David S. Moore and M. C. Spruill, Unified large-sample theory of general chi-squared statistics for tests of fit, Ann. Statist. 3 (1975), 599–616. 9. L. Ribes and P. Zalesskii, Profinite Groups, second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 40, Springer-Verlag, 2010. 10. L. Rüschendorf, On the distributional transform, Sklar’s theorem, and the empirical copula process, J. Statist. Plann. Inference 139 (2009), no. 11, 3921–3927. 11. B. Schweizer and A. Sklar, Operations on distribution functions not derivable from operations on random variables, Studia Math. 52 (1974), 43–52. 12. , Probabilistic Metric Spaces, Dover Publications, New York, 2005. 13. C. Sempi, Convergence of copulas: critical remarks, Rad. Mat. 12 (2004), no. 2, 241–249. 14. A. Sklar, Random variables, distribution functions, and copulas—a personal look backward and forward, Lecture Notes–Monograph Series, vol. Volume 28, pp. 1–14, Institute of Mathematical Statistics, Hayward, CA, 1996. 6 FREDESPENBENTH,GIULIADINUNNO,ANDDENNISSCHROERS

(Fred Espen Benth) Department of Mathematics, University of Oslo, Norway Email address, Fred Espen Benth: [email protected]

(Giulia Di Nunno) Department of Mathematics, University of Oslo, Norway Email address, Giulia Di Nunno: [email protected]

(Dennis Schroers) Department of Mathematics, University of Oslo, Norway Email address, Dennis Schroers: [email protected]