Diagram przemienny: Różnice pomiędzy wersjami

== Dowodzenie ==

Popularną metodą [[dowód (matematyka)|dowodzenia]], szczególnie w [[algebra homologiczna|algebrze homologicznej]], jest tzw. ''diagram chasing'' (ściganie [elementów] po diagramie). Dla danego diagramu przemiennego „dowód przez ściganie” polega na formalnym wykorzystaniu jego własności, takich jak [[funkcja różnowartościowa|injektywność]], czy [[funkcja "na"|surjektywność]] przekształceń albo [[Ciąg dokładny |ciągi dokładne]]. W wyniku tego postępowania konstruuje się [[sylogizm]], dla którego graficzne przedstawienie w postaci diagramu jest tylko pomocą wzrokową. Nazwa ma swoje źródło w metodzie dowodzenia: „ściga” się elementy po całym diagramie, aż skonstruuje się upragniony element lub sprawdzi poprawność wyniku.

 

== Linki zewnętrzne ==

* [http://mathworld.wolfram.com/DiagramChasing.html Diagram Chasing] at [[MathWorld]]

 

[[Kategoria:Teoria kategorii]]