Diagram przemienny: Różnice pomiędzy wersjami

Rozmiar się nie zmienił ,  11 lat temu
→‎Dowodzenie: iniekcja to zastrzyk, przekształcenie to injekcja
[wersja przejrzana][wersja przejrzana]
m (r2.7.1) (robot dodaje: es:Diagrama conmutativo)
(→‎Dowodzenie: iniekcja to zastrzyk, przekształcenie to injekcja)
 
== 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|iniektywnośćinjektywność]], czy [[funkcja "na"|suriektywność]] 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 metodzoe dowodzenia: „ściga” się elementy po całym diagramie, aż skonstruuje się upragniony element lub sprawdzi poprawność wyniku.
 
== Zobacz też ==