מספר אלגברי
מספר אלגברי הוא מספר מרוכב המהווה שורש של פולינום בעל מקדמים רציונליים (או שלמים, אין הבדל). בפרט, כל מספר רציונלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} הוא אלגברי, משום שהוא פותר את המשוואה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x-q=0} . מספר (מרוכב) שאינו אלגברי נקרא מספר טרנסצנדנטי.
אוסף כל המספרים האלגבריים מהווה שדה, הנקרא שדה המספרים האלגבריים. שדה זה סגור אלגברית: השורשים של פולינום בעל מקדמים אלגבריים הם בעצמם אלגבריים.
אוסף המספרים האלגבריים הוא בן מנייה, בעוד שהמשלים לו אינו בן מנייה. תכונה זו הוכחה על ידי גאורג קנטור. במובן זה ישנם הרבה יותר מספרים שאינם אלגבריים מאשר מספרים אלגבריים, למרות שבאופן מעשי קשה ביותר להוכיח שמספר נתון (כגון e או פאי) אינו אלגברי (להוכחות ראו טרנסצנדנטיות של e ומשפט לינדמן).
דוגמאות.
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sqrt{2}} הוא מספר אלגברי - הוא מאפס את הפולינום .
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i=\sqrt{-1}} הוא מספר אלגברי - הוא מאפס את הפולינום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x^2 + 1} .
- המספרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle e} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi} ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ e^{\pi}} אינם אלגבריים.
ההגדרה המובאת כאן מסתפקת בכך שמספר אלגברי יהיה שורש לפולינום בעל מקדמים רציונליים. הגדרה מקובלת אחרת דורשת שהמספר יהיה שורש לפולינום בעל מקדמים שלמים. שתי ההגדרות שקולות זו לזו, משום שפולינום במקדמים רציונליים אפשר להפוך לפולינום במקדמים שלמים על ידי כפל בגורם משותף. את ההגדרה הראשונה אפשר להכליל למושג איבר אלגברי בהרחבה כללית של שדות; אחרי הכל, מספר אלגברי אינו אלא איבר אלגברי של שדה המספרים המרוכבים מעל שדה המספרים הרציונליים. באופן צורף, ההגדרה השנייה הולמת אם חושבים על שדה המספרים המרוכבים כאלגברה מעל חוג המספרים השלמים: האיברים האלגבריים בהרחבה זו הם בדיוק המספרים האלגבריים.
שלמים אלגבריים
ערך מורחב – חוג השלמים האלגבריים
מספר (מרוכב) המהווה שורש של פולינום מתוקן (כלשהו) בעל מקדמים שלמים, נקרא שלם אלגברי. אוסף השלמים האלגבריים בשדה מהווה חוג. מקורו של השם שלמים אלגברים הוא בכך שמספר רציונלי הוא שלם אלגברי אם ורק אם הוא שלם (במובן הרגיל). תורת המספרים האלגברית, העוסקת בתכונות של שלמים אלגבריים והמבנים הקשורים אליהם, היא הכללה של תורת המספרים הקלאסית.
איבר הוא שלם אלגברי אם ורק אם הפולינום המינימלי שלו (מעל הרציונליים) הוא בעל מקדמים שלמים.
הכללה
על איברים אלגבריים בהרחבה של שדות, או באופן כללי יותר באלגברה, ראו בערך איבר אלגברי.
ראו גם
קישורים חיצוניים
- מספר אלגברי, באתר MathWorld (באנגלית)
- מספר אלגברי, באתר אנציקלופדיה בריטניקה (באנגלית)
מערכות מספרים | ||
---|---|---|
מספרים | המספרים הטבעיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{N}} (מערכת פאנו) • חוג המספרים השלמים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}} (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Q}} (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{C}} (המישור המרוכב, מספר מרוכב, מספר מדומה) | |
הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Z}[i]} • חוג השלמים האלגבריים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \overline{\mathbb{Z}}} • חוג השלמים של אייזנשטיין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Z}[\omega]} | |
הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \overline{\mathbb{Q}}} (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Q}_p} (מספר p-אדי) • שדה ציקלוטומי | |
מעבר למרוכבים | אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ {\mathbb{H}}} ) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ {\mathbb{O}}} ) • אלגברות קיילי-דיקסון |
מספר אלגברי32665305Q168817