בתשובה לדורפל, 29/06/07 20:49
הו, רציונליים אמרת, לא ממשיים. 449263
במקרה של הרציונליים, אם כך, משפט ערך הביניים לא מתקיים. לא כך?
הו, רציונליים אמרת, לא ממשיים. 449268
תלוי. ''תכונת ערך הביניים'', שהיא תכונה טופולוגית כללית, אומרת שתמונת כל פונקציה רציפה מתת-קבוצה אל הממשיים, היא קטע, ואפשר להראות שהיא מתקיימת אם רק אם תת-הקבוצה קשירה. אז אם מסתכלים על הרציונליים כעל תת-מרחב (טופולוגי) של הממשיים - אז לא, משפט ערך הביניים לא מתקיים (כי היא אינה קבוצה קשירה).

אבל עבור אותה טופולוגיה, ההכללה ה-''טבעית'' ''התמונה הרציפה של כל קבוצה פתוחה של מספרים רציונליים, כוללת את כל המספרים הרציונליים בין החסם העליון שלה, לחסם התחתון שלה'' כן נכונה (לפחות לפי סקיצת ההוכחה שיש לי בראש, לא ניסיתי ממש לכתוב אותה).
הו, רציונליים אמרת, לא ממשיים. 449277
ואיך בדיוק יכולה להיות תמונה רציפה של מספרים רציונליים?
הו, רציונליים אמרת, לא ממשיים. 449278
הרציונליים הם מרחב מטרי לכל דבר. אין בעיה להגדיר עליהם פונקציות רציפות ביחס למטריקה שלהם. רק כשאתה מכניס את הממשיים לעניין כל הטופולוגיה מתחרבשת. למשל - כשהיינו רק ברציונליים, אז אוסף כל הרציונליים היה קבוצה פתוחה וסגורה, מן הסתם. כשאתה מביט עליו כעל תת קבוצה של הממשיים, הוא לא קבוצה פתוחה (כי בכל סביבה של רציונלי יש אי רציונלי), והוא לא קבוצה סגורה (כי יש סדרות רציונליים שמתכנסות לאי רציונלי).
הו, רציונליים אמרת, לא ממשיים. 449282
זה נשמע חביב - "כשהיינו רק ברציונליים"... הו הימים היפים!
הו, רציונליים אמרת, לא ממשיים. 449292
עוצמת הרציונליים כולם אלף-אפס, עוצמת כל תת-קטע של הישר הממשי כעוצמת הממשיים כולם - טריוויאלי לגמרי לכן שאף פונקציה מהרציונליים לממשיים לא יכולה להיות על, ולא לכך התכוונתי.

חוץ מזה, לא הבנתי אותך, ונדמה לי שלא הבנת אותי.
הו, רציונליים אמרת, לא ממשיים. 449314
העניין הוא שלא ברור על מה אתה מדבר ב"משפט ערך הביניים" ומהו "המקרה של הרציונליים" (פונקציות מ-Q ל-Q?) בהכללה שהוא דיבר עליה הוא ניסה להציע מקבילה של משפט ערך הביניים למקרה של הרציונליים - ההכללה הכי טבעית שאפשר לדמיין במקרה הזה, לדעתי.
הו, רציונליים אמרת, לא ממשיים. 449352
אני חושב על פונקציות מהרציונלים לרציונלים. משפט ערך הביניים לא מתקיים שם, לפי הדוגמה הנגדית שמספקת הפונקציה x^2, שעדיין רציפה, אבל כמובן איננה על (החלק האי-שלילי של הישר).
הו, רציונליים אמרת, לא ממשיים. 449371
הממ, צודק. אין מקור ל-‏2.

חזרה לעמוד הראשי המאמר המלא

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