חוג של קבוצות

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

בתורת הקבוצות, חוג של קבוצות (Ring of sets) הוא אוסף לא ריק של תת-קבוצות הסגור לאיחוד והפרש. חוג קבוצות למחצה הוא אוסף לא ריק של תת קבוצות שהוא סגור לחיתוך, ובנוסף לכך הפרש קבוצות בו הוא איחוד זר סופי של איברים ממנו.

לחוגי קבוצות ולחוגים למחצה של קבוצות שימושים בתורת המידה; מוגדרות עליהן מידות חוגיות, אותן אפשר להרחיב למידות על סיגמא-אלגברה, לפי משפט ההרחבה של קרתאודורי.

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

תהי קבוצה נתונה.

משפחת תת קבוצות של תקרא חוג למחצה (Semiring) אם מתקיים:

  • (מכילה את הקבוצה הריקה)
  • (סגורה לחיתוך)
  • (כל הפרש הוא איחוד סופי זר של איברים מ-)


משפחת תת קבוצות של תקרא חוג (Ring) אם מתקיים:

  • (מכילה את הקבוצה הריקה)
  • (סגורה לאיחוד)
  • (סגירות להפרש)

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