Direct integral (source code)

= Direct integral
{wiki=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.