カップ積

定義 4.1（「コホモロジーと双対性」§4）

$\varphi\in C^k(X;R)$ 、 $\psi\in C^l(X;R)$ に対し、 $\varphi\smile\psi\in C^{k+l}(X;R)$ を

(\varphi\smile\psi)(\sigma)=\varphi\bigl(\sigma|[e_0,\dots,e_k]\bigr)\,\psi\bigl(\sigma|[e_k,\dots,e_{k+l}]\bigr)

で定める。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。