層_(數學)

數學上 ， 在給定拓撲空間X上的一個層 （ sheaf ） （ 或譯束 、 捆 ） F對於X的每個開集給出一個集合或者一個更豐富的結構F ( U ) 。 這個結構F ( U ) 和把開集限制 （ restricting ） 到更小的子集的操作相容 ， 並且可以把小的開集粘起來得到更大的 。 一個預層 （ presheaf ） 和一個層相似 ， 但它可能不可以粘起來 。 事實上 ， 層使得我們可以用一種細緻的方式討論什麼是局部性質 ， 就像應用在函數上的層 。