בתשובה לעוזי ו., 16/05/03 20:42
דוגמא 147114
אני חושב שעד העבודה הבאה שלי, לא רק שכבר יוכיחו את השערת פואנקרה, אלא גם את השערת גולדבך וש-P=NP.
דוגמא 403058
כנראה שההוכחה של גריגורי פרלמן אכן נכונה. הארץ: http://www.haaretz.co.il/hasite/spages/751667.html
דוגמא 403062
כשקוראים איך הוא בחר לפרסם את ההוכחה, אפשר כמעט להתחיל להאמין שגם דורון שדמי מחביא איזה שפן בכובע...
דוגמא 403067
כשקוראים את המאמר, או את המקור האנגלי‏1:
"Rather than publishing in a peer-reviewed journal, he posted three manuscripts in an online archive of maths and physics papers"

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

2 http://arxiv.org/abs/math/0211159 אם זה מעניין מישהו
משפט סיטלסקי 1877 403081
כידוע, אין לראות במשפט זה כפורץ דרך בתחום הטופולוגיה, אך עדיין, משפט זה מציב בעיות חדשות כאשר משווים אותו לפתרונה של השערת פואנקרה. האם מישהו יוכל לשפוך מעט אור על סוגיה זו?
משפט סיטלסקי 1877 ? 403124
דוגמא 403123
המממ. דווקא לא התרשמתי שהפרסום בגרדיאן כרוך באיזושהי התקדמות של ממש; כזכור, התפרסמו לאחרונה מספר עבודות עתירות-עמודים של חוקרים המנסים למלא את הפרטים החסרים אצל פרלמן (ובמקרים אחדים, להחליף טיעונים שלו בטיעונים חלופיים). נראה, בכל אופן, שההוכחה אכן נכונה.
דוגמא 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
נכון. תודה.

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

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