5 במרץ-22 ביוני, 2018 מבחנים מסתיימים: 12 באוקטובר, 2018

קורסים

קורסים לבוגר

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

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

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

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

קורסים למוסמך

הקורס יעסוק במספר מושגים בסיסיים בתורת המודלים:

  • חילוץ כמתים
  • שימושים באלגברה לרבות שדות סגורים אלגברית ושדות סגורים ממשית
  • טיפוסים ומודלים רוויים

בהינתן זמן מספיק ניגע בנושאים הבאים: - השערת Vaught והניתוח של Morley של מודלים בני מניה - תורות -יציבות ודרגת מורלי - גבולות Fraisse

דרישות קדם

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

רשימת הנושאים:

  1. קטגוריות ופונקטורים: טרנספורמציות טבעיות, שקילות, פונקטורים צמודים, פונקטורים אדיטיביים, דיוק.
  2. פונקטורים נגזרים: מודולים פרוייקטיביים, אינג?קטיביים ושטוחים;. רזולוציות, הפונקטורים ו-; דוגמאות ושימושים.
  3. קוהומולוגיה לא אבלית ושימושיה.
  • הצגות תמורות ומשפטי Sylow.

  • הצגות של חבורות על חבורות, חבורות פתירות, חבורות נילפוטנטיות, מכפלות חצי-ישרות ומכפלות מרכזיות.

  • חבורות תמורות, החבורה הסימטרית והחבורה האלטרנטיבית.

  • חבורת Fitting המוכללת של חבורה סופית.

  • חבורות .

  • הרחבות של חבורות: הקוהומולוגיה הראשונה והשנייה ויישומים.

  1. Affine algebraic sets and varieties.
  2. Local properties of plane curves.
  3. Projective varieties and projective plane curves.
  4. Riemann–Roch theorem.

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

בקורס נאמץ את נקודת המבט המודרנית, לאור מאמרים שנכתבו לאחרונה על ידי: Gromov, Kleiner, Ozawa, Shalom & Tao, ואחרים.

ידע קודם נדרש: קורס בסיסי בהסתברות, היכרות עם הגדרות בסיסיות של תורת החבורות.

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

הערות

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