שדה פיתגורי
 |
ערך ללא מקורות
| |
| ערך ללא מקורות | |
שדה פיתגורי הוא שדה, שבו כל סכום של שני ריבועים הוא ריבוע. ("ריבוע" בשדה הוא איבר שיש לו שורש ריבועי, כלומר, איבר מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a^2} כאשר a עצמו בשדה). שמם של השדות מגיע ממשפט פיתגורס, המציג את ריבוע אורך היתר במשולש כסכום של שני ריבועים.
שדות פיתגוריים באים בשני טעמים: סדורים ושאינם סדורים. כדוגמה לקבוצה הראשונה, כל שדה אוקלידי הוא פיתגורי סדור. מאידך, לא כל שדה פיתגורי סדור הוא אוקלידי. ההבדל הוא שבשדה אוקלידי, כל המספרים החיוביים הם ריבועים, ואילו בשדה פיתגורי רק הסכומים של ריבועים מוכרחים להיות ריבועים; והרי כשיש יותר מדרך אחת לסדר שדה, יש מספרים חיוביים שאינם סכומים של ריבועים.
לקבוצה השנייה שייכים השדות הפיתגוריים שאינם סדורים. לפי משפט ארטין-שרייר מה שאינו מאפשר לסדר את השדה הוא העובדה ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ -1} הוא סכום של ריבועים; אבל כל מספר אפשר להציג כהפרש של שני ריבועים, ואם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ -1} הוא ריבוע, הפרש של שני ריבועים הוא גם סכום של שני ריבועים. לכן השדות הפיתגוריים שאינם סדורים הם בדיוק השדות הסגורים ריבועית, כדוגמת שדה המספרים הניתנים לבניה.
בכל שדה, החיתוך של משפחת תת-שדות פיתגוריים היא תת-שדה פיתגורי. מכאן נובע שלכל שדה F יש סגור פיתגורי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F_{\operatorname{pyth}}} (חיתוך השדות הפיתגוריים המכילים אותו בתוך סגור אלגברי שלו), שהוא השדה הפיתגורי הקטן ביותר המכיל את השדה. אם F סדור, הסגור הפיתגורי שלו יהיה מוכל בסגור האוקלידי (ולכן סדור בעצמו).
לפי משפט Diller-Dress, פיתגוריות אינה מופיעה לאחר הרחבת שדות סופית; כלומר, הרחבה סופית של שדה שאינו פיתגורי, גם היא אינה פיתגורית.
שדות פיתגוריים הם השדות שמספר פיתגורס שלהם הוא 1. שדה פיתגורי סדור, שכל הרחבה אלגברית סדורה שלו היא פיתגורית, נקרא שדה פיתגורי תורשתית. ידוע ש-F שדה כזה אם ורק אם מספר פיתגורס של שדה הפונקציות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F(x)} שווה ל-2.
ראו גם
קישורים חיצוניים
- שדה פיתגורי, באתר MathWorld (באנגלית)
שדה פיתגורי36440195