שדה המספרים הניתנים לבנייה
שדה המספרים הניתנים לבנייה הוא השדה הכולל את כל המספרים שאפשר לבנות בסרגל ובמחוגה.
אפשר לבנות את השדה הזה כך: בתחילה נתונות רק שתי נקודות במישור ריק (אלו הנקודות שיתאימו לאיבר האפס ואיבר היחידה של השדה). הסרגל מאפשר להעביר קו ישר בין שתי נקודות נתונות; המחוגה מאפשרת להקצות מעגל שמרכזו הוא נקודה נתונה, והרדיוס שלו הוא המרחק בין שתי נקודות נתונות; לבסוף, אפשר לחתוך כל שני קווים (או מעגלים) ולהוסיף את הנקודות המתקבלות לאוסף הנקודות שלנו.
לדוגמה, בשלב הראשון אפשר להעביר רק את הקו הישר דרך ו-, ואת שני המעגלים שרדיוסם , ומרכזיהם ו-1. חיתוך הקווים האלו מעשיר את האוסף שלנו בנקודות . כעת אפשר להעביר עוד שמונה ישרים ועוד 22 מעגלים, לחתוך את אלו זה עם זה, וכן הלאה.
לאחר שזיהינו את המישור עם שדה המספרים המרוכבים, האוסף של כל הנקודות שאפשר לקבל באמצעות תהליך סופי של העברת ישרים ומעגלים וחיתוכם מהווה תת-קבוצה של שדה המספרים המרוכבים. הדרך הקלה להוכיח שאוסף זה הוא שדה, כוללת שני שלבים: בראשון בודקים שאוסף המרחקים האפשריים בין נקודות ב- סגור לחיבור וחיסור, לכפל ולפעולת ההיפוך . מזה נובע ש- (כאוסף של מספרים מרוכבים) סגור לחיבור וחיסור. בשלב השני מראים שבמחוגה וסרגל אפשר לחבר זוויות, וכך (על-פי נוסחאות דה-מואבר) מוכח ש- סגור גם לכפל וחילוק.
תכונה חשובה של השדה היא העובדה שהוא סגור גם להוצאת שורש (שוב, כדי לראות זאת מספיק להוכיח שאפשר להוציא ב- שורש ממספרים ממשיים, ושורשים מרוכבים מתקבלים על ידי חציית זוויות). למעשה, הוא תת-השדה הקטן ביותר של הסגור להוצאת שורש, כלומר הסגור הריבועי של המספרים הרציונליים. מכאן נובע שהוא מכיל כל הרחבת גלואה של שדה המספרים הרציונליים מממד חזקת-2, ולהפך: הממד של סגור גלואה של כל תת-שדה מממד סופי של הוא חזקת-. ממילא, כל מספר מרוכב שהפולינום המינימלי שלו ממעלה שאיננה חזקת- (או שאינו מספר אלגברי), אינו שייך ל-, ולכן אינו ניתן לבנייה.
גלה עוד נושאים הקשורים לשדה המספרים הניתנים לבנייה
הבעיות של ימי קדם
כדי להראות שהבעיות הגאומטריות של ימי קדם אינן ניתנות לפתרון, נשאר לבדוק מהם הפולינומים המינימליים של המספרים שהן מבקשות מאיתנו לבנות: אי אפשר להכפיל את הקובייה, משום שהצלע המבוקשת, , יוצרת שדה מממד . אי אפשר לבנות זווית של מעלות, משום ש- הוא שורש של הפולינום האי-פריק (את הזווית של מעלות אפשר לבנות, ומכאן שלא ניתן לחלק זווית נתונה לשלושה חלקים שווים). אי אפשר לרבע את המעגל משום ש- מספר טרנסצנדנטי ולכן אינו ניתן לבנייה. אי אפשר לבנות משובע משוכלל משום שהשורש השביעי של היחידה הוא בעל פולינום מינימלי , ו- אינו חזקה של .
![{\displaystyle {\sqrt[{3}]{2}}}](https:https://wikimedia.org/api/rest_v1/media/math/render/svg/9ca071ab504481c2bb76081aacb03f5519930710)
| מערכות מספרים | ||
|---|---|---|
| מספרים | המספרים הטבעיים (מערכת פאנו) • חוג המספרים השלמים (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים (המישור המרוכב, מספר מרוכב, מספר מדומה) | |
| הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס • חוג השלמים האלגבריים • חוג השלמים של אייזנשטיין | |
| הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים (מספר p-אדי) • שדה ציקלוטומי | |
| מעבר למרוכבים | אלגברת הקווטרניונים של המילטון • אוקטוניונים • אלגברות קיילי-דיקסון | |
![\ \mathbb{Z}[i]](https:https://wikimedia.org/api/rest_v1/media/math/render/svg/76df51e5fa656a0bcfb5ed3bfffde8ea62f8a521)
![{\displaystyle \ \mathbb {Z} [\omega ]}](https:https://wikimedia.org/api/rest_v1/media/math/render/svg/2ae41c402b97eb389d066a11dc6fa4ae058fd250)
גלה עוד נושאים הקשורים להבעיות של ימי קדם
מקור: "שדה המספרים הניתנים לבנייה", ויקיפדיה האנציקלופדיה החופשית, (2020, September 9th), https://he.wikipedia.org/wiki/שדה_המספרים_הניתנים_לבנייה.
קישורים חיצוניים
- שדה המספרים הניתנים לבנייה, באתר MathWorld (באנגלית)
The content of this page is based on the Wikipedia article written by contributors..
The text is available under the Creative Commons Attribution-ShareAlike Licence & the media files are available under their respective licenses; additional terms may apply.
By using this site, you agree to the Terms of Use & Privacy Policy.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization & is not affiliated to WikiZ.com.
ing !