Loading AI tools
De Wikipédia, l'encyclopédie libre
Pour les articles homonymes, voir Cône.
En topologie, et en particulier en topologie algébrique, le cône CX[1] d'un espace topologique X est l'espace quotient :
du produit de X par l'intervalle unité I = [0, 1][2].
Intuitivement, on forme un cylindre de base X et on réduit une extrémité du cylindre à un point[3].
Le cône d'un espace non vide est contractile (en particulier connexe par arcs et simplement connexe), puisqu'il se rétracte par déformation sur son sommet par l'homotopie ht(x,s) = (x, (1–t)s).
Le cône est utilisé en topologie algébrique précisément parce qu'il transforme un espace en un sous-espace d'un espace contractile : X = X × {1} ⊂ CX.
Lorsque X est compact, le cône CX peut être visualisé comme la réunion des segments joignant tout point de X à un point unique. Cependant, cette image ne fonctionne plus si X n'est pas quasi-compact ou pas séparé, car généralement la topologie quotient sur CX est plus fine que la topologie de la réunion des segments joignant X à un point.
Si X est un CW-complexe, alors CX aussi[2]. Si deux espaces ont même type d'homotopie, leurs cônes aussi.
Si f : X → Y est une fonction continue, on définit le cône Cf de l'application f comme le quotient de la réunion disjointe CX⊔Y par l'identification de chaque élément x de X ⊂ CX avec son image f(x) dans Y. L'inclusion de Y dans Cf est alors une cofibration.
Le cône de l'application identité de X est CX. Celui de l'écrasement de CX sur un point est la suspension SX de X.
Si (X, x0) est un espace pointé, son cône réduit est
muni de la topologie quotient[4] et pointé par l'image, dans ce quotient, du couple (x0, 0). L'inclusion naturelle de l'espace pointé dans son cône respecte ce pointage.
De même que le cône d'un espace non pointé est le cône de son application identité, le cône réduit d'un espace pointé est le cône réduit de son application identité.
L'application X ↦ CX induit un foncteur C : Top → Top sur la catégorie des espaces topologiques. L'application continue Cf[5] de CX vers CY associée à une application continue f : X → Y est définie par : Cf([(x, t)]) = [(f(x), t)][6]. On a de même un foncteur C✻ sur la catégorie des espaces pointés.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
![{\displaystyle \mathrm {C} _{*}(X,x_{0})=X\times [0,1]/\left[(X\times \left\{0\right\})\cup (\left\{x_{0}\right\}\times [0,1])\right],}](http://wikimedia.org/api/rest_v1/media/math/render/svg/674387a054a74b7752d618741939fa1a92cbf5b1)
