F X H F X h to Zero Iff F Continuous
$f$ is continuous $ \iff $ $f^{-1}$ is continuous?
Solution 1
It is not true in general. For example, consider $A = [0, 1) \cup [2, 3]$ and $f(x) = x$ on $[0, 1)$ and $f(x) = x - 1$ on $[2, 3]$. Clearly, $f$ is continuous and bijective onto $[0, 2]$. The inverse function $g\colon [0, 2] \to A$ is defined by $g(x) = x$ for $x \in [0, 1)$ and $g(x) = x + 1$ for $x \in [1, 2]$. Clearly, $g$ is not continuous.
If you require that $A$ and $B$ are intervals, then the assertion is correct. To prove this, let $f\colon A \to B$ be continuous and bijective (where $A$ and $B$ are intervals). Then $f$ is strictly monotonous, which can easily be shown using the intermediate value theorem. But the inverse of a strictly monotonous function on an interval is continuous, which proves the assertion.
I can elaborate more on that, if you want.
Solution 2
In general it is not true, but you can show that (supposing $f$ continuos) for every point in which $\lim_{x\to x_0} f^{-1} (x)$ exists, then it equals $f^{-1}(x_0)$.
In fact,
Let $f$ be continuos.
We want to prove $\lim_{x \to x_0} f^{-1}(x) = f^{-1}(x_0)$.
Now, $\lim_{x \to x_0} f^{-1}(x) = (f^{-1} \circ f)(\lim_{x \to x_0} f^{-1}(x))$
But given that $f$ is continuos, we have $f^{-1}( \lim_{x \to x_0} f(f^{-1}(x)) = f^{-1}( \lim_{x \to x_0} x) = f^{-1}(x_0) $ and we are done.
Solution 3
Not necessarily. For instance, take the surjective continuous map from the Cantor set to the segment $[0,1]$. It is not bijective but the restriction to a subset $C'$ is. However, the inverse $[0,1]\to C'$ is not continuous since $C'$ is not connected.
Solution 4
It's actually false, which is why you had trouble proving it. Let $A = \mathbb{N}$, and let $B = \{0\} \cup \{ \frac{1}{n} : n \in \mathbb{N}^*\}$. Finally let $f : A \to B$, $f(0) = 0$ and $f(n) = \frac{1}{n}$. Then $f$ is bijective and continuous, but it's inverse is not continuous ($B$ has an accumulation point, $A$ doesn't).
Related videos on Youtube
14 : 13
10 : 44
Proof: (f is Continuous) iff ( f-1 int B ⊂ int f-1 B)
10 : 13
f is continuous iff ( f(clA) ⊂ cl f(A) ) - Equivalent definition of continuity in Topology
20 : 44
12 : 30
Comments
-
Is the following true?
Let $A, B \subseteq \Bbb R$ and let $f : A \to B$ be a bijective map. Then
$\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;f$ is continuous on $A$ $ \iff $ $f^{-1}$ is continuous on $B$
It seems like such an obvious result but I can't seem to prove it. At least is the result true if we restrict $A$ and $B$ to be intervals?
My Attempt at a Proof:
$\implies $: Let $b \in B$. I was going nowhere after considering an arbitrary sequence $ (x_n) $ in $B$ which converges to $b$. So I instead assumed that $V$ was any neighbourhood around $f^{-1}(b)$. Now suppose there is no neighbourhood $U$ of $b$ such that $ x \in U \implies f^{-1}(x) \in V $. But for every neighbourhood $U'$ of $b$ there is a neighbourhood $V'$ of $f^{-1}(b)$ such that $ f^{-1}(x) \in V' \implies x \in U' $. This is by considering $b = f(f^{-1}(b))$ and since $f$ is continuous. If one of these $V'$s is a subset of $V$ then we are done. But suppose not. I cannot proceed further. I considered arbitrarily small neighbourhoods $U'_n = \{ x \ | \ |x - b| \lt \frac 1 n \}$ but still got nowhere.
Any help is appreciated.
-
Every compact metric space is the image of the Cantor set. We get a lot of counterexamples. However, the statement is true if $A$ ( and so $B$) is compact.
-
This is THE answer. +1
-
Thanks. Haven't gotten to these theorems yet. I'll try to do it on my own when I do.
-
Fabulous example.
-
I feel you should probably state more explicitly what the map is.
-
@Dom: The map is $\sum_{n\ge 1}(2 a_n)/3^n \mapsto \sum_{n\ge 1} a_n/2^n$ from the set $C'=\{ \sum_{n\ge 1}(2 a_n)/3^n \ | \ a_n \in \{0,1\} \text{, infinitely many } 1 \text{'s}\} $ bijectively onto $[0,1]$.
Recents
Source: https://9to5science.com/f-is-continuous-iff-f-1-is-continuous
0 Response to "F X H F X h to Zero Iff F Continuous"
Enregistrer un commentaire