Equivalence between GLT sequences and measurable functions

The theory of Generalized Locally Toeplitz (GLT) sequences of matrices has been developed in order to study the asymptotic behaviour of particular spectral distributions when the dimension of the matrices tends to infinity. Key concepts in this theory are the notions of Approximating Classes of Sequences (a.c.s.) and spectral symbols that lead to defining a metric structure on the space of matrix sequences and provide a link with the measurable functions. In this paper we prove additional results regarding theoretical aspects, such as the completeness of the matrix sequences space with respect to the metric a.c.s. and the identification of the space of GLT sequences with the space of measurable functions.