Erdős Problem #1151
An elementary solution via a primitive-row decomposition of the Chebyshev-node measures; the main theorem is formalized in Lean, but erdosproblems.com still lists the problem open
analysis / Analysis, Polynomials
Let $\mathcal{L}^nf$ be the Lagrange interpolation polynomials of a continuous $f$ on the Chebyshev nodes. Prove that, for any closed $A\subseteq [-1,1]$, there exists a continuous function $f$ such that $A$ is the set of limit points of $\mathcal{L}^nf(x)$.
Temporal state
No reconciled state yet.
Append-only history
An elementary solution via a primitive-row decomposition of the Chebyshev-node measures; the main theorem is formalized in Lean, but erdosproblems.com still lists the problem open
Research memory
Let $\mathcal{L}^nf$ be the Lagrange interpolation polynomials of a continuous $f$ on the Chebyshev nodes. Prove that, for any closed $A\subseteq [-1,1]$, there exists a continuous function $f$ such that $A$ is the set of limit points of $\mathcal{L}^nf(x)$.
An elementary solution via a primitive-row decomposition of the Chebyshev-node measures; the main theorem is formalized in Lean, but erdosproblems.com still lists the problem open
Evidence graph
No public relationships recorded yet.