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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

نظرية المجموعة (الجمع: نظرية المجموعات) (بالإنجليزية: Set theory) هو فرع من علم المنطق الرياضي، تهتم بدراسة المجموعات والتي هي تجميع لكائنات رياضية مجردة والعمليات المطبقة عليها، وتشكل إحدى أهم ركائز الرياضيات الحديثة.[1][2][3]

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

تاريخ[عدل]

تعاريف اساسية[عدل]

علاقة التابعية[عدل]

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

علاقة الجزئية[عدل]

علاقة ثنائية اخرى بين المجموعات هي علاقة المجموعة الجزئية وهي مشتقة من علاقة التابعية: نقول أن هي مجموعة جزئية للمجموعة اذا كل عضو تابع أيضا للمجموعة اي: . نرمز لهذه العلاقة بالشكل التالي: ونقول أيضا:A ضمن B. اذا تحقق أيضا أنَّ حينها نقول ان المجموعة A مجموعة جزئية فعلية للمجموعة B. ونرمز لذلك بالشكل التالي: .و نقول أيضا:A ضمن B قطعا.

علاقة الاتحاد[عدل]

دائرة واحدة ترمز للمجموعة A ودائرة ثانية ترمز للمجموعة B والمساحة الحمراء ترمز إلى اتحاد المجموعتين .

عملية اتحاد مجموعتين A وB يرمز لها بـ ونتيجتها هي مجموعة جديدة تحوي العناصر التي تنتمي لأي واحدة من المجموعتين A أو B. أي أن عنصر x ينتمي إلى إذا وفقط إذا x ينتمي إلى A أو x ينتمي إلى B

بالرموز:

  • مثال لاتحاد مجموعتين منتهيتين:
  • مثال لاتحاد مجموعة منتهية ومجموعة غير منتهية:
  • مثال لاتحاد مجموعتين غير منتهيتين:
  • مثال مع المجموعة الخالية:

علاقة التقاطع[عدل]

دائرة واحدة ترمز للمجموعة A ودائرة ثانية ترمز للمجموعة B والمساحة الحمراء ترمز إلى تقاطع المجموعتين .

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

بالرموز:

  • مثال لتقاطع مجموعتين منتهيتين:
  • مثال لتقاطع مجموع منتهية ومجموعة غير منتهية:
  • مثال لتقاطع مجموعتين غير منتهيتين:
  • مثال مع المجموعة الخالية:

مثال لمجموعة متممة: إذا كانت س

علاقة الفرق[عدل]

عملية الفرق بين مجموعتين A وB يرمز لها بـ ونتيجتها هي مجموعة جديدة تحوي العناصر التي تنتمي إلى A و لا تنتمي إلى B. أي أن عنصر x ينتمي إلى إذا وفقط إذا x ينتمي إلى A وأيضاً x لا ينتمي إلى B

بالرموز:

أمثلة:

  • الأعداد الفردية == الأعداد الزوجية = B، الأعداد الطبيعية == A
دائرة واحدة ترمز للمجموعة A ودائرة ثانية ترمز للمجموعة B والمساحة الحمراء ترمز إلى الفرق المتماثل بين المجموعتين .

علاقة الفرق المتماثل[عدل]

عملية الفرق المتماثل بين مجموعتين A وB يرمز لها بـ ونتيجتها هي مجموعة جديدة تحوي العناصر التي تنتمي إلى مجموعة واحدة فقط. أي أن عنصر x ينتمي إلى إذا وفقط إذا(x ينتمي إلى A وأيضاً x لا ينتمي إلى B) أو (x ينتمي إلى B وأيضاً x لا ينتمي إلى A)

بالرموز:

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

جداء ديكارتي[عدل]

الجداء الديكارتي للمجموعتين A و- B , نرمز له كالتالي: هي المجموعة كل الازواج المرتبة بحيث أنَّ: و.

مثلا الجداء الديكارتي بين المجموعة و- هو:

قوانين اساسية من جبر المجموعات[عدل]

تجتمع عمليتا الاتحاد و التقاطع على المجموعات مع بعض لتؤلف ما يعرف بجبر المجموعات .

بفرض ان و و ثلاث مجموعات ما و المجموعة هي المجموعة الشاملة نسبيا نجد ما يلي :

قانونا اللانمو :

قانونان التجميعيان :

القانونان التبديليان :

القانونان التوزيعيان :

قوانين المحايد و الماص :

قوانين الاتمام :

قانون الارتداد :

قانونا دومورغان :

اقرأ أيضاً[عدل]

مراجع[عدل]

  1. ^ Theory of Sets of Points, link from أرشيف الإنترنت نسخة محفوظة 16 يوليو 2017 على موقع واي باك مشين.
  2. ^ Set Theory from Cantor to Cohen», Akihiro Kanamori, dans : Andrew Irvine et John H. Woods (éditeurs), The Handbook of the Philosophy of Science, volume 4, Mathematics, Cambridge University Press, 2008. نسخة محفوظة 04 أبريل 2012 على موقع واي باك مشين.
  3. ^ Wittgenstein، Ludwig (1975). Philosophical Remarks, §129, §174. Oxford: Basil Blackwell. ISBN 0631191305.