הבדלים בין גרסאות בדף "88-341 תשעג סמסטר א/תרגילים/תרגיל 1"
מתוך Math-Wiki
עופר בוסאני (שיחה | תרומות) (←שאלה 2) |
יהודה שמחה (שיחה | תרומות) |
||
שורה 1: | שורה 1: | ||
− | == שאלה 1 == | + | ==שאלה 1== |
− | לכל קבוצה <math>E \subseteq \ | + | לכל קבוצה <math>E\subseteq\R</math> ומספרים <math>a,b\in\R</math> מגדירים <math>aE+b:=\{ax+b:x\in E\}</math> (ז"א <math>aE+b</math> היא תמונת <math>E</math> תחת הפונקציה הלינארית <math>x\mapsto ax+b</math>). |
− | הוכיחו: <math>m^*(aE+b)=|a| m^*(E)</math> | + | הוכיחו: <math>m^*(aE+b)=|a|m^*(E)</math> |
− | + | ||
− | + | ||
− | + | ==שאלה 2== | |
+ | הוכיחו כי כל קבוצה קומפקטית ב- <math>\R</math> הנה מדידה לבג. | ||
− | + | הערה: אתם רשאים להשתמש בעובדה (שעוד לא למדתם) שאיחוד בן מניה של קבוצות מדידות הנו מדיד. | |
− | + | ||
+ | ==שאלה 3== | ||
+ | '''הגדרה:''' נאמר שקבוצה <math>G\subseteq\R</math> היא מטיפוס <math>G_\delta</math> אם ניתן להציג אותה כחיתוך בן-מנייה של קבוצות פתוחות. | ||
− | תהי <math>E \subseteq \ | + | תהי <math>E\subseteq\R</math> הוכיחו שקיימת קבוצה <math>G\in G_\delta</math> המקיימת <math>E\subseteq G</math> וכן <math>m^*(G)=m^*(E)</math> |
'''הדרכה:''' עקבו אחרי השלבים הבאים: | '''הדרכה:''' עקבו אחרי השלבים הבאים: | ||
− | א. הוכיחו שלכל קבוצה <math>E \subseteq \ | + | א. הוכיחו שלכל קבוצה <math>E\subseteq\R</math> ולכל <math>\varepsilon>0</math> קיימת קבוצה פתוחה <math>O</math> , המקיימת <math>E\subseteq O</math> וכן |
− | <math>m^*(O) \ | + | <math>m^*(O)\le m^*(E)+\varepsilon</math> |
ב. בנו סדרה של קבוצות פתוחות מתאימות ע"פ א' וחיתכו אותן. | ב. בנו סדרה של קבוצות פתוחות מתאימות ע"פ א' וחיתכו אותן. |
גרסה אחרונה מ־12:32, 3 בנובמבר 2016
שאלה 1
לכל קבוצה ומספרים מגדירים (ז"א היא תמונת תחת הפונקציה הלינארית ).
הוכיחו:
שאלה 2
הוכיחו כי כל קבוצה קומפקטית ב- הנה מדידה לבג.
הערה: אתם רשאים להשתמש בעובדה (שעוד לא למדתם) שאיחוד בן מניה של קבוצות מדידות הנו מדיד.
שאלה 3
הגדרה: נאמר שקבוצה היא מטיפוס אם ניתן להציג אותה כחיתוך בן-מנייה של קבוצות פתוחות.
תהי הוכיחו שקיימת קבוצה המקיימת וכן
הדרכה: עקבו אחרי השלבים הבאים:
א. הוכיחו שלכל קבוצה ולכל קיימת קבוצה פתוחה , המקיימת וכן
ב. בנו סדרה של קבוצות פתוחות מתאימות ע"פ א' וחיתכו אותן.
בהצלחה!