בתשובה לעוזי ו., 15/12/02 5:39
יופי, אפשר לסכם 113281
1. נו, כמה אפשר להמשיך ולדוש בזה, הוא כתב במפורש, באותו חלק שציטטת, "ולשאלתך: לא,...", מכאן:
א. לאחת מהשאלות ששאלתי (עם עדיפות לאחרונה) יש תשובה שלילית.
ב. גיל טעה.
בגלל שאני חושב שהסכמנו שא. לא נכון, ב. היא האפשרות היחידה שאני רואה כהגיונית, ואז ניזכר שאתה כתבת "... הטעות היחידה שלו שם היא, אם יורשה לי, שהוא לא עובד אצלך ..." (תגובה 111629), ומאחר שמצאנו טעות נוספת, אפשר לומר שגם אתה טעית.

2. פיזיקה זה, עדיין, לא תוכנית כבקשתך.

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

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

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

כדי לחדד את הדברים, אוכיח ש-
1-1+1-1+1-1+1-1+1-1+... = 1/2.

נסמן את מקדמי הטור ב- a_n, ונקבע x=1. אנחנו מעוניינים לחשב את הסכום (sum(a_n*x^n. מכיוון שקשה לסכם עבור x=1, ננסה בתחילה לסכם עבור ערכים אחרים.
אם x<1 אז הטור מתכנס בהחלט (טור הערכים המוחלטים הוא טור חיובי עם איבר כללי שואף לאפס), ולכן אפשר לקבץ את האברים בזוגות:
1-x + x^2-x^3 + x^4-x^5 + x^6-x^7 + ...
= (1-x)*(1+x^2+x^4+x^6+...)
= (1-x)/(1-x^2)
= 1/(1+x)

החישוב שערכנו מדויק לכל x<1, ולשמחתנו מתברר שהפונקציה שקיבלנו רציפה ב- x=1. אם ניקח עכשיו את הגבול כאשר x-->1 נקבל את הסכום 1/2.

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

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

עכשיו, בו ניקח את הסכום
1-1+1-1+1-1...
סכום עליו דיברנו מספר פעמים, סיכמנו שיש דרך להציג אותו כך שיתקבל 1/2 האם יש לך צידוק פיזיקלי לקחת את מערכת המטענים (מתגובה 110396) ולהציג אותה כגבול של x הולך ל1 ב
sum(a_nx^n)?

קפיצה קטנה: (מצטער שאני נאלץ לחזור על עצמי) 113558
אנלוגית כיוון המהירות לא רלוונטית. פה הטור פשוט אינו מתכנס לגבול, והוספת הפסוק "הטור מתכנס ל-‏0" מובילה לסתירה, שם נתת מידע חלקי על פונקצית המיקום (גודל המהירות ידוע), ושיש פונקציה כלשהי יחידה מבחינה פיסיקלית, שם אתה מוסיף פסוק שאינו סותר דבר, הוא רק מוסיף מידע חסר. (ואגב, באנליזה _ניתן_ אחר כך לתת תנאים מספיקים לפונקצית המיקום בשביל שממידע חלקי נדע שיש פתרון יחיד, גם אם איננו יכולים לומר עליו הכל.)
אני חוזר לחור שלי.
להזכירך, לא הוספתי את הפסוק האסור 113561
גם כאן, אני מוסיף מידע שלא סותר מידע קיים. אם הטור היה מתכנס למספר שונה מאפס, היינו מגיעים לבעיה. מכיוון שהטור לא מתכנס, המידע שהוא נותן לא ניסתר ע''י המידע הנוסף שהבאתי.
להזכירך, לא הוספתי את הפסוק האסור 113576
המידע ''לא מתכנס'' סותר את המידע ''מתכנס'' שבתוך המידע ''מתכנס לאפס.''
שים לב לכותרת למעלה 113578
שים לב לכותרת למעלה 113582
שמתי לב. אתה כן טוען שהטור מתכנס לאפס, אף כי הוא אינו מתכנס. ובדוק.
בדקתי 113586
לא, אני טוען שקיים סכום אחר שמתכנס לאפס. אני טוען שהגודל הפיזיקלי שהסכום הראשון מייצג שווה לגודל הפיזיקלי שהסכום השני מייצג, ולכן הסכום הראשון, אף שאינו מתכנס, הוא אפס.
בדקתי 113587
Humour me - איזוהי המכפלה הפנימית עליה אנו מדברים, ממנה יוצא אותו טור נשגב? אולי הפניה להודעה בה הצגת את המכפלה הפנימית הזו?
בדקתי 113588
למשל, תגובה 111686
בדקתי 113589
שם אין את המכפלה הפנימית המדוברת.
בדקתי 113591
מהי המכפלה הפנימית המדוברת?
בדקתי 113593
הטור המדובר (שאינו מתכנס, לא! לא מתכנס! אל תחזירו אותי אל החדר המרופד! הצילו!), אמור להיות התוצאה של מכפלה פנימית כלשהי. מהי המכפלה הפנימית הזו?
בדקתי 113616
המכפלה של שני מצבי מקום שונים בהצגת האנרגיה של חלקיק חד ממדי בקופסא.
בדקתי 113625
<r|r'>?
כן 113751
אם כי, ד. פר השתמש בx
כן 113822
אוקיי. אז... כולם טועים, ורק אני צודק. ומה שאני אומר, הוא: זו לא מכפלה פנימית במובן הרגיל של המלה בכלל, כי אלה לא איברים ב-L^2. מתחילים מלהגדיר אותם כברהים, ואז מגדירים קטים לצורך פישוט נוטציה - רק אם מבינים את תורת ההתפלגויות, אפשר בכלל להבין במה מדובר מבחינה מתמטית.
ולדיון סוף. וזה בכלל לא קשור לכל טור שהוא. לטור אין סכום, והוא לא מתכנס.
ביי.
אהבתי את הפתיחה 113825
המובן ה"רגיל" של המילה הוא לא בL2, אלא בברא ובקט.

המערכת (המדוברת) מוגדרת ע"י המצבים העצמיים של אופרטור האנרגיה E (שהוא אופרטור מדידה), כאשר נתון שיש מספר אין סופי בר מניה של מצבים כאלה, שמסומנים ע"י
|n> (n=1,2,3,...)
. ד. פר מנסה להכניס אופרטור מדידה נוסף, רציף, בעל ערכים עצמיים בין 0 ל פאי, x, כך שההיטל של מצב עצמי שלו על אופרטור האנרגיה הוא:
<x|n>=A*sin(nx)
ואז, לנסות ולחשב את המכפלה של שני מצבים עצמיים של האופרטור x (תגובה 107580).
הפתיחה לשרותך. (לא מתחרז אם הוגים נכון) 113834
טוב... אז אולי צריך להגיע למסקנה שאין אופרטור מדידה רציף כזה, במקום להתחיל לטעון שלטורים שלא מתכנסים יש גבול?
הפתיחה לשרותך. (לא מתחרז אם הוגים נכון) 113841
כמובן, על זה הסכמנו בהתחלה (אופרטור מדידה צריך להיות complete), מספר הערכים העצמיים של כל אופרטור מדידה במערכת ההיא צריך להיות קטן או שווה למספר הערכים העצמיים של אופרטור האנרגיה. אין לזה קשר לטענה השניה.
הפתיחה לשרותך. (לא מתחרז אם הוגים נכון) 113842
רגע: אין אופרטור כזה, ואתה מתפלא שמכ"פ בין וקטורים עצמיים שלו לא מתכנסת?
הפתיחה לשרותך. (לא מתחרז אם הוגים נכון) 113843
לא אופרטור מדידה, לא עם הערכים העצמיים האלה.
סיכום הדברים 113739
שאלה יפה: האם יש צידוק פיזיקלי לומר שבאותו יקום מומצא המטען הוא גבול כאשר x שואף ל-‏1 של הטור (sum((-1)^nx^n.
אולי אפשר להמציא, יחד עם היקום הזה, גם את הפיזיקה שתסביר את החישוב בדרך הזו‏1. אבל השאלה המעניינת היא אחרת.

נניח שקיים הסבר כזה. אני הייתי אומר, אם כך, שהמטען של היקום שווה לגבול כאשר x שואף ל-‏1 מלמטה של הסכום
1-x+x^2-x^3+x^4-...,
ולכן המטען הוא חצי.

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

1 אפשר גם להסביר שקיים צידוק פיזיקלי, אלא שהוא פלאי מכדי שייכתב כאן וניתן לשלוח אותו רק באי-מייל...
אהה 113753
אם כך, ה*ניסוח* שלי, לא היה מספיק ברור, סליחה.

בכל מקרה, זה לא מה שהיתי אומר (ז"א, לא הייתי משתמש ב"לכן" ללא המעבר להצגה עם הגבול של x כמו שלא סיכמתי ללא המעבר לרביעיות).

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

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