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

במתמטיקה, שדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} הוא סגור אלגברית אם לכל פולינום לא קבוע עם מקדמים מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} קיים שורש ב-$F$.

דוגמאות

• שדה המספרים הממשיים $\mathbb {R}$ הוא לא סגור אלגברית. הפולינום $x^{2}+1$, למשל, הוא פולינום עם מקדמים ממשיים (0 ו-1) שלא קיים לו שום שורש ממשי - לא קיים מספר ממשי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2 + 1=0} . בצורה דומה ניתן לראות שכל תת-שדה של שדה המספרים הממשיים (ובפרט, למשל, שדה המספרים הרציונליים) הוא אינו סגור אלגברית.
• כל שדה סופי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} הוא לא סגור אלגברית. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1,\ldots,a_q} הם איברי השדה $F$, אז הפולינום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x-a_1)(x-a_2)\cdots (x-a_q) + 1 = x^q-x+1 \in F[x] } הוא פולינום שמקדמיו מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} אבל לא קיים לו שורש ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} .
• בניגוד לדוגמאות הקודמות, לפי המשפט היסודי של האלגברה, שדה המספרים המרוכבים הוא סגור אלגברית (למשל, לפולינום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^2 + 1} קיים שורש מרוכב).
• דוגמה נוספת לשדה סגור אלגברית הוא שדה המספרים האלגבריים, שהוא הסגור האלגברי של שדה המספרים הרציונליים.
• הסגור האלגברי של שדה סופי ממאפיין $p$ הוא האיחוד של כל השדות הסופיים מאותו מאפיין. לשדה המתקבל קוראים לפעמים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle GF(p^{\infty})} .

הגדרות שקולות

שדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} הוא סגור אלגברית אם ורק אם הוא מקיים את אחת התכונות השקולות הבאות:

• אין לשדה הרחבה מממד סופי.
• אין לשדה הרחבה אלגברית לא טריוויאליות
• לכל פולינום מעל השדה (שאינו קבוע), יש שורשים בשדה.
• כל פולינום ממעלה גדולה מ-1 מעל השדה הוא פריק.
• כל פולינום שמקדמיו בשדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} מתפצל שם לגורמים ליניאריים.
• לכל מטריצה ריבועית ישנו ערך עצמי.

חשיבות גאומטרית

בגאומטריה אלגברית, כאשר חוקרים מערכות משוואות מנקודת מבט גאומטרית, עובדים תמיד מעל שדה סגור אלגברית; גישה זו מסירה את ההפרעות האריתמטיות (שנובעות מאי-קיום שורשים לפולינומים או למערכות של פולינומים), ומותירה רק את האופי הגאומטרי שלהם. לדוגמה, כאשר עוסקים במספרים רציונליים, הקו הישר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=x} אינו נחתך עם המעגל $x^{2}+y^{2}=1$ (משום שנקודות החיתוך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=y=\pm \frac{\sqrt{2}}{2}} אינן רציונליות). שתי נקודות החיתוך מופיעות כאשר עוברים לסגור האלגברי.

קישורים חיצוניים

• שדה סגור אלגברית, באתר MathWorld (באנגלית)

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

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