Direct integral

The direct integral is a concept from functional analysis, particularly in the context of Hilbert spaces and the representation of families of Hilbert spaces. It is used to construct a new Hilbert space from a family of Hilbert spaces, essentially allowing us to handle infinite-dimensional spaces.