الموجز
التجزئة (Partition) من المفاهيم الأساسية في نظرية المجموعات، وتمثّل أداة بنيوية مهمّة لفهم تركيب المجموعات وتنظيم عناصرها. ويقوم هذا المفهوم على تقسيم مجموعة معيّنة إلى مجموعات جزئية غير فارغة وغير متقاطعة، بحيث يكون اتحاد هذه المجموعات الجزئية هو المجموعة الأصلية كاملةً، وتقاطع أي مجموعتين جزئيتين مختلفتين فارغًا.
تكمن أهمية التجزئة في قدرتها على الكشف عن البنية الداخلية للمجموعة، إذ تتيح دراسة العناصر ضمن فئات منفصلة ومنظمة، ما يساعد على تحليل الخصائص العامة للمجموعة وبناء مفاهيم رياضية جديدة اعتمادًا على هذه البنية. وتُعد التجزئة وسيلة منهجية للانتقال من التعامل مع مجموعة كبيرة ومعقّدة إلى مجموعات أصغر وأكثر انتظامًا.
تظهر القيمة النظرية للتجزئة بوضوح عند دراسة علاقات التكافؤ، إذ إن وجود علاقة تكافؤ على مجموعة غير فارغة يؤدي بالضرورة إلى تقسيم هذه المجموعة إلى فئات تكافؤ متمايزة، بحيث تشكّل هذه الفئات تجزئة للمجموعة الأصلية. وبذلك تُعدّ التجزئة مفهومًا محوريًا في نظرية المجموعات، وتشكّل أساسًا يُبنَى عليه كثير من المفاهيم الرياضية اللاحقة.
التعريف الرياضي
يُعدّ مفهوم التجزئة أحد المفاهيم الأساسية في نظرية المجموعات، ويُستخدم على نطاق واسع في مختلف فروع
الرياضيات بوصفه أداةً بنيوية لتنظيم المجموعات وفهم تركيبها الداخلي. ويعبّر هذا المفهوم عن تقسيم مجموعة معيّنة إلى مجموعات جزئية غير فارغة، تكون متباينة تمامًا، بحيث يكون اتحاد هذه المجموعات الجزئية هو المجموعة الأصلية كاملة، من دون فقدان أي عنصر ومن دون أي تداخُل بينها[2].
وتكمن أهمية التجزئة في أنها تتيح دراسة مجموعة كبيرة أو معقّدة من خلال مجموعات أصغر وأكثر انتظامًا، ما يساعد على تحليل خصائصها العامة وبناء مفاهيم رياضية جديدة اعتمادًا على هذه البنية. ويُستخدم هذا المفهوم في نَمذَجَة كثير من الظواهر الواقعية باستخدام لغة رياضية دقيقة، مثل تقسيم بلد ما إلى محافظات إدارية منفصلة، بحيث تكون كل محافظة وحدة مستقلة، ويشكّل اتحاد جميع المحافظات البلد كاملًا.
لذلك، يمكن تعريف التجزئة رياضيًا على النحو التالي:
إذا كانت
\(X\) مجموعة غير فارغة، فإن المجموعة
\(P\) هي تجزئة للمجموعة
\(X\) إذا -وفقط إذا- حقّقت الشروط التالية[3]:
- إذا كان
\(A\in P\)، فإن
\(A\) هي مجموعة غير فارغة، أي
\(A\neq \emptyset \).
- إذا كان
\(A,B\in P\)، فإن
\(A=B\) أو
\(A\cap B=\emptyset \).
-
\(⋃_{A\in P}^{} A=X\).
ويبيّن هذا التعريف أن عناصر المجموعة
\(P\) هي مجموعات جزئية من
\(X\)، وأن هذه المجموعات منفصلة تمامًا عن بعضها، وأن اتحادها يعيد تكوين المجموعة الأصلية كاملة. وعند تحقق هذه الشروط، تُسمَّى
\(P\) تجزئة للمجموعة
\(X\).
هنا لا بدّ أيضًا من الإشارة إلى أن مفهوم التجزئة في نظرية المجموعات يختلف عن الاستخدام الشائع لمصطلح التجزئة في
التحليل الرياضي. ففي نظرية المجموعات، يُشترط أن تكون المجموعات الجزئية متباينة تمامًا، ولا يُسمح بأي تقاطع بينها، ولو كان ذلك التقاطع في نقطة واحدة.
أما في التحليل الرياضي، ولا سيما عند تقسيم فترة من الأعداد الحقيقية لأغراض دراسة التكامل أو الاستمرارية، فيُستخدم مصطلح التجزئة للإشارة إلى تقسيم الفترة إلى فترات جزئية قد تشترك في نقاط النهاية. ويُسمَّى هذا النوع من التقسيم تجزئةً تحليلية للفترة، وهو مفهوم تقني لا يُعد تجزئة بالمعنى الدقيق لنظرية المجموعات. فعلى سبيل المثال، لا يشكّل تقسيمُ الفترة المغلقة [0,1] إلى فترات مغلقة متجاورة، يشترك بعضها في نقاط حدودية، تجزئةً مجموعاتية صارمة، وذلك بسبب وجود تقاطع غير فارغ. وللحصول على تجزئة حقيقية وفق نظرية المجموعات، يجب استخدام فترات متباينة تمامًا، مثل الفترات نصف المفتوحة.
وفي فضاء الأعداد الحقيقية، إذا جرت عملية تجزئة تحليلية لفترة معينة ولتكن
\([a,b]\)، فإن اتحاد الفترات الجزئية يساوي الفترة الأصلية
\([a,b]\)، إلا أن تقاطع أي فترتين جزئيتين متتاليتين قد لا يُكوِّن مجموعة فارغة، بل قد يقتصر على نقطة حدية مشتركة ناتجة عن تعريف الفترات المغلقة[4].
فمثلًا، إذا كانت
\(P=\left\{\left[0,\frac{1}{3}\right],\left[\frac{1}{3},\frac{1}{2}\right],\left[\frac{1}{2},1\right]\right\}\) تجزئة تحليلية للفترة
\([0,1]\)، فإن تقاطع الفترتين
\(\left[0,\frac{1}{3}\right],\left[\frac{1}{3},\frac{1}{2}\right]\) المتتاليتين لن يعطي مجموعة فارغة، بل سيُكوِّن المجموعة المفردة
\({\frac{1}{3}}\)، أي أن:
\[\left[0,\frac{1}{3}\right]\cap \left[\frac{1}{3},\frac{1}{2}\right]=\left\{\frac{1}{3}\right\}\]
أما تقاطع الفترات غير المتتالية فسيعطي مجموعة فارغة، مثل:
\[\left[0,\frac{1}{3}\right]\cap \left[\frac{1}{2},1\right]=\emptyset \]
وبشكل عام في الفضاء الحقيقي، إذا كان
\(P=\left\{\left[x_{1},x_{2}\right],\left[x_{2},x_{3}\right],\ldots , [x_{n-1},x_{n}]\right\}\) تجزئة للفترة
\([a,b]\)، فإن:
\[\left[x_{i},x_{i+1}\right]\cap \left[x_{i+1},x_{i+2}\right]=\left\{x_{i+1}\right\}, i=1,2,\ldots ,n-2, n>2\]
وعلى الرغم من ذلك، فإن هذا النوع من التقسيم يُعد تجزئة تحليلية صحيحة للفترة في فضاء الأعداد الحقيقية، ولكنه لا يُعد تجزئةً بالمعنى الصارم لنظرية المجموعات.
أمثلة على التجزئة
بعد توضيح مفهوم التجزئة وخصائصها الأساسية، من المفيد عرض أمثلة تبيّن كيفية تطبيق هذا المفهوم عمليًا، وتوضّح كيفية إمكان تقسيم مجموعة ما إلى أجزاء متمايزة تغطّيها كليًا. وفيما يلي مجموعة من الأمثلة التي تبرز أشكالًا مختلفة من التجزئة وكيفية بنائها على مجموعات متنوعة[5].
مثال (1)
إذا كانت المجموعة
\(A={1,2,3}\)، فإن جميع ما يلي يمثّل تجزئات للمجموعة
\(A\):
-
\(P_{1}={1,2,3}\).
-
\(P_{2}={\left\{1,2\right\},{3}}\).
-
\(P_{3}={\left\{1,3\right\},{2}}\).
-
\(P_{4}={\left\{2,3\right\},{1}}\).
-
\(P_{5}={\left\{1,2\right\},{3}}\).
وفي [الشكل 1] تمثيل هندسي للتجزئات
\(P_{1},P_{2},P_{3},P_{4},P_{5}\) عند تمثيل عناصر المجموعة
\(A\) داخل دائرة.
[الشكل 1] - تمثيل هندسي للتجزئات \(P_{1},P_{2},P_{3},P_{4},P_{5}\)
حذف الصورة؟
سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.
وفي [الجدول 1] مجموعات لا تمثل تجزئة للمجموعة
\(A\) مع توضيح السبب لكل مجموعة.
[الجدول 1]
|
المجموعة |
السبب |
|
\[S_{1}={\emptyset ,\left\{1,2\right\},{3}}\] | وجود المجموعة الفارغة. |
|
\[S_{2}={\left\{1,3\right\}}\] | غياب العنصر
\(2\) ومن ثَمّ الاتحاد لا يساوي المجموعة
\(A\). |
|
\[S_{3}={\left\{1,2\right\},{2,3}}\] | وجود تقاطع وعدم التباين. |
|
\[S_{4}={\left\{1,2\right\},{3,4}}\] | وجود العنصر
\(4\) غير منتمٍ إلى
\(A\) ومن ثَمّ الاتحاد لا يعطي المجموعة
\(A\). |
|
\[S_{5}={1,2,3}\] | عناصر المجموعة ليست مجموعات جزئية من المجموعة
\(A\). |
مثال (2)
المجموعة التي تكون على الشكل:
\(\left\{\ldots ,\left\{-2\right\},\left\{-1\right\},\left\{0\right\},\left\{1\right\},\left\{2\right\},\ldots \right\}\) تمثّل تجزئةً لمجموعة الأعداد الصحيحة
\(\mathbb{Z} \)، إذ إن كل عنصر من عناصر
\(\mathbb{Z} \) ينتمي إلى مجموعة مفردة واحدة فقط، وجميع هذه المجموعات متباينة، واتحادها يساوي
\(\mathbb{Z} \).
والمجموعة
\( {\mathbb{Z} }\)تمثّل هي الأخرى تجزئة للمجموعة
\(\mathbb{Z} \).
مثال (3)
إذا كانت المجموعة
\(X={a,b,c,d,e}\)، وكانت العائلة
\(C={C_{1},C_{2},C_{3}}\) بحيث أن:
\[C_{1}=\left\{b,e\right\}, C_{2}=\left\{a,c\right\}, C_{3}=\left\{d\right\}\]
فإن العائلة
\(C\) تمثل تجزئة للمجموعة
\(X\).
المجموعة
\({X}\) أيضًا تجزئة. والمجموعة
\(P={\left\{a\right\},\left\{b\right\},\left\{c\right\},\left\{d\right\},{e}}\) كذلك، وذلك لأن جميع هذه المجموعات تحقق الشروط المطلوبة.
الأهمية والتطبيقات
تُعدّ التجزئة من الأدوات البنيوية الأساسية في الرياضيات، إذ تساعد في تنظيم المجموعات المعقّدة، عبر تقسيمها إلى أجزاء منفصلة ومتباينة، يكون اتحادها هو المجموعة الأصلية. وتكمن أهمية التجزئة في تبسيط البنى الرياضية والكشف عن العلاقات الداخلية بين عناصرها.
في الجبر الحديث، تمثّل التجزئة الأساسَ البنيوي الذي تُبنى عليه
الفئات الجانبية (Co-sets)، ومن ثم
الزُّمَر القِسْمِيّة (Quotient Groups)، إذ تؤدي علاقة تكافؤ محددة بوساطة زمرة جزئية عادية إلى تقسيم الزمرة إلى فئات متمايزة تتيح دراسة بنيتها العامة من خلال مكوّناتها الأبسط. ويَظهر الدور البنيوي نفسُه في
الحلقات القِسمية (Quotient Rings) عبر العلاقات التوافقية، التي تقسّم الحلقة إلى فئات تكافؤ تحفظ البنية الجبرية الأساسية[6].
أما في التحليل الحقيقي، فتبرز التجزئة بوضوح في تعريف
تكامُل ريمان (Riemann integral)، إذ تُقسَّم الفترة إلى أجزاء أصغر تُستخدم لتقريب
المساحة تحت المنحنى (area under the curve - AUC). وتُستعمل التجزئة في دراسة الدوالِّ المعرَّفة على أجزاء، وفي تحليل سلوك الدوال من حيث الانتظام والاستمرارية عند تقسيم مجالاتها إلى فترات متمايزة. غير أن هذا النوع من التجزئة هو تجزئة تحليلية للفترات، وليس تجزئة مجموعاتية بالمعنى الصارم لنظرية المجموعات[7].
وفي
الطوبولوجيا، تظهر التجزئة من خلال تقسيم
الفضاءات إلى مركبات متصلة، وكذلك في بناء
الفضاءات القِسمية (Quotient Spaces) الناتجة عن تعريف علاقات تكافؤ مستمرة على الفضاءات الطوبولوجية، وهو ما يمكّن من دراسة الفضاءات عبر تصنيف نقاطها في فئات متكافئة بنيويًا[8].
أما في
نظرية القياس، فتُستخدم التجزئة بوصفها أداةً أساسية في عمليات التقريب والبناء، لا سيما في تعريف
تكامُل لوبيغ (Lebesgue integral)، إذ يُقسَّم مدى الدالة إلى مجموعات قابلة للقياس، ثم يُدرَس قياسُ الصور العكسية لهذه المجموعات. وتُستعمل التجزئات في بناء التقريبات البسيطة للدوال القابلة للقياس، وهي خطوة محورية في تطوير النظرية التكاملية الحديثة.[9]
وبذلك، تشكّل التجزئة إطارًا تنظيميًا موحِّدًا يربط بين فروع رياضية متعددة، وتوفّر أداة فعّالة لتبسيط البنى، وتحليل العلاقات، وبناء نظريات أكثر عمقًا واتساقًا.
المراجع
العربية
قوبا، عمران.
الجبر 1: مبادئ الجبر المجرد. ط 2. دمشق: منشورات المعهد العالي للعلوم التطبيقية والتكنولوجيا، 2017.
الأجنبية
Bartle, Robert G. & Donald R. Sherbert.
Introduction to Real Analysis. 4th ed. Hoboken, NJ: John Wiley & Sons, 2011.
Doud, Darrin & Pace P. Nielsen.
A Transition to Advanced Mathematics, Version 1.04. Brigham Young University, 2024.
Folland, Gerald B.
Real Analysis: Modern Techniques and Their Applications. 2nd ed. New York: John Wiley & Sons, 1999.
Gallian, Joseph A.
Contemporary Abstract Algebra. 8th ed. Boston, MA: Brooks/Cole, Cengage Learning, 2012.
Munkres, James R.
Topology. 2nd ed. Upper Saddle River, NJ: Prentice Hall, 2000.
Smith, Douglas, Maurice Eggen & Richard St. Andre.
A Transition to Advanced Mathematics. 7th ed. Boston, MA: Brooks/Cole, Cengage Learning, 2011.
[1]
[2] عمران قوبا،
الجبر 1: مبادئ الجبر المجرد، ط 2 (دمشق: منشورات المعهد العالي للعلوم التطبيقية والتكنولوجيا، 2017)، ص 9-10.
[3] Smith Douglas, Maurice Eggen & Richard St. Andre, A Transition to Advanced Mathematics, 7th ed. (Boston, MA: Brooks/Cole, Cengage Learning, 2011), pp. 157-163.
[4] Robert G. Bartle & Donald R. Sherbert, “The Riemann Integral,” in: Introduction to Real Analysis, 4th ed. (Hoboken, NJ: John Wiley & Sons, 2011).
[5] Darrin Doud & Pace P. Nielsen, A Transition to Advanced Mathematics (Brigham Young University, 2024), pp. 161-164.
[6] Joseph A. Gallian, Contemporary Abstract Algebra. 8th ed. (Boston, MA: Brooks/Cole, Cengage Learning, 2012).
[7] Robert G. Bartle & Donald R. Sherbert,
op. cit.
[8] James R. Munkres, Topology, 2nd ed. (Upper Saddle River, NJ: Prentice Hall, 2000).
[9] Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, 2nd ed. (New York: John Wiley & Sons, 1999).
