جبر سیگما
در ریاضی، جبر سیگما (گاه جبر یا جبر ، انگلیسی: -algebra) یا میدان سیگما بر روی مجموعه ، به مجموعهای از زیرمجموعههای گفته میشود که تحت انجام تعداد شمارایی از جبر مجموعهای (مانند اجتماع، اشتراک یا متمم)، بسته بماند. یعنی تعداد شمارایی از انجام این گونه جبرها بر روی اعضای جبر سیگما، باز همواره عضوی از آن خواهد بود. به طور دیگر و خلاصه نیز میتوان، جبر سیگما را به صورت زیر تعریف کرد:
اگر جبر سیگما بر روی مجموعه باشد، آنگاه:
- X عضوی از است.
- اگر E عضوی از باشد، آنگاه متمم آن X\E نیز عضوی ازاست.
- اجتماعِ تعداد شمارایی از اعضای مجدداً دراست.
از ۱ و ۲ مستقیم نتیجه میشود که مجموعه تهی نیز عضوی از است. علاوه بر این با توجه به قوانین دومورگان از 2 و 3 نتیجه میشود که اشتراک هر تعداد شمارایی از اعضای نیز مجدداً در هست.
جبرهای سیگما که مانند جبر بولی شمارا میباشند، نقطه عطف و بنیادین در تعریف، نظریه اندازه و نظریه احتمالات هستند.
جستارهای وابسته
منابع
- R. M. Dudley, 2002. Real Analysis and Probability. Cambridge University Press.
- Paul Halmos, 1950. Measure theory. Van Nostrand and Co.
- Shilov, G. E. , and Gurevich, B. L. , 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8