https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
\tilde{K}(X) \oplus \tilde{K}(Y) \to \tilde{K}(X \times Y)はsplitする。
この射はX \vee Y \to X \times Yでの制限から誘導されるもので、pr1, pr2:X \times Y \to X, Yにより\tilde{K}(X) \oplus \tilde{K}(Y) \to \tilde{K}(X \times Y)が定まり、これがsplittingを与える。
また\tilde{K}(X) \otimes \tilde{K}(Y) \to \tilde{K}(X \wegde Y)が次のようにして定まる。
これはpr1^*aとpr2^*bのテンソル積によりK(X \times Y)が定まり、K(X \vee Y)で0になる。
したがってこれが\tilde{K}(X \wedge Y)の元を定める。
