Algebraic Topology/The fundamental group

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Definition (fundamental group):

Let be a topological space and let . The fundamental group of based at is the group of homotopy equivalence classes of loops at leaving the endpoints fixed

where the group law is given by concatenation of paths.