88-202 תשעח סמסטר א

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

88-202 תורת הקבוצות


מרצה: אסף רינות.

מתרגלת: תמר בר-און.

שעות קבלה: בתיאום מראש במייל:

tamarnachshoni@gmail.com

הודעות

ביום ראשון, 19.11 לא יתקיים תרגול.

תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב[math]\displaystyle{ P(S) }[/math] .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת באיחוד S.

בוחן

הבוחן יתקיים בעז"ה ביום ראשון, 24.12 בזמן התרגול.

הבוחן אינו מגן!

חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.

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

בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.

בהצלחה!

הבוחן ופתרונו

ציוני הבוחן

תרגילי בית

תרגיל 1

פתרון

הגשה: 29.10

תרגיל 2

פתרון

הגשה: 05.11

תרגיל 3

פתרון

הגשה: 12.11

תרגיל 4

פתרון

הגשה: 26.11

תרגיל 5

פתרון

הגשה: 03.12

תרגיל 6

(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו)

פתרון

הגשה: 10.12

תרגיל 7

פתרון


הגשה: 31.12

תרגיל 8

הגשה: 07.01

תרגיל 9

הגשה: 14.01

תרגיל 10

הגשה: 21.01

ציונים

ציוני תרגיל

מערכי תרגול

מצורפים סיכומיו של ערן שטיין לתרגולים משנת תשע"ו.

תרגול 1

תרגול 2

תרגול 3

תרגול 4

תרגול 5

תרגול 6

תרגול 7

תרגול 8

תרגול 9

תרגול 10

תרגול 11

הוכחת משפט רמזי

מומלץ לקרוא

(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי.)

איך קנטור המציא את הסודרים?

סודרים- מה זה בכלל?

סודרים- התיאור הפורמלי

אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?

לבחור או לא לבחור – זו השאלה

בסיס מוצק מי ימצא

איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל

הלמה של צורן- שימושים במתמטיקה