層 (數學)

出自維基百科,自由嘅百科全書

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