סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך.

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך."

Transcript

1 סיכום לינארית 28 בינואר 2 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך הערות יתקבלו בברכה nogarotman@gmailcom

2 תוכן עניינים 3 מבוא והגדרות בסיסיות 6 שדות 7 המציין של השדה שדה המרוכבים C 2 4 מרחבים וקטורים 2 4 הגדרת המרחב והרבה דוגמאות 2 6 תלות ואי תלות לינארית 22 9 בסיס, מימד והקשרים ביניהם תת מרחבים 24 3 תרגולים המטריצה 3 39 העתקות לינאריות 3 4 המטריצה הגדרות בסיסיות גרעין ודמות של העתקות לינאריות Image, Kernal 33 5 כפל (הרכבה של העתקות לינאריות העתקה הופכית מטריצת מעבר בסיסים 36 6 מערכת משוואות 37 7 דירוג מטריצות T he Gaussian Elimination דטרמיננטה של מטריצה מינור של מטריצה והמטריצה המצורפת 3 92 הדרגה של העתקה לינארית 3 96 תרגולים 32 2

3 מבוא והגדרות בסיסיות פרטי המרצה 829 יבגני סטרחוב, שפרינצק 7 שעות קבלה יום א' 4: 3:, טלפון ספר מומלץ G Shilov Linear Algebra 2 הבעיה הבסיסית באלגברה לינארית נניח ונתונה לנו מערכת משוואות כלשהיא: a x + a 2 x a n x n = b a 2 x + a 22 x a 2n x n = b 2 a n x + a n2 x a nn x n = b n נסמן את מערכת המשוואות הזו להיות נניח שהמקדמים a, a,2,, a nn וכמו כן b, b 2,, b n ידועים נשאל: אם הפתרון של קיים? 2 אם קיים פתרון, האם הוא יחיד? 3 אם הפתרון אינו יחיד, מה ניתן לומר על קבוצת הפתרונות? דוגמא: ניקח = m,n = וכמו כן a, b R אזי נקבל את המשוואה הבאה: ax = b נחפש את קבוצת הפתרונות של המשוואה,x = b a וזהו פתרון יחיד אם a אזי 2 אם = a b, אזי הפתרון אינו קיים 3 אם = a b = אזי R היא קבוצת הפתרונות 3 השדה ואקסיומות השדה הגדרה קבוצה F נקראת שדה (field או שדה מספרים numbers (field of אם פעולות חיבור וכפל מוגדרות בקבוצה זו, ומתקיימות אקסיומות חיבור וכפל "אתם יכולים להתקשר כל הזמן אני לא מבטיח שאני אענה" 3

4 הגדרה 2 אקסיומות חיבור: עבור כל אלמנטים α β של F אלמנט α + β קיים ב F ואלמנט זה יחיד 2 קומטטיביות עבור כל שני אלמנטים α, β של F מתקיים α + β = β + α 3 אסוציטיביות עבור כל אלמנטים α, β, γ של F מתקיים γ (α + β + γ = α + (β + 4 קיים בשדה F אלמנט כך שעבור כל אלמנט α של F מתקיים α + = α 5 עבור כל אלמנט α של F שקיים פתרון γ של משוואה = γ α, + ופתרון זה יחיד הגדרה 3 אקסיומות הכפל: 6 עבור כל שני אלמנטים,α β של F קיים אלמנט α β בשדה והוא יחיד 7 עבור שני אלמנטים α, β של F מתקים α β = β α 8 עבור אלמנטים α, β, γ של F מתקיים γ (α β γ = α (β 9 קיים אלמנט ב F כך שעבור כל אלמנט α של F מתקיים α = α, וגם קיום איבר הופכי עבור כל אלמנט α של F קיים אלמנט γ של F כך שמתקיים = γ α חוק הפילוג דיסטריביוטיביות: לכל אלמנטים α, β, γ ב F מתקיים: (α + β γ = α γ + β γ דוגמא: ניקח E} F = {N, N + N = N N + E = E E + E = N E + N = E N + E = E N N = N N E = N E E = E E N = N נטען כי זהו שדה! נבדוק כי מתקיימות אקסיומות השדה, והן אכן מתקיימות! לדוגמא: (N + E + E =? N + (E + E = N = Q זהו שדה! { p q p N q Z, q } טענה 4 הגדרה 5 שדה של מספרים מרוכבים numbers field of complex R} C = {a + Ib a R, b נגדיר את פעולת החיבור בצורה הבאה: (a + iib + (a 2 + Ib 2 := a + a 2 + I (b + b 2 4

5 את פעולת הכפל נגדיר בצורה הבאה: (a + Ib (a 2 + iib 2 := (a a 2 b b 2 + I (a b 2 + b a 2 טענה C 6 הוא שדה! מדוע? נביט באיבר i i = + I i i = ( + i ( + i = + I נשים לב שמספרים מהסוג I a + הם כמו ממשיים: = 2 i הגדרה 7 שדה איזומורפי ield (Isomorphic F ניקח F, F שני שדות בנוסף נניח כי קיימת התאמה חד חד ערכית ועל בין F לבין F כך שמתקיים: אם α α,α F, α F ואם,β β,β F, β F אזי β α β α β,α + β α + { a x + a 2 x 2 = b a 2 x + a 22 x 2 = b 2 כעת, נביט במערכת המשוואות הבאה ובמטריצה שלה 3 2 ( ( ( a a 2 x b = a 2 a 22 x 2 b 2 (a a 22 a 2 a 2 x 2 = b 2 a b a 2, (a a 22 a 2 a 2 x = b a 22 b 2 a 2 4 מעט על מטריצות נקרא מטריצה m n של אלמנטים בשדה F הגדרה 4 8 נניח,a, a 2,, a mn F כאשר F הוא שדה נתון a a 2 a n a2n אוסף כל האלמנטים amn 2 מיד נגדיר מטריצה, אל דאגה 3 החישוב בסוף זוהי הדטרמיננטה! ניתקל בה הרבה בהמשך 4 "אין לזה קשר לסרטים ניסיתי למצוא אבל לא הצלחתי" יבגני לכיתה 5

6 שדות הגדרה עבור שני איברים,α β F נגדיר: 229 α F β = α + γ כאשר γ הוא הפתרון של המשוואה: β + F γ = α F β = α F γ β F γ = F וזו תקרא פעולת החיסור הגדרה 2 עבור שני איברים (β F α, β F נגדיר: כאשר γ הוא הפתרון של המשוואה: וזו תקרא פעולת החילוק משפט 3 איבר F הוא יחיד בשדה F איבר F הוא יחיד בשדה F הוכחה: נוכיח את שני המשפטים באותה הצורה נתחיל עם המשפט הראשון: תחילה, נניח בשלילה כי קיימים שני אפסים F, כעת, עבור שני איברים כלשהם,a b F מתקיים: { a + F F = a = F + F b = b { F + F = F F + F F = F כעת, נציב ב b = F, a = F ונקבל: כלומר קיבלנו, F = F כפי שרצינו באותה שיטה נוכיח את המשפט השני נניח בשלילה כי קיימים שני איברים שונים F, F F כעת, עבור שני איברים כלשהם,a b F מתקיים: { a F F = a F F b = b { F F F = F F F F = F כעת, נציב ב b = F, a = F ונקבל: כלומר קיבלנו, F = F כפי שרצינו 6

7 5 סימונים נסמן: N = {, 2, 3, } Z = {, 3, 2,,,, 2, 3, } Z = {,, 2, } עבור n N נסמן } n Z n = {,, 2,, ב n a שארית המתקבלת על ידי חילוק של [a] n עבור Z a ב [5] 4 = 3, [3] לדוגמא: = המציין של השדה הגדרה 4 יהיו Z a, b נאמר (modn,a b אם מתקיים: a = b + k n, k Z, n N דוגמא: 5 3 (mod4 5 = הגדרה } 5 n Z n = {,, 2,, הגדרה 6 נגדיר ב Z n פעולות חיבור וכפל עבור שני איברים כלשהם,a b Z n בצורה הבאה: a + n b := [a + b] n = [b + a] n = b + n a a n b := [a b] n = [b a] n = b n a משפט 7 לכל (Z n, n, + n,n >,n N מקיים את כל התכונות של השדה, פרט (אולי לקיום הופכי לכפל הוכחה: אקסיומות החיבור: a, b Z n ; a + n b = [a + b] n [a + b] n Z n היא שארית, ולכן [a + b] n a + n b = [a + b] n = [b + a] n = b + n a 2 a {,, 2,, n } כאשר a + n = [a] n = a 3 (a + n b + n c =? a + n (b + n c 4 [(a + n b + c] n = [[a + b] n + c] n כאשר האגף השמאלי שווה 7

8 נביט לרגע בשתי טענות עזר: טענה 8 במידה ומתקיים (modn a = a (modn, b = b כאשר Z a, b, a, b, אזי מתקיים: a + b a + b (modn [a + b] n = [a + b ] n a b a b (modn [a b] n = [a b ] n הוכחה: (לא הוכחה פורמלית, רק רעיון כללי: a = a + kn, b = b + mn a + b = a + b + (k + m n a + b a + b (modn [a] n טענה 9 אם Z a אזי מתקיים (modn = a כעת, claim 2 [a + b] n (a + b (modn, c c (modn claim [a + b] n + c (a + b + c (modn = [[a + b] n + c] n = [a + b + c] n = [a + [b + c] n ] n = a + n (b + n c 5 קיום איבר נגדי ביחס לחיבור: נניח ש =,a אזי = a נניח ש [ n,a [, 2,, אזי a = n a אקסיומות הכפל נבדקות באותה הצורה 2529 משפט כאשר n הוא מספר ראשוני, n (Z n, + n, הוא שדה הוכחה: ניקח n l, ונרצה להראות כי l קיים בקבוצה Z n נתבונן בקבוצה {l n,l n,l, n ( n } מספיק להראות כי כל האיברים בקבוצה זו הם שונים אחד מהשני מדוע? אם זה נכון, אזי קיים P כך שמתקיים } n,p n l =, P {,, 2,, אזי l = P (m k l n נניח שמתקיים (n k n l = m n l, k < m = j, j Z,* 5 ואז k l = m l j n אבל, * לא יכול להיות, מכיוון ש n מספר ראשוני (ושני המספרים k, m קטנים מ n אזי: משפט נניח ש n הוא אינו מספר ראשוני אזי: 5 שהרי כפל במודולו מתבצע בצורה הבאה: a nb = a n b a b = a b + j n 8

9 טענה n 2 (Z n, + n, אינו שדה הוכחה: ניתן לרשום k, l n ; n = kl נניח בשלילה כי n (Z n, + n, הוא שדה אזי קיים k מכיוון שכך, נביט במכפלה הבאה:,l = k n (k n l = k n [kl] n וכך הגענו לסתירה! = k n [n] n = הגדרה 3 המציין של השדה F characteristic הוא המספר הטבעי k המינימלי שעבורו מתקיים: k times {}}{ F + F + + F = F נסמן char (F = k ( F + F + + F }{{} k times = ( F + F + + F = }{{} n times ( F + F + + F = }{{} l times אם * אינו מתקיים עבור כל,k N,k אזי נאמר = (F char משפט 4 אם n,char (F = אזי n הוא מספר ראשוני הוכחה: נניח בשלילה כי n אינו מספר ראשוני אזי ניקח n = kl כאשר < k, l < n k times {}}{ ( F + F + + F + + ( F + F + + F }{{}}{{} l times l times אזי = F ( F + F + + או = F ( F + F + + }{{}}{{} l times k times אבל זה לא יכול להיות, כי הגדרנו את n להיות המספר המינימלי עבורו המשוואה הזו שווה לאפס, בסתירה! ניקח: משפט 5 יהיF שדה סופי, q מספר האיברים בשדה F a = { F q = 2 a q 2 q > 2 טענה 6 עבור :a F, a F הוכחה: נניח כי = 2 q אזי } F a = F,F = { F, אזי,a = F וסיימנו נניח כי > 2 q אזי נתבונן בקבוצה: F פרט ל F קבוצה זו כוללת את כל האיברים של B = {a, a 2,, a q } {aa, aa 2,, aa q } ולכן נוכל לבנות קבוצה,a F קבוצה זו כוללת את אותם איברים כמו קבוצה B לכן: ( q q q a i = (aa i = a q a i i= i= i= q,a q = F כלומר a a q 2 = כפי שרצינו כמו כן i= F 9

10 2 שדה המרוכבים C סעיף זה מתוך תרגול מתאריך הגדרות הגדרה 7 מספר מרוכב הוא זוג סדור (y,x כאשר,x y R (בהמשך נסמן במקום זאת iy x + על קבוצה זו מגדירים חיבור וכפל בצורה הבאה: (החיבור השמאלי במרוכבים, הימני בממשיים( (x, y + (x 2, y 2 = (x + x 2, y + y 2 (x, y (x 2, y 2 = (x x 2 y y 2, y x 2 + x y 2 המרוכבים הם שדה ביחס לפעולות האלו ה C של המרוכבים הוא (, ה של C המרוכבים הוא (, נראה שזה נכון: (x, y (, = (x + y (x + y = (x, y ( נראה שזה נכון: x x 2 +y, 2 הנגדי ל ( y ( x, y :(x, y x 2 +y ההופכי ל ( y,x אינו (,, אלא 2 ( (x, y x x 2 +y, 2 y x 2 +y 2 = ( x x 2 +y + y 2 x 2 +y 2, xy x 2 +y + yx 2 x 2 +y = (, 2 נסמן R} R = {(x, x ונתבונן בהעתקה (x, α : R C; α (x = מה נוכל לומר על ההעתקה הזו? ההעתקה היא חח"ע, תמונתה היא R, והיא מכבדת את החיבור והכפל, כלומר מתקיים: α (x + x 2 = α x + α x 2 (x + x 2, = (x, + (x 2, α (x x 2 = α x α x 2 (x x 2, = (x, (x 2, לכן, אפשר לזהות את R כתת קבוצה של C עם אותן הפעולות C הוא תת שדה של R כלומר R, C

11 נשים לב כי: (, 2 = (, (, = (, מסמנים = 2 = i, i (, מזהים עבור :x, y R (x, y x + yi (x, y i (x 2 + y 2 i = (x x 2 y y 2 + (x y 2 + x 2 y i הגדרה 8 אם z, =,x (y C אזי מסמנים את "החלק האמיתי" ו"החלק המדומה" בצורה הבאה: Re (z = x; Im (z = y וכמו כן, מסמנים את הגודל:, z = x 2 + y 2 והצמוד: z = (x, y = x yi 22 משמעות גיאומטרית אם (, (y,x, אזי יש אפשרות נוספת להציג אותו באמצעות המרחק מראשית הצירים r והזווית עם הכיוון החיובי θ המרחק r = x 2 + y 2 הזווית θנקבעת עד כדי 6 2π הגדרה 9 הצגה בצורה (y,x נקראת הצגה קרטזית הגדרה 2 הצגה בצורה (θ,r נקראת הצגה קוטבית\פולרית r = x 2 + y 2, איך עוברים בין ההצגות השונות? אם נתונים θ x = rcosθ, y = rsinθ :(r, y x = tanθ θ = arctan y x אם נתונים y + π :(x, נשים לב כי tan היא פונקציה מחזורית r = = 2, דוגמאות: נתון + i, דהיינו (, מהי הצורה הקרטזית? θ = arctan = π 4 θ = π 4 + 2π = 7π 4 2 נתון i אזי: אזי: 2 3 נתון i r =, θ = π 3 6 מדוע? כל 2π (או כפולה שלו נגיע לאותה הנקודה

12 בצורה קוטבית (פולרית: חיבור: (x + y i + (x 2 + y 2 i = (x + x 2 + (y + y 2 i כפל: z = (r, θ, z 2 = (r 2, θ 2 z z 2 = (r r 2, θ + θ 2 בצורה קרטזית: נסמן: z = (r cosθ, r sinθ z 2 = (r 2 cosθ 2, r 2 sinθ 2 z z 2 = (r r 2 (cosθ cosθ 2 + sinθ sinθ 2, r r 2 (cosθ sinθ 2 + cosθ 2 sinθ = (r r 2 cos (θ + θ 2, r r 2 sin (θ + θ 2 אם נסמן θ,z z 2 = (r, אזי r = r r 2, θ = θ θ 2 נוכל להגדיר: (, =,z ובאינדוקציה n+ z אם כך, בצורה קוטבית נקבל: z = (r, θ, z n = (r n, nθ לדוגמא: בצורה קרטזית z = + i z 6 = ( ( 2 6 6π, = 8, 3π = 8i 4 2 z = ( 2, π 4 בצורה קוטבית הגדרה 2 אם z C ו N,n אז שורש של z מסדר n הוא מספר מרוכב w כך ש z w n = מסקנה 22 אם ההצגה הקוטבית של z היא (θ,r, ו w הוא שורש מסדר n של z בעל הצגה קוטבית (α,l, אז l n = r, nα = θ + 2πk עבור k Z הגדרה זו שקולה לכך ש r l, = n α = θ+2πk n וכמו כן, k Z מסקנה 23 אם z אזי ל ( θ z = (r, יש בדיוק n שורשים מסדר n ( ( כאשר n k =,,, n r, θ+2πk n = n r, θ ההצגות הקוטביות הן n + 2π n k 2

13 מסקנה 24 מדיון בכיתה באקסיומות השדה, אין צורך לדרוש יחידות לגבי האיבר הנייטרלי לחיבור היחידות נובעת ישירות מההגדרה ומשאר האקסיומות מסקנה 25 גם לכפל אין צורך לדרוש את יחידות האיבר הנייטרלי מסקנה 26 באקסיומות השדה אין צורך לדרוש יחידות עבור האיבר הנגדי ועבור האיבר ההופכי 3

14 2 מרחבים וקטורים 2 הגדרת המרחב והרבה דוגמאות הגדרה 2 נאמר שקבוצה V הוא מרחב וקטורי מעל שדה F, אם מוגדרים עבור איברי V פעולות חיבור וכפל על איברים של F (סקלרים, כך שמתקיימות האקסיומות הבאות: אקסיומות החיבור : 7 V γ, γ 2 V ; γ + γ 2 = γ כאשר γ הוא וקטור (סגירות לחיבור γ + γ 2 = γ 2 + γ 2 γ + (γ 2 + γ 3 = (γ + γ 2 + γ 3 3 γ V V V V + γ = γ 4 5 לכל γ V קיים γ כך ש: γ + ( γ = V אקסיומות הכפל: V d F γ V, d γ (סגירות לכפל בסקלר γ V, α, β F, α (β γ = (α β γ 2 γ, γ 2 V, α F, α (γ + γ 2 = α γ + α γ 2 3 γ V, F γ = γ 4 α, β F, γ V ; γ (α + β = γ α + γ β 5 לדוגמא: 2829 V = R n = {(x, x 2, x n n R, x,, x n R} (x,, x n + (y,, y n := (x + y,, x n + y n d (x,, x n := (αx,, αx n, α R טענה V 22 הוא מרחב וקטורי דוגמא נוספת: יהי F שדה כלשהוא V = {(x, x 2, x n, x,, x n F} (x,, x n + (y,, y n := (x + y,, x n + y n d (x,, x n := (αx,, αx n, α F טענה V 23 הוא מרחב וקטורי דוגמא שלישית: F = R, V = {(α, β, γ α + β + γ =, α, β, γ R} (α, β, γ + (α, β 2, γ 2 := (α + α 2, β + β 2, γ + γ 2 τ (α, β, γ := (τα, τβ, τγ, τ R 7 חמש אקסיומות אלו הן ההגדרה לחבורה אבלית 4

15 טענה 24 גם זהו מרחב וקטורי (מושאר לקורא הנמרץ בהמשך לדוגמא מעלה נניח שמגדירים פעולת כפל ב V בעזרת: (α, β, γ (α 2, β 2, γ 2 = (α α 2, β β 2, γ γ 2 אזי מתקיים גם = 2,α + β + γ = α 2 + β 2 + γ אבל לא נובע מזה כי!α α 2 + β β 2 + γ γ 2 לכן לא מגדירים פעולת כפל דוגמא רביעית: יהיה מרחב וקטורי P מעל שדה F כלשהוא, כאשר P היא קבוצת כל הפולינומים מעל השדה F במשתנה t פולינום במשתנה t מעל שדה F הוא ביטוי מהצורה: P n (t = a n t n + a n t n + + a ; a n,, a F כאשר פעולת החיבור מוגדרת בצורה הבאה: q m (t = b m t m + b m t m + + b, n m, a,, a n F, b,, b m F P n (t + q m (t = a n t n + a m t m + + (a m + b m t m + + (a + b α F, (α p n (t = αa n t n + αa n t n + + αa את פעולת הכפל בסקלר נגדיר בצורה הבאה: טענה P 25 הוא מרחב וקטורי דוגמא חמישית: V = {(x, x 2 x, x 2 R}, F = R (x, x 2 + (y, y 2 := (x + x 2, y + y 2 α (x, x 2 := ( α 2 x, α 2 x 2 ; α R טענה V 26 אינו מרחב וקטורי הוכחה: נראה כי דיסטריביוטיביות לא מתקיימת במקרה הזה (α + β (x, x 2 = ((α + β 2 x, (α + β 2 x 2 β (x, x 2 = ( β 2 x, β 2 x 2 α (x, x 2 = ( α 2 x, α 2 x 2 כלומר אין שיוויון, ולכן האקסיומה לא מתקיימת 5

16 דוגמא שישית: V = {(x, x 2 x F, x 2 F}, F is, the, field (x, x 2 + (y, y 2 := (x + x 2, y + y 2 α (x, x 2 : = (αx x 2, F ; α R טענה V 27 אינו מרחב וקטורי הוכחה: ניקח,α = F נראה כי F v v 2, F (x, x 2 = (x x 2, (x, x וסיימנו! דוגמא שביעית ואחרונה: V = R + = {x x R, x > }, F = R x y := x y α y := y α ; α R טענה V 28 הוא מרחב וקטורי! הוכחה: נוכיח את כל האקסיומות: חיבור: xy R + נוכל להסיק כי x, y > מכיוון ו x y = xy > x y = xy = yx = y x 2 x (y z = x yz = xyz = xy z = (x y z 3 x V = x V = x = x = x 4 x ( x = x = x 5 כפל: x α R נוכל להסיק כי x >, α ומכיוון ו R,α x = x α F x = x = x 2 α (β x = α x β = x αβ = (αβ x 3 (α + β x = x α+β = x α x β = α x + β x 4 α (x y = α xy = (xy α = x α y α = α x α y 5 22 תלות ואי תלות לינארית הגדרה 29 יהי V מרחב וקטורי מעל שדה F נאמר שקבוצה } k φ K = {v,, v כאשר v,, v k V היא תלויה לינארית, אם קיימים α,, α k F סקלרים כך שקיים לפחות α i אחד 8 עבורו i i k; α, עבורם α v + + α k v k = V 8 כלומר, לפחות אחד מהסקלרים אינו אפס 6

17 הערה 2 אם הקבוצה K כוללת את הוקטור, V אזי K תלויה לינארית מדוע? נגיד ש =,v אזי ניקח = n,α, α 2 = = α אזי מתקיים α v + + α k v k = V v v 2 v 3 {}}{{}}{{}}{ V = P ; K = t; t ( t; + t 2 דוגמא: 29 חיבור שלהם יתן אפס, ולכן הקבוצה K תלויה לינארית במרחב P הערה 2 נסמן הקבוצה הריקה {φ} היא בלתי תלויה לינארית (בת"ל הגדרה 22 יהי V מרחב וקטורי מעל שדה F קבוצה סופית φ K = {v,, v n } V היא בלתי תלויה לינארית אם מתקיים α =,, α n = α v,, α n v n = V = R 2, F = R v, v 2 = α v + α 2 v2 = V α דוגמא: נניח שהקבוצה } 2 K = { v, v תלויה לינארית, v = α2 α אזי v2 כלומר, שני הוקטורים הללו על אותו הישר נניח שהקבוצה } 2 K = { v, v היא בלתי תלויה לינארית אזי שני הוקטורים לא יהיו על אותו הישר V = R 3, F = R דוגמא: אזי } 3 K, v, v 2, v 3,K = { v, v 2, v תלויה לינארית אזי: α אזי: v + α 2v2 + α 3v3 =, α v = α2 α v2 α3 α v3 ואז הוקטורים v, v 2, v 3 על אותו המישור הגדרה 23 יהי V מרחב וקטורי מעל שדה F וקטור v V נקרא צירוף לינארי של וקטורים v,, v n אם מתקיים: α,, α n F, v = α v + + α n v n 7

18 משפט 24 יהי V מרחב וקטורי מעל שדה F תהי K V קבוצה סופית, K φ וכמו כן תהי K,K φ,k K קבוצה תלויה לינארית אזי K גם כן תלויה לינארית הוכחה: } k K = {v,, v מתקיים = k,α v + α 2 v α k v כאשר לא כל הסקלרים α,, α k הם אפס K = {u,, u n },K K קיימים u,, u k כך שמתקיים: u i = v,, u ik = v k נבחר סקלרים β,, β n כך שמתקיים:,β i = α,, β ik = α k ואחרים שווים לאפס אזי, יתקיים:,β u + + β n u n = V ולא כל β,, β n שווים לאפס, ולכן K תלויה לינארית (לפי ההגדרה משפט 25 יהי V מרחב וקטורי מעל שדה 9 F תהי v,, v n,{v,, v n } = K V שני התנאים הבאים שקולים: א קבוצה K היא תלויה לינארית ב קיים k n,k,2 כך שוקטור v k הוא צירוף לינארי של k v,, v הוכחה: ב' א': נניח ש k הוא המספר המינימלי שעבורו מתקיים: α v + + α k v k = 2 k n 2 3 k α,, α הם לא כולם אפס כמו כן ידוע כי k α מדוע k?α נניח בשלילה כי = k α אזי מתקיים: α v + + α k v k = k 2 α,, α לא כולם אפס אם k n 2 יש לנו סתירה, שהרי אז k אינו המינימלי המקיים את התנאים 3 לדוגמא: נניח = 2,k α 2 = אזי =, α = v,α v וזה לא יכול להיות לפי ההגדרה שלנו מ ומכך ש k α נובע: v k = α v α k α k α k v k 9 זהו משפט שסביר מאוד שיופיע במבחן לפי יבגני!! מעתה, כשנסמן n וקטורים הכוונה היא לקבוצה סופית 8

19 (פשוט העברנו אגפים וחילקנו ב α k כלומר vהוא k צירוף לינארי של k v,,, v כפי שרצינו ב' א': מתקיים k k n,v k = β v + + β k v,2 לכן הקבוצה } k {v,, v תלויה לינארית {v, v 2,, v k } K ולכן על פי 24 K היא קבוצה תלויה לינארית 23 בסיס, מימד והקשרים ביניהם 23 בסיס של מרחב וקטורי הגדרה 26 יהי V מרחב וקטורי מעל שדה F קבוצה B תקרא בסיס של המרחב הוקטורי V אם מתקיימים התנאים הבאים: B V 2 B היא קבוצה בלתי תלויה לינארית 3 כל וקטור v V הוא צירוף לינארי של הוקטורים מ B הגדרה 27 יהי V מרחב וקטורי מעל שדה F, ויהי B בסיס למרחב V אם B היא קבוצה סופית (בעל מספר סופי של וקטורים, V יקרא מרחב וקטורי בעל מימד סופי דוגמא: t מרחב הפולינומים במשתנה P P בסיס ל B = {, t, t 2, } B אינה קבוצה סופית, ולכן P אינו מרחב בעל מימד סופי דוגמא נוספת: מרחב וקטורי R},R n = {(x,, x n x R,, x n },,, (,,,, (,, ;, {(,, = B קבוצה בה n וקטורים, 429 ולכן R n הוא מרחב וקטורי בעל מימד סופי טענה 28 יהי V מרחב וקטורי בעל מימד סופי, B בסיס ל V, B = {v,, v n }, v = n k= α iv i, α F אזי v מגדיר את α,, α n באופן יחיד הוכחה: נניח בשלילה כי הטענה אינה נכונה v = n אזי גם i= β iv i, β i F V = n i= α iv i n i= β iv i = n i= (α i b i v i, V = (α β v + + (α n β n v n v,, v n היא קבוצה בלתי תלויה לינארית (כי קבוצה זו היא בסיס אזי = i α i β לכל i n אזי α i = β i לכל i n הערת הכותבת שימו לב שבעצם ההגדרה הזו שקולה לעובדה שבסיס הוא הקבוצה הבלתי תלויה לינארית הגדולה ביותר במרחב הוקטורי כל וקטור שיתווסף אליה יהיה תלוי לינארית באחרים 9

20 משפט 29 יהי V מרחב וקטורי בעל מימד סופי, U = {u,, u m } V קבוצה בלתי תלויה לינארית במקרה זה ניתן להשלים את U לבסיס ב V, כלומר קיימים,u m+,, u m+p V כך שהקבוצה } m+p {u,, u m, u m+,, u היא בסיס ל V הוכחה: יהי } n {v,, v בסיס במרחב V נגדיר } n S ( = {u,, u m, v,, v קבוצה זו היא תלויה לינארית 2 אזי, קיים i n כך שוקטור v i הוא צירוף לינארי של i 3 u,, u m, v,, v "נזרוק" את הוקטור הבעייתי ונקבל את הקבוצה } n S ( = {u,, u m, v,, v i, v i+, v אם ( S היא בלתי תלויה לינארית, אז המשפט הוכח, 4 וסיימנו אם לא נחזור על התהליך עד ש"ניפטר" מכל הוקטורים התלויים לינארית, עד שנקבל קבוצה בלתי תלויה לינארית למה 22 יהי V מרחב וקטורי בעל מימד סופי, 5 {v,, v n הוא צירוף לינארי של הוקטורים ב { V כל וקטור ב,S = {v,, v n } כמו כן, L,L = {u,, u m } V בלתי תלויה לינארית אזי n m הוכחה: תהי קבוצה } n S (m = {u m, v,, v קבוצה (m S היא תלויה לינארית, כי הרי u m הוא צ"ל של v,, v n אזי, קיים i n כך שוקטור v i הוא צ"ל של קודמיו נגדיר } n S (m = {u m, u m, v,,, v i, v i+,, v וקטור m u הוא צ"ל של וקטורים,v,, v n והוקטור v i הוא צ"ל של הוקטורים הקודמים לו, כלומר i,u m, v,, v לכן m u הוא צ"ל של הוקטורים 6 u m, v,, v i, v i+, v n ומכאן נובע כי ( m S תלויה לינארית כעת נעשה את אותו התהליך עבור ( m S כלומר מהתלות הלינארית אנו מסיקים כי קיים j i, j n כך שהוקטור v j הוא צירוף לינארי של קודמיו נגדיר } n S (m 2 = {u m 2, u m, u m, v,, v i, v i+, v j, v j+,, v מהתהליך שעשינו לפני כן, גם קבוצה זו ת"ל, 2 כל וקטור ב V הוא הרי צירוף לינארי של איברי הבסיס, כולל הוקטורים u,, u m 3 k k m,u אינו צירוף לינארי של קודמיו, כי הקבוצה m} {u,, u היא בלתי תלויה לינארית 4 שהרי כל וקטור במרחב הוא בעצם צירוף לינארי של v,, v n מצד שני v i הוא צירוף לינארי של i u,, u m, v,, v מכאן נובע שכל וקטור במרחב V הוא צירוף לינארי של וקטורים מקבוצה ( S 5 נשים לב שאין זה אומר ש S הוא בסיס, כי לא אמרנו דבר על תלות לינארית בין הוקטורים 6 מדוע? כאמור v i תלוי לינארית בוקטורים i u,m v,, v כלומר, נוכל "ליצור" אותו מהוקטורים הללו, ולכן נוכל להוריד אותו מהקבוצה של הוקטורים היוצרים את m u (איברי S, בצירוף, u m בו כאמור i v תלוי לינארית ההוכחה עד החלק הזה מראה שבעצם נוכל להחליף בין הוקטורים ולקבל קבוצה תלויה לינארית לכן, למרבה ההפתעה, חלק מהמרצים מלמדים את הטענה הזו כ"למת ההחלפה" העובדה כי n m מופיעה כמשפט נפרד ע"י מרצים אלו 2

21 וכן הלאה נניח בשלילה כי m > n כלומר, אם נמשיך עם התהליך, בסופו של דבר "נעיף" את כל הוקטורים v, i ונשאר עם הקבוצה } m S (k = {u k,, u לפי התהליך שראינו מעלה, זוהי קבוצה ת"ל אבל, הנחת הלמה היא שקבוצה זו בת"ל, לכן הגענו לסתירה! כלומר n, m כפי שרצינו להראות 829 משפט 22 יהי V מרחב וקטורי בעל מימד סופי, ויהי B = {v,, v n } V בסיס ב,V וגם } m B = {u,, u בסיס ב,V אזי,n = m כלומר בכל בסיס ב V ישנו אותו מספר איברים 7 דוגמא: R 2 = {(x, x 2 x, x 2 R} אזי יהיו: B = {(,, (, } B = {(,, (, } שני בסיסים שונים קל לראות כי הוקטורים בלתי תלויים לינארית הוכחה: מכיוון ו B בסיס, כל וקטור במרחב V הוא צירוף לינארי של הוקטורים מקבוצה B הקבוצה B בלתי תלויה לינארית מהלמה 22 שהוכחנו, n m באותה הצורה, מכיוון ו B בסיס, כל וקטור במרחב V הוא צירוף לינארי של הוקטורים מקבוצה B קבוצה B היא בלתי תלויה לינארית מהלמה 22 שהוכחנו, m n ולכן, בסה"כ m, = n כמתבקש 7 גם זה משפט מאוד קריטי שעלול להופיע במבחן! 2

22 232 מימד של מרחב וקטורי הגדרה 222 יהי V מרחב וקטורי מעל שדה F נגדיר את המימד של המרחב הוקטורי space (dimention of a vector להיות: אם,V = φ אזי = dimv 2 אם V בעל מימד סופי,,dimV = n כאשר n הוא מספר האיברים בבסיס של V 3 אם V אינו בעל מימד סופי, אזי = dimv טענה 223 יהי V מרחב וקטורי, > n dimv = n, U = {u,, u n+ } V אזי הקבוצה U תלויה לינארית הוכחה: נניח בשלילה כי הטענה אינה נכונה, כלומר U בלתי תלויה לינארית לפי המשפט 29 שהוכחנו, ניתן להשלים את U לבסיס B, כל שמספר האיברים ב B יהיה גדול מ + n זוהי סתירה להגדרת המימד! ולכן סיימנו משפט 224 יהי V מרחב וקטורי, dimv = n U = {u,, u n } V אזי שני התנאים הבאים הם שקולים: א U בסיס למרחב הוקטורי V ב U קבוצה בלתי תלויה לינארית הוכחה: א' => ב' לפי ההגדרה של הבסיס ב' => א' נניח בשלילה כי U אינה בסיס אזי לפי משפט 29, ניתן להשלים את U לבסיס עם מספר איברים < n, בסתירה להנחה כי!dimV = n 233 איזומורפיזם הגדרה 225 העתקה בין קבוצה A לקבוצה B, היא פעולה המעבירה איברים של A לאיברים של B 22

23 הגדרה T 226 היא העתקה חח"ע, אם: T (v T (v 2 v v 2 הגדרה T 227 היא העתקה על W, אם לכל w W קיים v V כך ש w T (v = הגדרה 228 יהיו,V W שני מרחבים וקטורים מעל אותו השדה F T (α v + α 2 v 2 = α T (v + α 2 T (v 2 תהי T העתקה מ V ל,W כלומר V T W אם T היא חח"ע ועל, ובנוסף, עבור כל,v, v 2 V,α, α 2 F אזי,V W יקראו מרחבים איזומורפיים, ו T נקרא איזומורפיזם בין V לבין W משפט 229 יהיו,V W מרחבים וקטוריים איזומורפיים בעלי מימד סופי V בסיס ל B = {v,, v n } בעל מימד סופי, ויהי V כמו כן תהי T העתקה V T W כאשר T איזומורפיזם אזי: W הוא בסיס ל T (B := {T (v,, T (v n } dimv = dimw 2 הוכחה: מספיק להראות שהקבוצה } n T (B = {T (v,, T (v היא בלתי תלויה לינארית ב W מדוע זה יספיק לנו? ניקח w W קיים v V כך שמתקיים (v w = T,v = α v + + α n v n כאמור בסיס, ולכן נוכל לכתוב v,, v n אזי מתקיים:,w = T (α v + + α n v n ומהתכונות של T הביטוי הזה שווה ל ( α T (v + + α n T (v n כלומר כל וקטור w W הוא צ"ל של הוקטורים n,t (v,, T (v וסיימנו W = β T (v + + β n T (v n נניח בשלילה כי הקבוצה } n {T (v,, T (v היא תלויה לינארית W = T (β v + + β n v n? β v + + β n v n = V אזי קיימים β,, β n כאשר לא כולם אפס, כך ש זה אומר שקבוצה } n {v,, v היא תלויה לינארית, אבל זו סתירה כי } n v},, v היא בסיס ב V, בסתירה 29 23

24 משפט 8 23 יהי V מרחב וקטורי בעל מימד סופי מעל שדה F כמו כן dimv = n אזי V איזומורפי למרחב וקטורי F} F n = {(x,, x n x,, x n הוכחה: ניקח בסיס ל B = {v,, v n } V לכן קיימים α,, α n סקלרים ב F כך ש v = α v + + α n v n נביט בהעתקה n V T F n,t (v = (α,, α נוכיח כי היא איזומופיזם, כלומר נוכיח את שלושת התנאים: T היא העתקה חד חד ערכית: נביט בוקטורים v = α v + + α n v n, u = β v + + β n v n,(α,, α n (β,, β n v u כי וקטור מגדיר איברים של שדה בצירוף לינארי באופן יחיד (V במרחב v = α v + + α n v n אזי קיים (α,, α n F n אם (כי F n היא העתקה על T 2 αv + βu = α (α v + + α n 3 נוכיח כי T מקיימת (u T (αv + βu = αt (v + βt ניקח שוב את הוקטורים,v u כפי שהם מופיעים מעלה כעת = α (α v + a n v n + β (β v + + β n v n = (αα + ββ v + + (αα n + ββ n v n T (αv + βu = (αα + ββ,, αα n + ββ n F n = α (α,, α n + β (β,, β n = αt (v + βt (u ולכן הוכחנו את כל התנאים, ולכן T איזומורפיזם 24 תת מרחבים הגדרה 23 יהי V מרחב וקטורי מעל שדה F Ω V אם לכל ω, ω 2 Ω ולכל α, β F מתקיים: αω + βω 2 Ω (כלומר מקיים סגירות וכפל בסקלר, אזי Ω נקרא תת מרחב של V טענה Ω 232 הוא מרחב וקטורי בעצמו הוכחה: מושארת כתרגיל טענה V Ω 233 הוכחה: נניח ש Ω ω אזי גם ω כעת, V עבור = β :α =, αω + βω = ω + ( ω = V Ω מסגירות לחיבור ולכפל בסקלר דוגמאות: 8 עוד משפט מאוד פופלרי שמופיע בבחינות, על פי יבגני 24

25 V הוא תת מרחב של המרחב הוקטורי V (של עצמו Ω = {v v = (α,, α n ; α,, α m = ; α,, α n R} Ω (t = {p (t p (t P (t, p (t = p ( t} 2 נניח ש n m נגדיר אזי Ω הוא תת מרחב של R n 3 גם הקבוצה הריקה φ היא תת מרחב F מעל שדה t הוא מרחב וקטורי של כל הפולינומים במשתנה P (t אזי ניתן לבדוק ולמצוא כי (t Ω הא תת מרחב של (t P ω d := {ω d I ω ω d } d I 4 הגדרה 234 יהיו,K I קבוצות ω d K כאשר {ω d } d I נביט ב נגדיר: I = {, 2}, K = R 2 דוגמא לסימונים מעלה: I = [ ] 2,, ω = { (x, y x 2 + y 2 d 2, x, y R } 2 משפט 235 יהי V מרחב וקטורי מעל שדה F,V אוסף תת המרחבים של {ω d } d I יהי כלומר, כל ω,, ω d V הוא תת מרחב של V לכל d I V הוא תת מרחב של Ω = ν I אזי ω d הוכחה: Ω היא תת קבוצה של V מהגדרתה תחילה, נשים לב כי כל תת מרחב וקטורי ω d כולל את V יהיו ω, ω 2 Ω אזי ω, ω 2 שייכים לכל d I, ω d לכן ω d הוא תת מרחב עבור כל d I לכן αω + βω 2 ω d עבור כל,d I, d ולכן,αω + βω 2 Ω וסיימנו (הוכחנו סגירות וכפל בסקלר

26 Span 24 הגדרה 236 יהי V מרחב וקטורי מעל F תהי קבוצה כלשהיא Ω, V Ω שכוללים את הקבוצה V אוסף כל תת המרחבים של ω} d } d V ויהי כלומר, d I Ω ω d I אזי, (Ω Span יוגדר להיות ω d V כולל את {ω d } d I הערה 237 האוסף הערה (Ω 238 Span הוא תת מרחב של V הערה 239 ניתן לומר כי (Ω Span הוא תת המרחב המינימלי הכולל את הקבוצה Ω משפט 24 יהי V מרחב וקטורי מעל שדה F, ותהי Ω V קבוצה נגדיר את K להיות קבוצה הבנויה מהצ"ל של הוקטורים מ Ω אזי Span (Ω = K דוגמא: V = R 3, Ω = {(,,, (,, } Span (Ω = {(x, y, x, y R} K = {x (,, + y (,, x, y R} משפט 24 יהי V מרחב וקטורי בעל מימד סופי מעל שדה F ותהי Ω קבוצה ב V תהי K הקבוצה של כל הצירופים הלינארים של וקטורים מ Ω, אזי Span (Ω = K הוכחה: נראה הכלה דו כיוונית: K הינו תת מרחב של V (מקיים סגירות לחיבור וכפל בסקלר כי הוא מכיל את כל הצ"ל, הכולל את הקבוצה Ω כמו כן (Ω Span הוא תת המרחב המינימלי הכולל את Ω, ולכן Span (Ω K מצד שני, (Ω Span הוא תת מרחב הכולל את Ω, לכן (Ω Span מכיל את את הצ"ל הבנויים מוקטורים של הקבוצה 9 Ω לכן Span (Ω K לכן בסה"כ משני הצדדים Span (Ω = K נסמן: 9 מההגדרה של תת מרחב, הוא מקיים סגירות לחיבור וכפל בסקלר כלומר כל הצ"ל נמצאים בו 26

27 הגדרה 242 d I ω d := {w k I w ω k } W W 2 = {w w W or W ω 2 } משפט 243 יהי V מרחב וקטורי, ויהיו W, W 2 V תתי מרחבים של V אזי כל וקטור מהקבוצה 2 Span (W W ניתן להצגה כ (2 w w ( + כאשר w ( W, w (2 W 2 הוכחה: לפי המשפט הקודם, 2 Span (ωw W היא קבוצה w = α w ( + + α m w ( n + β w (2 + + β k w (2 k w (,, w( m W, w (2 הבנויה מכל הצ"ל של הוקטורים מ W W 2 אם( w Span (W W 2 נוכל לרשום:,כאשר,, w(2 k W 2 W הוא תת מרחב, ולכן: w ( := α w ( + + α n w n W וכנ"ל עבור W2: w (2 := β w (2 + + β k w (2 k W 2 ולכן בסה"כ נוכל לרשום: w = w ( + w (2 ; w ( W, w (2 W 2 W + W 2 = Span (W W 2 סימון: יהיו W, W 2 שני תת מרחבים של V אזיL 242 המשלים של תת מרחב הגדרה 244 יהי V מרחב וקטורי כלשהוא, ויהיו,U W תת מרחבים של V נאמר כי U הוא המשלים של W ב V אם מתקיימים שני התנאים הבאים: U W = V V = Span (U W = U + W 2 27

28 דוגמאות: V = R 2 = {(x, x 2 x, x 2 R}, W = {(x, x R}, U = {(, y y R} W U = {(, } = { v } V = Span (W U W = {p (t p (t P (t, p (t = p ( t} U = {p (t p (t P (t, p (t = p (t} W U = {} Span (W U = P (t p (t P (t p (t = a 2n t 2n + a 2n t 2n + + a p (t = b 2m t 2m + b 2m 2 t 2m b t + b p (t = p (t + p (t p (t = a 2n t 2n + a 2n 2 t 2n a p = a 2n t 2n + + a t 2 יהי P (t = V מרחב כל הפולינומים במשתנה t מדוע האחרון מתקיים? כלומר, מעלה הראינו כי כל פולינום מורכב מאלמנט מ W ואלמנט מ U (פונקציה זוגית ואי זוגית כל פולינום שייך ל (,Span U W וכמו כן כל אלמנט של W Span U הוא פולינום מ ( t P אזי, W P (t = Spab (U 243 דיון נוסף בתת מרחבים משפט 245 יהי V מרחב וקטורי בעל מימד סופי, dimv = n יהי W תת מרחב של V אזי W הוא מרחב וקטורי בעל מימד סופי, ומתקיים dimw n הוכחה: אם } V W = { אזי = dimw מההגדרה, וסיימנו אחרת, נניח כי } V W { אזי, קיים וקטור v W, v v נגדיר } W = Span {v אם W = W המשפט הוכח שהרי אז = dimw אם,W W אז קיים,v 2 / W = Sp {v } v 2 W ולכןהקבוצה } 2 {v, v אינה תלויה לינארית 28

29 נגדיר } 2 W 2 = Span {v, v אם W = W 2 אז המשפט הוכח אם,W W 2 אז קיים,v 3 / W 2 v 2 W ונגדיר },W 3 = Span {v 3, v 2, v כאשר קבוצת הוקטורים היא בת"ל התהליך הזה יסתיים אחרי n צעדים, אחרת נקבל קבוצה } n+ {v, v 2,, v n, v שהיא בלתי תלויה לינארית, וזו סתירה לכך כי המימד של V הוא n 829 משפט 246 יהי V מ"ו בעל מימד סופי,,dimV = n יהי W V תת מרחב של dimw = m,v אזי קיים בסיס ב {w, w 2,, w m, v m+,, v n } V כך שהקבוצה } m {w,, w היא בסיס ב W הוכחה: } m {w,, w היא קבוצה בלתי תלוי הלינארית ב W ממשפט 29, ניתן להרחיב אותו לבסיס של V עולה השאלה: יהי W תת מרחב של V,V בעל מימד סופי, dimv = dimw = n האם יכול להיות ש V? W טענה V = W 247 הוכחה: נניח השלילה כי טענה אינה מתקיימת, כלומר V W אזי קיים וקטור v כך ש,v F וכמו כן v / W נניח שהקבוצה } n {w,, w היא בסיס ב W,{w,, w n } ועל כן אינו תלוי לינארית באיברי הבסיס,W אינו ב v לכן הקבוצה } v {w,, w n, אינה תלויה לינארית במרחב,V וזו סתירה לכך ש n dimv = (יש במרחב קבוצה בת"ל בגודל + n 244 משפט המימדים משפט 248 יהי V מ"ו 2 יהיו,N M תת מרחבים של V בעלי מימד סופי dim (M + N = dimm + dimn dim (M N כאשר לפי ההגדרה N M + N = sp (M 2 לא משנה אם V הוא בעל מימד סופי או אינסופי 29

30 הוכחה: N M הוא תת מרחב בעל מימד סופי (ממשפט קודם נניח כי הקבוצה } k {z,, z הוא בסיס של N M אזי, על פי משפט 29 קיים בסיס }, k {x,, x m, z,, z לת"מ, 2 M וכמו כן, קיים } k {y,, y n, z,, z בסיס לת"מ N תחילה, נוכיח כי sp {x,, x m } N = F נניח בשלילה כי,sp {x,, x m } N F אזי קיים וקטור } m F v sp {x,, x כך ש: v sp {x,, x m } N M N v M N מהגדרתו,,v = α x + + α m x m כאשר α,, α m הם סקלרים בשדה כך שלא כולם בנוסף מכיוון ו N,v = β z,, +β k z k,v M כאשר β,, β k הם סקלרים בשדה כך שלא כולם נחסר את שני הביטויים ונקבל: V = α x + + α m x m β z β k z k אזי הקבוצה } k {x,, x m, z,, z היא תלויה לינארית, וזו סתירה כי הקבוצה הזו היא בסיס של M כעת, נוכיח כי הקבוצה } n {x,, x m, z,, z k, y,, y היא קבוצה בת"ל נניח כי מתקיים עבור סקלרים כלשהם: V = α x + + α m x m + β z + + β k z k + γ y + + γ n y n נעביר אגפים ונקבל: α x α m x m = β z + + β k z k + γ y + + γ n y n כעת, צד שמאל הוא ב { sp {x,, x m כמו כן, צד ימין הוא ב N לכן, מכיוון והוכחנו כי,sp {x,, x m } N = F נקבל: V = α x + + α m x m β z + + β k z k + γ y + + γ n y n = V לכן, מכיוון ושתי הקבוצות הם צ"ל של בסיסים, נקבל כי = m,α,, α וכמו כן = n β,, β k, γ,, γ כלומר, קיבלנו כי הקבוצה } n {x,, x m, z,, z k, y,, y בת"ל, ומכילה את הבסיסים מ M ו N, ולכן היא בסיס ל ( N sp N + (M = sp M ולכן, לבסוף: dim (M + N = m + k + n = (m + k + (n + k k = dimm + dimn dim (N M 3

31 25 תרגולים 929 תרגול הגדרה 249 יהי F שדה קבוצה V נקראת מ"ו מעל F אם: א ב V מוגדרת פעולה שנסמנה ב + המקיימת: קשירות, קומוטטיביות, אסוציאטיביות, קיום איבר נייטרלי לחיבור שיסומן V ולכל איבר קיים איבר נגדי ב לכל a F ו v V מוגדר איבר יחיד של V, המסומן ב v a ונקרא המכפלה של a ב v המקיימים: a F, v, u V a (v + u = a u + a v a, b F, v V (a + b v = av + bv 2 F v = v 3 איברי F נקראים סקלרים איברי V נקראים וקטורים לא מוגדר כפל בין וקטורים דוגמאות: נתון שדה F נגדיר: } F F n = {(a,, a n a,, a n איברים אלו נקראים " n יות", ונשים לב כי יש חשיבות לסדר! נגדיר פעולות חיבור וכפל: (a,, a n + (b,, b n = (a + b,, a n + b n a (a,, a n = (aa,, aa n תחילה, קצת על פונקציות: יהיו,A B קבוצות פונקציה f : A B היא התאמה שמתאימה לכל איבר של A איבר יחיד ב B f הטווח של נקראת ו B f, נקראת תחום ההגדרה של A,g : R R x x, 2 g (x = x = 2 x = נסמן ב ( B F un,a את כל הפונקציות מ A ל B כמו כן, g = h אמ"מ (a a A g (a = h נתון שדה F נתונה קבוצה V = F un (A, F,A φ למשל: A = {x, y}, F = Z 2 אזי = (y f (x =, f (y = f 2 (x =, f 2 (y =, f 3 (x = f 3, f 4 =, f 4 (y = F un (A, Z 2 = {f, f 2, f 3, f 4 } 2 בהנתן F,g, h F un (A, 2 כאשר N M N, N M N 3

32 a A (g + h (a = g (a + h (a F נרצה להגדיר את g + h באופן הבא: נרצה להגדיר את c g באופן הבא: (c g (a = c g (a אזי במקרה שלנו: (f 2 + f 3 (x = f 2 (x + f 3 (x = + = = f 4 (x (f 2 + f 3 (y = f 2 (y + f 3 (y = + = = f 4 (y לא בדקנו שזהו אכן מרחב וקטורי קל להוכיח זאת: a A f (a = 3 יהי L שדה, ויהי F L תת שדה F הוא מרחב וקטורי מעל L החיבור הוא החיבור הרגיל ב L גם הכפל הוא הכפל הרגיל ב L, שמצומצם למכפלות מהצורה a v כאשר a,f v L טענה 25 יהי F שדה, ויהי V מרחב וקטורי מעל F אזי v V, F v = V הוכחה: F v = ( F + F v = F v + F v נחבר (v F לשני האגפים ונקבל: F v + ( ( F v = ( F v F v = ( F v ואז צד שמאל שווה ל, V צד ימין שווה ל F v + V = F V טענה ( F v = v 25 הוכחה: בתרגיל תתי מרחבים הגדרה 252 יהי V מ"ו קבוצה φ U V תקרא תת מרחב של V אם היא מקיימת את האקסיומות של מ"ו מעל F, כאשר הפעולות הן אותן הפעולות של V מסקנה 253 אם U הוא תת מרחב, אז הוא סגור לחיבור ולכפל בסקלר (מאקסיומת הקשירות טענה 254 יהי V מרחב וקטורי U V קבוצה אזי U תת מרחב אם ורק אם U קבוצה לא ריקה, סגורה לחיבור ולכפל בסקלר 32

33 הוכחה: נשים לב כי הוכחה זו לא מלאה, לקורא החרוץ נשארת המשימה להשלמה כיוון ברור נוכיח את קשירות לחיבור נתונה קומוטטיביות ואסוציאטיביות ישירות מההגדרה קיום איבר נייטרלי לחיבור נבחר u U מסגירות לכפל בסקלר הנתונה לנו: V = F u U כאשר השיוויון השמאלי מהטענה 25 קיום איבר נגדי יהי u U אזי מסגירות לכפל בסקלר ומהטענה 25: u = ( F u U האקסיומות של הכפל מתקיימות מיידית דוגמאות לתתי מרחבים: יהי V מרחב וקטורי {},V הם תתי מרחבים 2 יהי } = z (x, y, z R 3 3x 2y + {, תת מרחב של R 3 3 לא תת מרחב } = z W = { (x, y, z R 3 3x 2y + מדוע? (x, y, z, (x 2, y 2, z 2 W 3x 2y + z =, 3x 2 2y 2 + z 2 = (x, y, z + (x 2, y 2, z 2 n? W 2!(= 2 (x + x 2 2 (y + y 2 + (z + z,3 ולכן אין סגירות לחיבור 4 לא תת מרחב } = 2 + (x (x, y, z R 3 (x { לדוגמא / W (3,, = (2,, + (,, 5 F Uנוכיח = {f F un (A, F b B f (b = },φ B A,V = F un (A, כי זהו תת מרחב! f, f 2 U (f + f 2 (b = f (b + f 2 (b = F + F = F סגירות לחיבור c F, (cf (b = c (f (b = c F = F סגירות לכפל בסקלר W, W 2 תת מרחבים האם W W 2 הוא תת מרחב? כן! הקבוצה אינה ריקה כי האפס בטוח נמצא בה סגירות לחיבור וכפל בסקלר גם מתקיימים (שוב מושאר לקורא החרוץ האם W W 2 הוא תת מרחב? לא! לא בהכרח יש סגירות לחיבור 629 תרגול מרחב הפולינומים יהי F שדה הגדרה [x] 255 F n מרחב הפולינומים ממעלה לכל היותר = n אוסף כל הביטויים הפורמליים מהצורה a n x n + a n x n + + a x + a = a i x i i= כאשר a i F לכל i n שני פולינומים ב [x] F n הם שווים אם כל המקדמים שווים הדרגה/מעלה של פולינום [x] f F n מסומנת ב ( f,deg והיא שווה ל i המקסימלי עבורו i a ( deg = או 33

34 פעולת החיבור תוגדר כך: a i x i + b i x i = (a i + b i x i i= i= i= פעולת הכפל בסקלר תוגדר כך: ( n c a i x i = ca i x i i= i= איבר האפס: x i i= אם [x] f F n נוכל לחשוב עליו גם כפולינום ב [ x ] F: +n f (x = a i x i i= f (x = x n+ + a n x n + + a x + a דהיינו [x] F n [x] F n+ הגדרה 256 נגדיר את מרחב הפולינומים: F [x] = n=f n [x] בכל פולינומים המקדמים מתאפסים החל ממקום מסויים אם [x] f, g F אז קיימים n, m כך ש [ x ] f F n [x], g F m נניח,n m אז [x],f, g F m ונחבר את f ו g ב [ x ] F m כל פולינום הוא פונקציה מ F ל F הערה 257 אזהרה! שני פולינומים שונים יכולים להגדיר את אותה הפונקציה לדוגמא: F, = Z 2 ונגדיר את שני הפולינומים הבאים: f (x = x 2 + x, g (x = נשים לב כי,f g שונים כפולינומים אבל, הם מגדירים את אותה הפונקציה Z 2 Z 2 Span הגדרה 258 יהי V מ"ו { n } תהי A V תת קבוצה sp (A = i= a i v i n N, a i F, v i A 34

35 אוסף כל הצירופים הלינאריים (הסופיים של איברים מ A כמו כן, נגדיר: sp (φ = {} נזכיר בקצרה מספר טענות שהוכחו בכיתה: A המכיל את V הוא תת מרחב של sp (A זהו תת מרחב המינימלי המכיל את A, כלומר אם U תת מרחב ו U,A אזי sp (A U sp (v,, v n = sp (av, v 2,, v n טענה 259 יהיו,v,, v n V ויהי {} F/ a, אזי הוכחה: נוכיח הכלה דו כיוונית נתחיל ב : sp (av, v 2,, v n c av + c 2 v c n v n אבל בוודאי מתקיים : 22 sp (v, v 2,, v n c av + c 2 v c n v n נוכיח : c v + c 2 v c n v n sp (v,, v n = c a av + c 2 v c n v n וזה בוודאי איבר ב ( sp (av, v 2,, v n טענה 26 יהי Vמ"ו, ויהיו,A B V תת קבוצות אם (B A sp וגם (A B sp אז (B sp (A = sp הוכחה: (B sp (A, sp הם התת מרחבים המינימליים המכילים את,A B בהתאמה sp (A sp (B ולכן A sp (B sp (B sp (A ולכן B sp (A ומשתי ההכלות בסה"כ נקבל שיוויון 22 פשוט נבחר את הסקלר של v להיות c a 35

36 x y? sp 6 5, z 6x + 5y + z = 5x + 3y = 2x + 4y =, תרגיל: ב,R 3 האם למעשה, אנו שואלים אם קיימים,x,y,z R כך ש: = כלומר קיבלנו את מערכת המשוואות הבאה: נשים לב שכאן אין חשיבות ליחידות הפתרון תלות לינארית הגדרה 26 יהי V מ"ו מעל שדה F יהיו v,, v n V v,, v n יקראו תלויים לינארית (ת"ל אם קיימים סקלרים,a, a n F לא כולם אפס, המקיימים: a i v u = i= משפט 262 יהי V מ"ו, v,, v n V אזי v,, v n ת"ל אמ"מ אחר מהם הוא צירוף לינארי של האחרים משפט 263 יהי V מ"ו,, v,, v n V v,, v n ת"ל אמ"מ אחד מהם הוא צ"ל של קודמיו אם רוצים להוכיח ש v,, v n הם בת"ל, אז מראים: a i v i = a = a 2 = = a n = i= φ היא בת"ל טענה 264 יהי V מ"ו, a F,v,, v n V אזי v,, v n ת"ל אמ"מ av, v 2,, v n ת"ל 36

37 הוכחה: n v,, v ת"ל, כלומר קיים צ"ל לא טריוויאלי ששוה : c i v i = c a av + c 2 v c n v n i= c av + c 2 v c n v n = c i עבור c i כאשר n i= c iv i = נשים לב כי: וזהו צ"ל לא טריוויאלי כי אם 2 i אז ברור, ואם = i אז a c a n av, v 2, v ת"ל אזי קיים צ"ל לא טריוויאלי ששווה : וקיים i n כך ש i c זהו גם צ"ל לא טריוויאלי של v,, v n כי: אם i 2 אז ברור, ואם i אז a c תרגיל: ת"ל? 6 5 2, 5 3 4, האם שוב נכתוב משוואה ונשווה אותה ל אם יש למשוואה פתרון לא טריוויאלי אז הם תלויים לינארית אם הפתרון היחיד הוא = z x = y = אז הם בלתי תלויים לינארית 329 תרגול עוד קצת על הנושא הקודם: תרגיל יהי F שדה, V מ"ו מעל F נניח שקיימים תתי מרחבים ממש V,, V m V כך ש m i= V i = V אזי F שדה סופי הוכחה נניח תחילה כי V m i=2 V i נבחר,v V / m i= V i ו v 2 V/V נביט בקבוצה F} T = {v 2 + av a נראה כי מספר האיברים ב F שווה למספר האיברים ב T נתבונן בהעתקה: f : F T f (a = v 2 + av 37

38 f היא בוודאי על, מהגדרתה נראה ש f חח"ע נניח (b f (a = f אזי: v 2 + av = v 2 + bv av = bv (a b v = v לכן = b a ולכן a = b לכן, מספיק להוכיח כי T סופית T = T V = T ( m i=v i = m i= (T V i T V = φ מדוע? אם w T V אז: w = v 2 + av V v 2 + αv = v v 2 = v αv V והגענו לסתירה נראה שלכל i m 2 מתקיים i T (כאשר V ה משמעו מספר האיברים נניח בשלילה כי w, w 2 T V i אזי: w = v 2 + av V i w 2 = v 2 + bv V i V i w w 2 = (a b v אם a b אז נקבל: v = w + w 2 a b V V i בסתירה להגדרת V קיבלנו כי T סופית, ולכן F סופית, ו m F ללא ההנחה הנוספת ההוכחה באינדוקציה על m: אם = m אין מה להוכיח, כי לא ייתכן גם V V וגם V = V נניח כי > m וכי הטענה הוכחה לטבעיים קטנים יותר אם,V m i=2 V i אזי קבוצות V 2,, V m מקיימות, m i=2 V i = V ולכן נוכל להשתמש בהנחת האינדוקציה לגביהן ואם V m i=2 V i אז הוכחנו כבר 38

39 3 המטריצה 3 העתקות לינאריות הגדרה 3 יהיו,V W מרחבים וקטוריים מעל אותו שדה F 2229 A V, A W תקרא העתקה לינארית מ V ל W, אם יתקיימו שני התנאים הבאים : 23 v, v 2 V, v v 2 Av Av 2 v, v 2 V, α, α 2 F A (α v + α 2 v 2 = α Av + α 2 Av 2 דוגמאות: R 2 = {(x, y x R, y R}, V = R 2, W = R 2 A (x, y = (y, x =Av (y, x (y =Av v v 2 2, x 2 (x, y (x 2, y 2 A (α (x, y + α 2 (x 2, y 2 = A (α x + α 2 x 2, α y + α 2 y 2 = (α y + α 2 y 2, α x + α 2 x 2 = α (y, x + α 2 (y 2, x 2 = α A (x, y + α 2 A (x 2, y 2 כלומר, הוכחנו את כל התנאים, ולכן A היא העתקה לינארית A (x, y = ( x 2, y 2 2 נטען כי A אינה העתקה לינארית! נוכיח זאת: A (α (x, y + α 2 (x 2, y 2 = ((α x + α 2 x 2 2, (α y + α 2 y 2 2 = α 2 ( x 2, y 2 + α 2 2 ( x 2 2, y α α 2 (x x 2, y y 2 ומצד שני: ( α A (x y + α 2 A (x 2, y 2 = α x 2, y 2 ( + α2 x 2 2, y2 2 קל לראות כי אין שיוויון בין שני הביטויים, ועל כן אין זו העתקה לינארית! 23 הגדרה 32 ישנו גם קריטריון שקול שנלמד בשנים אחרות בכל מקרה, המטרה היא להראות כי סגירות לחיבור וכפל בסקלר נשמרת, וכמו כן כי ההעתקה היא חד ערכית (לא חד חד ערכית שני דברים שונים לגמרי" 39

40 V = R 2, W = R 2 A (x, y = (e x, e y גם זו אינה העתקה לינארית!,t הוא מרחב כל הפולינומים במשתנה P (t כאשר,V = P (t 4 P (t = { a n t n + a n t n + + a t + a n, a n, a n,, a R } D ( a n t n + a n t n + + a = an nt n + a n (n t n + + a D a j t j = a j jt j j= j= דהיינו, D היא העתקת הגזירה והיא אכן העתקה לינארית נראה דוגמאות: p (t = 2t 2 + 3t +, p 2 (t = 4t + 2 5p (t = t 2 + 5t + 5, 2p 2 (t = 8t + 4 D (5p (t + 2p 2 (t? = 5Dp (t + 2Dp 2 (t D ( t t + 9? = 5 (4t t + 23 = 2t V = W = P (t 5 I a j t j = j= j= a j j + tj+ הפעם נביט בהעתקת האינטגרציה: m I α a j t j + β b k t k, n m : j= k= m I (αa j + βb j t j + j= j=m+ = a m j αa j + βb j j + tj+ = t j+ + j + j= j= ( m αi a j t j + βi b k t k = j= k= αa j t j = I A j t j ; A j = j= j= j=m+ αa j j + tj+ + αa j j + tj+ m k= βb k k + tk+ זוהי גם העתקה לינארית! נוכיח: { αa j + βb j αa j j m m < j n וקיבלנו שיוויון, כמתבקש 6 V = R 2, W = R 2 A (x, y = (x + y, x y בהגדרות אלה, A היא העתקה לינארית 4

41 hom F (V, W 3 הגדרה 33 יהיו,V W מרחבים וקטורים מעל אותו שדה F אזי קבוצת כל ההעתקות הלינאריות ממ"ו V למ"ו W יסומנו ב ( hom F,V W משפט 34 יהיו W A, B hom F (V, נגדיר את הפעולות הבאות על W :hom F,V v V (A + B v := Av + Bv v V ( A v := Av α F, V (αa v = αav V v V, ˆ v = w עם הפעולות הללו, W hom F,V מהווה מרחב וקטורי מעל F הוכחה: נבדוק שאם W :A + B hom F (V, W A, B hom F (V, (A + B (α v + α 2 v 2 = A (α v + α 2 v 2 + B (α v + α 2 v 2 = α Av + α 2 Av 2 + α Bv + α 2 Bv 2 = α (Av + Bv + α 2 (Av 2 + Bv 2 = α (A + B v + α 2 (A + B v 2 הוכחנו סגירות לחיבור ולכפל בסקלר, ולכן A + B היא העתקה לינארית כעת: (A + B v (A + B v 2 Av + Bv 2 Av 2 + Bv 2? v v 2 נניח שזה לא נכון, אזי: v = v 2 Av = Av 2, Bv = Bv 2 Av + Bv = Av 2 + Bv 2 את שאר האקסיומות ניתן להוכיח בקלות 32 המטריצה הגדרות בסיסיות הגדרה 35 יהיו,V W מ"ו מעל שדה F בעלי מימד סופי, ונסמן dimv = n, dimw = m כמו כן, נבחר } n {v,, v בסיס ב,V ו { {w,, w m בסיס ב W תהי W A hom F (V, Av = a w + a 2 w a m w m Av 2 = a 2 w + a 22 w a 2m w m Av n = a n w + a n2 w a nm w m 4

42 [A] = Av = a w + a 2 w a m w m Av 2 = a 2 w + a 22 w a 2m w m Av n = a n w + a n2 w a nm w m כאשר i n, j m, a ij F אזי אוסף זה יקרא המטריצה של העתקה A דוגמאות: V = R 2 = W A (x, y = (y, x Av = A (, = (, = (, + (, Av 2 = A (, = (, = (, + (, ( [A] = ונבחר את הבסיסים שלהם להיות {(,, (,} 2 V = R 2 = W A (x, y = (x + y, x y A (, = ( +, = (, = (, + (, A (, = ( +, = (, = (, (, ( [A] =

43 n V = P n (t = p (t p (t = W = P n (t {, t, t 2,, t n} basis in V {, t, t 2,, t n } basis in W 3 מרחב הפולינומים והעתקת הגזירה: α j t j, α j R j= = D = + t + t t n = Dt = + t + + t n 2t = Dt 2 = + 2t + t t n nt n = Dt n = + t + t nt n 2 [D] = n V = P n (t, W = P n+ (t ( n I d k t k d k = k + tk+ k= k= {, t, t 2,, t n} basis in V {, t, t 2,, t n+} basis in W t = I = + t + t t n+ t 2 2 = It = + t + 2 t2 + + t n+ כאשר יש + n שורות ו n עמודות 4 מרחב הפולינומים והעתקת האינטגרציה: t 3 3 = It2 = + t + t t3 + + t n+ t n+ n + = Itn = + t + t n + tn+ 2 [I] = 3 n+ כאשר מספר השורות הוא + n ומספר עמודות הוא + 2 n 43

44 M n m (F = הגדרה 36 נרצה להפוך כל מטריצות מסוג זה: a a m, a ij F a n a nm למרחב וקטורי אזי, ניקח מטריצות ונגדיר עליהן פעולות חיבור וכפל בסקלר: [A], [B] M n m (F [A] = (a ij i n, [B] = (b ij j m a + b a 2 + b 2 a m + b m a 2 + b 2 a 22 + b 22 a 2m + b 2m [A] + [B] = a n + b n a n2 + b n2 a nm + b nm αa αa 2 αa m αa 2 αa 22 αa 2m α F, α [A] = αa n αa n2 αa nm [] = משפט (F 37 M n m מרחב וקטורי, וכמו כן dim (M n m (F = n m הוכחה: החלק הראשון של המשפט הוא פשוט הוכחת אקסיומות המ"ו i n, j m, e ij = הושאר כתרגיל (לא מסובך נוכיח את החלק השני: נגדיר: α ij F, i= j= כלומר, הכל אפסים מלבד במקום ה ij, בו יש אחד (נקרא גם בסיס שבלייה α m α m α ij e ij = α n α nm M n m היא בסיס ב ( F {e ij } i n, j m נוכיח כי הקבוצה = α ij ; i, j משפט 38 יהיו,V W מרחבים וקטוריים מעל F dimv = n, dimw = m 44

45 µ (αa + βb = αµ (A + βµ (B Av = Ãv = נגדיר העתקה,Hom F (V, W µ M n m (F :µ A Hom F (V, W, µ (A := [A] אזי, µ היא איזומורפיזם, כלומר היא חח"ע ועל הוכחה: נוכיח תחילה כי ההעתקה היא חח"ע: נניח בשלילה כי קיימים, Aכך Ã ש A, Ã [Ã] אבל = [A] יהי } n {v,, v בסיס ב,V ו { {w,, w m בסיס ב W v = n אזי: ניקח v, V אזי הוא צ"ל של איברים הבסיס =j α jv j α j Av j = j= α j Ãv j = j= j= j= α j α j m k= m k= a jk w k a jk w k Av = Ãv, w V A = Ã j= Av k = כפי שרצינו כעת, נוכיח כי ההעתקה היא על: תהי (F [A] M n m נגדיר העתקה A ע"י התנאי: m a kj w j j= ניתן לבדוק כי כל A כנ"ל היא העתקה לינארית, מושאר כתרגיל [A] = (a kj, [B] = (b kj m m m (αa + βb v k = αav k + βbv k = α a kj w j + β b kj w j = (αa kj + βb kj w j j= j= כעת, נוכיח כי µ היא לינארית: [αa + βb] = (αa kj + βb kj = αa + βb αa m + βb m a b αa m b b m = α + β αa n + βb n αa nm + βb nm a n a nm b n b nm = α [A] + β [B] כלומר, הוכחנו כי µ היא לינארית מסקנה ישירה מכך היא כי µ היא על, כנדרש (כי המימדים זהים dim (Hom F (V, W = n m מסקנה 39 45

46 33 גרעין ודמות של העתקות לינאריות Image, Kernal תהי W A Hom F (V, אזי הגדרה 3 הדמות של ההעתקה לינארית יוגדר להיות: ImA = {w w W, Av = w v V } KerA = {v v V, Av = W } הגדרה 3 הגרעיון של ההעתקה לינארית יוגדר להיות: דוגמא: V = P 5 (t = { a 5 t 5 + a 4 t a t + a, a 5,, a R } W = P 5 (t D dif f rention operator Im (D = P 4 (t Ker (D = the set of constant polynomials כלומר, העתקת הגזירה הקרנל יהיה כל הפולינומים הקבועים (שהרי גזירה של פולינום קבוע תהיה אלו בעצם מספרים קבועים דוגמא נוספת: V = R 2 = W A (x, y = (x + y, x y ImA = R 2 KerA = {(x, y x + y =, x y = } = {(, } 2929 משפט 32 תהי A העתקה לינארית ממ"ו V למ"ו W, כאשר: ImA = {w w W, w = Av} KerA = {v a V, Av = W } אזי, ImA הוא תת מרחב של W, וכמו כן, KerA הוא תת מרחב של V הוכחה: נזכור כי על מנת להוכיח כי קבוצה היא תת מרחב, עלינו להראות כי הקבוצה אינה ריקה, וכמו כן כי מתקיימת סגירות לחיבור ולכפל בסקלר כעת: 46

47 ,(A V = W (כי מתקיים W ImA לכן הקבוצה ImA אינה ריקה בנוסף, w, w 2 ImA w = Av, w 2 = Av 2 α w + α 2 w 2 = α Av + α 2 Av 2 = A (a v + α 2 v 2 כאשר המעבר האחרון נובע מכך ש A היא העתקה לינארית α v + α 2 v 2 = Av α w + α 2 w 2 ImA כלומר, קיים וקטור v = α v + α 2 v 2 V כך ש: ולכן ImA הוא תת מרחב של W נוכיח כי KerA הוא תת מרחב של V: תחילה, נשים לב כי KerA אינה קבוצה ריקה, כי (A V = W V KerA כעת, ניקח,v, v 2 KerA אזי: A (α v + α 2 v 2 = α Av + α 2 Av 2 = α W + α 2 W W α v + α 2 v 2 KerA וזה הכל משפט 33 יהיו,V W מרחבים וקטורים מעל F, וכמו כן A : V A W העתקה לינארית אזי שני התנאים הבאים הם שקולים: א } V KerA = { ב העתקה A היא העתקה חד חד ערכית הוכחה: א' ב': נרצה להוכיח:? v, v 2 V, Av = Av 2 v = v 2 אזי, ניקח שני וקטורים כלשהם המקיימים A (v v 2 = W לכן: v v 2 KerA v v 2 = V v = v 2 ב' א': נניח כי A העתקה חד חד ערכית אזי, אם Av = W, A V = W v = V v KerA v = V KerA = { V } וזהו 47

48 משפט 34 יהיו,V W מרחבים וקטורים מעל F, וכמו כן A : V A W העתקה לינארית,KerA = { V } וכמו כן {v,, v n } V קבוצה בלתי תלויה לינארית אזי הקבוצה } n {Av,, Av גם היא בלתי תלויה לינארית α Av + α 2 Av α n Av n = W A (α v + α 2 v α n v n = W α v + α 2 v α n v n KerA α v + α 2 v α n v n = V α = α 2 = = α n = הוכחה: וזהו 33 משפט המימדים 2 משפט יהיו,V W מרחבים וקטורים מעל F,,dimV = n, n וכמו כן A : V A W העתקה לינארית אזי, ImA, KerA הם מרחבים וקטורים בעלי מימד סופי יתרה מזו, dimv = dimkera + dimima הוכחה: ממשפט קודם, V, הוא תת מרחב של KerA שהוא מ"ו בעל מימד n, ולכן dimkera n נבחר בסיס ל KerA } m {v,, v אזי ממשפט קודם,29 ניתן להשלים אותו לבסיס } n {v,, v m v m+,, v של V w ImA w = Av, v = α i v i i= מספיק להראות כי הקבוצה } n {Av m+,, Av היא בסיס של ImA ( n ( m w = A α i v i = A α i v i + = i= m α i Av i + i= } {{ } = W i=m+ i= α i Av i i=m+ α i v i 24 עוד משפט בעל סיכוי גבוה להופיע במבחן 48

49 אם,w ImA אזי w הוא צ"ל של וקטורי Av m+, A m+2,, Av n נביט ב { {Av m+, Av m+2, Av n נוכיח כי היא בת"ל β m+ Av m+ + β m+2 Av m β n Av n = W A (β m+ v m+ + + β n v n = W β m+ v m+ + + β n v n KerA לכן נוכל לבטא את האיבר הזה כצ"ל של איברי הבסיס המקורי של :KerA β m+ v m+ + + β n v n = γ v + + γ m v m β m+ v m+ + + β n v n γ v γ m v m = V β m+ = = β n = γ = = γ m = כאשר הגרירה אחרונה נובעת מכך שהקבוצה היא בת"ל (צ"ל של איברי הבסיס של V, לכן הקבוצה } n {Av m+,, Av היא בת"ל, והנוסחא נכונה מסקנה 36 יהי V מ"ו בכל מימד סופי, וכמו כן A : V A W העתקה לינארית אזי שני התנאים הבאים שקולים: א A היא חד חד ערכית ב dimima = dimv דוגמאות: A : R 3 R A (x, y, z = 3x + 2y + z נשאל מהו?dimKerA dimima לכם =,ImA {} וכמו כן,R הוא תת מרחב של ImA dimr 3 = 3 3 = dimima + dimkera dimkera = 2 2 A : R 3 R 2 P rojection OperatorA (x, y, z = (x, y V = R 3, dimv = 3 KerA = {(,, z z R} dimkera = dimima =

50 34 כפל (הרכבה של העתקות לינאריות הגדרה 37 יהיו, Vמ"ו,W U מעל שדה F, ויהיו V B W A U העתקות לינאריות אזי ההעתקה C = A B V C U תוגדר כך: Cv = (A B v = A (Bv ותקרא כפל של של ההעתקות הלינאריות A ו B משפט C 38 היא העתקה לינארית הוכחה: נוכיח את האקסיומות: C (α v + α 2 v 2 = A B (α v + α 2 v 2 = A (B (α v + α 2 v 2 = A (α Bv + α 2 Bv 2 = α A (Bv + α 2 A (Bv 2 = α Cv + α 2 Cv 2 (A B v (A B v 2? v v 2 (A B v (A B v 2 A (Bv A (Bv 2 A Linear Bv Bv 2 B Linear v v 2 משפט 39 יהיו,V,W U מ"ו מעל שדה F, וכמו כן dimv = m; dimw = n; dimu = k בנוסף ניקח } n {v,, v בסיס ל,V,W בסיס ל {w,, w m } בסיס ל U {u,, u k } יהיו V B W A U העתקות לינאריות, ו U C = A B V C 5

51 Bv = b w + b 2 w b n w m Bv 2 = b 2 w + b 22 w b n2 w m Bv n = b n w + b 2n w b nm w m b b 2 b n [B] = m n b m b m2 b mn Aw = a u + a 2 u a k u k Aw 2 = a 2 u + a 22 u a k2 u k Aw m = a m u + a 2m u a km u k a a 2 a m [A] = k m a k a k2 b km Cv = c u + c 2 u c k u k Cv 2 = c 2 u + c 22 u c k2 u k Cv n = c n u + c 2n u c kn u k c c 2 c n [C] = k n c k c k2 c kn אזי, מתקיים: m c ij = a il b lj i k, j n l= הוכחה: k cv j = c ij u i i= m m m cv j = A (Bv j = A b lj w l = b lj Aw l = k c ij u i = l= i= i= l= ( k m a il b ij u i b lj l= l= i= k a il u i 5

52 [A] = [B] = a a m a 2 a 2m k m a k a km b b n a 2 b 2n m n a m b mn הגדרה 32 מטריצה [ C ]מסדר k n נקראת כפל של A ו B, כלומר [B],[C] = [A] אם מתקיים m c ij = a il b lj i k j n l= 34 חוק האסוציאטיביות עבור מטריצות משפט 32 תהי [A] מטריצה מסדר,n m,m k מטריצה מסדר [B],k r מטריצה מסדר [C] כולן מעל אותו שדה F אזי, [A] ([B] [C] = ([A] [B] [C] [A] = (a ij, [B] = (b js, [C] = (c sl m [A] ([B] [C] = j= a ij } {{ } ([A]([B][C] il k k m b js c sl = a ij b js s= }{{} s= j= }{{} ([B][C] jl ([A][B] is c sl הוכחה: העתקה הופכית הגדרה 322 תהי A : V W העתקה לינארית העתקה לינארית S תקרא הופכית להעתקה A, 52

53 אם מתקיימים התנאים הבאים: V A W S V דהיינו S A = I V (כאשר I V היא העתקת הזהות כלומר ( v V I V v = v W S V A W 2 דהיינו A S = I W הגדרה 323 העתקה A תקרא הפיכה, אם קיימת לה העתקה הופכית משפט 324 תהי V A W העתקה לינארית נניח כ S,R הן העתקות הפכיות ל A, דהיינו: V A W S V, A S = I V W S V A V, S A = I W V A W R V, A R = I V W R V A V, R A = I W אזי S, = R דהיינו ההעתקה ההופכית היא יחידה הוכחה: R = R I W = R (A S = (R A S = I V S = S משפט תהי A העתקה לינארית ממרחב Vלמרחב W, כאשר,V W מ"ו מעל אותו השדה F אזי, שני התנאים הבאים שקולים: א ההעתקה A הפיכה ב A הוא איזומורפיזם הוכחה: א' => ב' V A W S V, A S = I V ; W S V A V, S A = I W נוכיח כי ההעתקה חח"ע: יהיו שני וקטורים,v, v 2 V עבורם Av = Av 2 25 עוד משפט לבחינה 53

54 אזי, מתקיים 2 S (Av = S (Av אבל,S A = I V ולכן,v = v 2 כלומר, A היא חח"ע כעת נוכיח כי היא על: יהי w W אזי: A (Sw = (A S w = I W w = w כלומר, קיים וקטור v = Sw V כך שמתקיים,Av = w ולכן ההעתקה היא על, וסיימנו ב' => א',V A W כאשר העתקה A היא איזומורפיזם אזי היא חח"ע ועל יהי w W מכיוון וA על קיים v V כך ש w Av = כמו כן, ניתן לומר כי v הוא יחיד (מחד חד ערכיות נגדיר העתקה W S V בצורה הבאה: Sw = v Av = w = A (Sw A S = I W כמו כן, Av = w Sw = v = S (Av S A = I V כעת, נבדוק אם ההעתקה לינארית: w, w 2 W, Av = w, Av 2 = w 2 A (α v + α 2 v 2 = α Av + α 2 Av 2 S (α w + α 2 w 2 = S A (α v + α 2 v 2 = α v + α 2 v 2 = α Sw + α 2 Sw 2 ולכן ההעתקה לינארית, וסיימנו 54

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא

Διαβάστε περισσότερα

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( ) פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e

Διαβάστε περισσότερα

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת

Διαβάστε περισσότερα

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח. 1 תשע'א תירגול 8 אלגברה לינארית 1 טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של וקטור אם הוכחה: חד חד ערכית ויהי כך ש מכיוון שגם נקבל מחד חד הערכיות כי בהכרח

Διαβάστε περισσότερα

gcd 24,15 = 3 3 =

gcd 24,15 = 3 3 = מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =

Διαβάστε περισσότερα

אלגברה ליניארית (1) - תרגיל 6

אלגברה ליניארית (1) - תרגיל 6 אלגברה ליניארית (1) - תרגיל 6 התרגיל להגשה עד יום חמישי (12.12.14) בשעה 16:00 בתא המתאים בבניין מתמטיקה. נא לא לשכוח פתקית סימון. 1. עבור כל אחד מתת המרחבים הבאים, מצאו בסיס ואת המימד: (א) 3)} (0, 6, 3,,

Διαβάστε περισσότερα

אלגברה לינארית 1 יובל קפלן

אלגברה לינארית 1 יובל קפלן אלגברה לינארית 1 יובל קפלן מחברת סיכום הרצאות ד"ר אלי בגנו בקורס "אלגברה לינארית 1" (80134) באוניברסיטה העברית, 7 2006 תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן אין המרצה אחראי לכל טעות שנפלה בו סודר

Διαβάστε περισσότερα

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה

Διαβάστε περισσότερα

אלגברה לינארית מטריצות מטריצות הפיכות

אלגברה לינארית מטריצות מטריצות הפיכות מטריצות + [( αij+ β ij ] m λ [ λα ij ] m λ [ αijλ ] m + + ( + +C + ( + C i C m q m q ( + C C + C C( + C + C λ( ( λ λ( ( λ (C (C ( ( λ ( + + ( λi ( ( ( k k i חיבור מכפלה בסקלר מכפלה בסקלר קומוטטיב אסוציאטיב

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשעו (2016) לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור

Διαβάστε περισσότερα

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V ) הצגות של חבורות סופיות c ארזים 6 בינואר 017 1 משפט ברנסייד משפט 1.1 ברנסייד) יהיו p, q ראשוניים. תהי G חבורה מסדר.a, b 0,p a q b אזי G פתירה. הוכחה: באינדוקציה על G. אפשר להניח כי > 1 G. נבחר תת חבורה

Διαβάστε περισσότερα

Logic and Set Theory for Comp. Sci.

Logic and Set Theory for Comp. Sci. 234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 5

מתמטיקה בדידה תרגול מס' 5 מתמטיקה בדידה תרגול מס' 5 נושאי התרגול: פונקציות 1 פונקציות הגדרה 1.1 פונקציה f מ A (התחום) ל B (הטווח) היא קבוצה חלקית של A B המקיימת שלכל a A קיים b B יחיד כך ש. a, b f a A.f (a) = ιb B. a, b f או, בסימון

Διαβάστε περισσότερα

חורף תש''ע פתרון בחינה סופית מועד א'

חורף תש''ע פתרון בחינה סופית מועד א' מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשעו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים: לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1

Διαβάστε περισσότερα

גירסה liran Home Page:

גירסה liran   Home Page: גירסה 1.00 26.10.03 סיכום באלגברה א מסמך זה הורד מהאתר.hp://uderwar.liveds.co.il אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר. מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב השימוש

Διαβάστε περισσότερα

אלגברה לינארית 1. המערכת הלא הומוגנית גם כן. יתרה מזאת כל פתרון של (A b) הוא מהצורה c + v כאשר v פתרון כלשהו של המערכת ההומוגנית

אלגברה לינארית 1. המערכת הלא הומוגנית גם כן. יתרה מזאת כל פתרון של (A b) הוא מהצורה c + v כאשר v פתרון כלשהו של המערכת ההומוגנית אלגברה לינארית 1 Uטענה U: אם c פתרון של המערכת (A b) ו v פתרון של המערכת (0 A) אזי c + v פתרון של המערכת הלא הומוגנית גם כן. יתרה מזאת כל פתרון של (A b) הוא מהצורה c + v כאשר v פתרון כלשהו של המערכת ההומוגנית

Διαβάστε περισσότερα

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין

Διαβάστε περισσότερα

תרגיל 13 משפטי רול ולגראנז הערות

תרגיל 13 משפטי רול ולגראנז הערות Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון

Διαβάστε περισσότερα

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

( )( ) ( ) f : B C היא פונקציה חחע ועל מכיוון שהיא מוגדרת עי. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חחע אז ועל פי הגדרת הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (

Διαβάστε περισσότερα

ל הזכויות שמורות לדפנה וסטרייך

ל הזכויות שמורות לדפנה וסטרייך מרובע שכל זוג צלעות נגדיות בו שוות זו לזו נקרא h באיור שלעיל, הצלעות ו- הן צלעות נגדיות ומתקיים, וכן הצלעות ו- הן צלעות נגדיות ומתקיים. תכונות ה כל שתי זוויות נגדיות שוות זו לזו. 1. כל שתי צלעות נגדיות

Διαβάστε περισσότερα

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים מבוא: קבוצות מיוחדות של מספרים ממשיים קבוצות של מספרים ממשיים צעד ראשון להצטיינות קבוצה היא אוסף של עצמים הנקראים האיברים של הקבוצה אנו נתמקד בקבוצות של מספרים ממשיים בדרך כלל מסמנים את הקבוצה באות גדולה

Διαβάστε περισσότερα

אלגברה לינארית (1) - פתרון תרגיל 11

אלגברה לינארית (1) - פתרון תרגיל 11 אלגברה לינארית ( - פתרון תרגיל דרגו את המטריצות הבאות לפי אלגוריתם הדירוג של גאוס (א R R4 R R4 R=R+R R 3=R 3+R R=R+R R 3=R 3+R 9 4 3 7 (ב 9 4 3 7 7 4 3 9 4 3 4 R 3 R R3=R3 R R 4=R 4 R 7 4 3 9 7 4 3 8 6

Διαβάστε περισσότερα

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 6 נושא: תחשיב הפסוקים: הפונקציה,val גרירה לוגית, שקילות לוגית 1. כיתבו טבלאות אמת לפסוקים הבאים: (ג) r)).((p q) r) ((p r) (q p q r (p

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 11

אלגברה ליניארית 1 א' פתרון 11 אלגברה ליניארית 1 א' פתרון 11.1 K α : F איזומורפיזם של שדות. א. טענה 1 :.α(0 F ) = 0 K עלינו להוכיח כי לכל,b K מתקיים.b + α(0 F ) = α(0 F ) + b = b עבור b K (כיוון ש α חח"ע ועל), קיים ויחיד x F כך ש.α(x)

Διαβάστε περισσότερα

אלגברה א' - פתרונות לשיעורי הבית סמסטר חורף תשס"ט

אלגברה א' - פתרונות לשיעורי הבית סמסטר חורף תשסט 467 אלגברה א', סמסטר חורף תשס"ט, פתרונות לשיעורי הבית, עמוד מתוך 6 467 אלגברה א' - פתרונות לשיעורי הבית סמסטר חורף תשס"ט תוכן עניינים : גליון שדות... גליון מרוכבים 7... גליון מטריצות... גליון 4 דירוג,

Διαβάστε περισσότερα

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. 16 במאי 2010 נסמן את מחלקת הצמידות של איבר בחבורה G על ידי } g.[] { y : g G, y g כעת נניח כי [y] [] עבור שני איברים, y G ונוכיח כי [y].[] מאחר והחיתוך

Διαβάστε περισσότερα

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim

Διαβάστε περισσότερα

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A ) הסתברות למתמטיקאים c ארזים 3 במאי 2017 1 תוחלת מותנה הגדרה 1.1 לכל משתנה מקרי X אינטגרבילית ותת סיגמא אלגברה G F קיים משתנה מקרי G) Y := E (X המקיים: E (X1 A ) = E (Y 1 A ).G מדיד לפי Y.1.E Y

Διαβάστε περισσότερα

co ארזים 3 במרץ 2016

co ארזים 3 במרץ 2016 אלגברה לינארית 2 א co ארזים 3 במרץ 2016 ניזכר שהגדרנו ווקטורים וערכים עצמיים של מטריצות, והראינו כי זהו מקרה פרטי של ההגדרות עבור טרנספורמציות. לכן כל המשפטים והמסקנות שהוכחנו לגבי טרנספורמציות תקפים גם

Διαβάστε περισσότερα

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ משוואות רקורסיביות הגדרה: רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים למשל: T = Θ 1 if = 1 T + Θ if > 1 יונתן יניב, דוד וייץ 1 דוגמא נסתכל על האלגוריתם הבא למציאת

Διαβάστε περισσότερα

גבול ורציפות של פונקציה סקלרית שאלות נוספות

גבול ורציפות של פונקציה סקלרית שאלות נוספות 08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך

Διαβάστε περισσότερα

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

Διαβάστε περισσότερα

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin( א. s in(0 c os(0 s in(60 c os(0 s in(0 c os(0 s in(0 c os(0 s in(0 0 s in(70 מתאים לזהות של cos(θsin(φ : s in(θ φ s in(θcos(φ sin ( π cot ( π cos ( 4πtan ( 4π sin ( π cos ( π sin ( π cos ( 4π sin ( 4π

Διαβάστε περισσότερα

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)

Διαβάστε περισσότερα

x a x n D f (iii) x n a ,Cauchy

x a x n D f (iii) x n a ,Cauchy גבולות ורציפות גבול של פונקציה בנקודה הגדרה: קבוצה אשר מכילה קטע פתוח שמכיל את a תקרא סביבה של a. קבוצה אשר מכילה קטע פתוח שמכיל את a אך לא מכילה את a עצמו תקרא סביבה מנוקבת של a. יהו a R ו f פונקציה מוגדרת

Διαβάστε περισσότερα

אלגוריתמים ללכסון מטריצות ואופרטורים

אלגוריתמים ללכסון מטריצות ואופרטורים אלגוריתמים ללכסון מטריצות ואופרטורים לכסון מטריצות יהי F שדה ו N n נאמר שמטריצה (F) A M n היא לכסינה אם היא דומה למטריצה אלכסונית כלומר, אם קיימת מטריצה הפיכה (F) P M n כך ש D P AP = כאשר λ λ 2 D = λ n

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעב (2012) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

נושאים: 4. בסיס 5. מימד ליניארית - אסוציאטיביות (קיבוץ) וקומטטיביות (חילוף) החיבור בין אברי V (הוקטורים) לאיברי F (סקלרים) התנאים:

נושאים: 4. בסיס 5. מימד ליניארית - אסוציאטיביות (קיבוץ) וקומטטיביות (חילוף) החיבור בין אברי V (הוקטורים) לאיברי F (סקלרים) התנאים: תרגול 1 אלגברה ליניארית נושאים: מרחב ליניארי 1. תת מרחב ליניארי 2. Span.3 תלות ליניארית 4. בסיס 5. מימד 6. טרנספורמציות דמות, גרעין, (שניהם תתי מרחב), משפט המימדים 7. מרחב העמודות, דרגה של מטריצה, מרחב

Διαβάστε περισσότερα

שדות הגדרת השדה: חשבון מודולו n: הגדרה: שדה F הוא קבוצה שיש בין אבריה שתי פעולות משפט: יהא F שדה. משפט: יהא F שדה ו- (mod )

שדות הגדרת השדה: חשבון מודולו n: הגדרה: שדה F הוא קבוצה שיש בין אבריה שתי פעולות משפט: יהא F שדה. משפט: יהא F שדה ו- (mod ) שדות הגדרת השדה: הגדרה: שדה F הוא קבוצה שיש בין אבריה שתי פעולות אחת נקראת חיבור ותסומן ב + האחרת נקראת כפל ותסומן ב * כך שתתקיימנה הדרישות הבאות: a, b F a b. סגירות לחיבור: F a F a 0 0 a a a, b, c F a

Διαβάστε περισσότερα

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות λ = 0 A. F n n ערך עצמי של A אם ורק אם A לא הפיכה..det(λ I ערך עצמי של λ F.A F n n n A) = 0 אם ורק אם: A v וקטור עצמי של Tהמתאים יהי T: V V אופרטור לינארי. אם λ F ערך עצמי של,T לערך העצמי λ, אזי λ הוא

Διαβάστε περισσότερα

רשימת משפטים והגדרות

רשימת משפטים והגדרות רשימת משפטים והגדרות חשבון אינפיניטיסימאלי ב' מרצה : למברג דן 1 פונקציה קדומה ואינטגרל לא מסויים הגדרה 1.1. (פונקציה קדומה) יהי f :,] [b R פונקציה. פונקציה F נקראת פונקציה קדומה של f אם.[, b] גזירה ב F

Διαβάστε περισσότερα

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.

Διαβάστε περισσότερα

מבוא לאלגברה ליניארית

מבוא לאלגברה ליניארית BEN GURION UNIVERSITY BE ER SHEVA, ISRAEL אוניברסיטת בן גוריון בנגב באר שבע מבוא לאלגברה ליניארית אמנון יקותיאלי המחלקה למתמטיקה אוניברסיטת בן גוריון amyekut@mathbguacil חוברת זו מיועדת לקורסים באלגברה

Διαβάστε περισσότερα

תרגול מס' 1 3 בנובמבר 2012

תרגול מס' 1 3 בנובמבר 2012 תרגול מס' 1 3 בנובמבר 2012 1 מערכת המספרים השלמים בשיעור הקרוב אנו נעסוק בקבוצת המספרים השלמים Z עם הפעולות (+) ו ( ), ויחס סדר (>) או ( ). כל התכונות הרגילות והידועות של השלמים מתקיימות: חוק הקיבוץ (אסוציאטיביות),

Διαβάστε περισσότερα

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה. בחינת סיווג במתמטיקה.9.017 פתרונות.1 סדרת מספרים ממשיים } n {a נקראת מונוטונית עולה אם לכל n 1 מתקיים n+1.a n a האם הסדרה {n a} n = n היא מונוטונית עולה? הוכיחו תשובתכם. הסדרה } n a} היא אכן מונוטונית

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעד (2014) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 2

אלגברה ליניארית 1 א' פתרון 2 אלגברה ליניארית א' פתרון 3 4 3 3 7 9 3. נשתמש בכתיבה בעזרת מטריצה בכל הסעיפים. א. פתרון: 3 3 3 3 3 3 9 אז ישנו פתרון יחיד והוא = 3.x =, x =, x 3 3 הערה: אפשר גם לפתור בדרך קצת יותר ארוכה, אבל מבלי להתעסק

Διαβάστε περισσότερα

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 5

אלגברה ליניארית 1 א' פתרון 5 אלגברה ליניארית 1 א' פתרון 5 1 במאי 1 1. נוכיח כי מרחב הפולינומים R[t] אינו נפרש סופית: נניח שהוא כן נפרש סופית. אם כך, ניקח קבוצה סופית פורשת שלו:.R[t] קבוצה סופית של פולינומים, שפורשת את כל המרחב p}

Διαβάστε περισσότερα

אלגברה מודרנית פתרון שיעורי בית 6

אלגברה מודרנית פתרון שיעורי בית 6 אלגברה מודרנית פתרון שיעורי בית 6 15 בינואר 016 1. יהי F שדה ויהיו q(x) p(x), שני פולינומים מעל F. מצאו פולינומים R(x) S(x), כך שמתקיים R(x),p(x) = S(x)q(x) + כאשר deg(q),deg(r) < עבור המקרים הבאים: (תזכורת:

Διαβάστε περισσότερα

תורת הקבוצות תרגיל בית 2 פתרונות

תורת הקבוצות תרגיל בית 2 פתרונות תורת הקבוצות תרגיל בית 2 פתרונות חיים שרגא רוזנר כ"ה בניסן, תשע"ה תזכורות תקציר איזומורפיזם סדר, רישא, טרנזיטיביות, סודרים, השוואת סודרים, סודר עוקב, סודר גבולי. 1. טרנזיטיבות וסודרים קבוצה A היא טרנזיטיבית

Διαβάστε περισσότερα

תרגול פעולות מומצאות 3

תרגול פעולות מומצאות 3 תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה

Διαβάστε περισσότερα

1 סכום ישר של תת מרחבים

1 סכום ישר של תת מרחבים אלמה רופיסה :הצירטמ לש ןדרו'ג תרוצ O O O O O O ןאבצ זעוב סכום ישר של תת מרחבים פרק זה כולל טענות אלמנטריות, שהוכחתן מושארת לקורא כתרגיל הגדרה: יהיו V מרחב וקטורי, U,, U k V תת מרחבים הסכום W U + U 2 +

Διαβάστε περισσότερα

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב 2011 2010 פרופ' יעקב ורשבסקי אסף כץ 15//11 1 סמל לזנדר יהי מספר שלם קבוע, ו K שדה גלובלי המכיל את חבורת שורשי היחידה מסדר µ. תהי S קבוצת הראשוניים הארכימדיים

Διαβάστε περισσότερα

{ : Halts on every input}

{ : Halts on every input} אוטומטים - תרגול 13: רדוקציות, משפט רייס וחזרה למבחן E תכונה תכונה הינה אוסף השפות מעל.(property המקיימות תנאים מסוימים (תכונה במובן של Σ תכונה לא טריביאלית: תכונה היא תכונה לא טריוויאלית אם היא מקיימת:.

Διαβάστε περισσότερα

מבנים אלגבריים II 27 במרץ 2012

מבנים אלגבריים II 27 במרץ 2012 מבנים אלגבריים 80446 II אור דגמי, or@digmi.org 27 במרץ 2012 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ אלכס לובוצקי בשנת לימודים 2012 1 תוכן עניינים 1 שדות 3 1.1 תזכורת מהעבר....................................................

Διαβάστε περισσότερα

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m Observabiliy, Conrollabiliy תרגול 6 אובזרווביליות אם בכל רגע ניתן לשחזר את ( (ומכאן גם את המצב לאורך זמן, מתוך ידיעת הכניסה והיציאה עד לרגע, וזה עבור כל צמד כניסה יציאה, אז המערכת אובזרוובילית. קונטרולביליות

Διαβάστε περισσότερα

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשעב זהויות טריגונומטריות תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si

Διαβάστε περισσότερα

אינפי - 1 תרגול בינואר 2012

אינפי - 1 תרגול בינואר 2012 אינפי - תרגול 4 3 בינואר 0 רציפות במידה שווה הגדרה. נאמר שפונקציה f : D R היא רציפה במידה שווה אם לכל > 0 ε קיים. f(x) f(y) < ε אז x y < δ אם,x, y D כך שלכל δ > 0 נביט במקרה בו D הוא קטע (חסום או לא חסום,

Διαβάστε περισσότερα

תרגול מס' 6 פתרון מערכת משוואות ליניארית

תרגול מס' 6 פתרון מערכת משוואות ליניארית אנליזה נומרית 0211 סתיו - תרגול מס' 6 פתרון מערכת משוואות ליניארית נרצה לפתור את מערכת המשוואות יהי פתרון מקורב של נגדיר את השארית: ואת השגיאה: שאלה 1: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

Διαβάστε περισσότερα

תרגיל 7 פונקציות טריגונומטריות הערות

תרגיל 7 פונקציות טריגונומטריות הערות תרגיל 7 פונקציות טריגונומטריות הערות. פתרו את המשוואות הבאות. לא מספיק למצוא פתרון אחד יש למצוא את כולם! sin ( π (א) = x sin (ב) = x cos (ג) = x tan (ד) = x) (ה) = tan x (ו) = 0 x sin (x) + sin (ז) 3 =

Διαβάστε περισσότερα

דף סיכום אלגברה לינארית

דף סיכום אלגברה לינארית דף סיכום אלגברה לינארית מרחבי עמודות, שורות, אפס: = = c + c + + c k k כל פתרון של המערכת : A=b נתונה מטריצה :m = מרחב השורות של המטריצה spa = spa מרחב העמודות של המטריצה { r, r, rm { c, c, c מרחב הפתרונות

Διαβάστε περισσότερα

מודלים חישוביים תרגולמס 5

מודלים חישוביים תרגולמס 5 מודלים חישוביים תרגולמס 5 30 במרץ 2016 נושאי התרגול: דקדוקים חסרי הקשר. למת הניפוח לשפות חסרות הקשר. פעולות סגור לשפות חסרות הקשר. 1 דקדוקים חסרי הקשר נזכיר כי דקדוק חסר הקשר הוא רביעיה =(V,Σ,R,S) G, כך

Διαβάστε περισσότερα

אלגברה לינארית 2 משפטים וטענות

אלגברה לינארית 2 משפטים וטענות אלגברה לינארית 2 משפטים וטענות סוכם ע"פ הרצאות פרופ' מ.קריבלביץ' 1.2 אידאלים של פולינומים הגדרה 1.13 יהי F שדה. קבוצת פולינומים [x] I F נקראת אידיאל ב [ x ] F אם מתקיים:.0 I.1.2 לכל f 1, f 2 I מתקיים.f

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה.

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. מרצה: למברג דן תוכן העניינים 3 מספרים ממשיים 1 3.................................. סימונים 1. 1 3..................................

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 7

אלגברה ליניארית 1 א' פתרון 7 אלגברה ליניארית 1 א' פתרון 7 2 1 1 1 0 1 1 0 1 0 2 1 1 0 1 0 2 1 2 1 1 0 2 1 0 1 1 3 1 2 3 1 2 0 1 5 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 4 0 0 0.1 עבור :A לכן = 3.rkA עבור B: נבצע פעולות עמודה אלמנטריות

Διαβάστε περισσότερα

אלגברה לינארית גיא סלומון. α β χ δ ε φ ϕ γ η ι κ λ µ ν ο π. σ ς τ υ ω ξ ψ ζ. לפתרון מלא בסרטון פלאש היכנסו ל- כתב ופתר גיא סלומון

אלגברה לינארית גיא סלומון. α β χ δ ε φ ϕ γ η ι κ λ µ ν ο π. σ ς τ υ ω ξ ψ ζ. לפתרון מלא בסרטון פלאש היכנסו ל-  כתב ופתר גיא סלומון 0 אלגברה לינארית α β χ δ ε φ ϕ γ η ι κ λ µ ν ο π ϖ θ ϑ ρ σ ς τ υ ω ξ ψ ζ גיא סלומון לפתרון מלא בסרטון פלאש היכנסו ל- wwwgoolcoil סטודנטים יקרים ספר תרגילים זה הינו פרי שנות ניסיון רבות של המחבר בהוראת

Διαβάστε περισσότερα

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1 1 טורים כלליים 1. 1 התכנסות בהחלט מתכנס. מתכנס בהחלט אם n a הגדרה.1 אומרים שהטור a n משפט 1. טור מתכנס בהחלט הוא מתכנס. הוכחה. נוכיח עם קריטריון קושי. יהי אפסילון גדול מ- 0, אז אנחנו יודעים ש- n N n>m>n

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 13

מתמטיקה בדידה תרגול מס' 13 מתמטיקה בדידה תרגול מס' 13 נושאי התרגול: תורת הגרפים. 1 מושגים בסיסיים נדון בגרפים מכוונים. הגדרה 1.1 גרף מכוון הוא זוג סדור E G =,V כך ש V ו E. V הגרף נקרא פשוט אם E יחס אי רפלקסיבי. כלומר, גם ללא לולאות.

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1

חשבון אינפיניטסימלי 1 חשבון אינפיניטסימלי 1 יובל קפלן סיכום הרצאות פרופ צליל סלע בקורס "חשבון אינפיניטסימלי 1" (80131) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו.

Διαβάστε περισσότερα

סיכום אינפי 2 19 ביוני 2010 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין

סיכום אינפי 2 19 ביוני 2010 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין סיכום אינפי 2 9 ביוני 200 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין אין המרצה או המתרגלים קשורים לסיכום זה בשום דרך. סוכם ע"י נגה רוטמן בשעות לא הגיוניות בעליל,

Διαβάστε περισσότερα

קיום ויחידות פתרונות למשוואות דיפרנציאליות

קיום ויחידות פתרונות למשוואות דיפרנציאליות קיום ויחידות פתרונות למשוואות דיפרנציאליות 1 מוטיבציה למשפט הקיום והיחידות אנו יודעים לפתור משוואות דיפרנציאליות ממחלקות מסוימות, כמו משוואות פרידות או משוואות לינאריות. עם זאת, קל לכתוב משוואה דיפרנציאלית

Διαβάστε περισσότερα

i שאלות 8,9 בתרגיל 2 ( A, F) אלגברת יצירה Α היא זוג כאשר i F = { f קבוצה של פונקציות {I קבוצה לא ריקה ו A A n i n i מקומית מ ל. A נרשה גם פונקציות 0 f i היא פונקציה n i טבעי כך ש כך שלכל i קיים B נוצר

Διαβάστε περισσότερα

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז פתרון תרגיל בית 6 מבוא לתורת החבורות 88-211 סמסטר א תשע ז הוראות בהגשת הפתרון יש לרשום שם מלא, מספר ת ז ומספר קבוצת תרגול. תאריך הגשת התרגיל הוא בתרגול בשבוע המתחיל בתאריך ג טבת ה תשע ז, 1.1.2017. שאלות

Διαβάστε περισσότερα

Charles Augustin COULOMB ( ) קולון חוק = K F E המרחק סטט-קולון.

Charles Augustin COULOMB ( ) קולון חוק = K F E המרחק סטט-קולון. Charles Augustin COULOMB (1736-1806) קולון חוק חוקקולון, אשרנקראעלשםהפיזיקאיהצרפתישארל-אוגוסטיןדהקולוןשהיהאחדהראשוניםשחקרבאופןכמותיאתהכוחותהפועלים ביןשניגופיםטעונים. מדידותיוהתבססועלמיתקןהנקראמאזניפיתול.

Διαβάστε περισσότερα

תורת הקבוצות ניר אדר ניר אדר.

תורת הקבוצות ניר אדר ניר אדר. גירסה 101 2432010 גירסה 100 6122003 תורת הקבוצות מסמך זה הורד מהאתר http://wwwunderwarcoil אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב

Διαβάστε περισσότερα

פולינומים אורתוגונליים

פולינומים אורתוגונליים פולינומים אורתוגונליים מרצה: פרופ' זינובי גרינשפון סיכום: אלון צ'רני הקורס ניתן בסמסטר אביב 03, בר אילן פולינומים אורתוגונאליים תוכן עניינים תאריך 3.3.3 הרצאה מרחב מכפלה פנימית (הגדרה, תכונות, דוגמאות)

Διαβάστε περισσότερα

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות תורת המספרים סיכום הגדרות טענות ומשפטים אביב 017 1 פירוק לגורמים ראשוניים 1.1 הגדרות חוג A C נקראת חוג אם: היא מכילה את 0 ואת 1 סגורה תחת חיבור, חיסור, וכפל הפיך A חוג. a A נקרא הפיך אם 0,a.a 1 A קבוצת

Διαβάστε περισσότερα

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס תורת הקבוצות (80200) באוניברסיטה העברית, תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו. סודר באמצעות L

Διαβάστε περισσότερα

c ארזים 15 במרץ 2017

c ארזים 15 במרץ 2017 הסתברות למתמטיקאים c ארזים 15 במרץ 2017 הקורס הוא המשך של מבוא להסתברות שם דיברנו על מרחבים לכל היותר בני מניה. למשל, סדרת הטלות מטבע בלתי תלויות היא דבר שאי אפשר לממש במרחב בן מניה נסמן את התוצאה של ההטלה

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 2

מתמטיקה בדידה תרגול מס' 2 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 8

אלגברה ליניארית 1 א' פתרון 8 אלגברה ליניארית 1 א' פתרון 8.1 נניח כי (R) A M n מקיימת = 0 t.aa הוכיחו כי = 0.A הוכחה: נביט באיברי האלכסון של.AA t.(aa t ) ii = n k=1 (A) ik(a t ) ki = n k=1 a ika ik = n k=1 a2 ik = 0 מדובר במספרים ממשיים,

Διαβάστε περισσότερα

מתרגלת: שירה גילת סמסטר א 2017 תשע"ז

מתרגלת: שירה גילת סמסטר א 2017 תשעז חוברת תרגולים בקורס "תורת גלואה" 88 311 21 בפברואר 2017 מתרגלת: שירה גילת סמסטר א 2017 תשע"ז ערך: איתי רוזנבאום 1 תורת גלואה תרגול ראשון חזרה מחוגים F שדה F. חוג הפולינומים עם מקדמים ב F [λ] זהו חוג אוקלידי,

Διαβάστε περισσότερα

אלגברה לינארית 2 יובל קפלן סיכום הרצאות מר שמואל ברגר בקורס "אלגברה לינארית 2" (80135) באוניברסיטה העברית,

אלגברה לינארית 2 יובל קפלן סיכום הרצאות מר שמואל ברגר בקורס אלגברה לינארית 2 (80135) באוניברסיטה העברית, אלגברה לינארית 2 יובל קפלן סיכום הרצאות מר שמואל ברגר בקורס "אלגברה לינארית 2" (80135 באוניברסיטה העברית, 7 2006 תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן אין המרצה אחראי לכל טעות שנפלה בו סודר באמצעות

Διαβάστε περισσότερα

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, 635865 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1. סדרה חשבונית שיש בה n איברים...2 3. האיבר

Διαβάστε περισσότερα

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012 תורת הקבוצות 80200 אור דגמי, ÓÖ Ñ ºÓÖ 11 בפברואר 2012 אתר אינטרנט: ØØÔ»» Ñ ºÓÖ תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012 1 תוכן עניינים תוכן עניינים תוכן עניינים מבוא.............................................

Διαβάστε περισσότερα

מבוא ללוגיקה מתמטית 80423

מבוא ללוגיקה מתמטית 80423 מבוא ללוגיקה מתמטית 80423 24 במרץ 2012 איני לוקחת אחריות על מה שכתוב כאן, so tread lightly אין המרצה או המתרגל קשורים לסיכום זה בשום דרך. הערות יתקבלו בברכה.noga.rotman@gmail.com אהבתם? יש עוד! www.cs.huji.ac.il/

Διαβάστε περισσότερα

סיכום- בעיות מינימוםמקסימום - שאלון 806

סיכום- בעיות מינימוםמקסימום - שאלון 806 סיכום- בעיות מינימוםמקסימום - שאלון 806 בבעיותמינימום מקסימוםישלחפשאתנקודותהמינימוםהמוחלטוהמקסימוםהמוחלט. בשאלות מינימוםמקסימוםחובהלהראותבעזרתטבלה אובעזרתנגזרתשנייהשאכן מדובר עלמינימוםאומקסימום. לצורךקיצורהתהליך,

Διαβάστε περισσότερα

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד. חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.

Διαβάστε περισσότερα

פרק 5 טורי חזקות 5.5 טור לורן. (z z 0 ) m. c n = 1. 2πi γ (ξ z 0 ) n+1dξ, .a 1 = 1 f(z)dz בפרט,.a 2πi γ m וגם 0 0 < z z 0 < r בעיגול הנקוב z.

פרק 5 טורי חזקות 5.5 טור לורן. (z z 0 ) m. c n = 1. 2πi γ (ξ z 0 ) n+1dξ, .a 1 = 1 f(z)dz בפרט,.a 2πi γ m וגם 0 0 < z z 0 < r בעיגול הנקוב z. פרק 5 טורי חזקות 5.5 טור לורן הגדרה 5. טורלורןסביבקוטב z מסדרm שלפונקציה( f(z הואמהצורה n m a n(z z m. למשל,טורלורן שלהפונקציה e z /z 2 סביב הוא + 2./z 2 +/z+/2+/3!z+/4!z משפט 5. תהי f פונקציה אנליטית

Διαβάστε περισσότερα

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות.

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות. תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות. A = 1,4,7,17,20 B = 1, a, b, c 2 נאמר ש x שייך ל A ונסמן x A אם x הוא

Διαβάστε περισσότερα

תרגול משפט הדיברגנץ. D תחום חסום וסגור בעל שפה חלקה למדי D, ותהי F פו' וקטורית :F, R n R n אזי: נוסחת גרין I: הוכחה: F = u v כאשר u פו' סקלרית:

תרגול משפט הדיברגנץ. D תחום חסום וסגור בעל שפה חלקה למדי D, ותהי F פו' וקטורית :F, R n R n אזי: נוסחת גרין I: הוכחה: F = u v כאשר u פו' סקלרית: משפט הדיברגנץ תחום חסום וסגור בעל שפה חלקה למדי, ותהי F פו' וקטורית :F, R n R n אזי: div(f ) dxdy = F, n dr נוסחת גרין I: uδv dxdy = u v n dr u, v dxdy הוכחה: F = (u v v, u x y ) F = u v כאשר u פו' סקלרית:

Διαβάστε περισσότερα

סדרות - תרגילים הכנה לבגרות 5 יח"ל

סדרות - תרגילים הכנה לבגרות 5 יחל סדרות - הכנה לבגרות 5 יח"ל 5 יח"ל סדרות - הכנה לבגרות איברים ראשונים בסדרה) ) S מסמן סכום תרגיל S0 S 5, S6 בסדרה הנדסית נתון: 89 מצא את האיבר הראשון של הסדרה תרגיל גוף ראשון, בשנייה הראשונה לתנועתו עבר

Διαβάστε περισσότερα

gra לא שימושי -rad רדיינים. רדיין = רק ברדיינים. נניח שיש לנו משולש ישר זוית. היחס בין שתי הצלעות שמול הזוית הישרה, נקבע ע"י הזוית.

gra לא שימושי -rad רדיינים. רדיין = רק ברדיינים. נניח שיש לנו משולש ישר זוית. היחס בין שתי הצלעות שמול הזוית הישרה, נקבע עי הזוית. A-PDF MERGER DEMO 56 פונקציות טריגונומטריות במחשבון בד"כ יש אופציות: deg מעלות מניח חלוקת המעגל ל 6 חלקים, כל אחד מעלה למה עשו 6? זה מספר עם הרבה מחלקים וזה גם קרוב ל 65 6 π π 6 π π α α α 6 8 π 6 57 ~

Διαβάστε περισσότερα

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 5 שנכתב על-ידי מאיר בכור. חקירת משוואה מהמעלה הראשונה עם נעלם אחד = הצורה הנורמלית של המשוואה, אליה יש להגיע, היא: b

Διαβάστε περισσότερα

לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות.

לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות. לוגיקה מתמטית משה קמנסקי 1. מבוא לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות. 1.1. גאומטריית המישור. אוקלידס רצה לדעת

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה!

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה! הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב 24/10/2007 מרצה: פרופ אורנה גרימברג מתרגלים: גבי סקלוסוב,קרן צנזור,רותם אושמן,אורלי יהלום לוגיקה ותורת הקבוצות 234293 אביבתשס ז מבחןסופי מועדב הנחיות: משךהבחינה:

Διαβάστε περισσότερα

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5 מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 פברואר 2017, גרסה 1.5 אוניברסיטת בר אילן סמסטר א תשע ז תוכן העניינים 3 מבוא.............................. 4 מבוא לתורת המספרים................... 1 8

Διαβάστε περισσότερα

The No Arbitrage Theorem for Factor Models ג'רמי שיף - המחלקה למתמטיקה, אוניברסיטת בר-אילן

The No Arbitrage Theorem for Factor Models ג'רמי שיף - המחלקה למתמטיקה, אוניברסיטת בר-אילן .. The No Arbitrage Theorem for Factor Models ג'רמי שיף - המחלקה למתמטיקה, אוניברסיטת בר-אילן 03.01.16 . Factor Models.i = 1,..., n,r i נכסים, תשואות (משתנים מקריים) n.e[f j ] נניח = 0.j = 1,..., d,f j

Διαβάστε περισσότερα