Ê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 GraphSearch.
Concept
Faisceau (mathématiques)
Résumé
En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
En géométrie, aussi bien d'ailleurs en géométrie algébrique qu'en géométrie différentielle, la notion de faisceau est une généralisation de celle d'ensemble des sections d'un fibré vectoriel. Dans ce cadre, la base du fibré est une variété algébrique ou une variété différentielle.
Les faisceaux ont été introduits par Jean Leray en topologie algébrique lorsqu'il était en captivité durant la Seconde Guerre mondiale. Sous l'impulsion, notamment, d'Henri Cartan, de Jean-Pierre Serre et d'Alexandre Grothendieck (à qui on doit le terme préfaisceau), les faisceaux ont pris par la suite une importance considérable dans de nombreux domaines des mathématiques où l'on cherche à passer, pour un problème donné, d'une solution locale à une solution globale. Les obstructions à un tel passage s'étudient grâce à la cohomologie des faisceaux.
Préfaisceau (théorie des catégories)
De façon équivalente, on peut définir un préfaisceau comme un foncteur contravariant de la catégorie des ouverts de X (avec les inclusions comme morphismes) dans .
Les préfaisceaux les plus courants sont à valeurs dans des catégories concrètes (catégories des ensembles, groupes, anneaux, espaces vectoriels, algèbres, modules, espaces topologiques, groupes topologiques, etc.). Dans ce cas, pour tous ouverts V ⊂ U, on note :
et un élément s'appelle une section de au-dessus de U. On écrit au lieu de .
L'exemple fondamental de préfaisceau est celui où les morphismes de restriction sont les restrictions usuelles de fonctions.
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.
Concepts associés (211)
Faisceau (mathématiques)
En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Site (mathématiques)
En théorie des catégories, une branche des mathématiques, une topologie de Grothendieck est une structure sur une catégorie permettant de voir certains objets de comme les ensembles ouverts d'un espace topologique. Une catégorie munie d'une topologie de Grothendieck est appelée un site. Une topologie de Grothendieck axiomatise la notion de recouvrement d'un espace topologique par des ouverts. Cela permet de généraliser la définition de faisceaux, et leur cohomologie, à un site quelconque.
Jean Leray
Jean Leray, né le à Chantenay-sur-Loire (Loire-Inférieure) et mort le à La Baule, est un mathématicien français qui a travaillé à la fois sur les équations aux dérivées partielles, la mécanique des fluides et sur la topologie algébrique. Il passe sa jeunesse à Nantes et à Rennes, puis fait ses études à l'École normale supérieure et devient professeur à Nancy en 1936. Il effectue ses principaux travaux en topologie entre 1940 et 1945 alors qu'il est prisonnier de guerre en Autriche.