הבדלים בין גרסאות בדף "אלגברה לינארית 2 - ארז שיינר"
(←נורמה מושרית) |
(←נורמה מושרית) |
||
שורה 134: | שורה 134: | ||
:<math>Re\left(\langle v, w\rangle\right)\leq ||v||\cdot ||w||</math> | :<math>Re\left(\langle v, w\rangle\right)\leq ||v||\cdot ||w||</math> | ||
+ | |||
+ | |||
+ | ===אי שיוויון קושי-שוורץ=== | ||
===מכפלה פנימית מושרית=== | ===מכפלה פנימית מושרית=== |
גרסה מ־13:41, 27 ביוני 2022
תוכן עניינים
חומרי עזר
סרטונים ותקצירי הרצאות
פרק 1 - מכפלה פנימית ונורמה
מכפלה סקלרית
מכפלה פנימית
יהי מרחב וקטורי מעל או
מכפלה פנימית היא מכפלה המקיימת את ארבע התכונות הבאות:
לכל ולכל מתקיים כי:
- אדטיביות
- כפל בסקלר
- הרמיטיות
- אי שליליות וכן אם ורק אם
נורמה
יהי מרחב וקטורי מעל או
נורמה היא פונקציה המקיימת את שלושת התכונות הבאות.
לכל ולכל מתקיים כי:
- אי שליליות וכן אם ורק אם
- כפל בסקלר
- אי שיוויון המשולש
נורמה מושרית
יהי מרחב מכפלה פנימית מעל או .
הנורמה המושרית מהמכפלה הפנימית היא הפונקציה המוגדרת ע"י הנוסחא:
שימו לב: הפונקציה מוגדרת היטב -
מתכונת האי-שליליות של המכפלה הפנימית ידוע כי ולכן מותר להוציא שורש.
הנורמה המושרית היא אכן נורמה
נוכיח כי הנורמה המושרית היא אכן נורמה.
תכונת האי-שליליות של הנורמה מתקבלת בחינם, כי ממש לפי הגדרת פונקצית השורש. כמו כן, נקבל כי אם ורק אם אם ורק אם, לפי תכונת המכפלה הפנימית,
כעת, יהי סקלר אזי
לבסוף, עלינו להוכיח את אי שיוויון המשולש, אך זה ידרוש קצת הכנה מקדימה.
צריך להוכיח כי:
כיוון ששני הצדדים אי שליליים, אפשר להעלות בריבוע ולקבל אי שיוויון שקול:
נפתח את צד שמאל לפי ההגדרה של הנורמה:
כעת נחזור לאי השיוויון שצריך להוכיח, נצמצם את משני האגפים ונחלק ב2, ונקבל את אי השיוויון השקול הבא:
נעצור על מנת להוכיח אי שיוויון עזר:
מתכונת האי שליליות, אנו יודעים כי
ובעזרת פיתוח דומה לעיל נקבל כי
מכאן נובע כי
כעת, נחזור להוכחת אי שיוויון המשולש. צ"ל כי
אם או התוצאה מיידית כי שני הצדדים שווים אפס.
אחרת, נציב את הוקטורים המנורמלים באי שיוויון העזר ונקבל:
ולכן
וסה"כ, קיבלנו את מה שצריך:
אי שיוויון קושי-שוורץ
מכפלה פנימית מושרית
- האם כל נורמה היא נורמה מושרית?
- האם ייתכן שנורמה תהיה הנורמה המושרית של שתי מכפלות פנימיות שונות?
לתשובות ולהוכחות קראו את הערך מכפלה פנימית מושרית.
פרק 2 - המרחב הניצב
- משפט הפירוק הניצב
- בא"נ והיטלים
- אי שיוויון בסל
- משפט פיתגורס
- גרם שמידט