Direct integral of locally Hilbert spaces over a locally measure space

Abstract: In this work, we introduce the concept of the direct integral of locally Hilbert spaces by generalizing the classical notion of a measure space to that of a locally measure space. We establish that the direct integral of a family of locally Hilbert spaces over a locally measure space forms a locally Hilbert space. We then define two important subclasses of locally bounded operators on such direct integrals, namely decomposable locally bounded operators and diagonalizable locally bounded operators. We show that each of these subclasses forms a locally von Neumann algebra, and in particular, that the locally von Neumann algebra of diagonalizable operators is abelian. Finally, we prove that the locally von Neumann algebra of diagonalizable operators coincides with the commutant of the locally von Neumann algebra of decomposable operators.