TOPICS
Search

Sheaf


A sheaf on a topological space X is a presheaf F whose local sections can be uniquely glued. More precisely, for every open covering {U_i} of an open set U, it satisfies the following conditions:

1. If two sections s,t in F(U) have the same restriction to every U_i, then s=t.

2. If sections s_i in F(U_i) agree on every overlap U_i intersection U_j, then there is a section s in F(U) whose restriction to each U_i is s_i.

For example, let X be a variety over a field k. If O(U) denotes the ring of regular functions from U to k then with the usual restrictions O is a sheaf which is called the sheaf of regular functions on X.

In the same way, one can define the sheaf of continuous real-valued functions on any topological space, and also for differentiable functions.


See also

Presheaf, Restriction Map, Sheaf of Planes, Sheaf Section, Star

Portions of this entry contributed by José Gallardo Alberni

Explore with Wolfram|Alpha

References

Godement, R. Topologie Algébrique et Théorie des Faisceaux. Paris, France: Hermann, 1958.Hartshorne, R. Algebraic Geometry. New York: Springer-Verlag, 1977.Iyanaga, S. and Kawada, Y. (Eds.). "Sheaves." §377 in Encyclopedic Dictionary of Mathematics. Cambridge, MA: MIT Press, pp. 1171-1174, 1980.

Referenced on Wolfram|Alpha

Sheaf

Cite this as:

Alberni, José Gallardo and Weisstein, Eric W. "Sheaf." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Sheaf.html

Subject classifications