צמוד מרוכב

במתמטיקה, הצמוד המורכב של מספר מרוכב הוא המספר עם רכיב ממשי שווה ורכיב מדומה שווה בגודלו אך מנוגד בסימנו. כלומר, אם $a$ ו-$b$ הם מספרים ממשיים אז הצמוד המורכב של $z=a+bi$ הוא ${\overline {z}}=z^{*}=a-bi$.

ייצוג גאומטרי במישור גאוס של $z$ והצמוד שלו ${\overline {z}}$. ייצוגו של הצמוד המורכב הוא שיקוף של $z$ על הציר הממשי

בייצוג קוטבי, ניתן להראות באמצעות נוסחת אוילר שאם $r$ ו-$\varphi$ הם מספרים ממשיים אז הצמוד של $re^{i\varphi }$ הוא $re^{-i\varphi }$.

המכפלה של מספר מרוכב והצמוד שלו היא מספר ממשי: $a^{2}+b^{2}$ (אוֹ $r^{2}$ בקואורדינטות קוטביות).

סימון

הצמוד המורכב של מספר מרוכב $z$ מסומן כ-${\overline {z}}$ אוֹ $z^{*}$. הסימון הראשון, קו מחבר, דומה לסימון למטריצה צמודה, שהיא מעין הכללה של הצמוד המרוכב למטריצות. הסימון השני, כוכבית, מועדף בפיזיקה, שם המטריצה הצמודה מסומנת בדקר (†), וכן בהנדסת חשמל והנדסת מחשבים, בהן סימון הקו המחבר עלול לבלבל עם סימון השלילה הלוגית ("NOT") באלגברה בוליאנית.

אם מספר מרוכב מיוצג כמטריצה מסדר $2\times 2$, הסימונים זהים והצמוד המורכב מתאים למטריצה המשוחלפת.

תכונות

התכונות הבאות מתקיימות לכל המספרים המרוכבים $z$ ו-$w$, אלא אם צוין אחרת, וניתן להוכיחן על ידי כתיבת $z$ ו-$w$ בצורה $a+bi$.

הצמוד שומר על חיבור, חיסור, כפל וחילוק: ${\overline {z+w}}={\overline {z}}+{\overline {w}}$, ${\overline {z-w}}={\overline {z}}-{\overline {w}}$, ${\overline {zw}}={\overline {z}}\cdot {\overline {w}}$ ו-${\overline {({\frac {z}{w}})}}={\frac {\overline {z}}{\overline {w}}}(w\neq 0)$.

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

הצמוד אינו משנה את הערך המוחלט של מספר מרוכב: $|{\overline {z}}|=|z|$.

הצמוד הוא אינוולוציה, כלומר צמוד של צמוד של מספר מרוכב $z$ הוא $z$ (${\overline {\overline {z}}}=z$).

מכפלה של מספר מרוכב עם הצמוד שלו שווה לריבוע הערך המוחלט שלו: ${\textstyle z{\overline {z}}=|z|^{2}}$.

תכונה זו מאפשרת חישוב קל של ההופכי הכפלי של מספר מרוכב: ${\textstyle z^{-1}={\frac {\overline {z}}{{|z|}^{2}}}}$ לכל ${\textstyle z\neq 0}$.

הצמוד הוא קומוטטיבי כבסיס לחזקה שלמה ועם פונקציות האקספוננט והלוגריתם הטבעי: ${\overline {z^{n}}}=({\overline {z}})^{n},n\in \mathbb {Z}$, ${\overline {\exp(z)}}=\exp({\overline {z}})$, ${\overline {\ln(z)}}=\ln({\overline {z}})$ אם ${\textstyle z}$ אינו אפס או מספר שלילי ממשי.

אם שורש של פולינום במשתנה אחד עם מקדמים ממשיים הוא מרוכב, אז גם הצמוד המרוכב שלו הוא שורש של הפולינום. כלומר אם $p$ הוא פולינום כזה ו-$p(z)=0$ אז $p({\overline {z}})=0$. לפיכך, שורשים מרוכבים של פולינומים ממשיים מתרחשים בזוגות צמודים .

באופן כללי, אם $\varphi$ היא פונקציה הולומורפית שהצמצום שלה למספרים הממשיים היא בעלת ערך ממשי, ו-$\varphi (z)$ ו-$\varphi ({\overline {z}})$ מוגדרים, אז ${\textstyle \varphi ({\overline {z}})={\overline {\varphi (z)}}}$.

המפה $\sigma (z)={\overline {z}}$ מ-$\mathbb {C}$ ל-$\mathbb {C}$ היא הומיאומורפיזם (שבו הטופולוגיה על $\mathbb {C}$ נחשבת לטופולוגיה הסטנדרטית) ואנטי-ליניארית , אם לוקחים בחשבון את $\mathbb {C}$ כמרחב וקטורי מרוכב מעל עצמו. המפה היא פונקציה חד-חד-ערכית ועל ותואמת את הפעולות האריתמטיות, ומכאן שהוא אוטומורפיזם שדה. מכיוון שהיא שומרת על המספרים הממשיים קבועים, הוא מרכיב בחבורת גלואה של הרחבת השדה $\mathbb {C} /\mathbb {R}$. בחבורת גלואה שני איברים, $\sigma$ והזהות על $\mathbb {C}$, ולפיכך שני האוטומורפיזמים היחידים של $\mathbb {C}$ שמותירים את המספרים הממשיים קבועים הם מפת הזהות והצמוד המורכב.

שימוש כמשתנה

כשנתון מספר מרוכב $z=x+yi$ אוֹ $z=re^{i\theta }$, הצמוד שלו מספיק כדי לשחזר את רכיבי המשתנה:

• רכיב ממשי: $x=\operatorname {Re} (z)={\dfrac {z+{\overline {z}}}{2}}$
• רכיב מדומה: $y=\operatorname {Im} (z)={\dfrac {z-{\overline {z}}}{2i}}$
• מודולוס (ערך מוחלט): $r=\left|z\right|={\sqrt {z{\overline {z}}}}$
• ארגומנט: $e^{i\theta }=e^{i\arg z}={\sqrt {\dfrac {z}{\overline {z}}}},$, כלומר $\theta =\arg z={\dfrac {1}{i}}\ln {\sqrt {\frac {z}{\overline {z}}}}={\dfrac {\ln z-\ln {\overline {z}}}{2i}}$

הצמוד מסייע גם לבצע חילוק מספרים מרוכבים, ולכל $z=a+bi,w=c+di\neq 0$ מתקיים ${\frac {w}{z}}={\frac {w\cdot {\bar {z}}}{z\cdot {\bar {z}}}}={\frac {w\cdot {\bar {z}}}{|z|^{2}}}$, או בצורה מפורשת ${\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$

בנוסף, ניתן להשתמש ב-${\overline {z}}$ כדי לציין ישרים במישור: הקבוצה $\{z:z{\overline {r}}+{\overline {z}}r=0\}$ מייצגת ישר דרך ראשית הצירים המאונך ל-$r$, מכיוון שהרכיב הממשי של $z\cdot {\overline {r}}$ הוא אפס רק כאשר קוסינוס הזווית בין $z$ ו-$r$ הוא אפס. באופן דומה, עבור יחידה מורכבת קבועה $u=e^{ib}$, המשוואה ${\textstyle {\frac {z-z_{0}}{{\overline {z}}-{\overline {z_{0}}}}}=u^{2}}$ קובעת את ישר דרך $z_{0}$ המקביל לישר דרך הראשית ו-$u$.

שימושים אלה בצמוד של $z$ כמשתנה מומחשים בספרו של פרנק מורלי Inversive Geometry מ-1933, שנכתב עם בנו פרנק ויגור מורלי.

הכללות

עבור מטריצות של מספרים מרוכבים, ${\textstyle {\overline {\mathbf {AB} }}=({\overline {\mathbf {A} }})({\overline {\mathbf {B} }})}$, כש-${\textstyle {\overline {\mathbf {A} }}}$ היא המטריצה המורכבת מהצמוד של כל איבר ב-$\mathbf {A}$.

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

אפשר גם להגדיר צמוד גם לקווטרניונים: הצמוד של ${\textstyle a+bi+cj+dk}$ הוא ${\textstyle a-bi-cj-dk}$.

קיים גם מושג מופשט של הצמוד למרחב וקטורי ${\textstyle V}$ מעל המספרים המרוכבים. בהקשר זה, כל מפה אנטי-ליניארית ${\textstyle \varphi :V\to V}$ המקיימת:

1. $\varphi ^{2}=\operatorname {id} _{V}$ כש-$\varphi ^{2}=\varphi \circ \varphi$ ו-$\operatorname {id} _{V}$ היא מפת הזהות על $V$.
2. $\varphi (zv)={\overline {z}}\varphi (v)$ לכל $v\in V,z\in \mathbb {C}$.
3. $\varphi (v_{1}+v_{2})=\varphi (v_{1})+\varphi (v_{2})$ לכל $v_{1},v_{2}\in V$

נקראת הצמדה מרוכבת. מכיוון שהאינוולוציה $\varphi$ היא אנטי ליניארית היא לא יכולה להיות מפת הזהות על $V$.

ראו גם

מדיה וקבצים בנושא צמוד מרוכב בוויקישיתוף

• מספר מרוכב
• שדה המספרים המרוכבים
• מטריצה צמודה
• אופרטור צמוד

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

• צמוד מרוכב, באתר MathWorld (באנגלית)