פונקציות ממשיות
תשע״ו
-
הרצאה 1 ←
מערכת הממשיים המורחבת - סימונים מוכרים, פעולות וסכומים
מרחבים מטריים
גבולות
קבוצות סגורות ופתוחות
רציפות
המקרה הפרטי של הממשיים
סביבות
התחלה של מכפלות -
תרגול 1 ←
סדרות של פונקציות
מרחבים מטריים
התכנסות
רציפות -
הרצאה 2 ←
המשך מכפלות
מטריקה וטופולוגיה על מערכת הממשיים המורחבת
אלגברה, סיגמא אלגברה
משפט המחלקה המונוטונית
תתי מרחב
התחלת קבוצות בורל -
תרגול 2 ←
אלגברה וסיגמא אלגברה
דוגמאות ותרגילים -
הרצאה 3 ←
קבוצות בורל
פונקציות מדידות
מידה -
תרגול 3 ←
תרגילים על מדידות
דוגמא חשובה -
הרצאה 4 ←
תכונות של מידות
שלמות של מידה והשלמה
תכונות כמעט בכל מקום
תמונה של מידה ביחס לפונקציה
אינטגרציה - פונקציות פשוטות
אינטגרציה - כל פונקציה מדידה
משפט ההתכנסות המונוטונית
הלמה של בורל קנטלי
הלמה של פטו
כפל מידה בפונקציה -
תרגול 4 ←
מידות ומשפטים לגביהן
-
הרצאה 5 ←
אינטגרציה ביחס למיד מושרית
אינטגרציה של פונקציות ממשיות ומרוכבות
משפט ההתכנסות הנשלטת של לבג
אינטגרל ביחס להשלמת מידה
פונקציות מוגדרות כמעט בכל מקום
טורים
אינטגרל על תתי קבוצות מדידות -
תרגול 5 ←
אינטגרלים - תרגילים וטענות
-
הרצאה 6 ←
רגולריות מבחוץ ומבפנים, רגולריות
יחידות מידת בורל אינווריאנטית להזזות
הבנייה של קרתאודורי - התחלה -
תרגול 6 ←
טענה על אינטגרביליות רימן
הלמה של בורל קנטלי -
הרצאה 7 ←
בניית קרתאודורי
מידת סטילטייס
מידת לבג -
תרגול 7 ←
תרגילים על אינטגרלים
-
הרצאה 8 ←
השלמות - מידות סטילטייס ממונוטוניות, מידות שלמות, רגולריות מבפנים
מידת לבג - אפיון קבוצות מדידות לבג, קבוצת ופונקציית קנטור, קבוצה מדידה לבג שאינה בורל -
תרגול 8 ←
תרגילים על מידות ומדידות
-
הרצאה 9 ←
התכנסות פונקציות - כמעט במידה שווה, במידה
מכפלת מידות -
הרצאה 10 ←
מכפלת מידות - מידת בורל לבג על Rn
משפטי טונלי ופוביני
מרחבי Lp -
הרצאה 11 ←
עוד על Lp
שלמות של מרחב נורמי
צפיפות הפונקציות הפשוטות
רציפות בהחלט של האינטגרל
המקרה הפרטי של Rd
הזזות
צפיפות הרציפות בעלות תומך קומפקטי
נקודות לבג וגזירת אינטגרל - ההתחלה
למת כיסוי של ויטלי -
הרצאה 12 ←
נקודות לבג
פונקציה מקסימלית גבולית
גזירות האינטגרל
פונקציות מונוטוניות
פונקציות רציפות בהחלט -
הרצאה 13 ←
פונקציות בעלות השתנות חסומה
משפט לוזין
קונבולוציה
תשע״ג
-
שבוע 1 ←
בהרצאה
בירוקרטיה
מרחבים מטריים
טופולוגיה ב Rn - (קבוצות פתוחות סגורות קומפקטיות)
אפיון כל הקבוצות הפתוחות על הישר הממשי
בתרגול
קבוצות ממידה אפס
קבוצת קנטור - קבוצה סגורה חסומה מעוצמה א' ומידה אפס (אפילו לפי מידת ז'ורדן/רימאן) -
שבוע 2 ←
בהרצאה
תחילת פרק 1: מידת לבג
ההגדרה למלבנים וקבוצות אלמנטריות
תת סיגמא אדיטיביות
הגדרת המידה החיצונית, הגדרת קבוצה מדידה לבג
בתרגול
מידה חיצונית
מידה חיצונית של תת-גרף של פונקציה אינטגרבילית רימאן שווה לאינטגרל -
שבוע 3 ←
בהרצאה
אדיטיביות וסיגמא אדיטיביות של מידת לבג עבור קבוצות מדידות
הגדרה: סיגמא אלגברה
הקבוצות המדידות הן סיגמא אלגברה
בתרגול
בכל קבוצה ממידה חיובית יש קטע שבו הצפיפות שלה גדולה כרצונינו
רציפות מידת לבג בהתכנסות מונוטונית והתכנסות נקודתית -
שבוע 4 ←
בהרצאה
שבניית מידת לבג ב Rd עבור d>2
בניית קבוצה לא מדידה
מרחב מידה כללי ומשפט carathodory
מידות lebesgue stieltjes - אפיון כל מידות הבורל על הישר
בתרגול
אלגברה וסיגמא אלגברה
סיגמא אלגברה אינסופית לא יכולה להיות בת מניה -
שבוע 5 ←
בהרצאה
פונקצית קנטור
תחילת פרק 2: פונקציות מדידות
תכונות סגירות של משפחת הפונקציות המדידות (סגירות לפעולות חשבון, לגבולות וכו')
'כמעט בכל מקום' (כבמ), סגירות של הפונקציות המדידות תחת שוויון/גבול/נגזרת כבמ
התכנסות במידה, התכנסות כבמ גוררת התכנסות במידה.
הלמה של בורל קנטלי
אם סדרת פונקציות מתכנסת במידה לפונקצית גבול, יש תת סדרה שמתכנסת כבמ.
בתרגול
כל קבוצה ממידה חיובית מכילה קבוצה לא מדידה
מידות lebesgue stieltjes. -
שבוע 6 ←
בהרצאה
משפט Egorov - התכנסות כבמ היא 'כמעט' התכנסות במידה שווה
תחילת פרק 3: אינטגרל לבג
פונקציות פשוטות, הגדרת האינטגרל על פונקציות פשוטות
תכונות של האינטגרל על פונקציות פשוטות (ליניאריות מונוטוניות וכו')
אינטגרל לבג של פונקציה מדידה כלשהיא
בתרגול
אינטגרל לבג - הגדרה ותכונות -
שבוע 7 ←
בהרצאה
משפט Egorov - התכנסות כבמ היא 'כמעט' התכנסות במידה שווה
תחילת פרק 3: אינטגרל לבג
פונקציות פשוטות, הגדרת האינטגרל על פונקציות פשוטות
תכונות של האינטגרל על פונקציות פשוטות (ליניאריות מונוטוניות וכו')
אינטגרל לבג של פונקציה מדידה כלשהיא
בתרגול
אינטגרל לבג - הגדרה ותכונות
בשבוע 8 התקיימה רק הרצאה אחת קצרה, הסיכום שלה מוכל בסיכום שבוע 7 -
שבוע 9 ←
בהרצאה
משפטי התכנסות אינטגרלים
משפט ההתכנסות המונוטונית (Levi)
משפט ההתכנסות הנשלטת (משפט המז'ורנטה)
תחילת פרק 4: מרחב הפונקציות האינטגרביליות (L1(m
נורמות שמוגדרות על ידי אינטגרלים
פונקציות פשוטות ואינטגרביליות, פונקציות מדרגות, ופונקציות רציפות עם תומך קומפקטי הן משפחות צפופות ב(L1(m
משפט Luzin - פונקציה מדידה היא 'כמעט' רציפה
בתרגול
משפטי התכנסות לצורך גזירה מתחת לסימן האינטגרל
תרגילים על משפטי התכנסות -
שבוע 10 ←
בהרצאה
(L1(mue הוא מרחב נורמי שלם
משפט הזזה רציפה ב L1 - (נורמה אינטגרלית של הפרש בין פונקציה להזזה שלה מתכנסת לאפס)
משפט פוביני (Fubini) אינטגרלים חוזרים שווים לאינטגרל הרב מימדי
שיטת ההוכחה - נגדיר את אוסף כל הפונקציות עליהן המשפט נכון, נראה שפונקציות בסיסיות שייכול אליו ושהוא סגור להרבה דברים וככה נראה שהוא למעשה אוסף כל הפונקציות האינטגרביליות
משפט טונלי (פוביני לפונקציות חיוביות לא דורש אינטגרביליות)
שימוש למשפט פוביני - הוכחת תכונה פשוטה של טרנספורם פורייה
בתרגול
L1 כמרחב מידה
פוביני -
שבוע 11 ←
בהרצאה
תחילת פרק 5: אינטגרל ונגזרת
משפט הצפיפות של לבג
למת כיסוי
הפונקציה המקסימלית של Hardy Littlewood
הפונקציה המקסימלית היא 'כמעט ב L1'
הוכחת משפט הצפיפות של לבג
משפט הגזירות של לבג ומסקנות נוספות של משפט הצפיפות
הגדרת השתנות של פונקציה (הכנה לקראת השתנות חסומה)
בתרגול
אינטגרציה פולארית
חישוב נפח כדור היחידה ה n מימדי -
שבוע 12 ←
בהרצאה
השתנות חסומה BV
כל פונקציה BV היא גזירה כבמ - בהסתמך על משפט הכיסוי של ויטלי
הוכחת משפט הכיסוי של ויטלי (Vitali)
בתרגול
משפט הצפיפות של לבג
כל פונקציה אינטגרבילית ניתן לקרב כבמ עם רציפות -
שבוע 13 ←
בהרצאה
פונקציה עולה חוסמת את האינטגרל של הנגזרת שלה
תחילת פרק 6: פונקציות רציפות בהחלט - AC) Absolutly Continuous)
פונקציה היא AC אפ ורק אם היא האינטגרל של הנגזרת שלה
כל פונקציה ב BV ניתן לפרק לסכום של פונקציה AC ופונקציה סינגולרית
בתרגול
פונקציות רציפות בהחלט
מידות סינגולריות ומידות רציפות בהחלט -
שבוע 14 ←
בהרצאה
מיון מידות בורל על הישר - משפט הפירוק של לבג (למידה AC, מידה בדידה, ומידה סינגולרית ללא אטומים)
תחילת פרק 7 (לא למבחן) טרנספורם פורייה (Fourier)
הגדרה דוגמאות ותכונות
טרנספורם של פונקציה ב L1 הוא חסום, ורציף במש
נוסחת ההיפוך
משפט Plancherel