层 (数学)

数学上,在给定拓扑空间X上的一个层(sheaf)(或译F对于X的每个开集给出一个集合或者一个更丰富的结构F(U)。这个结构F(U)和把开集限制(restricting)到更小的子集的操作相容,并且可以把小的开集起来得到更大的。一个预层(presheaf)和一个层相似,但它可能不可以粘起来。事实上,层使得我们可以用一种细致的方式讨论什么是局部性质,就像应用在函数上的层。