בתשובה לאלון עמית, 18/08/06 2:54
דוגמא 538804
גריגורי פרלמן מסרב לקבל את הפרס בן $1 מליון שהוענק לו ע"י מכון קליי על הפתרון להשערת פואנקרה (בעבר פרלמן סרב לקבל את מדליית פילד). צפיתי בקליפ המקושר ועדיין לא הבנתי לגמרי מה פרוש "הצורה הפשוטה ביותר".
דוגמא 538829
בקליפ מנסחים את ההשערה כך: "מהי הצורה הפשוטה ביותר בכל מימד". מסתמא, הכוונה היא להשערה: "הצורה הפשוטה ביותר בכל מימד היא ספירה (פני כדור)". אני לא מוצא הרבה דברים חיוביים להגיד על הניסוח הזה.

ההשערה (במימד 3, שהוא המקרה היחיד שנותר פתוח בעשורים האחרונים, וגם המימד המקורי אליו התייחס פואנקרה) היא זו: האם כל יריעה תלת-ממדית קומפקטית ופשוטת קשר היא ספירה? נסביר את המונחים:

יריעה תלת-ממדית: "מרחב" שכל איזור קטן בו נראה כמו המרחב התלת-ממדי הרגיל בו אנו חיים. למשל, מעגל (שפת עיגול) הוא יריעה חד-ממדית: קטע קטן של מעגל נראה כמו קטע של ישר, חוץ מזה שהוא קצת מתעקל. בטופולוגיה, אין "מתעקל": אפשר ליישר קטע של מעגל ולהפוך אותו לקטע ישר, אז הוא "נראה כמו" קטע של ישר. הספרה 8 איננה יריעה חד-ממדית בגלל הצומת שיש שם באמצע; אי-אפשר להפוך את הצומת הזו לקטע ישר בלי למעוך, ולמעוך כידוע אסור.

קופמקטית: בקירוב, "סופית". על המישור אפשר לפזר כמה גרגרי-מלח שרוצים כך שכל שניים מהם יהיו במרחק של לפחות מטר זה מזה. על פני כדור-הארץ, לעומת זאת, אי אפשר. מכאן שהמישור איננו קופמקטי ואילו כדור הארץ - כן.

פשוטת-קשר: בקירוב, "חסרת חורים": כל מעגל סגור אפשר לכווץ לנקודה. בלון הוא פשוט קשר, אבל כעך (פני-כעך, המשטח הדו-ממדי) הוא לא, כי לולאה סגורה המקיפה אותו איננה ניתנת לכיווץ.

ספירה: פני "כדור" ארבע-ממדי. פניו של כדור תלת-ממדי (כדור רגיל, זה שיש בבית) הם דו-ממדיים; קפיצה אחת למעלה ונפגוש את הספירה התלת-ממדית. קצת קשה לדמיין אבל מתרגלים.

המושגים הללו קצת זרים אבל הם פשוטים ויסודיים, ולא דרושה עבודה רבה כדי להפוך את הניסוחים המקורבים שלי להגדרות מדוייקות של ממש. ההשערה עצמה, כמובן, קשה עד מאוד. אף אחד לא הצליח לדמיין מרחב תלת-ממדי סופי ופשוט-קשר שאיננו ספירה, אבל רק עכשיו אנחנו בטוחים שבאמת אין כזה.
דוגמא 538874
תודה. האם יש להשערה הזו השלכה פרקטית (חוץ מלחשב מתי צריך להתחיל ליישב פלנטות אחרות)?
דוגמא 538923
לא שאני יודע. גם לחשב מתי ליישב אפשר בלי, להערכתי.
דוגמא 538875
האם "עיקום" של יריעה תלת מימדית דורש קיום של מרחב ארבעה מימדי שבו היא מתעקמת?
דוגמא 538925
לא. פעם נטו להגדיר יריעות בתור משהו שיושב בתוך מרחב גדול יותר, אבל כיום מקובלות ההגדרות ה''אינטרינזיות''. יש כל מיני משפטים יפים שמראים שכל יריעה אפשר לשים בתוך מרחב גדול מספיק, אבל לא תמיד זה רעיון טוב. חלק גדול מהעניין הוא להבחין בין דברים שאפשר לראות ''מבפנים'' לדברים שאפשר לראות רק ''מבחוץ''.
דוגמא 538940
לגבי ההבחנה בין דברים שאפשר לראות רק ''מבפנים'' לדברים שאפשר לראות ''מבחוץ'' תשאל את בוז'י הרצוג. הוא מבין גדול בזה.
דוגמא להדיוטות 547105
האם ההוכחה במימד 2 היא קלה? אם כן, אולי אפשר לראות אותה כדי לקבל איזה מושג על מה בכלל מדובר? חיפוש בגוגל לא הועיל.
_________
אני בטח עומד להתבייש בשאלה הזאת. מצד אחד אין הביישן למד, מצד שני אין האנונימי חרד (אבל זה מנהג טורד לכן שמה לא ארד).
דוגמא להדיוטות 547163
(למה, לעזאזל, שתתבייש בשאלה הזו?)

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

שווה לפחות להכיר את השחקנים: יש שני סוגים של יריעות דו-ממדיות, אלו שיש להן "פנים וחוץ" ואלו שאין להן. הסוג השני מכונה גם "לא-אוריינטבילי", והיצורים שחיים על יריעות כאלה לא יודעים מימינם ומשמאלם. היריעות מהסוג הראשון די מוכרות: אלו הספירה, הטורוס, הטורוס-הכפול:

הטורוס-המשולש, וכן הלאה.

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

אגב, טבעת-מביוס עצמה איננה ברשימה, וכך גם לא טבעת רגילה, מפני שיש להן "שפה", קצה. ביריעות שלנו כל נקודה מוקפת בעיגול קטן, שלם.

עד כאן התשובה הקלה שמניחה שכבר עשינו את כל העבודה הקשה. עכשיו אפשר לשאול, האם אפשר יותר בקלות להוכיח שיריעה דו-ממדית קומפקטית ופשוטת-קשר היא פשוט פני-כדור? והתשובה היא שאני לא יודע. צריך לחשוב על זה.
דוגמא להדיוטות 547181
תודה.

(כי היה סיכוי שהתשובה על השאלה תמחיש את בורותי הטופולוגית, משהו כמו ''זה הרי נובע מההגדרה''. ככל שידיעתי הגיעה, ''כדור'' היה יכול להיות מוגדר טופולוגית כ''יריעה דו ממדית קומפקטית פשוטת קשר'')
דוגמא להדיוטות 547187
אני יכול לחשוב על שניים-שלושה דברים יותר מבישים מבורות טופולוגית.

(זה לא כל כך סביר להגדיר אובייקט קונקרטי כמו ''כדור'' באופן פונקציונלי שכזה.)
דוגמא להדיוטות 547199
למען האמת, גם אני.
דוגמא להדיוטות 549241
הרצאה על הנושא: http://athome.harvard.edu/threemanifolds/watch.html
דוגמא להדיוטות 549267
נראה מעניין. תודה!
דוגמא 547752
ניטפוק קטן:
להסבר של "פשוטת קשר", בנוסף ל"חסרת חורים\כל מסלול סגור כַּווִיץ לנקודה" יש להוסיף גם גם "קשירה".
"קשירה": בקירוב: בין כל שתי נקודות ניתן למצוא מסלול בתוך היריעה.
דוגמא 547850
נכון. תודה.

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

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