= Algebraic topology
{wiki}
<Algebraic topology> translates questions about <topological spaces> and <continuous maps> into questions about <groups> and other structures from <algebra>. A <topological invariant> compresses the enormous amount of data in a space into something one can calculate. For example, the <fundamental group> records which <based loops> can be continuously deformed into one another. A filled <disk> has trivial <fundamental group>, whereas a <circle> has <fundamental group> $\mathbb Z$: an <integer> remembers how many times a <loop (topology)> goes around.
This compression also respects maps. By <functoriality of the fundamental group>, a <continuous map> preserving the chosen basepoints induces a <group homomorphism>; successive maps induce successive <group homomorphisms>. Thus geometry supplies arithmetic constraints. A proposed <homotopy equivalence> must induce an <isomorphism>, so incompatible <fundamental groups> rule it out before anyone attempts to construct the deformation.
The beauty is that a whole <annulus> can retain exactly the same <homotopy type> as its inner <circle>. Its thickness disappears under a <deformation retraction>, while the obstruction to shrinking a <loop (topology)> survives. Equal <fundamental groups> alone do not establish a <homeomorphism> or a <homotopy equivalence> between arbitrary <topological spaces>.
This turns a visual question into a reusable test. Suppose a <continuous map> sends the inner <circle> of an <annulus> once around another <circle>. Could it extend over a filled <disk> spanning that boundary? Such an extension would supply a <homotopy> shrinking the image <loop (topology)> to a point. Its <winding number> would have to change from one to zero, which <homotopy invariance of winding number> forbids. Algebra rules out the extension even when no particular formula for it has been proposed.
Back to article page
