88-202 תשעט סמסטר א: הבדלים בין גרסאות בדף

מתוך Math-Wiki
 
(25 גרסאות ביניים של 2 משתמשים אינן מוצגות)
שורה 8: שורה 8:


==הודעות==
==הודעות==
'''דברים שלא יופיעו במבחן:''' כמו שהסברתי בהרצאה האחרונה, הנושא ״מערכות של מספרים״ (הכולל את בניית השלמים, הרציונלים והממשיים, חתכי דדקינד ומשפט החסם העליון) לא יופיע במבחן. כמו כן, משפט גודשטיין לא יופיע כנושא שצריך להכיר מראש (אם כי איני שולל שמשהו דומה או חלקי יופיע כתרגיל, כאשר ההגדרות הנחוצות יסופקו במבחן). מטלות הקריאה המודרכת הם חלק מהחומר למבחן. כהקלה נוספת, '''בכל מועד תופיע לפחות שאלה אחת מהתרגיל''': מתרגיל בית, משיעור התרגיל, או וריאציה של שאלה כזו.
'''סקר שביעות הרצון מההוראה בקורס:''' כדי שיהיה משוב על הקורס, חשוב שכל תלמיד שנכח בהרצאות, אפילו בחלקן, ימלא את '''סקר ההוראה של הקורס'''. השתתפותכם בסקר רצויה ומוערכת.
'''מבחנים''' של פרופ' צבאן משנים קודמות אפשר למצוא [http://u.cs.biu.ac.il/~tsaban/ST/STExams.html כאן]. אין הרבה מבחנים. כדאי להסתכל גם במבחנים של פרופ' רינות (ייתכנו שם נושאים שאינם בקורס שלנו, ולהיפך, אך ההבדל אינו גדול).
[http://u.cs.biu.ac.il/~tsaban/Pdf/SpaceByCircles.pdf מטלת קריאה שלישית בקורס]: הוכחת המשפט שהמרחב הוא איחוד מעגלים זרים.
[http://u.cs.biu.ac.il/~tsaban/Pdf/Alephs.pdf מטלת קריאה שניה בקורס]: הוכחת הטענה האחרונה מההרצאה בנושא האלפים, ועוד תכונה של אלפים.


[http://u.cs.biu.ac.il/~tsaban/Pdf/Recursion.pdf מטלת קריאה ראשונה בקורס]: הוכחת משפט הרקורסיה (+דוגמא מפורטת כבונוס).
[http://u.cs.biu.ac.il/~tsaban/Pdf/Recursion.pdf מטלת קריאה ראשונה בקורס]: הוכחת משפט הרקורסיה (+דוגמא מפורטת כבונוס).


[http://u.cs.biu.ac.il/~tsaban/Pdf/Alephs.pdf מטלת קריאה שניה בקורס]: הוכחת הטענה האחרונה מההרצאה בנושא האלפים, ועוד תכונה של אלפים.
==רשימת הנושאים שכיסינו בתרגול==
 
קבוצות סדורות. סדר צפוף. סדר טוב.
 
תת קבוצות קופינליות.
 
פונקציות שומרות סדר, איזומורפיזם סדר.
 
סודרים (הגדרה ותכונות).
 
סודרים עוקבים וגבוליים.
 
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
 
פונקציות מונוטוניות ורציפות.
 
טופולוגיית הסדר.
 
אקסיומות zf.
 
אקסיומת הבחירה ושיקולים: עקרון הסדר הטוב, הלמה של צורן.
 
עוצמות וסודרים מונים.
 
ארתמטיקה של עוצמות.
 
קופינליות של סודרים.
 
==בוחן==
 
בוחן בקורס יתקיים ביום ראשון, 16.12, בשעה 14:00-15:30 (בזמן התרגול).
 
חומר לבוחן: כל מה שנלמד עד תרגול 7, כולל. בפירוט:
 
קבוצות סדורות. סדר צפוף. סדר טוב.
 
תת קבוצות קופינליות.
 
פונקציות שומרות סדר, איזומורפיזם סדר.
 
סודרים (הגדרה ותכונות).
 
סודרים עוקבים וגבוליים.
 
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
 
פונקציות מונוטוניות ורציפות.
 
טופולוגיית הסדר.
 
בבוחן יכולות להופיע שאלות מהתרגול/ מש"ב, כמו גם שאלות חדשות.
 
[[מדיה: STquiz2019.pdf| הבוחן]]
 
[[מדיה: STquiz2019Sol.pdf| ופתרונו]]
 
[https://docs.google.com/spreadsheets/d/e/2PACX-1vQdHSVM3hPB-rdCFc-3wlgycpX8YDpGFCbK7HvzotitfYIjK-5-5-ewJrd8-sYyRBN3NFW5luIPFOG4/pubhtml?gid=1577262074&single=true ציוני הבוחן והגשות תרגילים]


==תקציר הקורס==
==תקציר הקורס==


[http://u.cs.biu.ac.il/~tsaban/Pdf/STLectures.pdf תקציר הקורס המתעדכן]. מתעדכן מדי הרצאה, ולכן לא מומלץ להורידו אלא לקרוא תמיד מהקישור.  
[http://u.cs.biu.ac.il/~tsaban/Pdf/STLectures.pdf תקציר הקורס המתעדכן]. מתעדכן מדי הרצאה, ולכן לא מומלץ להורידו אלא לקרוא תמיד מהקישור.
 
[http://u.cs.biu.ac.il/~tsaban/Pdf/LebMsrPb.pdf בעיית המידה של לבג]. סיכום בסגנון קצת שונה מאיך שהצגנו בהרצאה, אבל ההרצאה הלכה לפיו, והמתמטיקה זהה. כולל פרק בונוס, "עוד על מונים מדידים".


==תרגילים==
==תרגילים==
שורה 24: שורה 92:


[[מדיה:settheoryex22019.pdf|תרגיל 2]]
[[מדיה:settheoryex22019.pdf|תרגיל 2]]
[[מדיה:settheoryex2sol2019.pdf|פתרון]]


[[מדיה:settheoryex32019.pdf|תרגיל 3]]
[[מדיה:settheoryex32019.pdf|תרגיל 3]]
[[מדיה:settheoryex3sol2019.pdf|פתרון]]


[[מדיה:settheoryex42019.pdf|תרגיל 4]]
[[מדיה:settheoryex42019.pdf|תרגיל 4]]
[[מדיה:settheoryex4sol2019.pdf|פתרון]]


[[מדיה:settheoryex52019.pdf|תרגיל 5]]
[[מדיה:settheoryex52019.pdf|תרגיל 5]]
[[מדיה:settheoryex5sol2019.pdf|פתרון]]
[[מדיה:settheoryex62019.pdf|תרגיל 6]]
[[מדיה:settheoryex6sol2019.pdf|פתרון]]
[[מדיה:settheoryex72019.pdf|תרגיל 7]]
[[מדיה:settheoryex7sol2019.pdf|פתרון]]
[[מדיה:settheoryex82019.pdf|תרגיל 8]]
[[מדיה:settheoryex8sol2019.pdf|פתרון]]
[[מדיה:settheoryex92019.pdf|תרגיל 9]]
[[מדיה:settheoryex9sol2019.pdf|פתרון]]
[[מדיה:settheoryex102019.pdf|תרגיל 10]]
[[מדיה:settheoryex10sol2019.pdf|פתרון]]
[[מדיה:settheoryex112019.pdf|תרגיל 11]]
[[מדיה:settheoryex11sol2019.pdf|פתרון]]
הערה: בשאלה 3 א' יש לדרוש: <math>\kappa>0</math>.
[[מדיה:settheoryex122019.pdf|תרגיל 12]] תרגיל רשות
[[מדיה:settheoryex12sol2019.pdf|פתרון]]
יש להגיש את כל התרגילים החסרים עד 19.01, על מנת שאוכל להעלות לכם פתרונות לפני המבחן.


==העשרה==
==העשרה==
שורה 38: שורה 146:


[https://youtu.be/s86-Z-CbaHA הפרדוקס של בנך-טרסקי]: איך אפשר - תיאורטית - להפוך כדור זהב אחד לשניים, בעזרת אקסיומת הבחירה.
[https://youtu.be/s86-Z-CbaHA הפרדוקס של בנך-טרסקי]: איך אפשר - תיאורטית - להפוך כדור זהב אחד לשניים, בעזרת אקסיומת הבחירה.
[https://gadial.net/2013/09/10/axiom_of_choice_guessing_riddles/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל]
[https://gadial.net/2007/07/04/axiom_of_choice/ לבחור או לא לבחור – זו השאלה]
[https://gadial.net/2007/07/09/nonconstructive_proofs_vector_space_basis/ בסיס מוצק מי ימצא]
[https://gadial.net/2012/06/04/choice_order_zorn/ אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?]

גרסה אחרונה מ־14:06, 28 בינואר 2019

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

מרצה: פרופ' בועז צבאן.

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

דרישות הקורס: תרגיל (20% מהציון הסופי), מטלות קריאה עצמית, מבחן (80% מהציון הסופי). חובה להגיש לפחות 70% מתרגילי הבית (מעוגל כלפי מעלה) כדי לקבל ציון בקורס.

הודעות

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

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

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

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

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

מטלת קריאה ראשונה בקורס: הוכחת משפט הרקורסיה (+דוגמא מפורטת כבונוס).

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

קבוצות סדורות. סדר צפוף. סדר טוב.

תת קבוצות קופינליות.

פונקציות שומרות סדר, איזומורפיזם סדר.

סודרים (הגדרה ותכונות).

סודרים עוקבים וגבוליים.

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

פונקציות מונוטוניות ורציפות.

טופולוגיית הסדר.

אקסיומות zf.

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

עוצמות וסודרים מונים.

ארתמטיקה של עוצמות.

קופינליות של סודרים.

בוחן

בוחן בקורס יתקיים ביום ראשון, 16.12, בשעה 14:00-15:30 (בזמן התרגול).

חומר לבוחן: כל מה שנלמד עד תרגול 7, כולל. בפירוט:

קבוצות סדורות. סדר צפוף. סדר טוב.

תת קבוצות קופינליות.

פונקציות שומרות סדר, איזומורפיזם סדר.

סודרים (הגדרה ותכונות).

סודרים עוקבים וגבוליים.

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

פונקציות מונוטוניות ורציפות.

טופולוגיית הסדר.

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

הבוחן

ופתרונו

ציוני הבוחן והגשות תרגילים

תקציר הקורס

תקציר הקורס המתעדכן. מתעדכן מדי הרצאה, ולכן לא מומלץ להורידו אלא לקרוא תמיד מהקישור.

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

תרגילים

תרגיל 1

פתרון

תרגיל 2

פתרון

תרגיל 3

פתרון

תרגיל 4

פתרון

תרגיל 5

פתרון

תרגיל 6

פתרון

תרגיל 7

פתרון

תרגיל 8

פתרון

תרגיל 9

פתרון

תרגיל 10

פתרון

תרגיל 11

פתרון

הערה: בשאלה 3 א' יש לדרוש: [math]\displaystyle{ \kappa\gt 0 }[/math].

תרגיל 12 תרגיל רשות

פתרון

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

העשרה

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

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

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

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

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

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

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