الخاصية التجميعية

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

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

تعريفها

تُنسَب الخاصية التجميعية إلى بعض أنواع العمليات الحسابية (مثل الجمع والضرب) التي إذا غُيِّر ترتيب مراحل تنفيذها على العناصر المعطاة يكون الناتج النتيجةَ النهائية نفسها. وبتعبير رياضي، إذا كانت \(⋆\)عملية ثنائية {{العملية الثنائية: (Binary Operation) هي مفهوم في الجبر المجرد، وهي دالة تأخذ عنصرين من مجموعة \(S\) ، وتعيد عنصرًا آخر من المجموعة نفسها، أي \(* :S\times S\rightarrow S\). ومثال ذلك الجمع والضرب في الأعداد الصحيحة.}} على المجموعة \(S\)، فإن \(⋆\) تتمتع بالخاصية التجميعية، وإذا كان لأي ثلاثة عناصر \(a,b,c\) في \(S\)، فإن[1]:

\[\left(a⋆b\right)⋆c=a⋆\left(b⋆c\right)\]

ومن أشهر الأمثلة على الخاصية التجميعية عمليتا الجمع والضرب، فإذا كان \(a,b\mathbb{∈R} \)، فإن:

\[\left(a+b\right)+c=a+\left(b+c\right)\]

\[\left(a∙b\right)∙c=a∙\left(b∙c\right)\]

أمثلة:

• \(\left(2+3\right)+4=2+\left(3+4\right)\)
• \(\left(2∙3\right)∙4=2∙(3∙4)\)
  

على عكس عمليتَي الجمع والضرب، فإن الخاصية التجميعية ليست من خصائص عمليتَي الطرح والقسمة، فإذا كان \(a,b\mathbb{∈R} \)، فليس من الضروري أن يكون:

• \(\left(a-b\right)-c\neq a-\left(b-c\right)\)
  
• \(\left(a\div b\right)\div c\neq a\div \left(b\div c\right)\)

أمثلة:

• \(\left(2-3\right)-4\neq 2-(3-4)\)
  
• \((2\div 3)\div 4\neq 2\div (3\div 4)\)
  

دورها في الفروع الرياضية

في ضوء التعريف العام للخاصية التجميعية، فإن معناها يظهر في مختلف مساقات الرياضيات، مثل الجبر المجرد (أو كما يعرف بالجبر الحديث)، والجبر الخطي {{الجبر الخطي: (Linear Algebra) هو أحد الفروع الأساسية في الرياضيات، يُعنى بدراسة الفضاءات المتجهية والتحويلات الخطية، إلى جانب موضوعات أخرى مثل المصفوفات، وأنظمة المعادلات الخطية، والقيم والمتجهات الذاتية.}}، وعلم المنطق الرياضي، ونظرية المجموعات {{نظرية المجموعات: (Set Theory) فرع من فروع الرياضيات، يُعنى بدراسة المفهوم المجرد لـ"المجموعة"، ويهتم بوصف المجموعات، وتصنيفها، وتحليل العلاقات والعمليات بينها، مثل الانتماء، والاحتواء، والاتحاد، والتقاطع، والفرق.}}، إذ إنها تشارك في تبسيط العمليات الحسابية، وتسهيل الخطوات المنطقية في المعاني التجريدية النظرية.

وللخاصية التجميعية استخدامات واسعة في علم التفاضل والتكامل، مثل حساب النهايات والمشتقات:

• ففي النهايات، إذا كانت \(f,g,h\)من الدوالّ، وكانت النهاية لكل منها موجودة عندما تقترب \(x\)من العدد \(c\)، فإن[2]:

\[\lim_{x\rightarrow c} \left(f\left(x\right)+g\left(x\right)\right)+\lim_{x\rightarrow c} h\left(x\right)=\lim_{x\rightarrow c} f\left(x\right)+\lim_{x\rightarrow c} (g\left(x\right)+h\left(x\right))\]

• وفي الاشتقاق، إذا كانت \(f,g,h\) من الدوال القابلة للاشتقاق، فإن:[3]

\[\frac{d}{dx}\left(\left(f\left(x\right)g\left(x\right)\right)h\left(x\right)\right)=\frac{d}{dx}(f\left(x\right)\left(g\left(x\right)h\left(x\right)\right)\]

يعدّ علم المنطق حجر الأساس لفروع الرياضيات جميعها التي ترتكز بشكل أساسي على المفاهيم التجريدية، كالتحليل الحقيقي {{التحليل الحقيقي: (Real Analysis) فرع من الرياضيات، يدرس الأعداد الحقيقية ودوالها، مع التركيز على الحدود، الاستمرارية، المشتقات والتكاملات. ويوفّر أساسًا صارمًا لفهم السلاسل والمتتاليات وبرهنة خصائص الدوال في المحاور النظرية والتطبيقية.}} والجبر المجرد، وقد ظهرت الخاصية التجميعية في كثير من الموضوعات داخل علم المنطق، إذ يكثر استخدامها داخل كتابات التعبير المنطقي وأدوات الربط.

وفي أدوات الربط المنطقية {{أدوات الربط المنطقية: (Logical Connectives) أو كما تُعرَف بالروابط المنطقية، هي أدوات في المنطق الرياضي تُستخدَم لربط القضايا ببعضها، ومن أهم هذه الروابط: رابط العطف (AND)، ورابط الفصل (OR)، ورابط النفي (NOT)، والرابط الشرطي (IF-THEN)، والرابط الثنائي الشرط (IF AND ONLY IF).}}، إذا كانت \(p,q,r\) عبارات منطقية {{العبارات المنطقية: (Propositions) هي جمل رياضية يمكن الحكم عليها بالصدق أو الكذب فقط، من دون وجود احتمالات أخرى. تُستخدم في المنطق والرياضيات لبناء البراهين، وتتكون من تراكيب تستخدم روابط منطقية مثل AND وOR وNOT وIF…THEN.}}، فإن العلاقة الآتية صحيحة[4]:

\[p\lor \left(q\lor r\right)\equiv \left(p\lor q\right)\lor r\]

وبالمثل[5]:

\[p\land \left(q\land r\right)\equiv \left(p\land q\right)\land r\]

كذلك، برزت الخاصية التجميعية في جبر المجموعات {{جبر المجموعات: (Algebra of Sets) هو فرع من الرياضيات، يدرس العمليات في المجموعات مثل: الاتحاد والتقاطع والطرح، بالإضافة إلى المتممة. يوفر هذا الجبر إطارًا منطقيًا لتحليل العلاقات بين المجموعات، وتطبيق خصائصها في البراهين، وحل المسائل الرياضية.}} في مسائل الإثبات والبراهين، إذ كثر استخدامها في عمليات  التقاطع {{تقاطع المجموعات: (Intersection of Sets) هو عملية رياضية تحدد فيها العناصر المشتركة فقط بين مجموعتين؛ لتكوين مجموعة جديدة تحتوي على جميع العناصر التي تنتمي إلى كلتا المجموعتين. ويُرمز إلى التقاطع بالرمز \(\cap \)، ويُقرأ "تقاطع"، ويُكتب تقاطع المجموعتين \(A\) و\(B\) على النحو الآتي: \(A\cap B=\left\{x:x\in A and x\in B\right\}\).}} والاتحاد{{اتحاد المجموعات: (Union of Sets) هو عملية دمج مجموعتين ببعضهما لتكوين مجموعة جديدة تحتوي على جميع العناصر التي تنتمي إلى أي من المجموعتين، أو كليهما، من دون تكرار العناصر المشتركة. ويُرمز إلى الاتحاد بالرمز \(\cup \)، ويُقرأ "اتحاد"، ويُكتب اتحاد المجموعتين \(A\) و\(B\) على النحو الآتي: \(A\cup B=\left\{x:x\in A or x\in B\right\}\).}}، وفي العمليات في المجموعات. فإذا كانت \(A,B,C\)مجموعات، فإن[6]:

\(A\cup (B\cup C)\equiv (A\cup B)\cup C\)

وبالمثل[7]:

\[A\cap \left(B\cap C\right)\equiv \left(A\cap B\right)\cap C\]

أهميتها

تُعد الخاصية التجميعية أداة أساسية في كثير من التخصصات العلمية، ففي الفيزياء - مثلًا - تتيح تجميعَ القوى والكميات بطرق مختلفة من دون التأثير في الناتج، ما يسهل تحليل الحركة والقوى. أما في علوم الحاسوب، فهي تساعد في تحسين أداء الخوارزميات من خلال تجميع العمليات بما يقلل الجهد ويزيد الكفاءة. أما في الجبر الخطي، فهي تسمح بإعادة ترتيب العمليات الحسابية وتجميعها على العناصر المختلفة، كالمصفوفات والمتجهات التي تعمل على تحسين أداء كثير من العمليات التنظيمية داخل الحواسيب، مثل عرض الصور وتحليل الألوان. كذلك تُستخدَم في قواعد البيانات لتسريع عمليات البحث وزيادة مرونتها، من دون التأثير في النتيجة النهائية. إذن، تسهم الخاصية التجميعية في تبسيط العمليات وتعزيز الكفاءة في مجالات متعددة[8].

المراجع

Bartle, Robert G. & Donald R. Sherbert. Introduction to Real Analysis. 3^rd ed. [Hoboken, NJ]: John Wiley & Sons, 2000.

Ernst, Dana. An Inquiry-Based Approach to Abstract Algebra. [N. P.]: LibreTexts, 2017. at: https://acr.ps/1L9F2dM

Gallian, Joseph A. Contemporary Abstract Algebra. 8^th ed. Boston, MA: Brooks/ Cole Cengage Learning, 2013.

Jebril, Iqbal H., Hemen Dutta & Ilwoo Cho. Concise Introduction to Logic and Set Theory. Boca Raton, FL: CRC Press, 2021.

Smith, Douglas, Maurice Eggen & Richard St. Andre. A Transition to Advanced Mathematics. 8^th ed. Boston, MA: Cengage Learning, 2014.

[1] Dana Ernst, An Inquiry-Based Approach to Abstract Algebra ([N. P.]: LibreTexts, 2017), pp. 2.2.2, accessed on 5/8/2025, at: https://acr.ps/1L9F2dM

[2] Robert G. Bartle & Donald R. Sherbert, Introduction to Real Analysis, 3rd ed. ([Hoboken, NJ]: John Wiley & Sons, 2000), pp. 105-111.

[3] Ibid., pp. 158-168.

[4] Douglas Smith, Maurice Eggen & Richard St. Andre, A Transition to Advanced Mathematics, 8th ed. (Boston, MA: Cengage Learning, 2014), p. 5.

[5] Ibid.

[6] Iqbal H. Jebril, Hemen Dutta & Ilwoo Cho, Concise Introduction to Logic and Set Theory (Boca Raton, FL: CRC Press, 2021), p. 33.

[7] Ibid., p. 35.

[8] Joseph A. Gallian, Contemporary Abstract Algebra, 8th ed. (Boston, MA: Brooks/ Cole Cengage Learning, 2013); Smith, Eggen & Andre, op. cit.