حلقة سيجما

في الرياضيات ، تسمى مجموعة غير فارغة من المجموعات حلقة 𝜎 (تنطق سيجما-رينغ ) إذا كانت مغلقة تحت الاتحاد القابل للعد والتكمل النسبي .

التعريف الرسمي

يتركR{\displaystyle {\mathcal {R}}}لتكن مجموعة غير فارغة من المجموعات . إذنR{\displaystyle {\mathcal {R}}}تكون حلقة 𝜎 إذا:

  1. مغلق في ظل النقابات القابلة للعد :ن=1أنR{\displaystyle \bigcup _{n=1}^{\infty }A_{n}\in {\mathcal {R}}}لوأنR{\displaystyle A_{n}\in {\mathcal {R}}}للجميعنشمال{\displaystyle n\in \mathbb {N} }
  2. مغلق تحت المكمل النسبي :أبR{\displaystyle A\setminus B\in {\mathcal {R}}}لوأ،بR{\displaystyle A,B\in {\mathcal {R}}}

ملكيات

هاتان الخاصيتان تعنيان ما يلي: ن=1أنR{\displaystyle \bigcap _{n=1}^{\infty }A_{n}\in {\mathcal {R}}} حينماأ1،أ2،...{\displaystyle A_{1},A_{2},\ldots }هي عناصر منR.{\displaystyle {\mathcal {R}}.}

وذلك لأن ن=1أن=أ1ن=2(أ1أن).{\displaystyle \bigcap _{n=1}^{\infty }A_{n}=A_{1}\setminus \bigcup _{n=2}^{\infty }\left(A_{1}\setminus A_{n}\right).}

كل حلقة 𝜎 هي حلقة δ ولكن توجد حلقات δ ليست حلقات 𝜎 .

مفاهيم مماثلة

إذا تم إضعاف الخاصية الأولى إلى حالة الإغلاق تحت الاتحاد المحدود (أي،أبR{\displaystyle A\cup B\in {\mathcal {R}}}حينماأ،بR{\displaystyle A,B\in {\mathcal {R}}}) ولكن ليس اتحادًا قابلاً للعد، إذنR{\displaystyle {\mathcal {R}}}هو حلقة ولكنه ليس حلقة من نوع 𝜎 .

الاستخدامات

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

خاتم 𝜎R{\displaystyle {\mathcal {R}}}وهي مجموعة من المجموعات الفرعية منX{\displaystyle X}يُحدث مجالًا 𝜎 لـX.{\displaystyle X.}يُعرِّفأ={هـX:هـR أو هـجR}.{\displaystyle {\mathcal {A}}=\{E\subseteq X:E\in {\mathcal {R}}\ {\text{or}}\ E^{c}\in {\mathcal {R}}\}.}ثمأ{\displaystyle {\mathcal {A}}}هو حقل 𝜎 على المجموعةX{\displaystyle X}- للتحقق من الإغلاق بموجب اتحاد قابل للعد، استدعِ أσ{\displaystyle \sigma }الحلقة مغلقة تحت التقاطعات القابلة للعد. في الواقعأ{\displaystyle {\mathcal {A}}}هو الحقل الأدنى 𝜎 الذي يحتويR{\displaystyle {\mathcal {R}}}لأنه يجب أن يكون موجودًا في كل حقل 𝜎 يحتوي علىR.{\displaystyle {\mathcal {R}}.}

انظر أيضاً

مراجع

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