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

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

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

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

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

בנייה פורמלית 

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

פעולת החיבור מוגדרת כך:  

פעולת הכפל מוגדרת כך:

המבנה המתקבל הוא שדה, שאיבר האפס שלו הוא , ואיבר היחידה הוא .

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

תכונות בסיסיות 

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

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

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

על המספרים המרוכבים מוגדר הצמוד המרוכב, , שהוא אינוולוציה:   ו- .

פעולת ההצמדה היא אוטומורפיזם מסדר 2 של ההרחבה , היוצר את חבורת גלואה של ההרחבה הזו. תכונות האינוולוציה, ובפרט אי-שוויון המשולש , הופכות את המרוכבים לאלגברה כוכב (*-אלגברה).

הנורמה המרוכבת היא שורש ריבועי של הנורמה האלגברית, המוגדרת לפי , כלומר . הנורמה כפלית (), ושומרת על הצמוד: .

העובדה שהנורמה (של מספר שונה מאפס) תמיד חיובית מאפשרת לחלק בקלות מספרים מרוכבים: , ובמכנה של השבר הזה יש מספר ממשי. מכאן אפשר לקבל גם את הנוסחה המפורשת, .

הצגה קוטבית והמישור המרוכב
אפשר להתאים את המספר המרוכב  לקואורדינטה הקרטזית  במישור . את המישור אפשר לתאר גם באמצעות קואורדינטות פולריות, הכוללות, עבור כל נקודה, את המרחק שלה מראשית הצירים ואת הזווית בין הקטע המחבר את ראשית הצירים לנקודה, לבין ציר ה-. הערך המוחלט של מספר מרוכב מייצג את מרחקו מראשית הצירים (ע"פ משפט פיתגורס), ואילו הזווית ניתנת לחישוב באמצעות פונקציית הטנגנס:  בעבור מספרים מרוכבים שנמצאים ברביע הראשון או הרביעי (כלומר ), ואילו בעבור מספרים שנמצאים ברביע השני או השלישי () הזווית היא  (שכן פונקציית tan מחזורית עם מחזור של ).

למספרים מרוכבים עם חלק ממשי אפסי וחלק מדומה חיובי, הזווית (ארגומנט) היא  (זווית ישרה חיובית), ולמספרים מרוכבים עם חלק ממשי אפסי וחלק מדומה שלילי, הזווית היא . 

בעבור המספר המרוכב 0, הזווית אינה מוגדרת (או לחלופין כל זווית היא לגיטימית).

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

על כן, ההצגה הפולרית (הקוטבית) של מספר מרוכב z, היא: , כאשר r הוא המרחק מהראשית, ו- הזווית ש-z יוצר עם ציר ה-x.

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

 משפט דה מואבר: לכל  מתקיים .

 נוסחת אוילר: לכל  מתקיים: . מנוסחה זו נובעת גם שתי הזהויות הבאות:

ראו גם
 מספר מרוכב - להסבר על מספרים מרוכבים
 המישור המרוכב
 פונקציה מרוכבת
 אנליזה מרוכבת
 מערכות מספרים

קישורים חיצוניים
 
 Artem S. Novozhilov, The field C of complex, North Dakota State University numbers
 The Set of Complex Numbers is a Field, Mathonline

מבנים אלגבריים יחידאים
אנליזה מרוכבת
תורת השדות

en:Complex number#Field structure