نظرية المجموعات

مفهوم المجموعة

المجموعة في أبسط تعريفاتها هي تجمع من عناصر يمكن التعامل معها باعتبارها كياناً رياضياً واحداً. فإذا كانت A مجموعة تحتوي الأعداد 1 و2 و3، فيمكن كتابتها على الصورة A = {1,2,3}. ويقال إن 1 ينتمي إلى A، ويكتب ذلك بالرمز 1 ∈ A، بينما إذا كان العدد 5 غير موجود فيها فنكتب 5 ∉ A.

يختلف مفهوم المجموعة الرياضي عن مفهوم التجمع في اللغة اليومية؛ فالمجموعة في النظرية الأكسيومية ليست مجرد أي مجموعة من الأشياء يمكن وصفها باللغة الطبيعية، بل هي كيان يخضع لقواعد محددة تتعلق بوجود المجموعات وتكوينها وعلاقات الانتماء بينها. ولهذا انتقلت نظرية المجموعات من التصور البديهي المباشر في أعمال كانتور إلى صياغة أكسيومية أكثر صرامة بعد اكتشاف التناقضات في نظرية المجموعات غير المقيدة. 1^[2]

جورج كانتور ونشأة النظرية الحديثة

يعد جورج فرديناند لودفيغ فيليب كانتور الشخصية المركزية في نشأة نظرية المجموعات بوصفها فرعاً مستقلاً من الرياضيات. ولد كانتور في 3 مارس 1845 في سانت بطرسبورغ، وتوفي في 6 يناير 1918 في هاله بألمانيا. وقد أصبح اسمه مرتبطاً بصورة خاصة بدراسة المجموعات اللانهائية والأعداد الكاردينالية والأعداد الترتيبية. وتصفه المصادر التاريخية المتخصصة بأنه مؤسس نظرية المجموعات الحديثة وأحد الذين فتحوا الطريق إلى دراسة رياضية منهجية للانهاية. 2^[3]

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

نشر كانتور خلال الفترة 1879–1884 سلسلة من ستة أبحاث في Mathematische Annalen هدفت إلى تقديم أساس منظم لنظرية المجموعات، وشهدت هذه الفترة تطوراً سريعاً لأفكاره حول المجموعات اللانهائية والأعداد الكاردينالية. 3^[4]

الجذور القديمة لفكرة الانتماء والتجمع

لم يخترع كانتور فكرة التجميع من العدم. فقد ظهرت أفكار تتعلق بالتصنيف والكل والأجزاء منذ العصور القديمة، كما ناقش الفلاسفة والرياضيون طبيعة اللانهاية منذ اليونان القديمة. وتذكر الدراسات التاريخية إسهامات زينون الإيلي في القرن الخامس قبل الميلاد في المشكلات المتعلقة باللانهاية، كما ظهرت خلال العصور الوسطى نقاشات حول مقارنة التجمعات اللانهائية. ومع ذلك، كان الانتقال من مجرد الحديث عن التجمعات إلى التعامل مع المجموعة باعتبارها كياناً رياضياً مستقلاً خطوة مفاهيمية متأخرة. 4^[5]

وتؤكد الدراسات الحديثة لتاريخ النظرية أن التصورات التي سبقت كانتور كانت متعددة المصادر، ولم تنشأ الأفكار المجموعاتية حصراً من التحليل الرياضي؛ فقد شاركت فيها الجبر ونظرية الأعداد والهندسة أيضاً. ولذلك فإن نشأة نظرية المجموعات ينبغي فهمها بوصفها جزءاً من التحول العام في الرياضيات خلال القرن التاسع عشر. 5^[6]

المساواة بين المجموعات

تقول نظرية المجموعات إن مجموعتين تكونان متساويتين إذا كان لهما العناصر نفسها. فإذا كانت A = {1,2,3} وB = {3,2,1}، فإن A = B، لأن ترتيب العناصر عند كتابة المجموعة لا يغير المجموعة نفسها.

وتسمى هذه الفكرة في النظام الأكسيومي الحديث بمسلمة الامتداد أو Axiom of Extensionality. ومضمونها أن مجموعتين إذا كان كل عنصر ينتمي إلى الأولى إذا وفقط إذا كان ينتمي إلى الثانية، فإن المجموعتين متساويتان. وبذلك تحدد هوية المجموعة بعناصرها لا بطريقة ترتيب هذه العناصر أو طريقة وصفها. 6^[7]

المجموعة الخالية

المجموعة الخالية هي المجموعة التي لا تحتوي أي عنصر، ويرمز إليها بالرمز ∅. وعلى الرغم من عدم احتوائها على عناصر، فإنها مجموعة حقيقية في نظرية المجموعات الأكسيومية. ويعد وجودها جزءاً من البنية الأساسية لنظرية زرملو–فرانكل.

وتتميز المجموعة الخالية بخاصية مهمة: هي مجموعة جزئية من كل مجموعة. فإذا كانت A أي مجموعة، فإن ∅ ⊆ A. كما أن هناك مجموعة خالية واحدة فقط وفقاً لمسلمة الامتداد؛ فإذا كان لمجموعتين العدد نفسه من العناصر، أي لا عناصر على الإطلاق، فهما متساويتان. 7

المجموعة الجزئية

نقول إن A مجموعة جزئية من B إذا كان كل عنصر من عناصر A ينتمي أيضاً إلى B. ويرمز إلى ذلك بـ A ⊆ B.

فإذا كانت A = {1,2} وB = {1,2,3,4}، فإن A ⊆ B. وإذا كانت A ⊆ B ولكن A ≠ B، يمكن وصف A بأنها مجموعة جزئية حقيقية من B.

يعد مفهوم المجموعة الجزئية أساسياً في معظم عمليات نظرية المجموعات؛ فمجموعة القوى، والاتحاد، والتقاطع، والعلاقات، والدوال، كلها ترتبط بصورة مباشرة أو غير مباشرة بمفهوم الاحتواء.

مجموعة القوى

إذا كانت A مجموعة، فإن مجموعة القوى الخاصة بها، ويرمز إليها بـ 𝒫(A)، هي المجموعة التي تحتوي جميع المجموعات الجزئية لـ A. فإذا كانت A = {a,b}، فإن:

𝒫(A) = {∅,{a},{b},{a,b}}

وهذه العملية أساسية للغاية لأنها تكشف أن الانتقال من مجموعة إلى مجموعة جميع أجزائها يغير حجمها بصورة جوهرية. فإذا كانت A مجموعة منتهية تحتوي n عناصر، فإن مجموعة قوى A تحتوي 2ⁿ مجموعة جزئية. ومسلمة مجموعة القوى في نظرية زرملو–فرانكل تضمن وجود مجموعة تحتوي بالضبط جميع المجموعات الجزئية لمجموعة معينة. 8^[8]

اتحاد المجموعات

اتحاد مجموعتين A وB هو مجموعة جميع العناصر التي تنتمي إلى A أو إلى B أو إليهما معاً. ويرمز إليه بـ A ∪ B.

إذا كانت A = {1,2,3} وB = {3,4,5}، فإن:

A ∪ B = {1,2,3,4,5}

وتعمم عملية الاتحاد على عائلة كاملة من المجموعات. وتضمن المسلمة الخاصة بالاتحاد في نظرية زرملو–فرانكل أن اتحاد عناصر مجموعة معينة يمكن أن يكون مجموعة. 9

تقاطع المجموعات

تقاطع مجموعتين هو مجموعة العناصر التي تنتمي إلى المجموعتين معاً. ويرمز إليه بـ A ∩ B.

فإذا كانت A = {1,2,3} وB = {2,3,4}، فإن:

A ∩ B = {2,3}

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

الفرق والمتممة

فرق المجموعتين A وB، ويرمز إليه أحياناً بـ A B، هو مجموعة العناصر التي تنتمي إلى A ولا تنتمي إلى B. وإذا كانت هناك مجموعة شاملة U، فإن متممة A بالنسبة إلى U هي العناصر الموجودة في U وغير الموجودة في A.

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

المجموعات المنتهية واللانهائية

المجموعة المنتهية هي المجموعة التي يمكن أن يكون عدد عناصرها مساوياً لعدد طبيعي محدد. أما المجموعة اللانهائية فلا يوجد عدد طبيعي يمثل عدد عناصرها. وكان التمييز بين أنواع مختلفة من اللانهاية أحد أعظم إنجازات كانتور.

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

التكافؤ بين المجموعات

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

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

لانهاية الأعداد الطبيعية

مجموعة الأعداد الطبيعية ℕ = {0,1,2,3,…} أو الصياغات التي تبدأ من 1، بحسب convention المستخدم، هي مثال أساسي على مجموعة لانهائية قابلة للعد. ويمكن إنشاء تقابل بينها وبين مجموعة الأعداد الزوجية الموجبة، رغم أن الأخيرة تبدو للوهلة الأولى أصغر لأنها لا تحتوي إلا على بعض الأعداد الطبيعية.

والسبب هو أن الدالة n ↦ 2n تنشئ تقابلاً بين الأعداد الطبيعية والأعداد الزوجية غير السالبة في الصياغة التي تبدأ فيها الأعداد الطبيعية من الصفر. وهذا يوضح أن مفهوم «الحجم» في المجموعات اللانهائية يختلف عن الحدس البسيط المستمد من المجموعات المنتهية.

الأعداد الكاردينالية

الأعداد الكاردينالية تقيس حجم المجموعات من منظور نظرية المجموعات. ويقال إن مجموعتين لهما العدد الكاردينالي نفسه إذا كان بينهما تقابل واحد لواحد.

أطلق كانتور على حجم مجموعة الأعداد الطبيعية اللانهائية القابلة للعد مفهوماً كاردينالياً خاصاً، وغالباً ما يرمز له بـ ℵ₀. ثم أثبت وجود أحجام أكبر من ذلك، وأظهر أن مجموعة الأعداد الحقيقية ليست قابلة للعد بالطريقة نفسها التي تكون بها الأعداد الطبيعية قابلة للعد. وقد شكل هذا العمل نقطة تحول في دراسة اللانهاية. 10

حجة كانتور القطرية

من أشهر براهين نظرية المجموعات حجة كانتور القطرية، التي تستخدم لإثبات أن بعض المجموعات لا يمكن وضع عناصرها في قائمة مرقمة بواسطة الأعداد الطبيعية. وتظهر الحجة بصورة كلاسيكية عند دراسة الأعداد الحقيقية في الفترة بين 0 و1.

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

أصبح البرهان القطري من الأدوات الأساسية في نظرية المجموعات والمنطق، كما ارتبط لاحقاً ببرهانات عدم القابلية للحساب ومشكلات الحوسبة النظرية.

مفارقة كانتور

توجد نتيجة أساسية أخرى ترتبط بمجموعة القوى. فمبرهنة كانتور تقول إن مجموعة القوى لأي مجموعة A أكبر من A من حيث العدد الكاردينالي؛ أي لا توجد دالة تقابلية بين A و𝒫(A).

وهذه النتيجة تعني أن سلسلة أحجام لا نهائية من المجموعات يمكن توليدها ابتداءً من أي مجموعة: A، ثم 𝒫(A)، ثم 𝒫(𝒫(A))، وهكذا. ولذلك لا توجد مجموعة واحدة تحتوي «كل المجموعات» بالمعنى الساذج دون الوقوع في مشكلات أساسية.

الأعداد الترتيبية

إذا كانت الأعداد الكاردينالية تقيس حجم المجموعة، فإن الأعداد الترتيبية ترتبط بترتيب العناصر. وتصبح هذه الفكرة بالغة الأهمية عند دراسة المجموعات المرتبة جيداً والعمليات التي تمتد عبر مراحل لا نهائية.

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

مبدأ الترتيب الجيد

ينص مبدأ الترتيب الجيد على أن كل مجموعة يمكن ترتيبها ترتيباً جيداً؛ أي إن كل مجموعة جزئية غير خالية منها تمتلك عنصراً أصغر وفق الترتيب. وقد ارتبط هذا المبدأ ارتباطاً وثيقاً بمسلمة الاختيار.

أثبت زرملو مبرهنة الترتيب الجيد في عام 1904 باستخدام مسلمة الاختيار، ثم أصبحت المسألة جزءاً مركزياً من النقاش حول الأسس الأكسيومية لنظرية المجموعات. وتذكر المصادر التاريخية أن أكسيومة زرملو لعام 1908 جاءت في سياق الحاجة إلى صياغة المبادئ التي يقوم عليها برهان مبرهنة الترتيب الجيد بصورة أكسيومية. 12^[9]

ظهور المفارقات

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

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

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

نظرية زرملو الأكسيومية

قدم إرنست زرملو أول أكسمة منهجية لنظرية المجموعات في ورقته المنشورة عام 1908 بعنوان Untersuchungen über die Grundlagen der Mengenlehre I. وقد أصبحت هذه الصياغة نقطة الانطلاق الأساسية لتطوير النظام الحديث المعروف باسم نظرية زرملو–فرانكل. 14^[10]

اشتمل نظام زرملو الأصلي على مبادئ للامتداد والمجموعات الأولية والفصل ومجموعة القوى والاتحاد والاختيار واللانهاية. وكان الهدف هو تحديد البنية الأساسية للكون المجموعاتي ومنع التناقضات التي ظهرت في نظرية المجموعات غير المقيدة. 15

مسلمات زرملو–فرانكل

تتكون نظرية زرملو–فرانكل الحديثة من مجموعة من المسلمات التي تصف العمليات الأساسية على المجموعات. وفي العرض الشائع للنظام توجد مسلمات الامتداد، والخلو، والزوج، والاتحاد، ومجموعة القوى، واللانهاية، والفصل، والاستبدال، والأساس، ثم تضاف مسلمة الاختيار للحصول على ZFC. وتختلف بعض التفاصيل في طريقة عد المسلمات وصياغتها، لأن بعض المبادئ يمكن اشتقاقها من أخرى في أنظمة معينة. 16

مسلمة الامتداد

تقول مسلمة الامتداد إن مجموعتين متساويتان إذا وفقط إذا كان لهما العناصر نفسها. وهي التي تمنح معنى دقيقاً لهوية المجموعة؛ فالمجموعة لا تتميز باسمها أو ترتيب كتابتها، بل بعناصرها.

وبصيغة منطقية، إذا تحقق لكل عنصر z أن z ∈ x يكافئ z ∈ y، فإن x = y. وتعد هذه المسلمة من أبسط مسلمات النظرية، لكنها أساسية في كل عمليات إثبات المساواة بين المجموعات. 17

مسلمة الزوج

تنص مسلمة الزوج على أنه إذا كانت x وy مجموعتين، فتوجد مجموعة تحتويهما كعنصرين لها، وتكتب {x,y}. وإذا كان x = y نحصل على المجموعة المفردة {x}. وتسمح هذه المسلمة ببناء مجموعات صغيرة من مجموعات موجودة مسبقاً. 18

مسلمة الاتحاد

تضمن مسلمة الاتحاد أنه إذا كانت لدينا مجموعة من المجموعات، فإن العناصر الموجودة داخل تلك المجموعات يمكن جمعها في مجموعة واحدة. فإذا كانت X مجموعة تحتوي مجموعات متعددة، فإن ∪X هي مجموعة العناصر التي تنتمي إلى عنصر واحد على الأقل من عناصر X.

وهذه المسلمة تسمح بتسوية مستوى واحد من البنية المجموعاتية؛ فإذا كانت لدينا مجموعات داخل مجموعة، يمكن جمع العناصر الداخلية في مجموعة جديدة. 19

مسلمة مجموعة القوى

تنص مسلمة مجموعة القوى على أنه لكل مجموعة A توجد مجموعة تحتوي جميع المجموعات الجزئية لـA. وتعد هذه المسلمة من أهم مصادر الانتقال إلى مجموعات ذات حجم أكبر.

فإذا كانت A تحتوي n عناصر، فإن 𝒫(A) تحتوي 2ⁿ عنصراً في الحالة المنتهية. أما في حالة المجموعات اللانهائية، فإن مبرهنة كانتور تضمن أن مجموعة القوى أكبر كاردينالياً من المجموعة الأصلية. 20

مسلمة اللانهاية

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

مخطط الفصل

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

وهذا القيد مهم جداً من الناحية المنطقية. فبدلاً من القول إن كل خاصية φ(x) تنتج مجموعة {x : φ(x)} بلا قيود، يقول مبدأ الفصل إننا نستطيع استخراج مجموعة العناصر التي تحقق الخاصية من داخل مجموعة موجودة مسبقاً. ويعد هذا أحد العناصر الأساسية التي تساعد النظام الأكسيومي على تجنب المفارقات. 22

مسلمة الاستبدال

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

وتشير موسوعة ستانفورد للفلسفة إلى أن الاستبدال كان من الإضافات المهمة التي ارتبطت بتطوير نظرية زرملو إلى نظام زرملو–فرانكل، وأنه ضروري لتطوير أجزاء مهمة من نظرية الأعداد الترتيبية والكاردينالية والاستقراء عبر التراتب. 23

مسلمة الأساس

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

وتسمح هذه المسلمة ببناء الكون المجموعاتي في طبقات أو مستويات متدرجة، بحيث لا تظهر دورات بسيطة من الشكل الذي يجعل مجموعة تنتمي إلى نفسها بصورة غير منضبطة. 24

مسلمة الاختيار

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

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

نظرية ZF وZFC

تشير الحروف ZF إلى نظرية زرملو–فرانكل من دون افتراض مسلمة الاختيار، بينما تشير ZFC إلى النظام نفسه مع إضافة مسلمة الاختيار. ويعد ZFC الإطار الأكسيومي القياسي الأكثر شيوعاً في أسس الرياضيات المعاصرة.

ويستخدم هذا النظام لغة منطقية بسيطة نسبياً: المتغيرات تمثل الأشياء، والعلاقة الأساسية الوحيدة بين الأشياء هي علاقة الانتماء ∈. وتوضح موسوعة ستانفورد للفلسفة أن النظام مصاغ في منطق الرتبة الأولى مع المساواة وبعلاقة ثنائية واحدة هي علاقة العضوية. 26

المجموعات بوصفها أساساً للرياضيات

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

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

بناء الأعداد الطبيعية

يمكن داخل نظرية المجموعات تعريف الأعداد الطبيعية باستخدام بناء فون نيومان. ففي هذا البناء يكون العدد صفر هو المجموعة الخالية:

0 = ∅

ويكون العدد 1 هو:

1 = {∅}

والعدد 2 هو:

2 = {∅,{∅}}

وهكذا يكون كل عدد طبيعي هو مجموعة الأعداد الطبيعية السابقة له. بهذه الطريقة يتحول مفهوم العدد من كيان بدائي إلى كيان مجموعاتي يمكن بناؤه داخل النظام الأكسيومي.

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

الأزواج المرتبة

يحتاج تعريف الدوال والعلاقات إلى مفهوم الزوج المرتب، لأن (a,b) يختلف عن (b,a) عموماً. ويمكن بناء الزوج المرتب باستخدام مجموعات فقط، ومن أشهر التعريفات تعريف كوراتوفسكي:

(a,b) = {{a},{a,b}}

ويتميز هذا البناء بأن الزوجين المرتبين (a,b) و(c,d) يكونان متساويين إذا وفقط إذا كان a = c وb = d. وبذلك يمكن بناء مفهوم الترتيب من اللغة الأساسية لنظرية المجموعات.

الدوال والعلاقات

يمكن تعريف العلاقة بين مجموعتين باعتبارها مجموعة من الأزواج المرتبة. أما الدالة فهي علاقة ذات شرط إضافي يضمن أن كل عنصر من مجالها يرتبط بعنصر واحد فقط من المجال المقابل.

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

العلاقات والتكافؤ

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

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

الترتيب الجزئي والترتيب الكلي

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

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

نظرية المجموعات ونظرية الأعداد

توفر نظرية المجموعات أساساً موحداً للأعداد الطبيعية والصحيحة والنسبية والحقيقية. ويمكن بناء أنظمة عددية متتابعة من خلال عمليات مجموعاتية، بحيث ينتقل البناء من بنية بسيطة إلى بنى أكثر تعقيداً.

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

نظرية المجموعات والتحليل الرياضي

تعتمد مفاهيم كثيرة في التحليل على اللغة المجموعاتية. فالمجال والمدى والمجموعات المفتوحة والمغلقة والمجموعات القابلة للقياس والتقارب كلها تصاغ باستخدام مجموعات أو عائلات من المجموعات.

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

نظرية المجموعات والطوبولوجيا

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

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

نظرية المجموعات والجبر

يمكن تمثيل البنى الجبرية مثل الزمر والحلقات والحقول على أنها مجموعات مزودة بعمليات وعلاقات تحقق مسلمات محددة. فالزمرة مثلاً يمكن النظر إليها كمجموعة من العناصر مع عملية ثنائية تحقق شروطاً معينة.

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

نظرية المجموعات والمنطق الرياضي

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

وأصبح السؤال حول ما يمكن إثباته من مسلمات ZFC وما لا يمكن إثباته من المسلمات نفسها أحد الموضوعات المركزية في الرياضيات الحديثة. وهذا يقود إلى مفهوم الاستقلال، حيث يمكن أن تكون عبارة رياضية معينة غير قابلة للإثبات أو النفي من مجموعة معينة من المسلمات، إذا كان النظام متسقاً.

فرضية الاستمرارية

فرضية الاستمرارية، التي صاغها كانتور في سياق أحجام المجموعات اللانهائية، تسأل عما إذا كان هناك عدد كاردينالي يقع مباشرة بين عدد عناصر الأعداد الطبيعية وعدد عناصر الأعداد الحقيقية. وبالترميز الكاردينالي، ترتبط بالسؤال عما إذا كان:

2^ℵ₀ = ℵ₁

ولا يمكن التعامل مع هذه المسألة باعتبارها مجرد سؤال حسابي عادي؛ فقد أثبت كورت غودل في عام 1940 أن فرضية الاستمرارية لا تتناقض مع ZF إذا كانت ZF متسقة، بينما أثبت بول كوهين في عام 1963 استقلالها عن ZFC بمعنى أن نفيها لا يمكن إثباته من ZFC إذا كان ZFC متسقاً. وأصبحت هذه النتيجة من أشهر أمثلة الاستقلال في تاريخ أسس الرياضيات.

الاستقلال في نظرية المجموعات

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

تظهر أمثلة بارزة على ذلك في فرضية الاستمرارية وبعض الصيغ المتعلقة بمسلمة الاختيار. وقد غيرت نتائج غودل وكوهين تصور الرياضيين لما يمكن أن تعنيه «حلول» بعض المشكلات التأسيسية؛ فليس كل سؤال مصاغ رياضياً قابلاً للحسم من خلال المسلمات المستخدمة حالياً.

المجموعات والأصناف

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

وتظهر هذه الفكرة في نظريات مثل فون نيومان–برنايز–غودل (NBG) ومورس–كيلي (MK)، التي توفر طرقاً بديلة لصياغة أجزاء من نظرية المجموعات والتعامل بصورة صريحة مع الأصناف الحقيقية. ومع ذلك تظل ZFC الإطار الأكسيومي الأكثر شيوعاً في الأسس الرياضية المعاصرة. 28

تسلسل تاريخي نحو الصياغة الحديثة

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

وتشير الدراسات التاريخية الحديثة إلى أن الفترة الممتدة تقريباً من 1850 إلى 1930 كانت حاسمة في تكوين نظرية المجموعات الحديثة، وأن عملية الانتقال لم تكن مجرد استجابة لمفارقة واحدة، بل كانت تطوراً معقداً شمل التحليل والجبر والمنطق والأسس الرياضية. 29

أهمية نظرية المجموعات في أسس الرياضيات

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

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

نظرية المجموعات في علوم الحاسوب

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

وفي علوم الحاسوب النظرية تظهر أيضاً مفاهيم العد، والعلاقات، والدوال، واللانهاية، ومجموعات الكلمات والسلاسل، وهي كلها مرتبطة بصورة مباشرة أو غير مباشرة باللغة المجموعاتية.

نظرية المجموعات والرياضيات المعاصرة

لم تعد نظرية المجموعات مجرد نظرية لدراسة التجمعات. فقد أصبحت إطاراً لدراسة اللانهاية، والأعداد الترتيبية والكاردينالية، والبنى الرياضية، والمسائل التأسيسية، والاستقلال، والقابلية للبناء، والقوى والوصف المجموعاتي.

وتؤكد الدراسات المعاصرة أن نظرية المجموعات تؤدي دورين متداخلين: فهي فرع مستقل من الرياضيات، وهي أيضاً لغة تأسيسية يمكن استخدامها لتحديد ما يعتبر كياناً رياضياً مشروعاً وما القواعد التي تحكم تكوينه. 30

مكانة كانتور في تاريخ الرياضيات

كان تأثير كانتور أعمق من مجرد إدخال رموز جديدة. فقد غير مفهوم الرياضيين عن اللانهاية، وأظهر أن هناك تدرجاً في أحجام المجموعات اللانهائية. وكان هذا التحول مصدراً لمعارضة فكرية قوية في عصره، لكنه أصبح لاحقاً أحد أعمدة الرياضيات الحديثة.

وتشير السيرة الرياضية المتخصصة إلى أن كانتور لم يكتف بدراسة نظرية المجموعات، بل ناقش أيضاً جوانبها الفلسفية مع عدد من الفلاسفة، وأن إنتاجه في نظرية المجموعات تركز بصورة مكثفة خلال فترة تقارب اثني عشر عاماً في أواخر القرن التاسع عشر. 31

نظرية المجموعات هي أحد الأسس العميقة للرياضيات الحديثة، لأنها تقدم مفهوماً بسيطاً ظاهرياً — المجموعة — يمكن بناء شبكة واسعة من المفاهيم الرياضية انطلاقاً منه. بدأت النظرية الحديثة مع أبحاث جورج كانتور في النصف الثاني من القرن التاسع عشر، وخصوصاً دراساته للمجموعات اللانهائية والأعداد الكاردينالية، ثم واجهت أزمة الأسس بسبب المفارقات التي كشفت حدود التكوين غير المقيد للمجموعات. أدى ذلك إلى ظهور الصياغات الأكسيومية، وكان نظام زرملو لعام 1908 نقطة تحول رئيسية، ثم تطور النظام إلى نظرية زرملو–فرانكل، ومع إضافة مسلمة الاختيار أصبح النظام المعروف بـZFC. وتتيح هذه النظرية بناء الأعداد والعلاقات والدوال والعديد من البنى الرياضية، كما أصبحت مركزاً لدراسة اللانهاية والاستقلال والأسس المنطقية للرياضيات. ولهذا تحتل نظرية المجموعات موقعاً فريداً: فهي في الوقت نفسه موضوع رياضي مستقل، ولغة تأسيسية، وأداة لدراسة أعمق الأسئلة المتعلقة بطبيعة الرياضيات وما يمكن إثباته داخل أنظمتها الأكسيومية. 32