מערכת מכוונת


כל מה שרצית לדעת על מערכת מכוונת:
מערכת מכוונת או מערכת מכוונת ישירה בקטגוריה מסוימת היא אוסף עצמים באותה קטגוריה (קבוצות, חבורות או חוגים למשל).
באופן אינטואיטיבי אפשר לראות אותה כמעין עץ של עצמים מקוננים, שבו כל שני איברים נחשבים לשווים אם הם שווים בעצם כלשהו המכיל את שניהם.
היא מוגדרת כאיחוד הזר של העצמים במערכת עם יחס השקילות הבא: שני איברים בעצמים A ו-B נקראים שקולים אם קיים עצם C ה"מכיל" את A ו-B שבו שני העצמים שווים.
למנה של האיחוד הזר של אוסף העצמים ביחס ליחס שקילות זה קוראים "הגבול הישר" של המערכת המכוונת.
מערכות מכוונות משמשות בין היתר באלגברה הומולוגית וטופולוגיה אלגברית.
למשל: קוהומולוגיית צ'ך מוגדר כגבול הישר של מערכת מכוונת של עידונים של כיסויים פתוחים של מרחב טופולוגי.

נלקח מויקיפדיה

הגדרות נוספות הקשורות למערכת מכוונת:
אלגברה