層 (數學)

層係代數拓撲一種工具，用嚟定義拓撲空間入面開集嘅局部資訊。例如，所謂嘅資訊可以係開集上面嘅連續函數，呢啲函數嘅加法同乘法組成咗一個環。呢啲資訊有好好嘅性質，其一，連續函數可以透過限制定義域變成細啲嘅開集上面嘅函數；其二，如果有一啲開集覆蓋一個大啲嘅開集，咁上面嘅資訊係等價於上面嘅資訊。

代數拓撲