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

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

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

Transcript

1 מבנים אלגבריים II אור דגמי, 27 במרץ 2012

2 אתר אינטרנט: סיכום הרצאות של פרופ אלכס לובוצקי בשנת לימודים

3 תוכן עניינים 1 שדות תזכורת מהעבר מרחבים וקטורים מעל שדות איבר אלגברי ופולינום מינימלי שדה סגור אלגברית שדות סופיים שורשים מרובים של פולינום לבנות בעזרת סרגל ומחוגה לרבע את המעגל פריקות של פולינומים קריטריון אייזנשטיין (Eisenstein) השדה ה p ציקלוטומי

4 פרק 1 שדות 1.1 תזכורת מהעבר הגדרה שדה: (0,1,,+,F) כך ש: 1. (0,+,F) חבורה אבלית.3 2. (1,,{0}\F) חבורה אבלית הערה מכאן מסיקים שאין שדה עם איבר אחד, כי הוצאנו את האפס ועדיין נשארה יחידה. a,b,c F, a (b+c) = a b+a c מה זה חבורה? אפשר לקרוא במבנים אלגבריים 1. אבל בגדול: הגדרה חבורה: מוגדרת פעולה. הפעולה היא אסוציאטיבית: a(bc) = (ab)c קיים הופכי: = 1 1 a a a, a 1, כמו כן, חבורה נקראת אבילת אם: ab = bc [ אנו מכירים הרבה דוגמאות לשדות, נצפה במספר דוגמאות: דוגמה Q, ראינו כבר כי זה שדה עוד באלגברה לינארית 1. דוגמה } Q Q(i) = { a+b 1 a,b (כאשר 1 = (i נבחין כי Q(i) C לכן הפעולות אסוציאטיביות וקומוטטיביות. נרצה להראות סגירות לכפל וכי קיים הופכי. נבחין כי: ( a+b 1 )( c+d 1 ) = (ac bd)+(ad+bc) 1 ומסגירות Q לכפל וחיבור נקבל כי אכן המקדמים הם בQ. נראה הופכי: בהנתן.a,b אנו מחפשים c,d כך ש: { ac bd = 1 bc+ad = 0 3

5 פרק 1. שדות 1.1. תזכורת מהעבר { ax by = 1 bx+ay = 0 נסמן c = x, d = y ונרצה לפתור מערכת משוואת: ( )( ) ( a b x 1 = b a y 0) det ( ) a b = a b a 2 +b 2 נבחן את המערכת באופן מטריציוני: נבחין כי: כלומר, אם 0 a או 0 b המטריצה הפיכה ולכן קיימים x,y אשר יהיו ההופכי. דרך יותר קלה לראות זאת היא לזכור כי: כלומר: אבל בכך אנחנו מניחים ששדה המרוכבים קיים. z 1 = z z 2 = z z z (a+bi) 1 = a bi a 2 +b 2 הערה נבחין כי זה לא נכון באופן כללי. a+bi כאשר a,b F שדה כלשהו לא בהכרח שדה. כדי שזה כן יהיה נדרש כי 0 2 a 2 b+ עבור 0 a או 0 b, אבל זה לא קורה תמיד. לדוגמה מעל C. דוגמה Q R C וכמו כן.F p = Z /pz דוגמה F שדה כלשהו. ראינו כי F[x] הוא חוג הפולינומים מעל F. F(x) = שדה המנות של F[x] כלומר: F(x) = { f (x) g(x) f (x),g(x) F[X] g(x) לא פולינום ה 0 } שדה זה נקרא שדה הפונקציות הרציונליות מעל F ואם עושים את זה פעם אין שום סיבה לא לעשות את זה פעמיים. כלומר (F(x))(y) כלומר, פונצקיות רציונליות ב y שהמקדמים שלהם פונקציות רציונליות ב x. נסמן: למעשה מדובר בפונקציות עם שני משתנים.x,y ובאינדוקציה ניתן לדבר על: F(x,y) := (F(x))(y) F(x 1,...,x n ) := (F(x 1,...,x n 1 ))(x n ) דוגמה שדה המספרים הפיאדים: לוקחים את המספרים הרציונליים. מתבוננים בסדרות קושי מעל Q, לא בהכרח קיים להם גבול (אנחנו לא מכירים את המספרים האי רציונליים) נגיד כי שתי מחלקות קושי הם שקולות אם הן שואפות לאותו איבר. כלומר אם היה להם גבול הן היו מתכנות לאותו גבול. לוקחים את את הסדרות קושי הנ ל ולהם קוראים R. נבחין כי על המספרים הרציונליים אנחנו לא צריכים לדעת דבר פרט לכך שהם מרחב מרחב מטרי. אבל אפשר להגדיר מרחב מטרי נוסף על הרציונליים. לכל ראשוני p אפשר להגדיר מטריקה על המספרים הרציונליים. ואיכשהו לקבל שדה (לא הצלחתי לעקוב כמו שצריך), המספרים הפיאדים, כך ש Q יהיה צפוף בו. זה נשמע כאילו אפשר לעשות את זה בדרכים נוספות, אך זה לא עובד. יש משפט שאומר שזה ההגבלה. אם יהיה זמן נגיע לזה בהמשך. 4

6 1.2. מרחבים וקטורים מעל שדות פרק 1. שדות 1.2 מרחבים וקטורים מעל שדות חלק גדול מהדוגמאות שראינו הופיעו בזוגות, כלומר שדה אחד הוא תת שדה של השדה השני. ולכן אם F E שדות אזי אפשר לראות את E כמרחב וקטורי מעל F. במובן שאם R F ו α E אזי: Rα }{{} מכפלת סקלר Rבוקטור α = Rα }{{} מכלפה בשדה E נסמן (E).deg F E = [E : F] = dim F טענה E כפול המימד של E מעל K שווה למימד של F מעל K המימד של (כלומר [K : F] = [K : E] [E : F] שדות. אזי: F E K מעל F). הערה לא הנחנו שהם סופיים. נבחן אם E אינסופי, אז ברור כי גם K אינסופי. ולכן אם אז גם = [F K]. : כמו כן אם K מעל E אינסופי, אז יש אינסוף איברים בלתי תלויים מעל E ובפרט מעל F. נניח בהוכחה כי זה סופי. { α i,β j 1 i n 1 j m הוכחה: אם [K : E] = m,[e : F] = n נוכיח כי:.[K : F] = mn } יהי α 1,...,α n E המהוים בסיס מעל.F ויהיו β 1,...,β m K מהוים בסיס ל K מעל.E נראה כי i=1 j=1 n i=1 j=1 m a i,j α i β j = 0 ( n m m n ) α i,j α i β j = a i,j α i j=1 i=1 בסיס ל K מעל F. נראה כי זו קבוצה בלתי תלוייה: נניח ש: כאשר. a i,j F נרצה להראות ש = 0 i,j α לכל i וj. } {{ } E β j נכתוב את הנ ל בצורה הבאה: n. כעת ה אבל נבחין כי האיבר n a i,j α i הוא ב. E אבל מאחר ו β 1,...,β m בת ל מעל,E אזי לכל j נקבל כי: = 0 i a i,j α i=1 α i הם ב E וה a i,j הם ב F, ומכיוון ש α 1 α,..., n הם בלתי תלויים לינארית מעל F לכן = 0 i,j α לכל i ולכל j. כלומר מדובר בקבוצה בלתי תלויה. הערה נבחין כי בהוכחה של האי תלות השתמשנו רק באי תלות של הקבוצה ולא בכך שהיא בסיס. כלומר מכפלה של כל שתי קבוצות בלתי תלויות באופן הנ ל הייתה מניבה קבוצה בלתי תלויה. קבוצה פורשת כי אם γ K אזי קיימים e 1,...,e m E כך ש m e j β j = γ מהיות β 1,...,β m בסיס. j=1 i=1 { α i β j 1 i n 1 j m ועכשיו את e j אנו יכולים לרשום כצירוף לינארי מעל F של α 1 α,..., n כי היא בסיס ולכן: } n e j = a i,j α i i=1 עבור a i,j F כלשהו. ובסה כ קיבלנו כי: m n γ = a i,j α i β j j=1 i=1 5

7 פרק 1. שדות 1.3. איבר אלגברי ופולינום מינימלי 1.3 איבר אלגברי ופולינום מינימלי הגדרה אם F E שדות, ו α E נסמן: F(α) = תת השדה המינימלי של E המכיל את F ואת α. למעשה, זה שווה לחיתוך כל התת שדות של E המכילים את F ו α. טענה אם < F] [F(α) : אזי קיים פולינום F[x] f (x) שונה מ 0 כך ש = 0 (α).f הוכחה: נניח [F(α) : F] = n נסתכל בקבוצה: F(α).1,α,α 2,...,α n אבל זו קבוצה בת + 1 n איברים ולכן היא תלויה לינארית מעל F. דהיינו, קיימים a 0 a, 1 a,..., n כאשר לא כולם אפסים כך ש: n a i α i = 0 f (x) = n a i x i (כאשר = 1 0 α). ולכן α שורש של הפולינום: וזה פולינום 0. הערה הוכחנו שאם [F(α) : [F = n אזי יש פולינום ממעלה n המאפס את α. הגדרה איבר אלגברי: α E, F E נקרא אלגברי מעל F אם קיים פולינום F[X] f (x) 0 כך ש = 0 (α).f הגדרה אם α אלגברי, אזי נסמן ב p(x) p α (x) = את הפולינום המתקון מהמעלה הקטנה ביותר המאפס את α. הערה מתוקן: המקדם הכי גבוה שלו הוא 1 (כלומר = 1 n a). טענה הפולינום המינימלי של α יחיד ואי פריק..2 אם F[x] f (x) פולינום כך ש = 0 (α) f אזי: (x).p α (x) f הוכחה: יחידות: אם יש שניים אזי הפרשם ממעלה קטנה יותר ומאפס. ולכן חייב להיות פולינום 0. ולכן הם שווים. אי פריקות: אם h(x)g(x) p(x) = אזי: h(α)g(α) = p(α) = 0 אבל h(α),g(α) E ולכן לפחות אחד מהם הוא.0 ולכן אם: degh,degg < degp וזו סתירה למינימליות של p. (כלומר אחד מהם חייב להתאפס על α, ואם הוא שונה מפולינום האפס אזי קיבלנו פולינום ממעלה נמוכה יותר אשר מתאפס על α וקיבלנו סתירה). נוכיח את החלק השני. נחלק את (x) f עם שארית ב :p(x) f (x) = q(x)p(x)+r(x) כאשר = 0 r(x) (פולינום האפס) או deg(p(x)) deg(r(x)) < נציב α ונקבל: 0 = f (α) = q(α)p(α)+r(α) אבל = 0 p(α) ולכן חייב להתקיים כי = 0.r(α) אבל דרגתו של r קטנה משל p! ולכן ממינימליות p(x) נסיק כי = 0 r(x) (פולינום האפס). ולכן אין שארית, דהיינו (x) p(x) f כנדרש. משפט [F(α) : F] < F אלגברי מעל α אזי α וK F K 6

8 1.3. איבר אלגברי ופולינום מינימלי פרק 1. שדות הוכחה: ראינו כיוון אחד, אם < [F [F(α) : אזי α אלגברי. כיוון שני: נניחשα אלגבריויהא( p(x הפולינוםהמינימלישלו. נגדירהומומורפיזםשלחוגים: ϕ : F[x] K באופןהבא: (α).ϕ(f (x)) = f זהו הומומורפיזם מכיוון שאם ניקח סכום של הומומורפיזם של חוגים בדוק) kerϕ = {f (x) f (α) = 0} = (p(x)) הערה אם אני זוכר נכון ראינו את זה במבנים אלגבריים. 1 נבחין כי: (כלומר האידיאל הנוצר מ( p(x, מכיוון שהוא מאפס את α, הכפולות שלו מאפסות את α ורק הן). ולכן ממשפט ההומומורפיזם הראשון: Imϕ = F[x] /(p(x)) אבל (p(x)) אידיאל מקסימלי מאחר והוא פולינום אי פריק. ולכן חוג המנה /(p(x)) F[x] הוא שדה (הראנו במבנים אלגבריים 1) שמימדו מעל F הוא.degp(x) = n ולכן תמונת ϕ זה שדה המכיל את F ואת α ואת (הפולינום.α = ϕ(x כלומר, F(α) Imϕ ולכן < F] [F(α) : כנדרש. תזכורת תזכורת ממבנים אלגבריים 1: F שדה, F[x] R = חוג אוקלידי. כל אידיאל ב F[x] הוא ראשי, F[x].I = (f (x)) = Rf (x),i אם (x) g(x) f אזי: (g(x)).(f (x)) (g(x)) אידיאל מקסימלי g(x) פולינום אי פריק. באופן כללי: חוג המנה: /(f(x)) F[x] הוא מרחב וקטורי ממימד (x) n = degf (כאשר 1 n 1,x,...,x מהוים בסיס לחוג מנה זה מעל.(F כאשר (x) f הוא פולינום אי פריק, אז ((x) f) אידיאל מקסימלי ולכן: /(f(x)) F[x] הוא שדה. מסקנה E. הוא תת שדה של Imϕ הערה זה קצת מפתיע, מה הוא?Imϕ זה לקחת את כל הפולינומים ולהציב בהם α כלומר: { l } { n 1 } Imϕ = a i α i a i F = a l N i x i a i F כאשר n היא הדרגה של הפולינום המינימלי המאפס את α. מה שמפתיע כאן הוא קיום ההופכי. למה הוא מופיע? נקח את הפולינום המתוקן האי פריק המאפס את α: p(x) = a 0 +a 1 x+...+a n 1 x n 1 +x n כאשר = 0.p(α) נשים לב כי 0 0 a (אחרת הפולינום x היא מחלק אותו, אבל p(x) אי פריק). a 0 +a 1 α+...+a n 1 α n 1 +α n = 0 נעביר את a 0 אגפים ונקבל: a 1 α+...+a n 1 α n +α n = a 0 a 1 +a 2 α...+a n 1 α n 2 +α n 1 = a 0 α α a 0 a 2 a 0 α... a n 1 a 0 α n 2 + αn 1 a 0 = 1 α כלומר, קיבלנו פולינום שאם מציבים בו α נקבלים 1 α. משפט α E,F E אלגברי מעל F אם ם < F].[F(α) : יתר על כן, degp(x) [F(α) : F] = כאשר p(x) הוא הפולינום המינימלי של α. 7

9 פרק 1. שדות 1.3. איבר אלגברי ופולינום מינימלי טענה F E שדות, α,β E אלגבריים אזי: α±β, α β, α /β גם הם אלגבריים (כאשר 0 β במנה) הוכחה: נסמן F(α) K, = הוא תת שדה של E (ממעלה שווה ל( x ) degp α הפולינום המינימלי שמאפס את α). נתבונן ב: K(β) (כלומר, לוקחים את K ומספחים אליו את β). אז זו הרחבה סופית של K, כי β אלגברי מעל F ולכן אלגברי מעל K. ולכן: [K(β) : K] deg(p β (x)) (x) p β הפולינום המינימלי של β מעל F (לא מעל K לכן זה ולא שיוויון). לכן: [K(β) : F] = [K(β) : K][K : F] = [K(β) : K][F(α) : F] degp β (x)degp α (x) < לכן K(β) הרחבה סופית של F המכילה את α β/,α β,α±β ולכן כולם אלגבריים. F(α,β) = F(α)(β) הגדרה סימון: : הגדרה F E שדות, α E אלגברי. נאמר ש α אלגברי ממעלה n אם הפולינום המינימלי של α מעל F הוא ממעלה n. מסקנה אם α,β E אלגבריים ממעלות סופיות m וn בהתאמה, אזי α±β,α β, α β/ אלגבריים ממעלה קטנה או שווה ל.m n דוגמה אלגברי ממעלה הקטנה מ 35. מסקנה E. מהווה תת שדה של F, שאלגבריים מעל E שדות, אזי אוסף האיברים של F E הערה נבחין כי כל איבר ב F הוא אלגברי מעל F (לדוגמה: a F הפולינום: a x מאפס את a) תזכורת F E הרחבה של שדות. [F(α) : F] < אם ם: (f (α) כך ש = 0 0 f (x) F[x] אלגברי (כלומר, קיים פולינום α E α,β אלגבריים אזי α /β,α β,α±β כולם אלגבריים. ולכן אוסף האיברים האלגבריים מעל F בE הוא תת שדה של E. דוגמה Q = אוסף האיברים האלגבריים מעל Q ב C. ראינו שאם α אלגברי, עם פולינום מינימלי (וראינו כי הוא אי פריק),p(x) אזי: /(p(x)).f(α) = F[x] נשים לב שמכאן נובע שטפוס האיזומורפיזם של F(α) תלוי רק בפולינום המינימלי שלו. כלומר, אם α,β E יש את אותו פולינום מינימלי אזי: F(β).F(α) = והאיזומורפיזם הזה מעביר בין α וβ. מכיוון שהראשון מעביר את x לα והשני את x לβ. יתר על כן, איזומורפיזם זה מקבע את אברי F במקומם (כלומר, כל איבר α F עובר להיות הפולינום הקבוע α). ולכן גם האיזומורפיזם בין /(p(x)) F[x] ל F(α) זו העתקה לינארית מעל F. אנו יכולים לחשוב עליה גם כהעתקה לינארית בין מרחבים וקטורים. כלומר ϕ : F[x] E המוגדרת: (α) ϕ(f (x)) = f משרה איזומורפיזם: F(α) ϕ : F[x] /kerϕ Imϕ = ϕ ( a f (x) ) = ϕ(a)ϕ(f (x)) = af (α) = aϕ ( f (x) ) כאשר f. (x) = f (x)+kerϕ והמעבר האחד לפני אחרון הוא מההצבה של a בפולינום הקבוע. ולכן גם האיזומורפיזם בין F(α) ל F(β) הוא F לינארי. האם יכול להיות כי F(α) ממש שווה ל?F(β) 8

10 1.3. איבר אלגברי ופולינום מינימלי פרק 1. שדות דוגמה p 1 (x) = x ו: p 2 (x) = x 2 +4 מעל.Q שניהם אי פריקים (אין להם שורשים, והם פולינומים ממעלה,2 לכן אי פריקים) השורשים של הפולינום הראשון הם i±. כלומר, אם ניקח את שדה ההרחבה: {Q Q(i) = {a+bi a,b רגע, למה זה שדה בכלל? כיוון ש: (a+bi) = a bi (a+bi)(a bi) והמכנה הוא ממשי לכן קיבלנו את אותו מבנה. אבל עכשיו אנו מבינים את זה בדרך יותר קונספטואלי. למעשה מדובר בהצבה של i בפולינומים מעל Q ממעלה עד 2. כלומר: Q(i) = Q[x] /(p 1(x)) ואילו הפולינום השני, השורשים שלו הוא ±2i, אבל מה זה שדה אשר מספחים אליו את 2i? זה בדיוק אותו שדה כמו שמספחים אליו את.i כלומר Q(i).Q(2i) = עד כה עסקנו בשאלה הבאה, יש לנו שדה F ויש לנו שדה הרחבה E כך שיש איבר α F האם יש פולינום שמאפס אותו. כעת אנו רוצים לעסוק בשאלה ההפוכה, כלומר האם יש שדה שעבורו פולינום נתון מתאפס. משפט יהי F שדה, F[x] f (x) פולינום לא קבוע (כלומר ממעלה הגדולה או שווה ל 1 ) אזי קיים שדה E המכיל את F שבו יש ל( x ) f שורש. הוכחה: בלי הגבלת הכלליות ניתן להניח ש (x) f פולינום אי פריק ב F[x] (אחרת נפרק אותו לפולינומים אי פריקים, הם לא קבועים מההגדרה, נקח אחד מהם ונמצא לו שורש). נסתכל בשדה /(f(x)) E. = F[x] מאחר ו (x) f אי פריק אזי זהו שדה. E מכיל את F (עד כדי איזומורפיזם) כיוון שאנחנו לוקחעים את F ואז: לוקחים את a ומעבירים אותו למחלקה שמכילה את a. כלומר: a F a+(f (x)) F F[x] π F[x] /(f(x)) נסמן x להיות המחלקה: ((x) x+(f נבחין כי E. x נטען כי x הוא שורש של (x) f. נבחין כי: n f (x) = a i x i כאשר.a i F נציב את :x n n f (x) = a i x i ( = a i x i +(f (x)) ) n ( = ai x i +(f (x)) ) = n a i x i +(f (x)) = f (x)+(f (x)) = 0+(f (x)) = 0 וזהו האיבר ה 0 של. E כלומר מצאנו שדה שמרחיב את F ובתוכו מצאנו שורש אשר מאפס את הפולינום. דוגמה נקח את.F = R ונקח.f (x) = x 2 +1 מה למעשה עשינו פה? נניח כי לא ידענו על קיומם של המרוכבים. אם היינו מבצעים את תהליך ההוכחה: נקח את R[x] ונחלק אותו ב ) 1+ ( x 2 כלומר: (1+. R[x] x)/ 2 אבל זה כל האיברים מהצורה.a+bx כלומר: R[x]/(x 2 +1) = { a+bx a,b R } ואם נחשב מה הוא נקבל: = 0 +1 (x) 2 0+1x = 9

11 1.4. שדה סגור אלגברית פרק 1. שדות 1.4 שדה סגור אלגברית הגדרה שדה סגור אלגברית: שדה K נקרא שדה סגור אלגברית אם לכל פולינום (x) f ממעלה גדולה או שווה ל 1 ב (x) f יש שורש בK. K[x] באופן שקול: לכל פולינום אי פריק ב K[x] יש שורש. ובאופן שקול: כל פולינום K[x] f (x) ניתן לכתיבה כ: f (x) = a(x λ 1 )... (x λ n ) כאשר.a,λ 1,...,λ n K משפט המשפט היסודי של האלגברה C (המרוכבים) הוא שדה סגור אלגברית. לא נוכיח את המשפט הזה במסגרת הקורס. למעשה, אין לו הוכחה אלגברית. נוכיח את זה בפונקציות מרוכבות. משפט נסמן Q = אוסף המספרים האלגבריים (מעל Q) ב C. הוא שדה סגור אלגברית. בהוכחה נשתמש במשפט היסודי של האלגברה, ונקבל שדה סגור אלגברית שהוא בן מנייה (כבר ציינו כי Q הוא בן מנייה). הוכחה: Q.a i צריך להוכיח שיש α Q כך ש: יהי Q[x] f (x) פולינום ממעלה גדולה או שווה ל 1. נסמן: f (x) = n a i x i כאשר.f (α) = 0 יהי α שורשת של (x) f בC (קיום שורש כזה מובטח ע י המשפט היסודי של האלגברה). צריך להוכיח ש α. Q כלומר שα עצמו אלגברי מעל Q (ולא רק מעל Q ). נתבונן ב: (α, Q(a 0 a, 1 a, 2 a,..., n (כלומר Q אשר סיפחנו לו את המקדמים של הפולינום ואת α) נבחן את: [Q(a 0,...,a n,α) : Q] = [Q(a 0,...,a n,α) : Q(a 0,...,a n )][Q(a 0,...,a n ) : Q] אבל )] n [Q(a 0,...,a n,α) : Q(a 0,...,a סופי, כי α הוא אלגברי מעל ) n Q(a 0,...,a (הוא שורש של פולינום עם מקדמים ב: ) n Q(a 0 a,..., כלומר אלגברי מעל שדה זה ואף ניתן להגיד כי ערכו קטן או שווה לn מכיוון שיש פולינום ממעלה n אשר מאפס אותו אבל לא מובטח לנו שהוא אי פריק). אבל גם [Q [Q(a 0 a,..., n ) : סופי, מכיוון ש a 0 a,..., n אלגבריים מעל Q לפי הגדרה ולכן גם נקבל כי: n[q(a 0,...,a n ) : Q(a 0,...,a n 1 )][Q(a 0,...,a n 1 ) : Q(a 0,...,a n 2 )]... אבל מכיוון ש a n אלגברי מעל Q הוא בוודאי אלגברי מעל ) 1 n Q(a 0 a,..., ולכן כל הכפולות הנ ל הן סופיות. הערה מסתתרת כאן למה כללית יותר: אם a 0,...a n E אלגבריים מעל F אזי: < F].[F(a 0,...,a n ) : לסיכום, אם ניקח את (α, Q(α) Q(a 0 a,..., n ומאחר והשדה בצד ימין הוא ממימד סופי מעל Q קל וחומר ש < [Q [Q(α) : ולכן α אלגברי מעל Q ולכן α Q כנדרש. טענה אם R[x] f (x) אי פריק אזי 2 (x)) deg(f.1 הוכחה: נניח R[x] f (x) אי פריק, יש לו α C (על פי המשפט היסודי) ולכן /(f(x)) R[x] הוא שדה אבל זה גם איזומורפי ל R(α). אבל R R(α) C ולכן: 1 dim R (R(α)) 2 ולכן: 2 /(f(x)).deg(f (x)) = dim R[x] כנדרש. הערה אם[ R[x f (x) ואםα שורשלאממשישל( x ) f אזגםα (הצמודהמרוכבשלα )הואשורש. ולכן (x α)(x α) x. 2 (α+α)x+α α אבל מה זו המכפלה הזו? f. (x) מסקנה כל פולינום לא קבוע R[x] f (x) מתפרק למכפלה של פולינומים ב[ R[x ממעלות 1 או 2. מיידי מהמסקנה הקודמת. 10

12 פרק 1. שדות 1.5. שדות סופיים מסקנה כל פולינום R[x] f (x) ממעלה אי זוגית יש שורש בR. נבחין מהמסקנה הקודמת, לא יכול להיות שכל הפולינומים המפרקים אותו הם זוגיים מכיוון שאז המעלה הייתה יוצאת זוגית. הוכחה נוספת היא בעזרת α וα, הרי מעל C הוא פריק לגורמים לינארים, ואז יש לו לכל היותר n שורשים כאלה, כלומר לא לכל אחד יש את הצמוד המרוכב שלו אזי יש שם איבר ממשי. הוכחה שלישית כמו שכבר ראינו באינפי, R[x] f (x) ממעלה אי זוגית (אפשר להניח שמתוקן) אזי: = (x) lim f לעומת זאת: x = (x) lim f (מכיוון שהאיבר המוביל הוא החזקה הגדולה ביותר, האחרים הופכים לזניחים ביחס אליו) ואז ממשפט ערך x הביניים, מכך שפולינום הוא פונקציה רציפה, יש x R כך ש = 0 (x) f. מסקנה אם F[x] f (x) פולינום ממעלה n, אזי לF הרחבה E ממעלה לכל היותר!n שבה (x) f מתפרק לגורמים לינארים. הוכחה: באינדוקציה על n: f(x) זה פולינום ממעלה 1 n ולכן יש הרחבה E 2 של E 1 ממעלה קטנה יש הרחבה E 1 ממעלה n שבה יש שורש.α לכן: 1[x] x α E f(x).(x α)(x β) E 2[x] כלומר: f(x) x α או שווה 1 n שבה יש שורש β של ונמשיך באינדוקציה. משפט לכל שדה F יש הרחבה F, כלומר F F כך ש F סגור אלגברית. יתר על כן, אם F אינסופי, אזי יש F מאותה עוצמה של F. בפרט אם F בן מנייה אזי יש F הוא בן מניה. אנחנו לא אומרים שהיא יחידה (למרות שכן במובן מה), לא נוכיח את זה במסגרת הקורס. 1.5 שדות סופיים אזי ל n הקטן ביותר המקיים זאת נקרא } {{} הגדרה מציין\קרקטריסטיקה: אם F שדה וקיים n N 0 כך ש = 0 nפעמים המציין של. F הערה אם לא קיים n כנ ל, נאמר שהמציין של F הוא 0. טענה המציין של F הוא מספר ראשוני. הוכחה: אם = ו n = m k אזי: = 0 }{{} nפעמים לכן אחד מ: או }{{} mפעמים טענה = אבל בשדה אין מחלקי אפס, }{{}}{{}}{{} nפעמים kפעמים mפעמים חייב להיות אפס, בסתירה למינימליות של n. }{{} kפעמים 1. אם F שדה עם מציין ראשוני p, אזי F מכיל את F p (כלומר מכיל שדה איזומורפי ל F). p 2. אם F שדה עם מציין 0, אזי מכיל את Q. הוכחה: 11

13 1.5. שדות סופיים פרק 1. שדות 1. נסתכל בp האיברים: }{{} 1 pפעמים יש כאן p איברים שחוקי החבור והכל בינהם מתנהגים בדיוק כמו ב: F p = Z /pz המוכר. עבןר החיבור הנ ל ברור, עבור הכפל נובע מהדיסטרבטיביות ושוב ברור. לכן יש באמת איזומורפיזם בין F p אליו. 2. לא נוכיח בשלב זה. מסקנה אם F שדה סופי, אזי קיים ראשוני p ושלם חיובי n כך ש F. = p n הוכחה: ברור שהמציין של F אינו 0, ולכן הוא p לאיזשהו ראשוני p. ולכן F מכיל את F, p ולכן F מרחב וקטורי מעל F p ממימד סופי, ולכן כמרחב וקטורי הוא איזומורפי ל F n p ובפרט, F = p n כנדרש שורשים מרובים של פולינום יהי F[x] f (x) = a n x n +a n 1 x n a 2 x 2 +a 1 x+a 0,f (x) כאשר.a i F נגדיר את הנגזרת להיות: f (x) = na n x n 1 +(n 1)a n 1 x n a 2 x+a 1 ma = a+a+...+a }{{} mפעמים כאשר עבור a F ו m N אנו מסמנים: הערה בניגוד לאינפי הנגזרת מוגדרת להיות כך, ולא עם גבולות. אנו רגילים כי נגזרת של פולינום ממעלה n הוא פולינום ממעלה 1 n, אבל הדבר לא בהכרח קורה בשדה עם מציין p. לדוגמה: (1 x p ) = p 1x p 1 = 0 טענה אם F[x] f (x),g(x) אזי: (f (x)+g(x)) = f (x)+g (x).1 (f (x) g(x)) = f (x)g(x)+f (x)g (x).2 תרגיל: להוכיח את הטענה הנ ל.. f(x) x α הגדרה שורש פשוט\שורש מרובה: אם F[x] f (x) וα שורש של (x) f יקרא שורש פשוט אם α אינו שורש של. f(x) x α וα יקרא שורש מרובה אם α שורש גם של במקרה השני, נקבל כי (x) (x α) 2 f 12

14 1.5. שדות סופיים פרק 1. שדות טענה אם F[x] f (x) אזי כל השורשים של (x) f הם פשוטים אם ם: = 1 (x)) (f (x),f (כלומר זרים, gcd שלהם הוא (1 הערה כדי לבדוק אם הם זרים, אפשר בעזרת האלגוריתם של אוקלידס. הוכחה: ניח α שורש מרובה אזי: (x).(x α) 2 f כלומר: g(x) f (x) = (x α) 2 לאיזשהו.g(x) f (x) = ( ) (x α) 2 g(x) נחשב את (x) :f נשתמש בנוסחת המכפלה: [ f (x) = (x α) 2] g(x)+(x α) 2 g (x) = [ (x α) (x α)+(x α)(x α) ] g(x)+(x α) 2 g (x) מכאן ש (x) x α f וכזכור (x) (x α) 2 f ולכן: (x)) x α (f (x),f ובפרט: 1 (x)).(f (x),f f (x) = a נניח כי 1 ((x) f) (x),f נרצה להראות כי יש שורש מרובה. n (x λ i ) i=1 נניח שאין שורש מרובה אזי: n f (x) = a (x λ i ) n j ) = a (x λ j ) j i(x λ i=1 i=1 j i וכל ה λ i שונים ו 0.a אפשר לחשב את הנגזרת: ולכן עבור r = n,...,1 נקבל כי: f (λ r ) = a j r (λ j λ r ) אם אין שורש מרובה הרי 0 ) r f λ) לכל r. = n,...,1 כלומר אין ל (x) f ו (x) f שורשים משותפים באף שדה הרחבה. ולכן לא ייתכן שיהיה להם מחלק משותף נשתמש בטענות הנ ל באופן הבא: יהיה F = F p = Z /pz השדה מסדר p) p ראשוני). נקבע n N ונתבונן בפולינום. f (x) = x pn x ראשית נציין ש 1 = (x).f בפרט, = 1 (x)) (f (x),f ולכן בשדה הרחבה E שבו (x) f מתפצל לגורמים לינארים כל שורשי (x) f הם שונים זה מזה. יהי E שדה שבו אכן (x) f מתפרק לגורמים לינארים ונסמן ב K את אוסף שורשי (x) f: { } K = α E α pn α = 0 13 K = p n.p n הנ ל קבוצה מסדר K טענה K מהוה שדה. הוכחה: ננבחין כי K 0,1. יהיו.α,k K נבחין כי:.(α+β) pn

15 1.5. שדות סופיים פרק 1. שדות למה יהי D שדה ממציין p ראשוני. יהיו α,β D אזי: (α+β) p = α p +β p.1 (α β) p = α p β p.2 (α+β) p = (α+β)(α+β)...(α+β) = p ( ) p α i β p i i הוכחה: 2 ברור. נראה את 1. נבחין כי: ( ) p = i p! i!(p i)! p ( p כיוון ש: i) אבל נשים לב שעבור > 0 i p > מתקיים p הוא ראשוני, אבל > 0 i p > ולכן לא מופיע במכנה, ולכן הוא לא מצטמצם. כלומר בסכום הנ ל אנו צריכים להסתכל רק על הראשון והאחרון כיוון שאם אנו מחברים p פעמים את אותו איפה אנו מקבלים אפס (זו המשמעות של מציין p) ולכן נקבל כי: ( ) ( ) (α+β) p p p = α 0 β p 0 + α p β p p = a 0 β p +α p β 0 = α p +β p 0 p כנדרש. מסקנה D שדה ממציין < p 0. אזי העתקה Φ : D D המוגדרת באופן הבא: Φ(α) = α p היא הומומורפיזם של שדה הנקרא הומומורפיזם של פרודיניוס. (α+β) pn = Φ n (α+β) = Φ n (α)+φ n (β) = α pn +β pn = α+β נבדוק ש K סגור לחיבור\כפל ולקיחת הופכי. לגבי החיבור, אם α,β K נבחין כי: הערה כאשר Φ זה ההומומורפיזם של פרודיניוס. ולכן גם Φ n הומומורפיזם. הערה ) n.k = Fix(Φ אם,α,β K נבחין כי גם:.(α β) pn = α pn β pn = αβ α β K.α 1 K כלומר, ( α 1) p n = ( α pn ) 1 לבסוף, נבחין כי אם α K 0 אזי: 1 α = מסקנה לכל p ראשוני ולכל n N 1 יש שדה מסדר.p n מסקנה לכל n l יש שדה ביניים יחיד בין F p לK מסדר p. l הוכחה: ראינו שיש L כזה. מדוע הוא יחיד? אם L שדה נוסף מסדר p l בתוך K אזי איברי L השונים מ 0 נמצאים ב \{0} L (L ) = זו חבורה סופית מסדר 1 l p ולכן מקימים = 1 1 pl.γ ולכן γ pl = γ כלומר שורשי הפולינום x pl x וכך גם,0 אזי.L = L 14

16 1.5. שדות סופיים פרק 1. שדות הערה לשדה K מסדר p n יש בדיוק n אוטומואפיזם. למעשה: Aut(K) = { Id,Φ,Φ 2,...,Φ n 1} אם H חבורה חלקית של Φ אז H ציקלית ונוצרת ע י Φ r כאשר.r n נסתכל על H} H = {α K ψ(α) = α ψ, זהו שדה מסדר.p r 15

17 פרק 2 לבנות בעזרת סרגל ומחוגה נתונה קבוצת נקודות S במישור. בידינו סרגל (הכוונה למוט ישר בלי סימוני קורדינטות עליו, ארוך כרצונינו) ומחוגה. מתוך הקבוצה S אפשר לבנות נקודות חדשות במישור באופן הבא: בין כל 2 נקודות ב S אפשר למתוח קו ישר ולהמשיכו לשני הצדדים כרצוננו. כמו כן ניתן לפתוח את המחוגה כךשקצותיהיהיו בנדוקות s 1,s 2 S ואז לצייר מעגל ברדיוס ) 2 dist(s 1,s מסביב הנקודה.s 3 S הנקודות החדשות הן נקודות מפגש של קוים ומעגלים שנבנו כך מS. נבחין שעם נקודה אחת אני לא יכולים לעשות כלום. לעומת זאת בעזרת 2 נקודות אנו ראשית יכולים להעביר בניהם ישר. וכמו כן לבנות מעגל כאשר הרדיוס שלו יהיה המרחק בניהם סביב הנקודה הראשונה וסביב השניה (לא מדובר באותו מעגל!). יצרנו כאן 2 נקודות חדשות, אם נעביר ישר בין הנקודות החדשות נקבל חיתוך עם הישר הראשון, אשר יחתוך אותו בדיוק באמצע בין הנקודות. כלומר בעזרת סרגל ומחוגה, ניתן לחלק כל קטע לחצי ואנו גם יכולים לבנות אנך (כיוון שהוא יהיה מאונך כי מתקבל מעויין למעשה). נבחין כי אנו מקבלים למעשה את כל השלים בצורה זו גם על ציר הx וגם על ציר הy (החיתוך של הנוצר מהמחוגה עם הישר). ולכן אנו יכולים גם לקבל חלוקה בn. לדוגמה נשיג את 3 בכך שנעביר ישר בין (0,3) ל (1,0). ונעביר לו ישר מקביל העובר ב (0,1) ואז הוא יחתוך את ציר הx בשליש. איך מעבירים מקביל? נפתח מעגל סביב הנקודה הראשונה בקטע העובר בנקודה שבא אנו רוצים את המקביל. באופן דומה עם הנקודה השניה. מהקודקוד החדש נקבל דלתון (האלכסונים ניצבים!). על מנת לקבל מקביל ניצור באופן דומה לבניית השלמים נקודה בהמשך הישר כך שנקבל שהנקודה שלנו בדיוק במרכזו, ונשתמש בטכניקה ממקודם על מנת לקבל ניצב. למעשה אנו יכולים לבנות כל מספר רציונליים, אבל לא רק! לדוגמה ניתן גם לבנות את 2 נבנה ריבוע, הרדיוס מ( 0,0 ) ל (1,1) הוא 2, נבנה עיגול, החיתוך עם ציר הx הוא שורש לרבע את המעגל. π 2 דהיינו, הם רצו נותנים לנו קטע בין 0 ל 1 ובונים סביבו מעגל. אנו מחפשים ריבוע שההקף שלו הוא כמו ההקף של המעגל, כלומר ריבוע שההקף שלו הוא 2π, כלומר צלע שהיא π. 2 אבל π הוא לא אלגברי! לכן גם π 2 ולכן אין דרך להגיע לזה בעזרת סרגל ומחוגה! לבנות את הנקודה הגדרה ניתן לבניה: מספר ממש α נקרא ניתן לבניה אם להגיע ל( α,0 ) במספר סופי של צעדי בניה החל מ( 0,0 ) ו( 1,0 ) ע י סרגל ומחוגה. הערה α ניתן לבניה אם ם קיים β כך שניתן להגיע במספר סופי של צעדי בניה ל (α,β) ואם ם ניתן להגיע ל (α,0). ראינו כי כל מספר רציונלי הוא ניתן לבניה. למה אם α,β ניתנים ולבנייה אזי a+β ניתן לבניה. הוכחה: אם אנו יודעים להגיע ל (0,α) ו( β,0 ) אז אנו שמים מחוגה בניהם ומגיעים ל α+β על ידי סיבוב ב 180 מעלות. 16

18 פרק 2. לבנות בעזרת סרגל ומחוגה 2.1. לרבע את המעגל טענה אם α מספר ממשי חיובי ניתן לבניה, אזי גם α ניתן לבניה. הוכחה: אם α ניתן לבניה גם 1+α ניתן לבניה. נצייר מעגל שקוטרו α+1. 1+α ומשתמשים בו כרדיוס. 2 הערה מוצאים את יש לנו גם את הנקודה (1,0) נעביר דרכה אנך. ונסמן (β,1) את הנקודת החיתוך עם המעגל. המשולש (0,0),(1,β),(α+1,0) הוא ישר זווית (משולש שהיתר שלו הוא הקוטר הוא ישר זווית). כמו כן, האנך מפצל את המשולשים לדומים (קל להראות שהזוויות שוות) ולכן נשמרים יחסים בין הצלעות. ונקבל: β α = 1 β β2 = α ולכן מצאנו שורש לα. טענה אוסף המפרים הניתנים לבניה K הוא תת שדה ש R. הוכחה: K,0,1 ראינו שאם α,β K אזי.α+b K נראה שגם.α β K נבחין כי אנו יודעים לבנות את (0,1), נעביר קו בין (0,α) ל (0,1). נעביר דרך (0,β) מקביל לישר הקודם. המשולשים שנוצרו על ידי הישרים והצירים דומים. לנקודת החיתוך של הישר העובר דרך (0,β) נקרא (γ,0). γ β = 1 α. β α נבחין כי: נקראה שגם K ולכן: γ = β α ו: γ ניתן לבניה. נראה ש.α β K הפעם נמקם את β דווקא על ציר y. נעביר קו בין (0,α) ל (0,1) ונעביר גם בין (β,0) ל( γ,0 ) קו מקביל לקודם. נקבל שוב משולשם דומים, ונקבל: γ β = α 1 γ = α β ולכן K אכן תת שדה. נניח ש 2 נקודות (a,b) ו (c,d) במישור ניתנות בניה, אזי משוואת הישר בניהן היא: ( ) d b l(x) = x+b d b c a c a a מה שחשוב הוא, שהמקדמים של הישר ניתנים לבנייה. אם (a,b),(c,d),(e,f) ניתנים לבנייה אז אנו יכולים לקבל את המעגל: (x e) 2 +(y f) 2 = r 2 כאשר: r 2 = dist 2 ((a,b),(c,d)) = (a c) 2 +(b d) 2 17

19 פרק 2. לבנות בעזרת סרגל ומחוגה 2.1. לרבע את המעגל ניתן לפתוח את זה, ולקב: x 2 +y 2 2ex 2fy +g = 0 עבור g כלשהו. לא כל כך מעניין אותנו הדיוק, מה שמעניין אותנו הוא שהמעגל שיצרנו הוא מהצורה: x 2 +y 2 +αx+βγ +δ = 0 כאשר α,β,δ ניתנות לבנייה. איך מקבלים נקודה חדשה הניתנת לבנייה (מתוך הנקודות שכבר בנינו בשלבים שלנו). נקודה חדשה שניתנת לבנייה מתקבלת ע י: 1. חיתוך ישר עם ישר 2. חיתוך ישר עם מעגל 3. חיתוך מעגל עם מעגל הערה בכל אחד מהמקרים מקדמי משוואת הישר או המעגל נמצאים בשדה הנוצר מעל Q בעזרת הנקודות שנבנו עד כה. טענה אם ρ R מספר ממשי ניתן לבניה בסדרה סופית של פעולות, אזי יש סדרה של שדות: Q K 1 K 2... K m כך ש 2 ] i 1 [K i : K לכל i = 1,...,m ו:.ρ K m הוכחה: בתהליך הבניה מתחילים בנקודות {(1,0),(0,0)} = 0 S וכל פעם בונים קבוצה גדולה יותר בנקודה אחת: S 0 S 1 S 2... S m עד.ρ S m הקורדנטות של S 0 נמצאות ב Q. בהוספת נקודה חדשה מ 1 i S ל S i מה עושים? נתבונן בנקודה חדשה שהתקבלה: { y = αx+β y = α x+β 1. חתוך של שני ישרים: אם יש פתרון, אזי הוא לא יוצא מהשדה שבו מקדמי המשוואותץ { y = αx+β x 2 +y 2 +γx+δy +η = 0 2. חיתוך ישר ומעגל: מציבי את y מהמשוואה הראשונה בשניה ומקבלים: לא מספיק מעניין לפתוח את זה, בגדול נקבל: x 2 +(αx+β) 2 +γx+δ(αx+β)+η = 0 בשדה ± = 1,2 x יכול להיות שנחרוג מהשדה, כיוון שיכול להיות שהשורש לא בשדה, לכן כאן עלינו לכל היותר עלינו בשדה ב 2 מעלות. 18

20 2.1. לרבע את המעגל פרק 2. לבנות בעזרת סרגל ומחוגה { x 2 +y 2 +αx+βy +δ = 0 x 2 +y 2 +α x+β y +δ = 0 { x 2 +y 2 +αx+βy +δ = 0 (a a )x+(β b )y +(δ d ) = 0 3. חיתוך מעגל עם מעגל, נקבל 2 משוואות: פתרון זוג משוואות זה שקול לפתרון של: (הפחתנו את המשוואה השניה מהראשונה). אבל זו משוואה של ישר כבר, וזה מקרה ב. טענה α R ניתן לבנייה אם ם קיימת סדרת שדות Q K 1 K 2... K m כך ש 2 ] i 1 [K i : K לכל i = 1,...,m ו:.α K m הערה נבחין כי הוכחנו את הטענה בכיוון אנו כעת רוצים להראות כי זה אכן אם ם. הוכחה: כאמור את הכיוון ראינו. נראה את. נניח שיש סדרה כנ ל. וצריך להוכיח ש α ניתן לבנייה. ראשית נוכיח את הלמה הבאה: למה אם F שדה כלשהו ממציין 2 ו: E הרחבה של F כך ש = 2 F] [E : אזי קיים β F כך ש ) β.e = F ( הערה זהירות. זה לא נכון במציין.2 למשל.F 4 נבחין את = 2 ] 2.[F 4 : F אבל כל β F 2 β F 2. הוכחה: נבחר γ E כך ש γ. / F יהא p(x) הפולינום המתוקן המינימלי של γ מעל F. ברור ש F(γ) E. = אזי: = 2 F].degp(x) = [E : אזי: p(x) = x 2 +bx+c ושורשיו הם: x 1,2 = b± b 2 4c 2 הערה זו המשמעות של 4, כלומר:.c+c+c+c אבל מה זה אומר לחלק ב 2? זה אומר לפתור את המשוואה:.x+x = y = (1+1) 1( b+ ) b 2 4c כלומר: נקח:.F β = b 2 4c נבחין כי:.F ( β ) = F(γ) = E כלומר:. γ = x 1 x 2 וסיפוח β יחד עם סגירות בשדה סיפוח.γ נזכיר שהראנו שאם γ ניתן לבנייה אזי גם γ ניתן לבנייה. ולכן באינדוקציה על m (תוך שימוש בלמה) כל איברי K m ניתנים לבניה וכך גם α. K i = K i 1 ( βi 1 ) אנו יכולים להגיד: עבור i 1 β i 1 K כלשהו. 19

21 פרק 2. לבנות בעזרת סרגל ומחוגה 2.1. לרבע את המעגל מסקנה אם α R ניתן לבנייה אזי α אלגברי [Q(α) : Q] = 2 l לאיזשהו N {0}.l הוכחה: בסימונים הקודמים: Q(α) K m ולכן: [Q(α) : Q] [K m : K] 2 m הערה יתכן כי [Q(α) : [Q = 2 l וα לא ניתן לבניה! (זהו לא תנאי הכרחי ומספיק). משפט אי אפשר לרבע את המעגל. 2. אי אפשר לרבע את העיגול. הוכחה: ראשית נבחין כי:. π 2 1. שקול לכך שלא ניתן לבנות את 2. שקול לכך שלא ניתן לבנות את π. ושניהם נכונים בגלל משפט לינדנמם (אשם לא נוכיח) האומר כי: π לא אלגברי. ולכן π ו π 2 לא אלגברי. משפט אי אפשר להכפיל את הקובייהץ כלומר איננו יכולים לבנות ע י סרגל ומחוגה צלע של קוביה שנפחה פעמיים נפח קוביה נתונהץ הערה במילים אחרותץ לא ניתן לבנות את 3 2. הוכחה: זה כך בגלל ש 3 2 = α הוא שורש של x 3 2 אבל x 3 2 הוא פולינום אי פריק מעל Q. בגלל שאין לו שורש רציונלי, אבל הוא ממעלה 3, לכן אם היה פריק היה חייב להיות לו שורש. משפט אי אפשר לחלק זווית כללית לתונה ל 3 ע י סרגל ומחוגה. הערה למעשה נוכיח שאת הזווית 60 אי אפשר לחלק ל 3. באופן שקול: המספר הממשי ) cos(20 לא ניתן לבנייה. הוכחה: מטרתנו להוכיח כי ) cos(20 לא ניתן לבנייה. נסמן: ) 2cos(20 βץ = זהות טריגונומטרית כללית: ψ זוית כלשהי אזי מתקיים: cos(3ψ) = 4cos 3 (ψ) 3cos(ψ) 1 2 = 4cos3 (20 ) 3cos(20 ) נישם עבור 20 = ψ. נבחין כי: ( ) 3 1 β 2 = 4 3 β = 4 8 β3 3 2 β β3 3β 1 = 0 כאמור: cos(20 ) = β 2 ולכן: 20

22 פרק 2. לבנות בעזרת סרגל ומחוגה 2.2. פריקות של פולינומים למה הפולינום = 0 3x 1 x 3 הוא פולינום אי פריק. הוכחה: נחליף את x ב 1+x ונקבל: f (x+1) = (x+1) 3 3(x+1) 1 = (x+1) ( x 2 +2x+1 ) 3x 4 = x 3 +2x 2 +x+x 2 +2x+1 3x 4 = x 3 +3x 2 3 למה הפולינום x 3 +3x 2 3 הוא אי פריק. הערה למה 2 למה 1 ) cos(20 לא ניתן לבנייה. הוכחה: נגררת מיידית מקריטריון אייזנשטיין אשר נראה עוד רגע עבור = 3 p. ובכך למעשה סיימנו את הוכחה המשפט מכיוון שמזה נובע כי: 3 = [Q(β) : Q] = [Q(cos(20 )) : Q] וזה גורר כי ) cos(20 לא ניתן לבנייה. 2.2 פריקות של פולינומים טענה אם F[x] f (x) פולינום ו: a F אזי (x) f אי פריק אם ם (x+a) f אי פריק. הוכחה: מספיק להוכיח שאם (x) f פריק אזי גם (x+a) f פריק. הערה כי אם g(x) f (x+a) = אזי: g(x a).f (x) = וזה טריוויאלי כי: h(x)k(x) f (x) = אז: h(x+a)k(x+a).f (x+a) = קריטריון אייזנשטיין (Eisenstein) משפט קריטריון אייזנשטיין אם f (x) = a n x n +a n 1 x n a 1 x+a 0 פולינום ב[ Q[x עם מקדמים שלמים.a i Z נניח שקיים p ראשוני כך ש: p a n.1 i = לכל 0,...,n 1 p a i.2 p 2 a 0.3 אזי (x) f פולינום אי פריק ב.Q[x] למה למת גאוס אם Z[x] f (x) אי פריק ב[ Z[x אזי הוא גם אי פריק ב.Q[x] או: אם קיימים פולינומים Q[x] h(x),g(x) לא קבועים כך ש: g(x)h(x) f (x) = אזי קיימים Z[x] g (x),h (x) לא קבועים כך ש (x).f (x) = g (x)h 21

23 פרק 2. לבנות בעזרת סרגל ומחוגה 2.2. פריקות של פולינומים הוכחה: נניח g(x)h(x) f (x) = כאשר Q[x] g(x),h(x) פוינומים לא קבועים. ע י הכפלה במכנה המשותף הקטן ביותר (נסמנו m) של כל המכנים של כל מקדמי g(x),h(x) אפשר להניח ש: = (x) mf.g(x)h(x) כך ש m N ו: g(x),h(x) Z[x] נניח שp מחלק את m. נוכיח שעבור או g(x) או h(x) הוא גם מחלק את כל המקדמים שלהם. וזה יסיק את ההוכחה. נניח בשלילה כי p אינו מחלק את כל מקדמי g(x) ואינו מחלק את כל מקדמי.h(x) נסמן: n mf (x) = a i x i i=1 ואילו: g(x) = h(x) = k b i x i l c i x i יהיו i 0,j 0 האינדקסים הקטנים ביותר כך ש: p b i0 ו:.p c j0 נבחין כי: a i0+j 0 = b 0 c i0+j 0 +b 1 c i0+j b i0 c j0 +b i0+1c j b i0+j 0 c 0 אבל נבחין כי כולם פרט למסומן מתחלקים בp מכיוון שהנחנו כי i 0 j, 0 הם הראשונים שלא מחלקים. p a i0+j 0 וזו סתירה. כלומר רק b i0 c j0 לא מתחלק בp ולכן כעת יש לנו את הכלים להוכיח את קריטריון אייזנשטיין: משפט קריטריון אייזנשטיין אם f (x) = a n x n +a n 1 x n a 1 x+a 0 פולינום ב[ Q[x עם מקדמים שלמים.a i Z נניח שקיים p ראשוני כך ש: p a n.1 i = לכל 0,...,n 1 p a i.2 p 2 a 0.3 אזי (x) f פולינום אי פריק ב.Q[x] הוכחה: על פי למת גאוס, מספיק להוכיח שאי אפשר לכתוב את g(x)h(x) f (x) = כאשר Z[x] g(x),h(x) פולינומים לא קבועים. נניח שכן, נכתוב: g(x) = h(x) = k b i x i l c i x i כאשר 1 k,l.b i,c i Z,n > נשים לב כי: a 0 = b 0 c 0 22

24 2.3. השדה ה p ציקלוטומי פרק 2. לבנות בעזרת סרגל ומחוגה ועל פי ההנחה p 2 b 0 c 0 ו: p b 0 c 0 לכן אחד מ b 0 c 0 מתחלק בp אבל לא שניהם. בלי הגבלת הכלליות, נניח p b 0 ו:.p c 0 a i0 = b 0 c i0 +b 1 c i b i0 1c 1 + b i0 c 0 }{{} מתחלק בp נשים לב שלא ייתכן ש p b i לכל i = 0,...,k כי.p a n יהא i 0 האינדקס הראשון כך ש.i 0 k n p b i0 נחשב את a: i0 ואילו האיבר הממוסגר אינו מתחלק בp (כיוון שהנחנו בה כ כי p b i0 וגם p). b i0 וזו סתירה להנחה ש p a i0 (נזכור ש.( i 0 < k דוגמה לכן x n p הוא אי פריק, וגם x n +px+p ועוד רבים אחרים... מסקנה לכל n יש פולינום אי פריק ממעלה ב[ Q[x. 2. וכמו כן, לכל n יש לQ הרחבה E כך ש E]. : [Q = n.3 לכל,n יש לQ הרחבה E C ממעלה.n.4 לכל n N יש E R הרחבה של Q עם.[E : Q] = n.4 יהי p > 0,p(x) = x n p ראשוני ב.Z נקח α = n p (השורש הממשי של.(p ואז E = Q(α) R ומתקיים [E : Q] = deg(p(x)) = n הוכחה: טענה יהא p מספר ראשוני. נתבונן בפולינום: 1 p.x נפרק אותו: ) +x+1 x p 1 = (x 1) ( x p 1 +x p x 2 אזי f (x) = xp 1 x i הוא אי פריק. f (x+1) = (x+1)p 1 (x+1) 1 = p ( p ) i x i 1 x = ( ) ( ) p p x p 1 + x p p p 1 x 1 = p 1 הוכחה: נתבונן ב (1+x) f. ( ) p x ( ) p 1 1 p ( p לכל < i < p 0 (ואלה בדיוק מופיעים שם). ו: i) נבחין כי על הפולינום הנ ל, אפשר להפעיל את קריטריון אייזנשטיין, מאחר ו: ( ( 2 p. ולכן מקריטריון אייזנשטיין נקבל כי (1+x) f אי פריק, ולכן גם (x) f אי פריק וסיימנו. p 1) = p וגם:.p p p) = השדה ה p ציקלוטומי היחידה של 1 בC : שורשי ראשוני. נסתכל בp p { } µ(p) = e i2π p k k = 0,...,p 1 נרצה לספח את כולם. נסמן Q(µ(p)) E. = נשים לב שמאחר ו p ראשוני, אז אם µ(p) λ 1 אזי Q(µ(p)).Q(λ) = בגלל ש( µ(p היא למעשה חבורה ציקלית מסדר ראשוני, וכל איבר 1 λ בתוכה יוצר אותה. 23

25 2.3. השדה ה p ציקלוטומי פרק 2. לבנות בעזרת סרגל ומחוגה 1 xp 1+x+x 2 x p = הוא אי פריק, לפי הטענה האחרונה. הוא מאפס את λ ולכן זה הפולינום המינימלי של הפולינום: 1 x λ. ולכן: [Q(µ(p)) : Q] = [Q(λ) : Q] = p 1 24

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

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

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

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 =

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

פתרון תרגיל מרחבים וקטורים. 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+ הוא אוסף הפתרונות של המערכת

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

פתרון תרגיל 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

= 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π

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

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 פונקציה מוגדרת

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

אלגברה מודרנית פתרון שיעורי בית 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) < עבור המקרים הבאים: (תזכורת:

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

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

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

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

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

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

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

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

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

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

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

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

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

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 פונקציות המוגדרות בסביבה נקובה

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

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 =

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

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

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

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

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

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

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

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. נבחר תת חבורה

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

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

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

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

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

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

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

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

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

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

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

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

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

מתמטיקה בדידה תרגול מס' 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 או, בסימון

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

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

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

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

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

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

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

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

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

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

מתכנס בהחלט אם 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

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

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

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

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

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

אלגברה לינארית מטריצות מטריצות הפיכות מטריצות + [( α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 חיבור מכפלה בסקלר מכפלה בסקלר קומוטטיב אסוציאטיב

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

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

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

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

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

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

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

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME הנדסת המישור - תרגילים הכנה לבגרות תרגילים הנדסת המישור - תרגילים הכנה לבגרות באמצעות Q תרגיל 1 מעגל העובר דרך הקודקודים ו- של המקבילית ו- חותך את האלכסונים שלה בנקודות (ראה ציור) מונחות על,,, הוכח כי

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

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

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

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

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

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

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

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

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

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

[ ] 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.38 הקדמה. שדות הם החוגים המוצלחים ביותר: הם קומוטטיביים, וכל האברים שלהם הפיכים. המרכז של כל חוג פשוט הוא שדה, ולכן אין זה פלא ששדות תופסים מקום מרכזי

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

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

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

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

אלגברה לינארית (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

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

אלגברה ליניארית 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)

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

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

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות λ = 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 לערך העצמי λ, אזי λ הוא

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

{ : Halts on every input}

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

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

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

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

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

אינפי - 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: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

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

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

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

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

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

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

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

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

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

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

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 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

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

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

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

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

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

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

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

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

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

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

חשבון אינפיניטסימלי מתקדם II 21 ביוני 2012

חשבון אינפיניטסימלי מתקדם II 21 ביוני 2012 חשבון אינפיניטסימלי מתקדם 836 II אור דגמי, or@digmi.org ביוני אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ ארז לפיד בשנת לימודים נושאים לקורס. המרחב.C(K). קירוב ע י פולינומים, משפט Stone-Weirstrss

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

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

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

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

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

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

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

גירסה 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 פתרון כלשהו של המערכת ההומוגנית

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

אלגברה ליניארית 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: נבצע פעולות עמודה אלמנטריות

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

שדות הגדרת השדה: חשבון מודולו 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

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

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

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

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

תרגול משפט הדיברגנץ. 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 פו' סקלרית:

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

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

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

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

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

חשבון אינפיניטסמלי מתקדם 1 סיכומי הרצאות חשבון אינפיניטסמלי מתקדם 1 סיכומי הרצאות 13 בינואר 211 מרצה: אילון לינדנשטראוס מתרגל: רון רוזנטל סוכם ע י: אור שריר פניות לתיקונים והערות: tnidtnid@gmail.com אתר הסיכומים שלי: http://bit.ly/huji_notes

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

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

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

אוסף שאלות מס. 3 פתרונות

אוסף שאלות מס. 3 פתרונות אוסף שאלות מס. 3 פתרונות שאלה מצאו את תחום ההגדרה D R של כל אחת מהפונקציות הבאות, ושרטטו אותו במישור. f (x, y) = x + y x y, f 3 (x, y) = f (x, y) = xy x x + y, f 4(x, y) = xy x y f 5 (x, y) = 4x + 9y 36,

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

מערך תרגיל קורס סמסטר ב תשע ה בחשבון אינפיניטסימלי 2 למדעי המחשב

מערך תרגיל קורס סמסטר ב תשע ה בחשבון אינפיניטסימלי 2 למדעי המחשב מערך תרגיל קורס 89-33 סמסטר ב תשע ה בחשבון אינפיניטסימלי למדעי המחשב יוני 05, גרסה 0.9 מבוא נתחיל עם כמה דגשים: דף הקורס נמצא באתר.www.math-wiki.com שאלות בנוגע לחומר הלימודי מומלץ לשאול בדף השיחה באתר

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

3-9 - a < x < a, a < x < a

3-9 - a < x < a, a < x < a 1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.

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

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

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

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

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 אוניברסיטת בר אילן סמסטר א תשע ו תוכן העניינים 3 מבוא.............................. 3 מבוא לתורת

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

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

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

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

שאלה 1 נתון: (AB = AC) ABC שאלה 2 ( ) נתון. באמצעות r ו-. α שאלה 3 הוכח:. AE + BE = CE שאלה 4 האלכסון (AB CD) ABCD תשובה: 14 ס"מ = CD.

שאלה 1 נתון: (AB = AC) ABC שאלה 2 ( ) נתון. באמצעות r ו-. α שאלה 3 הוכח:. AE + BE = CE שאלה 4 האלכסון (AB CD) ABCD תשובה: 14 סמ = CD. טריגונומטריה במישור 5 יח"ל טריגונומטריה במישור 5 יח"ל 010 שאלונים 006 ו- 806 10 השאלות 1- מתאימות למיקוד קיץ = β ( = ) שאלה 1 במשולש שווה-שוקיים הוכח את הזהות נתון: sin β = sinβ cosβ r r שאלה נתון מעגל

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

"קשר-חם" : לקידום שיפור וריענון החינוך המתמטי

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

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

סרוקל רזע תרבוח 1 ילמיסיטיפניא ןובשח

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

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

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

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

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

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

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

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

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

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

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

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

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

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

פונקציות מרוכבות בדצמבר 2012

פונקציות מרוכבות בדצמבר 2012 פונקציות מרוכבות 80519 אור דגמי, or@digmi.org 30 בדצמבר 2012 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ גנאדי לוין בשנת לימודים 2013 מייל של המרצב: levin@math.huji.ac.il אפשר לקבוע פגישה. הקורסלאמבוססעלאףספרספציפי,

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

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

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

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

(ספר לימוד שאלון )

(ספר לימוד שאלון ) - 40700 - פתרון מבחן מס' 7 (ספר לימוד שאלון 035804) 09-05-2017 _ ' i d _ i ' d 20 _ i _ i /: ' רדיוס המעגל הגדול: רדיוס המעגל הקטן:, לכן שטח העיגול הגדול: / d, לכן שטח העיגול הקטן: ' d 20 4 D 80 Dd 4 /:

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

פרק 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 פונקציה אנליטית

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

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

תשובות מלאות לבחינת הבגרות במתמטיקה מועד חורף תשעא, מיום 31/1/2011 שאלון: מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן. בB בB תשובות מלאות לבחינת הבגרות במתמטיקה מועד חורף תשע"א, מיום 31/1/2011 שאלון: 035804 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1 מכונית נסעה מעיר A לעיר B על כביש ראשי

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