https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf S^nX \to \Sigma^nX = S^n \wedge XはD^nを潰す射で、これは\tilde{K}の同型を導く。 昨日の話から、\tilde{K}(S^2) \otimes \tilde{K}(X) \to \tilde{K}(S^2 \wedge X)が定まるので、H-1 \in \tilde{K}(…