Professional Documents
Culture Documents
This article needs additional citations for verification. Please help improve this
article by adding citations to reliable sources. Unsourced material may be
challenged and removed.
Find sources: "Pointed space" – news · newspapers · books · scholar · JSTOR
(November 2009) (Learn how and when to remove this template message)
In mathematics, a pointed space or based space is a topological space with a
distinguished point, the basepoint. The distinguished point is just simply one
particular point, picked out from the space, and given a name, such as {\
displaystyle x_{0},}x_0, that remains unchanged during subsequent discussion, and
is kept track of during all operations.
Maps of pointed spaces (based maps) are continuous maps preserving basepoints,
i.e., a map {\displaystyle f}f between a pointed space {\displaystyle X}X with
basepoint {\displaystyle x_{0}}x_{0} and a pointed space {\displaystyle Y}Y with
basepoint {\displaystyle y_{0}}y_{0} is a based map if it is continuous with
respect to the topologies of {\displaystyle X}X and {\displaystyle Y}Y and if {\
displaystyle f\left(x_{0}\right)=y_{0}.}{\displaystyle f\left(x_{0}\right)=y_{0}.}
This is usually denoted
The pointed set concept is less important; it is anyway the case of a pointed
discrete space.
Pointed spaces are often taken as a special case of the relative topology, where
the subset is a single point. Thus, much of homotopy theory is usually developed on
pointed spaces, and then moved to relative topologies in algebraic topology.
Contents
1 Category of pointed spaces
2 Operations on pointed spaces
3 See also
4 References
Category of pointed spaces
The class of all pointed spaces forms a category Top{\displaystyle \bullet }\bullet
with basepoint preserving continuous maps as morphisms. Another way to think about
this category is as the comma category, ({\displaystyle \{\bullet \}\downarrow }{\
displaystyle \{\bullet \}\downarrow } Top) where {\displaystyle \{\bullet \}}{\
displaystyle \{\bullet \}} is any one point space and Top is the category of
topological spaces. (This is also called a coslice category denoted {\
displaystyle \{\bullet \}/}{\displaystyle \{\bullet \}/}Top.) Objects in this
category are continuous maps {\displaystyle \{\bullet \}\to X.}{\displaystyle \{\
bullet \}\to X.} Such maps can be thought of as picking out a basepoint in {\
displaystyle X.}X. Morphisms in ({\displaystyle \{\bullet \}\downarrow }{\
displaystyle \{\bullet \}\downarrow } Top) are morphisms in Top for which the
following diagram commutes:
PointedSpace-01.png