Locally Measure Spaces: Inductive Constructions

• Locally measure space is a measure space constructed from an inductive system of measurable spaces with compatible projective measures to form a complete σ-algebra.
• It overcomes the limitations of naive unions of σ-algebras by enforcing slicewise measurability, ensuring robust integration and consistency of measure limits.
• The framework is pivotal for direct integrals of locally Hilbert spaces, facilitating decomposable operators, diagonalizable operators, and spectral models in operator theory.

A locally measure space is a measure space obtained from a directed family of measurable spaces and compatible measures by passing to an inductive limit on the underlying sets and a limit construction on the measures. In the operator-theoretic literature of direct integrals of locally Hilbert spaces, the basic datum is a directed poset $(\Lambda,\le)$, a strictly inductive system of measurable spaces $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$, and a projective system of measures $\{\mu_\alpha\}_{\alpha\in\Lambda}$; the resulting triple $(X,\Sigma,\mu)$ is called a locally measure space (Kulkarni et al., 5 Aug 2025). Closely related work uses the more restrictive label “locally standard measure space” when each local level is a standard finite measure space (Kulkarni et al., 2024), while another formulation starts from a strictly inductive system of measure spaces and emphasizes a Boolean-ring limit together with a canonical completion (Gheondea, 25 Jul 2025). In a different measure-theoretic tradition, semilocalizable and strictly localizable spaces encode “local” measure structure through locally null sets or finite-measure decompositions rather than through inductive limits (Pauw, 2019, Bouafia et al., 2021).

1. Inductive construction of a locally measure space

Let $(\Lambda,\le)$ be a directed poset. A strictly inductive system of measurable spaces is a family $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$ such that $X_\alpha\subseteq X_\beta$ whenever $\alpha\le\beta$, and

$\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$

so in particular $\Sigma_\alpha\subseteq\Sigma_\beta$ for $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$0. One then defines

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$1

Here $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$2, and $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$3 is a $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$4-algebra. A family of positive measures $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$5 on the levels is a projective system of measures if

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$6

The limiting measure is then defined on $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$7 by

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$8

The measure space $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$9 obtained in this way is called a locally measure space (Kulkarni et al., 5 Aug 2025).

This construction is explicitly motivated by the fact that the naive union $\{\mu_\alpha\}_{\alpha\in\Lambda}$0 need not be a $\{\mu_\alpha\}_{\alpha\in\Lambda}$1-algebra. A canonical example is $\{\mu_\alpha\}_{\alpha\in\Lambda}$2 with $\{\mu_\alpha\}_{\alpha\in\Lambda}$3 the Lebesgue measurable subsets: then $\{\mu_\alpha\}_{\alpha\in\Lambda}$4 does not contain $\{\mu_\alpha\}_{\alpha\in\Lambda}$5, even though $\{\mu_\alpha\}_{\alpha\in\Lambda}$6. The definition of $\{\mu_\alpha\}_{\alpha\in\Lambda}$7 repairs this defect by requiring slicewise measurability against every $\{\mu_\alpha\}_{\alpha\in\Lambda}$8. Another standard example takes $\{\mu_\alpha\}_{\alpha\in\Lambda}$9, $(X,\Sigma,\mu)$0, and $(X,\Sigma,\mu)$1 equal to Lebesgue measure; the induced locally measure space is $(X,\Sigma,\mu)$2, where $(X,\Sigma,\mu)$3 is Lebesgue measure and

$(X,\Sigma,\mu)$4

for every Borel set $(X,\Sigma,\mu)$5 (Kulkarni et al., 5 Aug 2025).

Unless otherwise stated, the recent direct-integral literature assumes that each $(X,\Sigma,\mu)$6 is a $(X,\Sigma,\mu)$7-compact locally compact space, each $(X,\Sigma,\mu)$8 is the Borel $(X,\Sigma,\mu)$9-algebra on $(\Lambda,\le)$0, and each $(\Lambda,\le)$1 is the completion of a positive Borel measure. In that setting, measurability is evaluated in the global $(\Lambda,\le)$2-algebra $(\Lambda,\le)$3, while integration is the ordinary integration theory for the measure space $(\Lambda,\le)$4 (Kulkarni et al., 5 Aug 2025).

2. Variants: locally standard spaces and canonical completions

Two nearby formalisms refine the same inductive-projective scheme in different directions.

Source	Global measurable structure	Limit measure
“Locally standard measure space” (Kulkarni et al., 2024)	$(\Lambda,\le)$5	$(\Lambda,\le)$6 if convergent, else $(\Lambda,\le)$7
Strictly inductive system of measure spaces (Gheondea, 25 Jul 2025)	$(\Lambda,\le)$8 may be only a Boolean ring; completion $(\Lambda,\le)$9	$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$0

In the locally standard formulation, each $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$1 is assumed to be a standard measure space, more precisely a complete separable metric space with a finite positive measure. The adjective “standard” is thus imposed levelwise, not globally. This is the version used to define direct integrals of locally Hilbert spaces in a way that mirrors the classical theory over a standard measure space (Kulkarni et al., 2024).

The strictly inductive formulation of representing locally Hilbert spaces takes a slightly different route. One first forms

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$2

where $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$3 is generally only a Boolean ring of sets, and defines a locally $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$4-additive measure on $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$5 by $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$6 whenever $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$7. One then passes to the canonical $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$8-algebra

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$9

and the canonical extension

$X_\alpha\subseteq X_\beta$0

This produces what the paper explicitly describes as a “locally measure space” $X_\alpha\subseteq X_\beta$1 together with a canonical completion $X_\alpha\subseteq X_\beta$2 (Gheondea, 25 Jul 2025).

3. Direct integrals of locally Hilbert spaces

The principal application of the locally measure space construction is the definition of direct integrals of locally Hilbert spaces. For each $X_\alpha\subseteq X_\beta$3, one assigns a locally Hilbert space

$X_\alpha\subseteq X_\beta$4

The direct integral

$X_\alpha\subseteq X_\beta$5

consists of sections $X_\alpha\subseteq X_\beta$6 satisfying three conditions: there is an index $X_\alpha\subseteq X_\beta$7 such that $X_\alpha\subseteq X_\beta$8 for $X_\alpha\subseteq X_\beta$9-almost every $\alpha\le\beta$0 and $\alpha\le\beta$1; for every $\alpha\le\beta$2, the fiberwise inner-product function $\alpha\le\beta$3 lies in $\alpha\le\beta$4; and a selection condition ensures that sections compatible with all test sections already belong to $\alpha\le\beta$5 (Kulkarni et al., 5 Aug 2025).

For each $\alpha\le\beta$6, one then defines

$\alpha\le\beta$7

with inner product

$\alpha\le\beta$8

The maps

$\alpha\le\beta$9

are unitary onto the classical direct integrals. Consequently, each $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$0 is complete, the inclusions $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$1 are isometric for $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$2, and

$\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$3

is a locally Hilbert space (Kulkarni et al., 5 Aug 2025, Kulkarni et al., 2024).

The examples make clear that the global object need not be a Hilbert space. In the discrete case $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$4 with counting measure,

$\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$5

For the locally measure space on $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$6 obtained from $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$7 with Lebesgue measure, if every fiber is $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$8, then the direct integral consists of all $\Sigma_\alpha=\{E\cap X_\alpha:E\in\Sigma_\beta\},$9-functions with compact support and is dense in $\Sigma_\alpha\subseteq\Sigma_\beta$0. If every fiber is $\Sigma_\alpha\subseteq\Sigma_\beta$1, then

$\Sigma_\alpha\subseteq\Sigma_\beta$2

with each $\Sigma_\alpha\subseteq\Sigma_\beta$3, and the union is dense in $\Sigma_\alpha\subseteq\Sigma_\beta$4 (Kulkarni et al., 5 Aug 2025).

4. Decomposable and diagonalizable operators

Once the direct integral is available, one obtains operator classes that parallel the classical theory. A locally bounded operator $\Sigma_\alpha\subseteq\Sigma_\beta$5 on the direct integral is decomposable if there exists a family $\Sigma_\alpha\subseteq\Sigma_\beta$6 such that

$\Sigma_\alpha\subseteq\Sigma_\beta$7

It is diagonalizable if it is decomposable and there exists a measurable function $\Sigma_\alpha\subseteq\Sigma_\beta$8 such that

$\Sigma_\alpha\subseteq\Sigma_\beta$9

The corresponding notation is

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$00

At each level $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$01, these become the classical decomposable and diagonalizable bounded operators after conjugation by $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$02, and for decomposable $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$03,

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$04

For diagonalizable operators, the relevant symbol class is the locally essentially bounded algebra

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$05

The operator-algebraic structure is expressed by projective limits of von Neumann algebras. Under the hypotheses “either $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$06 is countable or $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$07 is a counting measure on $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$08,” the decomposable operators form a locally von Neumann algebra, the diagonalizable operators form an abelian locally von Neumann algebra, and the diagonalizable algebra coincides with the commutant of the decomposable algebra: $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$09 In the locally standard framework, the same structure appears as

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$10

and one has $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$11 under the same countability or counting-measure assumptions. The converse representation theorem goes in the opposite direction: for a countable inductive system and an abelian locally von Neumann algebra satisfying Condition I, there exist a locally standard measure space and a measurable field of locally Hilbert spaces such that the locally Hilbert space is identified with the direct integral and the algebra is identified with $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$12 (Kulkarni et al., 5 Aug 2025, Kulkarni et al., 2024).

5. Representing locally Hilbert spaces and spectral models

A second major development identifies locally measure spaces as the natural measure-theoretic background for spectral theory on representing locally Hilbert spaces. Starting from a strictly inductive system of measure spaces $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$13, one sets

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$14

and embeds $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$15 into $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$16 for $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$17 by extension by zero. The inductive limit

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$18

is a locally Hilbert space; it is called representing when the canonical projections $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$19 onto $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$20 commute, and the $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$21-construction from a strictly inductive system of measure spaces yields precisely such a representing space (Gheondea, 25 Jul 2025).

In this setting one defines the locally $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$22 algebra

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$23

with seminorms

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$24

For $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$25, the multiplication operator

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$26

acts on

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$27

and satisfies

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$28

The paper then proves a first spectral theorem for locally normal operators via locally spectral measures and a second spectral theorem in two forms. In its concrete form, under the sequentially finite hypothesis on $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$29, every locally normal operator is locally unitarily equivalent to a multiplication operator: $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$30 Under the same hypothesis and separability of each $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$31, a third spectral theorem gives a direct integral representation

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$32

where $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$33 is scalar multiplication by $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$34 on the fiber $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$35. The examples of strictly inductive systems involving the Hata tree-like selfsimilar set are included specifically to justify the sequentially finite condition and to indicate a possible connection with analysis on fractal sets (Gheondea, 25 Jul 2025).

6. Alternative meanings and adjacent local measure notions

Outside the direct-integral literature, “local” measure structure is also encoded by localizability and semilocalizability. For a measure space $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$36, let $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$37 and define the $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$38-ideal of locally null sets by

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$39

Then the canonical map

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$40

is surjective if and only if $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$41 is semilocalizable, equivalently if and only if $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$42 is localizable, equivalently if and only if the quotient Boolean algebra $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$43 is order complete. For $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$44-dimensional Hausdorff measure on a complete separable metric space, this is further equivalent to almost decomposability, and the paper gives examples in which the property is undecidable in ZFC (Pauw, 2019).

A related categorical construction replaces an arbitrary measure space by a strictly localizable version. The paper on localizable locally determined measurable spaces with negligibles constructs, for any $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$45, a strictly localizable version

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$46

with a universal map $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$47, and proves the duality

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$48

It also proves a generalized Radon–Nikodym theorem: if $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$49 is semi-finite and absolutely continuous with respect to $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$50 under the stated finite-measure nontriviality hypothesis, then there exists $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$51, unique $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$52-a.e., such that

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$53

for all $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$54 (Bouafia et al., 2021).

Other local constructions use the word “local” differently. The local Hausdorff measure on a metric space is defined by the Carathéodory gauge

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$55

yielding a Borel measure $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$56 tied to the upper semicontinuous local Hausdorff dimension $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$57; on compact metric spaces with an Ahlfors $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$58-regular measure, one has $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$59 and $\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$60 (Dever, 2016). In metric geometry, another adjacent framework studies rooted complete locally compact length spaces with locally finite measures and defines the local Gromov–Hausdorff–Prokhorov distance by

$\{(X_\alpha,\Sigma_\alpha)\}_{\alpha\in\Lambda}$61

thereby producing a Polish topology on GHP-isometry classes of such measured spaces (Abraham et al., 2012).

These parallel usages show that “locally measure space” is not a single universal term. In current operator-algebraic work it denotes an inductive-projective measure construction designed for direct integrals and locally von Neumann algebras; in classical measure theory it is more closely related to localizability, semilocalizability, and strict localizability; and in metric geometry and fractal analysis it appears through distinct localizations of measure and dimension (Kulkarni et al., 5 Aug 2025, Pauw, 2019).