1: \begin{abstract}

2: 

3: We establish a strong law of large numbers and a central limit theorem in the Bures-Wasserstein space of covariance operators -- or equivalently centred Gaussian measures -- over a general separable Hilbert space. Specifically, we show that under a minimal first-moment condition, empirical barycentre sequences indexed by sample size are almost certainly relatively compact, with accumulation points comprising population barycentres. We give a sufficient regularity condition for the limit to be unique. When the limit is unique, we also establish a central limit theorem under a refined pair of moment and regularity conditions. 

4:  Finally, we prove strong operator convergence of the empirical optimal transport maps to their population counterparts.

5: Though our results naturally extend finite--dimensional counterparts, including associated regularity conditions, our techniques are distinctly different owing to the functional nature of the problem in the general setting. A key element is the elicitation of a class of compact sets that reflect an \emph{ordered} Heine-Borel property of the Bures--Wasserstein space.

6: 

7: \medskip

8:     \noindent \textbf{MSC2020 classes:}  60B12, 60G57, 60H25, 62R20, 62R30 \\

9:     \textbf{Key words:} Central Limit Theorem, covariance operator, \Frechet mean, Law of Large Numbers, optimal transport.  

10: 

11: \end{abstract}

12: