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

[مراجعة غير مفحوصة]

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

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

مضمن

نسخة 12:28، 2 ديسمبر 2012

في الرياضيات وخاصة في نظرية التصنيف، يُعرف المخطط التبادلي بأنه مخطط الكائنات (يعرف أيضًاباسم الرؤوس) وانخفاضات الأشكال (تعرف أيضًا باسم الأسهم أو الأضلاع) وفيه تؤدي جميع المسارات المتجهة في المخطط من نفس نقاط البداية والنهاية إلى نفس النتيجة من حيث البنية. تلعب المخططات التبادلية دورًا هامًا في نظرية التصنيف كذلك الذي تلعبه المعادلات في الجبر (انظر بر ويلز (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$ )، يطلق عليها في بعض الأحيان الشكل الحر)، كما هو الحال في تعريف المتكافئ لا يحتاج إلى تبادل. علاوة على ذلك، فإن المخططات قد تكون غير مرتبة أو يستحيل رسمها وذلك عندما تكون الكائنات أو احتفاظات الشكل كبيرة (أو حتى غير محدودة).

المراجع

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

وصلات خارجية

Diagram Chasing at MathWorld
WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, categories, functors, natural transformations.

انظر أيضًا

المخططات الرياضية

@@ سطر 4: / سطر 4: @@
 ==أمثلة==
-في المخطط التالي الذي يعبر عن [[نظرية التماثل الأولى]]، فإن التبادلية تعني أن <math>f= /تكافئ {f} / تقريبًا /pi (f = \tilde{f} \circ \pi)</math>:
+في المخطط التالي الذي يعبر عن [[نظرية التماثل الأولى]]، فإن التبادلية تعني أن <math>f = \tilde{f} \circ \pi</math>:
 [[Image:First isomorphism theorem (plain).svg|175px]]
-فيما يلي مربع تبادلي عام فيه <math>h \تقرب إلى f = k \تقرب إلى g (h \circ f = k \circ g)</math>
+فيما يلي مربع تبادلي عام فيه <math>h \circ f = k \circ g</math>
 [[Image:Commutative square.svg|150px]]
 ===الرموز===
-في نصوص الجبر، يمكن الإشارة إلى نوع [[انحفاظ الشكل]] باستخدام الأسهم بأشكال مختلفة فيشار إلى : [[انحفاظ الأشكال الأحادية]] باستخدام <math>أسهم معقوفة</math>، و[[الأشكال المقطوعة]] باستخدام <math> أسهم ثنائية الرأس متجهة يمينًا</math>, و[[الأشكال المتماثلة]]باستخدام <math>\سهم مقلوب{\sim}{/سهم متجه إلى اليمين}</math>. يمثل السهم المتقطع عادة الادعاء بأن انحفاظات الأشكال المشار إليها توجد طالما استمر بقية المخطط. وهذا أمر شائع في كثير من الأحيان بما يكفي لأن تكون النصوص لا تفسر معاني أنواع مختلفة من الأسهم.
+في نصوص الجبر، يمكن الإشارة إلى نوع [[انحفاظ الشكل]] باستخدام الأسهم بأشكال مختلفة فيشار إلى : [[انحفاظ الأشكال الأحادية]] باستخدام <math>\hookrightarrow</math>، و[[الأشكال المقطوعة]] باستخدام <math>\twoheadrightarrow</math>, و[[الأشكال المتماثلة]]باستخدام <math>\overset{\sim}{\rightarrow}</math>. يمثل السهم المتقطع عادة الادعاء بأن انحفاظات الأشكال المشار إليها توجد طالما استمر بقية المخطط. وهذا أمر شائع في كثير من الأحيان بما يكفي لأن تكون النصوص لا تفسر معاني أنواع مختلفة من الأسهم.
 ==التحقق من التبادلية==
@@ سطر 39: / سطر 39: @@
 * العلاقة التي تتفرد بها هذه الانحفاظات (ويعرف أي تركيب للخرائط حسب مجالها، والهدف : وهو ما يطلق عليه اسم البديهيات).
-ومع ذلك ليس كل مخطط تبادليًا بالضرورة (ففكرة المخطط تعمم بشدة المخطط التبادلي) : وفي أبسط الأشكال، فإن مخطط الكائن الفردي الذي يتضمن شكلاً بلوريًا (<math>f\colon X \to X</math>)، أو يتضمن سهمين متوازيين (<math>كرات صغيرة/أسهم متجهة إلى اليمين /كرات صغيرة</math>، تمثل <math>f,g\colon X \to Y</math>)، يطلق عليها في بعض الأحيان [[الشكل الحر]])، كما هو الحال في تعريف [[المتكافئ (رياضيات)|المتكافئ]] لا يحتاج إلى تبادل. علاوة على ذلك، فإن المخططات قد تكون غير مرتبة أو يستحيل رسمها وذلك عندما تكون الكائنات أو احتفاظات الشكل كبيرة (أو حتى غير محدودة).
+ومع ذلك ليس كل مخطط تبادليًا بالضرورة (ففكرة المخطط تعمم بشدة المخطط التبادلي) : وفي أبسط الأشكال، فإن مخطط الكائن الفردي الذي يتضمن شكلاً بلوريًا (<math>f\colon X \to X</math>)، أو يتضمن سهمين متوازيين (<math>\bullet \rightrightarrows \bullet</math>، تمثل <math>f,g\colon X \to Y</math>)، يطلق عليها في بعض الأحيان [[الشكل الحر]])، كما هو الحال في تعريف [[المتكافئ (رياضيات)|المتكافئ]] لا يحتاج إلى تبادل. علاوة على ذلك، فإن المخططات قد تكون غير مرتبة أو يستحيل رسمها وذلك عندما تكون الكائنات أو احتفاظات الشكل كبيرة (أو حتى غير محدودة).
 ==المراجع==
-*{{cite book | last = Adámek | first = Jiří | coauthors = Horst Herrlich, and George E. Strecker | year = 1990 | url =<a href="http://katmat.math.uni-bremen.de/acc/acc.pdf">http://katmat.math.uni-bremen.de/acc/acc.pdf</a> | title = Abstract and Concrete Categories | publisher = John Wiley & Sons | isbn = 0-471-60922-6}} Now available as free on-line edition (4.2MB PDF).
+*{{cite book | last = Adámek | first = Jiří | coauthors = Horst Herrlich, and George E. Strecker | year = 1990 | url =http://katmat.math.uni-bremen.de/acc/acc.pdf | title = Abstract and Concrete Categories | publisher = John Wiley & Sons | isbn = 0-471-60922-6}} Now available as free on-line edition (4.2MB PDF).
-* {{Cite book| last1=Barr| first1=Michael|authorlink1=Michael Barr (mathematician)  | last2=Wells| first2=Charles| authorlink2=Charles Wells (mathematician) | year=2002| title=Toposes, Triples and Theories|url=<a href="http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf">http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf</a> |isbn=0-387-96115-1}} Revised and corrected free online version of ''Grundlehren der mathematischen Wissenschaften (278)'' Springer-Verlag, 1983).
+* {{Cite book| last1=Barr| first1=Michael|authorlink1=Michael Barr (mathematician)  | last2=Wells| first2=Charles| authorlink2=Charles Wells (mathematician) | year=2002| title=Toposes, Triples and Theories|url=http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf |isbn=0-387-96115-1}} Revised and corrected free online version of ''Grundlehren der mathematischen Wissenschaften (278)'' Springer-Verlag, 1983).
 == وصلات خارجية ==
-* [<a href="http://mathworld.wolfram.com/DiagramChasing.html">http://mathworld.wolfram.com/DiagramChasing.html</a> Diagram Chasing] at [[MathWorld]]
+* [http://mathworld.wolfram.com/DiagramChasing.html Diagram Chasing] at [[MathWorld]]
-* [<a href="http://wildcatsformma.wordpress.com">http://wildcatsformma.wordpress.com</a> WildCats] is a category theory package for [[Mathematica]]. Manipulation and visualization of objects, [[morphism]]s, categories, [[functor]]s, [[natural transformation]]s.
+* [http://wildcatsformma.wordpress.com WildCats] is a category theory package for [[Mathematica]]. Manipulation and visualization of objects, [[morphism]]s, categories, [[functor]]s, [[natural transformation]]s.
 == انظر أيضًا ==
 * [[المخططات الرياضية]]
-[[Category:Homological algebra]]
+[[Category:نظرية التصنيف]]
-[[Category:Category theory]]
+[[Category:براهين]]
-[[Category:Mathematical proofs]]
+[[Category:مصطلحات رياضية]]
-[[Category:Mathematical terminology]]
-[[Category:Diagrams]]
 [[de:Kommutatives Diagramm]]