Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Smash-produit
Résumé
En mathématiques et plus précisément en topologie algébrique, le smash-produit X∧Y de deux espaces topologiques pointés (X, x) et (Y, y) est le quotient du produit X × Y par les identifications pour tout x ∈ X et tout y ∈ Y. Cet espace dépend du pointage (sauf si X et Y sont homogènes).
Les espaces X et Y sont plongés dans X × Y par identification aux sous-espaces X × {y} et {x} × Y, qui s'intersectent en un seul point : (x, y), le point base de X × Y. La réunion de ces deux sous-espaces est donc homéomorphe au wedge X∨Y, ce qui permet d'écrire le smash-produit comme le quotient suivant :
Le smash-produit a d'importantes applications en théorie de l'homotopie, où l'on travaille souvent avec des sous-catégories de la catégorie des espaces topologiques, ce qui conduit à modifier légèrement la définition. Par exemple dans la sous-catégorie des CW-complexes on remplace, dans la définition, le produit d'espaces topologiques par le produit de CW-complexes.
Le smash-produit de tout espace pointé X avec une n-sphère est homéomorphe à la suspension réduite de X itérée n fois :
Par exemple : X∧S =X, X∧S = ΣX et S∧S = ΣS = S, en particulier S∧S = ΣS = S est un quotient du tore T.
Pour tous espaces pointés X, Y et Z d'une sous-catégorie « appropriée », comme celle des espaces compactement engendrés, on a des homéomorphismes naturels (préservant le point base) :
qui font d'une telle sous-catégorie une catégorie monoïdale symétrique, avec le smash-produit comme produit monoïdal et la 0-sphère pointée (l'espace discret à deux éléments) comme objet unité.
La catégorie naïve des espaces pointés, qui n'est pas cartésienne fermée, n'est pas monoïdale : (Q∧Q)∧N ≄ Q∧(Q∧N).
Le smash-produit joue, dans la catégorie des espaces pointés, le même rôle que le produit tensoriel dans la catégorie des modules sur un anneau commutatif. En particulier si A est localement compact, le foncteur (–∧A) est adjoint à gauche du foncteur Hom(A, –) :
où Hom(A,Y) est l'espace des morphismes d'espaces pointés, muni de la topologie compacte-ouverte.
En pre
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.