בתשובה להאייל הצעיר, 18/07/05 21:15
איך לא הבנתי את זה בעצמי? 317945
ובאינדוקציה...
איך לא הבנתי את זה בעצמי? 317947
השמש היא אוסף סופי של תפוזים?
איך לא הבנתי את זה בעצמי? 317949
לא, אבל אפשר לבנות אותה מהם ע"י פירוק לחלקים, סיבובים והזזות; כיוון שיש לה אותו נפח כמו למספיק תפוזים, זה דווקא החלק הפחות מפתיע בסיפור.
איך לא הבנתי את זה בעצמי? 317952
אחח, אם רק האלכימאים היו יודעים את זה...
איך לא הבנתי את זה בעצמי? 317948
זה נשמע הגיוני, אבל לא הייתי בטוח, כי זה לא ממש ברור לי שאת הכדורים ניתן לחבר לכדור גדול פי 2. אבל אם אתה אומר שזה אפשרי, אני מקבל את זה כאקסיומה ‏1.

1 אם את *כל* מה שאתה אומר אני מקבל כאקסיומה, ואתה אכן מכונת טיורינג, מתקבלת מכך תורה אפקטיבית. נשמע נחמד :).
איך לא הבנתי את זה בעצמי? 317954
אל תקבל שום דבר כאקסיומה, בטח לא ממני... ההוכחה של משפט ב"ט היא ממש לא קשה, ולא דורשת שום דבר מעבר לקצת השכלה מתמטית שנראה לי שיש לך. החלק הכי קשה הוא ההוכחה שחבורת הסיבובים במרחב מכילה חבורה חפשית, וזה דווקא החלק שהכי קל לקבל אינטואיטיבית. יש ספר מאוד נחמד של Stan Wagon על המשפט הזה.
איך לא הבנתי את זה בעצמי? 317972
מה זה "חבורה חופשית"?
איך לא הבנתי את זה בעצמי? 317974
(הערך בויקי העברית מזעזע, לתשומת לב אלו שמבינים משהו).
איך לא הבנתי את זה בעצמי? 317979
תודה.:)
איך לא הבנתי את זה בעצמי? 317982
אני אנסה להציל את כבודי האבוד כמרצה-ברוחו שאוהב לתת תשובות עם תוכן.

"חבורה" - אוסף של דברים (לא חשוב מה; לרוב נקראים "איברים") שאפשר לכפול אותם ("כפל" זו מכונה שלוקחת שני איברים ומחזירה איבר); אחד האיברים מתנהג כמו "1" (כלומר, כשכופלים בו X כלשהו, יוצא X); ולכל אחד מהאיברים יש הופכי (כלומר לכל X יש איזשהו Y כך ש-XY הוא ה-"1" הזה).

חבורה חופשית היא חבורה שבנויה באופן הבא (בהגבלה קלה של הכלליות): לוקחים כמה אותיות, נניח שתיים (A ו-B); מוסיפים שתי אותיות שתהווינה הופכיות לשתי אלה (נניח a ו-b); ומגדירים חבורה שהאיברים שלה הן "מילים" באותיות האלה, כשאסור לאות להופיע ליד ההופכית שלה. ABabAA זה בסדר, BaA זה לא. הכפל מוגדר ע"י זה שרושמים את שתי המילים בזו אחר זו, ואז מצמצמים אם אפשר לצמצם: בכל פעם שרואים Aa או aA או Bb או bB, מעיפים את צמד האותיות הללו והמילה מתקצרת. למשל:

ABa * AbA = ABaAbA = ABbA = AA

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

החבורה הזו נקראת "חופשית" כי האיברים שלה לא מקיימים שום "יחס" חוץ ממה שמתחייב מחוקי החבורה. 0=2+3-2-3, למשל, זה יחס לא טריוויאלי בחבורה של המספרים השלמים עם חיבור.
איך לא הבנתי את זה בעצמי? 317988
תודה. הבנתי כבר את הרוב מהוויקיפדיה, רק לא מדוע החבורה נקראת ''חופשית''.
איך לא הבנתי את זה בעצמי? 318021
היא חופשית מיחסים. בחבורות שאינן חופשיות יש יחסים שאומרים משהו על היוצרים של החבורה (למשל, ש- ababab=1).
איך לא הבנתי את זה בעצמי? 318039
כן, תודה. התכוונתי שזה החלק שאלון השלים לי אחרי הוויקיפדיה...
איך לא הבנתי את זה בעצמי? 317993
אולי כדאי לציין שה''מכונה'' הזאת אינה בהכרח מכונת טיורינג.
איך לא הבנתי את זה בעצמי? 317995
חשבתי (באיחור) ש''מכונה'' היא אכן ביטוי לא מוצלח כאן.
איך לא הבנתי את זה בעצמי? 317980
מרצה שלי (אי שם בשנות השמונים) סיפר פעם שבתואר ראשון הוא חזר הביתה וניסה להסביר לאמו את עניין התפוזים והשמש. אמא שלו אמרה רק: אם אלו השטויות שמלמדים אתכם באוניברסיטה, אולי עדיף שתמצא עבודה.
איך לא הבנתי את זה בעצמי? 317986
נחמד :-) יש כמה דברים כאלה, שאפשר לספר לאמא ולקבל המלצה על שינוי כיוון.

הגדרה: "עקום" במרחב הוא תמונה רציפה של הקטע [0,1] (כשמסבירים את זה לאמא, עושים כזו מין תנועה באוויר עם האצבע - מתחילים *פה*, עושים ווש-ווש-ווש, ומסיימים *פה*)

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

שם למשפט (אורי, זה בשבילך): Hahn-Mazurkiewicz.
איך לא הבנתי את זה בעצמי? 317994
"Hahn-Mazurkiewicz" נשמע בערך כמו "מחול החרבות".
איך לא הבנתי את זה בעצמי? 318022
זה לא עקום פאנו? (בלי שום קשר לאקסיומות פאנו פרט לאב הרוחני, עקום פאנו הוא מסילה רציפה שמכסה את ריבוע היחידה).
איך לא הבנתי את זה בעצמי? 318026
כן, חוץ מזה שכאן הוא מכסה קוביה. משפט ה"מ הוא הכללה של הבנייה הקונקרטית של פאנו, והוא נותן את התנאי המדוייק ב-R^n לקבוצה להיות עקום (משהו כמו קומפקטית וקשירה מסילתית, לא זוכר בדיוק; הקטע הוא שכל קבוצה העונה על שתיים-שלוש תכונות פשוטות שברור שיש לעקומים היא אכן עקום, ו"מימד" הוא לא אחת מהתכונות הללו).
איך לא הבנתי את זה בעצמי? 318041
"עקום" הוא *כל* תמונה רציפה של הקטע [0,1]?
איך לא הבנתי את זה בעצמי? 318057
כן (למה השאלה?)
איך לא הבנתי את זה בעצמי? 318059
פשוט לא הבנתי. וזה גם לא הוגן. חלק מהתמונות הן בטח ישרות להפליא...
איך לא הבנתי את זה בעצמי? 318070
הגדרות מתמטיות הן נורא לא הוגנות. ''עקום'' יכול להיות ישר, ''ישר'' יכול להיות עגול, ''עיגול'' יכול להיות כדור ו''כדור'' יכול להיות פירמידה. ''קבוצה פתוחה'' יכולה להיות גם ''קבוצה סגורה'', ''קומפקטי'' יכול להיות בגודל של גלקסיה, ''טור'' כותבים בשורה ול''גבעול'' אין אף-פעם שיבולת, גם כשהוא ב''אלומה''.

כאמור, עדיף לחפש מקצוע אמיתי.
איך לא הבנתי את זה בעצמי? 318074
אתם ממש לא רציניים.
איך לא הבנתי את זה בעצמי? 318088
גבעולים ואלומות? מאיפה זה?
איך לא הבנתי את זה בעצמי? 318091
גאומטריה דיפרנציאלית אאל''ט.
איך לא הבנתי את זה בעצמי? 318092
"Sheaf" and "Stalk" (scheme theory, algebraic geometry, some algebraic topology.)
איך לא הבנתי את זה בעצמי? 318095
ומה זה fiber bundle? אגד סיבים?
איך לא הבנתי את זה בעצמי? 318106
כן.
איך לא הבנתי את זה בעצמי? 318108
אם כך bundle bundle זה אגד חבילות?
:-) 318110
איך לא הבנתי את זה בעצמי? 318107
מה זה, "והיה הישר לעקום"? לא הגזמתם? אנשים נורמליים משתמשים לפעמים במכבסת מלים. אבל אתם הולכים על לכלוך? תתביישו!

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

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