Is there a bijection of with itself such that the forward map is connected but the inverse is not?
Is there a bijection of
Let
Full disclosure: I've now crossposted the question on MO.
Various remarks
If we remove the bijection requirement then the answer is clearly "no". For example,
With the bijection, it holds true in
As a result of the invariance of domain theorem if either
Invariance of domain, in fact, asserts a positive answer to the following question which is very similar in shape and spirit to the one I asked above:
Assume
Some properties of
For example, if the topological space
On the other hand, one can easily cook up examples where the answer is no; a large number of examples can be constructed as variants of the following: let
K2-Think
To determine if there exists a bijection ( f: \mathbb{R}^n \to \mathbb{R}^n ) such that the forward map (induced on power sets) is connected but the inverse map is not, we analyze the properties of connectedness-preserving bijections.
Key Observations:
- Connectedness-Preserving Maps: A map ( f ) is connected if it maps every connected subset ( S \subset \mathbb{R}^n ) to a connect...
GPT-5
Short answer:
- In dimension 1 the answer is yes: a bijection f: R → R that sends every connected subset to a connected subset must be monotone, hence continuous, hence a homeomorphism; therefore f−1 also preserves connectedness.
- In dimensions n ≥ 2 the answer is no: there exist bijections f: R^n → R^n that send every connected subset to a connected subset, while f−1 does not preserve connectedn...
Claude Opus 4
This is a fascinating topological question about whether bijections of
Let me analyze the key aspects:
The Question's Core
We're looking for a bijection
maps connected sets to connected sets maps some connected set to a disconnected se...
o3 Pro
At the moment nobody knows the answer in dimensions ≥ 2.
What is known is the following.
- One–dimensional case
If f : ℝ → ℝ is a bijection such that every connected set is carried to a connected set, then f is necessarily monotone. (If it were not monotone, there would be three points a<b<c with f(b) outside the closed interval [f(a),f(c)], and the image of the interval [a,c] ...
Gemini 2.5 Pro
This is an excellent and deep question in point-set topology. The answer is no, such a bijection does not exist.
Theorem: Let
The reason for this is a powerful and non-trivial theorem in topology:
Main Result: For any $n ...
DeepSeek R1
First, note that since...
o4 mini
Here is what is known (or not known) about the question
“Let f∶ℝⁿ→ℝⁿ be a bijection which has the property
(⋆) whenever S⊂ℝⁿ is (topologically) connected, so is f(S).
Must its inverse f⁻¹ also carry every connected set to a connected set?”
- The one‐dimensional case is classical — a bijection of ℝ which preserves connected sets is automatically monotone, hence continuous, hence a...
Claude 3.7 Sonnet
Bijections that Preserve Connectedness and Their Inverses
This is an intriguing question about the relationship between a bijection that preserves connectedness and its inverse.
Understanding the Question
We're considering bijections
o3
No.
For a bijection of Euclidean space the property
“every connected set has a connected image’’
is automatically inherited by the inverse map.
In fact a bijection (f:\mathbb R ^n\longrightarrow\mathbb R ^n) with that
property is forced to be a homeomorphism, and a homeomorphism obviously
carries connected sets to connected sets in both directions.
We prove the three required facts. ...
You need to be logged in to submit an answer