מספר מרוכב

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

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

המספרים המרוכבים יוצרים את שדה המספרים המרוכבים שמסומן בסימן $\mathbb {C}$.

כיוון שהריבוע של כל מספר ממשי הוא חיובי, למספרים השליליים אין שורש בשדה המספרים הממשיים. המספרים המרוכבים מתקבלים על ידי 'המצאת' מספר שאינו ממשי, $i$, ושילובו במספרים הממשיים. מספרים מרוכבים, כדוגמת $3+2i$, מתקבלים באמצעות הפעולות האריתמטיות הרגילות בין המספרים הממשיים לבין המספר ה'חדש'.

שלא כמו במספרים הממשיים, מעל המספרים המרוכבים יש שורש לכל פולינום, לא רק למשוואה $x^{2}=-1$, שעל מנת למצוא לה פתרון הוגדר $i$ מלכתחילה, אלא גם למשוואות כמו $x^{6}+x^{2}+1=0$ או אפילו $x^{5}+(2-i)x+7i=0$. תכונה זו של שדה המספרים המרוכבים מנוסחת במשפט היסודי של האלגברה, והיא שהופכת את המספרים המרוכבים למרכזיים כל כך במתמטיקה המודרנית.

היסטוריה

יצירתם של המספרים המרוכבים, בתחילת המאה ה-16, מיוחסת לג'ירולמו קרדאנו, שנעזר בהם כדי לפתור את המשוואה ממעלה שלישית. המספרים הוגדרו במפורש, בשנת 1572 על ידי רפאל בומבלי. באותה עת נחשבו מספרים כאלה ללא אמיתיים. מתמטיקאים התקשו לקבל את המושג החדש, והדבר בא לידי ביטוי גם בשם שניתן להם. דקארט, הראשון שהשתמש במושג "מספר מדומה" בשנת 1637, התייחס בכך למה שקרוי כיום "מספר מרוכב". המספרים המרוכבים נכנסו למתמטיקה באופן מלא בעקבות עבודותיהם של אוילר וגאוס.

הגדרה פורמלית של המספרים המרוכבים

כל מספר מרוכב $z$ ניתן להציג (באופן יחיד) כסכום $z=a+bi$, כך ש-$a$ ו-$b$ הם מספרים ממשיים ו-$i$ הוא היחידה המרוכבת, המקיימת את התנאי $i^{2}=-1$. בניסוח זה, $a$ נקרא החלק הממשי של המספר, ומסומן $\operatorname {Re} (z)={\mathfrak {R}}(z)=a$; באופן דומה $bi$ הוא החלק המדומה של $z$, ומסמנים $\operatorname {Im} (z)={\mathfrak {I}}(z)=b$

מזהים כל מספר מרוכב $a+bi$ עם הזוג הסדור $(a,b)$ (או, באופן שקול, עם נקודה במישור האוקלידי), ומגדירים פעולות חיבור וכפל מיוחדות על נקודות אלו. כתוצאה מכך מתקבל שדה אלגברי. (לפרטים נוספים על הבנייה ראו שדה המספרים המרוכבים ולהסבר כללי על שיטת הרחבה זו ראו הרחבת שדות). ניתן לייצג מספרים מרוכבים בצורה גאומטרית על גבי מערכת צירים קרטזית במישור המרוכב.

בחירת השמות 'מספר מדומה' מול 'מספר ממשי' מקורה בחוסר האמון שניתן בתחילה למספרים המרוכבים ובתחושה שהם מציאותיים פחות מהמספרים הממשיים. תחושה זו אינה שוללת את תקפותם כמספרים, ובתקופות שונות שרר חוסר אמון גם במספרים השליליים, ואחריהם במספרים הממשיים שאינם רציונליים.

אריתמטיקה של מספרים מרוכבים

המספרים המרוכבים מקיימים

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (a+bi)+(c+di)=(a+c)+(b+d)i}

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (a+bi)\cdot(c+di)=(ac-bd)+(ad+bc)i} .

כמו כן נהוג להגדיר:

• ערך מוחלט: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ |z| = |a + bi| = \sqrt{a^2 + b^2}} - הערך המוחלט מציין את "גודלו" של המספר המרוכב (מרחקו מן הראשית, כאשר מסתכלים על המספר כעל נקודה במישור המרוכב).
• צמוד מרוכב: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z^* = \bar{z} = (a+bi)^* = a - bi}

ואז מתקיים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ |z|^2 = z\cdot\bar{z}} . תכונה זו מאפשרת לבצע את פעולת החילוק בין שני מספרים מרוכבים באופן הבא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{a+bi}{c+di}=\frac{(a+bi)\cdot(c-di)}{(c+di)\cdot(c-di)}=\frac{(a+bi)\cdot(c-di)}{|c+di|^2}=\frac{ac+bd}{c^2 + d^2}+\frac{bc-ad}{c^2 + d^2}i} .

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

הצגה קוטבית

מספר מרוכב ניתן להציג גם באמצעות המרחק שלו מהראשית והזווית שהוא יוצר עם הכיוון החיובי של הציר הממשי (ציר x). הצגה זו נקראת הצגה קוטבית (או הצגה פולרית או הצגה טריגונומטרית). על ידי שימוש בטריגונומטריה, ובסימון $\ r=|z|$ מקבלים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z = r(\cos\theta + i \sin\theta)} . באמצעות נוסחת אוילר ניתן לכתוב זאת גם כ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z = r e^{i\theta}} כאשר את הזווית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \theta} (שנקרא ארגומנט) ניתן לקבל על ידי הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \theta = \arctan\left(\frac{b}{a}\right)} ואת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} על ידי הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r=|z| = |a + bi| = \sqrt{a^2 + b^2}} . כמו כן $e$ הוא בסיס הלוגריתם הטבעי, על כל התכונות האלגבריות המשתמעות מכך. בחלק מהספרים מסומן לעיתים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z=r\cdot cis\theta} (כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle cis\theta=\cos\theta+i\sin\theta} ).

צורת הצגה זו שימושית ביותר. למשל, בהינתן ההצגה הקוטבית של מספר מרוכב פעולות הכפל והחילוק הופכות נוחות ומהירות יותר, מאחר שניתן להיעזר בחוקי חזקות. לדוגמה, בהינתן שני מספרים מרוכבים הנתונים בהצגתם הקוטבית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_1=r_1 e^{i\theta_1}, z_2=r_2 e^{i\theta_2}} נוכל לבצע את פעולת הכפל ביניהם באופן הבא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z_1 \cdot z_2=r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2}=r_1 r_2 e^{i\left(\theta_1+\theta_2\right)}} . פעולת החילוק תיתן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{z_1}{z_2}=\frac{r_1}{r_2} e^{i\left(\theta_1-\theta_2\right)}} .

כמו כן, ניתן להשתמש בנוסחת דה-מואבר (לפיה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (r(\cos\theta + i \sin\theta))^n=r^n(\cos(n\theta)+i \sin(n\theta))} ) על מנת למצוא שורש של מספר מרוכב (ראו פירוט בערך שורש של מספר).

שימושים

יש בעיות רבות במתמטיקה ובפיזיקה שקל יותר לתאר ולפתור בעזרת מספרים מרוכבים, גם כאשר אין למספרים אלו זכר בניסוח הבעיה ואף לא בתוצאה הסופית שלה.

שימושים במתמטיקה

המספרים המרוכבים הומצאו במקור כדי לפתור משוואות פולינומיות, כגון משוואה ממעלה שלישית, או המשוואה הפענוח נכשל (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 \ j} במקום באות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ i} , הואיל וזו כבר משמשת בהם לסימון זרם.

ראו גם

• i (מספר)
• הכללות של המספרים המרוכבים: אלגברת קווטרניונים (ובפרט אלגברת הקווטרניונים של המילטון), אלגברת אוקטוניונים (ובפרט אלגברת האוקטוניונים של קיילי).

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

• מספר מרוכב, באתר MathWorld (באנגלית)
• מספר מרוכב, באתר אנציקלופדיה בריטניקה (באנגלית)
• מספר מרוכב, באתר אנציקלופדיה למתמטיקה (באנגלית)
• גדי אלכסנדרוביץ', הכי ממשיים שיש: הכירו את המספרים המרוכבים, באתר ynet, 11 באוקטובר 2011
• מיכאל גורודין, האם יש מספרים לא אמיתיים?, במדור "מדע במבט-על" באתר של מכון דוידסון לחינוך מדעי, 26 באפריל 2022
• אלגברה א - הרצאה 05, סרטון בערוץ "Technion", באתר יוטיוב (אורך: 45:59) - הרצאה מצולמת על המספרים המרוכבים מאת פרופ' דוד צילג, מתוך ספריית הווידאו של הטכניון - אלגברה א'
• מספרים מרוכבים, דף שער בספרייה הלאומית

הערות שוליים

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

35675535מספר מרוכב