とぽろじい　～大人の数学自由研究～

代数的トポロジー(Algebraic topology, 代数的位相幾何学)と言えば「ホモロジー群」「コホモロジー環」「ホモトピー群」 といったホモトピー不変量が登場します。 たとえばホモロジー群、コホモロジー環は『初見では定義が複雑な反面、簡単な計算法(切除同型、Mayor-Vietoris 完全列など)がある』一方、ホモトピー群は『定…