Math 440, Fall 2014, Assignment 14
From cartan.math.umb.edu
Revision as of 20:55, 11 December 2014 by Steven.Jackson (talk | contribs) (Created page with "__NOTOC__ ''I must study politics and war that my sons may have liberty to study mathematics and philosophy.'' : - John Adams, letter to Abigail Adams, May 12, 1780 '''Note:...")
I must study politics and war that my sons may have liberty to study mathematics and philosophy.
- - John Adams, letter to Abigail Adams, May 12, 1780
Note: this assignment, on homology and cohomology, does not appear on the final exam.
Carefully define the following terms, then give one example and one non-example of each:
- Singular $n$-cube (in a topological space $X$).
- Degenerate $n$-cube.
- Singular $n$-chain.
- Face (of a singular cube).
- Boundary operator (on $n$-chains).
- Singular $n$-cycle.
- Singular $n$-boundary.
- The homology group $H_n(X)$.
- Homomorphism on homology induced by a continuous map.
- Dual group (of an abelian group).
- Homomorphism on duals induced by an abelian group homomorphism.
- Singular $n$-cochain.
- Coboundary operator.
- Singular $n$-cocycle.
- Singular $n$-coboundary.
- The cohomology group $H^n(X)$.
- The cohomology ring $H^*(X)$.
Carefully state the following theorems (you do not need to prove them):
- Homology of $\mathbb{R}^n$, the torus $T^2$, the sphere $S^2$, and the projective plane $\mathbb{RP}^2$.
Solve the following problems:
- Show that a continuous map $f:X\rightarrow Y$ induces a group homomorphism $\check{f}:H^n(Y)\rightarrow H^n(X)$ (note the reversed arrow!). (In fact, one can paste these morphisms together to get a ring homomorphism $\check{f}:H^*(y)\rightarrow H^*(X)$. You do not need to prove this.)