Suppose that $f:X\to Y$ is an injective continuous function between two topological spaces. Then this will induce a map $f_*:\pi_n(X)\to \pi_n(Y), [\gamma]\mapsto [f\circ \gamma]$. Is it true that $$ f_*(\pi_n(X))=\pi_n(f(X))? $$ If not, then under what condition they are same?
if $f:X\to Y$ is continuous and injective, then $\pi_n(f(X))=f_*(\pi_n(X))$
129 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtThere are 2 best solutions below
On
For an easy and general type of counterexample, take an arbitrary topological space $Y$ with $\pi_n(Y) \neq 0$ (for example $Y = S^n$, the $n$-sphere), and take $X$ to be the discrete topology on the underlying set of $Y$ (or said differently, $X$ is disjoint union of the points of $Y$). Then the identity map $X \to Y$ is bijective and continuous, but $\pi_n(X) = 0$.
Conversely, one can take $X$ arbitrary and let $Y$ be the indiscrete (i.e. trivial) topology on the same set. Again the identity map $X \to Y$ is continuous and bijective, but this time $\pi_n(Y) = 0$ independent of the choice of $X$.
This shows that, without further conditions, we shouldn't expect there to be any relationship in general between $\pi_n(X)$ and $\pi_n(Y)$ given a continuous bijection $X \to Y$.
No, you can bend an open line $—$ into a figure eight $∞$ in a bijective and continuous way, so $f(—) = ∞$, but $π_1(—) = 1$, whereas $π_1(∞) ≠ 1$. See the figure at wiki/Immersed Submanifolds: