בתשובה לכליל החורש נאורי, 25/11/02 18:51
יפה, אז נמשיך תחת אותה הנחה 109200
האם מכאן אפשר להסיק ש:
sum(m=0,infinity)[sum(q=1,4)[a_{m*4+q}]]=0
כאשר a_n מוגדר בתגובה 107956
יפה, אז נמשיך תחת אותה הנחה 109226
זה לא מסובך, זה מתמטיקה. יש הגדרה ל"טור מתכנס", ורק אם "זה" עונה להגדרה - אז "זה" הוא "טור מתכנס". הסכום שלך לא מקיים את התנאים - ולכן הסכום שלך אינו טור מתכנס.

ולשאלתך: לא, מכאן כמובן שאי אפשר להסיק שהוא מתכנס. "הוכחת" שהטור ...+(0.5+1-1-0.5)+(0.5+1-1-0.5) מתכנס. זה לא משנה את העובדה ש- ...5+1-1-0.5+0.5+1-1-0.5+ לא מתכנס.
עכשיו, נחזור אחורה 109406
שים לב, אתה טוען ש:
m(m=0,infinity)[sum(q=1,4)[a_{m*4+q}]]!=0
(בכל אופן, זה מה שאני מבין מ"ולשאלתך: לא,...")
האם אתה טוען ש:
1. sum(m=0,infinity)[sum(q=1,4)[a_{m*4+q}]]!=sum(m=0,infinity)[1/2-1+1/2+0]
2. sum(m=0,infinity)[1/2-1+1/2+0]!=sum(m=0,infinity)‏0
3. sum(m=0,infinity)‏0!=0
4. תשובה אחרת.
בלי הנחות 109632
הטור
(1) sum(m=0,infinity)[sum(q=1,4)[a_{m*4+q}]]
מתכנס, וסכומו אפס. גם הטורים בסעיפים 1,2,3 שלך מתכנסים לאפס.

העניין הוא שהטור הראשון אינו שווה לטור
(2) sum_{i=0}^{\infty}a_i
שאינו מתכנס. סדרת הסכומים החלקיים של (2) היא מחזורית, ואינה מתכנסת (לכן אומרים שהטור אינו מתכנס); סדרת הסכומים החלקיים של (1), בגלל שהיא כוללת רק סכומים של רביעיות אברים בטור המקורי, היא תת-סדרה של סדרת הסכומים החלקיים של (2). למעשה, זוהי הסדרה הקבועה 0 (שלכן מתכנסת לאפס).
גם אתה מדלג על שלבים? 109741
ז"א, שהתגובה של גיל (תגובה 109226) לא נכונה, והמסקנה שלי (תגובה 109200) נכונה?
חלילה. 109743
בתגובה של גיל (תגובה 109226), קשה לפענח למה מתייחסות המלים "הסכום שלך" בפסקה הראשונה. בכל מקרה, שני המשפטים האחרונים שלו מדוייקים: הטור ...+(0.5+1-1-0.5)+(0.5+1-1-0.5) מתכנס, והטור ...5+1-1-0.5+0.5+1-1-0.5+ (ללא הסוגריים) אינו מתכנס. הסיבה היא, כאמור, שסדרת הסכומים החלקיים מדלגת בין כמה ערכים, ואין לה גבול.
המסקנה בתגובה 109200 נכונה, אלא שהיא לא קשורה לשאלה המקורית; השוויון הראשון משמאל ב"תרגיל" של תגובה 107956 אינו נכון (כי בצד ימין שלו יש מספר (0), ובצד שמאל משהו שאינו מוגדר).
ועכשיו, אתה גם סותר את עצמך 109745
מצד אחד:
"בכל מקרה, שני המשפטים האחרונים שלו מדוייקים,..."
ומצד שני:
"המסקנה בתגובה 109200 נכונה,..."

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

אז מה התשובה לשאלה בתגובה 109741?
חלילה וחס. 109748
שני המשפטים האחרונים של גיל (<בתגובה 109226>) מדוייקים:
(1) הטור ...+(0.5+1-1-0.5)+(0.5+1-1-0.5) מתכנס.
(2) הטור ....5+1-1-0.5+0.5+1-1-0.5.+ (אותו דבר רק ללא סוגריים) לא מתכנס.

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

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

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

להזכירך, השאלה היא:
"האם מכאן אפשר להסיק ש:

sum(m=0,infinity)[sum(q=1,4)[a_{m*4+q}]]=0

כאשר a_n מוגדר בתגובה 107956?"

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

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

0. הסדרה a_q מוגדרת בתגובה 107956, והאיבר הכללי שלה מתנדנד (עם מחזור ארבע). מכיוון שסכום הערכים בכל מחזור הוא אפס, סדרת הסכומים החלקיים שלה גם היא מתנדנדת, עם אותו מחזור.

1. הטור ...+a1+a2+a3+a4+a5+a6+a7+a8+a9 אינו מתכנס.

2. הטור
(a1+a2+a3+a4)+(a5+a6+a7+a8)+(a9+...)+...
מתכנס (לאפס).

3. הטור
a1+(a2+a3+a4+a5)+(a6+a7+a8+a9)+(a10+...)+...
מתכנס (לחצי).

4. הטור
a1+a2+(a3+a4+a5+a6)+(a7+a8+a9+a10)+(a11+...)+...
מתכנס (למינוס חצי).

5. הטור
a1+a2+a3+(a4+a5+a6+a7)+(a8+a9+a10+a11)+(a12+...)+...
מתכנס (לאפס).
לא במקרה הנוכחי, אבל נמאס לי 109962
שים לב לתגובה המקורית שלי (תגובה 107956 ובעיקר לתגובתי לכליל תגובה 108029).

הייתי יכול להמשיך עוד כמה שלבים, אבל האמת היא שאני חושב שהנקודה הרטורית שרציתי להבהיר הובהרה בצורה האופטימלית (זאת אמרת, הנקודה הרטורית שרציתי להבהיר לא תובהר טוב יותר ע"י המשך הדיון בכיוון אליו גררתי אותו), ולכן, אני לא אמשיך לשאול את השאלות.
אם נמאס לך אז תתעלם, 109967
אבל בתגובה 107956 כתבת :
sum(n=1,infinity)[a_n] = sum(m=0,infinity/4)[sum(q=1,4)[a_{m*4+q}]]
וזה יכול להיות נכון רק אם יש לך איזו הגדרה לא סטנדרטית ל (sum(n=1,infinity.
נכון 109995
נכון 110002
נו, אז לא היית יכול להצהיר על זה מפורשות לאורך כל הדיון על התכנסות טורים, להסביר את ההגדרה שלך ולסיים את העניין? עם כל הכבוד לרטוריקה שלך, נראה לי ‏1 שלפעמים אתה פשוט נהנה להיות בלתי מובן.
____________________
1- כן, בכדור הבדולח ההוא...
נכון 110009
1. חשבתי שהצהרתי על זה בתגובה לכליל. ואת ההגדרה נתתי ישר בהתחלה.

2. אתה צודק, לפעמים אני באמת נהנה "להיות בלתי מובן". הפעם זה לא היה מקרה כזה, אבל, עדיין, נהנתי לראות קבוצה גדולה של בוגרי חדו"א/אינפי/קלקולוס שמנסים לצטט את החומר בלי לקרוא את השאלה.
נכון 110012
*בוגרי* חדו"א? אתה מדבר, בין השאר, על מר ו. - האיש ש*המציא* את החדו"א.
נכון 110013
ואני, לתומי, חשבתי שקראו לו מר נ.
נכון 110040
מר ל. חולק עליך.
כן, אני יודע, זכותו 110050
למרות שמר נ. פרסם את "המצאתו" רק ב-‏1687 בעוד שמר ל. פרסם כבר ב-‏1684. הרי שמר נ. המציא אותה כבר ב-‏1666 ומר ל. רק ב-‏1676.
כן, אני יודע, זכותו 110053
טוב, אבל זה רק מפני שמר נ. עמד על כתפי ענקים ומר ל. היה גמד.
עם כל הכבוד לנ. ול. 110157
שניהם לא היו יכולים להמציא את החדו''א בלי עזרתו של מר קו.
מר קו הקטן? 110190
גם לי 110109
אני מנסה להבין איך קרה שהויכוח התמשך כל-כך כשאני טוען שהטור לא מתכנס, ואתה (כך מתברר לאור הפרשנות החדשה) גם טוען שהוא לא מתכנס. אני, לפחות, הייתי חד-משמעי.

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

ובכן,
1. מה היתה הנקודה הרטורית שרצית להבהיר?
2. מהי ההגדרה הלא-סטנדרטית שלך לסכום של טור (תגובה 109995)?
אז אני אנסה לסכם 110396
0. אבל, זאת כל הנקודה, לא מדובר ב"פרשנות חדשה", ולא מדובר בחוסר עקביות. את התגובות לכליל (תגובה 108029) ואליך (תגובה 108030) כתבתי ב*תחילת הדיון* (שים לב לתאריכים, או, אפילו להסחה. אני לא עורך באייל, אני לא יכול לשנות תגובות בדיעבד‏1), ובהמשך הדיון הנחתי (ז"א, רציתי להניח, עד שהתברר לי שאי אפשר להמשיך תחת ההנחה הזו לאורך זמן) שאתם מגיבים לאחר ש*קראתם* את מה שאני כותב, ולא את מה שהמורה שלכם לחדו"א/אינפי לפני שלוש/עשר שנים חזה שאכתוב. אילו הייתם מגיבים באופן ישיר (שים לב כמה תגובות צריך לעבור בשביל לקבל תשובה לשאלה פשוטה, למשל תגובה 109137), זה היה הרבה יותר פשוט.

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

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

2. את ההגדרה נתתי במקום, אין לי כח להיכנס להגדרות מדוייקות, אבל אולי דוגמא תעזור להבין למה הכלי של "התכנסות" לא תמיד מוצלח.
נגיד שקבוצה של כימאים מנסה לחשב את המטען של היקום, ונגיד שהיקום בנוי מאטומי מימן פשוטים בלבד (ז"א אלקטרון ופרוטון), ושהיקום הוא אין סופי.
כימאי א' רושם את המטעם כסכום של האטומים, ז"א
Q_1=0+0+0+0+0+...
הטור השה מתכנס, והכל יפה ו"נכון".
השני, שם לב בהראשון התעלם מהמבנה הפנימי של האטומים, מה שיקשה לעשות חישובים אח"כ, ולכן, הוא רושם:
Q_2=(1-1)+(1-1)+(1-1)+(1-1)+(1-1)+(1-1)+...
גם זה, כמובן, מתכנס.
השלישי, פשוט פותח את הסוגריים, ומקבל:
Q_3=1-1+1-1+1-1+1-1+1-1+1-1+1-1+1-1+1-1+1-...
אופס, בעיה, מה עושים? האם יכול להיות שלאותו יקום שתואר ע"י שני הכימאים הראשונים יש מטען שונה מזה שתואר ע"י השלישי? כמובן שלא. שים לב שהמחזוריות היא לר מקרית, היא מחוייבת ע"י תנאי השאלה, ולכן, אפשר להשתמש בה לפיתרון, כמה שזה יכול להרגיז.

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

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

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

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

המדען השלישי לא החליט שהסכום הוא אפס, ולא עשה שטות, קרא שוב את הבעיה.

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

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

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

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

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

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

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

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

2. Q_3 הוא טור חדש, אבל תנאי הבעיה מאפשרים מעבר בטוח מQ_3 לQ_2, ולכן הם זהים. ז"א, את Q_3 אי אפשר לפתור ללא תנאי הבעיה, אבל בהינתן תנאי הבעיה, גם Q_3 פתיר.

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

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

5. את ההערה על המורה שלך לאינפי, לא הבנת. המורה שלך היה, מן הסתם, חכם, והסביר לך היטב מתי טורים מתכנסים ומתי לא, אבל, כשנתקלת בטיעון שלי, במקום לקרוא אותו עד הסוף, חזרת מהר מאד למה שלמדת, בגלל שזה הרבה יותר קל (ראה http://techst02.technion.ac.il/~sgiladb2/logic.htm#S...)
לא מתכנס - אז אין סכום 110485
א. מצוין. חבל שאתה נוהג אחרת (לטורים שלך יש "סכום-סמילי" גם כשלמעשה אין להם סכום).

ב. מצויין. זה נכון, אגב, גם לטורים שאינם מתכנסים.

2. הטור Q_2 מתכנס, בעוד ש- Q_3 אינו מתכנס. לכן הם אינם זהים. אני לא יודע מה זה "מעבר בטוח". כשאתה כותב ...+Q_3=1-1+1-1+1-1 וחושב על Q_3 כמספר, אתה מטעה את עצמך.
אם האנרגיה הקינטית של גוף שמשקלו 2 ק"ג היא 9, אפשר להסיק שמהירותו 3 מ"ש. לעומת זאת, למשוואה הריבועית v^2=9 יש שני פתרונות, אחד מהם שלילי. כל הלוליינות שבעולם לא תפסול את הפתרון הזה כפתרון לגיטימי למשוואה. רוצה דווקא את הפתרון החיובי? צרף את התנאי v>0 למערכת המשוואות שלך.
בלי זה, הפתרון השלילי נשאר שם.

3. שיהיה.

4. אדרבה. אז באמת אין בעיה.

5. קראתי את כל מה שכתבת. הטיעונים שלך קלים מאד להבנה, וגם מאד לא נכונים. אתה טועה בהבנת החומר הזה, ומבלבל את עצמך. אם יהיו שאלות נוספות, אשמח לעזור.
רק תיקון קטן: זה לא מה שלמדתי, אלא מה שלימדתי (מאה ועשרה סטודנטים).
לא מתכנס - אז אין סכום 110491
א.+ב. נו, שנחזור שוב על תגובה 110396 ?

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

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

5. אם קראת את מה שכתבתי, והבנת את זה, איך יכולת לשאול את מה ששאלת (ב תגובה 110109)?
אני מניח, שלפני שלימדת, למדת, וכשלימדת, לימדת על סמך מה שלמדת, לכן עצם הלימוד לא ממש משנה, (אלא אם כן, פיתחת את זה לבד, בלי קשר לעובדה שזה פותח לפניך, ואם כן, כל הכבוד, וזה עדיין לא באמת משנה).
לא מתכנס - אז אין סכום 110677
א+ב. תחזור. ואני אחזור על תגובה 110428. יכול להיות כיף.

2. טוב מאד - באמת לא רצוי לחשוב על טור שאינו מתכנס כאילו יש לו סכום.

5. בתגובה 110109 שאלתי שלוש שאלות. את כולן - שווה בנפשך - אפשר לשאול גם אחרי שקראתי ואפילו *הבנתי* את כל מה שכתבת. הגדרה לא סטנדרטית לסכום של טור (שצריכה להיות איפשהו, כי הרי לכמה טורים לא מתכנסים יש סכום) לא קיבלתי; אלא אם הכוונה היא שסכום של טור הוא המספר היחיד מבין הגבולות החלקיים של סדרת הסכומים החלקיים, שאליו סמילי מתכוון.
לא מתכנס - אז אין סכום 110888
א+ב. ולהבדיל, אפשר לנסות ולהבין את מה שאמרתי, או, אם כל מה שאני אומר הוא באמת כל כך מטופש, אתה יכול לסיים את הדיון.

2. תודה, ראה סעיף למעלה, וסעיף למטה.

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

"אני, לפחות, הייתי חד-משמעי.", אם *הבנת*, אז למה ה"אני, לפחות"?

ושאלת "מהי ההגדרה הלא-סטנדרטית שלך לסכום של טור ..." אם *הבנת*, למה אתה שואל (הרי, את ההגדרה הסברתי בתגובה המקורית).

הכוונה היא כלל *לא* "סכום של טור הוא המספר היחיד מבין הגבולות החלקיים של סדרת הסכומים החלקיים, שאליו סמילי מתכוון", הכוונה היא אחרת, הייתי מפרט, או שולח אותך בחזרה לתגובותי (כאן, למעלה) אבל חבל על הזמן, אתה הרי *הבנת*, והטענה שלי *פשוטה*, ו*לא נכונה*, וכל מה שאכתוב יתפרש (משום מה) כפיקפוק בסמכותך כמורה למתמטיקה (למרות, שהטענות שלי הן *לא* במתמטיקה, אלא בפיזיקה).
התכנסות - פוסט מורטם 111074
אני לא מוצא דרך להגיב עניינית בלי לנתח את כל הפתיל, וזה נראה לי חסר טעם. בכל אופן, מצאתי הבדל אחד מהותי בין המלבנים שלי לשלך - כל המלבנים שלי עומדים ברשות עצמם. אתה, כמעט תמיד, מתייחס לתגובות קודמות, במפורש או ברמז. זה כמובן עניין של טעם - האם להאריך את התגובה רק כדי לוודא שהיא ברורה.
התוצאה היא מלבנים כמו תגובה 109200 ("האם מכאן אפשר להסיק ש...[טור מסויים מתכנס]?"). מה פירוש "מכאן"? האם זו התגובה הקודמת? השאלה הקודמת שלך? או השאלה המקורית שלך? ומה הקשר בין השאלה אם הטור ההוא מתכנס, לשאלה מאיפה אפשר להסיק את ההתכנסות הזו?
ההסבר בתגובה 109940 הוא שאותו "כאן" מסתורי הוא תגובה 109137, דהיינו - השאלה האם יש הבדל בין שתי סדרות מסויימות. במקרה הזה אין הבדל. מכאן אתה מסיק משהו שהוא נכון באופן די טריוויאלי, אבל מתכוון להסיק משהו אחר לגמרי (שאינו נכון): שהטור של תגובה 109756 מסתכם לאפס.
כשגיל עונה (תגובה 109226) לשאלת ה"האם מכאן אפשר להסיק" ב"לא, אי אפשר", אתה מסיק שהוא חושב שהטור הראשון לא מתכנס; וכשאני כותב שהטור כן מתכנס, אתה מסיק תגובה 109741 שהתגובה של גיל שגויה, וזו שלך נכונה (וגם שאני מדלג על שלבים - לא ברור לי למה). כל זאת, בזמן שהוא מתייחס לטור המקורי שלך (בתגובה 107956), שבאמת אינו מתכנס.
אולי כדאי בכל-זאת לבזבז עוד כמה מלים כדי לנסח את השאלה באופן חד-משמעי.
התכנסות - פוסט מורטם 111103
לדעתי התגובה (תגובה 109200) ברורה כשמש, אבל, כשמשהו לא ברור לי, אני לא ממהר לשלול אותו (שים לב, http://www.haayal.co.il/search.php3?SearchStr=%EC%E0... למעלה מ150 פעמים שהשתמשתי בצירוף "לא הבנתי") . שאלתי שאלה (תגובה 109137 "מה ההבדל בין הסדרה...") לאחר שלא קיבלתי תשובה, חזרתי על השאלה (תגובה 109186 "האם שתי הסדרות שהצגתי למעלה זהות?") לאחר ששוב לא קיבלתי תשובה, חזרתי על השאלה (תגובה 109192 "... ומה התשובה לשאלה ששאלתי?") ואז, לאחר שסוף סוף קיבלתי תשובה (תגובה 109193 "כן...") המשכתי לשאלה הבאה, תוך הסתמכות על התשובה הקודמת (ולכן, "האם מכאן...").

לא התכוונתי להסיק *רק* מתגובה 109200 את תגובה 107956 (אגב, כדאי לך לבדוק קישורים, או, לפחות לעשות קופי פייסט, יצא לך תגובה 109756, החלפת 9 ב7 זה דבר סביר לפיזיקאי, לא למתמטיקאי), התכוונתי לעבור עוד כמה שלבים, אבל אחרי שלכל שלב, שכמו שאמרת, כולם די טריוויאליים, האמת, הייתי בטוח שאני לא אצטרך לשאול את אותה שאלה שוב ושוב ושוב, ובטח שלא ציפיתי לקבל תשובה לא נכונה (תגובה 109226, ואין מה לעשות, היא לא נכונה) קיבלתי 3 תגובות לא רלונטיות (ובסוף, גם לא נכונות), פשוט נמאס לי.

כשגיל לא עונה לי (תגובה 109226, קלאסי) "ולשאלתך: לא", אני חושב (משום מה) שהוא עונה לי לשאלה ששאלתי.

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

אולי כדאי בכל-זאת לבזבז עוד כמה מילים *לשאול* כאשר שאלה או טענה לא מובנת, או נשמעת לא משמעית (רגע, אבל "קראתי את כל מה שכתבת. הטיעונים שלך קלים מאד להבנה, וגם מאד לא נכונים. אתה טועה בהבנת החומר הזה, ומבלבל את עצמך." תגובה 110485, קלאסיקה נוספת).
התכנסות - פוסט מורטם 111119
סמיילי, די!!!
ברצינות. יש לך מתמטיקאי שמוכן לענות לך על כל טור אם הוא מתכנס או לא. פשוט תשאל: הטור [...] מתכנס? ותקבל תשובה. מרוב ניסיונות להראות צודק וחכם, גם אי אפשר להבין כלום ממה שאתה כותב, וגם קשה לעקוב אחרי הדיון.
די!
הנה, יצאת "גדול". שוב אמרת לכולם שאי אפשר להבין אותך למרות שאתה נורא ברור ושהם סותרים את עצמם. אבל ההודעות שלך הן באמת בלתי קריאות, ואני עוקב אחרי הדיון הזה בדממה כבר כמה זמן, ואתה הופך דיון פשוט למין משהו מפותל ובלתי קריא. חבל.
התכנסות - פוסט מורטם 111122
שאלתי (למשל, תגובה 109091 ובשאר הדיון), והוא (עדיין?) לא ענה.

הנקודה היא שהתשובה שייתן לך מתמטיקאי, היא לא תמיד הנכונה, בעיקר לא כשאנחנו מדברים על תחום שאינו מתמטיקה.

אני לא מנסה להראות צודק וחכם, אני מנסה להסביר טענה מסויימת.

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

הערה טכנית:
מקובל להבחין בין סדרה (...,a0,a1,a2) לבין טור ...+a0+a1+a2. אומרים שהסדרה מתכנסת אם יש לה גבול‏1. אומרים שהטור מתכנס, אם לסדרת הסכומים החלקיים יש גבול. במקרה זה, סכום הטור הוא הגבול של סדרת הסכומים החלקיים. אלו ההגדרות שבהן השתמשתי עד כה, וכך אעשה גם כאן.

בנסיון להחזיר את הדיון הזה אל הפסים, אני אענה שוב על כל השאלות הקונקרטיות שעלו עד כה.

1. לתגובה 109091 (האם הסדרה (...,0,0,0) מתכנסת?): כן. גם הטור ...+0+0+0 מתכנס, וסכומו אפס. חשבתי שזו שאלה רטורית.

2. תגובה 109118 - מה ההבדל בין הסדרה
S1={0,0,0,0,0,...}
לסידרה:
S2={1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,...}
תשובה: אין שום הבדל. זו אותה סדרה בדיוק.

3. נגדיר a_q כמקודם,
a_{1,5,9,13,17,21,...} = 1/2
a_{2,6,10,14,18,22,...}= -1
a_{3,7,11,15,19,23,...} = 1/2
a_{4,8,12,16,20,24,...} = 0
תגובה 109137 שואלת מה ההבדל בין הסדרה
S2={1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,1/2-1+1/2+0,...}
לסדרה:
S3={sum(q=1,4)[a_q],sum(q=1,4)[a_q],sum(q=1,4)[a_q],sum(q=1,4)[a_q],sum(q=1,4)[a_q],sum(q=1,4)[a_q],sum(q=1,4)[a_q],...}
תשובה: אין הבדל, זו אותה סדרה בדיוק.

4. לתגובה 109200, האם
sum(m=0,infinity)[sum(q=1,4)[a_{m*4+q}]]=0 ?
תשובה: כן. זהו הטור שפגשנו בסעיף 1.

5. שאלה שהיתה צריכה להשאל, אבל אינה מופיעה במפורש: האם הטור ...+a1+a2+a3+a4 מתכנס?
תשובה: לא. ראה תגובה 109948 לפירוט.
בפרט, ההצהרה בתגובה 108030 שהטור לא מתכנס "והסכום, מה לעשות, עדיין אפס", אינה נכונה (בחציה השני).

1 t הוא גבול של הסדרה אם לכל אפסילון גדול מאפס קיים N כך שאם n>N, אז |a_n-t| קטן מאפסילון.
יופי, אפשר לסכם 111330
"הקביעה אם טור מסויים מתכנס או לא היא בהחלט בתחום השיפוט של מתמטיקאי. אם התשובה שאתן אינה נכונה, אנא הסבר מדוע.", מקובל בהחלט, וזו הסיבה שכתבתי את תגובה 108030 ושים לב לתחילת התגובה "הטור, לא מתכנס..." (ולא, אין בהמשך מילת שלילה).

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

1 + 2 + 3 + 4. תודה, זה כאב לענות לעניין?

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

ההצהרה בתגובה 108030 שהטור לא מתכנס "והסכום, מה לעשות, עדיין אפס", נכונה (על שני חלקיה), משום שהסכום לא עומד בפני עצמו, אלא מייצג גודל פיזיקלי (בדיוק כמו סכום המטענים שבתגובה 110396).
יופי, אפשר לסכם 111345
על משפט כמו ''זה כאב לענות לעניין'', אני אישית לא הייתי טורח לענות לעניין.
יופי, אפשר לסכם 111398
אל תטרח, במילא, לא תהיה הראשון בדיון הזה שלא טורח.
יופי, אפשר לסכם 111403
עוד דוגמא נאצלת.

אני לא נהנה להקניט (באמת שלא), אבל בין אם עוזי טורח או לא, סגנון הכתיבה שלך לא עושה שום חשק לטרוח. הוא לא טורח? אז אל תדון עמו בשום נושא. משפטים סרקסטיים ופוגעים לא יובילו את הדיון לשום מקום.
יופי, אפשר לסכם 111432
השתמשתי במילים שלך. אתה הראשון שהתשמש בשורש ט.ר.ח. (תגובה 111345). אם אתה לא נהנה להקניט, על תקניט, אני חושב שזו צביעות לטעון שאני מאלץ אותך להקניט, בזמן שאתה מתפרץ לדיון תוך כדי השתלחות בי. בכלל, לא יחסתי טרחה לעוזי, אתה יחסת לו (שוב תגובה 111345). ואם יש לך ביקורת *עניינית* על סגנון הכתיבה שלי, פרט באופן ענייני (ואגב, לדעתי, עדיף בדוא"ל), אני חושב שבשום מקום לא הגבתי בצורה שלא הלמה את המוגב.
יופי, אפשר לסכם 111578
הצהרה אישית מפי אלמוני זה לא אוקסימורון?
יופי, אפשר לסכם 111549
1. לאחר שהסברתי בפעם הראשונה שהטור המקורי אינו מתכנס (ולכן אין לו סכום), המשכת את הדיון עם אחרים. לכן לא מצאתי לנכון לענות על ארבע השאלות ההן קודם לכן. לזכותם של המגיבים האחרים אני רוצה לציין שחלק מן השאלות שלך (למשל: "האם הסדרה 0,0,0,0,0... מתכנסת?") נשמעות רטוריות, ולא לגמרי ברור שיש צורך לענות עליהן.

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

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

ד.פר הציע (תגובה 107580) דוגמא שבה החישוב הסטנדרטי (פיתוח של פונקציה לטור פורייה, פחות או יותר) מניב טור שאינו מתכנס. פתרונות אפשריים:
א. לטעון שבמקרה שלנו לא קיים פיתוח כזה - הפתרון הזה קביל, אבל אני חושד שאינו נכון (פיתוח פורייה קיים תחת תנאים חלשים למדי).
ב. להסביר שבגלל תנאי השאלה, הטור הנכון אינו הטור sum{a_q} המוכר לנו (ושאינו מתכנס), אלא הטור שאבריו מקובצים ברביעיות (ושכן מתכנס, לאפס). אני לא רואה בתנאים הפיזיקליים שום דבר שמצדיק את הטענה הזו (פרט לכך שהיינו מאד רוצים לקבל אפס כתוצאה), אבל זה עדיין טיעון לגיטימי.

הפתרון שבחרת:
ג. במקרה הזה הטור דווקא כן מתכנס - זה לא עובד. הוא לא.

הפתרון הנכון:
ד. פיתוח פורייה אינו חייב להתכנס נקודתית.

3. אם f היא פונקציה אינטגרבילית-בריבוע (כלומר L2) בקטע [0,2Pi], אז קיים לה פיתוח פורייה‏1. "קיים פיתוח פורייה" פירושו רק שהאינטגרלים שמגדירים את מקדמי הפיתוח, מתכנסים - אבל זה לא אומר דבר על התכנסות הטור לפונקציה המקורית. לדוגמא, Kolomogoroff בנה בשנות העשרים פונקציה שטור פורייה שלה אינו מתכנס אפילו בנקודה אחת.
התאוריה מבטיחה (משפט Fejer) שלכל נקודה t שבה הפונקציה f רציפה, טור פורייה ב-t "מתכנס במובן Cesaro" לערך (f(t (שהוא הערך ה"נכון"). "מתכנס במובן Cesaro" פירושו שסדרת הממוצעים של סדרת הסכומים החלקיים, מתכנסת.
במקרה שלנו, הטור (שאין לו סכום) מתכנס במובן Cesaro לאפס, כפי שציינתי בתגובה 107965.

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

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

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

3. לא הבנתי, אבל זה נראה דומה להסבר שלי על הפונקציה (exp(ipx במקום אחר.
יופי, אפשר לסכם 111629
1. אני מניח שמדובר בתגובה 109226 של גיל. הטעות היחידה שלו שם היא, אם יורשה לי, שהוא לא עובד אצלך. הוא מטפל בעניין המקורי, ולא בשאלות המנחות שאתה שואל.

בפסקה השניה הוא כותב "ולשאלתך: לא, מכאן כמובן שאי אפשר להסיק שהוא מתכנס", ומתכוון לטור המקורי. כדי למנוע אי-הבנות, הוא כותב במפורש: "'הוכחת' שהטור ...+(0.5+1-1-0.5)+(0.5+1-1-0.5) מתכנס. זה לא משנה את העובדה ש- ...5+1-1-0.5+0.5+1-1-0.5+ לא מתכנס." הטור החדש שלך (זה שבתגובה 190200) אינו מוזכר שם.

ה"התנפלות" שלי (תגובה 109632?) היא שאני לא מרשה לדבר על סכום של טורים לא מתכנסים. זה לא עומד להשתנות.

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

הפתרון שבחרת, ושהביא אותנו עד הלום, הוא פתרון ג' שלי - זה מה שכתוב בשורה הראשונה של תגובה 107956. אם אתה יכול להצדיק את השוויון הראשון בשורה השביעית של התגובה ההיא, אשמח לשמוע איך.

3. חבל - כי זה מסביר מדוע התשובה הנכונה היא ד'.
יופי, אפשר לסכם 111686
1. טוב, אז עכשיו אני לא מבין, אם גיל לא טעה, אז לאיזה *שאלה* מהשאלות ששאלתי יש תשובה שלילית?

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

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

3. פיתרון ד. לא עוזר, הבעיה היא לא התכנסות טורי פורייה, הבעיה היא שמערכת שמיוצגת ע"י מספר בן מניה של מצבים באופן שלם ללא ניוון, לא יכולה להיות מיוצגת גם ע"י עוצמת הרצף של מצבים, מפני שמדובר במספר "גדול" יותר. הפיתרון לזה הוא, לדעתי, שלא מדובר באותה מערכת.
צר לי כי אני מתערב: 111725
2. האנלוגיה שלך אינה תקיפה - במקרה של האנרגיה הקינטית, וממנה המהירות, מדובר בחוסר-מידע מובהק על פונצית המצב (במקרה הקלאסי, וקטור דינמי.) אנו יודעים מן האנרגיה הקינטית את גודל מהירותו, אבל לא את כיוונה.
במקרה הקוונטי עליו מדובר, אנו יודעים בדיוק מהי "פונצית המצב," והטענה שלך כי היא פיסיקלית (שהאינטגרל מתכנס, ולכן ניתן לנרמל ל-‏1), היא מידע מיותר, ובמקרה זה _סותר_ את המידע הקודם שלנו - אנו _יודעים_ כי לא ניתן לנרמל גל הרמוני.
נראה לי שהתבלבלת 111727
2. אין קשר לחישוב אינטגרל, יש כאן מכפלה בין שני מצבים אורטוגונליים (כביכול), והסכום, שמיוצג ע"י הטור המפורסם, לא מכיל את כל המידע, כמו למשל הסימטריות של המערכת. לא מדובר כלל על נירמול גל הרמוני (זה דיון אחר, וכבר הסברתי, וחזרתי והסברתי, שניתן לנרמל גל הרמוני, ראה את הדיון שמתחיל בתגובה 109403 או בתגובה 109403), אלא על מכפלת מצבי מקום שונים בבור פוטנציאל סופי.
כנראה שאני ממש מבולבל. 111728
חשבתי שמדובר באותו הדיון. לא משנה.
הטור מכיל את כל המידע - זה כל העניין בכל הניסוחים האנליטיים האלה של הפיסיקה. מכניסים את כל המידע (כולל סימטריות) ללגרנג'יאן או להמילטוניאן, (או לטנזור המטרי), ופותרים.
אם הניסוח שלך לא מכיל, אנליטית, את כל המידע, אז צריך לזרוק אותו ולקנות חדש במכולת.
כנראה שאני ממש מבולבל. 111730
לא, הטור הוא לא אחד מהניסוחים האנליטיים של הפיזיקה, אלא שיטת חישוב של *מכפלת מצבים* ע"י מעבר לבסיס מסויים. ובכלל, בכל אחד מהניסוחים של הפיזיקה אפשר להגיע לבעיה בלתי פתירה מתמטית, החוכמה היא להגיע לבעיה כן פתירה, ולהבין שאם הגעת לבעיה בלתי פתירה, זה לא אומר שהניסוח של הפיזיקה לא נכון (בסגנון ד. פר) או שהבעיה בלתי פתירה כלל (בסגנון גיל).

תן לי בעיה כלשהיא בפיזיקה (תחת איזה תיאוריה שתבחר), ואראה לך איך אני מעביר אותה לבסיס בו היא בלתי פתירה!
כנראה שאני ממש מבולבל. 111732
אוקיי, ככל שהדיון הזה מתמשך, פחות ופחות מובן לי מאיפה הוא התחיל, מה המטרה שלו, למה, כמה, ואמה. נראה לי שאמשיך במדיניותי (הלחלוטין-לא-עקבית) של להתעלם מן הדיון הזה, ולקוות שהוא ידעך, אט אט, אל תהום הנשייה, ולאחריו תוכלו, אתה ועוזי, להפנות את האינטלקטים המרשימים שלכם לבעיות אחרת.
יופי, אפשר לסכם 111889
1. התאוריה הנוכחית שלי (כפרשן לענייני גיל) היא כדלקמן:
בראשית, הצהרת שטור x אינו מתכנס אבל יש לו סכום.
אחר-כך שאלת האם טור y זהה לטור z. כשהצלחת לסחוט את האישור שהם אכן זהים, שאלת האם מכאן אפשר להסיק שטור z מתכנס. תשובתו של גיל: "לא, אי-אפשר. הוכחת שהטור y מתכנס. מזה לא נובע ש- x מתכנס". שתי הטענות האחרונות - נכונות.

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

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

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

2. לא, ההצהרה על הסכום היא הצהרה הצהרה על מה שהסכום מייצג, ולכן הצהרה נכונה.

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

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

ב. אם זה בכל זאת מעניין אותך, או כל קורא אחר, אני אנסה לכתוב משהו ולשלוח לכל מבקש בדוא"ל.

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

2. אני לא חולק על קיומו של הסבר לסיכום בקבוצות; אפשר לסכם איך שרוצים, ואז (הפתעה) התוצאה תלויה בשיטת הסיכום.

אני לא מעוניין בהסבר המלא על השכנים, אלא רק בפרט אחד ממנו: האם משהו בתנאים הפיזיקליים של השאלה מסביר מדוע אתה מקבץ את האיברים ברביעיות ולא בחמישיות?
יופי, אפשר לסכם 112374
1. אז למה הוא כתב *במפורש* "ולשאלתך: ..."? הרי, אם הוא עונה לשאלה אחרת, לא נכון היה לכתוב "ולשאלה אחרת: ..."?

2. הקיבוץ יכול להיות, לדעתי, בכל מספר טבעי קבוע. גם חמישיות עובד, אבל אז הגענו שוב לבעיה בילתי פתירה. לעומת זאת, אם הייתי לוקח נקודות אחרות, למשל חמישית פאי ושלוש חמישיות פאי, הייתי מקבל גם מחזוריות של 5. אגב, אם הייתי לוקח נקודות לא רציונליות (למשל, 1 ו 2) הייתי מקבל משהו ללא שום מחזור, ובשביל להתמודד עם זה הייתי צריך לשאול מתמטיקאי. האם עכשיו צ'זרו עוזר, או שמדובר במשהו בלתי בכל צורה?
יופי, אפשר לסכם 112395
יכונסו הטורים, וישא"ק!
סיכמנו?
וישא"ק? 112399
תגובה 52141
וישא"ק? 112400
כן.
אבל אלט''כ, אנע''ב, ואנמ''פ.
וישא"ק? 112402
צ"ל: אלע"ב, אלמ"פ.
עברי, דבר עברית 112408
אלט"כ = אני לא טל כהן?
אלע"ב = ... ערן בילינסקי?
אלמ"פ = ... מיץ פטל?
יופי, אפשר לסכם 112572
1. לא יודע למה. תשאל אותו.

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

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

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

הצעתי (טובה מזו לא תקבל): הטור באמת אינו אמור להתכנס.

3. אם a הוא פרמטר ממשי, הטור (x_n=cos(a*Pi*n אינו מתכנס במובן הרגיל (כי האיבר הכללי אינו שואף לאפס). אם a הוא רציונלי (עם מכנה N), אז הטור מחזורי (עם מחזור N), וסכום כל N אברים רצופים שווה לאפס.
אם a אינו רציונלי, הממוצע של m האברים הראשונים שואף לאפס כאשר m שואף לאינסוף (הוכחה: צריך להראות שהזויות a*Pi*n מתפלגות באופן אחיד על מעגל היחידה), ולכן הטור מתכנס לאפס במובן של צ'זרו.
יופי, אפשר לסכם 112605
1. אבל אתה אמרת שהוא לא טעה (תגובה 111629), עכשיו, אחרי שאפשר לסכם ולומר שהוא טעה, האם אפשר לומר שגם אתה טעית (כשאמרת שהוא לא טעה).

2. איזה מלכודת?

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

לא ברור לי למה אפס היא התשובה שאני רוצה לקבל, אני רוצה לקבל תשובה כלשהי, ואפס היא זו שאני מקבל.

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

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

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

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

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

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

3. מכפלה של שני סינוסים אפשר לתרגם לסכום של קוסינוסים, ואם שומרים על הפרש הפרמטרים קבוע ומשחקים עם הסכום, מקבלים את הטור שלי.
יופי, אפשר לסכם 112976
1. זה לא רק "אבל הוא לא ענה לשאלה *שלי* ?!", זה אבל הוא לא ענה לשאלה *שלי*, וכתב "לשאלתך", משמע, טעה.

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

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

כתבתי את זה כבר מספר רב של פעמים, ושוב ושוב, אחרי שנראה שהבנת, אתה חוזר על אי ההבנה הבסיסית הזו. אני לא מאלץ את הסכום להתנהג בשום צורה, לא תהיה לי שום בעיה עם הסכום יהיה 17.33, רק שחישוב הראה לי שלא כך הוא.
יופי, אפשר לסכם 113267
1. גיל כותב "הסכום שלך לא מקיים את התנאים - ולכן הסכום שלך אינו טור מתכנס. ולשאלתך: לא, מכאן כמובן שאי אפשר להסיק שהוא מתכנס.'הוכחת' שהטור ...+(0.5+1-1-0.5)+(0.5+1-1-0.5) מתכנס. זה לא משנה את העובדה ש- ...5+1-1-0.5+0.5+1-1-0.5+ לא מתכנס". אותו "הוא" בטענה השניה עשוי היה להיות הטור שהצעת בתגובה 109200, אלא שלפי שאר הטענות סביר יותר להניח שהוא מתייחס לטור המקורי ולא לטור החדש. הטענות הענייניות שלו הן בכל מקרה נכונות.
אם אתה בכל זאת רוצה לומר שגיל טעה, לא נראה לי שזה יגרום נזק למישהו.

2. קיימות שתי אלטרנטיבות: באחת, יש "תנאים פיזיקליים" שיהפכו את הטור התלוי-בפרמטר לטור של אפסים דווקא בערכים הרציונליים, אבל לשם כך הם צריכים להסביר סיכום בקבוצות בגודל *קבוע* (אחרת "יוצא" מספר אחר לגמרי) - וזאת כאשר לתנאים האלה אין שום משמעות עבור פרמטרים לא רציונליים.
בשניה, הטור פשוט לא מתכנס (כפי שמתמטיקאים נוטים בטעות לחשוב). אני בוחר בשניה.
יופי, אפשר לסכם 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 כמו שלא סיכמתי ללא המעבר לרביעיות).
קבלו את התנצלותי 110434
גם על זה שהפעם (בניגוד לפעמים רבות אחרות) לא הצלחתי להתאפק ולעמוד בפרץ (ניסיתי אבל זה היה חזק ממני), וגם על כך שאני הולך לכתוב עכשיו כמה מילים, ממש בעברית.

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

תודה, וסליחה.
מצטער, 110477
לא הבנתי את השתלשלות העניינים (ובכנות, זה לא נראה כל כך חשוב).

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

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