שיחה:88-132 אינפי 1 סמסטר א' תשעד מדמח

מתוך Math-Wiki
גרסה מ־13:52, 29 באוקטובר 2013 מאת Aas (שיחה | תרומות) (\forall M\exists a\in A:a>M: פסקה חדשה)

קפיצה אל: ניווט, חיפוש

חזרה לדף הקורס


גלול לתחתית העמוד


הוספת שאלה חדשה

הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).

-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן

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

שאלות

שתיי שאלות בנושא חסמים

1. מה צריך לקיים חסם עליון של קבוצה, שהוא גם המקסימום של הקבוצה?

2. נניח שנתונה הקבוצה הבאה:

 zz A={2,3,5,8} zz 

החסם העליון שלה הוא 8.

אבל משהו כאן לא ברור לי.

ע"פ הגדרת החסם העליון מתקיים ש-8 חסם מלעיל של A (עם הדרישה הזו אין לי בעיה).

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

הדרישה אומרת שלכל e>0 קיים איבר a ב-A כך ש-a > 8-e.

אבל עבור e=0.1 למשל, (ועבור אפסילונים רבים אחרים), לא קיים איבר a ב-A כך ש- a>8-e.

אם כך, הדרישה השנייה של קיום חסם עליון, אינה מתקיימת. מדוע אז 8 הוא בכל זאת חסם עליון?


על מנת להיות מקסימום, האיבר צריך להיות שייך לקבוצה. לגבי הדוגמא שנתת, בוודאי שיש איבר a כזה. שכחת את 8 בעצמו! הרי
\forall \epsilon>0:8>8-\epsilon
--ארז שיינר 21:31, 23 באוקטובר 2013 (IDT)

איך מוכיחים שהמקסימום של קבוצה הוא הסופרימום של הקבוצה?

תודה

הוכחה: נניח M הוא המקסימום של הקבוצה A, לכן ברור שהוא חסם עליון.
נותר להוכיח, אם כן, שאין חסם עליון קטן יותר מM.
נניח בשלילה שיש חסם עליון כזה N שקטן ממש מM.
כיוון שM מקסימום, הוא שייך לקבוצה.
לכן, יש איבר בקבוצה (M בעצמו) שגדול יותר מN בסתירה לכך שN הוא חסם מלעיל.
--ארז שיינר 21:32, 23 באוקטובר 2013 (IDT)

שאלה לגבי תרגיל שמופיע באתר

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

השאלה הולכת כך:

יהיו קבוצות A,B מוכלות בממשיים. כל איבר ב-A קטן או שווה לכל איבר ב-B.

צריך להוכיח ש-supA<=infB.

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

בסדר..מניחים בשלילה ש-supA>infB

האם נכון לומר, שמההנחה בשלילה אפשר להסיק שיש קטע (infB,supA), כך שכל איבר בקטע שייך גם לקבוצה A וגם לקבוצה B?

לא. אין דרישה שקבוצה תכיל את כל המספרים הממשיים בקטע מסויים. קבוצות יכולות להיות אפילו סופיות. --ארז שיינר 21:34, 23 באוקטובר 2013 (IDT)

מדוע 0.99999...=1

זה הוזכר גם בהרצאה וגם בתרגול ולא מובן לי בכלל למה זה נכון.

עיקר הבעייה היא שלא למדתם כלל את הגדרת הממשיים, ולכן גם לא את הגדרת המספר 0.999....
המספר אינו מוגדר על ידי הספרות שלו, אלא על ידי סכום אינסופי מהצורה 0.999...=0.9+0.009+0.0009+...
נראה הגדרת סכום אינסופי שכזה בהמשך הקורס.
ובכל זאת, על מנת להבין מדוע מספרים אלה שווים, אפשר לראות את ההסבר הבא:
נסמן x=0.999..., לכן מתקיים 10x=9.999...
לכן מתקיים 10x-x=9
כלומר 9x=9
כלומר x=1.
המסקנה היא שגם לפי חוקי המתמטיקה שאתם מכירים על מספרים ממשיים, יוצא שזה אותו המספר. כאמור, אני מקווה שנבין את המספרים הממשיים טוב יותר במהלך הסמסטר.
--ארז שיינר 21:39, 23 באוקטובר 2013 (IDT)

שאלה בחסמים

תהי A\subseteq R ונתון ש- 0\notin A.

מגדירים את הקבוצה: עיבוד הנוסחה נכשל (שגיאת תחביר): A^{-1}=\left \{{1/a|a\in A}}{ \right \} .

הוכח/הפרך: אם A חסומה מלעיל, אז A^{-1} חסומה מלעיל.

לדעתי הטענה לא נכונה.

למשל עבור A=(0,1) מתקיים ש-A חסומה מלעיל (למשל ע"י 3), אבל A^{-1} לא חסומה מלעיל.

האינטואיציה היא שבגלל ש-A^{-1} מוגדרת להיות 1 חלקי איברי A, אז עבור איברי A שקרובים ל-0, השבר מתהפך והקבוצה

A^{-1}, לא תיהיה חסומה מלעיל.

השאלה שלי היא כיצד אני מוכיח את זה בצורה מדוייקת.

בעצם מה שאני רוצה להראות, זה ש-A^{-1} לא חסומה מלעיל. כלומר להראות שמתקיימת הטענה הבאה:

\forall M\exists a\in A:a>M. שזו בעצם השלילה של קיום חסם מלעיל.

איך אני מראה את זה???

השורה האחרונה שלך נכונה. אתה צריך להראות שלכל מספר M קיים איבר בקבוצה שגדול ממנו. איברים בקבוצה הזו הם מהצורה של אחד חלקי איברים מהקטע בין אפס לאחד.
אז רק צריך להראות ש \frac{1}{M+1}\in A^{-1} --ארז שיינר

מה נסגר עם הנוסחאות??????????????? אני לא מצליח לראות מה אני כותב. לא הבנתי גם מה אתה כתבת כי הנוסחה לא מופיעה כמו שצריך =\

\forall M\exists a\in A:a>M

\forall M\exists a\in A:a>M