בתשובה לגדי אלכסנדרוביץ', 31/08/05 22:37
 |
|
 |
||
|
||||
 |
גדי:"(הצורה הפורמלית בה מתבצעת הגדרה כזו היא באמצעות פונקציה שמתאימה ל-1 a ול-2 גם כן a)." דורון: אז קיבלת a<-->1 או a1 ו-a<-->2 או a2 השקולים ל-(a1,a2,b) שאינו שקול ל-(a,a,b). |
 |
 |
 |
|
|
|
||
|
||||
|
מה ההבדל בין ה"מיקום" של האלקטרון ובין הדוגמה שלי? לא הבנתי. אגב, זה שאתה בוחר לסמן את f(1) בתור a_1 זה לא משנה את העובדה שהזהות של f(1) היא a: הרי f היא פונקציה מהטבעיים (במקרה שלנו, מהמספרים 1-3) אל הקבוצה שמכילה את a ו-b, ולא שום איברים משונים שנקראים a_1 או a_2. כלומר, ה-a שמתקבל הן ב-f(1) והן ב-f(2) הוא אותו a. | |
|
|
|
|
|
||
|
||||
|
"מה ההבדל בין ה"מיקום" של האלקטרון ובין הדוגמה שלי? לא הבנתי. אגב, זה שאתה בוחר לסמן את f(1) בתור a_1 זה לא משנה את העובדה שהזהות של f(1) היא a: הרי f היא פונקציה מהטבעיים (במקרה שלנו, מהמספרים 1-3) אל הקבוצה שמכילה את a ו-b, ולא שום איברים משונים שנקראים a_1 או a_2. כלומר, ה-a שמתקבל הן ב-f(1) והן ב-f(2) הוא אותו a." בוא ונדגים את המקרה {1,1}: אני יכול להחליף ביניהם ולא תדע מי הוא מי (שניי ה-1 הם לא אותו 1 כי מדובר ב-Multiset) נאמר שכדי להבחין ביניהם, אני צריך לתת להם תוספת לשם '1'. ואני בוחר באותיות a,b . במצב של Multiset אני במצב של סופרפוזיציה במצב של Multiset אנחנו במצב לוגי של (a xor b) or (a xor b). כאשר לכל 1 יש שתי אשפרויות לתוספת לשמו. ברגע שסיממנו את אחד מהאחדים באות, אנו עורבים מייד למצב המובחן בבירור של (a xor b) ( או ('1a' or '1b') ) |
|
|
|
|
|
|
||
|
||||
|
יפה, אבל מה ההבדל בין מה שאני מציג? אם יש לי את הוקטור (1,1) הוא מכיל שני רכיבים. אם אני מחליף בין הרכיבים לא תדע מי הוא מי. מה ההבדל? | |
|
|
|
|
|
||
|
||||
|
ההבדל הוא שאתה מתעלם מהמידע הנוצר בדרך אל בפתרון בעוד שאני מעוניין בדיוק בחקירת מצבי המידע השונים והיחסים הסימטריים ביניהם, ולא בפתרון מסוים המבוסס על אחד מהמצבי הסימטריה. במילים אחרות, תהליכי בניית המידע והמעבר הסדור מהמצב הסימטרי (1,1) למצב הלא-סימטרי (1,(1)), הם הדברים שהמתמטיקה-מונדית חוקרת בשלבים הראשונים, לפני פיתוח האריתמטיקה שלה. |
|
|
|
|
|
|
||
|
||||
|
למה אתה אומר שאני מתעלם מהמידע הזה? המידע גלוי וידוע, וכבר הסברתי מהו (פונקציה, שבתורה היא סוג של יחס, שהוא אוסף של זוגות סדורים, כשכל זוג סדור ניתן להגדרה באמצעות קבוצה). במתמטיקה שאני מכיר ניתן גם כן להבדיל בין (1,1) ובין ((1),1). מה החידוש? |
|
|
|
|
|
|
||
|
||||
|
כי במתמטיקה-המונדית אין הגבלה לחקר זווגות סדורים והמחקר עוסק במעבר של אוסף נתון ממצב מקביל למצב סידרתי תוך כדי מיון מצבי הביינים בהתאם לדרגת בסימטריה הפנימית שלהם. אשמח עם תפנה אותי למערכת מתמטית קיימת העוסקת בנ''ל. |
|
|
|
|
|
|
||
|
||||
|
בקומבינטוריקה סופרים (בין השאר) עצים סדורים. יש פרק די נחמד בנושא, בספר Generatingfunctionology של Herbert Wilf (משם הספר אפשר לראות שגם הוא החליט להמציא מדע חדש; די הצליח לו, למרות שגם הוא לא טוען לזכות ראשונים). | |
|
|
|
|
|
||
|
||||
|
אני לא מבין את רוב המושגים שבהם אתה משתמש בהודעה שלך (''מצב מקביל'', ''מצב סדרתי'', ''סימטריה פנימית של המצבים'', ''מעבר מצבים''), ולכן אני לא יכול להראות לך איך המתמטיקה ה''רגילה'' מתעסקת בהם. מה שכן, אני נוטה להסכים עם הטענה של עוזי שמה שאתה עושה מזכיר עצים סדורים, ואולי עדיף שהדיון יימשך בתגובה להודעה הזו שלו. | |
|
|
|
|
|
||
|
||||
|
אצל קונווי למדתי מהו מספר סוריאליסטי. כאן אני לומד מהו דיאלוג סוריאליסטי. | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |