Let P(N) be the power set of N. An upper density (on N) is a nondecreasing and subadditive function μ⋆:P(N)→R such that μ⋆(N)=1 and μ⋆(k⋅X+h)=1kμ⋆(X) for all X⊆N and h,k∈N+, where k⋅X+h:={kx+h:x∈X}. The upper asymptotic, upper Banach, upper logarithmic, upper Buck, upper Pólya, and upper analytic densities are some examples of upper densities. We show that every upper density μ⋆ has the strong Darboux property, and so does the associated lower density, where a function f:P(N)→R is said to have the strong Darboux property if, whenever X⊆Y⊆N and a∈[f(X),f(Y)], there is a set A such that X⊆A⊆Y and f(A)=a. In fact, we prove the above under the assumption that the monotonicity of μ⋆ is relaxed to the weaker condition that μ⋆(X)≤1 for every X⊆N.

### Upper and lower densities have the strong Darboux property

#### Abstract

Let P(N) be the power set of N. An upper density (on N) is a nondecreasing and subadditive function μ⋆:P(N)→R such that μ⋆(N)=1 and μ⋆(k⋅X+h)=1kμ⋆(X) for all X⊆N and h,k∈N+, where k⋅X+h:={kx+h:x∈X}. The upper asymptotic, upper Banach, upper logarithmic, upper Buck, upper Pólya, and upper analytic densities are some examples of upper densities. We show that every upper density μ⋆ has the strong Darboux property, and so does the associated lower density, where a function f:P(N)→R is said to have the strong Darboux property if, whenever X⊆Y⊆N and a∈[f(X),f(Y)], there is a set A such that X⊆A⊆Y and f(A)=a. In fact, we prove the above under the assumption that the monotonicity of μ⋆ is relaxed to the weaker condition that μ⋆(X)≤1 for every X⊆N.
##### Scheda breve Scheda completa Scheda completa (DC)
2017
2017
Asymptotic (or natural) density; Banach (or uniform) density; Darboux (or intermediate value) property; Set functions; Subadditive functions; Upper and lower densities (and quasi-densities)
Leonetti, P; Tringali, S
File in questo prodotto:
File
Darboux.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 213.61 kB
Utilizza questo identificativo per citare o creare un link a questo documento: `https://hdl.handle.net/11383/2142093`