‫תרגיל בית ‪5 -‬‬

‫אלגברה לינארית להנדסת חשמל‪ ,‬תשע”ח סמס’ א’ – תרגיל ‪6‬‬

‫‪ .1‬יהי ‪ V‬מרחב וקטורי מעל שדה ‪ F‬הוכיחו‪:‬‬

‫)א( איבר האפס של ‪ V‬הוא יחיד‪.‬‬

‫)ב( לכל ‪ ,v ∈ V‬הנגדי של ‪ v‬ב– ‪ V‬יחיד‪.‬‬

‫‪ .2‬קבעו )והוכיחו!( האם ‪ W‬תת‪-‬מרחב וקטורי של ‪ V‬במקרים הבאים‪:‬‬

‫)א( }‪) W = {f : R → R | f (x) = f (−x) f or every x ∈ R}, V = {f : R → R‬פונקציות כאלה נקראות פונקציות זוגיות(‬
‫)ב( )‪ ,W = {A ∈ Mn (R) | AB = BA}, V = Mn (R‬כאשר )‪ B ∈ Mn (R‬מטריצה נתונה כלשהי‪.‬‬
‫)ג( )‪W = {A ∈ Mn (R) : A = AT }, V = Mn (R‬‬
‫)ד( )‪W = GL2 (C) = {A ∈ M2 (C)| A is invertible}, V = M2 (C‬‬

‫‪ .3‬יהיו )‪W = {A ∈ V |A = diag (α1 , . . . αn ) , α1 , . . . , αn ∈ F} , V = Mn (F‬‬

‫)א( הראו ש ‪ W‬הנו תת מרחב של ‪.V‬‬

‫)ב( הראו ש })‪ U = {A ∈ W |A = diag (λ, . . . λ‬הנו תת מרחב של ‪.W‬‬
‫!‬ ‫"‬
‫)ג( הראו ש ‪ U = A ∈ V |Ak = 0 f or some k ∈ N‬אינו תת מרחב של ‪.V‬‬
‫)ד( הראו ש }‪ U = {A ∈ V | A is Invertible‬אינו תת מרחב של ‪.V‬‬
‫)ה( הראו ש }‪ U = {A ∈ V | A is not Invertible‬אינו תת מרחב של ‪.V‬‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ .4‬נגדיר‬

‫‪1 0‬‬ ‫‪0‬‬ ‫‪0 0‬‬ ‫‪0‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪A= 0 1‬‬ ‫‪0 ,‬‬ ‫‪B= 0 1‬‬ ‫‪0 ‬‬
‫‪0 0 0‬‬ ‫‪0 0‬‬ ‫‪1‬‬
‫עבור כל אחת מן המטריצות‬
‫√‬
‫‪0,‬‬ ‫‪I,‬‬ ‫‪πI,‬‬ ‫‪D = diag (7, 10, 3) ,‬‬ ‫‪2D‬‬

‫קבעו האם היא נמצאת ב‪ .Span {A, B}-‬אם כן‪ ,‬מצאו את הצירוף הלינארי של ‪ A, B‬השווה למטריצה‪ .‬כלומר‪ ,‬מצאו סקלרים ‪λ, µ‬‬
‫עבורם המטריצה שווה ל‪.λA + µB-‬‬

‫‪ .5‬קבעו האם הקבוצות הבאות הן קבוצות פורשות מעל ‪:R‬‬

‫!‬ ‫"‬
‫)א( ‪ x2 − 1, 7x + 8, 1 + x + x2‬ב‪.R2 [x]-‬‬
‫!‬ ‫"‬
‫)ב( ‪ x2 − 1, 7x + 8, 1 + x + x2‬ב‪.R3 [x]-‬‬
‫‪     ‬‬
‫‪‬‬
‫‪ 1‬‬ ‫‪0‬‬ ‫‪0 ‬‬‫‪‬‬
‫‪3‬‬ ‫‪     ‬‬
‫)ג( ‪ 0 , 1 , 0‬ב‪.C -‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪1‬‬
 ‫‪ .6‬יהי ‪ V‬מרחב וקטורי מעל שדה ‪ .F‬הוכיחו או הפריכו‪:‬‬

‫)א( אם } ‪ {u1 , u2 , u3‬קבוצת וקטורים בת”ל ב‪V -‬ו‪ u %∈ Span {u1 , u2 , u3 }-‬אז }‪{u1 + u, u2 + u, u3 + u‬גם קבוצה בת”ל‪.‬‬
‫)ב( אם הקבוצות }‪ {u, v} , {v, w} , {w, u‬בלתי תלויות לינארית ב‪ ,V -‬אז גם }‪ {u, v, w‬בלתי תלויה לינארית ב‪.V -‬‬
‫)ג( אם } ‪ K = {u1 , ..., ud‬קבוצת וקטורים כלשהי ב‪ ,V -‬אז ‪.Span {SpanK} = SpanK‬‬
‫)הערה‪ Span :‬של קבוצה אינסופית מוגדר כאוסף כל הצירופים הלינאריים הסופיים של איברי קבוצה זו(‪.‬‬
‫)ד( קבוצה ‪ {v1 , ..., vn } ⊂ V‬תלויה לינארית אם ורק אם לפחות אחד מבין ‪ v1 , ..., vn‬הנו צירוף לינארי של השאר‪.‬‬
‫∈ ‪.v‬‬
‫)ה( ‪ {v1 , ..., vn } ⊂ V‬בת”ל ויהי ‪ 0 %= v ∈ V‬אז }‪{v1 , ..., vn , v‬בת”ל אם ורק אם } ‪/ Span {v1 , ..., vn‬‬

‫‪ .7‬יהי ‪ V‬מרחב וקטורי נוצר סופית מעל שדה ‪ F‬ותהי ‪ B ⊂ V‬הוכח כי התנאים הבאים שקולים‪:‬‬

‫)א( ‪ B‬בסיס של ‪V‬‬

‫)ב( כל וקטור ‪ v ∈ V‬ניתן להצגה‪ ,‬באופן יחיד‪ ,‬כצירוף לינארי של איברי ‪.B‬‬
‫)ג( ‪ B‬בת”ל מירבית ביחס להכלה )כלומר ‪ B‬בת”ל וכל קבוצה שמכילה אותה ממש תלוייה לינארית(‪.‬‬
‫)ד( ‪ B‬פורשת מזערית ביחס להכלה )כלומר ‪ B‬פורשת וכל קבוצה שמוכלת בה ממש אינה פורשת(‪.‬‬

‫‪ .8‬מצאו בסיס וממד של מרחב הפתרונות ‪ U‬של המערכת ההומוגנית הבאה ב ‪R5‬‬

‫‪2x1 + 4x2 + x3 − x4 + 5x5‬‬ ‫‪= 0‬‬

‫‪x1 + 2x2 + x3 + 4x5‬‬ ‫‪= 0‬‬
‫‪x3 + x4 + 3x5‬‬ ‫‪= 0‬‬
‫‪ ‬‬ ‫‪‬‬
‫‪‬‬
‫‪ x1‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪ . ‬‬ ‫‪0n‬‬ ‫‪‬‬
‫‪?W = ‬‬ ‫‪ ‬‬
‫‪ .9‬מהו הממד של המרחב ‪..  ∈ R | i=1 xi = 0‬‬
‫‪n‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪xn‬‬
‫!‬ ‫"‬
‫‪ .10‬מצאו בסיס למרחב המטריצות הסימטריות מסדר ‪ n‬מעל שדה ‪ . A ∈ Mn (F)|A = AT - F‬מהו הממד של המרחב הנ”ל?‬
‫‪1 n‬‬ ‫‪2‬‬
‫‪0‬‬
‫= ]‪ ,F [x‬לא נוצר סופית מעל ‪.F‬‬ ‫‪ .11‬יהי ‪ F‬שדה‪ ,‬הוכיחו כי מרחב הפונילומים מעל ‪ai x : n ≥ 0, ∀i ai ∈ F ,F‬‬
‫‪i‬‬
‫‪i=0‬‬

‫‪2‬‬