---
title: 'Locally Measure Spaces: Inductive Constructions'
url: https://www.emergentmind.com/topics/locally-measure-space
type: topic
---

# Locally Measure Spaces: Inductive Constructions

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 [2508.03779]. Closely related work uses the more restrictive label “locally standard measure space” when each local level is a standard finite measure space [2409.01200], while another formulation starts from a strictly inductive system of measure spaces and emphasizes a Boolean-ring limit together with a canonical completion [2507.19101]. 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 [1909.10190] [2105.11331].

## 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 \(\alpha\le\beta\). One then defines
\[
X:=\bigcup_{\alpha\in\Lambda}X_\alpha,\qquad
\Sigma_0:=\bigcup_{\alpha\in\Lambda}\Sigma_\alpha,\qquad
\Sigma:=\{E\subseteq X:E\cap X_\alpha\in\Sigma_\alpha\ \forall \alpha\in\Lambda\}.
\]
Here \(\Sigma_0\subseteq\Sigma\), and \(\Sigma\) is a \(\sigma\)-algebra. A family of positive measures \(\{\mu_\alpha\}\) on the levels is a projective system of measures if
\[
\mu_\alpha(E_\alpha)=\mu_\beta(E_\alpha)\qquad \text{whenever }\alpha\le\beta,\ E_\alpha\in\Sigma_\alpha.
\]
The limiting measure is then defined on \((X,\Sigma)\) by
\[
\mu(E):=
\begin{cases}
\lim_\alpha \mu_\alpha(E\cap X_\alpha),& \text{if }\{\mu_\alpha(E\cap X_\alpha)\}_\alpha \text{ converges},\\
\infty,& \text{otherwise.}
\end{cases}
\]
The measure space \((X,\Sigma,\mu)\) obtained in this way is called a locally measure space [2508.03779].

This construction is explicitly motivated by the fact that the naive union \(\Sigma_0=\bigcup_\alpha \Sigma_\alpha\) need not be a \(\sigma\)-algebra. A canonical example is \(X_n=[-n,n]\) with \(\Sigma_n\) the Lebesgue measurable subsets: then \(\Sigma_0=\bigcup_n\Sigma_n\) does not contain \(\mathbb R\), even though \(\mathbb R=\bigcup_n[-n,n]\). The definition of \(\Sigma\) repairs this defect by requiring slicewise measurability against every \(X_\alpha\). Another standard example takes \(X_n=[-n,n]\), \(\Sigma_n=B(X_n)\), and \(\mu_n\) equal to Lebesgue measure; the induced locally measure space is \((\mathbb R,B(\mathbb R),\mu)\), where \(\mu\) is Lebesgue measure and
\[
\mu(U)=\lim_{n\to\infty}\mu_n(U\cap[-n,n])
\]
for every Borel set \(U\subseteq\mathbb R\) [2508.03779].

Unless otherwise stated, the recent direct-integral literature assumes that each \(X_\alpha\) is a \(\sigma\)-compact locally compact space, each \(\Sigma_\alpha\) is the Borel \(\sigma\)-algebra on \(X_\alpha\), and each \(\mu_\alpha\) is the completion of a positive Borel measure. In that setting, measurability is evaluated in the global \(\sigma\)-algebra \(\Sigma\), while integration is the ordinary integration theory for the measure space \((X,\Sigma,\mu)\) [2508.03779].

## 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” [2409.01200] | \(\Sigma=\{E\subset X:E\cap X_\lambda\in\Sigma_\lambda\ \forall\lambda\}\) | \(\mu(E)=\lim_\lambda\mu_\lambda(E\cap X_\lambda)\) if convergent, else \(\infty\) |
| Strictly inductive system of measure spaces [2507.19101] | \(\Omega=\bigcup_\lambda\Omega_\lambda\) may be only a Boolean ring; completion \(\widehat\Omega=\{A\subset X:A\cap X_\lambda\in\Omega_\lambda\ \forall\lambda\}\) | \(\widehat\mu(A)=\sup_\lambda \mu_\lambda(A\cap X_\lambda)\) |

In the locally standard formulation, each \((X_\lambda,\Sigma_\lambda,\mu_\lambda)\) 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 [2409.01200].

The strictly inductive formulation of representing locally Hilbert spaces takes a slightly different route. One first forms
\[
X:=\bigcup_{\lambda\in\Lambda}X_\lambda,\qquad \Omega:=\bigcup_{\lambda\in\Lambda}\Omega_\lambda,
\]
where \(\Omega\) is generally only a Boolean ring of sets, and defines a locally \(\sigma\)-additive measure on \(\Omega\) by \(\mu(\Delta):=\mu_\lambda(\Delta)\) whenever \(\Delta\in\Omega_\lambda\). One then passes to the canonical \(\sigma\)-algebra
\[
\widehat\Omega:=\{A\subseteq X:A\cap X_\lambda\in\Omega_\lambda\ \forall\lambda\},
\]
and the canonical extension
\[
\widehat\mu(A):=\sup_{\lambda\in\Lambda}\mu_\lambda(A\cap X_\lambda).
\]
This produces what the paper explicitly describes as a “locally measure space” \((X,\Omega,\mu)\) together with a canonical completion \((X,\widehat\Omega,\widehat\mu)\) [2507.19101].

## 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 \(p\in X\), one assigns a locally Hilbert space
\[
D_p=\varinjlim_{\alpha} H_{\alpha,p}.
\]
The direct integral
\[
D:=\int_X^{\oplus\mathrm{loc}} D_p\,d\mu
\]
consists of sections \(u:X\to\bigsqcup_p D_p\) satisfying three conditions: there is an index \(\alpha_u\) such that \(u(p)\in H_{\alpha_u,p}\) for \(\mu\)-almost every \(p\in X_{\alpha_u}\) and \(\operatorname{supp}(u)\subseteq X_{\alpha_u}\); for every \(u,v\in D\), the fiberwise inner-product function \(\zeta_{u,v}(p)=\langle u(p),v(p)\rangle_{D_p}\) lies in \(L^1(X,\mu)\); and a selection condition ensures that sections compatible with all test sections already belong to \(D\) [2508.03779].

For each \(\alpha\in\Lambda\), one then defines
\[
H_\alpha:=\{u\in D:u(p)\in H_{\alpha,p}\ \text{a.e. on }X_\alpha,\ \operatorname{supp}(u)\subseteq X_\alpha\},
\]
with inner product
\[
\langle u,v\rangle_{H_\alpha}:=\int_{X_\alpha}\langle u(p),v(p)\rangle_{H_{\alpha,p}}\,d\mu_\alpha.
\]
The maps
\[
V_\alpha:H_\alpha\to\int_{X_\alpha}^{\oplus} H_{\alpha,p}\,d\mu_\alpha,\qquad V_\alpha(u)(p):=u(p),
\]
are unitary onto the classical direct integrals. Consequently, each \(H_\alpha\) is complete, the inclusions \(H_\alpha\subseteq H_\beta\) are isometric for \(\alpha\le\beta\), and
\[
D=\bigcup_\alpha H_\alpha=\varinjlim_\alpha H_\alpha
\]
is a locally Hilbert space [2508.03779] [2409.01200].

The examples make clear that the global object need not be a Hilbert space. In the discrete case \(X=\mathbb N\) with counting measure,
\[
\int_{\mathbb N}^{\oplus\mathrm{loc}} D_n\,d\mu(n)=\bigoplus_{n=1}^\infty D_n.
\]
For the locally measure space on \(\mathbb R\) obtained from \([-n,n]\) with Lebesgue measure, if every fiber is \(\mathbb C\), then the direct integral consists of all \(L^2(\mathbb R,\mu)\)-functions with compact support and is dense in \(L^2(\mathbb R,\mu)\). If every fiber is \(L^2(\mathbb R,\mu)\), then
\[
\int_{\mathbb R}^{\oplus\mathrm{loc}} L^2(\mathbb R,\mu)\,d\mu
=\bigcup_\alpha H_\alpha,
\]
with each \(H_\alpha\cong L^2([-\alpha,\alpha],\mu_\alpha)\otimes L^2(\mathbb R,\mu)\), and the union is dense in \(L^2(\mathbb R,\mu)\otimes L^2(\mathbb R,\mu)\) [2508.03779].

## 4. Decomposable and diagonalizable operators

Once the direct integral is available, one obtains operator classes that parallel the classical theory. A locally bounded operator \(T\) on the direct integral is decomposable if there exists a family \(\{T_p\in C^*_{E_p}(D_p)\}_{p\in X}\) such that
\[
(Tu)(p)=T_pu(p)\qquad\text{for }\mu\text{-a.e. }p.
\]
It is diagonalizable if it is decomposable and there exists a measurable function \(f:X\to\mathbb C\) such that
\[
(Tu)(p)=f(p)u(p)\qquad\text{for }\mu\text{-a.e. }p.
\]
The corresponding notation is
\[
T=\int_X^{\oplus\mathrm{loc}} T_p\,d\mu,\qquad
T=\int_X^{\oplus\mathrm{loc}} f(p)\,\mathrm{Id}_{D_p}\,d\mu.
\]
At each level \(\alpha\), these become the classical decomposable and diagonalizable bounded operators after conjugation by \(V_\alpha\), and for decomposable \(T\),
\[
\|T|_{H_\alpha}\|=\operatorname*{ess\,sup}_{p\in X_\alpha}\|T_p|_{H_{\alpha,p}}\|.
\]
For diagonalizable operators, the relevant symbol class is the locally essentially bounded algebra
\[
E_\infty^{\mathrm{loc}}(X,\Sigma,\mu)=\{f:X\to\mathbb C\text{ measurable}:f|_{X_\lambda}\in L^\infty(X_\lambda,\mu_\lambda)\ \forall\lambda\} [2508.03779] [2409.01200].
\]

The operator-algebraic structure is expressed by projective limits of von Neumann algebras. Under the hypotheses “either \(\Lambda\) is countable or \(\mu\) is a counting measure on \(X\),” 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:
\[
C^*_{E,\mathrm{DEC}}(D)=\bigl(C^*_{E,\mathrm{DIAG}}(D)\bigr)'.
\]
In the locally standard framework, the same structure appears as
\[
\mathrm{MDEC}=\varprojlim_\lambda \int_{X_\lambda}^{\oplus} B(H_{\lambda,x})\,d\mu_\lambda(x),\qquad
\mathrm{MDIAG}=\varprojlim_\lambda \int_{X_\lambda}^{\oplus}\mathbb C\cdot \mathrm{Id}_{H_{\lambda,x}}\,d\mu_\lambda(x),
\]
and one has \(\mathrm{MDEC}=(\mathrm{MDIAG})'\) 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 \(\mathrm{MDIAG}\) [2508.03779] [2409.01200].

## 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_\lambda,\Omega_\lambda,\mu_\lambda)\}\), one sets
\[
H_\lambda:=L^2(X_\lambda,\mu_\lambda)
\]
and embeds \(H_\lambda\) into \(H_\nu\) for \(\lambda\le\nu\) by extension by zero. The inductive limit
\[
H=\varinjlim_{\lambda\in\Lambda} H_\lambda
\]
is a locally Hilbert space; it is called representing when the canonical projections \(P_\lambda\) onto \(H_\lambda\) commute, and the \(L^2\)-construction from a strictly inductive system of measure spaces yields precisely such a representing space [2507.19101].

In this setting one defines the locally \(L^\infty\) algebra
\[
L^\infty_{\mathrm{loc}}(X,\mu)
=
\{\varphi:X\to\mathbb C:\varphi|_{X_\lambda}\in L^\infty(X_\lambda,\mu_\lambda)\ \forall\lambda\},
\]
with seminorms
\[
p_\lambda(\varphi):=\operatorname*{ess\,sup}_{x\in X_\lambda}|\varphi(x)|.
\]
For \(\varphi\in L^\infty_{\mathrm{loc}}(X,\mu)\), the multiplication operator
\[
M_\varphi f:=\varphi f
\]
acts on
\[
L^2_{\mathrm{loc}}(X,\mu):=\varinjlim_\lambda L^2(X_\lambda,\mu_\lambda),
\]
and satisfies
\[
M_\varphi=\varprojlim_\lambda M_{\varphi|_{X_\lambda}}.
\]
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 \(\Lambda\), every locally normal operator is locally unitarily equivalent to a multiplication operator:
\[
N=V^*M_\varphi V.
\]
Under the same hypothesis and separability of each \(H_\lambda\), a third spectral theorem gives a direct integral representation
\[
N
=
U^*\left[\int_X^{\oplus,\mathrm{loc}} S_\varphi(x)\,d\mu(x)\right]U,
\]
where \(S_\varphi(x)\) is scalar multiplication by \(\varphi(x)\) on the fiber \(H(x)\). 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 [2507.19101].

## 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,\mathcal A,\mu)\), let \(\mathcal A^f=\{A\in\mathcal A:\mu(A)<\infty\}\) and define the \(\sigma\)-ideal of locally null sets by
\[
N_{\mathrm{loc}}
=
N_\mu[\mathcal A^f]
=
\mathcal A\cap\{N:\mu(A\cap N)=0\ \text{for all }A\in\mathcal A^f\}.
\]
Then the canonical map
\[
\Upsilon:L^\infty(X,\mathcal A,\mu)\to L^1(X,\mathcal A,\mu)^*,\qquad
\Upsilon(g)(f)=\int_X fg\,d\mu,
\]
is surjective if and only if \((X,\mathcal A,\mu)\) is semilocalizable, equivalently if and only if \((X,\mathcal A,N_{\mathrm{loc}})\) is localizable, equivalently if and only if the quotient Boolean algebra \(\mathcal A/N_{\mathrm{loc}}\) is order complete. For \(d\)-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 [1909.10190].

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,\mathcal A,\mu)\), a strictly localizable version
\[
(\hat X,\hat{\mathcal A},\hat\mu)
\]
with a universal map \(p:\hat X\to X\), and proves the duality
\[
L_1(X,\mathcal A,\mu)^*\cong L_\infty(\hat X,\hat{\mathcal A},\hat\mu).
\]
It also proves a generalized Radon–Nikodym theorem: if \(\nu\) is semi-finite and absolutely continuous with respect to \(\mu\) under the stated finite-measure nontriviality hypothesis, then there exists \(f:\hat X\to\mathbb R_+\), unique \(\hat\mu\)-a.e., such that
\[
\nu(A)=\int_{p^{-1}(A)} f\,d\hat\mu
\]
for all \(A\in\mathcal A\) [2105.11331].

Other local constructions use the word “local” differently. The local Hausdorff measure on a metric space is defined by the Carathéodory gauge
\[
\tau(U)=|U|^{\dim(U)}\qquad (U\neq\varnothing),
\]
yielding a Borel measure \(H_{\mathrm{loc}}\) tied to the upper semicontinuous local Hausdorff dimension \(x\mapsto \dim_{\mathrm{loc}}(x)\); on compact metric spaces with an Ahlfors \(Q\)-regular measure, one has \(Q=\dim_{\mathrm{loc}}\) and \(\nu\simeq H_{\mathrm{loc}}\) [1610.00078]. 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
\[
d_{\mathrm{GHP}}^{\mathrm{loc}}(X,Y)
=
\int_0^\infty e^{-r}\bigl(1\wedge d_{\mathrm{GHP}}(X(r),Y(r))\bigr)\,dr,
\]
thereby producing a Polish topology on GHP-isometry classes of such measured spaces [1202.5464].

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 [2508.03779] [1909.10190].

Source: https://www.emergentmind.com/topics/locally-measure-space