Erdős problem 955 · problems.science

If $A\subset \mathbb{N}$ has density $0$ then $s^{-1}(A)$ must also have density $0$ .

Sources

Browse retained paths and inspect the exact material available for this Problem.

12 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

955.lean

Retained formal statement2 of 12

Erdős [Er73b] proved that there are sets $A$ of positive density such that $s^{-1}(A)$ is empty.

FormalConjectures/ErdosProblems/955.leanErdos955.erdos_955.variants.empty_preimage1 lineExact file

1∃ A, (∃ d > 0, A.HasDensity d) ∧ {x | Erdos955.s x ∈ A} = ∅

SolvedStatement only, no proof