Construction D'Espace Étalé
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
La procédure qui associe à un faisceau d'ensembles (ou d'objets algébriques) sur un espace topologique X un espace topologique E muni d'une projection p:E→X qui est un homéomorphisme local — l'espace étalé — de sorte que le faisceau est isomorphe au faisceau des sections locales de p.