Diagram przemienny: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Luckas-bot (dyskusja | edycje) m r2.7.1) (robot dodaje: es:Diagrama conmutativo |
Januszkaja (dyskusja | edycje) →Dowodzenie: iniekcja to zastrzyk, przekształcenie to injekcja |
||
Linia 14: | Linia 14: | ||
== Dowodzenie == |
== 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| |
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"|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ż == |
== Zobacz też == |
Wersja z 20:05, 24 cze 2011
Diagram przemienny – diagram w matematyce, a szczególnie jej dziale nazywanym teorią kategorii, który składa się z obiektów (nazywanych również wierzchołkami) i morfizmów (znanych także jako strzałki lub krawędzie) takich, że wybranie skierowanej drogi w diagramie dla dowolnych dwóch obiektów prowadzi do tego samego wyniku przy składaniu. Diagramy przemienne odgrywają analogiczną rolę w teorii kategorii do równań w algebrze.
Przykłady
W następującym przykładzie przedstawiającym pierwsze twierdzenie o izomorfizmie przemienność oznacza, że :
Niżej znajduje się standardowy kwadrat przemienny, w którym .
Symbole
W tekstach algebraicznych rodzaj morfizmu może być oznaczony różnymi typami strzałek: monomorfizmy za pomocą , epimorfizmy za pomocą , a izomorfizmy za pomocą . Przerywana strzałka zwykle oznacza, że w danym diagramie postuluje się istnienie wskazanego morfizmu. Jest to na tyle popularne, że w tekstach nie tłumaczy się rodzajów strzałek.
Sprawdzanie przemienności
Przemienność ma sens dla wieloboku dowolnej skończonej liczbie boków (włączając w to nawet 1 i 2), a diagram jest przemienny, jeżeli każdy pod-diagram wieloboczny jest przemienny.
Dowodzenie
Popularną metodą dowodzenia, szczególnie w 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 injektywność, czy suriektywność przekształceń albo 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.