תורת רמזי (תשע"ב)
תורת רמזי (או: תורת המספרים הקומבינטורית)
סמסטר ב' תשע"ב, ימי שני, 11:00-12:30, 12:45-13:30, חדר הסמינרים של המחלקות למתמטיקה ומדעי המחשב, בניין 216 קומה ג'.
תיאור הקורס (פרומו)
ספר הקורס
ספר הקורס: מכיל את רוב ההרצאות. שיעורי הבית יינתנו מספר זה.
הספר כתוב עברית. ישנה תכנית לכתוב מהדורה מורחבת יותר, באנגלית. נראה...
רקע נדרש בטופולוגיה:
החל מההרצאה השניה (כנראה) ואילך, נשתמש במושגים אלמנטריים מטופולוגיה, שמכוסים בשלשה עמודים
בספר הקורס. תלמידים שלא למדו קורס בטופולוגיה מתבקשים ללמוד חומר זה באופן עצמאי:
- תת-פרק 2.3 (עמ' 10-12): מ 2.12 עד תרגיל 6 (כולל תרגיל 6), וכן 2.19 ותרגיל 7.
- תת-פרק 2.4 (עמ' 12-13): מ 2.20 עד סוף התת-פרק.
זה עלול להיות דחוס מדיי בשביל מי שלא למד טופולוגיה, לכן לא להבהל אם זה לוקח
יותר זמן ממה שאתם רגילים.
כמו כן, על כל אחד מהמושגים שם אפשר לחפש, אם לא מרגישים אותו מספיק טוב,
הרחבות ודוגמאות באינטרנט, בספרים של האו"פ, בספרים בספריה, וכדומה.
אפשר לפנות אליי לעזרה אם צריך.
תודה לתלמידים הבאים עבור תיקונים והצעות שיפורים לספר הקורס:
ערן אלוף, גילי גולן, ברק הראל, יונתן חרמון, יובל חצ'טריאן, רן כהן, נעם לוין,
משה ליבוביץ', נועם ליפשיץ, אדם נתנאל, לואי פולב, מוטקה פורת, אביתר פרקר, אוהד צוהר, שובל צורן, איתי רביה, מני שלוסברג.
תודה מיוחדת: למיכאל מכורה, שעבר על הספר תוך כדי לימוד עברית (!) והציע תיקונים רבים ומועילים.
תרגילים
תדירות: עבודות יינתנו כמעט מדי שבוע לאחר השיעור (או במהלכו), והן להגשה בתחילת השיעור הבא (כלומר, תוך מעט פחות משבעה ימים).
אין הכרח לפתור את כל התרגילים בכל עבודה.
כל תרגיל ייבדק בצורה הבאה:
- שניים מתלמידי הקורס, על פי סבב, יבדקו את התרגיל, יכתבו הערות בדיקה ויתנו ציון:
- הציון אינו מתוך 100, אלא מתוך מספר התרגילים שניתנו. (למשל, אם היו שש שאלות, ציון טיפוסי יהיה 4.5/6)
- תלמידים שפתרו גם תרגילים שלא נתבקשו, יקבלו סימן "+" ליד ציון התרגיל, לאינדיקציה שאוכל אולי להתחשב בה אם יהיה צורך.
- כל אחד מהבודקים יבדוק חצי מהשאלות, בצורה רוחבית.
- לאחר מכן, התלמידים יעבירו את התרגילים לגילי גולן (לתיאום: gili.golan@mat111h.biu.ac.il בלי הספרות), שתבדוק את בדיקתם בצורה מדגמית ותיתן להם ציון
על איכות בדיקתם (באחוזים מתוך 100).
מטלה לשבוע 1: לקרוא פרק 1 (עמודים 1-6), ולפתור תרגילים 2, 4, 6, 7.
בודקי המטלה: גילעד ליברמן ויובל חצ'טריאן.
מטלה לשבוע 2: לקרוא תת-פרקים 2.1 ו 2.2 בספר (עמ' 7-10), ולפתור תרגילים 1, 4.
בודקי המטלה: שירה גילת ואדם נתנאל.
מטלה לשבוע 3:
-
תלמידים שטרם למדו או לומדים כעת טופולוגיה: לוודא שהם מבינים את החומר הנדרש בטופולוגיה (ראו "רקע נדרש בטופולוגיה" לעיל),
ואם לא, לקרוא את הערך
מרחב טופולוגי
באתר ויקיפדיה באנגלית (הערך העברי דל). אם מטלה זו מקשה עליך להגיש את התרגיל, נא צור/י אתי קשר.
-
בפרק 2: לקרוא תת-פרקים 2.3 עד 2.5 (כולל) ולפתור תרגילים 8, 9.
-
בפרק 3: לקרוא עד הגדרה 3.4 (לא כולל אותה), ולפתור תרגילים 1, 2.
בודקי המטלה: נועם ליפשיץ ואביתר פרקר.
מטלה לשבוע 4:
לקרוא בספר, פרק 3, תת-פרקים 3.1 עד 3.4 (כולל), ולפתור את תרגילים 3, 6, 7, 8.
בודקי המטלה: עדן קופרווסר ואסף רוזין.
מטלה לשבוע 5:
-
לקרוא את תת-פרק 3.5 ולפתור תרגיל 10.
-
לקרוא את תת-פרק 3.6 ולפתור תרגיל 11.
-
לקרוא את תת-פרק 4.1, ולפתור תרגיל 1.
בודקי המטלה: יובל חצ'טריאן ואביתר פרקר.
מטלה לשבוע 6:
לקרוא תת-פרקים 4.2+4.3
בגירסה החדשה של הספר (עמ' 28 עד 32), ולבחור אחת משתי האופציות הבאות:
- האופציה האתגרית: תרגיל 3 בלבד. (מי שמצליח תרגיל זה מתבקש להודיעני.)
- האופציה הסטנדרטית: תרגילים 5, 6.
בודקי המטלה: ניל וקסלר ותמר נחשוני.
בונוס לשבוע 6: למי שמעוניין, הנה
המאמר של גילי גולן
ושלי על המקרה שהסמיחבורה אינה מזיזה. מאמר זה מבוסס על עבודת התיזה של גילי, שנעשתה בעקבות הקורס
שניתן בשנה שעברה.
מטלה לשבוע 7:
- לקרוא תת-פרק 4.4 (בגירסה המעודכנת) ולפתור את תרגיל 8.
- לקרוא תת-פרק 5.1 כולו (בגירסה המעודכנת), כולל המעט שלא הספקנו היום. מצאתי כמה קיצורים להוכחות
שם, וייתכן שהצגתי בשינויי שגיאות. אודה לתיקונים באימייל.
(כן, בפועל יש לפתור רק שאלה אחת.) בודק המטלה: נועם ליפשיץ.
מטלה לשבוע 8: לקרוא תת-פרק 5.2 (בגירסה המעודכנת) ולפתור את תרגילים 3, 6, 8.
בודקים: אסף ועדן.
מטלה לשבוע 9:
- לקרוא תת-פרק 6.1 (בגירסה המעודכנת) ולפתור את תרגיל 1(ב) (סעיף זה בלבד).
- לקרוא תת-פרק 6.2 (בגירסה המעודכנת) ולפתור את תרגיל 2.
- לסיים לקרוא עד סוף פרק 6. לא להחמיץ! יש שם משחק איקס-עיגול רב-מימדי ועוד דברים מגניבים!
בודק: אדם נתנאל.
מטלה לשבוע 10: לקרוא תת-פרקים 7.1,7.2,7.3, ולפתור תרגילים 7,9.
בודק: שירה.
מטלה לשבוע 11: לקרוא תת-פרקים 7.4, 7.5, 7.6 (כתמיד, בגירסה המעודכנת לנצח), ולפתור תרגילים 10, 12.
בודקים: ניל ותמר.
ספרות מומלצת
תודה לתומר יניב על הרשימה הבאה. ספרים רבים ניתן למצוא באתר
bookfi.org
- I .Protasov: Combinatorics of Numbers.
מכיל את המשפטים המרכזיים שיוכחו בקורס. למעשה, הקורס חופף ברובו לספר זה.
אוכל לשלוח קטעים ממנו לתלמידים שברשימת התפוצה של הקורס.
- R.L. Graham, B.L. Rothschild, J.H. Spencer: Ramsey Theory.
הספר הקלאסי של התחום.
- Karen R. Johannson: Variations on a theorem by van der Waerden
עבודת תיזה (מאסטר).
הצגה ברורה של המשפטים המרכזיים, ושל נקודת המבט של עלמסננים.
- K.P. Hart: The Cech-Stone compactification.
חלק מרשימות של קורס בטופולוגיה, עם יישומים לקומבינטוריקה. דומה למה שנעשה בקורס.
- אי כריעות של משפטי צביעה מצגת על תוצאה מדהימה. (תודה לערן אלוף.)
שונות
נושאים בסיסיים בתורת הקבוצות: סיכום של התחלת הספר Set Theory של Thomas Jech, מהדורת המילניום. בעמוד 9 ובעוד כמה מקומות פזורים, אפשר למצוא מידע על ההכללות ה(בלתי-)אפשריות של משפט רמזי לעוצמות שאינן בנות מניה.
שווה-מרחק:
משחק חדש.
Primes → [Arithmetic Progressions]2
(על כתפיהם של גרין וטאו)
(c) כל הזכויות שמורות לבועז צבאן.