שדה סגור אלגברית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
YurikBot (שיחה | תרומות)
אין תקציר עריכה
שורה 1:
'''שדה סגור אלגברית''' הוא [[שדה (מבנה אלגברי)|שדה]], שאין לו [[הרחבה אלגברית|הרחבות אלגבריות]] [[טריוויאלי (מתמטיקה)|לא טריוויאליות]]. לכל שדה F יש [[סגור אלגברי]], שהוא השדה הסגור אלגברית הקטן ביותר המכיל את F. זוהי ההרחבה האלגברית היחידה של F, [[עד כדי (מתמטיקה)|עד כדי]] איזומורפיזם, שהיא סגורה אלגברית.
'''שדה סגור אלגברית''' הוא [[שדה (מבנה אלגברי)|שדה]], המקיים אחת מהתכונות השקולות הבאות:
 
* אין לו [[הרחבה אלגברית|הרחבות אלגבריות]].
== הגדרות שקולות ==
 
התכונות הבאות כולן שקולות זו לזו:
* השדה סגור אלגברית
* אין לו [[הרחבה של שדות|הרחבה]] מ[[ממד]] סופי.
* לכל [[פולינום]] בעל מקדמים בשדה, יש פתרון.
שורה 6 ⟵ 10:
* כל פולינום בעל מקדמים בשדה מתפצל לגורמים לינאריים.
 
== דוגמאות ==
לכל שדה F יש [[סגור אלגברי]], שהוא השדה הסגור אלגברית הקטן ביותר המכיל את F. זוהי ההרחבה האלגברית היחידה של F, [[עד כדי (מתמטיקה)|עד כדי]] איזומורפיזם, שהיא סגורה אלגברית.
 
'''דוגמה'''. [[שדה המספרים המרוכבים]] סגור אלגברית. זהו הסגור האלגברי של [[שדה המספרים הממשיים]]. הסגור האלגברי של [[שדה המספרים הרציונליים]] (ולכן של כל [[שדה מספרים]] אחר) נקרא [[שדה המספרים האלגבריים]].
 
הסגור האלגברי של [[שדה סופי]] מ[[מאפיין של שדה|מאפיין]] p הוא האיחוד של כל השדות הסופיים מאותו מאפיין. לשדה המתקבל קוראים לפעמים <math>\ GF(p^{\infty})</math>.
 
== חשיבות גאומטרית ==
 
ב[[גאומטריה אלגברית]], כאשר חוקרים מערכות משוואות מנקודת מבט גאומטרית, עובדים תמיד מעל שדה סגור אלגברית; גישה זו מסירה את ההפרעות האריתמטיות (שנובעות מאי-קיום שורשים לפולינומים או למערכות של פולינומים), ומותירה רק את האופי הגאומטרי שלהם. לדוגמה, כאשר עוסקים במספרים רציונליים, הקו הישר <math>\ y=x</math> אינו נחתך עם המעגל <math>\ x^2+y^2=1</math> (משום שנקודות החיתוך <math>\ x=y=\pm \frac{\sqrt{2}}{2}</math> אינן רציונליות). שתי נקודות החיתוך מופיעות כאשר עוברים לסגור האלגברי.