Absoluteness of the Riemann integral
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915192525291520 |
|---|---|
| author | Parra-Londoño, Carlos M. Uribe-Zapata, Andrés F. |
| author_facet | Parra-Londoño, Carlos M. Uribe-Zapata, Andrés F. |
| contents | This article explores the concept of absoluteness in the context of mathematical analysis, focusing specifically on the Riemann integral on $\mathbb{R}^{n}$. In mathematical logic, "absoluteness" refers to the invariance of the truth value of certain statements in different mathematical universes. Leveraging this idea, we investigate the conditions under which the Riemann integral on $\mathbb{R}^{n}$ remains absolute between transitive models of ZFC, the standard axiomatic system in which current mathematics is usually formalized. To this end, we develop a framework for integration on Boolean algebras with respect to finitely additive measures and show that the classical Riemann integral is a particular case of this generalized approach. Our main result establishes that the Riemann integral over rectangles in $\mathbb{R}^{n}$ is absolute in the following sense: if $M \subseteq N$ are transitive models of ZFC, $a, b \in \mathbb{R}^{n} \cap M$, and $f \colon [a, b] \to \mathbb{R}$ is a bounded function in $M$, then $f$ is Riemann integrable in $M$ if, and only if, in $N$ there exists some Riemann integrable function $g \colon [a, b] \to \mathbb{R}$ extending $f$. In this case, the values of the integrals computed in each model are the same. Furthermore, the function $g$ is unique except for a measure zero set. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_08799 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Absoluteness of the Riemann integral Parra-Londoño, Carlos M. Uribe-Zapata, Andrés F. Logic 26A42, 03C55, 03E75, 28E15, 28A60, 03G05, 06E05 This article explores the concept of absoluteness in the context of mathematical analysis, focusing specifically on the Riemann integral on $\mathbb{R}^{n}$. In mathematical logic, "absoluteness" refers to the invariance of the truth value of certain statements in different mathematical universes. Leveraging this idea, we investigate the conditions under which the Riemann integral on $\mathbb{R}^{n}$ remains absolute between transitive models of ZFC, the standard axiomatic system in which current mathematics is usually formalized. To this end, we develop a framework for integration on Boolean algebras with respect to finitely additive measures and show that the classical Riemann integral is a particular case of this generalized approach. Our main result establishes that the Riemann integral over rectangles in $\mathbb{R}^{n}$ is absolute in the following sense: if $M \subseteq N$ are transitive models of ZFC, $a, b \in \mathbb{R}^{n} \cap M$, and $f \colon [a, b] \to \mathbb{R}$ is a bounded function in $M$, then $f$ is Riemann integrable in $M$ if, and only if, in $N$ there exists some Riemann integrable function $g \colon [a, b] \to \mathbb{R}$ extending $f$. In this case, the values of the integrals computed in each model are the same. Furthermore, the function $g$ is unique except for a measure zero set. |
| title | Absoluteness of the Riemann integral |
| topic | Logic 26A42, 03C55, 03E75, 28E15, 28A60, 03G05, 06E05 |
| url | https://arxiv.org/abs/2503.08799 |