מרחבי מכפלה פנימית
אלגברה לינארית 2 — HUJI
מכפלה פנימית (Inner Product)
בהינתן מרחב וקטורי V מעל F (R או C), מכפלה פנימית היא פונקציה ⟨⋅,⋅⟩:V×V→F שמקיימת:
- לינאריות ברכיב הראשון: ⟨αu+βv,w⟩=α⟨u,w⟩+β⟨v,w⟩
- הרמיטיות: ⟨u,v⟩=⟨v,u⟩ (צמוד מרוכב)
- חיוביות: ⟨v,v⟩≥0 ו-⟨v,v⟩=0⟺v=0
הרמיטיות הופכת לסימטריה: ⟨u,v⟩=⟨v,u⟩.
נורמה (Norm)
∥v∥=⟨v,v⟩
תכונות
- ∥v∥≥0, ו-∥v∥=0⟺v=0
- ∥αv∥=∣α∣⋅∥v∥
- אי-שוויון המשולש: ∥u+v∥≤∥u∥+∥v∥
אי-שוויון קושי-שוורץ (Cauchy-Schwarz)
∣⟨u,v⟩∣≤∥u∥⋅∥v∥
שוויון מתקיים אמ"מ u,v תלויים לינארית.
הוכחה
לכל t∈F: 0≤∥u+tv∥2=∥u∥2+2Re(t⟨u,v⟩)+∣t∣2∥v∥2. בחרו t אופטימלי.
ניצבות (Orthogonality)
u⊥v אמ"מ ⟨u,v⟩=0.
קבוצה אורתונורמלית
{e1,…,en} אורתונורמלית (ON) אם:
⟨ei,ej⟩=δij={10i=ji=j
בסיס אורתונורמלי
בסיס ON = גם בסיס וגם אורתונורמלי. כל מרחב מכפלה פנימית סוף-ממדי מכיל בסיס ON.
תהליך גרם-שמידט (Gram-Schmidt)
אלגוריתם להפיכת בסיס כלשהו {v1,…,vn} לבסיס ON {e1,…,en}:
wk=vk−∑j=1k−1⟨vk,ej⟩ej,ek=∥wk∥wk
אל תשכחו לנרמל!
wk רק ניצב — צריך לחלק בנורמה כדי לקבל ek.
המשלים הניצב (Orthogonal Complement)
W⊥={v∈V∣⟨v,w⟩=0 ∀w∈W}
תכונות
- V=W⊕W⊥ (סכום ישר)
- dimW+dimW⊥=dimV
- (W⊥)⊥=W
- ההטלה על W: projW(v)=∑i⟨v,ei⟩ei (כש-{ei} בסיס ON של W)