Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

When it comes to induced homomorphisms between homology groups, I have trouble understanding which are surjective or injective. For example, the unique map $p: X \to \{x\}$ where $x$ is a point in $X$ induces a homomorphism $p_*: H_n(X) \to H_n(\{x\})$. Clearly $p$ is surjective, and while it makes sense intuitively, I have trouble showing why $p_*$ is too. It's the same with proving that the map induced by inclusion $i_*: H_n(\{x\}) \to H_n(X)$ is an injection.

In general, is it always the case that if a continuous map of topological spaces $f: X\to Y$ is injective (resp. surjective) then the induced homomorphisms $f_*: H_n(X) \to H_n(Y)$ will be injective (resp. surjective)?

share|improve this question

3 Answers 3

1) The map $p$ has one-sided inverse $i\colon\{x\}\to X$. So $p_*\circ i_*=(p\circ i)_*=id_*=id$, so $i_*$ is an injection and $p_*$ is a surjection.

2) It's not always the case. For example, any reasonable $X$ can be embedded in $\mathbb R^N$ (for $N$ large enough) and $H_n(\mathbb R^N)=0$ for $n>0$, so, usually, the induced map on homology is not injective (perhaps, the easiest example is $S^1\to D^2$).

But if $f\colon X\to Y$ is not just injective but has a (right) inverse, than it's true by the argument from 1).

share|improve this answer
    
You probably mean a continuous one-sided inverse (injective maps always have one-sided inverses) –  Giacomo d'Antonio May 26 '11 at 12:21
2  
@Giacomo Yes, when I'm talking about maps between topological spaces, I mean continuous maps, obviously. –  Grigory M May 26 '11 at 12:26

Just to follow up on @Grigory M's answer, and to address surjectivity, you can consider a map $I\to S^1$ which wraps the interval around the circle once. This map is a surjective continuous map of spaces, but is not surjective on $H_1$.

share|improve this answer

If $X$ is a topological space and if $A$ is a subspace of $X$, then a retraction $r:X\to A$ is a continuous function such that $r(a)=a$ for all $a\in A$. The following exercise furnishes practice with the notion of "retraction":

Exercise 1: Let $i:A\to X$ denote the inclusion map.

(a) Prove that if $X$ is a Hausdorff space and if $r:X\to A$ is a retraction, then $A$ is a closed subset of $X$.

(b) Prove that a continuous function $r:X\to A$ (where $A$ is a subspace of $X$) is a retraction if and only if $r\circ i$ is the identity map of $A$.

(c) Prove that there is a retraction $r:\mathbb{R}^n\setminus \{0\}\to S^{n-1}$ where $S^{n-1}$ is the $(n-1)$-sphere in $\mathbb{R}^n$. (Hint: define $r(x)=\frac{x}{\left\|x\right\|}$ for all $x\in \mathbb{R}^n\setminus \{0\}$ where $\left\|x\right\|$ denotes the Euclidean norm of $x$.)

Note that part (b) of Exercise 1 has an important consequence from the point of view of homology theory. Indeed, the functorial properties of the singular homology theory imply that $r_{*}\circ i_{*}:H_n(A)\to H_n(A)$ is the identity map on homology for all nonnegative integers $n$ (an analogous statement holds for reduced homology). In particular, $r_{*}:H_n(X)\to H_n(A)$ is an epimorphism (surjective) for all nonnegative integers $n$ and $i_{*}:H_n(A)\to H_n(X)$ is a monomorphism (injective) for all nonnegative integers $n$.

You should now be able to solve the following exercise:

Exercise 2:

(a) Prove that there is no retraction $r:B^{n}\to S^{n-1}$ for all positive integers $n$. (Hint: the closed $n$-ball $B^{n}$ is acyclic in reduced homology whereas the $(n-1)$-sphere is not.)

(b) Prove that if $f:S^{n-1}\to S^{n-1}$ is a continuous function and if $r:B^{n}\to S^{n-1}$ is an extension of $f$ to $B^{n}$, then $f$ induces the zero homomorphism in homology. (Hint: use the functorial properties of singular homology.)

(c) (Brouwer's fixed point theorem) Prove that every continuous function $f:B^{n}\to B^{n}$ has a fixed point for all positive integers $n$. (Hint: if $f:B^{n}\to B^{n}$ is a continuous function without a fixed point, then $g:S^{n-1}\to S^{n-1}$ defined by the rule $g(x)=\frac{f(x)-x}{\left\|f(x)-x\right\|}$ has an extension to a continuous function $r:B^{n}\to S^{n-1}$. In particular, $g$ induces the zero homomorphism in homology by part (b). Show, however, that $g$ is homotopic to the identity map of $S^{n-1}$ and thus induces the identity map in homology. Derive a contradiction by computing the singular homology of the $(n-1)$-sphere $S^{n-1}$.)

I hope this helps!

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.