Diagram przemienny: Różnice pomiędzy wersjami

m
Drobne poprawki redakcyjne: typografia, linkowania etc.
[wersja przejrzana][wersja przejrzana]
m (Bot: Przenoszę linki interwiki (12) do Wikidata, są teraz dostępne do edycji na d:q621542)
m (Drobne poprawki redakcyjne: typografia, linkowania etc.)
 
== 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ść]], czy [[funkcja "na"„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 metodzie dowodzenia: „ściga” się elementy po całym diagramie, aż skonstruuje się upragniony element lub sprawdzi poprawność wyniku.
 
== Linki zewnętrzne ==
335 110

edycji