図式追跡

ウィキペディア小見出し辞書

図式追跡

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/24 15:52 UTC 版)

「可換図式」の記事における「図式追跡」の解説

図式追跡（diagram chasing, diagram chase）とは、特にホモロジー代数において用いられる数学的証明の手法である。可換図式が与えられると、図式追跡による証明は、単射や全射あるいは完全列といった図式の性質の形式的な使用を伴う。三段論法が構成され、図式の図による表示はただの視覚的助けである。所望の元あるいは結果が構成されるか確認されると、図式の元を「追跡」することが終わる。 図式追跡による証明の例には、5項補題、スネーク補題、ジグザグ補題、9項補題の典型的な証明がある。