סיגמא-אלגברה

מתוך ויקיפדיה, האנציקלופדיה החופשית

במתמטיקה, ובמיוחד בתורת הקבוצות, תורת המידה ואלגבראות בוליאניות, סיגמא-אלגברה על קבוצה $\ X$ היא משפחה של תת-קבוצות של $\,X$ , הכוללת את הקבוצה הריקה, וסגורה ללקיחת משלים ולאיחוד בן מניה (ראו ההגדרה להלן). לדוגמה, אוסף הקבוצות המדידות במרחב מידה הוא סיגמא-אלגברה.

[עריכה] הגדרה

סיגמא-אלגברה על קבוצה $\ X$ היא משפחה $\mathcal{A}$ של תת-קבוצות של $\,X$ , המקיימת את התכונות הבאות:

המשפחה כוללת את הקבוצה הריקה $\ \emptyset$ .
אם $\ A \in \mathcal{A}$ אז $\ A^c = X-A \in \mathcal{A}$ , כלומר, המשפחה סגורה לפעולת לקיחת המשלים.
המשפחה סגורה ביחס לאיחוד בן מנייה: אם $\ A_1 , A_2, \cdots \in \mathcal{A}$ אז $\ \bigcup_{n}{A_n} \in \mathcal{A}$ .

משפחה שבה מתקיימות שתי התכונות הראשונות וגרסה חלשה של תכונה 3 (סגירות לאיחוד סופי, במקום לאיחוד בן מניה) נקראת אלגברה של קבוצות; כל סיגמא-אלגברה היא אלגברה של קבוצות.

תכונות 2 ו- 3 גוררות (באמצעות כללי דה מורגן) גם סגירות ביחס לחיתוך בן מנייה.

[עריכה] שימושים ומבנה

זוג סדור $\ ( S , \mathcal{A} )$ , כש- $\,S$ קבוצה ו- $\mathcal{A}$ הוא $\,\sigma$ -אלגברה מעל $\,S$ , נקרא מרחב מדיד. בצירוף פונקציית מידה $\,\mu$ השלשה הסדורה $\ ( S, \mathcal{A}, \mu )$ נקראת מרחב מידה.

סיגמא-אלגברה מגדירה על המרחב X יחס שקילות, שבו $\ x\equiv y$ אם ורק אם כל קבוצה הכוללת את x כוללת גם את y. אם המרחב X בן מניה, מחלקות השקילות עצמן שייכות לאלגברה, ובמקרה כזה האלגברה מוגדרת באמצעותן (קבוצה שייכת לאלגברה אם ורק אם היא מהווה איחוד של מחלקות שקילות). מכאן נובע שכל מידה על מרחב בן מניה היא אטומית.

[עריכה] דוגמאות

הסיגמא-אלגברה הטריוויאלית המינימלית: מכילה רק את $\,X$ ואת הקבוצה הריקה.
הסיגמא-אלגברה הטריוויאלית המקסימלית: מכילה את כל התת-קבוצות של $\,X$ ולמעשה, שווה לקבוצת החזקה של $\,X$ .
לכל משפחה של סיגמא-אלגברות מעל $\,X$ , גם החיתוך שלהן הוא סיגמא-אלגברה.
הסיגמא-אלגברה של בורל: הסיגמא אלגברה המכילה את כל קבוצות בורל, היא הסיגמא-אלגברה הנוצרת על ידי הקבוצות הפתוחות והקבוצות הסגורות. היא מכילה בין השאר:
- קבוצות סגורות, קבוצות פתוחות, קטעים מכל הסוגים, קרניים (קטע עם קצה אחד שהוא אינסופי).
- $\ G_\delta$ = קבוצה שהיא חיתוך בן מנייה של קבוצות פתוחות.
- $\ F_\sigma$ = קבוצה שהיא איחוד בן מנייה של קבוצות סגורות.