Skip to content

Erdős problem 1119

Let m\mathfrak{m} be an infinite cardinal with ℵ0<m<c=2ℵ0\aleph_0 < \mathfrak{m} < \mathfrak{c} = 2^{\aleph_0}. Let {fα}\{f_\alpha\} be a family of entire functions such that, for every z0∈Cz_0 \in \mathbb{C}, there are at most m\mathfrak{m} distinct values of fα(z0)f_\alpha(z_0). Must {fα}\{f_\alpha\} have cardinality at most m\mathfrak{m}?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1119.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1119.leanErdos1119.erdos_11196 linesExact file
True ↔  ∀ (m : Cardinal.{0}),    Cardinal.aleph0 < m →      m < Cardinal.continuum →        ∀ (F : Set (ℂ → ℂ)),          (∀ f ∈ F, Differentiable ℂ f) → (∀ (z₀ : ℂ), Cardinal.mk ↑{y | ∃ f ∈ F, f z₀ = y} ≤ m) → Cardinal.mk ↑F ≤ m
SolvedStatement only, no proof

Continue