---
title: Fubini Extension Space in Probability
url: https://www.emergentmind.com/topics/fubini-extension-space
type: topic
---

# Fubini Extension Space in Probability

A Fubini extension space is an enlarged product probability space designed to retain the full iterated-integration property of Fubini’s theorem while accommodating jointly measurable continuum-indexed random fields that the ordinary product space cannot support. In the recent probabilistic formulation, the underlying set remains \(I\times\Omega\), but the measurable structure and probability measure are extended from \((\mathcal I\otimes\mathcal F,\lambda\otimes\mathbb Q)\) to \((\mathcal V,\mathcal Q)\), or equivalently \((\mathcal I\boxtimes\mathcal F,\lambda\boxtimes\mathbb Q)\), so that a continuum of essentially pairwise independent random variables or Brownian motions can be realized as a single jointly measurable process without losing exact iterated integration [2509.12096].

## 1. Definition and measure-theoretic structure

The basic setting consists of an index space and a sample space. In the probabilistic applications emphasized in the literature, the intended index set is \(I=[0,1]\), first equipped with its Borel \(\sigma\)-algebra \(\mathcal B_I\) and Lebesgue measure \(\lambda_I\). One would like to work on a product probability space of the form
\[
(I\times \Omega,\mathcal I\otimes \mathcal F,\lambda\otimes \mathbb Q),
\]
where \((I,\mathcal I,\lambda)\) is an atomless index space and \((\Omega,\mathcal F,\mathbb Q)\) is the sample space. The standard obstruction is that the usual product probability space cannot accommodate a jointly measurable continuum of independent random variables. The Fubini extension enlarges the measurable structure and measure while preserving the product-like integral calculus [2509.12096].

Formally, if \((I',\mathcal I',\lambda')\) and \((\Omega',\mathcal F',\mathbb Q')\) are probability spaces, then a triple
\[
(I'\times\Omega',\mathcal V',\mathcal Q')
\]
is a Fubini extension of
\[
(I'\times\Omega',\mathcal I'\otimes\mathcal F',\lambda'\otimes\mathbb Q')
\]
if for any \(\mathcal Q'\)-integrable real-valued function \(g\), the sections
\[
g_u:\omega\mapsto g(u,\omega),\qquad g_\omega:u\mapsto g(u,\omega)
\]
are integrable for \(\lambda'\)-a.e. \(u\) and \(\mathbb Q'\)-a.e. \(\omega\), and
\[
\int_{I'\times\Omega'} g(u,\omega)\,\mathcal Q'(du,d\omega)
=
\int_{I'}\left(\int_{\Omega'} g_u(\omega)\,\mathbb Q'(d\omega)\right)\lambda'(du)
=
\int_{\Omega'}\left(\int_{I'} g_\omega(u)\,\lambda'(du)\right)\mathbb Q'(d\omega).
\]
This exact iterated-integration identity is the defining property.

| Structure | Measurable space | Integral property |
|---|---|---|
| Ordinary product space | \((I\times\Omega,\mathcal I\otimes\mathcal F,\lambda\otimes\mathbb Q)\) | Insufficient for a jointly measurable continuum of independent random variables |
| Fubini extension space | \((I\times\Omega,\mathcal V,\mathcal Q)\) or \((I\times\Omega,\mathcal I\boxtimes\mathcal F,\lambda\boxtimes\mathbb Q)\) | Preserves the Fubini theorem for all \(\mathcal Q\)-integrable functions |

The space is not merely existentially larger. The paper quotes Sun’s theorem: for the Lebesgue index space \((I,\mathcal B_I,\lambda_I)\), there exists an extension \((I,\mathcal I,\lambda)\), a probability space \((\Omega,\mathcal F,\mathbb Q)\), and a Fubini extension \((I\times\Omega,\mathcal V,\mathcal Q)\) such that for any measurable map
\[
\varphi:I\to \mathrm P(\mathbb R),
\]
there exists a \(\mathcal V\)-measurable random variable
\[
\Theta:I\times\Omega\to\mathbb R
\]
whose sections are essentially pairwise independent and satisfy
\[
\mathbb Q\circ \Theta(u,\cdot)^{-1}=\varphi(u),\qquad \forall u\in I.
\]
This identifies the Fubini extension space as a realization theorem for continuum-indexed laws, not only as an abstract extension [2509.12096].

## 2. Continuum-indexed randomness and Brownian motion

The central probabilistic notion on a Fubini extension space is essential pairwise independence. A random variable \(\Theta:I'\times\Omega'\to\mathbb R\) is essentially pairwise independent if for \(\lambda'\)-almost every \(u\in I'\), the random variables \(\Theta(u,\cdot)\) and \(\Theta(v,\cdot)\) are independent for \(\lambda'\)-almost every \(v\in I'\). This is weaker than full mutual independence, but it is the notion used in continuum-agent models and exact law of large numbers results [2509.12096].

A standard Brownian motion on the Fubini extension \((I\times\Omega,\mathcal V,\mathcal Q)\) is a process \((\mathbf B_t)_{t\ge 0}\), with \(\mathbf B_t:I\times\Omega\to\mathbb R\), such that:

1. \(\mathbf B_0=0\), \(\mathcal Q\)-a.s.;
2. for all \(0\le s<t\),
   \[
   \mathbf B_t-\mathbf B_s \sim \mathcal N(0,t-s)\quad\text{under }\mathcal Q;
   \]
3. for any \(0\le t_0<\cdots<t_n\), the increments
   \[
   \mathbf B_{t_k}-\mathbf B_{t_{k-1}}
   \]
   are independent under \(\mathcal Q\);
4. \(t\mapsto \mathbf B_t(u,\omega)\) is continuous for \(\mathcal Q\)-a.e. \((u,\omega)\).

By contrast, an e.p.i. collection of Brownian motions is a family
\[
\{(B_t^u)_{t\ge 0}:u\in I\}
\]
such that \((u,\omega)\mapsto B_t^u(\omega)\) is jointly measurable for all \(t\), the collection is essentially pairwise independent, and for every \(u\in I\), the process \((B_t^u)_{t\ge 0}\) is a standard Brownian motion on \((\Omega,\mathcal F,\mathbb Q)\).

The key equivalence result is Theorem 3.1. If \(\{B^u:u\in I\}\) is a collection of e.p.i. Brownian motions in the Fubini extension space, then the aggregate process
\[
\mathbf B_t(u,\omega):=B_t^u(\omega)
\]
is a standard Brownian motion on \((I\times\Omega,\mathcal V,\mathcal Q)\). The converse, stated as Proposition 3.2, requires an additional hypothesis: if \((\mathbf B_t)_{t\ge 0}\) is a standard Brownian motion on the Fubini extension with pairwise independent and identically distributed elements, then
\[
B_t^u(\omega)=\mathbf B_t(u,\omega)
\]
forms an e.p.i. collection of Brownian motions. The paper remarks that identity in law appears necessary; without it, one may construct a family whose aggregate process is Brownian under \(\mathcal Q\), although each component is not Brownian under \(\mathbb Q\) [2509.12096].

This equivalence is closely tied to the exact law of large numbers. For an integrable e.p.i. random variable \(\Theta\),
\[
\int_I \Theta(u,\tilde\omega)\,\lambda(du)
=
\int_{I\times\Omega} \Theta(u,\omega)\,\mathcal Q(du,d\omega),
\qquad \forall \tilde\omega\in\Omega.
\]
In particular, for an e.p.i. Brownian family \(\{B^u\}\),
\[
\int_I B_t^u(\omega)\,\lambda(du)=\mathbb E_{\mathcal Q}[\mathbf B_t]=0.
\]
A plausible implication is that the Fubini extension space merges continuum-agent averaging and ordinary stochastic-process structure into a single probability-space formalism.

## 3. Change of measure and preserved pairwise independence

A major application of the Brownian-motion equivalence is a Girsanov theorem on the Fubini extension space. Let
\[
\mathbf B=\{B^u:u\in I\}
\]
be a collection of e.p.i. Brownian motions, and let
\[
\Theta_t=\{\theta_{t,u}:u\in I\}
\]
be a real-valued process such that for all \((t,u)\in[0,T]\times I\),
\[
\theta_{t,u}\text{ is }\sigma(B_s^u;\,s\le t)\text{-measurable}.
\]
Define the stochastic exponential
\[
\mathcal E_t
:=
\exp\left\{
\int_0^t \Theta_s\,d\mathbf B_s
-\frac12\int_0^t \Theta_s^2\,ds
\right\},
\]
with sectionwise form
\[
\mathcal E_{t,u}
=
\exp\left\{
\int_0^t \theta_{s,u}\,dB_s^u
-\frac12\int_0^t \theta_{s,u}^2\,ds
\right\}.
\]
If for all \(u\in I\), the process \((\mathcal E_{t,u})_{t\ge 0}\) is a \(\mathbb Q\)-martingale, then under the measure \(\mathcal P\) defined by
\[
\frac{d\mathcal P}{d\mathcal Q}=\mathcal E_T,
\]
the shifted process
\[
\mathbf W_t
:=
\mathbf B_t-\int_0^t \Theta_s\,ds
\]
is a standard Brownian motion on
\[
(I\times\Omega,\mathcal V,\mathcal P)
\]
[2509.12096].

The theorem is global rather than merely sectionwise. Under the sectionwise changed measures
\[
\mathcal P^u(d\omega):=\mathcal E_{T,u}(\omega)\,\mathbb Q(d\omega),
\]
classical Girsanov yields Brownianity of each \(W^u\). The Fubini extension then allows one to integrate over \(u\) and recover Brownianity of \(\mathbf W\) under \(\mathcal P\). The paper also states that pairwise independence is preserved under the changed measure, using the exact law of large numbers inside the Radon–Nikodym weighting.

The important subtlety is that global Brownianity on \((I\times\Omega,\mathcal V,\mathcal P)\) does not imply that each fixed-\(u\) section is Brownian under \(\mathcal P\). The paper computes, for bounded measurable \(g\),
\[
\mathbb E_{\mathcal P}[g(W_t^u)] = \mathbb E_{\mathbb Q}[g(W_t^u)],
\]
and concludes that \(W^u\) need not be Brownian under \(\mathcal P\). This directly separates sectionwise stochastic analysis from stochastic analysis on the Fubini extension space itself.

A sufficient condition for the exponential martingales is a Novikov-type integrability assumption. If \(\Theta\) is e.p.i., \(\Theta\in L^2_{\mathcal C_{\mathbb R}}(I\times\Omega,\mathcal Q)\), each \(\theta_{t,u}\) is \(B_t^u\)-measurable, and
\[
\mathbb E_{\mathcal Q}\left[\exp\left\{\int_0^T |\Theta_s|^2\,ds\right\}\right]
=
\int_I \mathbb E_{\mathbb Q}\left[\exp\left\{\int_0^T (\theta_{t,u})^2\,ds\right\}\right] \lambda(du) <\infty,
\]
then
\[
\mathcal E_t
=
\exp\left\{
\int_0^t \Theta_s\,d\mathbf B_s
-\frac12\int_0^t \Theta_s^2\,ds
\right\}
\]
forms a collection of e.p.i. \(\mathbb Q\)-martingales [2509.12096].

## 4. Graphon SDEs and the single-equation formulation

One of the main motivations for Fubini extension spaces is the analysis of continuum systems of interacting stochastic agents. The paper considers graphon stochastic differential equations driven by a family of e.p.i. Brownian motions. A graphon is a symmetric Borel measurable function
\[
w:I\times I\to I.
\]
The continuum system is
\[
\begin{aligned}
d\theta_{t,u}
&=
b\left(\theta_{t,u},\int_I w(u,v)\phi_{t,v}\,\lambda(dv)\right)\,dt
+\sigma(\theta_{t,u})\,dB_t^u,\\
\phi_{t,u}&:=\mathbb E_{\mathbb Q}[\theta_{t,u}].
\end{aligned}
\tag{1}
\]
Using the Brownian-motion equivalence, the full family can be rewritten as a single process
\[
\Theta_t(u,\omega)=\theta_{t,u}(\omega)
\]
on the Fubini extension space. The compact reformulation is
\[
d\Theta_t = b(\Theta_t,\mathbb W[\Phi_t])\,dt + \sigma(\Theta_t)\,d\mathbf B_t,
\tag{2}
\]
where
\[
\Phi_t(u):=\mathbb E_{\mathbb Q}[\Theta_t(u,\cdot)]
\]
and the graphon interaction operator is
\[
\mathbb W:\mathcal H_I\to\mathcal H_I,
\qquad
\mathbb W[\eta](u) := \int_0^1 w(u,v)\eta(v)\,\lambda(dv).
\]
The paper describes this as a McKean–Vlasov type equation driven by a standard Brownian motion [2509.12096].

The associated function spaces are
\[
\mathcal H:=L^2_{\mathbb R}(I\times\Omega,\mathcal Q),\qquad
\mathcal H_I:=L^2_{\mathbb R}(I,\lambda),
\]
and the path spaces
\[
\mathcal Y:=L^2_{\mathcal C_{\mathbb R}}(I\times\Omega,\mathcal Q),\qquad
\mathcal X:=L^2_{\mathcal C_{\mathbb R}}(I,\lambda).
\]
Under the hypotheses
\[
|b(x,m)-b(x',m')|+|\sigma(x)-\sigma(x')|
\le C\big(|x-x'|+|m-m'|\big),
\]
\[
|b(x,m)|\le C(1+|x|+|m|),\qquad |\sigma(x)|\le C(1+|x|),
\]
the paper proves that if \(\Theta_0\in\mathcal H\), then there exists a unique solution \(\Theta=(\Theta_t)_{0\le t\le T}\) to (2), and
\[
\Theta\in\mathcal Y \quad\Longleftrightarrow\quad \|\Theta\|_{\mathcal Y}<\infty.
\]
This is one of the clearest analytic payoffs of the framework: a continuum family of SDEs can be treated as a single SDE on one probability space.

The paper also stresses that this is not exactly the standard McKean–Vlasov formulation, because the interaction occurs through \(\mathbb W\) and the expectation \(\Phi_t(u)\) is taken under \(\mathbb Q\), over the sample-space coordinate. A plausible implication is that the Fubini extension space functions as a bridge between continuum-agent systems and standard single-space stochastic calculus, without collapsing the directional structure carried by the index variable.

## 5. Scope, interpretation, and common misconceptions

The most persistent misconception is that a Fubini extension space is just a larger \(\sigma\)-algebra on a product set. The defining point is stronger: it is an enlargement that preserves the exact Fubini identity for all integrable functions. The extended space is therefore simultaneously a joint measurability device and an iterated-integration device [2509.12096].

A second misconception is that the framework is only a technical substitute for independent families on the ordinary product space. The paper uses a weaker, but structurally appropriate, notion: essential pairwise independence. This is the notion that supports continuum-agent modeling and exact law of large numbers statements, while remaining compatible with the existence of jointly measurable fields on the extension.

A third misconception is that global statements on the Fubini extension automatically translate into sectionwise statements on the marginal sample space. The Girsanov theorem shows this is false. A process can be Brownian on \((I\times\Omega,\mathcal V,\mathcal P)\) while its fixed-\(u\) sections are not Brownian under \(\mathcal P\). The paper presents this as a specifically global phenomenon, tied to the distinction between \(\mathcal Q\)- or \(\mathcal P\)-laws on the extension and \(\mathbb Q\)-laws on the sample space.

The framework is therefore best understood as a product-extension formalism adapted to continuum-indexed stochastic systems. Its purpose is not to imitate ordinary product probability spaces as closely as possible, but to realize jointly measurable continuum families and preserve
\[
\int_{I\times\Omega}
=
\int_I\int_\Omega
=
\int_\Omega\int_I
\]
on the enlarged measurable structure. This explains why the paper positions Fubini extension spaces as basic objects for exact law of large numbers, preserved pairwise independence under change of measure, and graphon stochastic dynamics [2509.12096].

## 6. Related and analogical usages in adjacent literatures

The exact term “Fubini extension space” is specific. Several recent papers use the phrase only analogically, or identify nearby constructions that play an extension role for some Fubini principle.

In model theory, the closest analogue is the full subcategory
\[
\Def(C)^{\f}\subseteq \Def(\mathcal M),
\]
whose objects are the definable sets that are fiberable over \(C\). Under stable embeddedness of \(C\), an \(A\)-valued Fubini measure on \(\Def(C)\) extends uniquely to \(\Def(C)^{\f}\); in important settings this coincides with co-analyzable sets relative to \(C\) [2512.22662]. This is an extension domain for Fubini measures, not a probability-space extension.

In stochastic analysis of semimartingales, the closest “extension-space-like” object is the weak\(^*\) predictable measure-valued integrand space
\[
\Phi\subseteq \{\varphi:\bar\Omega\to M(K)^d\},
\]
together with the charge-/measure-valued stochastic integral \(\varphi\bullet S\). This enlarges classical scalar integrands and fixed parameter measures to measure-valued predictable integrands and stochastic kernels, yielding a new stochastic Fubini theorem [2403.13791].

In convergence-space theory, the relevant object is the natural distribution monad
\[
DX=([X,R],R)
\]
on arbitrary convergence spaces. Commutativity of this monad yields a Fubini theorem for continuous linear functionals on spaces of scalar functions, generalizing the classical theorem for Radon measures on compact Hausdorff spaces [1210.4542]. This is a generalized-space extension of Fubini theory, but not a Fubini extension space in the probabilistic sense.

In Banach-space tensor analysis, the nearest construction is the pair
\[
\big(E\widehat\otimes_\pi F,\ \mathcal G(E,F)\subset (E\widehat\otimes_\pi F)^*\big),
\qquad
\mathcal G(E,F)=\{\mu\in(E\otimes_\pi F)^*:\|\mu\|\le K_G\},
\]
together with canonical partial-integration operators \(T_\mu\) and \(S_\mu\). The paper describes this as the natural candidate for a Fubini extension mechanism on the dual side of the projective tensor product [2602.07487].

These parallel usages show that “Fubini extension” has become a broader heuristic label for structures that enlarge the domain on which order-of-integration or fiberwise summation remains valid. In the strict probabilistic sense, however, a Fubini extension space is the extended product probability space
\[
(I\times\Omega,\mathcal V,\mathcal Q)
\]
that preserves the Fubini theorem while supporting jointly measurable continuum-indexed randomness [2509.12096].

Source: https://www.emergentmind.com/topics/fubini-extension-space