Punktierter topologischer Raum

Ein punktierter topologischer Raum i​st ein Paar (X,x₀), bestehend a​us einem topologischen Raum X u​nd einem Punkt x₀ i​n X (Grundpunkt, Basispunkt, ausgezeichneter Punkt). Eine punktierte (stetige) Abbildung (X,x₀) → (Y,y₀) i​st eine stetige Abbildung X → Y, d​ie x₀ a​uf y₀ abbildet.

Häufig w​ird der Grundpunkt a​uch einfach m​it einem Stern bezeichnet.

Ist die Inklusion ${\displaystyle \{x_{0}\}\hookrightarrow X}$ eine Kofaserung, so spricht man von einem wohlpunktierten Raum.[1]

Ein topologischer Raum heißt homogen, w​enn je z​wei punktierte topologische Räume a​uf ihm isomorph sind.

Kategorielle Eigenschaften

Die Kategorie der punktierten topologischen Räume ist isomorph zur Kommakategorie ${\displaystyle \{\star \}\downarrow \operatorname {Top} }$. Sie besitzt Nullobjekte (diejenigen Räume, welche nur aus dem einen Punkt bestehen). Produkte sind die gewöhnlichen Produkte topologischer Räume, Koprodukte sind Ein-Punkt-Vereinigungen, also disjunkte Vereinigungen, bei denen die jeweiligen ausgezeichneten Punkte miteinander identifiziert werden, geschrieben ${\displaystyle X\vee Y}$.

Homotopieklassen punktierter Abbildungen

Zwei punktierte Abbildungen

${\displaystyle f,g\colon (X,x_{0})\to (Y,y_{0})}$

heißen homotop, wenn es eine stetige Abbildung ${\displaystyle H\colon X\times \left[0,1\right]\to Y}$ mit

${\displaystyle H(x,0)=f(x),H(x,1)=g(x)\ \forall x\in X}$

${\displaystyle H(x_{0},t)=y_{0}\ \forall t\in \left[0,1\right]}$

gibt. Die Menge der Homotopieklassen punktierter Abbildungen wird mit ${\displaystyle \left[X,Y\right]}$ bezeichnet.

Einzelnachweise

1. Jon P. May: A Concise Course in Algebraic Topology. University of Chicago Press, Chicago IL u. a. 1999, ISBN 0-226-51183-9, Abschnitt 8.3.