geometry-topology / General Topology

Does there exist a bijection of Rn\mathbb{R}^n to itself such that the forward map is connected but the inverse is not?

Answered in the negative for every n2n\ge 2. The preprint constructs a bijection F:RnRnF:\mathbb R^n\to\mathbb R^n that maps every connected set to a connected set, is continuous exactly off the closed ray [0,)×{0}n1[0,\infty)\times\{0\}^{n-1}, and pulls the straight segment {(1,0,,0)}×[0,1]\{(1,0,\dots,0)\}\times[0,1] back to the middle-thirds Cantor set on that ray, so F1F^{-1} is not connectedness-preserving. The construction extends a thin solid tube by finger moves so its cross-sections recur near every point of the complementary compactum, collapses the ray onto the tube's ideal end, and certifies arbitrary connected sets by a separation argument; FF and F1F^{-1} can be taken Borel. The same author's companion note on Darboux injections from closed manifolds (Banakh-Banakh Problems 1.7 and 1.8) is a separate result and belongs in its own entry.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 5, 2026Significance 22/100Registry: unreviewed

Does there exist a bijection of Rn\mathbb{R}^n to itself such that the forward map is connected but the inverse is not?

Prior state unknowndisproved

Answered in the negative for every n2n\ge 2. The preprint constructs a bijection F:RnRnF:\mathbb R^n\to\mathbb R^n that maps every connected set to a connected set, is continuous exactly off the closed ray [0,)×{0}n1[0,\infty)\times\{0\}^{n-1}, and pulls the straight segment {(1,0,,0)}×[0,1]\{(1,0,\dots,0)\}\times[0,1] back to the middle-thirds Cantor set on that ray, so F1F^{-1} is not connectedness-preserving. The construction extends a th…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Answered in the negative for every n2n\ge 2. The preprint constructs a bijection F:RnRnF:\mathbb R^n\to\mathbb R^n that maps every connected set to a connected set, is continuous exactly off the closed ray [0,)×{0}n1[0,\infty)\times\{0\}^{n-1}, and pulls the straight segment {(1,0,,0)}×[0,1]\{(1,0,\dots,0)\}\times[0,1] back to the middle-thirds Cantor set on that ray, so F1F^{-1} is not connectedness-preserving. The construction extends a thin solid tube by finger moves so its cross-sections recur near every point of the complementary compactum, collapses the ray onto the tube's ideal end, and certifies arbitrary connected sets by a separation argument; FF and F1F^{-1} can be taken Borel. The same author's companion note on Darboux injections from closed manifolds (Banakh-Banakh Problems 1.7 and 1.8) is a separate result and belongs in its own entry.

Answered in the negative for every n2n\ge 2. The preprint constructs a bijection F:RnRnF:\mathbb R^n\to\mathbb R^n that maps every connected set to a connected set, is continuous exactly off the closed ray [0,)×{0}n1[0,\infty)\times\{0\}^{n-1}, and pulls the straight segment {(1,0,,0)}×[0,1]\{(1,0,\dots,0)\}\times[0,1] back to the middle-thirds Cantor set on that ray, so F1F^{-1} is not connectedness-preserving. The construction extends a thin solid tube by finger moves so its cross-sections recur near every point of the complementary compactum, collapses the ray onto the tube's ideal end, and certifies arbitrary connected sets by a separation argument; FF and F1F^{-1} can be taken Borel. The same author's companion note on Darboux injections from closed manifolds (Banakh-Banakh Problems 1.7 and 1.8) is a separate result and belongs in its own entry.

Recorded attempts

Evidence graph

Connected research record

Does there exist a bijection of $\mathbb{R}^n$ to itself such that the forward map is connected but the inverse is not? — Mathematical Frontier Network