Diagram przemienny: Różnice pomiędzy wersjami

Usunięte 4 bajty ,  11 lat temu
→‎Dowodzenie: drobne merytoryczne
[wersja przejrzana][wersja przejrzana]
(→‎Dowodzenie: drobne merytoryczne)
(→‎Dowodzenie: drobne merytoryczne)
 
== 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 grup|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.
 
== Zobacz też ==