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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcript

1 קיום ויחידות פתרונות למשוואות דיפרנציאליות 1 מוטיבציה למשפט הקיום והיחידות אנו יודעים לפתור משוואות דיפרנציאליות ממחלקות מסוימות, כמו משוואות פרידות או משוואות לינאריות. עם זאת, קל לכתוב משוואה דיפרנציאלית שאיננה פרידה וגם איננה לינארית, למשל: y = y 3 +t. איננו יודעים כיצד למצוא פתרונות למשוואה זו, ולמעשה לא ידוע פתרון מפורש שלה. השאלה שעולה כאן היא האם קיימים פתרונות למשוואה, אבל אולי כאלה שאי אפשר לכתוב במפורש. משפט הקיום למשוואות דיפרנציאליות מבטיח לנו, בתנאים מסוימים, שאכן קיימים פתרונות למשוואה, אפילו אם אנחנו לא מסוגלים לכתוב אותם במפורש. בהיסטוריה של המתמטיקה עלתה השאלה לגבי קיום פתרונות של משוואות דיפרנציאליות בחריפות בהקשר של המשוואות הדיפרנציאליות המתארות תנועה של כוכבי לכת תחת כוח המשיכה ההדדי שהם מפעילים אחד על השני. כאשר מדובר בשני גופים בלבד, למשל השמש וכדור הארץ, אייזק ניוטון ( ) פתר את המשוואה הדיפרנציאלית המתארת את התנועה של כדור הארץ, וקיבל שהמסלול המתקבל הוא אליפסה. כאשר מדובר בשלושה גופים או יותר למשל השמש, כדור הארץ והירח, למרות שקל לכתוב את המשוואות הדיפרנציאליות המתאימות, איש עד היום לא הצליח למצוא פתרון מפורש עבורן. לכן עלתה השאלה האם למשוואות האלה קיים בכלל פתרון. מבחינה פיזיקלית נראה "ברור" שקיים פתרון, שכן המשוואות מייצגות תופעה בעולם האמיתי. יתרה מזאת,בעזרת אלגוריתמים נומריים אפשר למצוא פתרונות מקורבים כך אנו יכולים למשל לחזות בדיוק מתי יתרחש ליקוי חמה הירח יסתיר את השמש אלפי שנים בעתיד. אבל השאלה המתמטית לגבי קיום הפתרונות עומדת בעינה כיצד נוכל להיות בטוחים שלמשוואה דיפרנציאלית יש פתרונות, אם איננו יכולים לכתוב אותם במפורש? 1

2 3 משפט הקיום והיחידות למשוואות דיפרנציאליות 2 דוגמה להוכחת קיום ויחידות פתרון למשוואה אלגברית כדי להדגים את הרעיון שלמשוואה יכול להיות פתרון גם אם איננו יכולים לכתוב אותו במפורש, נתבונן על מקרה אלמנטרי יותר: משוואות אלגבריות. ניקח לדוגמה את המשוואה x 5 +x 1 = 0. זוהי משוואה ממעלה 5, ואיננו יודעים לפתור משוואות כאלה. למעשה מתמטיקאים הוכיחו שלא קיימת נוסחה אלגברית לפתרונות של משוואות ממעלה 5 (משהו בדומה לנוסחה המוכרת לפתרון משוואה ריבועית). אבל אין פירוש הדבר שלא קיימים פתרונות למשוואה. למעשה קיום פתרון כזה נובע ממשפט חשוב של חדו"א: משפט ערך הביניים. נגדיר את הפונקציה f(x) = x 5 +x 1. זוהי פונקציה רציפה, ועל ידי הצבה מקבלים f(0) = 1 < 0, f(1) = 1 > 0. לכן ממשפט ערך הביניים נובע שקיים x בקטע (1,1 ) שעבורו מתקיים = 0,f(x) כלומר קיים פתרון למשוואה. הוכחנו אם כן שקיים פתרון למשוואה, למרות שאיננו יודעים מהו! נוכל להתקדם אפילו יותר, ולהבחין ש f (x) = 5x 4 +1 > 0 ומאחר שהנגזרת חיובית לכל x אנחנו יודעים שהפונקציה f היא פונקציה עולה, ולכן לכל מספר c יכול להיות רק ערך אחד של x שעבורו f(x) = c בפרט עבור = 0 c. בכך הוכחנו שקיים פתרון יחיד למשוואה שלנו: כלומר הוכחנו קיום ויחידות. הטיעונים שלנו היו מופשטים הוכחנו שהפתרון קיים מבלי למצוא אותו ממש! אם אנחנו מעוניינים בערך הפתרון, נצטרך להשתמש באלגוריתם נומרי שמחפש קירוב לפתרון. על ידי הפעלת אלוגוריתם כזה נמצא ש = x. הנקודה החשובה היא שהעובדה שהוכחנו קודם שקיים פתרון מבטיחה לנו שהתשובה שקיבלנו מהמחשב אכן מייצגת קירוב לפתרון אמיתי שקיים. אם מפעילים אלגוריתם לקירוב הפתרון כאשר לא בטוחים שהפתרון קיים, ייתכן שנקבל מהמחשב תשובה שהיא "זבל" שלא מייצג פתרון אמיתי. 3 משפט הקיום והיחידות למשוואות דיפרנציאליות נניח שנתונה משוואה דיפרנציאלית (3.1) y = f(t,y) 2

3 3 משפט הקיום והיחידות למשוואות דיפרנציאליות ותנאי התחלה (3.2) y(t 0 ) = y 0 האם נוכל להיות בטוחים שקיים פתרון לבעיית ההתחלה (3.2),(3.1), כלומר קיימת פונקציה y(t) שמקיימת הן את המשוואה והן את תנאי ההתחלה? האם נוכל להיות בטוחים שיש רק פונקציה אחת כזו? משפט הקיום והיחידות מבטיח שבתנאים מסוימים על הפונקציה f(t,y) התשובה היא חיובית. עם זאת, המשפט מבטיח קיום של פתרון רק באיזשהו קטע ) 2 I = (t 0 δ 1,t 0 +δ סביב ערך ההתחלה.t 0 משפט 3.1 נניח שנתונה משוואה דיפרנציאלית (3.1) ותנאי התחלה (3.2) כאשר: א. הפונקציה (y f(t, המגדירה את המשוואה הדיפרנציאלית מוגדרת בסביבה של הנקודה ) 0,(t 0,y כלומר קיים מלבן R = {(t,y) t 0 a t t 0 +a, y 0 b y y 0 +b} (0 > (a,b שבו הפונקציה מוגדרת. ב. הפונקציה f(t,y) רציפה במלבן R. אז: ג. הפונקציה f(t,y) גזירה לפי y בכל נקודה בתחום R, והנגזרת החלקית (t,y) f y היא פונקציה רציפה בתחום R. יש קטע ) 2 (δ 1,δ 2 > 0) I = (t 0 δ 1,t 0 +δ כך שבקטע הזה קיים פתרון יחיד לבעיית ההתחלה (3.2),(3.1). כדי להדגים את השימוש במשפט הקיום והיחידות, נחזור לדוגמה שהופיעה בפתיחת הפרק. דוגמה 3.1 נתונה בעיית ההתחלה y = y 3 +t האם קיים לה פתרון? y(0) = 1. 3

4 3 משפט הקיום והיחידות למשוואות דיפרנציאליות בעזרת משפט הקיום והיחידות נוכל לענות על שאלה זו בחיוב. כאן הפונקציה המגדירה את המשוואה הדיפרנציאלית היא f(t,y) = y 3 +t. הפונקציה הזו מוגדרת, רציפה, וגזירה לפי y בכל המישור (y,t) והנגזרת החלקית f y (t,y) = 3y2 היא פונקציה רציפה בכל המישור. לכן התנאים א ג של משפט הקיום והיחידות מתקיימים למעשה נוכל לבחור כל מלבן R שמכיל את הנקודה (0,1) = ) 0 t). 0 y, מאחר ותנאי המשפט מתקיימים, המשפט מבטיח לנו שקיים איזשהו קטע ) 2 I = δ ) 1 δ, שבו קיים פתרון למשוואה הדיפרנציאלית, ויתרה מזו קיים רק פתרון אחד כזה. שאלה 3.1 האם הפתרון של בעיית ההתחלה בדוגמה 3.1 הוא פונקציה עולה או יורדת בסביבת נקודת ההתחלה = 0 t? חשוב להדגיש את הנקודות הבאות: א. המשפט אינו מבטיח לנו שהפתרון מוגדר לכל t, אלא רק עבור ערכי t שהם קרובים מספיק ל 0 = 0 t. במילים אחרות, משפט הקיום והיחידות הוא בעל אופי מקומי. ב. המשפט אינו אומר לנו מהם הערכים δ, 1 δ, 2 אולי הם קטנים מאד ואולי הם גדולים! ג. מאחר והמשפט רק מבטיח קיום ויחידות של הפתרון, ולא מציג אותו במפורש, הוא לא נותן לנו כל אינפורמציה לגבי צורתו של הפתרון איך למשל ניראה הגרף שלו. כוחו הגדול של משפט הקיום והיחידות הוא שהוא מאד כללי בהנחות מאד חלשות על המשוואה הדיפרנציאלית, שקל לבדוק אותן, הוא מבטיח לנו קיום פתרון. חולשתו היא בכך שהוא לא נותן לנו אינפורמציה לגבי אופיו של הפתרון, ולשם כך נצטרך להפעיל שיטות אחרות: לפתור את המשוואה במפורש, לחקור אותה איכותית בעזרת שדה שיפועים, או למצוא קירוב נומרי לפתרון. מסקנה חשובה מתקבלת ממשפט הקיום והיחידות אם חושבים על הגרפים של אוסף פתרונות של משוואות דיפרנציאליות: משפט 3.2 בהינתן משוואה דיפרנציאלית מסדר ראשון (3.1), ובהנחה שהפונקציה (y f(t, רציפה וגזירה ברציפות לפי y בכל המישור, אז: א. דרך כל נקודה ) 0 t) 0 y, עובר גרף של פתרון של המשוואה. ב. גרפים של שני פתרונות שונים אינם יכולים לחתוך אחד את השני. במיליםאחרות,הגרפיםשלאוסףהפתרונותהםאוסףעקומיםשמכסיםאתכלהמישור ואינם נחתכים באף נקודה. 4

5 4 דיון על משפט הקיום והיחידות חלקאשלהמשפטהנ"להואפשוטניסוחשלקיוםהפתרוןלבעייתההתחלה( 3.1),(3.2 ). חלק ב נובע בקלות מיחידות הפתרונות. נניח בשלילה ש (t) y 1 (t),y 2 הם שני פתרונות שונים של (3.1) שהגרפים שלהם נחתכים בנקודה כלשהי במישור, שנקרא לה ) 0 t). 0 y, אז שתי הפונקציות הן פתרונות של בעיית ההתחלה ( 3.1),(3.2 ),וזה סותר את היחידות! 4 דיון על משפט הקיום והיחידות נדון כעת הן בהנחות של משפט הקיום והיחידות והן במסקנותיו. נציג סידרה של דוגמאות שיראו מדוע ההנחות של המשפט הכרחיות ולמה באופן כללי אי אפשר לצפות למסקנות חזקות יותר. ty = y דוגמה 4.1 נתונה בעיית התחלה y(0) = 1 האם קיים פתרון לבעיה זו? אם כן, האם הוא יחיד? נראה שלא קיים פתרון. נניח ש ( y(t פתרון של המשוואה הדיפרנציאלית. נציב = 0 t בשני האגפים של המשוואה הדיפרנציאלית ונקבל 0 y (0) = y(0) y(0) = 0 כלומרכלפתרון שלהמשוואההדיפרנציאליתהזאתהמוגדר בסביבהשל 0 = t מקיים.y(0) ולכן לא יכול לקיים = 1,y(0) = 0 האם העובדה שלא קיים פתרון לבעיית ההתחלה הזו סותרת את משפט הקיום והיחידות? התשובה היא לא, כי המשוואה הזו אינה מקיימת את תנאי המשפט. אם נכתוב את המשוואה בצורה הסטנדרטית y = y t ניראה שהפונקציה המגדירה את המשוואה היא f(t,y) = y t ופונקציה זו אינה מוגדרת על הישר = 0 t במישור,(t,y) ובפרט אין אף מלבן המכיל את הנקודה (0,1) = (t,y) שבו הפונקציה מוגדרת, כלומר הנחה א של משפט הקיום והיחידות לא מתקיימת, ולכן אי אפשר להפעיל את המשפט! 5

6 4 דיון על משפט הקיום והיחידות ty = y דוגמה 4.2 נתונה בעיית התחלה y(0) = 0 האם קיים פתרון לבעיה זו? אם כן, האם הוא יחיד? המשוואה הדיפרנציאלית היא אותה משוואה כמו בדוגמה הקודמת, אבל עכשיו תנאי ההתחלהשונה. במקרהזהאיןסתירהביןהמשוואהותנאיההתחלהכפישהיהבדוגמה הקודמת. כאן נוכל למצוא באופן מיידי פתרון טריוויאלי = 0.y(t) כמו כן נוכל לפתור את המשוואה בעזרת הפרדת משתנים: y y = 1 t [ln(y(t))] = 1 t ln(y(t)) = ln(t)+c y(t) = Ce ln(t) = Ct. כלומר כל פונקציה מהצורה y(t) = Ct היא פתרון של המשוואה (בידקו גם ישירות על ידי הצבה במשוואה) מאחר וכל הפונקציות הללו מקיימות = 0 (0)y, מצאנו כאן אינסוף פתרונות המקיימים את אותו תנאי התחלה! כלומר כאן קיים פתרון, אבל הוא אינו יחיד! שוב, אין כאן סתירה למשפט הקיום והיחידות מאחר והתנאים שלו אינם מתקיימים, כפי שראינו קודם. y = 3y 2 3 דוגמה 4.3 נתונה בעיית ההתחלה y(0) = 0 האם קיים פתרון לבעיה הזו? האם הוא יחיד? במקרה זה קל לנחש פתרון אחד: = 0.y(t) האם זה הפתרון היחיד? נראה שלא. המשוואה אוטונומית ונוכל לפתור אותה בעזרת הפרדת משתנים: dy dy = 3dt = 3dt y 2 3 y 2 3 3y 1 3 = 3t+C y(t) = (t+c) 3 ומתנאי ההתחלה נקבל = 0 C, לכן y(t) = t 3. 6

7 4 דיון על משפט הקיום והיחידות מצאנו אם כן שני פתרונות שונים למשוואה, ששניהם מקיימים את תנאי ההתחלה = 0 (0)y. כלומר אין יחידות! מדוע זה לא סותר את משפט הקיום והיחידות? במקרה זה,f(t,y) = 3y 2 3 ופונקציה זו מוגדרת ורציפה לכל,(t,y) לכן תנאים א,ב מתקיימים (אפשר לבחור מלבן כלשהו), אבל הנגזרת החלקית שלה לפי y אינה מוגדרת עבור = y 0, לכן תנאי ג של המשפט לעולם לא יתקיים במלבן סביב הנקודה (0,0) = ) 0 t). 0 y, דוגמהזומראהשאי אפשרלוותרעלהתנאיג אםהנגזרתהחלקיתלפי y לאמוגדרת ייתכן שלא תהיה יחידות! y = 3y 2 3 דוגמה 4.4 נתונה בעיית ההתחלה y(0) = 1 האם קיים פתרון לבעיה הזו? האם הוא יחיד? המשוואה היא אותה משוואה כמו בדוגמה הקודמת, אבל תנאי ההתחלה שונה. במקרה זה תנאי משפט הקיום והיחידות מתקיימים בסביבת הנקודה (0,1) = ) 0 t), 0 y, כי הפונקציה f(t,y) = 3y 2 3 מוגדרת ורציפה בכל המישור, והנגזרת החלקית = f(t,y) 1 3 2y מוגדרת ורציפה בחצי המישור > 0 y, ולכן נוכל לבנות מלבן סביב הנקודה (0,1) = ) 0 t) 0 y, שבו כל התנאים מתקיימים. לכן משפט הקיום והיחידות מבטיח לנו קיום של פתרון. במקרהזה אנחנו יכולים למצוא אתהפתרוןהזה במפורש. כבר פתרנו את המשוואה ומצאנו משפחת פתרונות ומתנאי ההתחלה נקבל y(t) = (t+c) 3 1 = y(0) = (0+C) 3 C = 1 y(t) = (t+3) 3 ומצאנו את הפתרון. במקרה זה אנו רואים שיש לבעיית ההתחלה פתרון שמוגדר (ומקיים את המשוואה הדיפרנציאלית) לכל t. עובדה זו אינה נובעת ממשפט הקיום והיחידות, שמבטיח רק פתרון בקטע כלשהו סביב = 0 0 t. y = 2ty 2, דוגמה 4.5 נתונה בעיית ההתחלה y(0) = y 0. עבור אילו ערכים של y 0 יש למשוואה פתרון? האם הוא יחיד? מה תחום ההגדרה של הפתרון? 7

8 4 דיון על משפט הקיום והיחידות הפונקציה המגדירה את המשוואה היא.f(t,y) = 2ty 2 פונקציה זו מוגדרת ורציפה בכל המישור, וגם הנגזרת החלקית f y (t,y) = 4ty מוגדרת ורציפה בכל המישור. לכן כל תנאי משפט הקיום והיחידות מתקיימים לכל תנאי התחלה, ולכן על פי המשפט, לכל בחירה של y 0 קיים פתרון יחיד בקטע כלשהו סביב 0, המקיים את תנאי ההתחלה. לגבי תחום ההגדרה של הפתרון, המשפט אינו מספק לנו מידע, מלבד העובדה שהוא מוגדר באיזשהו קטע סביב 0. במקרה זה מדובר במשוואה פרידה, ולכן נוכל לפתור אותה בעזרת הפרדת משתנים. dy dy y = 2tdt 2 y = 2tdt, 1 2 y = t2 +C y(t) = 1 t 2 +C. כמו כן יש פתרון נוסף שאינו במשפחה הנ"ל: = 0.y(t) בעזרת תנאי ההתחלה נקבל y 0 = y(0) = 1 C C = 1 y 0 y(t) = 1 t 2 1 y 0 = y 0 1 y 0 t 2. נבחין שבצורה האחרונה משפחת הפתרונות שקיבלנו כוללת גם את הפתרון = 0.y(t) נבחן את תחום ההגדרה של הפתרון. אם 0 0 y אז המכנה של הביטוי תמיד חיובי, ולכן הפתרון מוגדר לכל t. לעומת זאת אם > 0 0 y, אז המכנה יתאפס כאשר 1 ± = t, ולכן הפתרון לא יהיה מוגדר עבור ערכים אלה של t. הקטע הגדול ביותר y0 ( 1 1 y0, y0 המכיל את נקודת ההתחלה = 0 0 t שבו הפתרון מוגדר הוא לכן הקטע ) ולכןאומריםשקטעזההואתחוםההגדרהשלהפתרוןלבעייתההתחלה. נבחיןשכאשר t שואף לאחד מקצוות הקטע הזה, הפתרון "מתפוצץ", כלומר lim t ± 1 y0 y(t) = lim y 0 t ± 1 y0 1 y 0 t 2 = +. נבחין גם שתחום ההגדרה של הפתרון של בעיית ההתחלה תלוי בתנאי ההתחלה ככל ש y 0 גדול יותר, תחום ההגדרה קטן יותר. באיור 1 ציירנו את הגרפים של משפחת הפתרונות. הדוגמה הזו מראה מדוע אין לצפות שהפתרון לבעיית התחלה יהיה מוגדר לכל t, גם אם תנאי המשפט מתקיימים בכל נקודה במישור. באופן כללי אפשר להבטיח קיום לבעיית התחלה רק באופן מקומי, כלומר עבור איזשהו קטע סביב נקודת ההתחלה. דוגמה 4.6 נתונה בעיית ההתחלה y = t y, 8

9 4 דיון על משפט הקיום והיחידות איור :1 פתרונות המשוואה הדיפרנציאלית.y = 2ty 2 y(0) = y 0. עבור אילו ערכים של y 0 יש למשוואה פתרון? האם הוא יחיד? מה תחום ההגדרה של הפתרון? אם 0 0 y y אז הפונקציה f(t,y) = 2t מקיימת את תנאי משפט הקיום והיחידות בסביבה של ) 0 y,0) ולכן קייםפתרון בקטע סביב 0. אם = 0 0 y אזתנאימשפטהקיום והיחידות אינם מתקיימים, כי הפונקציה f(t,y) = t אינה מוגדרת כאשר = 0 y. יש y להעיר שהעובדה שתנאי המשפט לא מתקיימים אינה אומרת שלא קיים פתרון: המשפט נותן תנאים מספיקים לכך שיהיה פתרון אם התנאים אינם מתקיימים ייתכן שיש פתרון וייתכן שאין. בדוגמה זו נוכל לפתור את המשוואה בעזרת הפרדת משתנים: yy = 2t [y 2 ] = 2t y 2 = t 2 +C y(t) = ± C t 2. הסימן + או ייקבע לפי תנאי ההתחלה. אז מתנאי ההתחלה נקבל y 0 = y(0) = ± C C = y 2 0 אם > 0 0 y נצטרך לקחת את הפתרון עם סימן ה + : y(t) = y0 2 t2 y(t) = y0 2 t 2 ואם < 0 0 y הפתרון יהיה 9

10 5 שימוש במשפט הקיום והיחידות לחקירה איכותית של פתרונות נבחין שהגרף של הפונקציות הללו הוא חצי מעגל ברדיוס 0 y סביב הראשית, ושתחום ההגדרה הוא הקטע ] 0 [ y 0,y שאלה 4.1 מה קורה כאשר = 0 0?y 5 שימוש במשפט הקיום והיחידות לחקירה איכותית של פתרונות לעיתים ניתן להיעזר במשפט הקיום והיחידות, או במשפט 3.2 הנובע ממנו, כדי לקבל מסקנות על התנהגות של פתרונות של משוואה דיפרנציאלית,גם אם איננו יכולים לפתור אותה במפורש. נדגים זאת. דוגמה 5.1 נתונה בעיית ההתחלה y = (y 1)e ty y(0) = 2. הוכיחו שקיים פתרון יחיד בקטע I סביב = 0 t, ושפתרון זה מקיים: א. y(t) > 1, t I. ב. y(t) פונקציה עולה בקטע I. הפונקציה f(t,y) = y) e(1 ty רציפה וגזירה לפי y בכל המישור, ולכן תנאי משפט הקיום והיחידות מתקיימים, ומובטח לנו קיום של פתרון y(t) בקטע I סביב = 0 t, ויחידותו. נבחיןשהפונקציההקבועה 1 = (t) y 1 היאפתרוןשלהמשוואההדיפרנציאלית. מעובדה זו נובע שהפתרון y(t) של בעיית ההתחלה שלנו לא יכול לקיים = 1 y(t) באף נקודה t,כיאםהיתהנקודה I t 1 I עבורה 1 = ) 1,y(t אזגם( y(t וגם( t ) y 1 היופתרונות של בעיית ההתחלה y = (y 1)e ty, y(t 1 ) = 1 בקטע,I ואז מהיחידות היה נובע ש = 1 (t) y(t) = y 1 לכל,t I אבל זו סתירה לעובדה ש = 2.y(0) 10

11 5 שימוש במשפט הקיום והיחידות לחקירה איכותית של פתרונות אפשר לנסח את הטיעון האחרון בצורה קצרה יותר: אם = 1 ) 1 y(t באיזושהי נקודה, אז הגרפים של y(t) ושל (t) y 1 נחתכים בנקודה (1, t), 1 וזה בלתי אפשרי על פי משפט.3.2 מהעובדה ש 1 y(t) לכל t נוכל להסיק בקלות ש > 1 y(t) לכל t: I אילו היה קיים t 1 כך ש < 1 ) 1 y(t אז, מאחר ו > 1 2 = y(0) ומאחר והפונקציה y(t) רציפה (פתרון של משוואה דיפרנציאלית הוא גזיר לכן וודאי רציף) היינו מסיקים ממשפט ערך הביניים שקיים t 2 בין 0 ל t 1 שעבורו = 1 ) 2 y(t אבל כבר הוכחנו שזה בלתי אפשרי. נוכיח עכשיו שהפתרון y(t) הוא פונקציה עולה. מאחר ואנו כבר יודעים ש > 1,y(t) הרי שלכל t I מתקיים y (t) = (y(t) 1)e ty(t) > 0 ולכן y(t) פונקציה עולה. שאלה 5.1 א. מה תוכלו להגיד על פתרון בעיית ההתחלה y = (y 1)e ty y(0) = 0. ב. בידקו את המסקנות על ידי סרטוט הפתרון בעזרת מחשב. 11

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

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

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

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

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

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

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

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

אוסף שאלות מס. 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,

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

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

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

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

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 =

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

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

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

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

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 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 תרגול בינואר 2012

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

אוסף שאלות מס. 5. שאלה 1 בדוגמאות הבאות, נגדיר פונקציה על ידי הרכבה: y(t)).g(t) = f(x(t), בשתי דרכים:

אוסף שאלות מס. 5. שאלה 1 בדוגמאות הבאות, נגדיר פונקציה על ידי הרכבה: y(t)).g(t) = f(x(t), בשתי דרכים: אוסף שאלות מס. 5 שאלה 1 בדוגמאות הבאות, נגדיר פונקציה על ידי הרכבה: y(t)).g(t) = f(x(t), חשבו את הנגזרת (t) g בשתי דרכים: באופן ישיר: על ידי חישוב ביטוי לפונקציה g(t) וגזירה שלו, בעזרת כלל השרשרת. בידקו

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

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

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

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

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

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

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

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

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

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

{ : Halts on every input}

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

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

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

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

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

סיכום מד"ר מרצה: מיכאל ז'יטומירסיקי נכתב ע"י: אדריאן קיריש נערך ע"י: תומר שטח 28 ביוני 2011

סיכום מדר מרצה: מיכאל ז'יטומירסיקי נכתב עי: אדריאן קיריש נערך עי: תומר שטח 28 ביוני 2011 סיכום מד"ר מרצה: מיכאל ז'יטומירסיקי נכתב ע"י: אדריאן קיריש נערך ע"י: תומר שטח 28 ביוני 2011 1 תוכן עניינים 3 משפט קיום ויחידות............................. 1 3............................ משוואות אוטונומיות

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

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

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

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

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

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

משוואות דיפרנציאליות רגילות 80320

משוואות דיפרנציאליות רגילות 80320 1 משוואות דיפרנציאליות רגילות 832 דויד שיפרוט 25 ביוני 215 תוכן עניינים Á מבוא 2 1 הגדרות................................................................ 2 4 ÁÁ משוואות מסדר ראשון משוואה לינארי מסדר ראשון:.....................................................

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

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

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

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

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 סעיףב',תשובה.

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

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

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

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

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

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

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

לדוגמא : dy dx. xdx = x. cos 1. cos. x dx 2. dx = 2xdx לסיכום: 5 sin 5 1 = + ( ) הוכחה: [ ] ( ) ( )

לדוגמא : dy dx. xdx = x. cos 1. cos. x dx 2. dx = 2xdx לסיכום: 5 sin 5 1 = + ( ) הוכחה: [ ] ( ) ( ) 9. חשבון אינטגרלי. עד כה עסקנו בבעיות של מציאת הנגזרת של פונקציה נתונה. נשאלת השאלה בהינתן נגזרת האם נוכל למצוא את הפונקציה המקורית (הפונקציה שנגזרתה נתונה)? זוהי שאלה קשה יותר, חשבון אינטגרלי דן בבעיה

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

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

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

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

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

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

חידה לחימום. כתבו תכ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ים משחקים במשחק.

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

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

מתמטיקה בדידה תרגול מס' 12 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: נוסחאות נסיגה נוסחאות נסיגה באמצעות פונקציות יוצרות נוסחאות נסיגה באמצעות פולינום אופייני נוסחאות נסיגה לעתים מפורש לבעיה קומבינטורית אינו ידוע, אך יחסית קל להגיע

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

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

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

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

В.О. Бугаенко. Уравнения Пелля. Второе издание. МЦНМО, 2010.

В.О. Бугаенко. Уравнения Пелля. Второе издание. МЦНМО, 2010. ודים בוגיינקו תורגם ע"י מריה סבצ'וק משוואות פ ל זהו תרגום מרוסית של הספר: В.О. Бугаенко. Уравнения Пелля. Второе издание. МЦНМО, 00. http://biblio.mccme.ru/ode/34/shop קובץ PDF של ההוצאה הראשונה ברוסית:

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

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

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

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

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

מבוא למשוואות דיפרנציאליות חלקיות בינואר 2013 מבוא למשוואות דיפרנציאליות חלקיות 80711 אור דגמי, or@digmi.org 23 בינואר 2013 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ מתניה בן ארצי בשנת לימודים 2013. ספר לימוד של פינצ ובר רובינשטיין מבוא למד

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

מכניקה אנליטית תרגול 6

מכניקה אנליטית תרגול 6 מכניקה אנליטית תרגול 6 1 אלימינציה של קואורדינטות ציקליות כאשר יש בבעיה קואורדינטה ציקלית אחת או יותר, לעתים נרצה לכתוב פעולה חדשה (או, באופן שקול, לגראנז'יאן חדש) אשר לא כולל את הקואורדינטות הללו, וממנו

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

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

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

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

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

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

PDF created with pdffactory trial version

PDF created with pdffactory trial version הקשר בין שדה חשמלי לפוטנציאל חשמלי E נחקור את הקשר, עבור מקרה פרטי, בו יש לנו שדה חשמלי קבוע. נתון שדה חשמלי הקבוע במרחב שגודלו שווה ל. E נסמן שתי נקודות לאורך קו שדה ו המרחק בין הנקודות שווה ל x. המתח

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

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

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

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

יווקיינ לש תוביציה ןוירטירק

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

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

פרק 8: עצים. .(Tree) במשפטים הגדרה: גרף ללא מעגלים נקרא יער. דוגמה 8.1: תרגילים: הקודקודים 2 ו- 6 בדוגמה הוא ).

פרק 8: עצים. .(Tree) במשפטים הגדרה: גרף ללא מעגלים נקרא יער. דוגמה 8.1: תרגילים: הקודקודים 2 ו- 6 בדוגמה הוא ). מבוא לפרק: : עצים.(ree) עצים הם גרפים חסרי מעגלים. כך, כיוון פרק זה הוא מעין הפוך לשני הפרקים הקודמים. עץ יסומן לרב על ידי במשפטים 8.1-8.3 נפתח חלק מתכונותיו, ובהמשך נדון בהיבטים שונים של "עץ פורש" של

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

ושל (השטח המקווקו בציור) . g(x) = 4 2x. ו- t x = g(x) f(x) dx

ושל (השטח המקווקו בציור) . g(x) = 4 2x. ו- t x = g(x) f(x) dx פרק 9: חשבון דיפרנציאלי ואינטגרלי O 9 ושל בציור שלפניך מתוארים גרפים של הפרבולה f() = נמצאת על הנקודה המלבן CD מקיים: הישר = 6 C ו- D נמצאות הפרבולה, הנקודה נמצאת על הישר, הנקודות ( t > ) OD = t נתון:

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

ÈËÓ Ó ÌÈ ÂÓ ÔÂÏÈÓ. Â Ó Â Â ÌÈËÙ Ó Â ÁÒÂapple ÌÈ Â È Â Â. ÈÂÒÈapple  Ó

ÈËÓ Ó ÌÈ ÂÓ ÔÂÏÈÓ. Â Ó Â Â ÌÈËÙ Ó Â ÁÒÂapple ÌÈ Â È Â Â. ÈÂÒÈapple Â Ó ÈËÓ Ó ÌÈ ÂÓ ÔÂÏÈÓ ÂȈ appleâù Â Ó Â Â ÌÈËÙ Ó Â ÁÒÂapple ÌÈ Â È Â Â ÈÂÒÈapple Â Ó תוכן העניינים 7 9 6 0 8 6 9 55 59 6 מושגים בסיסיים... אינטרוולים וסביבות... מאפיינים של פונקציות... סוגי הפונקציות ותכנותיהם...

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

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

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

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

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

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

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

גמישויות. x p Δ p x נקודתית. 1,1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות

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

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

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

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

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

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

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

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

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

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

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

חשבון דיפרנציאלי ואינטגרלי

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

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

לוגיקה למדעי המחשב תרגולים

לוגיקה למדעי המחשב תרגולים לוגיקה למדעי המחשב תרגולים ניצן פומרנץ 17 ביוני 2015 אתר הקורס: במודל בשבוע הראשון התרגילים ייועלו גם ל www.cs.tau.ac.il/~shpilka/teaching לירון כהן: liron.cohen@math.tau.ac.il (לא לשלוח שאלות על החומר

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

מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015)

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

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

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

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

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

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

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

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

אלקטרומגנטיות אנליטית תירגול #2 סטטיקה

אלקטרומגנטיות אנליטית תירגול #2 סטטיקה Analytical Electromagnetism Fall Semester 202-3 אלקטרומגנטיות אנליטית תירגול #2 סטטיקה צפיפויות מטען וזרם צפיפות מטען נפחית ρ מוגדרת כך שאינטגרל נפחי עליה נותן את המטען הכולל Q dv ρ היחידות של ρ הן מטען

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

הגדרה: מצבים k -בני-הפרדה

הגדרה: מצבים k -בני-הפרדה פרק 12: שקילות מצבים וצמצום מכונות לעי תים קרובות, תכנון המכונה מתוך סיפור המעשה מביא להגדרת מצבים יתי רים states) :(redundant הפונקציה שהם ממלאים ניתנת להשגה באמצעו ת מצבים א חרים. כיוון שמספר רכיבי הזיכרון

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

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

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

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

Regular Expressions (RE)

Regular Expressions (RE) Regular Expressions (RE) ביטויים רגולריים עד כה דנו במספר מודלים חישוביים להצגת (או ליצור) שפות רגולריות וראינו שכל המודלים האלה הם שקולים מבחינת כוח החישובי שלהם. בסעיף זה נראה עוד דרך להצגת (או ליצור)

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

TECHNION Israel Institute of Technology, Faculty of Mechanical Engineering מבוא לבקרה (034040) גליון תרגילי בית מס 5 ציור 1: דיאגרמת הבלוקים

TECHNION Israel Institute of Technology, Faculty of Mechanical Engineering מבוא לבקרה (034040) גליון תרגילי בית מס 5 ציור 1: דיאגרמת הבלוקים TECHNION Iael Intitute of Technology, Faculty of Mechanical Engineeing מבוא לבקרה (034040) גליון תרגילי בית מס 5 d e C() y P() - ציור : דיאגרמת הבלוקים? d(t) ו 0 (t) (t),c() 3 +,P() + ( )(+3) שאלה מס נתונה

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

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

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

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

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

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

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

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

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

מבני נתונים ויעילות אלגוריתמים

מבני נתונים ויעילות אלגוריתמים מבני נתונים ויעילות אלגוריתמים (8..05). טענה אודות סדר גודל. log טענה: מתקיים Θ(log) (!) = הוכחה: ברור שמתקיים: 3 4... 4 4 4... 43 פעמים במילים אחרות:! נוציא לוגריתם משני האגפים: log(!) log( ) log(a b

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

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

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

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

חשבון אינפיניטסימלי (2)

חשבון אינפיניטסימלי (2) חשבון אינפיניטסימלי (2) איתי שפירא 30 ביוני 2017 מתוך הרצאות מהאונברסיטה העברית 2017. i.j.shpir@gmil.com תוכן עניינים 1 מבוא והשלמות 5 1.1 כלל לופיטל................................. 5 1.2 חקירת פונקציות..............................

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

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

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

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

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

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

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

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

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

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

ניתן לקבל אוטומט עבור השפה המבוקשת ע "י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות:

ניתן לקבל אוטומט עבור השפה המבוקשת ע י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות: שאלה 1 בנה אוטומט המקבל את שפת כל המילים מעל הא"ב {,,} המכילות לפחות פעם אחת את הרצף ומיד אחרי כל אות מופיע הרצף. ניתן לפרק את השפה לשתי שפות בסיס מעל הא"ב :{,,} שפת כל המילים המכילות לפחות פעם אחת את

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

חשבון אינפיניטסמלי 2 סיכומי הרצאות

חשבון אינפיניטסמלי 2 סיכומי הרצאות חשבון אינפיניטסמלי סיכומי הרצאות 9 ביולי מרצה: פרופ מתניה בן ארצי מתרגל: מני אקא mennyk@mth.huji.c.il סוכם ע י: אור שריר פניות לתיקונים והערות: tnidtnid@gmil.com הערה לקראת המבחנים כרגע חסרים מספר דברים

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

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

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

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

b2n-1 ב. נשתמש בנוסחת סכום סדרה הנדסית אינסופית יורדת כדי לרשום את הנתון: 1-q = 0.8 b 1-q 1=0.8(1+q) q= 1 4 פתרון לשאלה 2

b2n-1 ב. נשתמש בנוסחת סכום סדרה הנדסית אינסופית יורדת כדי לרשום את הנתון: 1-q = 0.8 b 1-q 1=0.8(1+q) q= 1 4 פתרון לשאלה 2 פתרון מבחן מס' פתרון לשאלה א. להוכיח כי סדרה c היא סדרה הנדסית משמע להוכיח כי היחס בין איברים סמוכים בסדרה הוא מספר n c n +n c מכיוון ש- q הוא מספר קבוע, סדרה = b n+ = bq n =q cn bn- bq n- :b n קבוע. אם

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

חשמל ומגנטיות תשע"ה תרגול 3 פוטנציאל חשמלי ואנרגיה אלקטרוסטטית

חשמל ומגנטיות תשעה תרגול 3 פוטנציאל חשמלי ואנרגיה אלקטרוסטטית חשמל ומגנטיות תשע"ה תרגול 3 פוטנציאל חשמלי ואנרגיה אלקטרוסטטית הפונציאל החשמלי בעבור כל שדה וקטורי משמר ישנו פוטנציאל סקלרי המקיים A = φ הדבר נכון גם כן בעבור השדה החשמלי וניתן לרשום E = φ (1) סימן המינוס

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

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r ל' ' פונקציות פרימיטיביות רקורסיביות חישוביות הרצאה 4 האם כל פונקציה מלאה היא פרימיטיבית רקורסיבית? לא נראה שתי הוכחות: פונקציות רקורסיביות (המשך) זיהוי שפות ע''י מכונות טיורינג הוכחה קיומית: קיימות פונקציות

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

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

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

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

משוואות דיפרנציאליות רגילות

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

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

חדוו"א 2 סיכום טענות ומשפטים

חדווא 2 סיכום טענות ומשפטים חדוו"א 2 סיכום טענות ומשפטים 3 ביוני 2 n S(f, T ) := (t k+ t k ) inf k= סכום דרבו תחתון מוגדר על ידי [t k,t k+ ] f אינטגרל רימן חלוקות של קטע חלוקה של קטע [,] הינה אוסף סדור סופי של נקודות מהצורה: טענה.2

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

xpy xry & ~yrx xiy xry & yrx

xpy xry & ~yrx xiy xry & yrx האם קיים קשר בין העדפה ובחירה? ההנחה שקיים קשר הדוק בין מערכת ההעדפות של היחידה הכלכלית ובין התנהגותה המתבטאת בבחירה בין האפשרויות העומדות בפניה מקובלת מאד בתיאוריה הכלכלית. למעשה הנחת העבודה הבלעדית בניתוח

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

תורה אלקטרומגנטית מרצה: בוריס שפירא 28 בספטמבר 2009

תורה אלקטרומגנטית מרצה: בוריס שפירא 28 בספטמבר 2009 תורה אלקטרומגנטית מרצה: בוריס שפירא 8 בספטמבר 009 מחברת זו נכתבה משמיעה בהרצאות של פרופ בוריס שפירא. המחברת עלולה להכיל חוסרים וטעויות. אין הטכניון או מי מטעמו ובפרט, הפקולטה לפיזיקה, על מרציה ומתרגליה,

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

: מציאת המטען על הקבל והזרם במעגל כפונקציה של הזמן ( )

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

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

שיעור 1. זוויות צמודות

שיעור 1. זוויות צמודות יחידה 11: זוגות של זוויות שיעור 1. זוויות צמודות נתבונן בתמרורים ובזוויות המופיעות בהם. V IV III II I הדסה מיינה את התמרורים כך: בקבוצה אחת שלושת התמרורים שמימין, ובקבוצה השנייה שני התמרורים שמשמאל. ש

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

תשובות מלאות לבחינת הבגרות במתמטיקה מועד קיץ תש"ע מועד ב', מיום 14/7/2010 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן.

תשובות מלאות לבחינת הבגרות במתמטיקה מועד קיץ תשע מועד ב', מיום 14/7/2010 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן. תשובות מלאות לבחינת הבגרות במתמטיקה מועד קיץ תש"ע מועד ב', מיום 14/7/2010 שאלון: 316, 035806 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 E נתון: 1 רוכב אופניים רכב מעיר A לעיר B

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

הרצאות בבקרה לא-לינארית (046196) פרק 7.

הרצאות בבקרה לא-לינארית (046196) פרק 7. הרצאות בבקרה לא-לינארית (04696) מאת פרופ' נחום שימקין טכניון הפקולטה להנדסת חשמל חורף תשס"ה פרק 7. יציבות מוחלטת של מערכות משוב נעבור עתה לדיון ביציבות של מערכת משוב מסוג מסוים הכוללת מערכת לינארית ורכיב

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

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

קושי של קירובים עפי הרצאות של דר גיא קינדלר סמסטר א', תשע 1 קושי של קירובים עפ"י הרצאות של ד"ר גיא קינדלר סמסטר א', תש"ע סיכם: שיר פלד, באמצעות LYX גרסה 1.6.1 תיקונים יתקבלו בברכה בכתובת מייל shirpeled@cs 1 מבוא היסטורי ישנם שני נושאים שהתפתחו ולבסוף נפגשו ויצרו

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

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

פתרון של בעיות פוטנציאל בשני מימדים פונקציה אנליטית: פונקציה שבה החלק הממשי וגם החלק המדומה מקיימים את משוואת לפלס: פתרון של בעיות פוטנציאל בשני מימדים פונקציה אנליטית: פונקציה שבה החלק הממשי וגם החלק המדומה מקיימים את משוואת לפלס: w = f (z) = U (x, y) + iv (x, y), U = V = 0 הפונקציה f מעתיקה ממישור y) zלמישור = (x,

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

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

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

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

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

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

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

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

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

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

ניתוח סיבוכיות - פונקציות רקורסיביות פיתוח טלסקופי

ניתוח סיבוכיות - פונקציות רקורסיביות פיתוח טלסקופי ניתוח סיבוכיות - פונקציות רקורסיביות פיתוח טלסקופי ננסה להשתמש בכך שהפונקציה היא רקורסיבית על מנת לרשום גם עבור הסיבוכיות ביטוי רקורסיבי. factorial() 3 מתחילים מכתיבת ביטוי לא מפורש ל-( T( ביטוי רקורסיבי

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