Erdős Problem 1038: I
What is the infimum of |{x ∈ ℝ : |f x| < 1}| over all nonconstant monic polynomials f such
that all of its roots are real and contained in [-1,1]?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.What is the infimum of |{x ∈ ℝ : |f x| < 1}| over all nonconstant monic polynomials f such
that all of its roots are real and contained in [-1,1]?
Lower bound for for , improving the known value at or .
Suppose that is an open subset of with measure . Are there four points in determining an axis-parallel rectangle with area ?
Upper bound for for , improving the best-known value at .
Let A ⊂ R be a set of positive measure. Does contain an affine copy of {1, 1/2, 1/4, . . . }?
Let be an infinite set. Must there be a set of positive measure which does not contain any set of the shape for some and ?
For every let be a bounded set with outer measure . Must there exist an infinite independent set, that is, some infinite such that for all ?
If the sets are closed and have measure , then must there exist an independent set of size ?
Known results: Erdős–Hajnal [ErHa60] proved the existence of arbitrarily large finite independent sets. Hechler [He72] showed the answer is no assuming the continuum hypothesis.