مخطط تبادلي: الفرق بين النسختين

[نسخة منشورة]

تم حذف المحتوى تمت إضافة المحتوى

مضمن

نسخة 13:27، 13 مايو 2021

في الرياضيات وخاصة في نظرية التصنيف، المخطط التبادلي هو مخطط الكائنات (يعرف أيضًا باسم الرؤوس) وانخفاضات الأشكال (تعرف أيضًا باسم الأسهم أو الأضلاع) وفيه تؤدي جميع المسارات المتجهة في المخطط من نفس نقاط البداية والنهاية إلى نفس النتيجة من حيث البنية.^[1]^[2]^[3] تلعب المخططات التبادلية دورًا هامًا في نظرية التصنيف كذلك الذي تلعبه المعادلات في الجبر (انظر بر ويلز (Barr-Wells)، القسم 1.7).

لاحظ أن المخطط قد لا يكون تبادليًا، أي أن تركيب المسارات المختلفة في المخطط لا يعطي نفس النتيجة. للتوضيح، يمكن استخدام عبارات مثل "هذا المخطط التبادلي" أو "المخطط يتبادل".

أمثلة

في المخطط التالي الذي يعبر عن نظرية التماثل الأولى، فإن التبادلية تعني أن $f={\tilde {f}}\circ \pi$ :

فيما يلي مربع تبادلي عام فيه $h\circ f=k\circ g$

الرموز

في نصوص الجبر، يمكن الإشارة إلى نوع انحفاظ الشكل باستخدام الأسهم بأشكال مختلفة فيشار إلى : انحفاظ الأشكال الأحادية باستخدام $\hookrightarrow$ ، والأشكال المقطوعة باستخدام $\twoheadrightarrow$ , والأشكال المتماثلةباستخدام ${\overset {\sim }{\rightarrow }}$ . يمثل السهم المتقطع عادة الادعاء بأن انحفاظات الأشكال المشار إليها توجد طالما استمر بقية المخطط. وهذا أمر شائع في كثير من الأحيان بما يكفي لأن تكون النصوص لا تفسر معاني أنواع مختلفة من الأسهم.

التحقق من التبادلية

تكون التبادلية منطقية في شكل مضلع بأي عدد محدود من الأضلاع (بما في ذلك ضلع أو ضلعان فقط)، بينما يكون المخطط تبادليًا إذا كان كل مخطط فرعي مضلع الشكل تبادليًا أيضًا.

تتبع المخطط

تتبع المخطط هو إحدى وسائل البراهين الرياضية المستخدمة خاصة في الجبر التماثلي. بالنسبة للمخطط التبادلي، فإن البرهنة باستخدام تتبع المخطط تتطلب الاستخدام الرسمي لخصائص المخطط، مثل الخرائط التباينية أو الشمولية، أو التسلسلات الدقيقة. حيث يؤسس القياس المنطقي، ويكون رسم المخطط مجرد وسيلة بصرية مساعدة. ويترتب على ذلك أن ينتهي الأمر إلى "تتبع" عناصر حول المخطط، حتى يتم إنشاء العنصر أو النتيجة المطلوبة أو التحقق منها.

من الأمثلة على البراهين باستخدام تتبع المخطط تلك التي تعطى في البرهان اللمي الخامس والبرهان اللمي على شكل الحية والبرهان اللمي المتعرج والبرهان اللمي التاسع.

المخططات كدوال

يمكن تفسير المخطط التبادلي في التصنيف C باعتباره دالة من فهرس التصنيف، J إلى C; يطلق على الدالة المخطط..

بشكل رسمي أكثر، يعد المخطط التبادلي تصويرًا لمخطط مفهرس بواسطة تصنيف مرتب جزئيا:

ترسم عقدة كل كائن في فهرس التصنيف،
يرمز السهم لإنشاء مجموعة من انحفاظات الشكل،
إزالة خرائط الهوية وانحفاظات الشكل التي يمكن التعبير عنها بشكل تركيبات،
تتوافق تبادلية المخطط (المساواة بين التركيبات المختلفة من الخرائط والكائنين) مع تفرد الخريطة بين الكائنين في التصنيف المرتب جزئيًا.

وبالعكس، يحدد المخطط التبادلي التصنيفات المرتبة جزئيًا:

فالكائنات هي العقد،
هناك انحفاظات للشكل بين أي كائنين وفقط إذا كان هناك مسار (موجه) بين العقد،
العلاقة التي تتفرد بها هذه الانحفاظات (ويعرف أي تركيب للخرائط حسب مجالها، والهدف : وهو ما يطلق عليه اسم البديهيات).

ومع ذلك ليس كل مخطط تبادليًا بالضرورة (ففكرة المخطط تعمم بشدة المخطط التبادلي) : وفي أبسط الأشكال، فإن مخطط الكائن الفردي الذي يتضمن شكلاً بلوريًا ( $f\colon X\to X$ )، أو يتضمن سهمين متوازيين ( $\bullet \rightrightarrows \bullet$ ، تمثل $f,g\colon X\to Y$ )، يطلق عليها في بعض الأحيان الشكل الحر)، كما هو الحال في تعريف المتكافئ لا يحتاج إلى تبادل. علاوة على ذلك، فإن المخططات قد تكون غير مرتبة أو يستحيل رسمها وذلك عندما تكون الكائنات أو احتفاظات الشكل كبيرة (أو حتى غير محدودة).

المراجع

^ diagram "معلومات عن مخطط تبادلي على موقع ncatlab.org". ncatlab.org. {{استشهاد ويب}}: تحقق من قيمة |مسار= (مساعدة)
^ "معلومات عن مخطط تبادلي على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 2021-05-13.
^ "معلومات عن مخطط تبادلي على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 2020-11-22.

Adámek، Jiří (1990). Abstract and Concrete Categories (PDF). John Wiley & Sons. مؤرشف من الأصل (PDF) في 2021-04-13. {{استشهاد بكتاب}}: الوسيط غير المعروف |مؤلفين مشاركين= تم تجاهله يقترح استخدام |authors= (مساعدة) Now available as free on-line edition (4.2MB PDF).
Barr، Michael؛ Wells، Charles (2002). Toposes, Triples and Theories (PDF). مؤرشف من الأصل (PDF) في 2021-04-26. Revised and corrected free online version of Grundlehren der mathematischen Wissenschaften (278) Springer-Verlag, 1983).

وصلات خارجية

Diagram Chasing at موقع ماثوورلد
WildCats is a category theory package for ماثماتيكا. Manipulation and visualization of objects, تطبيق محافظ على الشكلs, categories, مدلال (رياضيات)s, natural transformations.

بوابة رياضيات

في كومنز صور وملفات عن: مخطط تبادلي

[1] ram "معلومات عن مخطط تبادلي على موقع ncatlab.org". ncatlab.org. {{استشهاد ويب}}: تحقق من قيمة |مسار= (مساعدة)

[2] "معلومات عن مخطط تبادلي على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 2021-05-13.

[3] "معلومات عن مخطط تبادلي على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 2020-11-22.

[1]

[2]

[3]

@@ سطر 1: / سطر 1: @@
 {{يتيمة|تاريخ=أكتوبر 2015}}
-في [[الرياضيات]] وخاصة في [[نظرية التصنيف]]، '''المخطط التبادلي''' هو [[مخطط (بنظرية التصنيف)|مخطط]] الكائنات (يعرف أيضًا باسم ''الرؤوس'') و[[انخفاضات الأشكال]] (تعرف أيضًا باسم ''الأسهم'' أو ''الأضلاع'') وفيه تؤدي جميع المسارات المتجهة في المخطط من نفس نقاط البداية والنهاية إلى نفس النتيجة من حيث [[التصنيف (الرياضيات)#التعريف|البنية]].<ref>{{استشهاد ويب| مسار = https://ncatlab.org/nlab/show/commutative diagram | عنوان = معلومات عن مخطط تبادلي على موقع ncatlab.org | ناشر = ncatlab.org}}</ref><ref>{{استشهاد ويب| مسار = https://academic.microsoft.com/v2/detail/92772293 | عنوان = معلومات عن مخطط تبادلي على موقع academic.microsoft.com | ناشر = academic.microsoft.com}}</ref><ref>{{استشهاد ويب| مسار = http://mathworld.wolfram.com/CommutativeDiagram.html | عنوان = معلومات عن مخطط تبادلي على موقع mathworld.wolfram.com | ناشر = mathworld.wolfram.com}}</ref> تلعب المخططات التبادلية دورًا هامًا في نظرية التصنيف كذلك الذي تلعبه [[المعادلات]] في [[الجبر]] (انظر بر ويلز (Barr-Wells)، القسم 1.7).
+في [[الرياضيات]] وخاصة في [[نظرية التصنيف]]، '''المخطط التبادلي''' هو [[مخطط (بنظرية التصنيف)|مخطط]] الكائنات (يعرف أيضًا باسم ''الرؤوس'') و[[انخفاضات الأشكال]] (تعرف أيضًا باسم ''الأسهم'' أو ''الأضلاع'') وفيه تؤدي جميع المسارات المتجهة في المخطط من نفس نقاط البداية والنهاية إلى نفس النتيجة من حيث [[التصنيف (الرياضيات)#التعريف|البنية]].<ref>{{استشهاد ويب| مسار = https://ncatlab.org/nlab/show/commutative diagram | عنوان = معلومات عن مخطط تبادلي على موقع ncatlab.org | ناشر = ncatlab.org}}</ref><ref>{{استشهاد ويب| مسار = https://academic.microsoft.com/v2/detail/92772293 | عنوان = معلومات عن مخطط تبادلي على موقع academic.microsoft.com | ناشر = academic.microsoft.com|مسار أرشيف= https://web.archive.org/web/20210513132702/https://academic.microsoft.com/v2/detail/92772293|تاريخ أرشيف=2021-05-13}}</ref><ref>{{استشهاد ويب| مسار = http://mathworld.wolfram.com/CommutativeDiagram.html | عنوان = معلومات عن مخطط تبادلي على موقع mathworld.wolfram.com | ناشر = mathworld.wolfram.com|مسار أرشيف= https://web.archive.org/web/20201122192020/https://mathworld.wolfram.com/CommutativeDiagram.html|تاريخ أرشيف=2020-11-22}}</ref> تلعب المخططات التبادلية دورًا هامًا في نظرية التصنيف كذلك الذي تلعبه [[المعادلات]] في [[الجبر]] (انظر بر ويلز (Barr-Wells)، القسم 1.7).
 لاحظ أن المخطط قد لا يكون تبادليًا، أي أن تركيب المسارات المختلفة في المخطط لا يعطي نفس النتيجة. للتوضيح، يمكن استخدام عبارات مثل "هذا المخطط التبادلي" أو "المخطط يتبادل".
@@ سطر 41: / سطر 41: @@
 {{مراجع}}
-* {{استشهاد بكتاب | الأخير = Adámek | الأول = Jiří | مؤلفين مشاركين = Horst Herrlich, and George E. Strecker | سنة = 1990 | مسار =http://katmat.math.uni-bremen.de/acc/acc.pdf | عنوان = Abstract and Concrete Categories | ناشر = John Wiley & Sons | الرقم المعياري = 0-471-60922-6}} Now available as free on-line edition (4.2MB PDF).
+* {{استشهاد بكتاب | الأخير = Adámek | الأول = Jiří | مؤلفين مشاركين = Horst Herrlich, and George E. Strecker | سنة = 1990 | مسار = http://katmat.math.uni-bremen.de/acc/acc.pdf | عنوان = Abstract and Concrete Categories | ناشر = John Wiley & Sons | الرقم المعياري = 0-471-60922-6|مسار أرشيف= https://web.archive.org/web/20210413013705/http://katmat.math.uni-bremen.de/acc/acc.pdf|تاريخ أرشيف=2021-04-13}} Now available as free on-line edition (4.2MB PDF).
-* {{استشهاد بكتاب| الأخير1=Barr| الأول1=Michael|وصلة مؤلف1=Michael Barr (mathematician)  | الأخير2=Wells| الأول2=Charles| وصلة مؤلف2=Charles Wells (mathematician) | سنة=2002| عنوان=Toposes, Triples and Theories|مسار=http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf |الرقم المعياري=0-387-96115-1}} Revised and corrected free online version of ''Grundlehren der mathematischen Wissenschaften (278)'' Springer-Verlag, 1983).
+* {{استشهاد بكتاب| الأخير1=Barr| الأول1=Michael|وصلة مؤلف1=Michael Barr (mathematician)  | الأخير2=Wells| الأول2=Charles| وصلة مؤلف2=Charles Wells (mathematician) | سنة=2002| عنوان=Toposes, Triples and Theories|مسار= http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf |الرقم المعياري=0-387-96115-1|مسار أرشيف= https://web.archive.org/web/20210426000356/http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf|تاريخ أرشيف=2021-04-26}} Revised and corrected free online version of ''Grundlehren der mathematischen Wissenschaften (278)'' Springer-Verlag, 1983).
 == وصلات خارجية ==
 * [http://mathworld.wolfram.com/DiagramChasing.html Diagram Chasing] at [[موقع ماثوورلد]]