Pointed space

Pointed space

In mathematics, a pointed space is a topological space "X" with a distinguished basepoint "x"0 in "X". Maps of pointed spaces (based maps) are continuous maps preserving basepoints, i.e. a continuous map "f" : "X" → "Y" such that "f"("x"0) = "y"0. This is usually denoted:"f" : ("X", "x"0) → ("Y", "y"0).Pointed spaces are important in algebraic topology, particularly in homotopy theory, where many constructions, such as the fundamental group, depend on a choice of basepoint.

The pointed set concept is less important; it is anyway the case of a pointed discrete space.

Category of pointed spaces

The class of all pointed spaces forms a category Top• with basepoint preserving continuous maps as morphisms. Another way to think about this category is as the comma category, ({•} ↓ Top) where {•} is any one point space and Top is the category of topological spaces. (This is also called a coslice category denoted {•}/Top). Objects in this category are continuous maps {•} → "X". Such morphisms can be thought of as picking out a basepoint in "X". Morphisms in ({•} ↓ Top) are morphisms in Top for which the following diagram commutes:

It is easy to see that commutativity of the diagram is equivalent to the condition that "f" preserves basepoints.

Note that as a pointed space {•} is a zero object in Top• while it is only a terminal object in Top.

There is a forgetful functor Top• → Top which "forgets" which point is the basepoint. This functor has a left adjoint which assigns to each topological space "X" the disjoint union of "X" and a one point space {•} whose single element is taken to be the basepoint.

Operations on pointed spaces

*A subspace of a pointed space "X" is a topological subspace "A" ⊆ "X" which shares its basepoint with "X" so that the inclusion map is basepoint preserving.
*One can form the quotient of a pointed space "X" under any equivalence relation. The basepoint of the quotient is the image of the basepoint in "X" under the quotient map.
*One can form the product of two pointed spaces ("X", "x"0), ("Y", "y"0) as the topological product "X" × "Y" with ("x"0, "y"0) serving as the basepoint.
*The coproduct in the category of pointed spaces is the "wedge sum", which can be thought of as the one-point union of spaces.
*The smash product of two pointed spaces is essentially the quotient of the direct product and the wedge sum. The smash product turns the category of pointed spaces into a symmetric monoidal category with the pointed 0-sphere as the unit object.
*The reduced suspension Σ"X" of a pointed space "X" is (up to a homeomorphism) the smash product of "X" and the pointed circle "S"1.
*The reduced suspension is a functor from the category of pointed spaces to itself. This functor is a left adjoint to the functor Omega taking a based space X to its loop space Omega X.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Pointed set — In mathematics, a pointed set is a set X with a distinguished basepoint x 0 in X . Maps of pointed sets (based maps) are functions preserving basepoints, i.e. a map f : X rarr; Y such that f ( x 0) = y 0. This is usually denoted: f : ( X , x 0)… …   Wikipedia

  • Space debris — populations seen from outside geosynchronous orbit (GEO). Note the two primary debris fields, the ring of objects in GEO, and the cloud of objects in low earth orbit (LEO) …   Wikipedia

  • Space Shuttle orbiter — The Discovery orbiter approaches the ISS on STS 121 Operator NASA Mission type Orbiter …   Wikipedia

  • Space observatory — Space observatories Space observatories and their wavelength working ranges Website http://nssdc.gsfc.nasa.gov/astro/astrolist.html …   Wikipedia

  • Space Shuttle Columbia — Columbia OV 102 Space Shuttle Columbia launches on STS 109(HST 3B)to repair the Hubble Space telescope.This was the final sucessful mission of Columbia before STS 107 OV designation OV 102 Country …   Wikipedia

  • Space Shuttle Challenger disaster — For more information about the final mission and crew of the Challenger, see STS 51 L. Space Shuttle Challenger s smoke plume after the in flight breakup that killed all seven crew members …   Wikipedia

  • Space Hulk (video game) — Infobox VG title = Space Hulk caption = Box cover art for Space Hulk developer = Electronic Arts publisher = Electronic Arts NEC PC 9801 version: Starcraft designer = Nicholas Wilson, Kevin Shrapnell, Andy Jones engine = version = 25.0 (3 March… …   Wikipedia

  • Space capsule — A space capsule is an often manned spacecraft which has a simple shape for the main section, without any wings or other features to create lift during atmospheric reentry.Capsules have been used in most of the manned space programs to date,… …   Wikipedia

  • Space technology — Teddy bears lifted to 30,085 metres above sea level on a helium balloon in a materials experiment by CU Spaceflight and SPARKS science club. Each of the bears wore a different space mask designed by 11 13 year olds from SPARKS. Space technology… …   Wikipedia

  • Space Interferometry Mission — Infobox Space telescope name = Space Interferometry Mission (SIM) caption = Artist s concept of the SIM telescope in space organization = NASA / JPL major contractors = Northrop Grumman alt names = SIM PlanetQuest nssdc id = location = orbit type …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”