מערכת מכוונת – הבדלי גרסאות

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