אופרטור צמוד – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־00:13, 3 בפברואר 2018

באלגברה ליניארית והכללותיה, האופרטור הצמוד לאופרטור ליניארי $\ T:V\rightarrow W$ הוא אופרטור ליניארי אחר, $\ T^{*}:W^{*}\rightarrow V^{*}$ . בנוכחות מכפלה פנימית האופרטור הצמוד הוא אופרטור $\ T^{*}:W\rightarrow V$ .

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

המקרה הכללי

לכל מרחב וקטורי V מוגדר המרחב הדואלי $\ V^{*}$ של כל הפונקציונלים $\ V\rightarrow F$ . אם $\ T:V\rightarrow W$ העתקה ליניארית, ההעתקה הצמודה היא אופרטור $\ T^{*}:W^{*}\rightarrow V^{*}$ המוגדר לפי הכלל הפשוט $\ (T^{*}f)(v)=f(Tv)$ ; כלומר, $\ T^{*}$ פועל על פונקציונלים $\ f:W\rightarrow F$ על ידי הרכבת T מימין.

פעולת הצמוד היא ליניארית: אם $\ T,S:V\rightarrow W$ שתי העתקות ליניאריות ו- $\ \alpha \in F$ הוא סקלר, אז $\ (T+S)^{*}=T^{*}+S^{*}$ ו- $\ (\alpha T)^{*}=\alpha T^{*}$ .

אם U,V,W מרחבים וקטוריים ו- $\ T:V\rightarrow W,\,S:W\rightarrow U$ העתקות, אז $\ (ST)^{*}=T^{*}S^{*}$ משום ש- $\ ((ST)^{*}g)(v)=g(STv)=S^{*}g(Tv)=(T^{*}(S^{*}g))(v)$ .

בדומה לזה מוגדר הצמוד של הצמוד, $\ T^{**}:V^{**}\rightarrow W^{**}$ , לפי $\ (T^{**}\varphi )(f)=\varphi (T^{*}f)$ . כל מרחב וקטורי V משוכן באופן טבעי במרחב הדואלי לדואלי שלו, $\ V^{**}$ , כאשר מפרשים וקטור v כפעולה $\ V^{*}\rightarrow F$ המוגדרת לפי $\ v(f)=f(v)$ . תחת הפירוש הזה, $\ T^{**}$ מתלכד עם T בכל מקום שבו האחרון מוגדר, משום ש- $\ (T^{**}v)(f)=v(T^{*}f)=(T^{*}f)(v)=f(Tv)=(Tv)(f)$ לכל $\ f:W\rightarrow F$ .

מרחבי מכפלה פנימית

כאשר מוגדרת על V מכפלה פנימית, היא מאפשרת לזהות את V עם המרחב הדואלי שלו, בכך שכל וקטור x מותאם לפונקציונל $\ f_{x}:y\rightarrow (y,x)$ . נניח שגם על W מוגדרת מכפלה פנימית משלו, הקובעת זיהוי של W עם המרחב הדואלי שלו באותו אופן.

אם $\ T:V\rightarrow W$ העתקה ליניארית, אז מגדירים $\ T^{*}:W\rightarrow V$ כך שיתקיים, לכל $\ w\in W$ , $\,f_{T^{*}w}=T^{*}f_{w}$ ; כלומר, לכל $\ v\in V$ , $\,(v,T^{*}w)=f_{T^{*}w}(v)=T^{*}f_{w}(v)=f_{w}(Tv)=(Tv,w)$ . כך מגדיר השוויון $\ (v,T^{*}w)=(Tv,w)$ את האופרטור החדש $\ T^{*}:W\rightarrow V$ .

במקרה של מכפלה פנימית הרמיטית, כגון מכפלה פנימית מעל שדה המספרים המרוכבים שבה מתקיים $\ (x,\alpha y)={\bar {\alpha }}(x,y)$ , הזיהוי של V עם המרחב הדואלי הוא דרך פעולה צמודה של הסקלרים, ולכן במקרה זה יש לקרוא את נוסחת הכפל בסקלר שהוזכרה לעיל כך: $\ (\alpha T)^{*}={\bar {\alpha }}T^{*}$ .

במקרה המיוחד V=W, הליניאריות של פעולת ההצמדה, יחד עם חוק הכפל $\ (ST)^{*}=T^{*}S^{*}$ , הופכים את ההצמדה לאינוולוציה של חוג האנדומורפיזמים $\ \operatorname {End} (V)$ (שאבריו הם כל ההעתקות הליניאריות מ-V ל-V).

ההגדרה של העתקה צמודה

העתקה צמודה (ידוע גם כ- טרנספורמציה הצמודה ) היא העתקה ליניארית אשר מקיימת $\langle Tu,v\rangle =\langle u,T^{*}v\rangle$ והיא תואמת במשמעותה את המטריצה הצמודה.

$T^{*}$ מוגדרת על ידי $T^{*}v=\sum _{k=1}^{N}{\overline {\langle Tw_{i},v\rangle }}w_{i}$

תכונות של העתקה צמודה

התכונות הבאות מתקיימות על ידי העתקה צמודה:

$(T^{*})^{*}=T$
$(S+T)^{*}=S^{*}+T^{*}$
$(aT)^{*}={\bar {a}}T^{*}$
אם $T$ הפיכה אז גם $T^{*}$ הפיכה

אופרטורים מיוחדים

לכל אופרטור $\ T:V\rightarrow V$ , כאשר V מרחב מכפלה פנימית, יש משמעות להרכבות $\ TT^{*},T^{*}T$ , ששתיהן העתקות $\ V\rightarrow V$ , ולכן אפשר להשוות ביניהן. אם $\ TT^{*}=T^{*}T$ ההעתקה נקראת נורמלית. אם $\ TT^{*}$ היא הזהות ההעתקה נקראת אוניטרית (ובהקשר מעט שונה אורתוגונלית). אם $\ T^{*}=T$ ההעתקה היא הרמיטית.

מטריצות

בין מרחבים וקטוריים מממד סופי אפשר לתאר כל העתקה ליניארית באמצעות מטריצה, על ידי בחירת בסיס לכל מרחב. בפרט, עבור מרחבי הווקטורים הסטנדרטיים, בחירת הבסיס הסטנדרטי כבסיס מייצג מאפשרת לחשב את האופרטור הצמוד בקלות: $\ A^{*}=({\bar {a_{ji}}})_{ij}$ , כלומר שחלוף ואז הפעלת הצמוד המרוכב.

ראו גם

מרחב דואלי

@@ שורה 1: / שורה 1: @@
-ב[[אלגברה לינארית]] והכללותיה, '''האופרטור הצמוד''' לאופרטור לינארי <math>\ T : V \rightarrow W</math> הוא אופרטור לינארי אחר, <math>\ T^* : W^* \rightarrow V^*</math>. בנוכחות [[מרחב מכפלה פנימית|מכפלה פנימית]] האופרטור הצמוד הוא אופרטור <math>\ T^* : W \rightarrow V</math>.
+ב[[אלגברה ליניארית]] והכללותיה, '''האופרטור הצמוד''' לאופרטור ליניארי <math>\ T : V \rightarrow W</math> הוא אופרטור ליניארי אחר, <math>\ T^* : W^* \rightarrow V^*</math>. בנוכחות [[מרחב מכפלה פנימית|מכפלה פנימית]] האופרטור הצמוד הוא אופרטור <math>\ T^* : W \rightarrow V</math>.
 פעולת ההצמדה מהווה [[אינוולוציה (תורת החוגים)|אינוולוציה]] של [[חוג האנדומורפיזמים]] של מרחב מכפלה פנימית.
@@ שורה 6: / שורה 6: @@
 == המקרה הכללי ==
-לכל [[מרחב וקטורי]] V מוגדר [[המרחב הדואלי]] <math>\ V^*</math> של כל הפונקציונלים <math>\ V \rightarrow F</math>. אם <math>\ T : V \rightarrow W</math> העתקה לינארית, ההעתקה הצמודה היא אופרטור <math>\ T^* : W^* \rightarrow V^*</math> המוגדר לפי הכלל הפשוט <math>\ (T^*f)(v) = f(Tv)</math>; כלומר, <math>\ T^*</math> פועל על פונקציונלים <math>\ f : W \rightarrow F</math> על ידי [[הרכבת פונקציות|הרכבת]] T מימין.
+לכל [[מרחב וקטורי]] V מוגדר [[המרחב הדואלי]] <math>\ V^*</math> של כל הפונקציונלים <math>\ V \rightarrow F</math>. אם <math>\ T : V \rightarrow W</math> העתקה ליניארית, ההעתקה הצמודה היא אופרטור <math>\ T^* : W^* \rightarrow V^*</math> המוגדר לפי הכלל הפשוט <math>\ (T^*f)(v) = f(Tv)</math>; כלומר, <math>\ T^*</math> פועל על פונקציונלים <math>\ f : W \rightarrow F</math> על ידי [[הרכבת פונקציות|הרכבת]] T מימין.
-פעולת הצמוד היא לינארית: אם <math>\ T,S : V \rightarrow W</math> שתי העתקות לינאריות ו-<math>\ \alpha \in F</math> הוא [[סקלר (מתמטיקה)|סקלר]], אז <math>\ (T+S)^* = T^*+S^*</math> ו- <math>\ (\alpha T)^* = \alpha T^*</math>.
+פעולת הצמוד היא ליניארית: אם <math>\ T,S : V \rightarrow W</math> שתי העתקות ליניאריות ו-<math>\ \alpha \in F</math> הוא [[סקלר (מתמטיקה)|סקלר]], אז <math>\ (T+S)^* = T^*+S^*</math> ו- <math>\ (\alpha T)^* = \alpha T^*</math>.
 אם U,V,W מרחבים וקטוריים ו- <math>\ T : V \rightarrow W,\, S : W \rightarrow U</math> העתקות, אז <math>\ (ST)^* = T^*S^*</math> משום ש-<math>\ ((ST)^*g)(v) = g(STv)=S^*g(Tv)=(T^*(S^*g))(v)</math>.
@@ שורה 18: / שורה 18: @@
 כאשר מוגדרת על V מכפלה פנימית, היא מאפשרת לזהות את V עם המרחב הדואלי שלו, בכך שכל וקטור x מותאם לפונקציונל <math>\ f_x : y \rightarrow  (y,x)</math>. נניח שגם על W מוגדרת מכפלה פנימית משלו, הקובעת זיהוי של W עם המרחב הדואלי שלו באותו אופן.
-אם <math>\ T : V \rightarrow W</math> העתקה לינארית, אז מגדירים <math>\ T^* : W \rightarrow V</math> כך שיתקיים, לכל <math>\ w \in W</math>, <math>\,f_{T^*w} = T^*f_w</math>; כלומר, לכל <math>\ v \in V</math>, <math>\,(v,T^*w) = f_{T^*w}(v) = T^*f_w(v) = f_w(Tv) = (Tv,w)</math>. כך מגדיר השוויון <math>\ (v,T^*w)=(Tv,w)</math> את האופרטור החדש <math>\ T^* : W \rightarrow V</math>.
+אם <math>\ T : V \rightarrow W</math> העתקה ליניארית, אז מגדירים <math>\ T^* : W \rightarrow V</math> כך שיתקיים, לכל <math>\ w \in W</math>, <math>\,f_{T^*w} = T^*f_w</math>; כלומר, לכל <math>\ v \in V</math>, <math>\,(v,T^*w) = f_{T^*w}(v) = T^*f_w(v) = f_w(Tv) = (Tv,w)</math>. כך מגדיר השוויון <math>\ (v,T^*w)=(Tv,w)</math> את האופרטור החדש <math>\ T^* : W \rightarrow V</math>.
 במקרה של מכפלה פנימית הרמיטית, כגון מכפלה פנימית מעל [[שדה המספרים המרוכבים]] שבה מתקיים <math>\ (x,\alpha y) = \bar{\alpha}(x,y)</math>, הזיהוי של V עם המרחב הדואלי הוא דרך פעולה צמודה של הסקלרים, ולכן במקרה זה יש לקרוא את נוסחת הכפל בסקלר שהוזכרה לעיל כך: <math>\ (\alpha T)^* = \bar{\alpha}T^*</math>.
-במקרה המיוחד V=W, הלינאריות של פעולת ההצמדה, יחד עם חוק הכפל <math>\ (ST)^*=T^*S^*</math>, הופכים את ההצמדה ל[[אינוולוציה (תורת החוגים)|אינוולוציה]] של [[חוג האנדומורפיזמים]] <math>\ \operatorname{End}(V)</math> (שאבריו הם כל ההעתקות הלינאריות מ-V ל-V).
+במקרה המיוחד V=W, הליניאריות של פעולת ההצמדה, יחד עם חוק הכפל <math>\ (ST)^*=T^*S^*</math>, הופכים את ההצמדה ל[[אינוולוציה (תורת החוגים)|אינוולוציה]] של [[חוג האנדומורפיזמים]] <math>\ \operatorname{End}(V)</math> (שאבריו הם כל ההעתקות הליניאריות מ-V ל-V).
 === ההגדרה של העתקה צמודה ===
-העתקה צמודה (ידוע גם כ- טרנספורמציה הצמודה ) היא [[העתקה לינארית]] אשר מקיימת <math>\langle T u,v \rangle = \langle u,T^* v \rangle</math>  והיא תואמת במשמעותה את ה[[מטריצה צמודה|מטריצה הצמודה.]]
+העתקה צמודה (ידוע גם כ- טרנספורמציה הצמודה ) היא [[העתקה ליניארית]] אשר מקיימת <math>\langle T u,v \rangle = \langle u,T^* v \rangle</math>  והיא תואמת במשמעותה את ה[[מטריצה צמודה|מטריצה הצמודה.]]
 <math>T^*</math> מוגדרת על ידי <math>T^*v=\sum_{k=1}^N\overline{\langle Tw_i,v \rangle}w_i</math>
@@ שורה 42: / שורה 42: @@
 == מטריצות ==
-בין מרחבים וקטוריים מממד סופי אפשר לתאר כל העתקה לינארית באמצעות מטריצה, על ידי בחירת [[בסיס (אלגברה לינארית)|בסיס]] לכל מרחב. בפרט, עבור מרחבי הווקטורים הסטנדרטיים, בחירת הבסיס הסטנדרטי כבסיס מייצג מאפשרת לחשב את האופרטור הצמוד בקלות: <math>\ A^* = (\bar{a_{ji}})_{ij}</math>, כלומר [[שחלוף (מתמטיקה)|שחלוף]] ואז הפעלת [[הצמוד המרוכב]].
+בין מרחבים וקטוריים מממד סופי אפשר לתאר כל העתקה ליניארית באמצעות מטריצה, על ידי בחירת [[בסיס (אלגברה ליניארית)|בסיס]] לכל מרחב. בפרט, עבור מרחבי הווקטורים הסטנדרטיים, בחירת הבסיס הסטנדרטי כבסיס מייצג מאפשרת לחשב את האופרטור הצמוד בקלות: <math>\ A^* = (\bar{a_{ji}})_{ij}</math>, כלומר [[שחלוף (מתמטיקה)|שחלוף]] ואז הפעלת [[הצמוד המרוכב]].
 == ראו גם ==