Diagram przemienny: Różnice pomiędzy wersjami

Usunięte 113 bajtów ,  10 lat temu
odlinkowanie Skarbnicy Wikipedii i przekierowań do niej
[wersja przejrzana][wersja przejrzana]
(drobne redakcyjne)
(odlinkowanie Skarbnicy Wikipedii i przekierowań do niej)
== 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.
 
== Zobacz też ==
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]]
 
== Linki zewnętrzne ==
{{Linki zewnętrzne|1=
* [http://mathworld.wolfram.com/DiagramChasing.html Diagram Chasing] at [[MathWorld]]
}}
 
[[Kategoria:Teoria kategorii]]
550 479

edycji