層 (數學)

層（英文：sheaf）係代數拓撲一種工具，用嚟定義拓撲空間入面開集嘅局部資訊。例如，所謂嘅資訊可以係開集上面嘅連續函數，呢啲函數嘅加法同乘法組成咗一個環。呢啲資訊有好好嘅性質，其一，連續函數可以透過限制定義域變成細啲嘅開集上面嘅函數；其二，如果有一啲開集$\{U_{i}\}$覆蓋一個大啲嘅開集$U$，咁$U$上面嘅資訊（即係連續函數）係等價於$U_{i}$上面嘅資訊（當然，呢啲函數要符合一啲相容性條件）。