On the products \(C_hC_k\) and \(C_h\times C_k\) in topology (Q567020)

Zwischen den kombinatorischen Eigenschaften des Produktkomplexes \(C_h\times C_k\) zweier Komplexe \(C_h\), \(C_k\) und denen des Komplexes \(C_hC_k\), der aus allen von je einem Simplex von \(C_h\) und einem Simplex von \(C_k\) aufgespannten Simplexen sowie den Simplexen von \(C_h\) und \(C_k\) selbst gebildet wird, besteht eine enge Verwandtschaft; sie beruht darauf, daß\ man \(C_h\times C_k\) so in \(C_hC_k\) einbetten kann, daß\ jedes Simplex von \(C_hC_k\), dessen \(C_h\)- und \(C_k\)-Bestandteil beide nicht leer sind, eine und nur eine Zelle von \(C_h\times C_k\) enthält, wobei die Inzidenzrelationen die gleichen sind. Im übrigen ist \(C_hC_k\) der kombinatorischen Behandlung leichter zugänglich als \(C_h\times C_k\), weil für Simplexe \(A_h\), \(A_k\) zwar \(A_hA_k\) wieder ein Simplex ist, nicht aber \(A_h\times A_k\). Das nutzt Verf. dazu aus, um im kombinatorischen Kalkül (vgl. Verf. 1931; F. d. M. \(57_{\text{I}}\), 715) auf dem Wege über \[ (C_i.C_j)_{M_m}(C_h.C_k)_{M_n}=(-1)^{(m-i)(n-k)}(C_iC_h.C_jC_k)_{M_mM_n} \] die Formel \[ (C_i.C_j)_{M_m}\times (C_h.C_k)_{M_n}=(-1)^{(m-i)(n-k)}\left ((C_i\times C_h).(C_j\times C_k)\right )_{M_m\times M_n} \] zu beweisen; darin bezeichnet \((C_\varkappa .C_\lambda )_{M_\nu }\) den Schnittkomplex der in der Mannigfaltigkeit \(M_\nu \) gelegenen Komplexe \(C_\varkappa \), \(C_\lambda \). Die Bildung auf der rechten Seite der ersten Formel ist zulässig, weil \(M_mM_n\), das im allgemeinen keine Mannigfaltigkeit ist, in allen nicht zu \(M_m\) oder \(M_n\) gehörenden Punkten Mannigfaltigkeitscharakter hat.