20 במרץ—1 ביולי, 2022

קורסים

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

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

קבוצות בנות מנייה. בניית הרציונלים.

בניית המספרים הממשיים.

עצמות. משפט קנטור-ברנשטיין.

קבוצות לא ניתנות להימנות.

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

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

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

ספרות מומלצת

H. Enderton, Elements of Set Theory

אברהם שמוקלר, מבוא לתורת הקבוצות.

במהדורות מאוחרות יותר, שם המחבר הוא שמרון.

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

רשימות של פרופסור אסף רינות (קישור באתר) שינוי אחרון: 19/04/2020, 11:39

הנגזרת כפונקציה: פונקציות גזירות ברציפות, משפט דרבו. פונקציות קמורות: הגדרה, גזירות חד-צדדית, הקשר לנגזרת השניה. משפט הערך הממוצע המוכלל של קושי ושימושיו: כלל לופיטל, פולינומי טיילור ושארית לגרנז‘. שיטת ניוטון-רפשון. טורים מספריים: קריטריון קושי, טורים מתכנסים בהחלט, מבחן ההשוואה, המנה והשורש, מבחן דיריכלה, שינוי סדר הסכימה, נוסחת המכפלה של טורים, טורי טיילור, טורי טיילור של פונקציות אלמנטריות. מושג הפונקציה האנליטית. רדיוס התכנסות של טור חזקות. אינטגרל רימן. סכומי רימן. המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי (נוסחת ניוטון-לייבניץ). שיטות לחישוב אינטגלים (האינטגרל הלא מסוים): אינטרציה בחלקים, חילוף משתנה, פירוק לשברים חלקיים. אינטגלים לא אמיתיים. אינטגרציה נומרית: כללי האמצע, הטרפז וסימפסון. נוסחת סטירלינג. מבוא להתכנסות של פונקציות: קשיים עם התכנסות נקודתית. מבוא למשוואות דיפרנציאליות: המשוואה הדיפרנציאלית y‘ = ky. פתרון של משוואות דיפרנציאליות מסדר ראשון ע“י הפרדת משתנים, תנאי התחלה.

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

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

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

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

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

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

  1. נושאי הכנה: ייצוג מספרים במחשב, שגיאות עיגול ויציבות. נורמות מטריצליאליות ומספר המצב של מטריצה.
  2. מבוא לפתרון נומרי של משוואות דיפרנציאליות רגילות: בעיות תנאי התחלה, שיטת אוילר, מבוא לשיטות multistep, בעיות תנאי שפה.
  3. שיטות נומריות לפתרון משוואות לינאריות: אלימינציית גאוס עם החלפות ציר, פירוק LU. שיטות איטרטיביות: יעקובי, גאוס-סיידל, שיטת הגרדיינט הצמוד. קירובי ריבועים פחותים.
  4. שיטות נומריות למציאת ערכים עצמיים: מעגלי גרשגורין. שיטת החזקה. שיקולי יציבות בתהליך גרם-שמידט: שיקופי האוסהולדר וסיבובי גיבנס. צורת הסנברג וצורה תלת-אלכסונית. פירוק QR ואלגוריתם QR.

סילבוס:

  1. מבוא: פעולה של חבורה על קבוצה ופעולה מושרה על מרחב וקטורי. אלגברה מולטי-לינארית (מכפלה טנזורית של מרחבים וקטורים).
  2. מושגי יסוד: הצגות, סכום ישר של הצגות, הצגות אי-פריקות והצגות פשוטות למחצה. הלמה של שור, הצגות אי פריקות של חבורה אבלית, פריקות לחלוטין, משפט משקה. דוגמאות: ההצגה הרגולרית של חבורה סופית והצגות הקשורות במרחבים הומוגניים.
  3. שקילות של הצגות. מורפיזם בין הצגות. קטגוריית ההצגות תיאור בעזרת מודולים מעל חוג החבורה. פעולות בהצגות (הצגה דואלית, טנזור פנימי וחיצוני, צמצום לתת חבורה).
  4. פירוק ההצגה הרגולרית של חבורה סופית. מספר ההצגות האי-פריקות. מקדמי הצגה, קרקטרים, אורתוגונליות.
  5. תורת ההצגות ואנליזה הרמונית: התמרת פורייה על חבורה סופית אבלית, נוסחת עקבה לחבורות. סופיות.
  6. שימושי תורת ההצגות: מספרים אלגבריים, אלגבריות של קרקטרים, משפט ההתחלקות של פרובניוס ומשפט ברנסייט על פתירות של חבורות. במידה והזמן יתיר: משפט הורוביץ על סכום ריבועים, שימושי תורת ההצגות בפיזיקה ובכימיה.
  7. בניה של הצגות: הצגה מושרה והדדיות פרובניוס, קרקטר של הצגה מושרה. נוסחת מאקיי. תורת מאקיי (שיטת תת החבורה הקטנה): הצגות של מכפלות חצי ישרות. הצגות של החבורה הדיהדרלית, הצגות של חבורת הייזנברג.
  8. פונקטור האינדוקציה כצמוד לצמצום. מימוש פונקטור האינדוקציה באמצעות מכפלה טנזורית. במידה והזמן יתיר: צמצום הצגות (שבירת סימטריה), זוגות גלפנד והצצה לתורת ההצגות היחסית.
  9. מיון, בנייה וקרקטרים עבור ההצגות של חבורות ספציפיות: חבורת הסימטריות של גופים אפלטונים, חבורות התמורות, החבורה $SL_2$ מעל שדה סופי.
  10. משפטי ארטין ובראור על הצגות מונומיאליות.

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

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

  1. מערכות שומרות מידה לחבורות בורליות
  2. ארגודיות, פירוק ארגודי, ערבוב וערבוב חלש
  3. מינימליות וארגודיות יחידה
  4. משפט ארגודי ממוצע ונקודתי לטרנספורמציה בודדת
  5. (*) צימודים
  6. (*) פירוק מידה ביחס לחלוקה של המרחב, מידות מותנות
  7. (*) אנטרופיה
  8. (*) משפטים ארגודיים לפעולות של חבורות כלליות ואמנביליות

(*) נושאים שיילמדו לפי אילוצי זמן

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

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

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

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

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

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

  5. תורת הקבוצות: התאמות חד-חד-ערכיות, הרכבת פונקציות והפונקציה ההפוכה; יחסי שקילות; הגדרת העוצמה, שיוויון עוצמות ואי-שיוויון עוצמות; משפט קנטור ברנשטיין (ללא הוכחה), המשפט שכל שתי עוצמות נתנות להשוואה (ללא הוכחה); משפט קנטור על עוצמת קבוצות החזקה $|\mathbb{R}|=|\mathcal{P}(\mathbb{N})|$, $|\mathbb{Q}|=|\mathbb{N}\times\mathbb{N}|=|\mathbb{N}|$.

מספרים ממשיים (ללא חתכי דדקינד). סופרמום כאקסיומה. סדרות מתכנסות, תתי סדרות, סדרה מונוטונית וחסומה, גבולות עליונים ותחתונים. טורים: סכומים חלקיים, מתכנסים ומתבדרים, דוגמאות, טורים אי שלילייים, מבחני שורש, מנה, טורים כלליים, דיריכלה, לייבנייץ (סימנים מתחלפים), התכנסות בהחלט גוררת התכנסות (ללא הוכחה). גבול של פונקציה, רציפות, רציפות הפונקציות האלמנטריות, אקסטרמום בקטע סגור. הנגזרת של פונקציה, משפט הערך הממוצע של לגרנג‘, נגזרות מספר גבוה, לופיטל, משפט טיילור, הערכות שגיאה, הרבה דוגמאות. אינטגרל רימן: רק עם פונקציות רציפות למקוטעין (מספר נקודות אי-רציפות סופי). סכומי רימן והגדרת האינטגרל, המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי, וקיום פונקציות קדומות. שיטות אינטגרציה: אינטגרציה בחלקים, חילוף משתנים, שברים חלקיים (ללא הוכחה מלאה), אינטגרלים לא אמיתיים, שימושים של אינטגרציה, הערכה של טורים באמצעות אינטגרלים מושג ה- O, ה-o ו- ? (למשל: ??“dx“ /“x“ ” עם ידי השוואה ע“ ל ?”k=1“ ^“N“ ?“1“ /“k“ ” =?“ (”logN“ )). חישובים מקורבים למומנטים ?”n=1“ ^“N“ ?“n“ ^“?“ , נוסחת Stirling.

  1. מרחב מדגם, מרחבי הסתברות סימטריים, מרחבי הסתברות בדידים.
  2. מרחבי הסתברות כלליים; הסתברויות על הישר בעזרת צפיפויות.
  3. דוגמאות הקשורות לאלגוריתמים המכילים מרכיב של אקראיות.
  4. הסתברות מותנית ומאורעות בלתי תלויים.
  5. משתנים מקריים ופונקציות ההתפלגות שלהם.
  6. תוחלת, שונות ומומנטים של משתנים מקריים בדידים, רציפים ובעלי התפלגויות כלליות.
  7. פונקציות של משתנים מקריים והתוחלת שלהן.
  8. משתנים מקריים בלתי תלויים, אי שוויון צ‘בישב וחוק המספרים הגדולים.
  9. משפט הגבול המרכזי
  10. וקטורים מקריים, צפיפות משותפת (בדידה ורציפה), התפלגויות שוליות, חישוב מקדם המתאם.

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

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

נושאי רשות:

  • תבניות ריבועיות.
  • משפט סילווסטר.
  • מיון עקומים ריבועיים.

חזרה על הסתברות: מושגים בסיסיים. משתנים מקריים, התמרה של משתנים מקריים, אי-תלות. תוחלת, שונות, מתאם, תוחלת מותנית. אי-שוויונות: הערכת הממוצע. אי-שוויון Hoeffding. התכנסות של משתנים מקריים: סוגי התכנסות. חוק המספרים הגדולים. משפט הגבול המרכזי. הסקה סטטיסטית: מבוא. מודלים פרמטריים ומודלים אי-פרמטריים. אמידה נקודתית, רווח בר-סמך, בדיקת השערות. אמידה נקודתית פרמטרית: שיטות למציאת אומדים: שיטת המומנטים; נראות מקסימלית; שיטות אחרות. תכונות של אומדים נקודתיים: הטיה; פונקצית הפסד ? תוחלת רבוע הטעות; עקביות. תכונות של אומד נראות מקסימלית. דוגמאות לחישוב אומד נראות מקסימלית. אמידה ברווח: מבוא. משתנה הציר. דגימה מהתפלגות נורמלית: רווח בר-סמך עבור תוחלת ושונות. רווח בר-סמך עבור מדגמים גדולים. עקרונות בדיקת השערות: מודלים פרמטריים לעומת אי-פרמטריים. מבוא והגדרות עיקריות. דגימה מהתפלגות נורמלית. p-values. התפלגות ?^2 ומבחני ?^2. מבחני טיב התאמה. מבחני אי-תלות. פונקצית התפלגות אמפירית. מבחן קולמוגורוב-סמירנוב. רגרסיה: רגרסיה לינארית. שיטת הרבועים הפחותים ונראות מקסימלית. תכונות של אומדים. חזוי. טפול ב‘רעש‘; תוצאות חריגות.

  1. ישרים ומישורים. המכפלה הווקטורית. פונקציות וקטוריות ממשיות, מסילות במישור, משיקים, תנועה על מסילה 2. פונקציות של כמה משתנים: קבוצות פתוחות וסגורות, גבולות, רציפות, גזירות, הנגזרת הכוונית, נגזרות חלקיות, גרדיינט, שדות סקלריים ושדות וקטוריים, כלל השרשרת, היקוביאן. נגזרות סתומות ומשפט הפונקציות הסתומות. בעיות אקסטרמום במישור ובמרחב: ההסיאן ומבחן הנגזרת השניה, כופלי לגרנז‘. 3. אינטגרלים קווים במישור ובמרחב, הגדרה בסיסית ותכונות יסוד, עבודה, אי תלות במסלול, הקשר עם הגרדיינט, בניית פונקציות פוטנציאל. שימושים למשוואות דיפרנציאליות רגילות: משוואות דיפרנציאליות מדויקות וגורם אינטגרציה. אינטגרליים מסילתיים מהסוג השני ואורך מסילה. 4. אינטגרלים כפולים ומשולשים - הגדרות ותכונות בסיסיות, משפט פוביני, החלפת משתנה והיקוביאן, קואורדינאטות פולריות במישור וגליליות וכדוריות במרחב. משפט גרין במישור. 5. הצגות משטחים במרחב - הצגה פרמטרית, נורמל למשטח, שטח של משטח פרמטרי, אינטגרל משטחי ורפרמטריזציה. 6. רוטור ודיברגנץ של שדות וקטוריים. משפטי גאוס וסטוקס.
  1. המספרים הממשיים. סופרימום ואינפימום של קבוצה. 2. סדרות מתכנסות. תת-סדרות. סדרות קושי. משפט בולצנו-ויירשטראס. גבולות עליונים ותחתונים. 3. טורים. סכומים חלקיים. טורים מתכנסים ומתבדרים. תנאי קושי. טורים של מספרים אי-שליליים. מבחני השורש והמנה. טורים כלליים. מבחן לייבניץ לטורים עם סימנים מתחלפים. שינוי סדר הסכימה (ללא הוכחה). 4. גבול של פונקציה. פונקציות רציפות. רציפות של פונקציות אלמנטאריות. תכונות של פונקציות רציפות בקטע סגור: חסימות וקיום האקסטרמום. רציפות במידה שווה, משפט קנטור. 5. הנגזרת של פונקציה. משפט הערך הממוצע. נגזרות מסדר גבוה. כלל לופיטל. משפט טיילור. שארית לגרנז‘.

. מרחב הסתברות: מרחב מדגם, פונקציה הסתברות, מרחב הסתברות סימטרי סופי, קומבינטוריקה. הסתברות גיאומטרית. הסתברות מותנית, אי-תלות של מאורעות, נוסחת ההסתברות השלמה, נוסחת בייס.2. משתנה מקרי בדיד, התפלגויות מיוחדות: אחידה, בינומית, גיאומטרית, בינומית שלילית, היפרגיאומטרית ופואסונית, תהליכי פואסון. 3. משתנה מקרי רציף, פונקצית צפיפות, פונקצית התפלגות מצטברת. התפלגויות מיוחדות: אחידה, מעריכית, גמה ונורמלית. טרנספורמציה של משתנה מקרי מעורב.4. התפלגות של מקסימום ומינימום. משתנה מקרי מעורב.5. מומנטים של משתנה מקרי. תוחלת ושונות, אי-שוויון צ‘בישב.6. וקטור מקרי, פונקציית הסתברות משותפת, צפיפות משותפת, התפלגויות שוליות.7. משפט הגבול המרכזי. קירוב נורמלי. חוק המספרים הגדולים.

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

  1. חשבון אינטגרלי ושימושיו: האינטגרל המסוים וסכומי רימן, אינטגרביליות של פונקציות חסומות בעלות מספר בן מנייה של נקודות אי-רציפות (ההוכחה רק עבור פונקציות רציפות ופונקציות מונוטוניות), פונקציות קדומות והמשפט היסודי של חדו“א. שיטות אינטגרציה: אינטגרציה בחלקים, החלפת משתנה, שברים חלקיים (ללא הוכחה). שימושים של האינטגרל לחישובי שטח, נפח גוף סיבוב ואורך המסילה. אינטגרל לא אמיתי ומבחני התכנסות עבור פונקציות חיוביות. שימוש להתכנסות של טורים.
  2. פונקציות מרובות משתנים: קבוצות פתוחות, קבוצות סגורות וקבוצות קומפקטיות. פונקציות מרובות משתנים, גרף של פונקציה, קווי ומשטחי רמה, העתקות, מסילות, קשירות מסילתית.
  3. גבולות ורציפות: הגדרות, האריתמטיקה של גבולות, משפטי ווירשטראס, משפט ערך הביניים.
  4. חשבון דיפרנציאלי במספר משתנים: נגזרות חלקיות וכיווניות, דיפרנציאביליות והמישור המשיק, כלל השרשרת, האורתוגונליות של הגרדיאנט לקווי ומשטחי רמה, פונקציות סתומות, משפט הפונקציה הסתומה עבור עקום במישור ומשטח במרחב (ללא הוכחה), ההסיאן, קירוב טיילור מסדר שני, נקודות קריטיות ומיונן (המיון רק במימד 2). בעיות קיצון: כופלי לגרנז‘, מורד הגרדיאנט.
  5. חשבון אינטגרלי במימד 2: האינטגרל המסוים במימד 2, אינטגרל חוזר והחלפת סדר האינטגרציה, החלפת משתנים (ללא הוכחה), קואורדינטות קוטביות, שימוש באינטגרל לחישובי נפחים. ככל שיאפשר הזמן: אינטגרל במימד 3.
  1. אינטגרל רימן: סכומי רימן, המשפט היסודי של החשבון הדיפרנציאלי והאינגרל הלא-מסוים. שיטות לחישוב אינטגרלים (אינטגרציה בחלקים, חילוף משתנה, שברים חלקיים). אינטרגלים לא אמיתיים ושימוש לטורים. 2. התכנסות במידה שווה והתכנסות נקודתית. תנאי קושי ומבחן M של ויירשטראס. טורי חזקות. טורי טיילור. 3. משוואות דיפרנציאליות מסדר ראשון: בעיית התחלה, משפט הקיום והיחידות המקומי. פתרונות מפורשים: משוואה פרידה, משוואה הומוגנית, משוואות ברנולי. 4. מערכות של משוואות דיפרנציאליות. קיום ויחידות (ללא הוכחה). מערכת הומוגנית של משוואות דיפרנציאליות ליניאריות עם מקדמים קבועים . 5. משוואות דיפרנציאליות מסדר גבוה: קיום ויחידות (ללא הוכחה), התורה הבסיסית. שיטת השוואת המקדמים עבור מערכות לא הומוגניות מסדר שני עם מקדמים קבועים. האוסצילטור ההרמוני ו\או מעגלי RLC. אם יתיר הזמן: שיטת הוריאציה של המקדמים והוורונסקיאן.
  1. שדות: הגדרת שדה, מספרים מרוכבים.

  2. משוואות לינאריות: פעולות אלמנטריות, דירוג, מערכות הומוגניות ולא הומוגניות, הצגת פתרונות.

  3. מרחבים ווקטוריים: דוגמאות, תת-מרחבים,תלות ליניארית, בסיסים, מימד.

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

  1. לכסון אופרטורים: ערכים ווקטורים עצמיים, פולינום אופייני, שימושים.

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

  3. אופרטורים על מרחבי מכפלה פנימית: הצמוד, אופרטורים צמודים לעצמם, אוניטריים ונורמליים

  4. המשפט הספקטרלי עבור אופרטורים נורמליים

מרחבים מטריים:

קבוצות פתוחות, קבוצות סגורות,סדרות קושי,שלמות,קומפקטיות,משפט היינה–בורל, רציפות, רציפות במידה שווה, התכנסות במידה שווה של סדרות פונקציות.

תורת המידה:

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

הערות

  • קורסים המסומנים ב-(*) מהווים דרישת קדם לרישום לתאר מוסמך
  • קורסים המסומנים ב-(#) הינם קורסי חובה אפשריים למוסמך, בתחומים המתאימים, כמתואר בתכנית הלימודים למוסמך. לפחות שניים כאלה, מתחומים שונים, נדרשים לעמידה בדרישות התואר.
  • קורסים לתארים מתקדמים פתוחים גם בפני תלמידי בוגר חזקים, להם ציון ממוצע של 85 ומעלה, ואשר ניתן להם אישור של המרצים בקורם ושל ראש ועדת ההוראה
  • אנא עיינו בתכניות הלימודים המלאות לתואר בוגר ולתארים מתקדמים למידע על הדרישות והאפשרויות המלאות.