23–2022–א

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

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

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

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

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

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

מבוא למושגים הבסיסיים של תורת ההסתברות:

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

  • חלוקה ופריקות יחידה ב-$\mathbb{Z}$.
  • מספרים ראשוניים.
  • קונגרואציה.
  • שאריות רבועיות.
  • שרשים פרמיטיביים.
  • שברים משולבים.
  • מספרים אלגבריים וקרובים דיאופנטיים
  • יסודות תורת המספרים האלגברית
  1. חוגים ואידאלים.
  2. מודולים. סדרות מדוייקות. מכפלה טנזורית של מודולים.
  3. חוגים נטרים ומודולים מעליהם
  4. משפט הבסיס של הילברט.
  5. מודולים נוצרים סופית מעל תחום אידאילים ראשיים.
  6. משפט האפסים של הילברט.
  7. יריעות אפיניות.
  8. אידיאלים ראשונים ולוקליזציה. פרוק פרימרי.
  9. חוגי הערכה בדידה.
  1. טרנספורם פורייה: קונבולוציות, נוסחת ההיפוך, משפט פלנשרל, פונקציות הרמיט, דיסטריבוציות. נוסחת הסכום של פואסון. טרנספורם
  2. פורייה רב-מימדי. טרנספורם לפלס. קשר לקונבולוציות וטרנספורם פורייה. פולינומי לגר. יחידות ומשפט לרץ‘. שימושים למשוואות דיפרנציאליות רגילות.
  3. מיון של משוואות דיפרנציאליון חלקיות מסדר שני: משוואות אליפטיות, היפרבוליות ופרבוליות. משוואות לפלס, הגלים והחום.
  4. משוואות אליפטיות: משוואות לפלס ופואסון. בעיות שפה של דיריכלה ונוימן. גרעין פואסון. תכונות של פונקציות הרמוניות, עקרון המקסימום.
  5. שיטות אנליטיות לפתרון משוואות דיפרנציאליות חלקיות: בעיית שטורם-ליוביל ושיטת הפרדת המשתנים בתחום חסום. שימושים למשוואות לפלס, הגלים והחום, לרבות בעיות לא הומוגניות. שימושים של טרנספורם פורייה ולפלס לפתרון בעיות בתחומים לא חסומים.

ביבליוגרפיה

1. Stein E. and Shakarchi R., Fourier analysis, Princeton University Press, 2003. 2. Korner T.W., Fourier analysis, Cambridge University Press, 1988. 3. Katznelson Y., An Introduction to Harmonic Analysis, Dover publications. 4. John, Partial differential equations, Reprint of the fourth edition. Applied Mathematical Sciences, 1. Springer-Verlag, New York, 1991. 5. Evans Lawrence C. Partial Differential Equations, Second Edition. 6. Gilbarg D.; Trudinger N. S. Elliptic partial differential equations of second order, Reprint of the 1998 edition. Classics in Mathematics. Springer-Ver lag, Berlin, 2001. 7. Zauderer E. Partial differential equations of applied mathematics, Second edition. Pure and Applied Mathematics (New York). A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1989. xvi+891 pp. ISBN: 0-471-61298-7.

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

ספרות מומלצת:

-זוריץ׳, אנליזה מתמטית I וII, ספרינגר

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

מטרות הקורס

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

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

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

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

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

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

נושאי הקורס

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

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

23–2022–ב

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

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

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

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

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

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

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

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

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

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

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

  1. מבנים אלגבריים יסודיים: חוגים, מודולים, אלגבראות, המרכז, אימפוטנטים, חוגי חבורה.

  2. חוגים עם חילוק: הקוטרניונים של המילטון, אלגבראות קוטרניונים מוכללות, אלגבראות חילוק מעל $\mathbb{F}_q$, $\mathbb{C}$, $\mathbb{R}$, $\mathbb{Q}$ (משפטי Frobenius ו-Wedderburn), אלגבראות ציקליות, משפט Brauer-Cartan-Hua.

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

  4. תורת Wedderburn-Artin: הומומורפיזמים וסכומים ישרים, הלמה של Schur, משפט המבנה של Wedderburn-Artin, חוגים ארטיניים

  5. מבוא להצגות של חבורות: הצגות ואפיינים, הצגות ותורת Wedderburn-Artin , יחסי האורתוגונליות, מימדי הצגות אי-פריקות, משפט Burnside.

  6. מכפלות טנזוריות: מכפלות טנזוריות של מודולים ואלגבראות, הרחבות סקלריות, אינדקס Schur, פשטות ומרכז של מכפלות טנזוריות, חבורת Brauer, משפט Skolem-Noether, משפט הממרכז הכפול, שדות מירביים באלגבריות, נורמה ועקבה מצומצמות, מכפלות משולבות.

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

  2. חבורות אלגבריות, חבורות מטריצות, החבורות הקלאסיות.

  3. אלגבראות לי והקשר לחבורות לי.

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

  5. תבנית קילינג קרטן.

  6. הצגות של אלגברת לי מעל המספרים המרוכבים.

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

הערות

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