measurable field of Hilbert spaces
Dmitri Pavlov
A measurable field of Hilbert spaces is the exact analogue of a vector bundle over a topological space in the setting of fiber bundles of infinite-dimensional Hilbert spaces over measurable spaces.
The original definition is due to John von Neumann (Definition 1 in Neumann).
We present here a slightly modernized version, which can be found in many modern sources, e.g., Takesaki.
Suppose is a measurable space equipped with a σ-finite measure? , or, less specifically, with a σ-ideal of negligible.