On the problem of generalized measures: an impossibility result
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911386657882112 |
|---|---|
| author | Agostini, Claudio Barrera, Fernando Dimonte, Vincenzo |
| author_facet | Agostini, Claudio Barrera, Fernando Dimonte, Vincenzo |
| contents | This paper investigates the problem of extending measure theory to non-separable structures, from generalized descriptive set theory to a broader class of spaces beyond this framework. While various notions, such as the ideal of measure zero sets, have been generalized, the question of whether a satisfactory notion of $λ^+$-measure could be defined in generalized descriptive set theory has remained open. We introduce a broad class of $λ^+$-measures as functions taking values in arbitrary positively totally ordered monoids equipped with an infinitary sum. This definition relies on minimal assumptions and captures most natural generalizations of measures to this context. We then prove that, under certain cardinal assumptions, no continuous $λ^+$-measure of this kind exists on ${}^κλ$, nor on any $λ^+$-Borel space or $T_0$ topological space of weight at most $λ$. We also show the optimality of these cardinal assumptions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_13321 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the problem of generalized measures: an impossibility result Agostini, Claudio Barrera, Fernando Dimonte, Vincenzo Logic 03E15, 28E15, 54H05 (primary) 06F05 (secondary) This paper investigates the problem of extending measure theory to non-separable structures, from generalized descriptive set theory to a broader class of spaces beyond this framework. While various notions, such as the ideal of measure zero sets, have been generalized, the question of whether a satisfactory notion of $λ^+$-measure could be defined in generalized descriptive set theory has remained open. We introduce a broad class of $λ^+$-measures as functions taking values in arbitrary positively totally ordered monoids equipped with an infinitary sum. This definition relies on minimal assumptions and captures most natural generalizations of measures to this context. We then prove that, under certain cardinal assumptions, no continuous $λ^+$-measure of this kind exists on ${}^κλ$, nor on any $λ^+$-Borel space or $T_0$ topological space of weight at most $λ$. We also show the optimality of these cardinal assumptions. |
| title | On the problem of generalized measures: an impossibility result |
| topic | Logic 03E15, 28E15, 54H05 (primary) 06F05 (secondary) |
| url | https://arxiv.org/abs/2601.13321 |