Let be the set of continuous mappings . Then the topological space supplied with the compact-open topology is called a mapping space. If is a pointed space, then the mapping space of pointed maps is called the path space of . In words, is the space of all paths which begin at . is a contractible space with the contraction given by .
See alsoLoop Space, Mapping Space
This entry contributed by John Renze