בתשובה להקשה המקשה, 21/08/06 17:17
אלכסנדרוביץ' לבני-תמותה 404002
נכון. במקום להשתמש פונקציית גל מרוכבת אפשר להשתמש בצמד פונקציות (אפשר לקרוא להן "ממשית" ו"מדומה"), כאשר אתה מגדיר ביניהן שתי פעולות סגורות (אפשר לקרוא להן "כפל" ו"חיבור") עם כל מיני תכונות (קומטטיביות, סוציאטיביות וכל אלה), להוסיף עוד פעולה שלהשדה הממשי עליהן ("כפל בסקאלר"), ופעולה נוספת ("צימוד") עם כל מיני תכונות אחרות (למשל, עבור כל צמד, החלק ה"מדומה" ב{צמד "כפול" צימוד {צמד}} יהיה תמיד אפס) . אפשר גם לקרוא להם "מספרים מדומים" ולהעמיד פנים שאין להם קשר למספרים המדומים שנוור מיינד כל כך שונאת.

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

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

דוגמא אחרת: בתורת היחסות זנחו את השימוש ב-i לטובת מטריקות של 3+1. הנקודה המהותית מבחינת הפיסיקה היא קיום סימטריות הסיבוב בין המימדים המרחביים, שמצריכות מודיפיקציות כשמוסיפים את הזמן כמימד נוסף (וסליחה על חוסר הריגורוזיות).

השאלה, כפי שאני רואה אותה, היא האם ניתן להעלים את המרוכבים מהפיסיקה כמו בדוגמא השניה (כלומר: מבלי "לרמות" ולהשתמש במרוכבים תחת שמות או סימונים אחרים כמו שציינת בתגובתך).
wick rotation 404020
אני לא בטוח שמדובר במשהו "אינהירנטי" אבל תאור של תורות שדות מסתמך על אינטגרלי מסלול, וכמעט בלתי אפשרי לתאר זאת ללא שימוש במכפלה של i בפעולה.
אגב, גם את הממשיים אפשר להעלים מהפיסיקה על ידי שימוש בחתכי דדקינד.
אלכסנדרוביץ' לבני-תמותה 404024
אילו אבות מכניקת הקוונטים לא ידעו על האפשרות של מספרים מרוכבים, הם היו נאלצים להמציא מושג מתמטי חדש. מושג שכולל בתוכו את המכפלה הפנימית, את הצימוד, את הערך המוחלט, את החיבור, את המכפלה בסקאלר ואת הרציפות של המספרים המרוכבים. האם זה היה "ממש" המספרים המרוכבים? אולי לא, אולי זה היה סתם וקטור דו ממדי (שאח"כ היה מתרחב ל-‏4 ו-‏6 ממדים בהתאם לספינור המתאים), שאף אחד לא היה חושב להתייחס אליו כאל "מספר", כמו שאנחנו לא מתייחסים לספינורי דיראק כאל מספרים (למרות שיש להם תכונות אלגבריות).

עניתי לשאלה שלך?
אבל... 404032
אבל ספינורים הם כן מספרים! ‏1. אלו הם (פחות או יותר, ‏1) קווטרניונים עם נורמה קבועה. ו*זו* הסיבה שאפשר להכפיל אותם זה בזה. לחבר אי-אפשר, בגלל העניין הזה עם הנורמה, אבל הדרך הסבירה לעבוד עם היצורים האלה היא להבין אותם בהקשר הכללי יותר.

יש גן-חיות שלם של חבורות (Fucsian groups) שקשורות למשטחי רימן ‏2, והאיברים שלהן הן (בכאילו) מטריצות עם דטרמיננטה 1. בגן החיות הזה, בעלי החיים המבוייתים הם בדיוק אלה שאפשר להבין את האיברים שלהם גם בתור קווטרניונים; מעין ספינורים. יש מגוון של שיטות סטנדרטיות שנעשות זמינות דווקא כאשר מטפלים באלה כמו במספרים.

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

1 אחרי שמחלקים ב-‏2 במקום הנכון

2 משטח רימן = כל דבר שנראה לנמלים שחיות עליו כמו מישור; למשל, פני כדור הארץ.
הערה 404126
(אתה בטח יודע את זה, אבל למי שלא יודע:) קווטרניונים הם ספינורים, אבל (לא כל ה)ספינורים הם קווטרניונים. הספינורים של דיראק בהם משתמשים פיזיקאים, למשל, הם לא, למרות שגם אלה וגם אלה הם אלגברות קליפורד.
אבל... 404155
Fucsian groups זה Fuchsian groups?
הערה 404118
בספר שהזכרתי בתגובה 291808 יש (גם) נסיון לבנות את המכניקה הקוונטית מעל האלגברה הממשית, ולא המרוכבת. התוצאה היא פיזיקה אחרת לגמרי מזאת המוכרת לנו.

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

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