https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
X \wedge Yのreduced Kについて調べる。
X \wedge Y = X \times Y / X \vee Yなので、以下の長完全列がある。
\tilde{K}(S(X \times Y)) \to \tilde{K)(S(X \vee Y)) \to \tilde{K}(X \wedge Y) \to \tilde{K}(X \times Y) \to \tilde{K}(X \vee Y)
また\tilde{K}(X \vee Y) = \tilde{K}(X) \oplus \tilde{K}(Y), \tilde{K}(S(X \vee Y)) = \tilde{K}(S(X)) \oplus \tilde{K}(S(Y))である。
これは、SZ \to \SigmaZが\tilde{K}の同型を引き起こすこと、\Sigma(X \vee Y) = \Sigma X \vee \Sigma Yであることを使えばわかる。
