שדה המספרים הניתנים לבנייה
ויקיפדיה האנציקלופדיה encyclopedia
שגיאות פרמטריות בתבנית:מקורות
פרמטרי חובה [ נושא ] חסרים
ערך מחפש מקורות | |
שדה המספרים הניתנים לבנייה הוא השדה הכולל את כל המספרים שאפשר לבנות בסרגל ובמחוגה.[1]
אפשר לבנות את השדה הזה כך: בתחילה נתונות רק שתי נקודות במישור ריק (אלו הנקודות שיתאימו לאיבר האפס ואיבר היחידה של השדה). הסרגל מאפשר להעביר קו ישר בין שתי נקודות נתונות; המחוגה מאפשרת להקצות מעגל שמרכזו הוא נקודה נתונה, והרדיוס שלו הוא המרחק בין שתי נקודות נתונות; לבסוף, אפשר לחתוך כל שני קווים (או מעגלים) ולהוסיף את הנקודות המתקבלות לאוסף הנקודות שלנו.
לדוגמה, בשלב הראשון אפשר להעביר רק את הקו הישר דרך ו-, ואת שני המעגלים שרדיוסם , ומרכזיהם ו-1. חיתוך הקווים האלו מעשיר את האוסף שלנו בנקודות . כעת אפשר להעביר עוד שמונה ישרים ועוד 22 מעגלים, לחתוך את אלו זה עם זה, וכן הלאה.
לאחר שזיהינו את המישור עם שדה המספרים המרוכבים, האוסף של כל הנקודות שאפשר לקבל באמצעות תהליך סופי של העברת ישרים ומעגלים וחיתוכם מהווה תת-קבוצה של שדה המספרים המרוכבים. הדרך הקלה להוכיח שאוסף זה הוא שדה, כוללת שני שלבים: בראשון בודקים שאוסף המרחקים האפשריים בין נקודות ב- סגור לחיבור וחיסור, לכפל ולפעולת ההיפוך . מזה נובע ש- (כאוסף של מספרים מרוכבים) סגור לחיבור וחיסור. בשלב השני מראים שבמחוגה וסרגל אפשר לחבר זוויות, וכך (על-פי נוסחאות דה-מואבר) מוכח ש- סגור גם לכפל וחילוק.
תכונה חשובה של השדה היא העובדה שהוא סגור גם להוצאת שורש (שוב, כדי לראות זאת מספיק להוכיח שאפשר להוציא ב- שורש ממספרים ממשיים, ושורשים מרוכבים מתקבלים על ידי חציית זוויות). למעשה, הוא תת-השדה הקטן ביותר של הסגור להוצאת שורש, כלומר הסגור הריבועי של המספרים הרציונליים. מכאן נובע שהוא מכיל כל הרחבת גלואה של שדה המספרים הרציונליים מממד חזקת-2, ולהפך: הממד של סגור גלואה של כל תת-שדה מממד סופי של הוא חזקת-. ממילא, כל מספר מרוכב שהפולינום המינימלי שלו ממעלה שאיננה חזקת- (או שאינו מספר אלגברי), אינו שייך ל-, ולכן אינו ניתן לבנייה.