Measure-Zero vs. Meager: Two Inequivalent Notions of Smallness — E8 Intelligence Research

{"FINDING:":[0],"The":[1,134],"duality":[2,85],"between":[3],"measure-zero":[4],"(Lebesgue":[5],"null)":[6],"and":[7,77,148],"meager":[8,47,76,114,118],"(first-category)":[9],"sets":[10,27],"defines":[11],"two":[12,153],"inequivalent":[13],"notions":[14],"of":[15,163],"\\"smallness\\"":[16],"in":[17,108,119],"topology":[18],"vs.":[19,31,41],"metric":[20],"spaces,":[21],"with":[22,55],"ZFC-independent":[23],"distinctions":[24],"for":[25],"pathological":[26],"like":[28],"universally":[29],"null":[30,102],"perfectly":[32,113],"meager.":[33],"|":[34,132],"MATH:":[35],"Lebesgue":[36,99],"measure":[37,82,106],"\\\\(":[38,44,49,57,64,72,78,90,94,103,115,136,145,149],"\\\\lambda(A)=0":[39],"\\\\)":[40,46,54,59,70,74,80,105,117,140,147,151],"Baire":[42],"category:":[43],"A":[45,50],"iff":[48],"=":[51,66],"\\\\bigcup_{n\\\\in\\\\mathbb{N}}":[52],"F_n":[53,58],"each":[56],"nowhere":[60],"dense.":[61],"Key":[62],"theorem:":[63],"\\\\mathbb{R}":[65],"B":[67,73],"\\\\cup":[68],"M":[69,79],"where":[71],"is":[75],"has":[81],"zero":[83,107],"(Erdős–Sierpiński":[84],"under":[86],"CH).":[87],"Vitali":[88],"set":[89],"V":[91],"\\\\):":[92],"non-measurable,":[93],"\\\\lambda^*(V)>0":[95],"\\\\),":[96],"uncountable,":[97],"no":[98],"measure.":[100],"Universally":[101],"\\\\iff":[104,116],"every":[109,120],"Borel":[110],"probability":[111],"measure;":[112],"perfect":[121],"set.":[122],"ZFC":[123],"cannot":[124],"decide":[125],"if":[126],"these":[127],"classes":[128],"coincide":[129],"(arxiv":[130],"math/0102011).":[131],"CONNECTION:":[133],"dichotomy":[135],"\\\\text{null}":[137],"\\\\leftrightarrow":[138],"\\\\text{meager}":[139],"mirrors":[141],"the":[142,164],"complementary":[143],"ratios":[144],"0.382":[146],"0.618":[150],"—":[152],"\\"small\\"":[154],"Author:":[155],"Andrew":[156],"Stewart":[157],"Caldin,":[158],"Independent":[159],"Researcher,":[160],"UK.":[161],"Part":[162],"E8":[165],"Intelligence":[166],"Research":[167],"series.":[168],"Platform:":[169],"e8intelligence.com":[170]}

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-19
DOI
https://doi.org/10.5281/zenodo.22841263
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

Measure-Zero vs. Meager: Two Inequivalent Notions of Smallness — E8 Intelligence Research

Andrew Stewart Caldin
Zenodo (CERN European Organization for Nuclear Research)
Computability, Logic, AI Algorithms
preprint

Measure-Zero vs. Meager: Two Inequivalent Notions of Smallness — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The duality between measure-zero (Lebesgue null) and meager (first-category) sets defines two inequivalent notions of "smallness" in topology vs. metric spaces, with ZFC-independent distinctions for pathological sets like universally null vs. perfectly meager. | MATH: Lebesgue measure \( \lambda(A)=0 \) vs. Baire category: \( A \) meager iff \( A = \bigcup_{n\in\mathbb{N}} F_n \) with each \( F_n \) nowhere dense. Key theorem: \( \mathbb{R} = B \cup M \) where \( B \) is meager and \( M \) has measure zero (Erdős–Sierpiński duality under CH). Vitali set \( V \): non-measurable, \( \lambda^*(V)>0 \), uncountable, no Lebesgue measure. Universally null \( \iff \) measure zero in every Borel probability measure; perfectly meager \( \iff \) meager in every perfect set. ZFC cannot decide if these classes coincide (arxiv math/0102011). | CONNECTION: The dichotomy \( \text{null} \leftrightarrow \text{meager} \) mirrors the complementary ratios \( 0.382 \) and \( 0.618 \) — two "small" Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Zenodo (CERN European Organization for Nuclear Research)
Computability, Logic, AI Algorithms
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Measure-Zero vs. Meager: Two Inequivalent Notions of Smallness — E8 Intelligence Research — Andrew Stewart Caldin · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS