Inverse of continuous bijection

In summary, under certain conditions such as the open mapping theorem and the closed map lemma, the inverse of a continuous bijection will also be continuous. However, there are counterexamples, such as when the bijection is between non-complete norm spaces, and the Generalized Invariance of Domain theorem may also be helpful in some cases. Additionally, the theorem that a continuous bijection with a compact topological space and a Hausdorff topological space implies a continuous inverse is a useful tool in proving continuity.
  • #1
2,116
19
Under which conditions is an inverse of a continuous bijection continuous?

I'm not seeking for "the" answer. There probably are many. But anyway, I'm interested to hear about conditions that can be used to guarantee the continuity of the inverse.

So far I don't know anything else than the open mapping theorem, but I'm not interested in getting restricted to linear mappings now.
 
Physics news on Phys.org
  • #2
I think it's always true? For example, you can use the characterization
f(x) is continuous at x = a whenever limx -> a f(x) = f(a)
and consider
f-1(f( limy -> a f-1(y) ))
using that f is continuous to pull the limit outside (and that it is bijective for f-1 to be defined, of course).
 
  • #3
If [itex]f^{-1}[/itex] is not continuous, it can be that [tex]\lim_{y\to a}f^{-1}(y)[/tex] does not converge.

There are some very trivial counter examples. For example equip [itex]X=\mathbb{R}[/itex] with the discrete topology where [itex]\{x\}[/itex] are open, and [itex]Y=\mathbb{R}[/itex] with the Euclidean topology with basis consisting of [itex]]a,b[[/itex]. Now [itex]\textrm{id}:X\to Y[/itex] is continuous, but [itex]\textrm{id}:Y\to X[/itex] is not.

The open mapping theorem states that if [itex]X,Y[/itex] are Banach spaces, and [itex]f:X\to Y[/itex] is a bounded surjective linear mapping, then [itex]f[/itex] is also open. So in particular if [itex]f[/itex] is also bijective, then [itex]f^{-1}[/itex] is bounded.

I believe that there exists bounded linear bijections [itex]f:X\to Y[/itex] between non-complete norm spaces [itex]X,Y[/itex] so that [itex]f^{-1}[/itex] are not bounded. I don't know examples of these, but it seems reasonable to assume that the assumption about the completeness of [itex]X,Y[/itex] in the open mapping theorem is not redundant.
 
  • #4
an idea

I'll now assume that [itex]X,Y[/itex] are metric spaces, and that [itex]X\times Y[/itex] is equipped with some natural metric like [itex]\sqrt{d_X^2 + d_Y^2}[/itex].

If [itex]f:X\to Y[/itex] is continuous, then the graph [itex]G=\{(x,f(x))\in X\times Y\;|\; x\in X\}[/itex] is closed.

One way to approach the original problem would be to try to prove that closedness of [itex]G[/itex] could be used to prove the continuity of [itex]f[/itex] back.

In general [itex]G[/itex] being closed will not imply [itex]f[/itex] being continuous, because there are examples like [itex]f:\mathbb{R}\to\mathbb{R}[/itex], [itex]f(0)=0[/itex], [itex]f(x)=\frac{1}{x}[/itex], [itex]x\neq 0[/itex].

In this example the graph escapes to infinity. So this raises a following question: If [itex]G[/itex] is closed, and [itex]Y[/itex] is compact, will [itex]f[/itex] then be continuous? I could not prove anything else than that for all converging sequences [itex]x_n\to x[/itex] there exists a subsequence so that [itex]f(x_{n_k})\to f(x)[/itex].
 
  • #5
tHE MOST USEFUL THEOREM is that if f:X-->Y is a continuous bijection with X a compact topological space and Y a Hausdorff topological space, then f^-1 is continuous.

A counter-example to a bijective continuous map whose inverse is not continuous is given by f:[0,1)-->S^1, f(t)=e^{2pi*i*t}. Then z_n-->1 from "above", f^-1(z_n) approaches 0, but when z_n-->1 from "below", then f^-1(z_n)-->1
 
  • #7
jostpuur said:
Under which conditions is an inverse of a continuous bijection continuous?

I'm not seeking for "the" answer. There probably are many. But anyway, I'm interested to hear about conditions that can be used to guarantee the continuity of the inverse.

So far I don't know anything else than the open mapping theorem, but I'm not interested in getting restricted to linear mappings now.
From the study of topological spaces or metric spaces this function must be an open map and this will imply that the function must be a homeomorphism.
 
  • #8
quasar987 said:
tHE MOST USEFUL THEOREM is that if f:X-->Y is a continuous bijection with X a compact topological space and Y a Hausdorff topological space, then f^-1 is continuous.

A counter-example to a bijective continuous map whose inverse is not continuous is given by f:[0,1)-->S^1, f(t)=e^{2pi*i*t}. Then z_n-->1 from "above", f^-1(z_n) approaches 0, but when z_n-->1 from "below", then f^-1(z_n)-->1

slider142 said:

These were very helpful comments.

My knowledge on topology relies on the courses and lecture notes. I have not gone through any books. Should I find the quasar987's theorem if searched for it in literature? Does the theorem have any name?
 
  • #9
I haven't really read any book on general topology either so I can't give you a reference, but I did saw it stated and proved in the first chapter of Bredon's "Topology and Geometry".

But actually, the proof is trivial: Let F be some closed set in X. Then F is compact, so f(F) is compact. But a compact set in a Hausdorff space is closed. QED

Of course the proof relies on the facts that
(1) a closed set in a compact set is compact.
(2) continuity preserves compactness.
(3) a compact set in a Hausdorff space is closed.
but all three follow quite easily from the relevant definitions.
 
  • #10
I see. In fact that result was mentioned on the fourth lowest row of this wikipedia article,

http://en.wikipedia.org/wiki/Open_map

being called the "closed map lemma".

A final fact that is needed is that open and closed maps are the same, when we restrict the attention to bijections?
 
  • #11
Yes, but this follows from the following relatively more elementary fact: By definition, a map g is continuous if g^{-1}(U) is open as soon as U is open. But by "duality" open/closed, this condition is easily seen to be equivalent to requiring that g^{-1}(F) is closed as soon as F i closed.

If f:X-->Y is a bijection, then the above implies that f is closed iff f is open because both statement are equivalent to "f^-1 is continuous" (since (f^{-1})^{-1}=f).
 
Last edited:

What is the definition of inverse of continuous bijection?

The inverse of a continuous bijection is a function that can reverse the mapping of elements from one set to another in a continuous and one-to-one manner. It is denoted as f-1(x) and is defined as the function that maps the output of f(x) back to its original input.

How is the inverse of continuous bijection different from the inverse of a regular function?

The inverse of continuous bijection is different from the inverse of a regular function because it must be both continuous and bijective. A regular function can have an inverse that is not continuous or not bijective, while the inverse of continuous bijection must satisfy both of these conditions.

Why is the inverse of continuous bijection important in mathematics?

The inverse of continuous bijection is important in mathematics because it allows for the reverse mapping of elements, which is useful in many areas such as calculus, topology, and abstract algebra. It also allows for the solving of equations and finding the roots of functions.

What is the process for finding the inverse of a continuous bijection?

The process for finding the inverse of a continuous bijection involves first verifying that the function is both continuous and bijective. Then, the inverse can be found by swapping the input and output variables and solving for the new output variable. The resulting inverse function must also be continuous and bijective to be considered the true inverse.

Can a continuous bijection have more than one inverse?

No, a continuous bijection can only have one inverse. This is because for a function to have an inverse, it must be both continuous and bijective, and these two conditions uniquely determine the inverse function. If a function has multiple inverses, then it is not a continuous bijection.

Suggested for: Inverse of continuous bijection

Replies
1
Views
1K
Replies
1
Views
3K
Replies
1
Views
3K
Replies
8
Views
5K
Replies
2
Views
417
Replies
10
Views
3K
Replies
17
Views
776
Back
Top