On maximal families of independent sets with respect to asymptotic density

Abstract

We study families of subsets of $ω$ which are independent with respect to the asymptotic density $\mathsf{d}$. We show, for instance, that there exists a maximal $\mathsf{d}$-independent family $\mathcal{A}$ such that $\mathsf{d}[\mathcal{A}]$ attains a prescribed set of values in $(0,1)$ with at most countably many exceptions. In addition, under $\mathrm{cov}(\mathcal{N})=\mathfrak{c}$, it is possible to construct such $\mathcal{A}$ with no exceptions. We also construct $2^{\mathfrak{c}}$ maximal $\mathsf{d}$-independent families with pairwise distinct generated density fields and obtain maximal families with strong definability pathologies, including examples without the Baire property and, consistently, nonmeasurable examples.

Theorems & Definitions (38)

• Definition 1.1
• Remark 1.2
• Proposition 2.1
• Remark 2.2
• Theorem 2.3
• Corollary 2.4
• Corollary 2.5
• Theorem 2.6
• Proposition 2.7
• Corollary 2.8