ON THE PROPERTIES OF LOCAL HOMOLOGY GROUPS OF SHEAVES

모든 기호(記號)는 G.E Bredon의 저(著) Sheaf Theory의 기호(記號)를 따른다. A가 torsion free이며 elementary sheaf이라 하자. 그리고 L을 injective L-module이라 하자 $dim_{\varphi}X<{\infty}$이라면 support의 $family{\varphi}$와 locally subset z에 대하여 ${\Gamma}_{z}(^{\sim}Hom({\Gamma}_{\varphi}(L),L){\otimes}A){\simeq}H_0{^{z}}(X:A)\;H_{-p}{^{z}}(X:A)=0,\;p=1,2,3,$⋯⋯ 이며 support의 family c와 compact subset z에 대하여도 ${\Gamma}_{z}(^{\sim}Hom({\Gamma}_{c}(L),L){\otimes}A){\simeq}H_0{^{z}}(X:A)\;H_{-y}{^{z}}(X:A)=0,\;p=1,2,3,$⋯⋯ A가 elementary이면 locally closed z와 z에서 closed인 $z^{\prime}$ 그리고 $z^{\prime\prime}=z-z^{\prime}$에 대하여 exact sequence ⋯⋯${\rightarrow}H^{z^{\prime}}_{p}\;(X:A){\rightarrow}H^{z}_{p}(X:A){\rightarrow}H^{z^{\prime\prime}}_{p}\;(X:A){\rightarrow}$⋯⋯ 가 존재(存在)한다.