1
$\begingroup$

Consider a topological space $X$ and a subset $Z \subset X$. Assume we are given a continuous injective map (in $X$ topology) $f:Z \to Z$ such that $g: Z \setminus C \to Z$(where $C \subset Z$) and $g\circ f = {\rm id}_Z$ is also continuous. Will $f$ and $g$ remain continuous in the induced topology, i.e. the topology induced on $Z$ by the topology of $X$?

Thank you

1 Answers 1

1

Since the domains of $f$ and $g$ are in $Z$, all the open preimages under them are in $Z$. Thus they remain open in the induced topology, since they don't change by intersection with $Z$. Thus $f$ and $g$ remain continuous.

This seems a bit too easy – am I misunderstanding the question?

  • 0
    Thank you for your reply. I just wanted to make sure I am not making any mistake in my efforts to solve another (related) problem.2011-10-20
  • 1
    @Ali: If you already know the answer and just want to make sure you're not making a mistake, it would be preferable to phrase the question accordingly ("It seems to me that $f$ and $g$ should remain continuous because ...; or am I making a mistake?"). The more information you provide on what you already know and have already done, the more specific the responses can be. Also if you've already done the work and come up with the answer, why make someone else do the same work and write it out?2011-10-20
  • 0
    But maybe care must be taken to the fact that $g^{-1} (U \cap Z) =g^{-1}(U) \cap g^{-1}(Z)=V \cap Z\setminus C$ which is not necessarily open ? (I took $U$ and $V:= g^{-1}(U)$ open sets in the $X$-topology).2011-10-20
  • 0
    @Ali: $g^{-1}(U\cap Z)$ is not necessarily $g^{-1}(U)\cap g^{-1}(Z)$. There may be elements in $U$ and $Z$ with common preimages, and they may not lie in $U\cap Z$.2011-10-21
  • 0
    ah, I made a mistake, sorry...2011-10-23
  • 0
    but what you said doesn't apply here because $g$ is injective...2011-10-23
  • 0
    @Ali: I don't understand the whole equation, actually. $Z$ is the entire codomain of $g$, so $g^{-1}(U)\cap g^{-1}(Z)=g^{-1}(U)=V$; intersecting with $Z\setminus C$, the domain of $g$, can't change the preimage $V$.2011-10-23
  • 0
    joriki: ok, thank you. I admit I am a bit confused. I will look at it more closely...2011-10-23
  • 0
    I think you are right..2011-10-23
  • 0
    @Ali: One more comment: The formulation in the question is a bit confusing -- grammatically, "is also continuous" appears to refer to $g\circ f = {\rm id}_Z$, but since ${\rm id}_Z$ is trivially continuous, and since the next sentence speaks of $g$ "remaining" continuous, I assumed that it referred to $g$ being continuous.2011-10-23