Cone (topology)

From Maths
Jump to: navigation, search
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Need to create a book page, tidy up, and just generally flesh out the page, infobox may be nice too! We also may write [ilmath]\frac{X\times I}{X\times\{1\} } [/ilmath] for the equivalence relation, however nothing on this site mentions this alternate notation, probably because it isn't (eg [ilmath]\frac{\mathbb{R} }{5\mathbb{Z } } [/ilmath] being the [ilmath]5[/ilmath] equivalence classes where [ilmath][1][/ilmath] is all integers being concurrent to 1 mod 5 and such) Lastly, don't forget to check Mond's lecture notes on the subject

Definition

If [ilmath](X,\mathcal{J})[/ilmath] is a topological space and [ilmath]I[/ilmath] denotes the unit interval, [ilmath][0,1]\subseteq\mathbb{R} [/ilmath] (where [ilmath]\mathbb{R} [/ilmath] is considered with the usual topology on [ilmath]\mathbb{R} [/ilmath]) the cone over [ilmath](X,\mathcal{J})[/ilmath] is obtained by[1]:

  1. Constructing a new space, [ilmath]X\times I[/ilmath] (the product topology of [ilmath]X[/ilmath] and [ilmath]I[/ilmath])
  2. Defining an equivalence relation, [ilmath]\sim[/ilmath] by:
    • For [ilmath](x,t),(x',t')\in X\times I[/ilmath] we say [ilmath](x,t)\sim(x',t')[/ilmath] if [ilmath]t=t'=1[/ilmath]
      Notice we identify every point in [ilmath]X\times\{1\} [/ilmath] with every other point in [ilmath]X\times\{1\} [/ilmath] - this is the point of the cone.
  3. The cone over [ilmath]X[/ilmath] is the quotient space [math]\frac{X\times I}{\sim} [/math]

References

  1. An Introduction to Algebraic Topology - Joseph J. Rotman