У математиці, та особливо в теорії категорій, комутативна діаграма — зображувана в наочному вигляді структура на кшталт графу, вершинами якої служать об'єкти певної (категорії), а ребрами — морфізм. Комутативність означає, що для будь-яких вибраних початкового та кінцевого об'єкта, для орієнтованих шляхів, які поєднують їх, композиція відповідних шляху морфізмів не залежатиме від вибору шляху. Крім власне теорії категорій, комутативні діаграми незамінні в алгебричній геометрії та застосовуються в багатьох інших сучасних галузях математики.
Приклади
У прикладі, що ілюструє першу теорему про ізоморфізми, комутативність діаграми значить рівно те, що :
Для комутативного прямокутника комутативність означає незалежність вибору шляху:
Позначки
В алгебрі різні типи морфізмів позначаються різними стрілками: просто морфізм; мономорфізм, епіморфізм, ізоморфізм. Пунктирна стрілка зазвичай позначає шуканий морфізм (тоді як суцільні стрілки задані з самого спочатку). Йдеться про те, що якщо існує шлях для морфізму (позначених суцільними лініями), що з'єднує початок та кінець шуканого морфізму, то він існує та визначається з властивостей комутативності діаграми.
Див. також
Посилання
- Діаграми в MathWorld. [ 22 Листопада 2020 у Wayback Machine.]
- WildCats Теорія категорій в пакеті Математика. Перетворення та візуалізація об'єктів, морфізма, (категорії), функторів, .[[https://web.archive.org/web/20210101171045/http://wildcatsformma.wordpress.com/ Архівовано 1 Січня 2021 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U matematici ta osoblivo v teoriyi kategorij komutativna diagrama zobrazhuvana v naochnomu viglyadi struktura na kshtalt grafu vershinami yakoyi sluzhat ob yekti pevnoyi kategoriyi a rebrami morfizm Komutativnist oznachaye sho dlya bud yakih vibranih pochatkovogo ta kincevogo ob yekta dlya oriyentovanih shlyahiv yaki poyednuyut yih kompoziciya vidpovidnih shlyahu morfizmiv ne zalezhatime vid viboru shlyahu Krim vlasne teoriyi kategorij komutativni diagrami nezaminni v algebrichnij geometriyi ta zastosovuyutsya v bagatoh inshih suchasnih galuzyah matematiki PrikladiU prikladi sho ilyustruye pershu teoremu pro izomorfizmi komutativnist diagrami znachit rivno te sho f f p displaystyle f tilde f circ pi Dlya komutativnogo pryamokutnika komutativnist oznachaye nezalezhnist viboru shlyahu h f k g displaystyle h circ f k circ g PoznachkiV algebri rizni tipi morfizmiv poznachayutsya riznimi strilkami displaystyle rightarrow prosto morfizm displaystyle hookrightarrow monomorfizm displaystyle twoheadrightarrow epimorfizm displaystyle overset sim rightarrow izomorfizm Punktirna strilka zazvichaj poznachaye shukanij morfizm todi yak sucilni strilki zadani z samogo spochatku Jdetsya pro te sho yaksho isnuye shlyah dlya morfizmu poznachenih sucilnimi liniyami sho z yednuye pochatok ta kinec shukanogo morfizmu to vin isnuye ta viznachayetsya z vlastivostej komutativnosti diagrami Div takozhTochna poslidovnistPosilannyaDiagrami vMathWorld 22 Listopada 2020 u Wayback Machine WildCats Teoriya kategorij v paketiMatematika Peretvorennya ta vizualizaciya ob yektiv morfizma kategoriyi funktoriv https web archive org web 20210101171045 http wildcatsformma wordpress com Arhivovano 1 Sichnya 2021 u Wayback Machine