|
|
| Line 1: |
Line 1: |
| {{Refimprove|date=November 2009}}
| | Last week I woke up and noticed - Today I've been solitary for a little while and after much bullying from buddies I now find myself signed up for web dating. They assured me [http://www.netpaw.org luke bryan luke bryan] that there are plenty of interesting, sweet and standard people to fulfill, therefore here goes the toss!<br>My pals and household are awe-inspiring and hanging out together at tavern gigs or dishes is constantly critical. I have never been in to clubs as I come to realize you can do not have a nice dialog with the noise. I likewise got two undoubtedly cheeky and quite cute dogs who are almost always eager to meet up new people.<br>I endeavor to keep as physically healthy as potential staying at the [http://Imgur.com/hot?q=gymnasium+several-times gymnasium several-times] weekly. I appreciate my sports and strive to perform or view as many [http://www.cinemaudiosociety.org luke bryan tickets] a possible. I'll frequently at Hawthorn fits being winter. Notice: Supposing that you will contemplated buying a luke brian tickets; [http://www.ffpjp24.org Http://www.Ffpjp24.org], sport I really don't brain, I have noticed the carnage of wrestling fits at stocktake sales.<br><br>Also visit my web-site [http://lukebryantickets.omarfoundation.org luke bryan show] |
| In [[mathematics]], a '''pointed space''' is a [[topological space]] ''X'' with a distinguished '''basepoint''' ''x''<sub>0</sub> in ''X''. Maps of pointed spaces ('''based maps''') are [[continuous (topology)|continuous maps]] preserving basepoints, i.e. a continuous map ''f'' : ''X'' → ''Y'' such that ''f''(''x''<sub>0</sub>) = ''y''<sub>0</sub>. This is usually denoted
| |
| :''f'' : (''X'', ''x''<sub>0</sub>) → (''Y'', ''y''<sub>0</sub>).
| |
| 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 (set theory)|class]] of all pointed spaces forms a [[category (mathematics)|category]] '''Top'''<sub>•</sub> with basepoint preserving continuous maps as [[morphism]]s. 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 [[commutative diagram|commutes]]:
| |
| | |
| <div style="text-align: center;">
| |
| [[Image:PointedSpace-01.png]]
| |
| </div> | |
| | |
| It is easy to see that commutativity of the diagram is equivalent to the condition that ''f'' preserves basepoints.
| |
| | |
| As a pointed space {•} is a [[zero object]] in '''Top'''<sub>•</sub> while it is only a [[terminal object]] in '''Top'''.
| |
| | |
| There is a [[forgetful functor]] '''Top'''<sub>•</sub> → '''Top''' which "forgets" which point is the basepoint. This functor has a [[adjoint functor|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 [[subspace (topology)|topological subspace]] ''A'' ⊆ ''X'' which shares its basepoint with ''X'' so that the [[inclusion map]] is basepoint preserving.
| |
| *One can form the '''[[quotient space|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 (category theory)|product]]''' of two pointed spaces (''X'', ''x''<sub>0</sub>), (''Y'', ''y''<sub>0</sub>) as the [[product (topology)|topological product]] ''X'' × ''Y'' with (''x''<sub>0</sub>, ''y''<sub>0</sub>) 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 space|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''<sup>1</sup>.
| |
| *The reduced suspension is a functor from the category of pointed spaces to itself. This functor is a [[left adjoint]] to the functor <math>\Omega</math> taking a based space <math>X</math> to its [[loop space]] <math>\Omega X</math>.
| |
| | |
| ==References==
| |
| * {{Cite book
| |
| |last1=Gamelin
| |
| |first1=Theodore W.
| |
| |last2=Greene
| |
| |first2=Robert Everist
| |
| |title=Introduction to Topology
| |
| |edition=second
| |
| |year=1999
| |
| |origyear=1983
| |
| |publisher=[[Dover Publications]]
| |
| |isbn=0-486-40680-6
| |
| }}
| |
| * {{Cite book
| |
| |first=Saunders
| |
| |last=Mac Lane
| |
| |authorlink=Saunders Mac Lane
| |
| |title=[[Categories for the Working Mathematician]]
| |
| |edition=second
| |
| |date=September 1998
| |
| |publisher=Springer
| |
| |isbn=0-387-98403-8}}
| |
| | |
| {{DEFAULTSORT:Pointed Space}}
| |
| [[Category:Topology]]
| |
| [[Category:Homotopy theory]]
| |
| [[Category:Category-theoretic categories]]
| |
| [[Category:Topological spaces]]
| |
Last week I woke up and noticed - Today I've been solitary for a little while and after much bullying from buddies I now find myself signed up for web dating. They assured me luke bryan luke bryan that there are plenty of interesting, sweet and standard people to fulfill, therefore here goes the toss!
My pals and household are awe-inspiring and hanging out together at tavern gigs or dishes is constantly critical. I have never been in to clubs as I come to realize you can do not have a nice dialog with the noise. I likewise got two undoubtedly cheeky and quite cute dogs who are almost always eager to meet up new people.
I endeavor to keep as physically healthy as potential staying at the gymnasium several-times weekly. I appreciate my sports and strive to perform or view as many luke bryan tickets a possible. I'll frequently at Hawthorn fits being winter. Notice: Supposing that you will contemplated buying a luke brian tickets; Http://www.Ffpjp24.org, sport I really don't brain, I have noticed the carnage of wrestling fits at stocktake sales.
Also visit my web-site luke bryan show