Attribution de données qui associe à chaque ouvert d'un espace topologique un objet algébrique (ensembles, groupes, anneaux, modules, etc.) muni d'applications de restriction, satisfaisant la localité (sections égales localement sont égales) et le recollement (sections locales compatibles se recollent de manière unique).

Principe

Local‑vers‑global : les objets globaux se construisent à partir de données locales compatibles via la restriction et le recollement unique, faisant des faisceaux le formalisme pour suivre des structures définies localement et leurs obstructions globales.

Démonstration

Le faisceau des fonctions continues réelles associe à chaque ouvert U l'anneau C^0(U) ; des fonctions qui coïncident sur les recouvrements proviennent d'une fonction continue globale unique sur l'union, illustrant localité et recollement.

Mauvaise application

Prétendre qu'un préfaisceau est un faisceau sans vérifier l'axiome de recollement, ou considérer que les sections globales représentent entièrement le comportement local alors que des obstructions non triviales (cohomologie) existent.

Conséquence

Les faisceaux permettent de définir des groupes de cohomologie qui mesurent les obstructions au recollement et contrôlent problèmes de prolongement, de classification et de déformation en géométrie et analyse.

Inversion

Un préfaisceau qui manque la propriété de recollement ou un cosheaf où l'information s'agrège plutôt que se restreigne ; ceux‑ci n'ont pas la propriété complète de reconstruction local‑vers‑global des faisceaux.

Limite

Défini sur un espace topologique (ou site) ; exclut les attributions arbitraires sans applications de restriction, et diffère des fibres/bundles qui exigent la trivialité locale et souvent une structure supplémentaire (fibres, fonctions de transition).

Tension sémantique

Tension entre voir un faisceau comme un 'coefficients variables' (point de vue analytique/algebrique) et comme un espace étalé ou fibré (point de vue géométrique/topologique) — emphases complémentaires mais distinctes.

Synthèse

Un faisceau est un dispositif pour organiser des données algébriques ou analytiques locales sur un espace topologique avec des applications de restriction compatibles, de sorte que l'information localement cohérente s'assemble de façon unique en objets globaux, la cohomologie mesurant les échecs de recollement.