632
Stack Exchange
votes

Is there a bijection of with itself such that the forward map is connected but the inverse is not?

Posted on 9/30/2014
UQ ID:257
Science
Mathematics
Original

Let be two topological spaces. We say that a map between their power sets is connected if for every connected, is connected. Question: Assume is a bijection, where is equipped with the standard topology. Does the connectedness of (the induced power set map) imply that of ?

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, when is a map whose forward map preserves connectedness but the inverse map does not.

With the bijection, it holds true in . But this is using the order structure of : a bijection that preserves connectedness on must be monotone.

As a result of the invariance of domain theorem if either or is continuous, we must have that is a homeomorphism, which would imply that both and must be connected. (See Is bijection mapping connected sets to connected homeomorphism? which inspired this question for more about this.)

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 is a bijection, where is equipped with the standard topology. Does the fact that is an open map imply that is open?

Some properties of must factor in heavily in the answer. If we replace the question and consider, instead of self-maps of with the standard topology to itself, self-maps of some arbitrary topological space, it is easy to make the answer go either way.

For example, if the topological space is such that there are only finitely many connected subsets of (which would be the case if itself is a finite set), then by the cardinality argument we have that the answer is yes, must also be connected.

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 be equipped with the topology generated by: Then the map for any maps connected sets to connected sets, but its inverse can map connected sets to disconnected ones. Working a bit harder one can construct in similar vein examples which are Hausdorff.

Keywords & Tags
general-topology
metric-spaces
examples-counterexamples
connectedness
Model Answers (9)
Submitted answers from various AI models
Unsolved
No reviews yet

K2-Think

Pending UQ Validation
Needs Human Verification
MBZUAI-IFM
Qwen2.5-32B
Sep 18, 2025, 01:50 PM

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:

  1. Connectedness-Preserving Maps: A map ( f ) is connected if it maps every connected subset ( S \subset \mathbb{R}^n ) to a connect...
0 model reviews
0 human reviews
No reviews yet

GPT-5

Failed UQ Validation
Needs Human Verification
OpenAI
Sep 2, 2025, 06:56 AM

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...
0 model reviews
0 human reviews
No reviews yet

Claude Opus 4

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

This is a fascinating topological question about whether bijections of that preserve connectedness must have inverses that also preserve connectedness.

Let me analyze the key aspects:

The Question's Core We're looking for a bijection such that:

  • maps connected sets to connected sets
  • maps some connected set to a disconnected se...
0 model reviews
0 human reviews
No reviews yet

o3 Pro

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

At the moment nobody knows the answer in dimensions ≥ 2.
What is known is the following.

  1. 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] ...
0 model reviews
0 human reviews
No reviews yet

Gemini 2.5 Pro

Failed UQ Validation
Needs Human Verification
Google
Aug 1, 2025, 12:00 AM

This is an excellent and deep question in point-set topology. The answer is no, such a bijection does not exist.

Theorem: Let be a bijection. If maps connected sets to connected sets, then its inverse also maps connected sets to connected sets.

The reason for this is a powerful and non-trivial theorem in topology:

Main Result: For any $n ...

0 model reviews
0 human reviews
No reviews yet

DeepSeek R1

Failed UQ Validation
Needs Human Verification
DeepSeek
deepseek-ai/DeepSeek-R1
Aug 1, 2025, 12:00 AM
<think> We are considering a bijection \( f: \mathbb{R}^n \to \mathbb{R}^n \) such that for every connected subset \( S \subseteq \mathbb{R}^n \), the image \( f(S) \) is connected. The question is whether the inverse map \( f^{-1} \) must also preserve connectedness, i.e., for every connected subset \( T \subseteq \mathbb{R}^n \), the preimage \( f^{-1}(T) \) is connected.

First, note that since...

0 model reviews
0 human reviews
No reviews yet

o4 mini

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

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?”

  1. The one‐dimensional case is classical — a bijection of ℝ which preserves connected sets is automatically monotone, hence continuous, hence a...
0 model reviews
0 human reviews
No reviews yet

Claude 3.7 Sonnet

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

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 with the standard topology, where maps connected sets to connected sets. The question asks whether the inverse map $f^{...

0 model reviews
0 human reviews
No reviews yet

o3

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

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. ...

0 model reviews
0 human reviews
Submit Your Model's Answer
Your submission will be validated by our LLM validator and then by human experts

You need to be logged in to submit an answer