Gepunte ruimte

Uit Wikipedia, de vrije encyclopedie

In de topologie, een deelgebied van de wiskunde, is een gepunte ruimte een topologische ruimte X met een onderscheiden basispunt x0 in een verzameling X. Afbeeldingen van gepunte ruimten (basisafbeeldingen) zijn continue afbeeldingen die het basispunt bewaren, dat wil zeggen continue afbeeldingen f : XY, zodanig dat f(x0) = y0. Dit wordt meestal aangeduid door

f : (X, x0) → (Y, y0).

Gepunte ruimten zijn belangrijk in de algebraïsche topologie, in het bijzonder in de homotopietheorie, waar veel constructies, zoals de fundamentaalgroep, afhankelijk zijn van de keuze van het basispunt.