جبر المجموعات
جبر المجموعات- لا ينبغي الخلط في الرياضيات بين جبر المجموعات وبين البنية الرياضية له ، فجبر المجموعات يحدد خصائص وقوانين المجموعات، والعمليات النظرية الخاصة بها مثل الاتحاد والتقاطع والتكامل وعلاقات المساواة والتضمن في المجموعات. كما أنه يوفر إجراءات منهجية لتقييم التعبيرات، وإجراء الحسابات، التي تتضمن هذه العمليات والعلاقات.
أي مجموعة من المجموعات المندرجة تحت العمليات النظرية للمجموعة تشكل ما يسمي بـ الجبر البولياني، حيث يمثل الاتحاد عامل الربط، ويمثل االتقاطع عامل الالتقاء، ويمثل مكمل المجموعة عامل المكمل ، والقاع أو الفراغ يمثلة العامل (فاي قالب:Tmath)) والقمة هي المجموعة الكاملة أو الشامله.
الأساسيات
نظريًا يمكن القول أن جبر المجموعات يناظر جبر الأعداد. فكما أن الجمع والضرب الحسابيين لهما خصائص التبادل والترابط ، فكذلك الأتحاد والتقاطع في المجموعات؛ وكما أن العلاقة الحسابية "أقل من أو يساوي" انعكاسية وغير متماثلة ومتعدية ، فإن علاقة المجموعة "بمجموعة جزئية" يمكن ان تحوز الخصائص السابقة نفسها.
فهو إذن جبر العمليات النظرية للمجموعة المتمثلة في الاتحاد والتقاطع والتكامل، وعلاقات المساواة والتضمن. .
الخصائص الأساسية لجبر المجموعات
العمليات الثنائية للاتحاد قالب:Tmath والتقاطع قالب:Tmath في المجموعة تلبي العديد من الهويات . العديد من هذه الهويات أو "القوانين" لها أسماء مقررة ومعترف بها. قالب:Refn
يمكن النظر إلي اتحاد المجموعات وتقاطعها على أنه تشابه لعملية جمع وضرب الأرقام. ومثل ما هو في الجمع والضرب، فإن عمليات الاتحاد والتقاطع هي عمليات تتسم بالتبادل والترابط، والتقاطع يتوزع على الاتحاد. ومع ذلك، وعلى عكس الجمع والضرب، فإن الاتحاد يتوزع أيضًا على التقاطع.
زوجان من الخصائص الإضافية متضمن في مجموعات خاصة تسمى المجموعة الفارغة قالب:Tmath والمجموعة الشاملة U ؛ المكمل قالب:Tmath والمجموعة قالب:Tmath تشكلان معًا مجموعة العالم أو المجموعة الشاملة، والمكمل قالب:Tmath يمكن أيضًا كتابتة هذا على النحو قالب:Tmath. المجموعة الفارغة ليس لها أعضاء، ومجموعة العالم( المجموعة الشاملة) تحتوي على كل الأعضاء الممكنة (في سياق معين).
- خاصية الهوية:
- خاصية الإكمال:
- A U A = U
- قالب:Tmath
يتضح من خلال تعبيرات الهوية، والتعبيرات الدالة على التبادل أنه، تمامًا مثل 0 و1 في الجمع والضرب، فإن قالب:Tmath و U هما عنصرا الهوية للاتحاد والتقاطع على التوالي.
على العكس من عمليتي الجمع والضرب، فإن الاتحاد والتقاطع في المجموعات ليس لهما عناصر عكسية . ومع ذلك فإن قوانين الإكمال تعطي الخصائص الأساسية للعملية الأحادية العكسية إلى حد ما لاستكمال المجموعة.
تتضمن الأزواج الخمسة السابقة من الصيغ — صيغتا التبادل، والترابط، والتوزيع، والهوية، والإكمال— كل جبر المجموعات، بمعنى أنه يمكن اشتقاق كل قضية صحيحة في جبر المجموعات من خلال هذه الصيغ.
لاحظ أنه إذا تم إضعاف صيغ المكمل للقاعدة قالب:Tmath ، فهذا هو بالضبط جبر المنطق الخطي القضوي .
مبدأ الثنائية
تمثل كل واحدة من الهويات المذكورة أعلاه، واحدة من زوج من الهويات بحيث يمكن تحويل كل منها إلى الأخرى عن طريق قالب:Tmathو قالب:Tmath ، وفي الجانب الآخر يتم التبادل أيضًا بين قالب:Tmath و U .
هذه أمثلة على خاصية شديدة الأهمية والقوة في جبر المجموعات، والتي تتمثل في: مبدأ الثنائية للمجموعات، والذي يؤكد على أن: بالنسبة لأي عبارة صحيحة عن المجموعات، فإن العبارة الثنائية التي يتم الحصول عليها عن طريق تبادل الاتحادات والتقاطعات، وتبادل U و قالب:Tmath وعكس المتضمنات صحيح أيضًا. ويقال عن عبارة أنها ثنائية ذاتيا إذا كانت مساوية لثنائية خاصة بها.
بعض القوانين الإضافية للأتحادات والتقاطعات
تنص القضايا التالية على ستة قوانين أخرى مهمة لجبر المجموعات، والتي تتضمن الاتحادات والتقاطعات.
القضية 3: بالنسبة لأية مجموعات فرعية قالب:Tmath و قالب:Tmath من المجموعة الشاملة U ، تنتج الهويات التالية:
- قالب:Tmath
- قالب:Tmath
- A U U = U
- قالب:Tmath
- قالب:Tmath
- قالب:Tmath
وكما هو مشار أعلاه، يمكن استخلاص كل قانون من القوانين المذكورة في القضية 3 من الأزواج الخمسة الأساسية للقوانين المذكورة أعلاه. وللتوضيح، نعرض أدناه دليلاً على القوانين الأولي منها للاتحاد.
البرهان:
| قالب:Tmath | بواسطة قانون هوية التقاطع | |
| قالب:Tmath | بالقانون المكمل للاتحاد | |
| قالب:Tmath | بواسطة قانون توزيع الأتحاد على التقاطع | |
| قالب:Tmath | بواسطة القانون المكمل للتقاطع | |
| قالب:Tmath | بموجب قانون الهوية للأتحاد |
برهان
| قالب:Tmath | قالب:Tmath | عن طريق قانون الهوية للأتحاد |
| قالب:Tmath | بواسطة القانون المكمل للتقاطع | |
| قالب:Tmath | بواسطة قانون توزيع التقاطع على الأتحاد | |
| بالقانون المكمل للأتحاد | ||
| قالب:Tmath | بواسطة قانون الهوية للتقاطع |
يمكن التعبير عن التقاطع من حيث اختلاف المجموعة:
بعض القوانين الإضافية للمكملات
تنص القضايا التالية على خمسة قوانين أخرى مهمة في جبر المجموعات، والتي تتضمن المكملات.
القضية رقم 4: علي افتراض أن قالب:Tmath وقالب:Tmath مجموعات فرعية من المجموعة الشاملة U ، إذن:
- قانونا دي مورجان:
- قانون المكمل المزدوج أو قانون الالتفاف:
- قوانين المكملة للمجموعة الشاملة والمجموعة الفارغة:
- U =
- قالب:Tmath
لاحظ أن قانون المكمل المزدوج هو قانون مزدوج ذاتي.
القضية التالية، والتي هي أيضًا ثنائية ذاتية، تشير إلى إن المكمل للمجموعة هو المجموعة الوحيدة التي تلبي قوانين المكمل.
القضية رقم 5: على أفتراض أن قالب:Tmath وقالب:Tmath مجموعات فرعية من المجموعة الشاملة U ، إذن:
- تفرد المكملات:
- إذا كان A U B= U ، و قالب:Tmath إذن قالب:Tmath
جبر التضمين
القضية التالية تشبر إلى أن التضمن ، أي العلاقة الثنائية لمجموعة واحدة كونها مجموعة جزئية من أخرى، هو ترتيب جزئي .
القضية 6 : إذا كانت قالب:Tmath, قالب:Tmathو قالب:Tmath إذن ينتج التالي:
- الانعكاس :
- عدم التماثل :
- الانتقالية :
تنص القضية التالية على أنه بالنسبة لأي مجموعة S ، فإن مجموعة القوى S ، المرتبة حسب التضمن، هي شبكة محدودة ، وبالتالي مع قوانين التوزيع والإكمال أعلاه، تظهر أنها عبارة عن جبر بولياني .
القضية 7 : إذا كان قالب:Tmath, قالب:Tmath وقالب:Tmath مجموعات فرعية من المجموعة قالب:Tmath إذن ينتج التالي:
- وجود العنصر الأصغر والعنصر الأعظم :
- وجود الترابطات :
- قالب:Tmath
- إذا كان قالب:Tmath قالب:Tmath و قالب:Tmath إذن
- قالب:Tmath
- إذا كانقالب:Tmath وقالب:Tmath إذنقالب:Tmath
القضية التالية تشبر إلى أن العبارة قالب:Tmath تكافئ مع عبارا أخري متعددة متضمنة الاتحادات والتقاطعات والمكملات.
القضية 8 : بالنسبة لأي مجموعتين قالب:Tmath و قالب:Tmath تكون التكافؤات التالية:
وضح القضية أعلاه أن علاقة تضمين المجموعة يمكن وصفها من خلال أي من عمليات اتحاد المجموعة أو تقاطعها ، الأمر الذي يعني أن مفهوم تضمين المجموعة غير ضروري من الناحية البديهية.
جبر المكملات النسبية
لقائمة التالية ضمن عدة هويات تتعلق بالمكملات النسبية والاختلافات في نظرية المجموعات.
القضية 9 : بالنسبة لأية مجموعة شاملة U ومجموعات فرعية قالب:Tmath, قالب:Tmathو قالب:Tmath، للمحموعة U تنتج الهويات التالية:
انظر أيضا
- جبر سيجما هو جبر المجموعات، والذي تم إكماله ليشمل العمليات اللانهائية القابلة للعد.
- نظرية المجموعة البديهية
- مجال المجموعات
- قائمة الهويات والعلاقات المحددة
- نظرية المجموعات الساذجة
- مجموعة (رياضيات)
- الفضاء الطوبولوجي — مجموعة قالب:Tmath من قالب:Tmath ، مجموعة الطاقة من قالب:Tmath ، مغلق فيما يتعلق بالاتحاد التعسفي والتقاطع المحدود والمحتوي على قالب:Tmath قالب:Tmath .