Path space (algebraic topology) explained

In algebraic topology, a branch of mathematics, the based path space

PX

of a pointed space

(X,*)

is the space that consists of all maps

f

from the interval

I=[0,1]

to X such that

f(0)=*

, called based paths.[1] In other words, it is the mapping space from

(I,0)

to

(X,*)

.

A space

XI

of all maps from

I

to X, with no distinguished point for the start of the paths, is called the free path space of X. The maps from

I

to X are called free paths. The path space

PX

is then the pullback of

XI\toX,\chi\mapsto\chi(0)

along

*\hookrightarrowX

.

The natural map

PX\toX,\chi\to\chi(1)

is a fibration called the path space fibration.

References

Further reading

Notes and References

  1. Martin Frankland, Math 527 - Homotopy Theory - Fiber sequences