https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
Leray-Hirshの定理を示す。
thm 2.25
p:E \to Bをコンパクトハウスドルフ空間の間のFをファイバーとするファイバー束とする。
またK^*(F)が自由で、c_1,\ldots,c_k\in K^*(E)が各ファイバーでK^*(F)の基底に移るとする。
さらに
- Bが有限セル複体
- Fが有限セル複体で全て偶数次元
のいずれかが成り立てば、K^*(E)はK^*(B)加群としてc_1,\ldots,c_kで自由に生成される。