Elementary numerosity and measures

DOI10.4115/JLA.2014.6.3zbMATH Open1300.26018arXiv1212.6201OpenAlexW2951827931MaRDI QIDQ2930873FDOQ2930873

Authors: Vieri Benci, Emanuele Bottazzi, Mauro Di Nasso 

Publication date: 20 November 2014

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Abstract: In this paper we introduce the notion of elementary numerosity as a special function defined on all subsets of a given set X which takes values in a suitable non-Archimedean field, and satisfies the same formal properties of finite cardinality. We investigate the relationships between this notion and the notion of measure. The main result is that every non-atomic finitely additive measure is obtained from a suitable elementary numerosity by simply taking its ratio to a unit. In the last section we give applications to this result.

Full work available at URL: https://arxiv.org/abs/1212.6201

Recommendations

• Numerosities of point sets over the real line
• Natural numerosities of sets of tuples
• An Aristotelian notion of size
• An Euclidean measure of size for mathematical universes
• Numerosities of labelled sets: A new way of counting

zbMATH Keywords

measure theorynonstandard analysisnon-Archimedean mathematicsnumerosities.

Mathematics Subject Classification ID

Axioms; other general questions in probability (60A05) Non-Archimedean analysis (26E30) Nonstandard analysis (26E35) Other connections with logic and set theory (28E15)

Cites Work

• An introduction to the theory of numbers. Edited and revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles
• Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
• Numerosities of labelled sets: A new way of counting
• Title not available (Why is that?)
• On the Nonstandard Representation of Measures
• Real analysis. Theory of measure and integration
• An Aristotelian notion of size
• Numerosities of point sets over the real line
• Title not available (Why is that?)
• On generalized limits and linear functionals
• Some applications of numerosities in measure theory

Cited In (12)

• A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\)
• Germ order for one-dimensional packings
• On mathematical realism and applicability of hyperreals
• Some applications of numerosities in measure theory
• One-dimensional packing: maximality implies rationality
• Symmetry arguments against regular probability: a reply to recent objections
• Numerosities of labelled sets: A new way of counting
• Integration with filters
• Measuring the Abundancy of Integers
• An Euclidean measure of size for mathematical universes
• EUCLIDEAN NUMBERS AND NUMEROSITIES
• Arithmetical Measure

This page was built for publication: Elementary numerosity and measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2930873)