Extension of some theorems on the density of series of elements of \(N\) to series of finite subsets of \(N\). (Q1218426): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q105699185, #quickstatements; #temporary_batch_1714786519576 |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5678915 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extremal problems among subsets of a set / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5515488 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two addition theorems / rank | |||
Normal rank |
Revision as of 16:57, 12 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extension of some theorems on the density of series of elements of \(N\) to series of finite subsets of \(N\). |
scientific article |
Statements
Extension of some theorems on the density of series of elements of \(N\) to series of finite subsets of \(N\). (English)
0 references
1975
0 references
Pour une série \(A= \{A_k \}\) de sous-ensembles finis de \(\mathbb{N}\), on introduit les densités \[ \sigma (A)= \inf_{m \leq n} A(m)/2^m, \quad d_{inf}(A) = \liminf_{n \to \infty} A(n)/2^n, \] où \(A(m)\) est le nombre d'ensembles \(A_k \subseteq \{1,2, \ldots ,m \}\). L'ensemble de toutes les parties de \(\{1,2, \ldots ,n \}\) devient, pour les opérations \(a \cup b\), \(a \cap b\), \(a*b=a \cup b-a \cap b\), un semi-groupe fini \(N^\cup\), \(N^\cap\) ou un groupe \(N^*\) respectivement. Pour \(N^\cup\), \(N^\cap\), on démontre l'analogue du théorème de Erdős-Landau \[ \sigma (A+B) \geq \sigma (A)(1+(2 \lambda)^{-1}(1- \sigma (A)), \] où \(B\) est une base de \(\mathbb{N}\) d'ordre moyen \(\lambda\). On démontre pour \(N^\cup\), \(N^\cap\), \(N^*\) l'analogue du théorème de Schnirelmann (si \(\sigma (A)+ \sigma (B)>1\), alors \(\sigma (A+B)=1\)) et les inégalités \(\lambda \leq 2h\), où \(h\) est l'ordre de base. On introduit le rapport de divisibilité des ensembles \(a \mid b\), si \(b\) est une continuation de \(a\). On démontre l'analogue du théorème de Davenport-Erdős: si \(d_{inf}(A)>0\), alors il existe une sous-série infinie \(\{A_{k_r} \}\), où \(A_{k_r} \mid A_{k_{r+1}}\), pour \(r=1,2, \ldots\) On envisage aussi pour \(N^\cup\), \(N^\cap\), \(N^*\) les analogues de l'inégalité de Rohrbach: \(\sqrt{2n} \leq g(n) \leq 2 \sqrt n\), où \(g(n)= \min k\) pour les ensembles \(\{a_1< \ldots <a_k \} \subseteq \{0,1,2, \ldots ,n \}\) tels que, pour tout \(m \in \{0,1,2, \ldots ,n \}\), on a \(m=a_i+a_j\).
0 references