حلقة سيجما
في الرياضيات ، تسمى مجموعة غير فارغة من المجموعات حلقة 𝜎 (تنطق سيجما-رينغ ) إذا كانت مغلقة تحت الاتحاد القابل للعد والتكمل النسبي .
التعريف الرسمي
يتركلتكن مجموعة غير فارغة من المجموعات . إذنتكون حلقة 𝜎 إذا:
- مغلق في ظل النقابات القابلة للعد :لوللجميع
- مغلق تحت المكمل النسبي :لو
ملكيات
هاتان الخاصيتان تعنيان ما يلي: حينماهي عناصر من
وذلك لأن
كل حلقة 𝜎 هي حلقة δ ولكن توجد حلقات δ ليست حلقات 𝜎 .
مفاهيم مماثلة
إذا تم إضعاف الخاصية الأولى إلى حالة الإغلاق تحت الاتحاد المحدود (أي،حينما) ولكن ليس اتحادًا قابلاً للعد، إذنهو حلقة ولكنه ليس حلقة من نوع 𝜎 .
الاستخدامات
يمكن استخدام حلقات 𝜎 بدلاً من حقول 𝜎 ( جبر 𝜎 ) في تطوير نظرية القياس والتكامل ، إذا لم يُرغب في اشتراط أن تكون المجموعة الشاملة قابلة للقياس. كل حقل 𝜎 هو أيضاً حلقة 𝜎 ، ولكن ليس بالضرورة أن تكون حلقة 𝜎 حقلاً 𝜎 .
خاتم 𝜎وهي مجموعة من المجموعات الفرعية منيُحدث مجالًا 𝜎 لـيُعرِّفثمهو حقل 𝜎 على المجموعة- للتحقق من الإغلاق بموجب اتحاد قابل للعد، استدعِ أالحلقة مغلقة تحت التقاطعات القابلة للعد. في الواقعهو الحقل الأدنى 𝜎 الذي يحتويلأنه يجب أن يكون موجودًا في كل حقل 𝜎 يحتوي على
انظر أيضاً
- حلقة دلتا – حلقة مغلقة تحت التقاطعات القابلة للعد
- حقل المجموعات - مفهوم جبري في نظرية القياس، ويشار إليه أيضًا باسم جبر المجموعات
- الربط (جبر سيجما) – البنية الجبرية لجبر المجموعات. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه.
- نظام 𝜆 (نظام دينكين) – عائلة مغلقة تحت المكملات والاتحادات المنفصلة القابلة للعد
- دالة قابلة للقياس - نوع من الدوال الرياضية
- فئة الرتابة – نظرية القياس ونظرية الاحتمالات. صفحات تعرض أوصافًا موجزة لأهداف إعادة التوجيه.
- نظام باي – عائلة من المجموعات المغلقة تحت التقاطع
- حلقة المجموعات – عائلة مغلقة تحت الاتحادات والمكملات النسبية
- فضاء العينة - مجموعة جميع النتائج أو المخرجات الممكنة لتجربة إحصائية أو عملية تجريبية
- خاصية الجمع 𝜎 – دالة الربط
- الجبر سيجما – البنية الجبرية لجبر المجموعات
- 𝜎-مثالي – الأسرة المغلقة ضمن مجموعات فرعية والاتحادات القابلة للعد
مراجع
- والتر رودين ، 1976. مبادئ التحليل الرياضي ، الطبعة الثالثة. ماكجرو هيل. يستخدم الفصل الأخير حلقات 𝜎 في تطوير نظرية ليبيغ.
| العائلاتمن مجموعات أكثر | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| ينطبق بالضرورة علىأو، هومغلق بموجب: | إخراج | FIP | ||||||||
| نظام π | ||||||||||
| شبه حلقي | أبداً | |||||||||
| شبه الجبر (شبه الحقل) | أبداً | |||||||||
| فصل دراسي رتيب | فقط إذا | فقط إذا | ||||||||
| نظام 𝜆 (نظام دينكين) | فقط إذا | فقط إذاأو أنها منفصلة | أبداً | |||||||
| الحلقة (نظرية الترتيب) | ||||||||||
| الحلقة (نظرية القياس) | أبداً | |||||||||
| حلقة دلتا | أبداً | |||||||||
| 𝜎-ring | أبداً | |||||||||
| الجبر (مجال) | أبداً | |||||||||
| الجبر π (حقل π) | أبداً | |||||||||
| فلتر | ||||||||||
| فلتر مناسب | أبداً | أبداً | أبداً | |||||||
| مرشح أولي (قاعدة المرشح) | ||||||||||
| قاعدة بيانات التصفية الفرعية | ||||||||||
| الطوبولوجيا المفتوحة | أبداً | |||||||||
| الطوبولوجيا المغلقة | أبداً | |||||||||
| ينطبق بالضرورة علىأو، هومغلق بموجب: | موجه للأسفل | التقاطعات المحدودة | الاتحادات المحدودة | المكملات النسبية | يكمل في | التقاطعات القابلة للعد | النقابات القابلة للعد | يتضمن | يتضمن | خاصية التقاطع المحدود |
بالإضافة إلى ذلك، فإن شبه الحلقة هو نظام π حيث كل مكمليساوي اتحادًا منفصلاً محدودًا لمجموعات في الجبر الجزئي هو حلقة جزئية حيث كل مكمليساوي اتحادًا منفصلاً محدودًا لمجموعات فيهي عناصر اعتباطية منويفترض أن | ||||||||||
- نظرية القياس
- عائلات المجموعات
