0155(承前)垢版 | 大砲2018/02/01(木) 20:27:58.01ID:KI6HKux8 (アンカーケース, k = 1の場合の仮定) (1) H0(S1) ~= R (2) H0(M1) (+) H0(M2) ~= R (+) R (3) H0(M12) ~= R (4) H1(M1) ~= R (1)-(3)は0次閉形式は連結成分上で定数をとる関数であることよる. (4)は H1(M1) ni α -> ∫α in R という同型写像を直接構成することでわかる.