Existence of measurable versions of stochastic processes

De auteur bewijst dat een stochastisch proces een equivalent meetbaar versie bezit dan en slechts dan als het meetbaar is ten opzichte van een specifieke, door de voorwaardelijke waarschijnlijkheid bepaald $\sigma$-algebra die groter is dan het product van de oorspronkelijke $\sigma$-algebra's, wat een sterke generalisatie vormt van eerdere resultaten over liftings en Talagrand's theorema.

De kern

Stel je voor dat je twee enorme bibliotheken hebt.

• Bibliotheek X bevat alle mogelijke verhalen die over een persoon kunnen gebeuren (de "uitkomsten").
• Bibliotheek Y bevat alle mogelijke dagen in het jaar (de "tijd" of "omstandigheden").

Normaal gesproken zou je een boek schrijven dat voor elke dag (Y) een verhaal (X) beschrijft. In de wiskunde noemen we dit een stochastisch proces: een reeks van gebeurtenissen die veranderen naarmate de tijd vordert.

Het probleem waar deze wetenschapper, Kazimierz Musiał, over praat, is als volgt:
Soms is het schrijven van zo'n boek onmogelijk op een "nette" manier. Je kunt een verhaal bedenken dat wiskundig klopt voor elke individuele dag, maar als je het als één groot boek (een functie van X en Y samen) bekijkt, is het zo rommelig en vol gaten dat je het niet kunt lezen of analyseren. Het is alsof je een foto probeert te maken van een dansende menigte, maar de camera is zo slecht ingesteld dat het beeld volledig wazig en onmeetbaar is.

Het Kernprobleem: De "Gaten" in de Realiteit

In de wiskunde bestaan er zogenoemde meetbare versies. Dit betekent: kun je een "schone" versie van je proces maken die precies hetzelfde doet als het origineel, maar wel netjes en leesbaar is?

De meeste wiskundigen dachten: "Nee, niet altijd. Soms is het proces gewoon te chaotisch." Maar Musiał zegt: "Wacht even. Er is een manier om te zeggen wanneer het wel kan, en hoe je het moet doen."

De Oplossing: Een Speciale Lijm en een Nieuwe Kaart

Musiał introduceert twee creatieve concepten om dit op te lossen:

1. De "Nul-Set" (De Onzichtbare Gaten)
Stel je voor dat er op je kaart van de wereld (X × Y) kleine vlekjes zijn die zo klein zijn dat ze geen gewicht hebben. Ze bestaan wel, maar ze tellen niet mee voor de statistieken. Musiał noemt deze vlekjes R-linkse nulpunten.
Zijn grote ontdekking is: als je je proces niet alleen bekijkt op de "normale" kaart, maar op een nieuwe, uitgebreide kaart die deze onzichtbare vlekjes ook meet, dan wordt het plotseling mogelijk om een nette versie te maken. Het is alsof je een bril opzet die je laat zien waar de onzichtbare gaten zitten, zodat je ze kunt dichten.

2. De "Liftings" (De Bouwmeesters)
Om van het chaotische origineel naar de nette versie te gaan, gebruikt hij wiskundige hulpmiddelen die hij liftings noemt.

• De Analogie: Stel je voor dat je een oude, beschadigde foto hebt (het chaotische proces). Je hebt een meester-restaurator nodig (de lifting). Deze restaurator kijkt naar de foto en zegt: "Oké, dit stukje hier is wazig, maar ik weet precies hoe het eruit had moeten zien op basis van de rest."
• Musiał bewijst dat als je deze restaurators op de juiste manier kiest (ze moeten "toelaatbaar" zijn, niet zomaar willekeurig), ze het chaotische proces kunnen omvormen tot een perfect leesbaar boek, zonder de feiten te veranderen.

De Belangrijkste Conclusie (In Simpel Woord)

Musiał zegt eigenlijk:

"Een willekeurig proces heeft een nette, leesbare versie als en slechts als het proces al verborgen is in een speciaal soort 'super-kaart' (de σ-algebra A ⋇B). Als het daar niet in zit, is het hopeloos rommelig. Maar als het daar wel in zit, kunnen we met onze speciale 'restaurators' (liftings) een perfecte, leesbare versie maken."

Waarom is dit belangrijk?

Vroeger dachten wiskundigen dat je soms gewoon pech had en dat sommige processen gewoon te rommelig waren om te analyseren. Musiał geeft ons nu een checklist:

1. Kijk of het proces past in die speciale "super-kaart".
2. Zo ja? Dan kun je met de juiste techniek een perfecte versie maken.
3. Zo nee? Dan is het inderdaad onmogelijk.

Het is alsof hij een nieuwe sleutel heeft gevonden die de deur opent naar een wereld die voorheen als "gesloten" werd beschouwd. Hij laat zien dat de chaos niet per se het einde is, zolang je maar de juiste gereedschappen (de liftings) en de juiste kaart (de uitgebreide σ-algebra) gebruikt.

Kort samengevat:
Het papier leert ons dat we niet altijd hoeven opgeven als iets chaotisch lijkt. Met de juiste wiskundige "bril" en "restauratie-tools" kunnen we vaak een schone, begrijpelijke versie vinden van zelfs de meest warrige gebeurtenissen, zolang ze maar op de juiste manier in het universum passen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Existence of Measurable Versions of Stochastic Processes" van Kazimierz Musiał, geschreven in het Nederlands.

Titel: Bestaan van meetbare versies van stochastische processen

Auteur: Kazimierz Musiał
Datum: 9 maart 2026 (arXiv:2603.06175v1)

---

1. Probleemstelling

Het artikel adresseert een fundamenteel probleem in de maattheorie en de stochastische processen: onder welke voorwaarden bezit een stochastisch proces $\{\xi_y : y \in Y\}$ een meetbare versie (een equivalent proces dat als functie van $(x, y)$ meetbaar is ten opzichte van een specifieke $\sigma$-algebra)?

• Context: Gegeven zijn twee kansruimten $(X, \mathcal{A}, P)$ en $(Y, \mathcal{B}, Q)$. Er wordt een "skew product" maat $R$ gedefinieerd op het product $\mathcal{A} \otimes \mathcal{B}$, gebaseerd op een reguliere voorwaardelijke kansverdeling (rcp) $\mathcal{P} = \{(A, P_y) : y \in Y\}$ ten opzichte van $Q$.
• Het probleem: Het is bekend dat niet elk proces een equivalent meetbaar proces heeft (zie [8, §19.5] en [12]). Bestaande resultaten (zoals die van Talagrand) zijn vaak beperkt tot het geval van een direct productmaat ($R = P \times Q$) of vereisen extra structuren zoals een scheidbare pseudometrie op $Y$.
• De vraag: Kan men een noodzakelijke en voldoende voorwaarde formuleren voor het bestaan van een meetbare versie in het algemenere geval van een skew product, en is deze voorwaarde ook nieuw voor het klassieke geval van een direct product?

2. Methodologie

Musiał hanteert een puur maattheoretische benadering die verschilt van eerdere pogingen. De kern van de methode bestaat uit de volgende elementen:

• Reguliere Voorwaardelijke Kans (rcp): Het gebruik van een familie $\{P_y\}$ die de relatie tussen de randverdeling $P$ en de voorwaardelijke verdelingen definieert.
• De $\sigma$-ideaal van "Linkse Nulverzamelingen" ($\mathcal{M}$):
  De auteur introduceert de verzameling $\mathcal{M}$ van subsets $E \subset X \times Y$ waarvoor er een $Q$-nulverzameling $N$ bestaat zodanig dat voor alle $y \notin N$, de $P_y$-maat van de sectie $E_y$ nul is.
  $$\mathcal{M} := \{E \subset X \times Y : \exists N \in \mathcal{B}_0 \forall y \notin N^c, P_y(E_y) = 0\}$$
• Uitgebreide $\sigma$-algebra ($\mathcal{A} \bowtie \mathcal{B}$):
  Er wordt een nieuwe $\sigma$-algebra gedefinieerd als de uitbreiding van het product $\mathcal{A} \otimes \mathcal{B}$ met de verzamelingen uit $\mathcal{M}$:
  $$\mathcal{A} \bowtie \mathcal{B} := \{W \triangle N : W \in \mathcal{A} \otimes \mathcal{B}, N \in \mathcal{M}\}$$
  Dit is een $\sigma$-algebra die strikt groter kan zijn dan de standaard product-$\sigma$-algebra of zelfs de voltooiing daarvan.
• Liftings (Opheffingen):
  De bewijzen maken gebruik van de theorie van liftings (opheffingen) op de ruimte van begrenste meetbare functies $L^\infty$. Er wordt een specifieke constructie gebruikt van een lifting $\pi$ op de productruimte en een familie van liftings $\{\sigma_y\}$ op de componentruimten, zodanig dat ze compatibel zijn met de voorwaardelijke verwachtingen.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 2.1)

Voor een stochastisch proces $\Xi = \{\xi_y : y \in Y\}$ gedefinieerd op $(X, \mathcal{A}, P)$ met bijbehorende maat $R$ (bepaald door de rcp $\mathcal{P}$), zijn de volgende voorwaarden equivalent:

1. (M1) Het proces bezit een $P$-equivalente meetbare versie (d.w.z. een proces $\theta$ dat $\hat{P}_y$-bijna overal gelijk is aan $\xi_y$ voor elke $y$, en waarbij $(x,y) \mapsto \theta_y(x)$ $\hat{R}$-meetbaar is).
2. (M2) Er bestaat een scheidbare $\sigma$-algebra $\mathcal{C} \subset \mathcal{A}$ (dicht in de Fréchet-Nikodým pseudo-metriek) zodanig dat het proces meetbaar is ten opzichte van $\mathcal{C} \bowtie \mathcal{B}$.
3. (M3) Het proces is meetbaar ten opzichte van de uitgebreide $\sigma$-algebra $\mathcal{A} \bowtie \mathcal{B}$.

Constructie van de versie:
Als het proces begrensd is en meetbaar is ten opzichte van $\mathcal{A} \bowtie \mathcal{B}$, dan kan de meetbare versie $\theta$ expliciet worden geconstrueerd via de liftings uit Theorema 1.2:
$$\theta_y(x) = \sigma_y(\xi_y)(x)$$
waarbij $\sigma_y$ een specifieke "toelaatbaar gegenereerde" lifting is.

Generalisatie van de Fubini-stelling (Propositie 3.2)

In het geval van een direct product ($R = P \times Q$), introduceert de auteur de $\sigma$-algebra $\mathcal{A} \star \mathcal{B}$ (gebaseerd op de doorsnede van linkse en rechtse nulverzamelingen).

• De auteur toont aan dat de maat $P \times Q$ kan worden uitgebreid naar deze algebra.
• Er wordt een generalisatie van de stelling van Fubini bewezen: Als een functie $f$ integreerbaar is ten opzichte van deze uitgebreide maat, dan is $f$ "bijna separabel integreerbaar" (de secties zijn meetbaar voor bijna alle $x$ en $y$) en gelden de iteratie-integralen.

4. Bijdragen en Innovatie

• Nieuwe Karakterisering: De paper biedt een noodzakelijke en voldoende voorwaarde voor het bestaan van een meetbare versie die werkt voor zowel skew products als directe producten. Voor het directe productgeval is deze karakterisering nieuw, zelfs al is het een klassiek scenario.
• Differentiatie van Bestaande Werk: De aanpak verschilt fundamenteel van eerdere resultaten (zoals die van Talagrand [11, 12]). Waar Talagrand vaak afhankelijk is van topologische eigenschappen (zoals een scheidbare pseudometrie op $Y$), baseert Musiał zijn resultaat puur op maattheoretische eigenschappen en de structuur van de voorwaardelijke kansverdelingen.
• Rol van Liftings: De paper benadrukt dat de keuze van de lifting cruciaal is. Niet elke lifting van een meetbaar proces resulteert in een meetbaar proces; alleen specifieke "admissibly generated liftings" garanderen dit. Dit lost een probleem op dat eerder door Talagrand werd geïdentificeerd (waar een lifting een niet-meetbare versie kon produceren).
• Uitbreiding van de Meetbaarheid: De introductie van de $\sigma$-algebra $\mathcal{A} \bowtie \mathcal{B}$ (en de varianten $\mathcal{A} \star \mathcal{B}$ en $\mathcal{A} \bowtie^\perp \mathcal{B}$) biedt een verfijnder raamwerk om de meetbaarheid van processen te analyseren dan de standaard product-$\sigma$-algebra.

5. Significatie

Dit werk is significant voor de fundamentele theorie van stochastische processen en maattheorie omdat:

1. Het een universele voorwaarde biedt voor het bestaan van meetbare versies, los van topologische beperkingen op de indexruimte $Y$.
2. Het de relatie tussen voorwaardelijke kansen en productmaten verduidelijkt door een nieuwe klasse van "nil sets" en uitgebreide $\sigma$-algebra's te introduceren.
3. Het een constructief bewijs levert voor de meetbare versie via liftings, wat theoretisch inzicht geeft in hoe men van een "willekeurig" proces naar een "goed gedragend" (meetbaar) proces kan gaan.
4. Het een vergeten generalisatie van de stelling van Fubini herontdekt en formaliseert voor uitgebreide productmaten, wat relevant is voor de analyse van functies met twee variabelen die niet strikt product-meetbaar zijn.

Kortom, Musiał levert een diepgaande maattheoretische oplossing voor een oud probleem, waarbij hij laat zien dat de meetbaarheid van een proces fundamenteel gekoppeld is aan de structuur van de onderliggende voorwaardelijke kansen en de daaruit voortvloeiende uitgebreide $\sigma$-algebra's.