7. Faisceaux
La notion de faisceau fut introduite vers 1950 par J. Leray et H. Cartan pour formaliser un certain nombre de théorèmes de topologie algébrique. Vingt ans plus tard, elle jouait un rôle à peu près nul en topologie ; mais elle fait partie du langage naturel de la géométrie algébrique et de la géométrie analytique (cf. fonctions analytiques Fonctions analytiques de plusieurs variables complexes,géométrie algébrique).
• La notion de faisceau
Considérons une application continue p : Y → X et, pour tout ouvert U de X, notons ℱ U l'ensemble des sections de p au-dessus de U, c'est-à-dire l'ensemble des applications continues s : U → Y telles que p ∘ s soit l'application identique de U. Pour U′ ⊂ U, à tout élément s de ℱ U on associe sa restriction s|U′ à U′ ; ce qui définit une application de ℱ U dans ℱ U′. Il est clair que les deux propriétés suivantes sont vérifiées.
a) Si U″ ⊂ U′ ⊂ U et si s est un élément de ℱ U, on a :
b) Si U est la réunion des ouverts Ui, si, pour tout i, si est un élément de ℱ Ui et si, pour tout couple (i, f ), on a :
On dit alors que les ℱ U et les applications de restriction forment le faisceau des sections de p. Plus généralement, chaque fois que l'on se sera donné, pour tout ouvert U de X, un ensemble G U et, pour tout U′ contenu dans U, une application de G U dans G U′, que l'on appellera restriction, de façon que les propriétés a et b soit vérifiées, on dira que l'on a un faisceau G de base X.
[…]… pour nos abonnés, l'article se prolonge sur 12 pages…
