Professional Documents
Culture Documents
רשימות אלו הוקלדו במהלך השיעורים של הקורס ״אלגברה לינארית ב׳״ ,במהלך סמסטר חורף ,2008בהרצאות
מאת פרופסור שלומי ג׳ילקי ,ומפורסמת ברשותו.
הרשימות הוקלדו ע״י רונן אברבנאל ) (ronen@tx.technion.ac.ilומפורסמת ב־.www.technion.ac.il/~ronen
המחברת תתעדכן מעת לעת במיקום זה.
הרשימות עלולות לכלול טעויות ,חוסרים ואי דיוקים ,והשימוש בהם על אחריותכם בלבד .בפרט ,היא אינה מכילה
כלל שרטוטים ואיורים שצוירו על הלוח .בפרט ,אין הפקולטה למתמטיקה או מי מטעמה אחראים על תוכן הרשימות.
הערות ,הארות ותיקונים אתם מוזמנים לשלוח ל־)(ronen@tx.technion.ac.il
תוכן עניינים
צורות קנוניות 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
חזרה 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1
2 אופורטורים המיוצגים על ידי מטריצות אלכסוניות . . . . . . . . . . . . . . . . . 1.1.1
פולינומים 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2
שילוש של אופרטורים 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3
5 T־אינורינטיות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.1
8 סכומים ישרים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.2
9 הטלות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.3
משפט הפירוק הראשוני 11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4
12 מעל שדה סגור אלגברית . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4.1
צורת ג׳ורדן 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5
13 מאפסים וחברים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5.1
14 למות עזר . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5.2
16 עבור מטריצה נילפוטנטית . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5.3
17 עבור אופרטור כללי . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5.4
19 שימושים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5.5
21 מציאת צורת ג׳ורדן )במקרה הנילפוטנטי( . . . . . . . . . . . . . . . . . . . . . . 1.5.6
מרחבי מכפלה פנימית 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
מכפלת בסיסים 24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1
26 דוגמאות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.1
אורתוגונליות 27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2
27 דוגמאות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2.1
בסיסים אורתוגונלי 27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3
28 הטלות אורתוגונליות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1
31 המרחב הדואלי . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.2
32 דואליות במכפלה פנימית . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.3
35 תכונות אופרטור צמוד . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.4
איזומורפיזמים 36 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4
38 דוגמאות מחבורות ־ אופרטורים אוניטריים . . . . . . . . . . . . . . . . . . . . 2.4.1
לכסון אורתונורמלי 40 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5
41 אופרטורים צמודים לעצמם . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5.1
42 הכללה לאופרטורים נורמליים . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5.2
1
צורות קנוניות 1
43 . . . . . . . . . . . . . . . . . . . . . . המשפט הספקטרלי . . . . . . . . . . . . 2.5.3
44 . . . . . . . . . . . . . . . . . . . . . . . תבניות בי־לינאריות . . . . . . . . . . . . . . . . . . . . . . . 3
45 . . . . . . . . . . . . . . . . . . . . . . שינוי בסיס . . . . . . . . . . . . . . . . . 3.0.4
46 . . . . . . . . . . . . . . . . . . . . . . . תבניות סימטריות . . . . . . . . . . . . . . . . . . . 3.1
50 . . . . . . . . . . . . . . . . . . . . . . . תבניות אנטיסימטריות . . . . . . . . . . . . . . . . 3.2
52 . . . . . . . . . . . . . . . . . . . . . . . חבורות של תבניות . . . . . . . . . . . . . . . . . . 3.3
52 . . . . . . . . . . . . . . . . . . . . . . בשפה של מטריצות . . . . . . . . . . . . 3.3.1
משפט 1.2יהי Tאופרטור לינארי על מרחב וקטורי Vממימד סופי ,ויהי .c ∈ Fהטענות הבאות שקולות:
c .1ערך עצמי של T
.2האופרטור T − cIסינגולרי )אינו הפיך(
det(T − cI) = 0 .3
A, Bמטריצות המייצגות את ,Tאז A = P −1 BPעבור Pהפיכה כלשהי .ואז ) .det(A) = det(Bלכן ניתן
להגדיר דטרמיננטה של אופרטור( .
הגדרה 1.3הפולינום ) det(xI − Tבמשתנה xנקרא הפולינום האופיני של .Tזהו פולינום ממעלה ) .dim(V
מסקנה 1.4הערכים העצמיים של dim(V ) < ∞ T : V → Vהם בדיוק שורשי הפולינום האופייני של .T
הגדרה 1.5יהי Tאופרטור על .dim(V ) < ∞ .Vנאמר כי ־ Tלכסין )ניתן ללכסון( אם קיים בסיס של Vהמורכב
מוקטורים עצמיים של .T
c1 0
([T ]B =
.. )בהנתן בסיס כנ״ל , B = {v1 , .., vn } ,עם ,T (vi ) = ci viברור ש־
.
0 cn
2
פולינומים 1.2 צורות קנוניות 1
משפט 1.6יהי V ,T : V → Vממימד סופי .יהיו c1 , .., ckהערכים העצמיים השונים של ,Tויהיו המרחבים העצמיים
) Wi = ker(T − ci Iהמרחבים העצמיים .הטענות הבאות שקולות:
T .1לכסין
k
Q di
כאשר .di = dim Wi ) (x − ci .2הפולינום האופייני של Tהוא מכפלה
i=1
Pk
. i=1 dim W1 = dim V .3
הוכחה 1 → 2 :הוסבר בע״פ.
ב־ ,2סכום המעלות הוא המימד של ,Vוזה גורר את .3
נראה ש־.3 ⇒ 1
נקודת מפתח ב־) 3 ⇒ 1ולכן של המשפט( היא הבאה:
Pk
נניח כי βi ∈ Wiכך ש־ . i=1 βi = 0אז βi = 0לכל .i
אכן ,לכל פולינום ] f ∈ F [xיש לנו )) 0 = f (T )(0אופרטור לינארי על אפס(
k
! k
X X
) f (T βi = f (T )βi
i=1 i=1
ניסוח מטריציוני שקול :תהי ) A ∈ matn (Fויהיו c1 , ..., ck ∈ Fהערכים העצמיים שלA
יהי Wiמרחב הפתרונות של (A − ci I) x = 0ויהי Biבסיס מסודר של .Wiנגדיר מטריצה ) P = (B1 , .., Bk
שעמודותיה הן הוקטורים ב־ .B1 , ..., Bk
אז המטריצה Aדומה מעל Fלמטריצה אלכסונית )קיים Pהפיך ..וכו׳( אם ורק אם Pריבועית .אם Pריבועית
היא הפיכה ו־ P −1 APאלכסונית.
פולינומים 1.2
יהי .dim V = n < ∞ , T : V → V
נתבונן באוסף הפולינומים ב־] ,F [Xהמאפסים את T 0כלומר p ∈ F [x] ,עבורים .P (T ) = 0
.1אם p(T ) = q(T ) = 0אז גם (p + q) (T ) = 0
.2אם ) p(T ) = q(Tו־] q(T ) ∈ F [xאז גם .(pq) (T ) = 0
אכן(pq)(T ) = p(T ) ◦ q(T ) = 0 ,
3
צורות קנוניות 1 פולינומים 1.2
כלומר ,קיימים סקלרים ,c1 , .., cn2 +1 ,לא כולם שווים ל־ ,0כך ש־
2
c0 I + c1 T + .. + cn2 +1 T 2 = 0
לכן עבור
2
]0 6= p = c0 + c1 x + .. + cn2 xn ∈ F [x
מתקיים p(T ) = 0
הגדרה 1.7יהי . dim V < ∞ ,T : V → Vהפולינום המתוקן )מקדם עליון הוא ( 1בעל הדרגה הקטנה ביותר
המאפס את ,Tנקרא הפולינום המינימלי של .T
−1
0
= Aהפולינום האופייני הוא ,x2 + 1אין לו שורשים ב־.R )∈ Mat2 (R)(2
10
0 0
= A2 + I נציב את
0 0
4
שילוש של אופרטורים 1.3 צורות קנוניות 1
דוגמא :נראה נכונות עבור .dim V = 2יהי fהפולינום האופייני של ,Tיודעים כי )f (x) = x2 − tr(A)x + det(A
P2
כאשר Aמטריצה מייצגת כלשהי של .Tביחס לבסיס המסודר ) ) .(α1 , α2כלומר(i = 1, 2 ,T (αi ) = j=1 Aji αj ,
אז נקבל
נגדיר מטריצה
T − A11 I −A21 I
=B )] ∈ Mat2 (F [T
−A12 I T − A22 I
T − A22 I A21 I
= ),B̃ = Adj(B לכן ,אם
A12 I T − A11 I
α1 α1 a b d −b
.det B = 0 ⇐⇒ B̃B = 0 = det B (Adjאז = )
α2 α2 c d −c a
את ההוכחה במקרה הכללי ניתן למצוא בספר .בהמשך הקורס ,נוכיח את המשפט בצורה שונה.
T־אינורינטיות 1.3.1
הגדרה 1.12יהי T : V → Vאופרטור לינארי .תת מרחב W ⊆ Vנקרא ״ T־אינורינטי״ )או ,אינורינטי תחת ,T
(T − invariantאם .T (W ) ⊆ W
דוגמאות:
.4וקטור עצמי תמיד מגדיר תת מרחב אינורינטי ממימד אחד) .גורר את (3
5
צורות קנוניות 1 שילוש של אופרטורים 1.3
למה 1.14יהי ,T : V → Vו־∞ < .dim Vיהי T W ⊆ V־אינורינט .אז ,הפולינום האופייני )המינימלי( של T|W
מחלק את הפולינום האופייני )מינימלי( של .T
B C
= ,Aכאשר Bמייצגת את .T|Wאז הוכחה :לפי ההערה ,נייצג את Tע״י מטריצת בלוקים
0 D
למה 1.16המוביל של αלתוך Wסגור תחת חיבור .וסגור תחת כפל בפולינום כלשהו.
הגדרה 1.17הפולינום המתוקן בעל הדרגה המינימלית ב־) S (α, Wנקרא המוביל של .α
הערה 1.18המוביל של αמחלק כל פולינום ב־) , S (α, Wבפרט ־ המוביל של αמחלק את הפולינום המינימלי של
.T
6
שילוש של אופרטורים 1.3 צורות קנוניות 1
למה 1.19תהי ,dim V < ∞ ,T : V → Vעם פולינום מינימלי המתפרק למכפלה של גורמים לינאריים = p
r r
.(x − c1 ) 1 · · · (x − ck ) k
יהי T ,W ( V־אינורינטי .אז קיים α ∈ V \ Wכך ש־ (T − cI) (α) ∈ Wעבור איזשהו ע״ע cשל ) Tבמילים
אחרות :המוביל של αלינארי(.
∈ g ,βאינו קבוע .לכן הוכחה :יהי .β ∈ V \ Wיהי gהמוביל של βלתוך .Wאז .g|pמאחר ו־ / W
e e
g = (x − c1 ) 1 · · · (x − ck ) kכאשר לפחות אחד ה־ ei־ים גדול ממש מ־.0
∈ ).αi = h (T ) (β
יהי jכך ש־ .ej > 0אז קיים פולינום hכך ש־ .g = (x − cj ) hמהגדרת / W ,g
אבל
(T − cj I) (α) = (T − cj I) h (T ) (β) = g (T ) (β) ∈ W
מהגדרת .g
דוגמא :עבור ,W = {0} ( Vהלמה אומרת שקיים α1 6= 0כך ש־ T α1 = cα1 ⇐⇒ (T − cI) (α1 ) = 0כלומר
־ α1וקטור עצמי.
∈ α2כך ש־) .(T − c̃I) (α2 ) = aα1כלומרT (α2 ) = ,
} .W = span {α1אז לפי הלמה ,קיים } / span {α1
.c̃ + aα1
משפט 1.20תהי T : V → Vו־∞ < dim Vמעל שדה T .Fניתנת לשילוש )קיים ל־ Vבסיס לפיו Tמיוצגת על
ידי מטריצה משולשית עליונה( אם ורק אם הפולינום המינימלי של Tמתפרק למכפלה של גורמים לינארים מעל .F
a11 . . . a1n
..
0 a22 .
.אז האופיני
הוכחה :אם Tניתנת לשילוש ,אז קיים בסיס לפיו Tמיוצגת על ידי מטריצה
.. . .
0 .
0 . . . 0 ann
של Tהוא לכן ) (x − a11 ) · · · (x − annכלומר ,מתפרק לגורמים לינארים מעל .Fלפי משפט קיילי־המילטון ,הפולינום
המינימלי של Tמחלק את האופיני ולכן הוא גם מכפלה של גורמים לינארים.
בכיוון ההפוך :נפעיל את הלמה מספר פעמים .נתחיל עם } W = {0ונקבל וקטור עצמי .α1
אחר כך נפעיל את הלמה על } W1 = span {α1ונקבל α2עם T (α2 ) = a11 α1 + a22 α2וכך הלאה.
מסקנה 1.21יהי Fשדה סגור אלגברית )למשל ( F = C ,אז כל מטריצה מסדר nעל ,Fדומה למטריצה משולשת.
משפט 1.22תהי T ,dim V < ∞ ,T : V → Vנתנת לליכסון ⇒⇐ הפולינום המינימלי של Tמתפרק למכפלה של
גורמים לינארים שונים.
הוכחה :ראינו שאם Tלכסינה ,אז הפולינום המינימלי שלה מתפרק לגורמים לינארים שונים.
בכיוון ההפוך ־ יהי Wתת המרחב ) Tאינורינטי( של Vהנפרש על ידי כל הוקטורים העצמיים של .Tעלינו
להראות ש־ .V = W
נניח בשלילה ש־ .W ( V
∈ ,αוערך עצמי cjשל ,Tכך ש־ .β = (T − cj ) (α) ∈ W מהלמה הקודמת ־ קיים / W
מכיוון ש־ ,β ∈ Wהרי ש־ β = β1 + . . . + βkעם T (βi ) = ci βiלכל .iלכן לכל פולינום ]h ∈ F [x
h (T ) (β) = h (c1 ) β1 + . . . + h (ck ) βk
נרשות אנחנו מניחים שהוא מתפרק לגורמים לינארים שונים. כעת ,נסמן ב־ Pא תהפולינום המינימלי של .T
P = (x − cj ) qעבור איזשהו פולינום .q
כמו כן ,אם נסתכל על q − q (cj ) = (c − xj ) hעבור איזשהו פולינום .h
יש לנו . q(T ) (α) − q (cj ) α = h (T ) (T − cj I) (α) = h (T ) (β) ∈ W
| {z }
β
מאחר ו־) 0 = p (T ) (α) = (T − cj I) q (T ) (αנקבל ש־ ,q (T ) (α) ∈ Wוקטור עצמי .לכן,q (cj ) (α) ∈ W ,
} | {z
∈ ,αלכן ,q (cj ) = 0אבל זו סתירה כי הריבוי של cjב־ Pהוא 1מההנחה. אבל / W
r r
הערה 1.23נניח שהפולינום האופייני של Tמתפרק לגורמים לינארים ־ ci ,f (x) = (c − c1 ) 1 · · · (x − ck ) kשונים.
אז על מנת לקבוע אם Tלכסינה ,מספיק להציב את Tבפולינום ) .(x − c1 ) · · · (x − ckאם מקבלים 0־ Tלכסינה.
אחרת T ,לא לכסינה.
7
צורות קנוניות 1 שילוש של אופרטורים 1.3
הערה 1.25המשמעות של אי תלות ,W1 , . . . , Wkשלכל וקטור α ∈ W1 + . . . + Wkיש הצגה יחידה = α
,α1 + . . . + αkכאשר αi ∈ Wiלכל i
למה 1.26יהי Vמרחב וקטורי ממימד סופי .יהיו W1 , . . . , Wk ⊆ Vתתי מרחבים של ,Vאז הטענות הבאות
שקולות:
W1 , . . . , Wk .1בלתי תלויים
.2לכל ,2 ≤ J ≤ kמתקבל Wj ∩ (W1 + . . . + Wj−1 ) = 0
.3אם Biבסיס מסודר של ,1 ≤ i ≤ k ,Wiאז הסדרה ) B = (B1 , B2 , . . . , Bkהיא בסיס מסודר של
.W := W1 + . . . + Wk
הוכחה:
• )(2) ⇐ (1
יהי ) α ∈ Wj ∩ (W1 + . . . + Wj−1אז
Wj 3 α = α1 + . . . + αj−1
עם αiלכל ,1 ≤ i ≤ j − 1נעביר אגפים 0 = α1 + . . . + αj−1 + α :ומאי תלות ה־ Wiים ,נובע כי = α1 = . . .
αj−1 = α = 0
• )(1) ⇐ (2
נניח .,αi ∈ Wi ,0 = α1 + . . . + αkיהי 1 ≤ j ≤ kהמקסימלי עבורו .0 = α1 + . . . + αj−1 + αj :αj 6= 0
אבל אז
הגדרה 1.27אם אחד התנאים )ולכן כולם( בלמה ־ מתקיימים ,נאמר כי W = Wi + . . . + Wkהוא סכום ישר של
W1 , . . . , Wkוסמן
W = W 1 ⊕ . . . ⊕ Wk
דוגמאות
• אם ל־ Vיש בסיס } ,{α1 , . . . , αnונגדיר } ,Wi = spn {αiתת מרחב ממימד אחד .אז ⊕ V = W1 ⊕ W2
. . . ⊕ Wn
• יהי ,T : V U→ Vיהיו } {Wiהמרחבים העצמיים של .Tהוכחנו ש־} {Wiקבוצה בלתי תלויה של תתי מרחבים,
ו־} T ⇐⇒ V = {Wiלכסינה.
8
שילוש של אופרטורים 1.3 צורות קנוניות 1
הטלות 1.3.3
הגדרה 1.28העתקה E : V → Vהמקיימת E 2 = Eנקראת הטלה
.V = R ⊕ N .2
.3אם ,R, N ⊆ Vכך ש־ ,V = R ⊕ Nאז קיימת הטלה יחידה Eעם תמונה Rוגרעין .Nהיא נקראת
״ההטלה מ־ Vעל Rלאורך N״
• אכן ,נקח את בסיס } {α1 , . . . αkשל R = ImEונשלים לבסיס } {α1 , . . . , αk , αk+1 , . . . , αnכאשר
I 0
} {αk+1 , . . . αnבסיס של .N = ker Eאז המטריצה המייצגת את Eלפי בסיס זה היא
0 0
כאשר Iמטריצת היחידה מסדר .k
9
צורות קנוניות 1 שילוש של אופרטורים 1.3
משפט 1.31תהי ,T : V → Vויהיו W1 , . . . , Wkו־ E1 , . . . , Ekכמו במשפט הקודם .אז כל Wiהוא T־אינורינטי,
⇒⇐ T Ei = Ei Tלכל .i
הוכחה :נניח כי T Ei = Ei Tלכל .i
יהי ,α ∈ Wjאז .α = Ej αולכן ־ T (α) = T (Ej α) = Ej (T α) ∈ Wjולכן Wjהוא Tאינורינטי
בכיוון השני :נניח כי כל Wiהוא T־אינורינטי .יהי ,α ∈ Vאז α = E1 α + . . . + Ek αולכן = T α
∈W1
{|}z
. T E1 α + . . . + T Ek α
} | {z
∈W1
מאחר ו־ Ei α ∈ Wiו־ Wiהוא T־אינורינטי ,אז ישנו , T (Ei α) = Ei βiעבור βi ∈ Vכלשהו .אז,
(
0 i 6= j
= (??) Ej T Ei α = Ej Ei βj
Ej βj i = j
לכן,
משפט 1.32תהי .dim V < ∞ , T : V → Vאם Tלכסינה ,ואם c1 , . . . , ckהערכים העצמיים השונים של ,Tאז
קיימים אופרטורים E1 . . . , Ekעל Vכך ש־
T = C1 E1 + . . . + ck Ek .1
I = E1 + . . . + Ek .2
Ei Ej = 0 .3עבור i 6= j
Ei2 = Ei .4
ImEi .5היא המרחב העצמי המשויך ל־ ci
ובכיוון ההפוך ,אם קיימים סקלרים שונים c1 , . . . , ckו־ kאופרטורים שונים מ־ E1 , . . . , Ek 0המקיימים את ),(1)−(3
אז Tלכסינה c1 , . . . , ck ,ערכים עצמיים שונים ו־) (4), (5מתקיימים גם כן
הוכחה ⇐ :יהיו Wiהמרחבים העצמיים של Tהמשויכים לערכים העצמיים .ciאז .V = W1 ⊕ . . . ⊕ Wk
תהינה E1 , . . . , Ekההטלות המקיימות את ) ,(2) − (5שקיומן מובטח מהמשפט הקודם.
נותר להוכיח את ) :(1לכל ,α ∈ V
בכיוון ההפוך:
מתקיימים ) (2) ,(1ו־).(3
אם נכפול את שני האגפים של ) ,(2פי , Eiנקבל מ־) (3ש־ Ei = Ei2־ ).(4
נכפול את שני האגפים ב־) ,(1פי Eiונקבל ש־ ,T Ei = ci Eiולכן ImEiמוכלת במרחב העצמי המשוייך ל־ .ci
יתרה מכך ־ מכיוון ש־ ,Ei 6= 0הרי ש־ ciערך עצמי.
בנוסף c1 , . . . , ck ,הם כל הערכים העצמיים של ,Tכי אם cסקאלר )נחפש מתי ,(T − cI = 0אז לפי )(1ו־),(2
ולכן ,אם ,(ci − c) Ei α = 0 ,(T − cI) α = 0ואם ,α 6= 0אז Ei α 6= 0עבור iכלשהו )נובע מ־) ,((2ועבור iזה,
.c = ci
10
משפט הפירוק הראשוני 1.4 צורות קנוניות 1
בודאי ש־ Tלכסינה ,כי הראנו שכל וקטור ב־ ImEiהוא וקטור עצמי ,והעובדה ש־ I = E1 + . . . + Ekהוא סכום
ההטלות הללו ,מראה שוקטורים עצמיים פורשים את .V
(ImEPi ב־ מוכל c i של נותר להוכיח את ההכלה ההפוכה )המרחב העצמי
k
נניח ש־ .T α = ci αאז מ־) (1ו־) , j=1 (cj − ci ) Ej α = 0 ,(2ולכן (cj − ci ) Ej α = 0 ,לכל ) ,jכי תתי
} | {z
6=0∀i6=j
המרחבים ImEjבלתי תלויים( .לכן ,לכל Ej α = 0 ,j 6= iו־ ,α = Ei αכלומר.α ∈ ImEi ,
הערה 1.35אין צורך להניח ש־∞ < ,dim Vוכן מספיק בשביל ) (1ו־) ,(2ש־) P (T ) = 0לא חייב להיות המינימלי(
Lk Qk
דוגמא כללית T :לכסין ,אז ) P (T ) = i=1 (x − ciו־ Wi = ker (T − ci I) ,Pi = x − ciו־ .V = i=1 Wi
E1Pהמשויכות ל־) .(iנמצא פולינום hiכך ש־) hi (Tהוא זהות ש ל Wi הוכחה :הרעיון הוא למצוא הטלות , . . . , Ek
וכו׳. ו־ 0על Wjלכל ,j 6= iוכך ש־hi (T ) = I
P
Q R
עבור ,1 ≤ j ≤ kנגדיר .fi = P ri = j6=i Pj jמאחר ו־ Pi , . . . , Pkאי פריקים שונים ,הרי שהמחלק המשותף
j
המקסימלי של f1 , . . . , fkהוא .1
לכן קיימים פולינומים g1 , . . . , gkכך ש־
k
X
= 1 = g1 f1 + . . . + gk fk gi fi
i=1
נשים לב שאם ,i 6= jאז ) P |fi fjכי אז ״מחזירים״ את הגורם שהוסר +מוסיפים איברים(.
Pk נראה כי hi = gi fiמקיימים את המבוקש.
נגדיר ) .Ei = hi (T ) = gi (T )fi (Tמאחר ו־ i=1 hi = 1ו־ P |fi fj0עבור i 6= jיש לנו
כמו שראינו ,יש לנו גם Ei2 = Eiלכל ,iלכן ה־ Ei־ים הטלות המתאימות לאיזשהו פרוק של Vלסכום ישר.
נראה ש־ .Wi = ImEiאם ,α ∈ ImEiאז α = Ei αולכן
) P (T
z |} {
Ri Ri r
) Pi (T α ) = Pi (T Ei α = Pi (T ) i f (T ) gi (T )α
= gi (T )p(T )α = 0
Ej α = fi (T ) gi (T ) α = 0
11
צורות קנוניות 1 משפט הפירוק הראשוני 1.4
משפט 1.37יהי dim V < ∞ ,T : V → Vמעל שדה .Fנניח שהפולינום המינימלי של Tמתפרק מעל Fלמכפלה
של גורמים לינארים )למשל ,אם .(F = C
אז ,קיימים אופרטור לכסין Dעל Vואופרטור נילפוטנטי Nעל ,Vכך ש־
T = D + N .1
.2הם מתחלפים,DN = N D :
.3האופרטורים Dו־ Nנקבעים באופן יחיד ,ושניהם פולינומים ב־ .T
הוכחה :נותר להוכיח את היחידות של . N, D
נניח כי D0אלכסוני ,ו־ N 0נילפוטנטי ,מקיימים את ) (1ו־).(2
כלומר D0 N 0 = N 0 D0 ,ו־ .T = N 0 + D0
אז D − D0 = N 0 − N
נסתכל על .D − D0מכיוון ש־ Dו־ Dמתחלפים )כי הם פולינומים ב־ ,(Tהם ניתנים לליכסון סימולטני ולכן
0
D − D0לכסין.
0
מכיוון ש־ Nו־ Nמתחלפים בינהם ,הרי ש־
k
k k−i k i
X
= ) (N 0 − N )(−1 (N 0 ) N k−i
i
i=0
לכן עבור kמספיק גדול ,העובדה ש־ Nו־ N 0נילפוטנטים גוררת ש־) (N − Nנילפוטנטים.
0
הערה 1.38המשפט אומר שמעל שדה סגור אלגברית ,מספיק ללמוד את המבנה של אופרטורים נילפוטנטים.
הערה 1.39זו לא הדרך הסטדנרטית להוכיח את המשפט .בקורס ״מודולים ,חוגים וחבורות״ יש הוכחה כללית יותר
עבור שדות לא־סגורים אלגברית
12
צורות קנוניות 1 צורת ג׳ורדן 1.5
הגדרה 1.41ה־ Tמאפס של α ∈ Vהוא הקבוצה }.M (α, T ) = {g ∈ F [x] |g(T )α = 0
הפולינום המתוקן בעל הדרגה הקטנה ביותר ב־) M (α, Tנקרא גם כן ,״ה־ Tמאפס של α״ ומסומן על ידי .Pα
בפרט Pα ,מחלק את הפולינום המינימלי של .T
מסקנה 1.43אם αוקטור ציקלי עבור Tאז הפולינום המינמלי של Tשווה לפולינום האופייני של ) .Tנובע מהמשפט
הקודם ומשפט קיילי־המילטון(
ושהפולינום המינימלי של Tהוא .p = c0 + c1 x + . . . + ck−1 xk−1 + xk
ציקלי עבור ,Tנניח ש־ αוקטור
לפי המשפט α, T α, . . . , T k−1 α ,בסיס של .V
מהי המטריצה המייצגת את Tלפי בסיס זה?
−c0
0 0 0
1 0 0 −c1
.. ..
0 1 . .
..
. 0
..
. 0
1 −ck−1
13
צורת ג׳ורדן 1.5 צורות קנוניות 1
משפט 1.44יהי .dim W < ∞ ,U : W → Wל־ Uיש וקטור ציקלי ⇒⇐ יש בסיס מסודר של Wלפיו Uמיוצג
על ידי מטריצת החבר של הפולינם המינימלי של .U
הוכחה :יהי αוקטור ציקלי של .Uמהמשפט הקודם α, U α, . . . , U k−1 α ,כאשר ,k = dim Wבסיס של ,W
והמטריצה המייצגת את Uלפי בסיס זה היא בדיוק מטריצת החבר של הפולינום המינימלי.
בכיוון ההפוך ־ בהנתן בסיס מסודר {α1 , . . . , αk } ,של Wהמקיים את ההנחה ,ברור כי־ α1וקטור ציקלי.
הערה 1.45צורה רציונלית ־ אפשר לפרק את המרחב לסכום ישר של מרחבים צקיליים .יש בסיס לפיו המטריצה
המיצגת היא מטריצת בלוקים שעל הבלוקים יש מטריצות חבר של פולינומים .לא נטפל בנושא זה בקורס .ההוכחות
נמצאות בספר הקורס.
נרצה כעת להוכיח שאם N : V → Vאופרטור נילפוטנטי ,אז Vמתפרק לסכום ישר של תתי־מרחבים ציקליים.
הוכחה :לפי הנתון T r = 0 ,אך ,T r−1 6= 0יהי α ∈ Vעבור ,T r−1 α 6= 0תת המרחב ה־ Tציקלי הנוצר על ידי
αנפרשר על ידי ) α, T α, . . . , T r−1 αכי ,(T r α = 0לכן ,אם נוכיח כי הוקטורים אלו בת״ל ,ייודע כי זהו תת מרחב
r־מימדי .נניח בשלילה
שוויון זה שקול ל־ .aj T r−1 α = 0מכיוון ש־ T r−1 α = 0הרי ש־ aj = 0בסתירה להנחה.
למה 1.47תהי r T : V → V־נילפוטנטית ויהי U ⊆ Vתת מרחב T־ציקלי r ,מימדי .אז קיים ל־ Uתת מרחב
משלים אינורינטי כלומר ,תת מרחב T־אינורטנטי Wכך ש־
V =U ⊕W
14
צורות קנוניות 1 צורת ג׳ורדן 1.5
} W0 = T −1 W 0 = {α ∈ V |T α ∈ W 0
טענה U ∩ W0 = 0 1.49
הוכחה :יהי ,α ∈ U ∩ W 0אז T α = U 0 ∩ W 0ולכן .T α = 0
בתור איבר של ,Uנוכל להציג את α = a1 γ + a1 T γ + . . . + ar−1 T r−1 γ
W 0 ⊕, (U ∩ W0 ) ⊂ W0
T W ⊂ T W0 ⊂ W 0 ⊂ W
V = U + W0 = (U + (U ∩ W0 )) + (W 00 + W ) = U + W
15
צורות קנוניות 1 צורת ג׳ורדן 1.5
מסקנה 1.51כל מטריצה נילפוטנית Aדומה למטריצה נילפוטנית בצורת ג׳ורדן ,הנקראת צורת ג׳ורדן של .A
16
צורת ג׳ורדן 1.5 צורות קנוניות 1
לדוגמה
)(0 0
2 0
1 2
} | {z
A2
1 0 0
1 1 0
0 1 1
| {z }
)(3
J
1
1 0
1 1
)(1
| {z }
A3
3 0 0
0 1 3 0
0 1 3
)(3
בהוכחה ,נשלב בין המקרה הנילפוטנטי למשפט הפירוק הראשונ הוכחה :הפולינום המינימלי של Tהוא מהצורה
r rk
) P = (x − c1 ) 1 · · · (x − ck
r
כאשר ri ≤ diלכל .iאם Wi = ker (T − ci I) iאז ממשפט הפירוק הראשוניV = W1 ⊕ W2 . . . ⊕ Wk ,
r
ול־ Ti = T|Wiפולינום מינמילי ־ .(x − ci ) i
17
צורת ג׳ורדן 1.5 צורות קנוניות 1
נגדיר .Ni = Ti − ci I ,אז Niנילפוטנטי ,עם פולינום מינימלי .xriעל T ,Wiפועל כ־ Niפלוס הסקלר ci
פעמים אופרטור הזהות.
)הפעם J nזה Jבחזרת ,nולא אינדקס( ,כאשר Bjnכזו היא מטריצה שבה מופיעים 1־ים בכל האלכסון ה־ nמתחת
לראשי ו־ 0בכל מקום אחר.
לכן ,במעבר מ־ J nל־ ,J n+1״נעלם״ 1יחיד מכל שרשרת של ״1״ ,ולכן הדרגה יורדת כמספר השרשראות.
נסמן ב־) m¯n (J tאת מספר השרשרות של 1־ים ב־ J tשאורכן ≤ nואז ,נוכל לכתוב
אם נסמן ב־) mn (Jאת מספר השרשרות ב־ Jבעלות אורך בדיוק ,nאז ברור כי
כעת ,אם המטריצה Aדומה ל־ ,Gאז לכל An ,nדומה ל־ ,J nולכן ) .r (J n ) = r (An
לכן ,אם Jהיא צורת ג׳ורדן של ,Aקיים
18
צורת ג׳ורדן 1.5 צורות קנוניות 1
0 1 2
.A = 0צריך לחשב את ) ) r(A), r(A2כי (A3 = 0 0 )לדוגמה3 ,
0 0 0
סוף דוגמה(
הכללי:
היחידות במקרהנוכיח את
A01
J 0 = היא מטריצת ג׳ורדן המייצגת את Tביחס לבסיס כלשהו ,כאשר A0iהם בלוקים
..
. נניח כי
0
Al
בעלי הצורה המתוארת עבור Aiבמשפט ג׳ורדן :קיום ,שסדרם ,d0i × d00ובאכלסונים נמצא .c0i
על סמך צורתם של ,J 0קל לראות כי פולינומה האופייני הוא:
l
d0i
Y
) (x − c0i
i=1
Qk d
אולם פולינום זה שווה לפולינום האופייני של J־ ) . i=l (x − ci ) iכי J, J 0דומות(
0 0
לכן ,נקבל ,לאחר סידור מתאים של האינדקסים ,כי ci = ci ,k = lו־ ) di = diמיחידות הפירוק של פולינום
לגורמים אי־פריקים(
כעת ,הפירוק של J 0לבלוקים מושרה מפירוק ,V = W10 ⊕ · · · ⊕ Wk0שבו Wi0תת מרחב T־אינורינטי ממימד di
כך ש־ ,A0iמייצגת את Tעל .Wi0
היות ו־ A0i − ci Iמטריצה נילפוטנטית ,נובע כי T − ci Iנילפוטנטית על .Wi
0
לפי הגדרת ,Wiבהוכחת משפט הקיום ,נקבל כי ,Wi0 ⊆ Wiועקב שוויון מימדהם.Wi = Wi ,
0
לבסוף Ai − ci I ,ו־ A0i − ci Iהן מטריצות נילפוטנטיות בצורת ג׳ורדן המייצגות את אותה הטרנספורמציה )דהינו,
את (T − ci Iולכן נובע ,מהיחידות במקרה הנילפוטנטי ,כי A0i − ci I = Ai − ci Iולכן A0i = Aiו־.J 0 = J
מסקנה 1.54שתי מטריצות ) A, B ∈ Mn (Fאשר כל הערכים העצמיים שלהן נמצאים ב־ ,Fדומות מעל ⇐⇒ F
יש להן אותה צורת ג׳ורדן.
J1 0
J 2
A∼J =
. ..
0 Jn
ci 0
..
1 .
. Ji = כאשר
.. ..
. .
0 1 ci
שימושים 1.5.5
מציאת הפולינום המינימלי של מטריצה בצורת ג׳ורדן תהי Jמטריצה בצורת ג׳ורדן ,ויהיו c1 , . . . , ckהערכים
העצמיים ,וריבוייהם d1 , . . . , dkבהתאמה.
19
צורת ג׳ורדן 1.5 צורות קנוניות 1
טענה 1.55אם ניקח ,עבור כל ערך עצמי ,את המחלק האלמנטרי בעל המעלה המקסימלית ,אז מכפלת מחלקים אלו
r11 r21 rk1
) P (x) = (x − c1 ) (x − c2 ) · · · (x − ck
הוכחה :נשים לב תחילה כי אם Jמורכבת מהבלוקים Aiהמתאימים לערכים העצמים ,ciאז עבור פולינום כלשהו,
g(J) = 0אם ורק אם ־ g(Ai ) = 0לכן .1 ≤ i ≤ k
לכן ,כדי להראות ש־ Jמאפסת את ) ,P (xמספיק להראות כי כל בלוק Ajמאפס את ). P (x
r
לשם כך ־ מספיק להראות ש־ Ajמאפס את .(x − cj ) j1
r
כלומר ש־ .(Aj − cj I) j1 = 0
אומנם Aj − cj I ,היא מטריצה נילפוטנטית בצורת ג׳ורדן ,שבה השרשרת הארוכה ביותר של 1היא באורך .rj1 −1
ולכן ,ברורר שאם נעלה מטריצה זו בחזקת ,rj1היא תתאפס
בכך הוכחנו ש־ Jמאפס את ).P (x
r
קל לראות ,כי הפולינום המינימלי של Ajהוא ,(x − cj ) j1ולכן פולינום זה מחלק את הפולינום המינימלי של .J
r
היות והגורמים (x − cj ) j1עבור j־ים שונים הם זרים ,נובע כי ) p(xמחלק את הפולינום המינימלי של ,jולכן שווה
לו.
דוגמאות יהי .T : C2 → C2אז הפולינום האופייני הוא כמובן ) ) f (x) = (x − c1 ) (x − c2לאו דווקא שונים(.
c 0
, 1בצורת • כאשר ,c1 6= c2במקרה הראשון T ,לכסינה ומיוצגת בבסיס מסויים על ידי המטריצה
0 c2
ג׳ורדן.
c 0 2
,ואילו • ) f (x) = (x − c־ אם הפולינין המינימלי הוא ,p(x) = x − cאז ,T = cIומיוצגת על ידי
0 c
c 0 2
. אם הפולינום המינימלי הוא ) ,p(x) = (x − cאז Tמיוצגת בבסיס מסויים על ידי
1 c
c1 0 c 0
)כש־ c1לאו דווקא שונה , בכל מקרה ,כל מטריצה ב־) M2 (Cדומה לאחת משתי המטריצות:
0 c2 1 c
מ־ (c2
20
מרחבי מכפלה פנימית 2
שתי המטריצות לא דומות ־ צורות הג׳ורדן שלהן שונות ,אבל הפולינומים ־ המינימלים והאופיניים שונים!
2
• פולינום אופיני ־ )) (x − 2) (x + 1משולשית(
2 0 0
.A ∼ 1 2 – אם גם הפולינום המינימלי זהה ,אז 0
0 0 −1
2 0 0
A ∼ 0 2 0כי היא לכסינה. – אם הפולינום המינימלי הוא ),(x − 2) (x + 1
0 0 1
0 0 0
מכיוון ש־ (A − 2I) (A + I) = 3a 0 0זה קורה אם ורק אם .a = 0
ac 0 0
21
מרחבי מכפלה פנימית 2
• ״סימטריות״ ־
• חיוביות ־
הערה 2.4אם נדרוש ) (α, β) = (β, αמעל ,Cנקבל סתירה לטענת האפס ־
דוגמאות
• המכפלה הפנימית הסטנדרטית על F n־ מוגדרת על ידי
n
X
= )) ((x1 , . . . , xn ) , (y1 , . . . , yn xi y¯i
i=1
• על R2־
נבדוק שזו מכפלה פנימית )נשים לב שזוהי תבנית ריבועית ־ כל מונום הוא ממעלה שניה( סימטריה ולינאריות
ברורים ־ נבדוק את התנאי האחרון ־
2
((x1 , x2 ) , (x1 , x2 )) = x21 − 2x1 x2 + 4x22 = (x1 − x2 ) + 3x22 ≥ 0
22
מרחבי מכפלה פנימית 2
2
• על ) .V = Mn (Fנוכל להגדיר מכפלה פנימית כמו בדוגמה הראשונה ,על ידי זיהוי ) Mn (fעם F nעל ידי
X
= )(A, B Ajk B¯jk
j,k
אכן,
n
X n X
X n
) ? trace (AB = = (AB ? )jj Ajk (B ? )kj
j=1 j=1 k=1
Xn
= Ajk B̄jk
j,k=1
• תהי Qמטריצה הפיכה מסדר N × Nכלשהי .יהי V = F nהמרחב הוקטורי של עמודות המטריצה .נגדיר
(X, Y ) = Y ? Q? QX
) , X, Y ∈ Vוקטורי עמודה( מכפלה פנימית .למשל ,עבור ,Q = Iזוהי המכפלה הפנימית הסטנדרטית.
• הנה דוגמה אינסוף מימדית חשובה ־ יהי Vאוסף הפונקציות הרציפות מ־ .[0, 1] → Cנגדיר
Z 1
= )(f, g f (t) ḡ (t) dt
0
• אם ) (,מכפלה פנימית על Wו־ T : V → Wאיזומורפיזם של מרחבים וקטורים ,נוכל להגדיר מכפלה פנימית
על Vבאופן הבא ־ ). α, β ∈ V ,(α, β)T = (T α, T β
הערה 2.5יהי Vמרחב וקטורי מעל Cעם מכפלה פנימית .אזי לכי α, β ∈ V
יש לנו
23
מכפלת בסיסים 2.1 מרחבי מכפלה פנימית 2
24
מרחבי מכפלה פנימית 2 מכפלת בסיסים 2.1
אכן
x1
Y ? GX = (y¯1 , . . . , y¯n ) G ...
xn
x1
..
X X
= ȳj Gj1 , . . . , yj Gjn .
xn
n
X
= y¯j Gjk xk
j,k=1
לכל .X 6= 0בפרט ־ Gהפיכה )אכן ,אם ,GX = 0אז X ? GX = 0ולכן (X = 0
בכיוון ההפוך ־ אם Gמטריצה מסדר n × nמעל ,Fכך ש־ ? G = Gו־ Gחיובית בהחלט ,אז Gהיא המטריצה של
המכפלה הפנימית .(α, β) = Y ? GX
במקרה הכללי ־
(α, β) = Y ? GX
ובמקרה הממשי ־
(α, β) = Y t GX = X t Gt Y
.1מרחב מכפלה פנימית הוא מרחב וקטור מעל Rאו Cהמצויד במכפלה פנימית הגדרה 2.10
25
מכפלת בסיסים 2.1 מרחבי מכפלה פנימית 2
)(β,α
γ=β− kαk2
α ברור עבור ,α = 0עבור α 6= 0נגדיר
!
)(β, α )(β, α
0 ≤ = kγk β− 2 α, β − 2 α
kαk kαk
! ! !
)(β, α )(β, α )(β, α) (β, α
= (β, β) − β, 2 − 2 ,β + 2 , 2
kαk kαk kαk kαk
)(α|β )(β, α )(α, β) (β, α
= (β, β) − 2 (β, α) − 2 (α, β) + 2 2 )(α, α
kαk kαk kαk kαk
2 2
2 |)|(α, β |)|(α, β 2
= kβk − 2 2 + 4 − kαk
kαk kαk
2
|(α, β)|2
=
β
−
2
kαk
ולכן ,נקבל
2 2 2
|(α, β)| ≤ kαk kβk
ובכלל של כל הביטויים אי־שליליים
|(α, β)| ≤ kαk kβk
2
kα + βk = )(α + β, α + β
= )(α, α) + (β, α) + (α, β) + (β, β
2 2
= kαk + 2< (α, β) + kβk
2 2
≤ kαk + 2 kαk kβk + kβk
2
= )(kαk + kβk
בגלל שהנורמה היא מספר אי שלילי ,אפשר להוציא שורש משני האגפים ־ וקיבלנו את אי שוויון המשולש.
דוגמאות 2.1.1
• לכל ,(x1 , . . . , xn ) , (y1 , . . . , yn ) ∈ F nמתקיים
n v v
X u n
X
u n
u 2
uX 2
≤ xi ȳi |xi | t | |yi
t
i=1 i=1 i=1
זהו אי שוויון קושי שוורץ עם המכפלה הפנימית ־ ((x1 , x2 ) , (y1 , y2 )) = x1 y1 + x2 y1 − x1 y2 + 4x2 y2
•
Z 1 sZ 1
s
Z 1
2 2
≤ f (x)g (x) dx |f (x)| dx |g(x)| dx
0 0 0
26
אורתוגונליות 2.2 מרחבי מכפלה פנימית 2
•
p
≤ |) ? |tr (AB ) ? tr (AA? ) tr (BB
אורתוגונליות 2.2
α, β ∈ V .1נקראים אורתוגונליים ,אם ) (α, β) = 0ואז גם ((β, α) = 0 הגדרה 2.12
.2קבוצת וקטורים נקראת אורתוגונלית ,אם כל שני וקטורים בקבוצה ־ אורתוגונלים.
אם בנוסף ,הנורמה של וקטור הקבוצה שווה ,1הקבוצה נקראת אורתונורמלית.
דוגמאות 2.2.1
• וקטור ה־ 0אורתוגונלי לכל וקטור ,והוא הוקטור היחידי בעל תכונה זו
0
• הבסיס הסטנדרטי של B = {e1 , . . . , en } ,F nכאשר eiהיא ה־n־יה עם ה־ 1במקום iו־ 0בשאר המקומות,
הוא קבוצה אורתונורמלית ביחס למכפלה הפנימית הסטנדרטית
• הבסיס הסטנדרטי של ) ,B = {Eij } ,Mn (Fכאשר Eijמטריצה עם 1בכניסה ה־ ijואפס בשאר הכניסות,
הוא קבוצה אורתונורמלית ,ביחס למכפלה הפנימית הסטנדרטית ־ ) ? .tr (AB
27
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
הערה 2.15מספר האיברים בקבוצה אורתוגונלית ,תמיד קטן או שווה למימד של .V
ראשית αm+1 ,אינו אפס ,כי אז βm+1היה ב־} ,span {α1 , . . . αn } = span {β1 , . . . , βnבסתירה לאי־תלות
.β1 , . . . , βn
בנוסף ,עבור ,1 ≤ j ≤ mנבדוק ש־(αm+1 , αj ) = 0־
m
X ) (βm+1 , αi
) (αm+1 , αj = (βm+1 , αj ) − 2 ) (αi , αj
i=1 kαi k
) (βm+1 , αj
= (βm+1 , αj ) − 2 ) (αj , αj
kαj k
= (βm+1 , αj ) − (βm+1 , αj ) = 0
לכן } ,span {α1 , . . . , αm , αm+1 } = span {β1 , . . . , βm+1כמו כן α1 , . . . , αm+1 ,בת״ל כקבוצה אורתוגונלית.
הערה 2.18אם α1 , . . . , αnבסיס אורתונורמלי מסודר של ,Vאז ביחס אליו ־ המכפלה הפנימית על Vנתונה על
ידי
X X X
xi αi , = xi αi xi ȳi
.1הוקטור α ∈ Wהוא קירוב טוב ביותר של βב־ β − α ⇐⇒ Vאורתוגונלי לכל וקטור ב־ .W
28
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
Pn ) (β,αk
= αהוא קירוב טוב ביותר k=1 kαk k2 .3אם ∞ < dim Wו־} {α1 , . . . , αnבסיס אורתוגונלי של ,Wאז
של .β
הוכחה:
.1ראשית נשים לב שאם ,γ ∈ Vאז ) β − γ = (β − α) + (α − γולכן
2 2 2
kβ − γk = k(β − α)k + 2Re (β − α, α − γ) + kα − γk )?(
לכן ,אם β − αאורתוגונלית לכל וקטור ב־ ,Wאז לכל ,γ ∈ W, α − γ ∈ Wולכן ־
2 2 2 2
kβ − γk = kβ − αk + kα − γk >γ6=α kβ − αk
כלומר α ,קירוב טוב ביותר של .β
בכיוון ההפוך ־ נניח כי kβ − γk ≥ kβ − αkלכל .γ ∈ Wאז מ־)?(,
2
2Re (β − α, α − γ) + kα − γk ≥ 0
לכל .γ ∈ Wמכיוון ש־ α − γ ∈ Wהוא וקטור כלשהו ב־ ,Wיש לנו שלכל ,τ ∈ W
2
2Re (β − α, τ ) + kτ k ≥ 0
בפרט ,אם ,α 6= γ ∈ Wנוכל לקחת
)(β − α, α − γ
τ =− 2 (α − γ) ∈ W
kα − γk
נקבל ש־
!
2 2
|)|(β − α, α − γ |)|(β − α, α − γ
2Re − 2 + 2 ≥0
kα − γk kα − γk
הגדרה 2.21יהי Vמרחב מכפלה פנימית ו־ S ⊆ Vתת קבוצה .המשלים האורתוגונלי של Sהוא
}S ⊥ = {α ∈ V | (α, s) = 0, ∀s ∈ S
29
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
• }V ⊥ = {0
⊥
• {0} = V
הגדרה 2.23הקירוב הטוב ביותר α ∈ Wשל וקטור ,β ∈ Vנקרא גם ההיטל האורתוגונלי של βעל .W
ההעתקה מ־ ,β 7→ α ,E : V → Vנקראת ״ההטלה האורתוגונלית של Vעל W״.
⊥. β − α ∈ W
משפט 2.24יהי , W ⊆ Vתת מרחב ממימד סופי ,של מרחב מכפלה פנימית ,Vותהי Eההטלה האורטוגונלית של
Vעל .Wאז Eאופרטור לינארי) E 2 = E ,במילים אחרות E :הטלה במובן הרגיל(ker E = W ⊥ ,ImE = W ,
ו־ ⊥ .V = W ⊕ W
לכן ,הוקטור
כי ⊥ Wתת מרחב .מאחר ו־ ,cEα + Eβ ∈ Wהרי שמהמשפט שמאפיין הטלה אורטוגונלית ־ נובע כי ההטלה
האורתוגונלית של cα + βהיא ,cEα + Eβאו ־ במילים אחרות ־
)β = Eβ + (β − Eβ
) .2כאשר ∞ < ,(dim Vהאופרטור הלינארי I − Eהוא ההטלה האורטוגונלית של Vעל ⊥ .W
)אם נסמן את } ,W = span {α1 , . . . , αnאז כל βניתן לסמן כ־ γ ∈ Wו־ ⊥ ,δ ∈ Wכאשר γ = Eβו־(δ = β −γ
2 2 2
לכן) kβk = kγk + kδk ,זה נכון רק כי (γ ⊥ δ
30
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
n n
!
2
X ) (β, αk X ) (β, αl
kγk = = )(γ, γ 2 αk , 2 αl
k=1
kαk k l=1
kαl k
n
X ) (β, αk ) (β, αk
= αk , αk
kαk k kαk k
k=1
n
X ) (α, βk ) (α, βk 2
= 2 2 kαk k
k=1
kαk k kαk k
n
X |) |(β, αk
= 2
k=1
kαk k
ברור ש־} {f1 , . . . , fnבלתי תלויה לינארית .צריך להראות שהם פורשים את ? .V
יהא ? ,f ∈ Vאז
n
X
=f f (αi )fi
i=1
P
= , vוקטור כלשהו .אז ־ יהי ai αi ∈ V
n
! n
! n
X X X
f (αi ) fi )(v = f (αi )fi ) (aj αj
i=1 i=1 j=1
n
X n
X
= = ) f (αi ) ai fi (αi )ai f (αi ) = f (v
i=1 i=1
31
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
∼ V
?
טענה 2.30אם ∞ < ,dim Vאז ) ? = (V
?
ראשית ,נשים לב שלכל ,T (v) ∈ (V ? ) ,v ∈ Vכלומר ש־ T (v) : V → Fהעתקה לינארית.
משפט 2.31יהי Vמרחב מכפלה פנימית ממימד סופי ,ויהי ? f ∈ Vפונקציונאל לינארי על ,Vאז קיים וקטור יחיד
β ∈ Vכך ש־) f (α) = (α, βלכל . α ∈ V
)במילים אחרות ,ההעתקה שהוגדרה קודם היא איזומורפיזם(
) = f (αk
לגבי יחידות ־ היא נובעת מכך שההעתקה שהגדרנו ? V → Vהיא העתקה על בין מרחבים מאותו מימד ,ולכן
היא גם חח״ע.
32
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
לכל .f
בפרט ,עבור ,f = h · gנקבל
Z 1
=0 h (t) g 2 (t) dt
0
זה קורה ⇒⇐ ,(x − z) g(t) = h(t)g(t) = 0וזזה מתקיים אם ורק אם .g(t) = 0קיבלנו אם כן ,שרק
פונקציונאל האפס הוא מהצורה ).( , g
באופן דומה ,מוכיחים שלכל z1 , . . . , zt ∈ Rוסקאלרים ,a1 , . . . , at ∈ Rהפונקציונאל הלינארי v → R
) f 7→ a1 f (z1 ) + . . . + at f (zt
משפט 2.32לכל אופרטור לינארי Tעל מרחב מכפלה פנימית ממימד סופי ,Vקיים אופרטור לינארי יחיד T ? ,על V
כך ש־
נבדוק ש־ ? Tלינארית.
יהיו β, γ ∈ Vו־ .c ∈ Fאז לכל ,α ∈ V
33
בסיסים אורתוגונלי 2.3 מרחבי מכפלה פנימית 2
משפט 2.34יהי Vמרחב מכפלה פנימית ממימד סופי ,ויהי } B = {α1 , . . . , αnבסיס אורתונורמלי מסודר של .V
יהי T : V → Vאופרטור ,ותהי . A = [T ]Bאז.[T ? ]B = A? ,
הוכחה:
.1ראשית ,נוכיח ש־) .Akj = (T αj , αk
Pn Pn
= T αj = .αהמטריצה Aמוגדרת על ידי k=1 Akj αk מאחר ו־ Bאורתורנורמליk=1 (α, αk ) αk ,
מצד שני,
n
X
= T αj (T αk , αk ) αk
k=1
ולכן.Akj = (T αj , αk ) ,
.2נסמן ב־] ? .C = [Tאז ,לפי ),(1
Ckj = (T ? αj , αk ) = (αk , T ? αj ) = (T αk , αj ) = Ajk
לכן.C = A? ,
דוגמאות
•
∼ V =C n
)= Mn×1 (C
עם מכפלה פנימית ־ .(X, Y ) = Y ? Xאם ) ,A ∈ Mn (Cאז היא מגדירה העתקה לינאירת:
V → V, X 7→ AX
הצמוד של העתקה זו הוא האופרטור
V → V, X 7→ A? X
אכן,
(AX, Y ) = Y ? AX
אבל מתכונות הצמוד,
?
) = (A? Y ) X = (X, A? Y
לכל .X, Y ∈ V
• באופן דומה ־ יהי ) V = Mn (Cעם המכפלה הפנימית הסטנדרטית ־
)(A, B) = tr (B ? A
תהא ) ,M ∈ Mn (Cאז הצמוד של האופרטור
V → V, N 7→ M N
הוא האופרטור
?
V → V, N 7→ M N
אכן,
?
)(M A, B) = tr (B M A
?
)(A, M ? B) = tr (M ? B) A = tr (B ? M A
34
מרחבי מכפלה פנימית 2 בסיסים אורתוגונלי 2.3
∂
. ∂tנראה של־ Dאין צמוד. יהי D : V → Vאופרטור התנע )מחולק ב־~ (−i־
היא פונקציונאל לינארי )עבור gקבוע( .מ־? פונקציונאל זה נתון על ידי מכפלה פנימית ,וזה יתכן אם ורק אם
הוא פונקציונאל האפס.
לכן ,אם D? gקיים ,אז בהכרח .g(0) = g(1) = 0לכן ,אם נבחר gכך ש־ g(1) 6= 0או D? g ,g(0) 6= 0לא
יהיה קיים) .תרגיל ־ השלימו ־ הראו שאם ,g(0) = g(1) = 0אז D? g־ קיים(
.1
?
? (T + U ) = T ? + U
.2
?
? (cT ) = c̄T
.3
?
? (T V ) = U ? T
.4
?
) ? (T
35
מרחבי מכפלה פנימית 2 איזומורפיזמים 2.4
[T ? ]B = A? = Āt
הערה 2.36מעניינים במיוחד אופרטורים צמודים לעצמם ־ ? .T = Tיש אנלוגיה בינם לבין מספרים ממשיים.
בהנתן T : V → Vכלשהו,
?T + T ?T − T
= T +i
2 2i
כאשר
?
?T + T
T +T
=
2 2
?T − T ?T − T
=
2i 2i
כלומר,
T = U1 + iU2
הגדרה 2.37אופרטורים הצמודים לעצמם נקראים אופרטורים הרמיטיים )ראה מחברת פיסיקה קוונטית 1להרחבה(
איזומורפיזמים 2.4
הגדרה 2.38יהיו V, Wמרחבים מכפלה פנימיתת מעל אותו שדה .Fתהי T : V → Wטרנספורמציה לינארית.
נאמר ש־ Tשומרת מכפלות פנימיות אם
לכל . α, β ∈ V
איזומורפיזם )כמרחבי מכפלה פנימית( בין Vו־ Wהוא איזומורפיזם ) T : V → Wכמרחבים וקטורים( השומר
מכפלות פנימיות.
הערה 2.39אם Tשומרת מכפלות פנימיות ,אז בפרט kT αk = kαk ,לכל α ∈ V
2 2
kT αk = (T α, T α) = (α, α) = kαk
משפט 2.40יהיו V, Wמרחבים מכפלה פנימית מעל אותו שדה ,Fכך ש־ .dim V = dim Wתהי T : V → W
טרנספורמציה לינארית .הטענות הבאות שקולות:
T .1שומרת מכפלות פנימיות
T .2איזומורפיזם.
T .3מעבירה כל בסיס אורותנורמלי לבסיס אורתונורמלי של W
.4קיים בסיס אורתונרמלי של ,Vאותו Tמעתיקה לבסיס אורתונורמלי של .W
הוכחה:
36
מרחבי מכפלה פנימית 2 איזומורפיזמים 2.4
מסקנה 2.41יהיו V, Wמרחבי מכפלה פנימית ממימד סופי מעל .Fאז Vו־ Wאיזומורפים )כמרחבי מכפלה פנימית(
⇒⇐ .dim V = dim W
הוכחה :נניח כי .dim V = dim Wנקח בסיס אורתונורמלי ל־ V־ } .{α1 , . . . , αnונקח בסיס אורתונורמלי ל־ ,W
} .{β1 , . . . , βn
נגדיר ־ T : V → Wעל ידי .T αi = βiאז Tמעבירה בסיס אורתונורמלי של Vלבסיס אורתונורמלי של ,W
ולכן היא איזומורפיזם.
דוגמה:
אם Vמרחב מכפלה פנימית ממימד סופי nמעל ,Fאז כל בסיס אורתונורמלי } β = {α1 , . . . , αnשל Vאיזומורפיזם
־
V → Fn
α →7 [α]B
)כאן F n ,מצויק במכפלה הפנימית הסטנדרטית(
2
אם T : V → Wשומרת מכפלות פנימיות ,אז kT αk = kαkלכל kT αk = (T α, T α) = (α, α) =) .α ∈ V
2
(kαk
משפט 2.42יהי V, Wמרחבי מכפלה פנימית מעל אותו שדה Fותהי T : V → Wטרנספורמציה לינארית .אזי T
שומרת מכפלות פנימיות ⇒⇐ kT αk = kαkלכל . α ∈ V
הוכחה :כיוון אחד ראינו.
בכיוון השני ־ נזכור שהמכפלה הפנימית ניתנת להבעה באמצעות הנורמה:
1 2 2
= )(α, β kα + βk − kα − βk
4
ומעל המרוכבים ־
3
1X n 2
= )(α, β i kα − iβk
4 n=0
37
מרחבי מכפלה פנימית 2 איזומורפיזמים 2.4
באופן שקול GLn (F ) ,היא חבורת האופרטורים ההפיכים מ־ F nל־ .F n
באופן כללי ,בהנתן מרחב וקטורי ,dim V = n ,Vיש לנו את החבורה ) GL (Vשל כל האופרטורים ההפיכים
מ־ .V → V
הגדרה 2.43יהי Vמרחב מכפלה פנימית מעל .Fאופרטור אוניטרי על Vהוא איזומורפיזם מ־ .V → V
נסמן ב־) U (Vאת אוסף כל האופרטורים האונטיריים על .Vזוהי חבורה ,המהווה תת־חבורה של ) .GL(V
משפט 2.44יהא Uאופרטור על מרחב מכפלה פנימית .Vאז Uאוניטרי ⇒⇐ הצמוד של Uקיים ,ו־= U U ? = I
.U ? U
U α, U U −1 β
)(U α, β =
α, U −1 β
=
משפט 2.46יהי Vמרחב מכפלה פנימית ממימד סופי ,ו־ U : V → Vאופרטור .אז Uאוניטרי ⇒⇐ המטריצה
המיצגת של Vלפי איזשהו )או כל( בסיס אורתונורמלי היא מטריצה אוניטרית.
Pn
.אבל זה אומר בדיוק שעמודות Aמהוות בסיס אורתונורמלי .Cn i=1 יש לנו ־ Āij Aik = δjk
38
מרחבי מכפלה פנימית 2 איזומורפיזמים 2.4
דוגמאות
cos θ − sin θ
= Aθאז Aθאורתוגונלית .קל לבדוק שהשורות )עמודות( • לכל ,θ ∈ Rנגדיר מטריצה
sin θ cos θ
)מתוך רמליות .כמו כן ,קל לבדוק שהאופרטור R2 → R2 , α 7→ Aθ αהוא סיבוב בזווית .θ
( xkcd.com
a b a b a c
= Aו־ a2 + b2 = 1או = .Aאז Aאורתוגונלית ⇒⇐ • תהי
b −a −b a b d
ו־.a2 + b2 = 1
ab + cd = 0
a2 + c2 = 1
. 2 – נדרוש־
b + d2 = 1
ac + bd = 0
משפט 2.49לכל מטריצה ) B ∈ GL (n, Cקיימת מטריצה יחידה ) M ∈ T + (n, Cכך ש־).M B ∈ U (n
הוכחה :השורות β1 , . . . , βnשל Bמהוות בסיס של .Cnיהיו α1 , . . . , αnהוקטורים המתקבלים מ־ ,β1 , . . . , βn
על ידי תהליך גרהם שמידט:
) Pk−1 (β ,α
אז לכל 1 ≤ k ≤ n־ } {α1 , . . . , αkבסיס אורתוגונלי של } ,span {α1 , . . . , αkו־ αk = βk − j=1 kαk kj2 αj
j P
לכן ־ עבור כל k־ קיימים סקאלרים יחידים ckjכך ש־ .αk = βk − j<k ckj βj
תהא Uהמטריצה האוניטרית עם שורות
α1 αn
,...,
kα1 k kαn k
ותהא Mהמטריצה ב־) T (n, Cהמוגדרת על ידי:
1
− kαk k ckj
j<k
1
= Mkj j=k
kαk k
0 j>k
מתקיים ־
n
αk X
= Mkj βj
kαk k j=1
39
מרחבי מכפלה פנימית 2 לכסון אורתונורמלי 2.5
מסקנה 2.50לכל מטריצה ) ,B ∈ GLn (Cקיימות מטריצות יחידות ) N ∈ T + (n, Cו־) U ∈ U (nכך ש־
. B = NU
c1 0
[T ]B =
..
.
cn
המטריצה שמייצגת את ? T־
c¯1 0
?
[T ]B =
..
.
0 c̄n
לכן ,אם ,F = Rאז ? T = Tכלומר T ,צמוד לעצמו.
אם ,F = Cאז .T T ? = T ? T
נרצה להוכיח שאם אופרטורים מקיימים את התנאים הנ״ל ,אז הם לכסינים.
הגדרה 2.51יהא Vמרחב מכפלה פנימית ממימד סופי ,ויהא .T : V → Vנאמר כי Tנורמלי אם
T T ? = T ?T
⊥V = W ⊕ W
E : V → Vהטלה על W
1 0
1 0
[E]B =
0 0
..
0 .
40
לכסון אורתונורמלי 2.5 מרחבי מכפלה פנימית 2
ולכן,
מכיוון ש־ ,c1 − c2 6= 0מתקבל ש־ ,(α, β) = 0כלומר ־ מרחבים עצמיים שונים ־ אורתוגונלים.
משפט 2.53יהא Vמרחב מכפלה פנימית ממימד סופי V ) n > 0מעל } ,F ∈ {C, Rאבל במקרה המרוכב זה לא
מעניין(
.T = T ? ,T : V → Vאז ל־ Tיש וקטור עצמי שונה מאפס) .כלומר ,יש ל־ Tערך עצמי(
אם ∞ = ,dim Vאז המשפט אינו נכון .יהא Vמרחב הפונקציות הרציפות מ־][0, 1 דוגמת־נגד למימד אינסופי
ל־ Rעם מכפלה פנימית
Z 1
)f (t)g(t)dt = (f, g
0
לכל ,tאזי
41
מרחבי מכפלה פנימית 2 לכסון אורתונורמלי 2.5
משפט 2.55יהא Vמרחב מכפלה פנימית ממימד סופי ותהא .T : V → Vיהא T W ⊆ V־אינורינטי ,אז W ⊥ ⊆ V
הוא ? T־אינורינטי.
משפט 2.56יהא Vמרחב מכפלה פנימית ממימד סופית ויהא T : V → Vאופרטור צמוד לעצמוץ אז יש ל־ Vבסיס
אורתונורמלי של וקטורים עצמיים של .T
במילים אחרות ־ Tניתן ללכסון אורתונורמלי.
α
= .α1אם dim V = 1אז סיימנו. kαk הוכחה :ממשפט קודם ,יש ל־ Tוקטור עצמי .αיהא
אחרת ,נמשיך באינדוקציה על .n = dim V
יהיא } .W = span {α1זהוא תת מרחב T־אינורינטי .מהמשפט הקודם W ⊥ ,גם כן T־אינורינטי ) ? .(T = T
מכיוון ש־ ,W ⊥ < dim Vהרי שמהנחת האינדוקציה ,יש ל־ ⊥ Wבסיס אורתונורמלי } {α2 , . . . , αnשל וקטורים
עצמיים של האופרטור Tמצומצם ל־ ⊥ .W
מכיוון ש־ ⊥ , V = W ⊕ Wהרי ש־} {α1 , . . . , αnבסיס אורתונורמלי של ,Vהמורכב מוקטורים עצמיים של .T
מסקנה 2.57תהא ) ,A ∈ Mn (Cמטריצה הרמיטית )כלומר .(A = A? ,אז ־ קיימת מטריצה אוניטרית Pכך
ש־ P −1 APאלכסונית )או P ? APאלכסונית(.
t −1
אם ) ,A ∈ Mn (Rקיימת מטריצה אורתוגונלית Pכך ש־ P APאלכסונית) .או ־ P APאלכסונית(.
הוכחה :יהא ) ,V = Mn×1 (Cעם המכפלה הפנימית הסטנדרטית .ויהיא T : V → Vהאופרטור המיוצג על ידי A
לפי הבסיס הסטנדרטי .מאחר ו־ ? ,A = Aהרי ש־ ? .T = T
יהא } ,B = {α1 , . . . , αnבסיס אורתונורמלי של Vכך ש־ . 1 ≤ j ≤ n , T αj = cj αjתהא ,D = [T ]Bאז
c1 0
D=
..
.
0 cn
אז אם Pהמטריצה עם עמודות ,α1 , . . . , αnאז .D = P −1 APאבל Pאוניטרית ,כי העמודות שלה מהוות בסיס
אורתונורמלי.
במקרה שבו Aהיא מטריצה ממשית ,סימטרית ,נקח את ) , V = Mn×1 (Rעם המכפלה הסטנדרטית ,ונחזור על
אותו טיעון .במקרה זה. P ∈ O (n) ,
נסכם ,יהא Vמרחב מכפלה פנימית ממשי ממימד סופי ,ויהא T : V → Vאופרטור .אז Tניתנת ללכסון
אורתונורמלי אם ורק אם ? T = Tבאופן קשול A ∈ Mn (R) ,לכסינה אורתונורמלית ,אם ורק אם .A = At
נכליל למקרה הנורמלי )כלומר ,ל־.(C
42
מרחבי מכפלה פנימית 2 לכסון אורתונורמלי 2.5
וקל לבדוק ש־ .U U ? = U ? Uמכיוון ש־ ,(T − cI) α = 0הרי ש־ . k(T − cI) αk = 0לכן ־ k(T ? − c̄I) α = 0k
וזה קורה אם ורק אם , k(T − c̄I) αk = 0כלומר ־ .T ? α = c̄α
דוגמה :במשפט הבא נוכיח כי מטריצה משולשית עליונה היא נורמלית ⇒⇐ היא אלכסונית.
משפט 2.60יהא Vמרחב מכפלה פנימית ממימד סופי ,T : V → V ,ו־ Bבסיס אורתונורמלי .נניח כי A = [T ]B
משולשית עליונה .אז Tנורמלית ⇒⇐ Aאלכסונית.
הוכחה :מאחר ו־ Bבסיס אורתונורמלי A? ,מייצגת אצ ? Tלפי ,Bואם Aאלכסונית ,אז AA? = A? Aוזה גורר
ש־ .T T ? = T ? T
בכיוון ההפוך ־ נניח כי Tנורמלית ,ויהא } B = {α1 , . . . , αnבסיס אורתונורמלי.
מאחר ו־ Aמשולשית עליונה .T α1 = A11 α1 ,אז מהמשפט הקודם. T ? α1 = Ā11 α1 ,
מצד שני
X X
= T ? α1 = A? α1 = A?j1 αj Ā1j αj
j J
ולכן A1j = 0 ,לכל ,j > 1ובפרט ־ ,A12 = 0ומאחר ו־ Aמשולשית עליונה ,נובע כי .α2 = A22 α2לכן
T ? α2 = Ā22 α2ו־ A2j = 0לכל 6 2
= .jנמשיך באופן זה ונראה כי Aאלכסונית.
משפט 2.61יהא Vמרחב מכפלה פנימית ממימד סופי ,מעל ,Cויהא T : V → Vאופרטור ,אז קיים בסיס
אורתונורמלי של Vלפיו Vמיוצגת על ידי מטריצה משולשית עליונה.
הוכחה :יהא .n = dim Vהמשפט נכון עבור ,n = 1נניח נכונות עבור . n − 1
?
מכיוון שאנו מעל ,Cקיים וקטור יחידה α ∈ Vוסקלר c ∈ Cכך ש־.T α = cα
⊥
יהא } ,W = span {αותהא W ) S := T |wהוא T־אינורינטי ממשפט קודם(.
מאחר ו־ ,dim W < dim Vהרי שמהנחת האינדקציה ,יש ל־ Wבסיס אורתונורמלי } {α1 , . . . , αn−1לפיו S
מיוצגת על ידי מטריצה משולשית עליונה.
יהא ,αn = αאז Tמיוצגת לפי } {α1 , . . . , αnעל ידי מטריצה משולשית עליונה.
משפט 2.63יהא Vמרחב מכפלה פנימית ממימד סופי מעל ,Cויהא T : V → Vאופרטור נורמלי .אז יש ל־ V
בסיס אורתונורמלי של וקטורים עצמיים של .T
43
תבניות בי־לינאריות 3
f :V ×V →F
אוסף התבניות הלינאריות על Vיסומן ב־) ,L (V, V, Fוהוא מהווה תת מרחב של אוסף הפונקציות מ־ .V × V → F
דוגמאות:
?
.1יהיו ) L1 , L2 ∈ Vכלומר ,L1 , L2 : V → F ,פונקציונאלים לינאריים( .נגדיר f : V × V → Fעל ידי
).f (α, β) = L1 (α) L2 (β
.2יהא ) V = Mm×n (Fותהא ) .A ∈ Mm (Fנגדיר תבנית:
העיקבה היא לינארית ,וגם כל שאר הפעולות ־ אז ברור שזוהי תבנית לינארית.
למשל,
t
) fA (cX1 + X2 , Y = trace (cX1 + X2 ) AY
trace cX1t AY + X2t AY
=
= ctrace X1t AY + trace X2t AY
יהא Vמרחב וקטורי ממימד סופי מעל ,fויהא } B = {α1 , . . . , αnבסיס מסודר של .Vנניח כי fתבנית
בילינארית על .V
ו־ X = (xi ) = [α]Bו־ .Y = (yi ) = [β]B
n
! n
X X
)f (α, β = f xi αi , β = )xi f (αi , β
i=1 i=1
n
X n
X n X
X n
= xi f αi = yj αj ) xi yj f (αi , αj
i=1 j=1 i=1 j=1
t
לכן ,כל תבנית בילינארית על ,Vהיא מהצורה f (α, β) = [α]B A [β]Bעבור איזושהי ) .A ∈ Mn (Cנסמן ־
A = [f ]B
) [α]Bהוא וקטור הקוארדינטות של αלפי בסיס (B
הוכחנו ,אם כן ,את המשפט הבא:
44
תבניות בי־לינאריות 3
משפט 3.2יהא Vמרחב וקטורי ממימד סופי מעל .Fעבור בסיס מסודר נתון ,Bההעתקה → ) L (V, V, F
Mn (F ) , f 7→ [f ]Bהיא איזומורפיזם של מרחבים וקטורים ,ולכן
2
) dim L (V, V, F ) = (dim V
מסקנה 3.3אם } B = {α1 , . . . , αnבסיס מסודר של Vו־} B ? = {L1 , . . . , Lnהבסיס הדואלי של ? )Vכלומר ־
.( Li (αj ) = δij
אז n2התבניות הבילינאריות
)fij (α, β) = Li (α) Lj (β
כאשר ,1 ≤ i, j ≤ nאז הן מהוות בסיס למרחב ) .L (V, V, F
[f ]B 0 = P t [f ]B P
הגדרה 3.6תהא fתבנית ביליניארת על מרחב וקטורי ממימד סופי .Vהדרגה של fהיא הדרגה של מטריצה
המייצגת את .f
)(α )(α
.Lf (β) = f (αβ) ,Lf אם f : V × V → Fתבנית בילינארית .נקבע ,α ∈ Vונתבונן בפונקציה : V → F
)(α
.Lf מכיוון ש־ fלינארית במשתנה השני∈ V ? ,
)(β )(β
Rf (α) = f (α, β) ,Rf באופן דומה ,נקבע β ∈ Vונקבל פונקצינאל לינארי ־ ? ∈ V
)(β
.α 7→ Lf (α) , β 7→ Rf הגדרנו העתקות ? .V → V
משפט 3.7תהא ) ,f ∈ L (V, V, Fויהיו ) ? ,Lf , Rf ∈ Hom (V, Vהעתקות שהוגדרו לעיל.
אז הדרגה של fשווה לדרגות של Lfו־ .Rf
הוכחה :מספיק להוכיח כי ל־ Lfו־ Rfיש גרעינים מאותו מימד.
יהא Bבסיס מסודר של ,Vותהא ,A = [f ]Bאם α, β ∈ Vעם קוארדינטות X, Yאז
f (α, β) = X T AY
כעת , Rf (β) = 0 ,אומר ש־ f (α, β) = 0לכל , α ∈ Vכלומר ש־ X t AY = 0לכל .Xזה אומר ש־,AY = 0
לכן מימד הגרעין של RFהוא מימד מרחב הפתרונות של n − rankA ,A
באופן דומה f (α, β) = 0 ⇐⇒ Lf (α) = 0 ,לכל X T AY = 0 ⇐⇒ ,β ∈ Vלכל .At X = 0 ⇐⇒ Y
לכן ,מימד הגרעין של Lfהוא מימד מרחב הפתרונות של ,Atהוא .n − rankA
45
תבניות סימטריות 3.1 תבניות בי־לינאריות 3
מסקנה 3.8אם fתבנית בילינארית על מרחב n־מימדי ,Vאז הטענות הבאות שקולות:
• rankf = n
• לכל ,0 6= α ∈ Vקיים β ∈ Vכך ש־f (α, β) 6= 0
• לכל , 0 6= β ∈ Vקיים α ∈ Vכך ש־.f (α, β) 6= 0
הגדרה 3.9תבנית בילינארית fעל מרחב וקטורי Vנקראת לא מנוונת אם היא מקימת את התנאים במסקנה .3.8
ולכן
והמטריצה Aסימטרית.
הגדרה 3.14אם Fתבנית סימטרית ,אז התבנית הריבועית שלה היא הפונקציה q : V → Fהמוגדרת על ידי
46
תבניות בי־לינאריות 3 תבניות סימטריות 3.1
)מציין של שדה ־ המספר המינימלי של פעמים שצריך לחבר כדי לקבל .0מציין ,2כלומר ־ (1 + 1 = 0
טענה 3.15אם המציין של השדה Fהוא לא ,2אז תבנית סימטרית Fנקבעת לחלוטין עלי ידי התבנית הריבועית
שלה.
התבנית
הוכחה :עלינו למצוא בסיס מסודר } ,B = {α1 , . . . αnכך ש־ f (αi , αj ) = 0לכל .i 6= j
אם f = 0או אם n = 1זה ברור.
נניח f 6= 0ו־ .n > 1מהזהות הקוטבית )והיא קיימת רק עבור תבניות סימטריות( ,נובע כי קיים ,α ∈ Vעבורו
.q (α) = f (α, α) 6= 0
יהא } ,W = span {αונגדיר }.W ⊥ = {β ∈ V |f (α, β) = 0
נראה כי ⊥ .V = W ⊕ W
ראשית ,נראה ש־.W ∩ W ⊥ = 0שכן אם ,cα ∈ Wאזי
⊥
47
תבניות בי־לינאריות 3 תבניות סימטריות 3.1
ולכן.c = 0 ,
נותר להראות ש־ ⊥ .V = W + Wלכל ,γ ∈ Vיש לנו
)f (γ, α )f (γ, α
=γ α+ γ − α
)f (αα )f (αα
} | {z
∈W
)f (γ,α
. γ− f (αα) α נראה ש־ ⊥ ∈ W
)f (γ, α )f (γ, α
f γ− α, α = f (γ, α) − )f (α, α
)f (αα )f (α, α
= f (γ, α) − f (γ, α) = 0
אז קיימת ) P ∈ GLn (F מסקנה 3.17יהא Fשדה עם מציין ,0ותהא ) A ∈ Mn (Fמטריצה סימטרית.
כךש־ P t APאלכסונית.
הערה 3.18במקרה ,F = Rהוכנו בעבר שניתן לקחת Pכזו אורתוגונלית ,כלומר .P t = P −1
מעל המרוכבים
הוכחה :מהמשפט הקודם קיים בסיס מסודר {α1 , . . . , αn } ,של ,Vכך ש־ f (αi , αi ) 6= 0, 1 ≤ i ≤ rו־
f (αi , αj ) = 0אחרת.
p
אם ) f (αi , αiמסמן שורש של , f (αi , αi ) ∈ Cונגדרי
1
(
√ αi 1≤i≤r
= βi ) f (αi ,αi
αi i>r
כלומר ,לכל מסקנה 3.20בפרט ,כל המטריצות הסימטריות ההפיכות ב־) Mn (Cשקולות למטריצת היחידה .I
,A = Atקיימת מטריצה הפיכה Pכך ש־.P t AP = I
48
תבניות סימטריות 3.1 תבניות בי־לינאריות 3
מעל הממשיים
משפט 3.21יהא Vמרחב וקטורי ממימד סופי nמעל .Rתהא fתבנית סימטרית על Vמדרגה .r
אז קיים בסיס מסודר } {β1 , . . . , βnשל Vלפיון fמיוצגת על ידי מטריצה אלכסונית כך ש־f (βi , βi ) = ±1
לכל 1 ≤ i ≤ rו־ f (βi , βi ) = 0לכל .i > r
יתר על כן ,מספר ה־ βiעבורם f (βi , βi ) = 1אינו תלוי בבסיס ,ולכן גם מספר ה־ βiעבורה f (βi , βi ) = −1
אינו תלוי בבבחירת הבסיס.
הוכחה :מהמשפט ,קיים בסיס } {α1 , . . . αnכך ש־ f (αi , αj ) = 0לכל f (αj , αi ) 6= 0 , i 6= jכאשר 1 ≤ j ≤ r
ו־ f (αj , αj ) = 0עבור . j > r
נגדיר
1
βj = p αj , 1 ≤ j ≤ r
|) |f (αj , αj
βj = αj , j > r
מכיוון ש־ fחיובית בהחלט על ,Wו־ α ∈ Wכך ש־) , 0 = f (α, αהרי ש־ .α = 0באופן דומה ,כי fשלילית
בהחלט על , V −נקבל כי . β = 0לכן גם γ = 0והוכחנו כי ⊥ W, V − , Vבת״ל.
למעשה ,כל וקטור β ∈ Vהאורתוגונלי לכל ,Vשייל ל־ ⊥ .V
הראנו שאם W ⊂ Vעליו fחיובית בהחלט ,אז . W ⊂ V +
1 0
. ..
−1
אנחנו רוצים להראות ש־ d = dim V +אינו תלוי ב־ .Bכלומר ,אם B 0בסיס לפיו [f ]B 0מהצורה
. ..
.
0
..
0 .
0
אז ,dim V 0+ = dim V +כאשר V +החלק החיובי המתאים ל־ .B 0לשם כך מספיק להראות שאם W ⊆ Vעליו
fחיובית בהחלט ,אז .dim W ≤ dim V +הראינו זאת.
הגדרה 3.22הסיגנטורה של המטריצה היא ,d − sכאשר dהוא מספר ה־” ”1ו־ sהוא מספר ה־”.” − 1
דרגת המטריצה היא .d + s
49
תבניות אנטיסימטריות 3.2 תבניות בי־לינאריות 3
הגדרה 3.23תבנית בילינארית f : V × V → Fנקראת אנטיסימטרית אם ) f (α, β) = −f (β, αלכל .α, β ∈ V
אבל
t
)f (α, β = X t AY = X t AY
)= Y t At X = −Y t AX = −f (β, α
טענה 3.25המרחב הוקטורי ) L (V, V, Fשל כל התבניות על בי לינאריות על Vמתפרק לסכום יש של תתי המרחבים
של התבניות הסימטריות על Vוהתבניות האנטיסימטריות על .V
1 1
= .fa 2 = ) fs (α, βו־})){f (α, β − f (β, α 2 הוכחה :אם fתבנית בילינארית ,אז }){f (α, β) + f (β, α
אז אלו תבניות סימטרית ואנטיסימטרית בהתאמה ו־
f = fs + fa
משפט 3.26יהיא Vמרחב וקטורי ממימד nמעל . F ⊆ Sתהא fתבנית אנטיסימטרית על .V
המצייצגת את fהיא סכום ישר
אז הדרגה r ,של fזוגית , r = 2k ,וקיים בסיס מסודר של Bלפיו המטריצה
0 1
. של מטריצת האפס מסדר ) ,(n − r) × (n − rו־ kעותקים של המטריצה מסדר 2 × 2־
−1 0
0 1
−1 0 0
0 1
−1 0
[f ]B =
0 1
−1 0
0
..
0 .
הוכחה :נניח כי ,f 6= 0אז קיימים α, β ∈ Vכך ש־ .f (α, β) 6= 0אפשר להניח כי ) f (α, β) = 1אם
,f (α, β) = cאז ( f α 1c , β = 1
כמו כן ,ברור כי ) f (α, α) = f (β, β) = 0מהאנטיסימטריות( .נוודא ש־} {α, βבת״ל ־ יהא γ = cα + dβ
כלשהו ,אז ,f (γ, α) = −dו־ . f (γ, β) = cלכן,
50
תבניות אנטיסימטריות 3.2 תבניות בי־לינאריות 3
באופן דומה,
כלומר ε ,הוא סכום של וקטור ב־ ) Wצירוף לינארי של (α, βווקטור ב־ ⊥ .(δ) W
מכיוון ש־ ,dim W ⊥ < dim Vוהצמצום של fעל ⊥ Wהיא תבנית אנטי־סימטרית ,הרי שמהנחת האינדוקציה,
הטענה נובעת ,כלומר ־ באינדוקציה נבנה סדרה של זוגגות של וקטורים ־ ) (α1 , β1 ) , (α2 , β2 ) , . . . (αk , βkעם
התכונות הבאות:
• ⊥ V = W1 ⊕ . . . ⊕ Wk ⊕ V
מסקנה 3.27נניח כי fתבנית אנטי סימטרית לא מנוונת על .Vאז dim Vזוגי .יהא } ,{α1 , β1 , . . . , αk , βkהבסיס
של Vשנבנה במשפט .3.26
אם נשנה את סדר האברים בבסיס זה ,נקבל ייצוג נוח להרבה חישובים .יהא
51
תבניות בי־לינאריות 3 חבורות של תבניות 3.3
טענה 3.29תהא fתבנית בילינארית לא־מנוונת על ,Vונגדיר }G = {T : V → V |f (T α, T β) = f (α, β) ∀α, β
,כלומר Gקבוצת ההעתקות מ־ Vלעצמה ששומרות את .f
אזי Gחבורה ביחס להרכבה.
באופן שקול,
X t M t AM Y = X t AY
הערה 3.31אם ) fמעל ,Fעם מציין = (2 6לא מנוונת וסימטרית ,אז T : V → Vשומרת על T ⇐⇒ fשומרת את
התבנית הריבועית מהתאימה .q
52
חבורות של תבניות 3.3 תבניות בי־לינאריות 3
דוגמאות
אז החבורה המתאימה כאן נקראת ״החבורה האורתוגונלית״ .O (n, R) , O (m, C) ,ביחס לבסיס הסטנדרטי,
מתקבלות המטריצות }) {A ∈ GLn (R) |AAt = Iאוניטריות/אורתוגונליות(.
p n
x2j − • על , Rnיש לנו את התבנית הריבועית x2j
P P
= ) .q (x1 , . . . , xnהתבנית הסימטרית המתאימה
j=1 j=p+1
היא מסיגנטורה .p − (n − p) = 2p − nמקבלים את החבורה הפסבדו־אורתוגונלית ־ ) .O (n, pיש לנו n + 1
חבורות כאלו ).(0 ≤ p ≤ n
משפט 3.32יהא Vמרחב וקטורי nמימדי מעל ,Cותהא fתבנית סימטרית לא־מנוונת על .Vאז החבורה G
השומרת את fאיזומורפית ל־). O (n, C
הוכחה :ממשפט שהוכחנו ,קיים ל־ Vבסיס Bלפיו ,[f ]B = Iלכן ההעתקה
משפט 3.33יהא Vמרחב וקטורי n־מימדי מעל ,Rותהא fתבנית סימטרית לא מנוונת על ,Vאז החבורה G
השומרת על fאיזומורפית ל־) O (n, p, Rעבור איזשהו .0 ≤ p ≤ n
זהו איזומורפיזם של מרחבים וקטורים מעל .Rקל לבדוק ,כי ) .q (x, y, z, t) = det Φ (x, y, z, tלכן ,מספיק למצוא
אופרטורים H → Hששומרים את הדטרמיננטה.
תהא ) ,M ∈ M2 (Cונגדיר את האופרטור ־ .A 7→ M AM ? ,Um : H → Hמכיוון ש־
2
det (M AM ? ) = |det M | det A
2
אז לכן ,כל Mב־) GL2 (Cעם ,|det M | = 1מגדירה אופרטור על Hששומר על ,detולכן דרך ,Φטרנספורמצית
לורנץ על .R4
fin.
53