You are on page 1of 5

‫יוני בראל ‪bareljon@bgu.ac.

il‬‬ ‫מתמטיקה לכלכלנים א – שיעור ‪5‬‬

‫מתמטיקה לכלכלנים – הרצאה ‪5‬‬

‫אי השוויון של ‪Schwartz‬‬


‫אם ‪ −‬ו ‪ ‬הם שני וקטורים במרחב וקטורי מוגדרת על‪-‬ידי מכפלה סקלרית‪ ,‬אזי‪:‬‬
‫∥‪∣⋅∣≤∥∥⋅∥‬‬

‫הוכחת אי השוויון של ‪Schwartz‬‬


‫נניח ש‪  -‬ו‪  -‬שני וקטורים במרחב וקטורי שמוגדרת עליו מכפלה פנימית‪ .‬לכל מספר ‪ t‬נגדיר‬
‫‪2‬‬
‫‪f t =∥t ⋅ ∥ =t ⋅t =⋅t ⋅⋅t t ⋅t =‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫∥‪=∥∥ 2t ⋅t ∥‬‬

‫‪ (f(t‬היא פונקציה שמקבלת מינימום כאשר ‪f'(t)=0‬‬


‫‪2‬‬
‫‪f ' t=2t∥∥ 2⋅‬‬
‫המינימום של ‪ (f(t‬מתקבל כאשר‬
‫‪−⋅‬‬
‫=‪t0‬‬
‫‪∥∥2‬‬

‫‪2‬‬ ‫‪2‬‬
‫‪ ⋅ ⋅‬‬
‫‪f t 0 =∥t 0 ∥2=∥∥22 t 0 ⋅t 0 2∥∥ 2=∥∥2 −2‬‬ ‫‪‬‬ ‫‪=‬‬
‫‪∥∥2‬‬ ‫‪∥∥2‬‬
‫‪2‬‬
‫‪2‬‬ ‫‪⋅‬‬
‫‪=∥∥ −‬‬ ‫‪2 ≥0‬‬ ‫‪ f ≥0‬‬
‫∥‪∥‬‬
‫‪2‬‬
‫‪⋅‬‬
‫≥‪⇒∥∥2‬‬ ‫‪2‬‬
‫∥‪∥‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫‪⇒∥∥ ∥∥ ≥⋅ ‬‬

‫‪⇒∥∥∥∥≥⋅‬‬

‫מסקנה מאי‪-‬שוויון שוורץ זה אי‪-‬שיוויון המשולש שאומר לכל ‪  , ‬מתקיים‬


‫∥‪∥∥≤∥∥∥‬‬
‫ואמנם‬
‫‪2‬‬
‫=‪∥∥ =⋅ =⋅‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫∥‪⋅2⋅∥∥ ≤Schwartz  ∥∥ 2∥∥∥∥∥‬‬
‫‪2‬‬
‫‪= ∥∥∥∥‬‬
‫ולכן‬
‫∥‪∥∥≤∥∥∥‬‬

‫אורתוגונליות‬
‫נאמר ששני וקטורים ‪  , ‬במרחב וקטורי ‪ V‬שמוגדרת עליו מכפלה סקלרית הם אורתוגונלים‬
‫)מאונכים( זה לזה‪ ,‬מסמנים זאת ב‪  ⊥  -‬אם ‪⋅=0‬‬

‫מופץ תחת רשיון ‪ CC-by-nc-sa‬ייחוס‪-‬לא מסחרי‪-‬שיתוף זהה‬ ‫‪1‬‬


‫יוני בראל ‪bareljon@bgu.ac.il‬‬ ‫מתמטיקה לכלכלנים א – שיעור ‪5‬‬

‫‪2‬‬
‫אזי ‪ ⋅=0‬לכן ‪ ⊥ ‬‬ ‫‪=1,1 ,  −1,1‬‬ ‫אם‬ ‫‪ℝ‬‬ ‫לדוגמא במישור‬

‫)ציור(‬

‫טענה‬
‫הם שני וקטורים אורתוגונלים זה לזה אזי הם בלתי תלויים ליניארית‬ ‫אם ‪ , ‬‬

‫הוכחה‬
‫אזי לכל שני מספרים ‪ a,b‬מתקיים‬ ‫‪⊥‬‬ ‫צריך שאם‬
‫‪ab =0⇒ a=b=0‬‬

‫‪ a=−b ‬נקבל ש‪-‬‬ ‫‪  ⊥ ‬ו‪-‬‬ ‫הואיל ו‬


‫‪2‬‬ ‫‪2‬‬
‫∥‪0=−a b⋅=a ⋅b =a ⋅a =a ∥‬‬

‫נקבל ש‪-‬‬ ‫‪ ∥∥2 0‬כי ‪∥∥≠0‬‬ ‫הואיל ו‪-‬‬


‫‪2‬‬
‫‪a =0 ⇒a=0‬‬
‫‪⇒ b=−a =0‬‬
‫‪⇒b=0 ≠0‬‬

‫אם ‪ A‬היא קבוצה של וקטורים במרחב וקטורי ‪ V‬שמוגדרת עליו מכפלה סקלרית‪.‬‬
‫מגדירים‬
‫⊥‬
‫} ‪A = {∈V∣∀ ∈A ⋅=0‬‬

‫לדוגמא‪ ,‬אם ‪ A‬היא תת קבוצה של ‪ ℝ 2‬שנתונה על ידי‬


‫}‪A={−1,1 ,1,2‬‬
‫אזי וקטור )‪ (x,y‬הוא ב‪ A ⊥ -‬אם ורק אם‬
‫‪−x y=0, x2y=0‬‬
‫כלומר‪y=0, y=−1/2 x ⇒ y=x=0 ,‬‬
‫⊥‬
‫} ‪A ={0,0‬‬

‫} ‪A={−1,1‬‬ ‫אם לדוגמא‬


‫⊥‬ ‫‪2‬‬
‫} ‪A ={ x , y∈ℝ ∣y=x‬‬ ‫אזי‬

‫טענה‬
‫אם ‪ U‬היא תת מרחב של מרחב וקטורי ‪ V‬שמוגדרת עליו מכפלה סקלרית אזי ‪-U‬ניצב‪ ,‬המשלים‬
‫האורתוגונלי של ‪ ,U‬הוא תת מרחב של ‪ V‬ומתקיים‬
‫⊥‬ ‫⊥‬
‫‪U  =U‬‬

‫הוכחה‬
‫נבדוק את ‪ U‬תת‪-‬מרחב של ‪ V‬אזי גם ‪-U‬ניצב תת‪-‬מרחב של ‪ .V‬הואיל ווקטור האפס מאונך לכל‬

‫מופץ תחת רשיון ‪ CC-by-nc-sa‬ייחוס‪-‬לא מסחרי‪-‬שיתוף זהה‬ ‫‪2‬‬


‫יוני בראל ‪bareljon@bgu.ac.il‬‬ ‫מתמטיקה לכלכלנים א – שיעור ‪5‬‬

‫וקטור ב‪ U-‬הוא נמצא ב‪-U-‬ניצב‪.‬‬


‫נמצא‬ ‫צריך עוד לבדוק שאם ‪  , ‬שני וקטורים ב‪-U-‬ניצב ו‪ a,b-‬שני מספרים אזי גם ‪ab ‬‬
‫ב‪-U-‬ניצב‪.‬‬
‫כלומר‪ ,‬צריך להראות שלכל וקטור ‪ ‬ב‪ U-‬אם ‪ ⋅=0‬ו‪ ⋅=0 -‬אזי גם‬
‫‪a b ⋅=0‬‬
‫ואמנם‪,‬‬
‫‪a b ⋅=a⋅b⋅=a⋅0b⋅0=0‬‬
‫⊥‬ ‫⊥‬
‫‪ U‬נראה שלכל וקטור ‪ ‬מתקיים‬ ‫בכדי להראות ש‪ =U -‬‬
‫‪ ∈U‬אם ורק אם ⊥ ‪.  ∈U ⊥ ‬‬
‫⊥ ⊥‬
‫‪∈U ‬‬ ‫ואמנם אם ‪ ∈U‬אזי מההגדרה ‪ ⋅=0‬לכל ⊥ ‪ ∈U‬ולכן‬
‫נשאר להראות שאם ‪ ‬הוא וקטור ב‪ U ⊥  ⊥ -‬אזי ‪ ‬נמצא גם ב‪.U-‬‬
‫ואמנם‪ ,‬אם ⊥ ‪ ∈U ⊥ ‬אזי לכל ⊥ ‪ ∈U‬מתקיים ‪ . ⋅‬כלומר‪  ,‬מאונך לכל וקטור ב‪-‬‬
‫⊥ ‪. U‬‬

‫הגדרה‬
‫אם ‪ U‬ו‪ W-‬הם שני תתי מרחבים של מרחב וקטורי ‪ V‬נגדיר‬

‫} ‪U W ={ ∣ ∈W , ∈U‬‬

‫כלומר כל וקטור ב‪ U+W-‬ניתן להצגה כסכום של שני וקטורים‪ ,‬אחד מ‪ U-‬והשני מ‪.W-‬‬

‫קל לבדוק ש‪ U+W-‬היא גם תת מרחב של ‪.V‬‬

‫משפט‬
‫אם ‪ U, W‬הם תתי מרחב של מרחב וקטורי ‪ V‬ומתקיים‬
‫}‪U ∩W ={0‬‬

‫‪dim U W =dim U dim W‬‬ ‫אזי‬

‫הוכחה‬
‫נסמן ‪k=dim U, l=dim W‬‬
‫נראה ש‪dim (U+W)=k+l -‬‬
‫הואיל ‪ dim U = k‬אזי יש ל‪ U-‬בסיס שמורכב מ‪ k-‬וקטורים‪.‬‬
‫נסמן את הבסיס הזה‬
‫} ‪B 1={1 , ,  k‬‬

‫הואיל ו‪ ,dimW = l -‬אזי יש ל‪ W-‬בסיס שמורכב מ‪ l-‬וקטורים‪.‬‬


‫נסמן את הבסיס הזה‬
‫} ‪B 2={ 1 , , l‬‬

‫אם נראה ש‪ B 1∪B 2={1 ,,  k ,  1 , , l } -‬הוא בסיס של ‪,U+W‬‬

‫מופץ תחת רשיון ‪ CC-by-nc-sa‬ייחוס‪-‬לא מסחרי‪-‬שיתוף זהה‬ ‫‪3‬‬


‫יוני בראל ‪bareljon@bgu.ac.il‬‬ ‫מתמטיקה לכלכלנים א – שיעור ‪5‬‬

‫∅=‪B 1∩B 2‬‬ ‫} ‪ U ∩W ={0‬נובע ש‪-‬‬ ‫אזי מכך ש‪-‬‬

‫ואז נקבל ש‪dimU W =kl -‬‬

‫צריך להראות שני דברים‪:‬‬


‫א‪ .‬שהקבוצה ‪ B 1∪B 2‬פורשת את ‪.U+W‬‬
‫ב‪ .‬שהוקטורים ב‪ B 1∪B 2 -‬הם בלתי תלויים ליניארית‪.‬‬

‫‪ ‬הוא וקטור כלשהו‬ ‫נראה תחילה ש‪ B 1∪B 2 -‬פורשת את ‪. .U+W‬כלומר‪ ,‬צריך להראות שאם‬
‫ב‪ ,U+W-‬אזי יש מספרים ‪ a1 , , a k‬ו‪ b1 ,, bl -‬כך ש‪-‬‬
‫‪k‬‬ ‫‪l‬‬
‫‪=∑ a i i ∑ bi  i‬‬
‫‪i=1‬‬ ‫‪i=1‬‬

‫‪ ‬נמצא‬ ‫הואיל ו‪  -‬נמצא ב‪ U+W-‬אפשר להציג אותו כ‪ = -‬כאשר ‪ ‬נמצא ב‪ U-‬ו‪-‬‬
‫ב‪.W-‬‬
‫הואיל ו‪ B 1 -‬הוא בסיס של ‪ U‬הוא גם פורש את ‪ U‬ולכן אפשר למצוא מספרים ‪ a1 , ... , a k‬כך ש ‪-‬‬
‫‪k‬‬
‫‪=∑ a i i‬‬
‫‪i‬‬

‫כך ש‪-‬‬ ‫באותו אופן‪ ,‬מכן ש‪ B_2-‬הוא בסיס של ‪ W‬אפשר למצוא ‪b1 ,... , bl‬‬
‫‪l‬‬
‫‪=∑ bi i‬‬
‫‪i‬‬

‫‪k‬‬ ‫‪l‬‬
‫‪==∑ a i i ∑ bi  i‬‬
‫‪i=1‬‬ ‫‪i=1‬‬

‫הם בלתי תלויים ליניארית‪ .‬כלומר‪ ,‬להראות שם‬ ‫נותר לנו להראות שהוקטורים ‪B 1∪B 2‬‬
‫‪ a1 , ... ak , b1 , ...bl‬הם מספרים כך ש‬
‫‪k‬‬ ‫‪l‬‬

‫)*( ‪∑ ai i ∑ bi i =0‬‬
‫‪i=1‬‬ ‫‪i=1‬‬
‫אז‬
‫‪a1=a2 ==a k=0‬‬
‫‪b1 =b2 ==bl =0‬‬

‫מ‪ (*)-‬נובע ש‪-‬‬


‫‪k‬‬ ‫‪l‬‬

‫‪∑ ai i =−∑ bi i‬‬


‫‪i=1‬‬ ‫‪i=1‬‬
‫‪l−bi‬‬ ‫‪k‬‬
‫נמצא ב‪W-‬‬ ‫‪∑ i‬‬ ‫נמצא ב‪ ,U-‬ו‪-‬‬ ‫‪∑ ai i‬‬ ‫הואיל ו‪-‬‬
‫‪i=1‬‬ ‫‪i=1‬‬
‫‪k‬‬
‫נמצא ב‪. U ∩W -‬‬ ‫‪∑ ai i‬‬ ‫לכן וקטור‬
‫‪i=1‬‬

‫מופץ תחת רשיון ‪ CC-by-nc-sa‬ייחוס‪-‬לא מסחרי‪-‬שיתוף זהה‬ ‫‪4‬‬


‫יוני בראל ‪bareljon@bgu.ac.il‬‬ ‫מתמטיקה לכלכלנים א – שיעור ‪5‬‬

‫} ‪ U ∩W ={0‬נובע ש‪-‬‬ ‫מכך ש‪-‬‬


‫‪k‬‬

‫‪∑ ai i =0‬‬
‫‪i=1‬‬
‫הוקטורים ‪  1 , ... k‬מהווים בסיס של ‪ ,U‬לכן הם בלתי תלויים ליניארית ולכן‬
‫‪a1=a2 ==a k=0‬‬

‫‪l‬‬ ‫‪k‬‬

‫מ‪ (*)-‬נקבל שגם ‪∑ bi i =0‬‬ ‫‪∑ ai i =0‬‬ ‫הואיל ו‪-‬‬


‫‪i=1‬‬ ‫‪i=1‬‬
‫הואיל והוקטורים ‪ 1 , ,  l‬הם בסיס של ‪ W‬מקבלים ש‪-‬‬
‫‪b1 =b2 =bl =0‬‬

‫משפט‬
‫אם ‪ V‬מרחב וקטורי שמוגדרת עליו מכפלה סקלרית אזי לכל תת‪-‬מרחב ‪ U‬של ‪ V‬מתקיים‬
‫⊥‬
‫‪V =U U‬‬
‫בפרט‬
‫⊥‬
‫‪dim V =dim U dim U‬‬
‫הנוסחא של המימדים נובעת מכך ש‪ U ∩U ⊥ ={0} -‬ומהמשפט הקודם‪.‬‬

‫מופץ תחת רשיון ‪ CC-by-nc-sa‬ייחוס‪-‬לא מסחרי‪-‬שיתוף זהה‬ ‫‪5‬‬