Definition Suppose is a non-empty topological space and is an element of . Then the pair is called a pointed topological space, or a based topological space.
The idea with pointed topological spaces is simply that one fixes a base point in the space. This is necessary, for instance, when defining the fundamental group of a topological space.
Anyone with an account can edit this entry. Please help improve it!
