שינויים

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

נוספו 1,788 בתים, 17:20, 30 בינואר 2011
/* חתכי דדקינד */
:::התבלבלת, מה זה An/A_L-e?
::::לא התבלבלתי, זה הקבוצה <math>A_n</math> בלי הקבוצה <math>A_{L-\epsilon}</math>. תיזכר בסימונים של בדידה.
:::::אוקי.. אבל אני לא רואה איך התנאי פה קשור להתכנסות של סדרת המספרים. אולי תסבירי מה הכוונה פה. אבל בעצם, הרעיון הזה של לקחת את תנאי ההתכנסות למספרים ולהעתיק אותו לחתכים הוא רעיון ממש טוב, נראה לי שהוא יכול לעבוד. בזכות הרעיון שלך פתרתי את זה כך: צריך לעשות קודם כמה הכנות. נגדיר: חתך A הוא "חיובי" אם המס' שמייצר אותו (תמיד קיים) גדול מאפס, או במילים אחרות שכל מספר שקטן או שווה לאפס שייך לA (כנ"ל עם שלילי, אי שלילי וכו'). (הערה- כשאני אומר חתך A אני מתכוון לחתך A,A'). כמו כן "A-" הוא החתך שמייצר את המספר הנגדי לA, והרי הוכחנו בכיתה שלכל מספר ממשי יש נגדי ושכל מספר מיוצר ע"י חתך יחיד (כי אם המספר רציונלי, ניקח תמיד חתך מהסוג הראשון, ואם המספר אי רציונלי ניקח חתך מהסוג השלישי), ולכן ההגדרה טובה, ולבסוף נגדיר "|A|" כ-A אם A חיובי וכ- A- אם A שלילי, וב0 ברור. כעת התנאי יהיה שאם לכל אפסילון גדולה (חתך) חיובית (גדולה מאפס=חיובית כמו שהגדרתי) קיים N כך שלכל n>N מתקיים שהחתך |An-L| מוכל בחתך E. (שוב, החלק השמאלי של החתך), אז סדרת החתכים מתכנסת לL. עכשיו רק צריך להוכיח שזה תנאי הכרחי ומספיק. אולי אנסה בהמשך ואגיד לך אם יש תוצאות..
== בפתרון למבחן של זלצמן 2010 ==
משתמש אלמוני