בתשובה לעוזי ו., 27/02/03 5:05
מידה לסיכוי 132817
אני לא בטוח אם זה קשור לנושא האורך, המידה או לאקסיומת הבחירה או סתם למוגבלות השכלית שלי, אבל מהבוקר אני מוטרד מן השאלה הבאה: מה הסיכוי שבחירה אקראית של נקודה בין 0 ל1 תיפול בין 0 לp, כאשר p בין 0 ל1. לכאורה, הסיכוי הוא p. במחשבה שנייה, עוצמת הנקודות בשתי הקבוצות המשלימות זהה. ניתן אפילו להשתעשע ולפזר את אחת הקבוצות או את שתיהן בפיזורים שונים על פני ציר הממשיים ולשאול אז מהו הסיכוי.
רעיון?
מידה לסיכוי 132843
הגדר "בחירה אקראית". רמז: התחל בהגדרת המושגים סיגמא-אלגברה (של קבוצות), מרחב מדיד, מידה חיצונית, מידה ומידת-הסתברות.

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

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

1 מהספרייה, מהספרייה
מידה לסיכוי 132860
תודה. אנסה קודם באוניברסיטה הגוגליאנית :-)
הרהורי כפירה? 132897
אם אתה מעוניין לנסח בעיה קונקרטית, אשמח לנסות לגאול אותך מן ההרהורים האלה.
מידה לסיכוי 132851
בתוספת לתשובתו של מיצ, הסתברות היא לא-פחות-ולא-יותר מפונקצית מידה על המרחב שלך (מנורמלת כך שמידת המרחב שווה ל-‏1). ההתפלגות ה"אחידה" שאנחנו רגילים לה מוגדרת היטב על קטעים (ולכן הסיכוי ליפול בין 0 ל- p שווה ל- p), אבל יש קבוצות שעבורן היא לא מוגדרת.
בפרט, יש קבוצות שלא ניתן לענות על השאלה "מה ההסתברות" ליפול לתוכן.
מידה לסיכוי 132855
בתוספת לתשובתי למיץ, מה אם עניין העוצמות? כלומר, אם במקום נקודות הקטע שבין 0 לp ניקח אוסף נקודות השקול לו (חח"ע) - למשל הקטע שבין 1 ל2 ובמקום הקטע שבין p ל1 ניקח את הקטע שבין 2 ל3 ונגריל נקודה - התוצאה תשתנה! הסיכוי יהיה הפעם חצי. למה?
מידה לסיכוי 132899
כי ההעתקה החד-חד-ערכית ועל שבין הקבוצות אינה שומרת על ההסתברות.
הסבר לפיזיקאים: אם מותחים גומיה, האורך שלה משתנה. הכיצד? הרי זו אותה גומיה!
מידה לסיכוי 133031
אז זה תלוי באינטגרל הנירמול. מממ.. נקודה חשובה. עוד אחזור לזה (במקום אחר). בכל אופן, ה"הוכחה" שחשבתי עליה בעניין הסיכוי בין p ל0 לעומת הסיכוי בין p ל1 היא כזו (בקצרה): כדי להגריל מספר ממשי בין 0 לp מגרילים את ספרותיו אחת אחת: צריך שהראשונה שלו תהיה קטנה מזו של p, והסיכוי לזה הוא...הראשונה של p, חלקי 10. אפשרות אחרת היא שספרתו הראשונה היא כשל זו p (בסיכוי 1 ל10), אך ספרתו השנייה קטנה מן השנייה של p. הסיכוי לכך הוא זו השנייה של p חלקי 10 וכך ממשיכים ומקבלים שהסיכוי להמצא משמאל לp הינו סכום שהוא הפיתוח העשרוני של p.

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

בעניין הריקבון בממלכת קנטור ובאימפריה הפרנקל-זורמלית יורשתה, זו היתה הערת אגב. אם אבסס את התחושה במידה מספיקה, אחזור לזה.
מידה לסיכוי 133126
הגרלת הספרות בזו-אחר-זו נותנת התפלגות אחידה, וההוכחה שלך בסדר במקרה הזה. אפשר להעזר בהתפלגות אחידה כדי לייצר כל התפלגות: נסמן ב- F את פונקצית ההצטברות של ההתפלגות הרצויה (F שווה לאינטגרל ממינוס אינסוף עד x), וב- U משתנה אחיד (שהוגרל בשיטת הספרות, למשל).
המשתנה (F^{-1}(U מתפלג לפי ההתפלגות המתאימה ל- F.
מידה לסיכוי 133139
תודה.
אני מקווה שזה יאפשר לי שהות מה בטרם אצטרך למשנתו של לבג.
מידה לסיכוי 133185
נחמד, אבל איפה כתוב ש-F הפיכה?
מידה לסיכוי 133204
לפי ההגדרה (אינטגרל של פונקציה חיובית), F היא מונוטונית עולה ולכן יש לה פונקציה הופכית (שגם היא מונוטונית עולה).
הנקודות שבהן הפונקציה ההופכית אינה מוגדרת היטב מתאימות לקטעים שבהם פונקצית הצפיפות שאנחנו מסכמים היא אפס. בנקודות האלה אפשר להגדיר את הפונקציה ההופכית להיות כל מספר מן הקטע המתאים, שכן ממילא ההסתברות שלהן אפס (תחת ההתפלגות האחידה).

(אם רוצים לדייק, צריך לזכור שכל פונקצית צפיפות היא מדידה).
והאדם המציא את האטום 133209
מיץטער, הייתי צריך לכתוב "איפה כתוב שהאינטגרל הוא של פונקציה חיובית?" (או איפה בכלל כתוב של מה האינטגרל), אבל עכשיו אני כבר יכול לשאול מי בכלל דיבר על פונקציית צפיפות. בקיצור, כיוון שהפתרון שלך עובד (כשמגדירים אותו היטב) גם עם התפלגויות שאין להן צפיפות, ממש לא ברור לי למה בחרת להוסיף את הסיבוך הזה.
אפשר גם בלי צפיפות 133222
מההתחלה: כל התפלגות מוגדרת על-ידי פונקצית הצטברות, שהיא מונוטונית עולה (אבל אינה בהכרח רציפה). אפשר *להגדיר* פונקציה הופכית לפי
F^{-1}(a) = inf {x | F(x)>=a}.
כעת, אם U משתנה אחיד, אז (F^{-1}(U מתפלג לפי F.
כשאתה רוצה אתה יכול! 133223
תודה... (מסמיק מרוב נחת) 133224

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

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