Upper and lower densities have the strong Darboux property (Q503735): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
In the paper under review, \(\mathbb H\) denotes the set \(\mathbb Z\) of integers, the set \(\mathbb N\) of nonnegative integers or the set \(\mathbb N^+\) of positive integers; and \(\mathcal P(\mathbb H)\) denotes the power set of \(\mathbb H\). The authors define the ``upper quasi-density'' as being a function \(\mu^*:\mathcal P(\mathbb H)\mapsto\) \(]-\infty, +1]\) satisfying the rules: (R1) \(\mu^*(\mathbb H)=1;\) (R2) \(\mu^*(X\cup Y)\leq\mu^*(X)+ \mu^*(Y)\) for all \(X,Y\subseteq\mathbb H;\) (R3) \(\mu^*(k\cdot X+h)={1\over k}\mu^*(X)\) for all \(X\subseteq\mathbb H\), \(k\in\mathbb N^+\) and \(h\in\mathbb N\). The notion of ``upper density'' mentioned in the title is an upper quasi-density which verifies the supplementary rule of monotonicity: (R4) \(\mu^*(X)\leq\mu^*(Y)\) for \(X\subseteq Y\subseteq\mathbb H\). The authors prove that every upper quasi-density verifies the ``strong Darboux property'' formulated as follows: `For all \(X\subseteq Y\subseteq\mathbb H\) such that \(\mu^*(X)\leq\mu^*(Y)\) and any \(a\in[\mu^*(X),\mu^*(Y)],\) there is a set \(Z\) such that \(X\subseteq Z\subseteq Y\) and \(\mu^*(Z)=a.\)' NB: 1) The ``weak'' Darboux property is the above formulated property with the restriction that \(X=\emptyset\). 2) The strong Darboux property is also valid for the ``lower quasi density'' defined by \(\mu_*(X):=1-\mu^*(X^c)\) where \(X^c:=\mathbb H\setminus X.\) The proofs are self-contained. The authors need some lemmas from their extended study [``On the notions of upper and lower density'', Preprint, \url{arXiv:1506.04664}]. The lemmas needed are formulated and re-proved in the present paper. | |||
Property / review text: In the paper under review, \(\mathbb H\) denotes the set \(\mathbb Z\) of integers, the set \(\mathbb N\) of nonnegative integers or the set \(\mathbb N^+\) of positive integers; and \(\mathcal P(\mathbb H)\) denotes the power set of \(\mathbb H\). The authors define the ``upper quasi-density'' as being a function \(\mu^*:\mathcal P(\mathbb H)\mapsto\) \(]-\infty, +1]\) satisfying the rules: (R1) \(\mu^*(\mathbb H)=1;\) (R2) \(\mu^*(X\cup Y)\leq\mu^*(X)+ \mu^*(Y)\) for all \(X,Y\subseteq\mathbb H;\) (R3) \(\mu^*(k\cdot X+h)={1\over k}\mu^*(X)\) for all \(X\subseteq\mathbb H\), \(k\in\mathbb N^+\) and \(h\in\mathbb N\). The notion of ``upper density'' mentioned in the title is an upper quasi-density which verifies the supplementary rule of monotonicity: (R4) \(\mu^*(X)\leq\mu^*(Y)\) for \(X\subseteq Y\subseteq\mathbb H\). The authors prove that every upper quasi-density verifies the ``strong Darboux property'' formulated as follows: `For all \(X\subseteq Y\subseteq\mathbb H\) such that \(\mu^*(X)\leq\mu^*(Y)\) and any \(a\in[\mu^*(X),\mu^*(Y)],\) there is a set \(Z\) such that \(X\subseteq Z\subseteq Y\) and \(\mu^*(Z)=a.\)' NB: 1) The ``weak'' Darboux property is the above formulated property with the restriction that \(X=\emptyset\). 2) The strong Darboux property is also valid for the ``lower quasi density'' defined by \(\mu_*(X):=1-\mu^*(X^c)\) where \(X^c:=\mathbb H\setminus X.\) The proofs are self-contained. The authors need some lemmas from their extended study [``On the notions of upper and lower density'', Preprint, \url{arXiv:1506.04664}]. The lemmas needed are formulated and re-proved in the present paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Georges Grekos / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11B05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 39B62 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60B99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6676828 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
asymptotic (or natural) density | |||
Property / zbMATH Keywords: asymptotic (or natural) density / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Banach (or uniform) density | |||
Property / zbMATH Keywords: Banach (or uniform) density / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Darboux (or intermediate value) property | |||
Property / zbMATH Keywords: Darboux (or intermediate value) property / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
set functions | |||
Property / zbMATH Keywords: set functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subadditive functions | |||
Property / zbMATH Keywords: subadditive functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
upper and lower densities (and quasi-densities) | |||
Property / zbMATH Keywords: upper and lower densities (and quasi-densities) / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1845033600 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1510.07473 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:32, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Upper and lower densities have the strong Darboux property |
scientific article |
Statements
Upper and lower densities have the strong Darboux property (English)
0 references
23 January 2017
0 references
In the paper under review, \(\mathbb H\) denotes the set \(\mathbb Z\) of integers, the set \(\mathbb N\) of nonnegative integers or the set \(\mathbb N^+\) of positive integers; and \(\mathcal P(\mathbb H)\) denotes the power set of \(\mathbb H\). The authors define the ``upper quasi-density'' as being a function \(\mu^*:\mathcal P(\mathbb H)\mapsto\) \(]-\infty, +1]\) satisfying the rules: (R1) \(\mu^*(\mathbb H)=1;\) (R2) \(\mu^*(X\cup Y)\leq\mu^*(X)+ \mu^*(Y)\) for all \(X,Y\subseteq\mathbb H;\) (R3) \(\mu^*(k\cdot X+h)={1\over k}\mu^*(X)\) for all \(X\subseteq\mathbb H\), \(k\in\mathbb N^+\) and \(h\in\mathbb N\). The notion of ``upper density'' mentioned in the title is an upper quasi-density which verifies the supplementary rule of monotonicity: (R4) \(\mu^*(X)\leq\mu^*(Y)\) for \(X\subseteq Y\subseteq\mathbb H\). The authors prove that every upper quasi-density verifies the ``strong Darboux property'' formulated as follows: `For all \(X\subseteq Y\subseteq\mathbb H\) such that \(\mu^*(X)\leq\mu^*(Y)\) and any \(a\in[\mu^*(X),\mu^*(Y)],\) there is a set \(Z\) such that \(X\subseteq Z\subseteq Y\) and \(\mu^*(Z)=a.\)' NB: 1) The ``weak'' Darboux property is the above formulated property with the restriction that \(X=\emptyset\). 2) The strong Darboux property is also valid for the ``lower quasi density'' defined by \(\mu_*(X):=1-\mu^*(X^c)\) where \(X^c:=\mathbb H\setminus X.\) The proofs are self-contained. The authors need some lemmas from their extended study [``On the notions of upper and lower density'', Preprint, \url{arXiv:1506.04664}]. The lemmas needed are formulated and re-proved in the present paper.
0 references
asymptotic (or natural) density
0 references
Banach (or uniform) density
0 references
Darboux (or intermediate value) property
0 references
set functions
0 references
subadditive functions
0 references
upper and lower densities (and quasi-densities)
0 references