\(\coprod_x A_x\) \( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{x\in X} A_x \)\(\coprod_{x\in X}\sigma_x \) \( (\coprod_{U\in |Open(X)|} A(U))\times X \) \( \{(a, x) \in (\coprod_{U\in |Open(X)|} A(U))\times X | x \in def(a)\} \)

ジャーム空間G(A)は、\(\coprod_x A_x\) と書けました。茎〈ストーク〉の寄せ集めですね。各茎には、前の補足で述べた射影 qxσx→Ax があります。これらの射影を寄せ集めると、次の写像を定義できます。 \( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{…