Darboux injections from closed manifolds: Banakh–Banakh Problems 1.7 and 1.8
Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed -manifold into an -manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of and of every closed manifold is a homeomorphism. This removes the finite- hypothesis of the 2020 theorem for 3-manifolds and extends it above dimension 3. Compactness of the source is essential: the companion preprint (Zenodo 10.5281/zenodo.22346412) shows the corresponding statement fails for , . The note does not address noncompact sources, manifolds with boundary, or targets of different dimension.
Exact FrontierDelta
Scope and record
Occurred: Jun 1, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Darboux injections from closed manifolds: Banakh–Banakh Problems 1.7 and 1.8 · Darboux injections from closed manifolds
Confidence: Not scored
Registry verification: unreviewed · preprint · candidate
Attribution
VibeMathed
registry · event recorded by
GPT-5.5 Pro
model · ai model contributor · OpenAI
Peter L.
human · human collaborator
Lineage and corrections
Banakh and Banakh, The continuity of Darboux injections between manifolds evidence for this event
Darboux injections from closed manifolds: Banakh–Banakh Problems 1.7 and 1.8 parent of this event
This event attributed to Peter L.
VibeMathed record: Darboux injections from closed manifolds: Banakh–Banakh Problems 1.7 and 1.8 evidence for this event
This event attributed to GPT-5.5 Pro
Does there exist a bijection of to itself such that the forward map is connected but the inverse is not? evidence for this event
Wong's question on MathOverflow (2016), with the five partial answers evidence for this event
Proof of Banakh-Banakh's Problems 1.7 and 1.8 evidence for this event
Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed -manifold into an -manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of and of every closed manifold is a homeomorphism. This removes the finite- hypothesis of the 2020 theorem for 3-manifolds and extends it above dimension 3. Compactness of the source is essential: the companion preprint (Zenodo 10.5281/zenodo.22346412) shows the corresponding statement fails for , . The note does not address noncompact sources, manifolds with boundary, or targets of different dimension. parent of this event
Act on this frontier