25–2024–א

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

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

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

  • יריעות טופולוגיות. חבורה יסודית ומרחבי כיסוי. שימושים.
  • הומולוגיה סינגולרית ושימושים.
  • יריעות גזירות. תבניות דיפרנציאליות ומשפט Stokes. הגדרת קוהומולגית de Rham
  • נושאים נוספים אם ישאר זמן
  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, משפט הממרכז הכפול, שדות מירביים באלגבריות, נורמה ועקבה מצומצמות, מכפלות משולבות.

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

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

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

25–2024–ב

  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.

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

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

למידה עמוקה, או בשמה העממי: אינטליגנציה מלאכותית, זוכה להצלחה מסחררת בשנים האחרונות. בבסיסה שלה השיטה נמצאים כלים מתמטיים בתחומי האלגברה הלינארית, האופטימיזציה, וההסתברות והסטטיסטיקה מטרת הקורס היא להכין את התלמידים לקורסים מתקדמים בתחום הלמידה העמוקה תוך הכרת הכלים המתמטיים שבבסיס התורה. בנוסף יכלול הקורס מבוא ללמידה עמוקה תוך שימוש בכלים אילו בדוגמאות פשוטות. הקורס ירבה בהדגמות ממוחשבות במערכת Sage מבוססת פייתון, וישמש גם הכנה לשימוש בפייתון בקורסים מתקדמים בלמידה עמוקה. הקורס יתמקד באלגברה לינארית ואופטימיזציה ולכן מומלץ ללמוד קורס בהתסברות ו/או סטטיסטיקה בנוסף. ספר הקורס יהיה הספר: Strang - Linear algebra and learning from data דרישת הקדם לקורס היא שני קורסי האלגברה הלינארית וקורס החדו“א הראשון במתמטיקה, מדעי המחשב או הנדסת חשמל. תלמידי מחלקות אחרות המעונינים ללמוד את הקורס יתקבלו על בסיס פרטני.

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

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

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

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

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

הערות

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