שדה סגור אלגברית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ robot Adding: pl:Ciało algebraicznie domknięte |
אין תקציר עריכה |
||
שורה 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> אינן רציונליות). שתי נקודות החיתוך מופיעות כאשר עוברים לסגור האלגברי.
|