# $\varphi\colon M\to N$ continuous and open. Then $f$ continuous iff $f\circ\varphi$ continuous.

$\varphi\colon M\to N$ continuous and open. Then $f\colon N\to P$ continuous iff $f\circ\varphi\colon M\to P$ continuous.

"Proof:" Let $A\subset P$ open then exists $U\subset M$ such that $(f\circ \varphi)[ U]=f(\varphi[U])\subset A$ where $\varphi[U]\subset N$ is open. The other side is trivial. $\square$

I think that I'm right but my book says:

$\varphi\colon M\to N$ continuous surjective and open. Then $f\colon N\to P$ continuous iff $f\circ\varphi\colon M\to P$ continuous.

I didn't use surjective property. It is necessary?

Added: According Dylan Moreland second paragraph my proof works when I'm proving for each point of $N$, then my proof is easly to fix.

Correct proof: Let $a\in N$ then for all neighborhood $V$ of $f(a)$ exists $U\subset M$ neighborhood of $\varphi^{-1}(a)\in M$ [exists by surjectivity] such that $(f\circ \varphi)[ U]=f(\varphi[U])\subset V$ where $\varphi[U]\subset N$ is a neighborhood of $a$ since $\varphi$ is open. The other side is trivial. $\square$

Added (2): I think that the fact is true if we say that $\varphi$ is close indeed open function. But the neighborhood proof doesn't work.

Added (3): I think that I have a proof for the fact that I said in Added (2) and I was put as a question $\varphi:M\to N$ continuous surjective and closed. Then $f$ continuous iff $f\circ\varphi$ continuous.

-
How are you proving that, for any open subset $A\subset P$, the inverse image $f^{-1}P$ is open in $N$? – Harry Jun 4 '12 at 6:22
How does this proof show that $f^{-1}A$ is open in $N$? – T. Eskin Jun 4 '12 at 6:24
@Harry Oops $\varphi([U])$ is not necessarly the same that $f^{-1}(P)$ thanks. – Gastón Burrull Jun 4 '12 at 6:24
Hi Gastón. Your proof of the book's statement looks good. I'll take a look at the "closed" question. – Dylan Moreland Jun 19 '12 at 23:46
@DylanMoreland thanks for your help! – Gastón Burrull Jun 20 '12 at 0:01

You need surjectivity of $\varphi$. Consider the following example, with $M=N=P=\Bbb R$. Let $$\varphi:\Bbb R\to\Bbb R:x\mapsto\tan^{-1}x$$ and $$f:\Bbb R\to\Bbb R:x\mapsto\begin{cases} x,&\text{if }|x|<\frac{\pi}2\\\\ 3,&\text{if }|x|\ge\frac{\pi}2\;; \end{cases}$$

then $f\circ\varphi=\varphi$, which is a homeomorphism from $\Bbb R$ to $\left(-\frac{\pi}2,\frac{\pi}2\right)$ and hence continuous and open as a map from $\Bbb R$ to $\Bbb R$, but $f$ is badly discontinuous at $\pm\frac{\pi}2$.

Added: To show that $f$ is continuous, assuming that $f\circ\varphi$ is continuous, you need to start with an open set $A\subseteq P$ and show that $f^{-1}[P]$ is open in $N$. Let $V=(f\circ\varphi)^{-1}[A]=\varphi^{-1}\big[f^{-1}[A]\big]$; you know that $V$ is open in $M$. Since $\varphi$ is an open map, you also know that $\varphi[V]$ is open in $N$. What you don’t know is that $f\big[\varphi[V]\big]=A$: if $\varphi$ isn’t surjective, $\varphi[V]$ may be only part of $f^{-1}[A]$. In my example, for instance, take $A=(2,4)$. Then $f^{-1}[A]=\left(\leftarrow,\frac{\pi}2\right]\cup\left[\frac{\pi}2,\to\right)$, and $V=\varnothing$, so of course $\varphi[V]=\varnothing$, and $f\big[\varphi[V]\big]=\varnothing\ne A$.

-
Brian, your $\varphi$ is not open. – Gastón Burrull Jun 4 '12 at 6:11
@Gastón: Oops; didn’t read carefully enough. But the example is easily fixed; hang on a few minutes. – Brian M. Scott Jun 4 '12 at 6:13
Thanks. I'll try to prove proposition again. – Gastón Burrull Jun 4 '12 at 6:25
Thanks! so clear your counterexample and explained exactly why my proof is wrong in your example. – Gastón Burrull Jun 4 '12 at 6:34
I think that if $\varphi$ is close indeed open all works right? – Gastón Burrull Jun 4 '12 at 6:50

Here's an example. As sets, let $M = \{a\}$ and $N = P = \{a, b\}$. Give $N$ the topology such that $\{a\}$ is open but $\{b\}$ is not, and give $P$ the discrete topology. Let $\varphi$ be the obvious inclusion and $f$ the identity map.

So while the statements in your proof are correct, they don't quite prove continuity. It would be enough to show that for each $x \in N$ and neighborhood $V$ of $f(x)$ there exists a neighborhood $U$ of $x$ such that $f(U) \subset V$. But $\varphi$ can't produce such $U$ for $x$ that it doesn't hit.

-
Nice answer. I need continuity for proving continuity in each point of domain of $f$ is easier to work. – Gastón Burrull Jun 4 '12 at 6:32
I edited with a correct proof which you guided me. – Gastón Burrull Jun 4 '12 at 6:46
@GastónBurrull Sorry that I didn't follow up on this earlier. I'll try to look over your edits! – Dylan Moreland Jun 19 '12 at 21:42
Thanks, in added (1) I was put a possible proof. – Gastón Burrull Jun 19 '12 at 22:07