Selection Principles Milestone Problems — Problem 42 ([CpHure, Problem 2])
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
Under the customary interpretation, for a topological space $X$, let $C_p(X)$ denote the set of continuous functions $X\to{\mathbb{R}}$, equipped with the topology of pointwise convergence, and let $\mathbf{0}$ be the constant zero function. The supplied record does not explicitly specify this convention or the hypotheses imposed on $X$.The record defines the monotonic sequence selection property by modifying the sequence selection property, abbreviated SSP: for each $n\in{\mathbb{N}}$, its input sequence $(f_k^n)_{k\in{\mathbb{N}}}$ must converge pointwise monotonically to $\mathbf{0}$. In particular, the convergence requirement is \[ \forall n\in{\mathbb{N}}\;\forall x\in X,\qquad \lim_{k\to\infty}f_k^n(x)=0. \] The monotonicity requirement is additional to this displayed limit. The supplied record does not specify its direction, whether that direction may depend on $n$ or $x$, or whether monotonicity refers to the function values or their absolute values.
The question is whether, for every space $X$ in the intended class, \[ C_p(X)\text{ has the monotonic sequence selection property} \quad\Longrightarrow\quad C_p(X)\text{ has the weak sequence selection property}. \] Neither SSP nor the weak sequence selection property is defined in the supplied record. Consequently, their selection requirements and quantifiers, and hence a complete self-contained formulation of this implication, remain unresolved. This is a statement-only draft requiring human mathematical review.
Short English statement
Does the version of SSP requiring each input sequence to converge pointwise monotonically to zero imply the weak sequence selection property for $C_p(X)$? The supplied excerpt omits the definitions of both underlying selection properties and the intended hypotheses on $X$.Sources
- Supplied local UnsolvedMath registry record: permanent ID $800669$, exact source problem code
catalogue entry; title: Selection Principles Milestone Problems --- Problem 42 ([CpHure, Problem 2]). The registry attributes the problem to Tsaban, with proposed year 2003, and labels itopen; that label is supplied metadata, not an independently verified status assessment. - Tsaban, Selection Principles in Mathematics: A Milestone of Open Problems (2003), Problem 42. Supplied source URL: https://arxiv.org/abs/math/0312182. The record reports access on 2026-10-16 and extraction by
arxiv_latex; these are supplied provenance statements, not a claim of source access for this draft. - Supplied attribution/context: [CpHure, Problem 2]. The record provides no bibliographic expansion of the label
CpHure.
Statement licence: CC-BY-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.