轉移函數與上閉鏈條件（transition functions and the cocycle condition）

想像用平面紙地圖拼出一個地球儀。每張地圖在自己的小塊上都沒問題，而當兩張地圖重疊時，你需要一條精確的規則告訴你同一個地方在各圖上如何被不同地描述——那條翻譯規則就是轉移函數。纖維叢以同樣方式建構：用一族開集 U_i 蓋住底空間 B，叢在其上平凡為 U_i times F，並在每個重疊 U_i cap U_j 上記下把第 i 種描述換成第 j 種的纖維微分同胚。這些轉移函數 g_{ij} 就是全部的黏合配方；叢無非是被它們縫起來的那些片塊。

在一個重疊上，g_{ij}(x) 是纖維的一個對稱——對向量叢是 GL(k) 的元素，對主 G-叢是 G 的元素。為使黏合一致，g_{ij} 不能任意；它們必須滿足上閉鏈條件：在任何三重重疊 U_i cap U_j cap U_k 上，g_{ij}(x) g_{jk}(x) = g_{ik}(x)，連同 g_{ii} = 恆等（這迫使 g_{ji} = g_{ij}^{-1}）。把它讀成一個一致性迴路：從 j 翻到 i、再從 k 翻到 j，你必須恰好落在直接從 k 翻到 i 所到之處。反過來——這正是構造定理——任何帶有滿足上閉鏈條件之 G 值函數的開覆蓋，都能造出唯一一個結構群為 G 的叢。因此一個叢就等同於一個上閉鏈所攜帶的資料，至多差一個更換平凡化的等價（一個上邊界）。

這是叢論的計算核心。B 上結構群為 G 的叢之集，恰是上閉鏈模上邊界的切赫上同調 H^1(B; G)——扭轉是個上同調現象。它也解釋了結構群為何要緊：把 g_{ij} 取值的群縮小（「結構群的約化」）是額外的幾何資料，例如選定一個度量（把 GL(n) 約化為 O(n)）或一個定向（約化為 GL^+）。一個常見的混淆：上閉鏈條件並非可有可無的記帳——在一個三重重疊上違反它，「叢」就無法良好定義，因為繞著一小圈片塊走，纖維不會回到自身。