בתשובה להאייל האלמוני, 20/10/03 16:39
 |
|
 |
||
|
||||
 |
האייל האלמוני, אפילו תואר דוקטור בנושאי רפואה, פסכולגיה פילוסופיה ועוד ועוד תחומים מכובדים, אינם נותנים רקע בסיסי כדי להבין תיאוריה בנושאי חלל. אז בבקשה, שמור על כבודך ותתעסק בתחום שאתה מבין בו. |
 |
 |
 |
|
|
|
||
|
||||
|
אז מה בעצם אתה מחפש כאן? לשיטתך אף אחד כאן אין לו רקע מתאים. | |
|
|
|
|
|
||
|
||||
|
הוא מחפש איזכורים רבים של האתר שלו, כדי להרשים את דוד ג. | |
|
|
|
|
|
||
|
||||
|
דוד ג. מתחשב בהרבה קישורים באותו עמוד? (אין לי מושג, אני באמת שואל. נראה לי ראוי לפחות לתת לקישורים נוספים מאותו עמוד משקל נמוך). | |
|
|
|
|
|
||
|
||||
|
לא יודע, ויש לי הרגשה שגם מר חציל לא. (לא לכעוס עלי בגלל שגיאת הקלדה, כן?) |
|
|
|
|
|
|
||
|
||||
|
לא כועס, לא כועס... והאמת תהיתי בזמנו למה הוא מתעקש להוסיף כל פעם את הקישור לאתרו, ונראה לי שאתה צודק. האתר שלו התפתח הרבה מאז מבחינת נפח, אם לא כל כך מבחינת תוכן. אגב, זה נכון גם לדורון שדמי מתגובה 163895 - הוא כבר הגיע לדרגת רב-אמן, ובאתרו אפשר כבר למצוא דיונים על e ופאי וחתך-הזהב, על לוגיקה מתמטית, על בעיית ה-3n+1, על האלכסון של קנטור, פרדוקס ראסל, אפס בחזקת אפס, הטלה סטריאוגרפית ("הכדור של רימאן"), השערת הרצף, אלוהות ועוד. |
|
|
|
|
|
|
||
|
||||
|
שכנע אותי שאי אפשר להגדיר את אפס חלקי אפס בתור אפס. ברור לי שחלוקה מוגדרת על ידי כפל בהופכי ולאפס אין הופכי, אבל אני בוחר להתעלם מזה באלגנטיות על ידי ההגדרה. עקרונית, לא נראה שזה פוגע בכללי האריתמטיקה כמו שאנחנו מכירים אותם: אפס כפול אפס באמת שווה אפס. השאלה היא האם יש בהגדרה הזו כשל עקרוני שאני לא רואה, או אם אפשר לעשות את זה, ואז נשאלת השאלה "למה?" מזה נובע שאפס בחזקת אפס אמור להיות אפס, אם אני לא טועה, נכון? הרי מספר בחזקת אפס הוא למעשה המספר בחזקת אחד כפול המספר בחזקת מינוס אחד, כלומר המספר חלקי עצמו. |
|
|
|
|
|
|
||
|
||||
|
דיסקליימר: אין לי מושג. כל מה שכתוב להלן כנראה לא נכון, ובפרט גם מכוער. הנה ניסיון לשכנע. כידוע: (a+b)^n=sigma(Ckn*a^(n-k)*b^k) כלומר:0^0=(1-1)^0=C00*(-1)^0*(1)^0=C00 כעת:C00=0!\\(0!*0!) אם מגדירים:0!=0 אז זה עקבי עם ההגדרה שלך, אבל לא עקבי עם פעולת העצרת. לעומת זאת, אם דובקים ב- 0!=1 אז C0=1 --> 0^0=1 וזה כבר לא עקבי עם ההגדרה שלך.
|
|
|
|
|
|
|
||
|
||||
|
נחמד, לא חשבתי להסתכל על זה מנקודת המבט של הבינום. אגב, ההגדרה של 0!=1 היא דווקא מאוד הגיונית. הרי n-1! הוא n! חלקי n, ולכן אפס עצרת שווה אחד עצרת חלקי אחד, כלומר אחד. לעומת זאת, בהגדרה 0!=0 אין שום היגיון. | |
|
|
|
|
|
||
|
||||
|
"שכנע אותי שאי אפשר להגדיר את אפס חלקי אפס בתור אפס". מה זאת אומרת "אי אפשר"? בטח שאפשר. אפשר גם להגדיר את אפס חלקי אפס להיות שורש פאי. השאלה היא, למה שנבחר לעשות זאת. נכון, 0 כפול 0 זה 0, אבל גם 0 כפול 7 זה אפס, ועכשיו מה? 0 חלקי 0 זה פתאום 7? אבל יש סיבות יותר טובות: רציפות, למשל. אם תיקח משהו מאוד קרוב לשמונה ותחלק אותו במשהו מאוד קרוב לשתיים, יצא לך משהו מאוד קרוב לארבע - תמיד. אבל אם תיקח משהו מאוד קרוב לאפס ותחלק אותו במשהו מאוד קרוב לאפס, יכול לצאת מיליון, מינוס שבע-מאות, אפס, כל מיני דברים - תלוי במצב. בקיצור, אתה מוזמן להגדיר 0/0=0, אבל זה פשוט לא מועיל, לא אלגנטי, ולא כלום. איך אתה מציע, אגב, להגדיר את 7/0? אינסוף? זהירות - זה יכול גם להיות מינוס אינסוף. לא ניתן להרחיב את ההגדרות של כפל וחילוק על הממשיים כך שכל החוקים הרגילים יישמרו, מה לעשות. אז עדיף פשוט להשאיר את זה לא מוגדר, שלא נתבלבל. עם 0^0 יש את אותה הבעייה. |
|
|
|
|
|
|
||
|
||||
|
העניין היה שהגדרה של מספר כלשהו שהוא לא אפס חלקי אפס שווה מספר כלשהו זה בלתי אפשרי, כי זה גורר מיידית סתירות כמו 1=0. ההגדרה של אפס חלקי אפס שווה אפס היא אפשרית (כלומר אין בה "כשל עקרוני") אבל כמו שאמרתי, "ואז נשאלת השאלה "למה?"" להגדיר משהו חלקי אפס בתור אינסוף זה טיפה בעייתי, כי אז אתה צריך להגדיר אינסוף בתור מספר, לא? עד עכשיו בכל מקום שבו נתקלתי באינסוף (שזה תורת הקבוצות ואינפי), לא התייחסו אליו אף פעם בתור מספר. לכל היותר בתור "הרחבה" של המספרים הממשיים, בצורה כזו שאינסוף גדול מכל מספר ממשי (אבל אינו מספר בעצמו) ומינוס אינסוף קטן מכל מספר ממשי. העניין הוא שאני מבין קטן מאוד, ולכן אני סקרן לדעת אם יש פיתוחים מתמטיים מתקדמים יותר שבהם כן מדברים בצורה גלוייה על "חמש חלקי אפס שווה אינסוף" ולא "הגבול של סדרה ששואפת לחמש חלקי סדרה ששואפת לאפס הוא אינסוף". אני לא רוצה לחשוב שאני "יודע" ש"אסור" לחלק באפס, ולפסול על הסף כל פיתוח מתמטי שמשתמש בזה, ואז לגלות שדווקא יש בו היגיון ואני סתם דוגמטי (או ההפך - לקבל גם קשקושים שבהם מחלקים באפס, רק כי אני לא בטוח מספיק שאי אפשר) |
|
|
|
|
|
|
||
|
||||
|
כרגיל, כל מה שכתוב להלן מקורו מפוקפק ביותר. תיקונים והרחבות יתקבלו בברכה. כן, מקובל לפעמים להרחיב את הממשיים או את המרוכבים כך שיכילו את "אינסוף" כמספר וינסו להכליל את האריתמטיקה לגביו (ולדבר על דברים כמו "חמש חלקי אפס שווה לאינסוף"). כשמרחיבים את הממשיים, יש להוסיף שני סמלים: אינסוף, ומינוס אינסוף, והמבנה החדש מאבד את תכונותיו כשדה: ההרחבה הזו מאפשרת הכללות וניסוחים אלגנטים של משפטים שונים (למשל בתורת המידה, לפחות אצל רודין1). כשמרחיבים את המרוכבים, מספיק להוסיף סמל אחד (אינסוף). גם אז האריתמטיקה לא נשמרת, אבל ממילא יותר מעניין המבנה הטופולוגי שנוצר (ספירת רימן) שמאפשר לדבר למשל על "סינגולריות באינסוף" ושוב, כמובן, להכליל ולפשט משפטים (בקשר להעתקות מביוס, למשל): האריתמטיקה במקרה הזה: For all finite a ==> a+inf=inf+a=inf לא ניתן להכליל ביטויים כמוFor all b!=0 ==> b*inf=inf*b=inf a/0 (a!=0) or b/inf (b!=inf) אבל לפחות אהלפורס2 כותב במקרים אלה באופן די חופשי ש-a/0=inf and b/inf=0 (המקור של האינסוף בשני המיקרים הנ"ל הוא אנליטי (גבול), לא מתורת הקבוצות (עוצמות או סודרים)).(וסלחו לי על שניצלתי את ההזדמנות ליחצ"ן את האתר הנ"ל, המקור הטוב ביותר, מכל הידועים לי, ל-Text books באנגלית. גם הספרים לא רעים :)) |
|
|
|
|
|
|
||
|
||||
|
אני חושב שאפילו אני כבר נתקלתי קצת בהרבה הזו של הממשיים. אבל מאחר שהוא גורם לכך שתכונות השדה יאבדו, אין לנו כאן את האריתמטיקה ששאלתי עליה. אבל נחמד, בכל מקרה. | |
|
|
|
|
|
||
|
||||
|
"כרגיל, כל מה שכתוב להלן מקורו מפוקפק ביותר". למה החששנות הזו? :-) לא כתבת שום דבר טפשי, ורודין ואלפורס הם מקורות לא מפוקפקים בכלל. האתר combooks.co.il חדש לי, וכרגע נראה גם שהוא קצת מרגיש לא טוב. בכל אופן, מהיותו ישראלי אני מניח שדמי המשלוח שלו נמוכים מאלו של אמאזון - האם בכך יתרונו? והמחירים באמת דומים לאלו באמאזון או bn? |
|
|
|
|
|
|
||
|
||||
|
לא הצלחתי להבין אם אתה עדיין סבור שלהגדיר 0/0=0 תורם למשהו. כדאי להבין שאין, באופן כללי, פיתוחים מתמטיים מתקדמים מאחורי הרחבת כללי החילוק והכפל. לפעמים (כמו בתורת המידה, שכבר הזכירו) נוח להרחיב אותם, ולוותר על תכונות השדה, אבל גם שם זה לא איזה משהו עקרוני אלא בסה"כ מכשיר לחסוך מלל בתיאור התוצאות. בהגדרה האלגברית של שדה, כפי שאתה כבר כנראה יודע, אין ל-0 הופכי וממילא אסור לחלק בו. אפשר להגדיר מבנים אלגבריים אחרים, ואתה מוזמן להציע כאלה - רק דע שמחוץ למבנים המקובלים (חוג, חבורה, שדה, אלגברה, מודול, חבורה-למחצה ואולי עוד כמה) לא נתגלו מבנים מאוד מעניינים. |
|
|
|
|
|
|
||
|
||||
|
כנראה הייתי ממש לא מובן. מעולם לא חשבתי שלהגדיר 0/0 תורם למשהו, אבל בניגוד לחלוקות של מספרים אחרים באפס, לא ראיתי אף פעם שזה מוביל לסתירה מיידית, ולכן הייתי סקרן אם זה פסול מיסודו, כי זה מוביל לסתירה, או אם זה סתם לא יעיל ולא אסתטי. אולי זה רק אני, אבל אני מעדיף שיהיה לי ידע גם על דברים שאני לא חושב שמועילים, אבל רוצה להיות מסוגל לענות למי שיטען מולי שהם כן מועילים/אפשריים. כן, אני עוד צעיר ותמים, ויכול להרשות לעצמי ללמוד גם דברים שכאלה. חוץ מזה, חלוקה באפס זה משהו שהטריד אותי מילדות, אז אני רוצה להכיר את הנושא כמה שיותר לעומק. |
|
|
|
|
|
|
||
|
||||
|
זה תלוי למה אתה קורא "מוביל לסתירה". יש משפטים מקובלים שתצטרך להוסיף להם סייגים אם אתה רוצה ש-0/0 יהיה פעולה מקובלת, אחרת באמת תקבל טעויות (הזכרנו כבר משפטי גבול, ובטח יש עוד). לא שאתה זקוק לאישור שלי, אבל ברור שזה בסדר גמור לאסוף ידע על דברים לא "מועילים", לצעירים וזקנים כאחד. רק שגם בתוך התחום הזה אפשר לבחור נושאים עמוקים יותר או פחות, ונושא החלוקה באפס נגמר בערך במקום אליו הגענו. אם אתה סקרן לגבי המושג "מספר" וכללי חיבור וכפל, יותר כיף ללמוד על surreal numbers או סתם תורת השדות; אל דאגה, חלק מאלה הוא בלתי מועיל להפליא. נראה לי שתיהנה מאוד מזה: |
|
|
|
|
|
|
||
|
||||
|
ואם אני בעל תואר דוקטור לפיזיקה? | |
|
|
|
|
|
||
|
||||
|
אז אתה כשיר עוד פחות. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |