הצגת המקור של הדף "מספר מדומה"

'''מספר מדומה''' (לעיתים מכונה בטעות "'''מספר דמיוני'''") הוא מספר ש[[ריבוע (חזקה)|ריבועו]] הוא [[מספר ממשי]] שלילי או [[אפס (מספר)|אפס]]. כל מספר מדומה אפשר להציג כמכפלה של מספר ממשי עם "[[היחידה המדומה]]" (שהיא אחד משני ה[[שורש ריבועי|שורשים]], <math>i</math> ו-<math>-i</math> של מינוס אחת: <math>i^2=-1</math>). לדוגמה <math>ib</math>, כאשר <math>b</math> הוא מספר ממשי, ו-<math>i</math> הוא היחידה המדומה. לפי הגדרה זו 0 הוא גם מספר ממשי וגם מספר מדומה.

כיוון שהריבוע של כל מספר ממשי הוא [[מספר חיובי|חיובי]] או אפס, למינוס אחת (שהוא מספר שלילי) אין שורש ממשי. על ידי 'המצאה' של מספר שאינו ממשי, <math>i</math>, ושילובו עם [[שדה המספרים הממשיים]], מתקבל [[שדה (מבנה אלגברי)|שדה]] [[הרחבת שדות|גדול יותר]], הנקרא "[[שדה המספרים המרוכבים]]". [[מספר מרוכב]] בנוי מחלק ממשי וחלק מדומה בצורה <math>a+ib</math> כאשר <math>a, b</math> מספרים ממשיים. 

שדה המספרים המרוכבים [[סגירות (אלגברה)|סגור]] ל[[שורש של מספר|הוצאת שורש]] בכלל, ול[[הוצאת שורש ריבועי]] בפרט.

==היסטוריה==
כיוון שלמספר שלילי אין שורש ריבועי ב[[שדה המספרים הממשיים]], מתמטיקאים התייחסו אל [[משוואה]] כגון <math>x^2+1=0</math> כאל משוואה שאין לה פתרון. הצורך בהתייחסות שונה לשורש של מספר שלילי התעורר כאשר [[ג'ירולמו קרדאנו]] גילה, בתחילת [[המאה ה-16]], שהדרך לפתרון [[משוואה ממעלה שלישית]], גם כאשר פתרון זה הוא מספר ממשי, מובילה אותו לנוסחה שבה מופיעים שורשים של מספרים שליליים.

בעקבות קרדאנו הוגדרו המספרים המרוכבים במפורש, בשנת [[1572]], על ידי [[רפאל בומבלי]] (Rafael Bombelli). באותה עת נחשבו מספרים כאלה לעזרי חישוב שאינם מייצגים גודל אמיתי. מתמטיקאים התקשו לקבל את המושג החדש, וביניהם [[רנה דקארט]]. דקארט הוא שטבע את הכינוי הלגלגני מעט "מספר מדומה" בשנת [[1637]], הוא התייחס בכך למה שקרוי כיום "מספר מרוכב". [[קרל פרידריך גאוס]] העדיף לקרוא למספרים המדומים "מספרים צִדיים" (lateral) משום שהם שוכנים בניצב לציר המספרים הממשיים. הוא אמר "הסיבה שנושא המספרים הדמיוניים הוא אפוף ערפל מסתורי היא בעיקר בגלל השם הלא מוצלח שניתן להם. אילו למשל היחידות  
<math>+1</math>, 
<math>-1</math>, 
<math>\sqrt[]{-1}</math> היו נקראות 'ישרה, הפוכה וצדית' במקום 'חיובית, שלילית ודמיונית', הערפול הזה היה נעלם."

את האות <math>i</math> (בעקבות המילה imaginary), שהפכה לסימון המקובל במתמטיקה עבור היחידה המדומה, בחר [[לאונרד אוילר|אוילר]] בשנת [[1777]]; ב[[הנדסת חשמל]] נהוג לסמן מספר זה באות <math>j</math>, כדי לא להחליף בינו לבין [[זרם חשמלי]], המיוצג גם הוא באות <math>i</math>.

== מאפיינים אלגבריים ==
קבוצת המספרים המדומים, כלומר קבוצת כל המספרים מהצורה <math>ib</math> כאשר <math>b</math> הוא [[מספר ממשי]], [[סגירות (אלגברה)|סגורה]] תחת [[חיבור]]: <math>bi+b'i=(b+b')i</math> (כ[[חבורה אבלית|חבורה חיבורית]], הקבוצה [[איזומורפיזם|איזומורפית]] לקבוצת הממשיים), אך אינה סגורה תחת [[כפל]], משום שמכפלת שני מספרים מדומים היא מספר ממשי.

פעולת ההעלאה של היחידה המרוכבת i ב[[חזקה (מתמטיקה)|חזקת]] מספר מדומה היא תמיד ממשית: <math>i^{i a} = (e^{\frac{\pi i}{2}})^{ia} = e^{- \frac{ \pi a}{2}}</math>.

==ראו גם==
* [[המספר i]]

==לקריאה נוספת==
<div class="mw-content-ltr">
* Paul Nahin, An Imaginary Tale: the Story of the Square Root of -1 (Princeton University Press, 1998).
</div>

==קישורים חיצוניים==
{{מיזמים|ויקימילון=מספר דמיוני|ויקימילון 2=מספר מדמה}}
* {{יוטיוב|פלייליסט=PLiaHhY2iBX9g6KIvZ_703G3KJXapKkNaF|שם=Imaginary Numbers are Real|חלקים=9|אורך כולל=41:45}} – סדרת סרטונים, הסוקרת בצורה ידידותית את התפתחותם של המספרים המרוכבים (והמספרים בכלל) לאורך ההיסטוריה, חוקרת האם הם מספרים "אמיתיים" ובוחנת מקצת מהמשמעויות וההשלכות שלהם על עולם המדע
* {{MathWorld}}
* {{יוטיוב|cUzklzVXJwo|שם=How Imaginary Numbers Were Invented|אורך=23:29|ערוץ=Veritasium}}, 1 בנובמבר 2021
* {{בריטניקה}}

{{מערכות מספרים}}

{{בקרת זהויות}}

[[קטגוריה:אנליזה מרוכבת]]
[[קטגוריה:מספרים]]