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

תוכן שנמחק תוכן שנוסף
שורה 18:
== דוגמאות ==
 
* הוכחת קיומו של [[סגור אלגברי]] של [[שדה (מבנה אלגברי)|שדה]]: אחת הדרכים להוכחת קיומו של סגור אלגברי היא באמצעות בניית מערכת מכוונת של הרחבות שדות אלגבריות והגדרת שני איברים בשני שדות הרחבה כלשהם להיות שקולים אם הם שווים בהרחבת שדות כלשהי. של שני השדות הללו, אזי הסגור האלגברי הוא הגבול הישר של מערכת זו.
* [[קוהומולוגיית צ'ך]] מוגדרת כגבול הישר של כל הקוהומולוגיות שמוגדריםשמוגדרות על ידי [[כיסוי פתוח|כיסויים פתוחים]] על [[מרחב טופולוגי]]. כאן יחס הסדר הוא היותו של כיסוי פתוח אחד עידון של כיסוי פתוח אחר.
* גבולות ישרים מופיעים בתיאוריה של [[קוהומולוגיית גלואה]].