2021-01-17 今週の数学 2021 / 1/11 - 1/17 日記 今週は, 次の通りに進めていました: [1] 形式冪級数によって定義された, 強解析関数, 弱解析関数について, 代入法則と陰関数定理. [2] 代数トポロジーは, relative cohomology の入り口まで. クラインの壺の単体分割とその cochain [3] 代数は, 斜交基底まで. 交代形式のパフ式と行列式の関係. [4] 集合論は, composition operation が単射になる場合の定式化.