דצמ 31, 2023—מרץ 15, 2024

קורסים

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

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

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

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

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

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

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

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

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

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

  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$. התכנסות נקודתית, גרעין דיריכלה וקריטריון דיני.

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

  • יריעות טופולוגיות. חבורה יסודית ומרחבי כיסוי. שימושים.
  • הומולוגיה סינגולרית ושימושים.
  • יריעות גזירות. תבניות דיפרנציאליות ומשפט Stokes. הגדרת קוהומולגית de Rham
  • נושאים נוספים אם ישאר זמן
  1. גרפים מרחיבים ושימושיהם - הגדרות שקולות (הרחבה ספקטרלית, קבוע צ‘יגר, א“ש בוזר–צ‘יגר), למת הערבוב, משפט אלון–בופנה, שימושים, בניות מפורשות והסתברותיות
  2. תכונת T של קשדן - מבוא קצר להצגות של חבורות (סופיות ואינסופיות), גרפי קיילי ושרייר, תכונת T — הגדרה + תכונות, דוגמאות, בניית גרפים מרחיבים באמצעות תכונת T.
  3. נושאים נוספים (ככל שירשה הזמן ובהתאם לטעם של התלמידים) - בניית הזיג-זג, משפטי נקודת שבת (על עצים/על מרחבי הילברט), הרחבה בקומפלקסים סימפליציאליים ועוד.

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

הערות

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