https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
external product theoremからBott periodicityを出す。
XとYのsmash product X \wedge Y = X \times Y / X \vee Yのreduced K-theoryを考える。
まず空間対(X, A)に対し、\tilde{K}(X/A) \to \tilde{K}(X) \to \tilde{K}(A)が定まり、これは完全になる。
Im \sub kerはA \to X \to X/Aで引き戻して自明になるかどうかだが、これは一点からの引き戻しになるのでよい。
逆向きの包含。Aに制限して自明なことから、Aの近傍で自明になり、これによりX/A上のベクトル束が定まる。
またAが可縮なとき、X \to X/Aが誘導するVect^n(X/A) \to Vect(X)は全射になる。
