عملية تبديلية
في الرياضيات العملية التبادلية أو -أحياناً- التبديلية (بالإنجليزية: Commutativity)[هامش 1] هي قابلية العملية الرياضية لتبديل مواضع مُدْخلاتها دونما تغيّرٍ في النتيجة.[1][2][3] وهي إحدى الخصائص الأساسية في العديد من فروع الرياضيات.
في الرياضيات تكون العملية الثنائية تبادليةً إذا [وفقط إذا] كان تغيير ترتيب المعاملات لا يغير النتيجة. وهي خاصية أساسية للعديد من العمليات الثنائية، وعليها يعتمد العديد من البراهين الرياضية. والأكثر شيوعاً [للتدليل عليها] -مثل اسم الخاصية- المقولة التي تقول شيئاً ما مثل:
"3 + 4 = 4 + 3"، أو "2 × 5 = 5 × 2"
يمكن أيضاً استخدام هذه الخاصية في إعداداتٍ أكثر تقدماً. تحديد اسم «العملية التبادلية» مطلوب لأنه ثمة عملياتٌ مثل القسمة والطرح لا تتضمن هذه الخاصية التبادلية
(على سبيل المثال: "3 - 5 ≠ 5 - 3")
فهذه العمليات ليست تبادليةً، ولذلك يشار إليها بـ«العمليات غير التبادلية». إن الفكرةَ القائلة بأن العملياتِ البسيطةَ -مثل «ضرب» الأرقام و«جمعها»- هي عمليات تبادلية كانت مفترضةً ضمنياً لسنواتٍ عديدةٍ خلت. ولهذا لم تجرِ تسمية هذه الخاصية حتى القرن التاسع عشر عندما بدأتِ الرياضيات تغدو موحدةً.[4][5] توجد خاصية مقابلة للعلاقات الثنائية؛ يُقال إن العلاقةَ الثنائية متماثلةٌ إذا كانتِ العلاقة تنطبق بغض النظر عن ترتيب معاملاتها؛ على سبيل المثال [علاقة] المساواة متماثلةٌ حيث إن كائنين رياضيين متساويان بغض النظر عن ترتيبهما.[6] كما في قولنا:
"x = y"، وكذلك "y = x".
الاستخدامات الشائعة
عدلالخاصية التبادلية (أو القانون التبادلي) هي خاصية مرتبطة بشكلٍ عامٍّ بالعمليات والوظائف الثنائية. إذا كانت الخاصية التبادلية صحيحةً لزوجٍ من العناصر في إطار عمليةٍ ثنائيةٍ معينةٍ، فيقال عندئذٍ إن العنصرين يتبادلان في إطار تلك العملية.
المفاهيم الرياضية
عدلفي الرياضيات -ولا سيما في الجبر التجريدي- تكون عملية ثنائية ما معرفةً على مجموعة S تبادليةً إذا حققتِ الشرط التالي:
أيّاً كان x وy ضمن المجموعة S. أو بتعبيرٍ آخرَ في العملية إذا كان:
وتسمى العملية التي لا تفي بالخاصية المذكورة أعلاه غير تبادليةٍ.
ويقال عندئذٍ إن x يتبادل مع y، أو إن x وy يتبادلان في العملية أو إن x وy متبادلان إذا كان:
وبمعنىً آخرَ تكون العملية تبادليةً إذا كان كل زوجٍ من العناصر قابلين للتبادل.
وتسمى الدالة الثنائية -أحياناً- تبادليةً إذا كان:
مثل هذه الوظيفة تدعى بشكلٍ أكثر شيوعاً «الوظيفة المتماثلة».
من أمثلة العمليات غير التبادلية تركيب الدوال (f o g)، وtetration أو (a↑↑b)، وجداء المصفوفات.
أمثلة
عدلالعمليات التبادلية في الحياة اليومية
عدل- عملية التشفير وفك التشفير في أمن المعلومات الحاسوبية تعدّ عمليةً تبادليةً، حيث إن فك التشفير لا يهتم بترتيب التشفير، وكمثالٍ على ذلك لعبة البوكر العقلية.
- يعتبر ارتداء الحذاء عمليةً تبادليةً، لأنه لا يهم إذا مابدأتِ العملية بالقدم اليسرى أم اليمنى. وبالمثل يشبه ارتداء الجوارب عمليةً تبادليةً حيث إن ارتداء أيٍّ من الجوربين أولاً غير مهمٍّ، ففي كلتا الحالتين النتيجة (ارتداء كلا الجوربين) هي نفسها. في المقابل فإن ارتداء الملابس الداخلية والسراويل ليس تبادلياً.
- تلاحظ تبادلية «عملية الجمع» عند الدفع مقابل عنصرٍ ما نقداً، فبغضّ النظر عن ترتيب تسليم الإيصالات (الفواتير)، فإنها دائماً تظهر الإجمالي نفسه.
العمليات التبادلية في الرياضيات
عدلمثالان مشهوران للعمليات الثنائية التبادلية:[7]
- جمع «الأعداد الحقيقية» تبادلي طالما أن:
على سبيل المثال: "4 + 5 = 5 + 4" بما أن كلا التعبيرين يساوي 9.
- ضرب «الأعداد الحقيقية» تبادلي طالما أن:
على سبيل المثال: "3 × 5 = 5 × 3" بما أن كلا التعبيرين يساوي 15.
كنتيجةٍ مباشرةٍ لهذا فإنه من الصحيح أيضاً أن التعبيرات على الشكل y٪ من z، وكذلك z٪ من y هي تبادلية لجميع «الأعداد الحقيقية» y وz [9] على سبيل المثال فإن: 64٪ من 50 = 50٪ من 64، لأن كلا التعبيرين يساوي 32، كما أن: 30٪ من 50٪ = 50٪ من 30٪، لأن كلا التعبيرين يساوي 15٪.
- بعض وظائف الأعداد الحقيقية الثنائية هي -كذلك- تبادلية، لأن جداول الأعداد الحقيقية للوظائف تبقى ذاتها عندما يغير المرء ترتيب المعاملات.
فعلى سبيل المثال الدالة المنطقية ثنائية الشرط p ↔ q تكافئ q ↔ p. تكتب هذه الوظيفة أيضاً على الشكل p IFF q، أو على الشكل p ≡ q، أو على الشكل Epq.
والشكل الأخير هو مثال على التدوين الأكثر إيجازاً في المقالة حول وظائف الأعداد الحقيقية، والذي يسرد ستة عشر دالةً للأعداد الحقيقية الثنائية المحتملة، ثمانية منها تبادلية:
- Vpq = Vqp؛
- Apq (OR) = Aqp؛
- Dpq (NAND) = Dqp؛
- Epq (IFF) = Eqp؛
- Jpq = Jqp؛
- Kpq (AND) = Kqp؛
- Xpq (NOR) = Xqp؛
- Opq = Oqp.
- تتضمن الأمثلة الأخرى للعمليات الثنائية التبادلية جمع الأعداد المركبة وضربها، بالإضافة إلى الضرب القياسي للمتجهات (الأشعة)، وتقاطع المجموعات واتحادها.
العمليات غير التبادلية في الحياة اليومية
عدل- تسلسل الحروف، إن عملية تبديل ترتيب الحروف في الكلمة الواحدة هو عملية غير تبادليةٍ، لأنه بتغير أماكن الحروف غالباً ما تنتج كلمة جديدة تختلف عن الكلمة الأصلية كالإبدال بين القاف والراء في «قاربَ»، و«راقبَ» مثلاً.
كذلك الأمر: EA + T = EAT ≠ TEA = T + EA. - يشبه غسيل وتنشيف الملابس عمليةً غير تبادليةٍ، إذ يؤدي الغسيل ثم التجفيف إلى نتيجةٍ مختلفةٍ بشكلٍ ملحوظٍ عن التجفيف ثم الغسيل.
- يؤدي تدوير الكتاب بمقدار 90 درجة حول محورٍ عموديٍّ ثم بـ 90 درجة حول محورٍ أفقيٍّ إلى إنتاج اتجاهٍ مختلفٍ عما هو عليه عند إجراء التدويرات بالترتيب المعاكس.
- حركات أي لغزٍ تركيبيٍّ (مثل تقليبات «مكعب روبيك» على سبيل المثال) غير تبادليةٍ. يمكن دراسة ذلك باستخدام نظرية المجموعة.
- عمليات التفكير غير تبادليةٍ: إذا طرح شخص سؤالاً (أ)، ثم السؤال (ب) فقد يعطي إجاباتٍ مختلفةً لكل سؤالٍ عن شخصٍ طرح أولاً (ب)، ثم (أ)، لأن طرح سؤالٍ ما قد يغير حالة عقل الشخص، [واتجاه تفكيره].
- فعل ارتداء الملابس إما تبادلي وإما غير تبادليٍّ اعتماداً على العناصر، فارتداء الملابس الداخلية، والملابس العادية غير قابلٍ للتبديل، في حين إن ارتداء الجوارب اليمنى واليسرى تبادلي (لا يهم أيهما أولاً طالما النتيجة واحدة)، وكذا الحال في انتعال الأحذية.
- خلط مجموعة أوراق اللعب أمر غير تبادلي. بالنظر إلى طريقتين A، وB لخلط مجموعة أوراق اللعب، فإن القيام بـ A أولاً ثم B بشكلٍ عامٍّ يختلف عن القيام بـ B أولاً ثم A.
العمليات غير التبادلية في الرياضيات
عدلتعتبر العمليات الرياضية «الطرح» (بالإنجليزية: Subtraction)، و«القسمة» (بالإنجليزية: Division)، و«الرفع إلى أس» (بالإنجليزية: Exponentiation) بعض العمليات الثنائية غير التبادلية:[10]
- الطرح غير تبادليٍّ بما أن:
- .
- وعلى كلٍّ يجري تصنيف «الطرح» بشكلٍ أكثرَ دقةً على أنه «عكس التبادل» (بالإنجليزية: anti-commutative) حيث: .
- القسمة غير تبادليةٍ بما أن:
- .
- الرفع إلى أس غير تبادليٍّ بما أن:
- .
دوال (توابع) مجموعة الأعداد الحقيقية
عدلبعض دوالِّ مجموعة الأعداد الحقيقية غير تبادليةٍ، لأن جداول هذه المجموعة للدوالِّ تختلف عندما يغير المرء ترتيب المعاملات (بالإنجليزية: operands). على سبيل المثال جداول الأعداد الحقيقية لـ (A ⇒ B) = (A ∨ B¬) و (B ⇒ A) = (A ∨ ¬B) هي:
A | B | A ⇒ B | B ⇒ A |
---|---|---|---|
F | F | T | T |
F | T | T | F |
T | F | F | T |
T | T | T | T |
حيث F = خطأ، T = صحيح.
التركيب الدالّي للدوالّ (التوابع) الخطية
عدلالتركيب الدالّي للدوالِّ الخطيةِ (بالإنجليزية: linear functions) من الأعداد الحقيقية إلى الأعداد الحقيقية يكاد يكون دائماً غير تبادليٍّ. على سبيل المثال لنفرض:
and .
ثم:
وكذلك:
ينطبق هذا أيضاً بشكلٍ أكثرَ عموميةً على التحولات الخطية والمرتبطة من فضاءٍ متجهٍ إلى نفسه (انظر أدناه للحصول على تمثيل المصفوفة).
ضرب المصفوفات
عدلغالباً ما تكون عملية ضرب المصفوفات للمصفوفات المربعة غير تبادليّةٍ، على سبيل المثال:
المتجه
عدلمنتج «المتجه» (أو المنتج العرضي) لمتجهين في ثلاثة أبعادٍ هو مضاد للتبادل؛ مثال:
b × a = −(a × b).
التاريخ وأصل الكلمة
عدلتعود سجلات الاستخدام الضمني للخاصية التبادلية إلى العصور القديمة. استخدم المصريون خاصيةَ تبادليةِ الضربِ لتبسيط المنتجات الحاسوبية.[11][12] ومن المعروف أن «إقليدس» قد افترض الخاصية التبادلية للضرب في كتابه العناصر.[13] ظهرت الاستخدامات الرسمية للخاصية التبادلية في أواخر القرن الثامن عشر وأوائل القرن التاسع عشر عندما بدأ علماء الرياضيات في العمل على نظرية الوظائف. واليوم تعتبر خاصية التبادل خاصيةً معروفةً وأساسيةً تستخدم في معظم فروع الرياضيات.
كان أول استخدامٍ مسجلٍ لمصطلح التبادل في مذكرات فرانسوا سيرفوا في العام 1814،[4][14] والتي استخدمت كلمة التبادلات عند وصف الوظائف التي لها ما يسمى الآن بالخاصية التبادلية. والكلمة عبارة عن مزيجٍ من الكلمة الفرنسية commuter التي تعني «للاستبدال أو التبديل»، واللاحقة ative- ذات المعنى «يميل إلى»، لذا فإن المعنى الحرفي للكلمة هو «تميل إلى الاستبدال أو التبديل». ظهر المصطلح بعد ذلك باللغة الإنجليزية في العام 1838[5] في مقال «دنكان فاركوهارسون جريجوري» بعنوان «عن الطبيعة الحقيقية للجبر الرمزي» المنشور في العام 1840 في عمليات الجمعية الملكية في إدنبرة.[15]
المنطق الاقتراحي
عدلقاعدة الاستبدال
عدلفي المنطق الافتراض الدالّي للأعداد الحقيقية يشير التخفيف،[16][17] أو التبادلية[18] إلى قاعدتين صالحتين للاستبدال. تسمح القواعد للمرء بنقل المتغيرات المقترحة ضمن التعبيرات المنطقية في البراهين المنطقية. والقواعد هي:
و:
حيث:
" " هو رمز منطقي يمثل [عبارة] «يمكن استبداله في برهان بـ».
الروابط الدالّية في الأعداد الحقيقية
عدلالتبادلية خاصية لبعض الوصلات المنطقية للمنطق الافتراضى الدالّي للأعداد الحقيقية. توضح المعادلات المنطقية التالية أن التبادل هو خاصية لوصلاتٍ معينةٍ. فيما يلي عرض دالّي للأعداد الحقيقية.
تبادلية الاقتران: تبادلية الانفصال: تبادلية التضمين (وتسمى أيضاً قانون التقليب):
نظرية المجموعات
عدلفي المجموعة ونظرية المجموعات يُطلق على العديد من الهياكل الجبرية لقب «تبادلي» عندما تفي معاملات معينة بالخاصية التبادلية. في الفروع العليا للرياضيات -مثل «التحليل» و«الجبر الخطي»- غالباً ما تُستخدم تبادلية العمليات المعروفة (مثل «الجمع» و«الضرب» على الأعداد الحقيقية، والمركبة) (أو المفترضة ضمنياً) في البراهين.[19][20][21]
الهياكل الرياضية والخاصة التبادلية
عدل- المجموعة شبه التبادلية هي مجموعة تتمتع بعمليةٍ إجماليةٍ وترابطيةٍ وتبادليةٍ.
- إذا كانتِ العملية تحتوي أيضاً على عنصرٍ محايدٍ، فسيكون لدينا عنصر تبادلي أحادي.
- «المجموعة الأبيلية»،[هامش 2] أو «المجموعة التبادلية» هي المجموعة التي تكون العملية المعرفة عليها تبادلية.[20]
- "الحلقة التبادلية" هي حلقة يكون «الضرب» فيها تبادلياً. (دائماً ما يكون "«الجمع» في الحلقة تبادلياً).[22]
- في حقلٍ رياضيٍّ كل من «الجمع» و«الضرب» تبادليان.[23]
الخصائص ذات الصلة
عدلالخاصية الترابطية
عدلترتبط «الخاصية الترابطية» (بالإنجليزية: Associativity) ارتباطاً وثيقاً بالخاصية التبادلية. إذ تنص «الخاصية الترابطية» للتعبير الذي يحتوي على تكررين أو أكثر للعامل نفسه على أن ترتيب العمليات التي يجري تنفيذها لا يؤثر على النتيجة النهائية طالما أن ترتيب المصطلحات لا يتغير. في المقابل تنص «الخاصية التبادلية» على أن ترتيب الشروط terms لا يؤثر على النتيجة النهائية.
معظم العمليات التبادلية التي جرت معاينتها في الممارسة هي أيضاً ترابطية. ومع ذلك فإن التبادلية لا تعني الترابط [بالضرورة]. المثال المضاد يبين الأمر:
هذا المثال -مع أنه تبادلي واضح (حيث لا يؤثر تبادل x وy على النتيجة)- إلا أنه ليس ترابطياً بما أنه على سبيل المثال:
ولكن
يمكن العثور على المزيد في العديد من مجموعة الأمثلة التبادلية غير الترابطية.
خاصية التوزيع
عدلخاصية التناظر
عدليمكن ربط بعض أشكال التناظر (بالإنجليزية: Symmetry) بشكلٍ مباشرٍ بالتبادل. عندما تجري كتابة عمليةٍ تبادليةٍ كدالّةٍ ثنائيةٍ فإن هذه الوظيفة تسمى دالةً متماثلةً، ويكون الرسم البياني الخاص بها في الفضاء ثلاثي الأبعاد متماثلاً عبر المستوي .
على سبيل المثال إذا جرى تعريف الدالّة f على أنها إذن هي دالة متماثلة.
وبالنسبة إلى العلاقات تكون العلاقة المتماثلة مطابقةً لعمليةٍ تبادليةٍ حيث إذا كانت العلاقة R متماثلةً، فإن:
.
المشغلين غير التبادليين في «ميكانيك الكم»
عدلفي [علاقات] «ميكانيك الكم» (بالإنجليزية: quantum mechanics) -كما صاغها «شرودنغر» Schrödinger- يجري تمثيل المتغيرات الفيزيائية بواسطة عواملَ خطيةٍ مثل (بمعنى الضرب في )، و . لا يتبادل هذان العاملان كما قد يُرى من خلال النظر في تأثير تراكيبهما
، و (وتدعى أيضاً منتجات المشغلين) على دالّةٍ موجيةٍ أحادية البعد
ووفق «مبدأ الارتياب» [ويسمى أيضاً «مبدأ عدم اليقين»] لـ«هايزنبرغ» Heisenberg إذا كان العاملان اللذان يمثلان زوجاً من المتغيرات لا يتبادلان، فإن هذا الزوج من المتغيرات يكمّل بعضه بعضاً، مما يعني أنه لا يمكن قياسهما أو معرفتهما بدقةٍ في الوقت نفسه. على سبيل المثال يجري تمثيل الموضع، والزخم الخطي (بالإنجليزية: linear momentum) في اتجاه لجسيمٍ ما بواسطة عامليْ التشغيل
، و على التوالي (حيث هو «ثابت بلانك المنخفض»). هذا هو المثال عينه باستثناء الثابت لذا -مرةً أخرى- لا يتبادل المشغلان، والمعنى الفيزيائي هو أن الموضع [(أو موقع الجسيم)] والزخم الخطي [له] في اتجاهٍ معينٍ متكاملان.
انظر أيضاً
عدلالهوامش
عدل- ^ تُعتبر الصفة "تبادلية" أدق -من حيث المعنى- من "تبديلية". إن زيادة ألف المفاعلة بعد فاء الفعل: "بَدَلَ؛ بادل" تدل على التفاعل، أو على فعلٍ مشتركٍ بين كينونتين؛ شيئين؛ شخصين؛ أمرين... الخ مثل "لعب، لاعب"، "عمل، عامل"، "قتل، قاتل"، "شغل، شاغل".
- ^ سميت كذلك على اسم الرياضي النرويجي "نيلس هنريك أبيل" (02-1829).
مراجع
عدل- ^ Copi، Irving M.؛ Cohen، Carl (2005). Introduction to Logic. Prentice Hall.
- ^ Hurley، Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing.
- ^ Flood، Raymond؛ Rice، Adrian؛ Wilson، Robin، المحررون (2011). Mathematics in Victorian Britain. دار نشر جامعة أكسفورد. ص. 4. مؤرشف من الأصل في 2019-06-14.
- ^ ا ب Cabillón Miller، Commutative and Distributive
- ^ ا ب Flood، Raymond؛ Rice، Adrian؛ Wilson، Robin، المحررون (2011). Mathematics in Victorian Britain. دار نشر جامعة أكسفورد. ص. 4. ISBN:9780191627941. مؤرشف من الأصل في 2021-08-19.
- ^ إيريك ويستاين، Symmetric Relation، ماثوورلد Mathworld (باللغة الإنكليزية).
- ^ ا ب Krowne, p.1
- ^ Weisstein, Commute, p.1
- ^ "Compatible Numbers to Simplify Percent Problems". مؤرشف من الأصل في 2020-10-15. اطلع عليه بتاريخ 2020-07-17.
- ^ Yark، صفحة 1
- ^ Lumpkin 1997، صفحة 11
- ^ Gay & Shute 1987
- ^ O'Conner & Robertson Real Numbers
- ^ O'Conner & Robertson, Servois
- ^ Gregory، D. F. (1840). "On the real nature of symbolical algebra". Transactions of the Royal Society of Edinburgh. ج. 14: 208–216. مؤرشف من الأصل في 2021-11-22.
- ^ Moore and Parker
- ^ Copi & Cohen 2005
- ^ Hurley & Watson 2016
- ^ Axler 1997، صفحة 2
- ^ ا ب Gallian 2006، صفحة 34
- ^ Gallian 2006، صفحات 26,87
- ^ Gallian 2006، صفحة 236
- ^ Gallian 2006، صفحة 250
المصادر
عدلكتب
عدل- Axler، Sheldon (1997). Linear Algebra Done Right, 2e. Springer. ISBN:0-387-98258-2.
- Abstract algebra theory. Covers commutativity in that context. Uses property throughout book.
- Copi، Irving M.؛ Cohen، Carl (2005). Introduction to Logic (ط. 12th). Prentice Hall. ISBN:9780131898349.
- Gallian، Joseph (2006). Contemporary Abstract Algebra (ط. 6e). Houghton Mifflin. ISBN:0-618-51471-6.
- Linear algebra theory. Explains commutativity in chapter 1, uses it throughout.
- Goodman، Frederick (2003). Algebra: Abstract and Concrete, Stressing Symmetry (ط. 2e). Prentice Hall. ISBN:0-13-067342-0.
- Abstract algebra theory. Uses commutativity property throughout book.
- Hurley، Patrick J.؛ Watson، Lori (2016). A Concise Introduction to Logic (ط. 12th). Cengage Learning. ISBN:978-1-337-51478-1. مؤرشف من الأصل في 2023-10-23.
مقالات
عدل- Lumpkin، B. (1997). "The Mathematical Legacy Of Ancient Egypt — A Response To Robert Palter" (PDF) (Unpublished manuscript). مؤرشف من الأصل (PDF) في 2007-07-13.
{{استشهاد بدورية محكمة}}
: الاستشهاد بدورية محكمة يطلب|دورية محكمة=
(مساعدة)- Article describing the mathematical ability of ancient civilizations.
- Gay، Robins R.؛ Shute، Charles C. D. (1987). The Rhind Mathematical Papyrus: An Ancient Egyptian Text. British Museum. ISBN:0-7141-0944-4.
- Translation and interpretation of the بردية ريند الرياضية.
مصادر الشابكة
عدل- Hazewinkel, Michiel, ed. (2001), "Commutativity", Encyclopedia of Mathematics (بالإنجليزية), Springer, ISBN:978-1-55608-010-4
- Krowne, Aaron, قالب:PlanetMath, Accessed 8 August 2007.
- Definition of commutativity and examples of commutative operations
- إيريك ويستاين، Commute، ماثوورلد Mathworld (باللغة الإنكليزية)., Accessed 8 August 2007.
- Explanation of the term commute
- "Yark". مؤرشف من الأصل في 2023-10-23. قالب:PlanetMath, Accessed 8 August 2007
- Examples proving some noncommutative operations
- O'Conner، J.J.؛ Robertson، E.F. "History of real numbers". MacTutor. مؤرشف من الأصل في 2023-10-23. اطلع عليه بتاريخ 2007-08-08.
- Article giving the history of the real numbers
- Cabillón، Julio؛ Miller، Jeff. "Earliest Known Uses Of Mathematical Terms". مؤرشف من الأصل في 2023-06-03. اطلع عليه بتاريخ 2008-11-22.
- Page covering the earliest uses of mathematical terms
- O'Conner، J.J.؛ Robertson، E.F. "biography of François Servois". MacTutor. مؤرشف من الأصل في 2023-10-23. اطلع عليه بتاريخ 2007-08-08.
- Biography of Francois Servois, who first used the term