 |
|
 |
||
|
||||
 |
הבה ונמשיכה (בתקוה שמישהו עוד קורא את זה). מרטין מתיחס לאקסיומת מרטין. קח יחס סדר חלקי P, לאו דווקא עץ. נגיד ששני אברים מתיישבים אם קיים איבר שקטן משניהם. אנטי-שרשרת היא קבוצה של איברים שאינם מתיישבים (בזוגות). יחס הסדר שלנו הוא ccc אם אין אנטי-שרשרת לא בת-מניה. קבוצה D היא צפופה אם לכל איבר x ב-P יש y ב-D שקטן ממנו y<x. קבוצה F היא פילטר אם: לכל x ו-y ב-F יש z ב-F שקטן משניהם. אם x שייך ל-F, כל מה שגדול ממנו (ב-P) גם שייך ל-F. אם P היתה עץ אז פילטר==ענף. עכשיו, אקסיומת מרטין לעוצמה k, המסומנת MA(k) היא ההצהרה: לכל יחס סדר P, המקיים ccc, לכל משפחה בגודל עד k של קבוצות צפופות, יש פילטר שהחיתוך שלו עם כל אחת מהקבוצות הצפופות הנ"ל אינו ריק. ברור1 ש-MA(א0) מתקיים. ברור2 ש-MA(2^א0( לא מתקיים. אקסיומת מרטין, MA היא הטענה MA(k) לכל k שקטנה מ-2^א0. השערת הרצף גוררת MA באופן טריויאלי. למה זה טוב? אם אנחנו מניחים שהשערת הרצף לא נכונה (במודל שלנו) מתעוררות כמה שאלות לגבי העוצמות שבין א0 ל-2^א0. למשל: האם איחוד של k קבוצות בעלות מידה אפס היא מדידה ובעלת מידה אפס? האם איחוד של k קבוצות מקטגוריה ראשונה היא גם מקטגוריה ראשונה? ועוד כהנה וכהנה. מסתבר התשובות לשאלות האלו באות ביחד ו-MA(k) גורר תשובה חיובית עבור k. גם השערת סוסלין נכנסת לכאן. MA(א1( גורר אי קיום קו או עץ סוסלין. זה שימושי עבור כפיות. למעשה, כל מה שתארנו כאן, מאוד דומה לכפיה. טוב, זה היה מתיש. ליל מנוחה. 1 אתם יודעים מה בא כאן. |
 |
 |
 |
|
|
|
||
|
||||
|
אני לא מבינה, לא היה פשוט יותר למלא את הבטחתך ולענות לי מה מעניין בהסתברות? | |
|
|
|
|
|
||
|
||||
|
וואלה. איך לא חשבתי על זה. מחר1. באמת. בהסתברות 1. 1 אולי נפליגה בספינות... |
|
|
|
|
|
|
||
|
||||
|
כאן אני כבר לא מצליח לעקוב. אני צריך לשבת, ולכתוב את ההגדרות, ולעשות תרגילים, ולקלל את המרצה, ולא ללמוד למבחן בתורת השדות תוך כדי. | |
|
|
|
|
|
||
|
||||
|
עזוב את העצים. אני מעוניין לשמוע על פרקולציה. אולי אתה תצליח להסביר לי את הקשר לקונפורמיות. | |
|
|
|
|
|
||
|
||||
|
גבירותיי ורבותיי, עקב בקשת הקהל, פרקולציה! קח את הגרף של Z^2, הסריג הדו-מימדי. להבהרה: הקודקודים הם כל הקואורדינטות השלמות במישור ושני קודקודים מחוברים אם המרחק בינהם הוא אחד, בקיצור, רשת דייגים אינסופית. עכשיו, ספר מטורף בא עם מספריו, וגוזר חלק מהקשתות (ה"חיבורים" בין צמתים ברשת). כל קשת הוא גוזר בהסתברות (1-p) ומשאיר אותה לנפשה בהסתברות p, באופן בלתי תלוי. מה קורה לרשת? אנו מתענינים בשאלה האם יש רכיב אינסופי או שמא הרשת נגזרה לגזרים סופיים. אם יש רכיב אינסופי, כמה יש? אחד, שניים, אלפיים, אינסוף? המשך יבוא... |
|
|
|
|
|
|
||
|
||||
|
במהרה, אני מקווה. | |
|
|
|
|
|
||
|
||||
|
המשך... במודל שתיארנו ברור1 שההסתברות לקיום רכיב אינסופי (נקרא לה r) עולה עם p. ברור גם ש- r(0)=0 (אין קשתות) וש-r(1)=1 (כל הקשתות ישנן). בעזרת חוק 0-1 של קולמוגורוב2 נקבל r(p) הוא 0 או 1 לכל p. מאחר ו-r עולה קיבלנו שקיימת נקודה קריטית p_c כך ש: אם p<p_c אז r(p)=0 (אין רכיב אינסופי), ואם p>p_c אז r(p)=1 (יש רכיב אינסופי). נשארו השאלות מהו p_c ובפרט האם אינו טריויאלי (כלומר לא 0 או 1), מהו r(p_c), ומה קורה עם מספר רכיבי הקשירות האינסופיים. שאלות? תשובות? 1 תרגיל: הוכח באופן ריגורוזי. 2 לפעורי הפה: החוק אומר שאם מאורע כלשהו, התלוי בתוצאה של אינסוף הגרלות, בלתי תלוי בתוצאה של כל קבוצה סופית שלהן, אז הסתברותו היא בהכרח 0 או 1. |
|
|
|
|
|
|
||
|
||||
|
אם נתחיל מקשת קיימת (p>0) ונבדוק מה הסיכוי שהיא חלק מרכיב אין סופי, נילך לאחד הצמתות, ואז הסיכוי שקיימת קשת נוספת באותו כיוון היא p' והסיכוי שקיימת קשת בלפחות כיוון מאונך אחד היא 2p-p^2 לכן הסיכוי שיש לפחות עוד קשת אחת הוא 3p-3p^2+p^3 (שתמיד קטן מ1) והסיכוי שמהקשת הזאת יש עוד קשת הוא זהה, לכן הסיכוי שקיימות אין סוף קשתות כאלה הוא אפס. אותו חישוב מתקיים, כמובן, גם לצד השני. לכן, r(p<1)=0. | |
|
|
|
|
|
||
|
||||
|
ראשית, לסריג הריבועי שאג"ג מתאר, אפשר להראות משיקולי סימטריה שהנקודה הקריטית היא בחצי, לפחות כאשר מדברים על פרקולצית קשתות. לא ברור לי מה בדיוק לא נכון בשיקול שלך, אבל אם תחשוב שניה על "עץ" שמכל ענף יוצאים עוד שני ענפים (כלומר כל צומת מכילה 3 ענפים1) ,תוכל להשתכנע שקיים p לא טריוויאלי שהוא קריטי. |
|
|
|
|
|
|
||
|
||||
|
>לסריג הריבועי שאג"ג מתאר, אפשר להראות משיקולי סימטריה שהנקודה הקריטית היא בחצי. מה אתה מקדים את המאוחר? :-) בכל אופן, זה נכון אבל לא כל כך קל כמו שאתה מתאר את זה. למעשה, אין לזה הוכחה ממש אלמנטרית. <תוכן פירסומי> אם מישהו ממש מתענין, הוא מוזמן לבוא לשמוע את הקורס שאעביר בנושא "הילוכים מקריים ופרקולציות" במכון ויצמן בסמסטר א'. </תוכן פירסומי> באשר לעצים: פרקולציה על עץ כזה יוצרת (בערך) את מה שנקרא תהליך Galton-Watson. במקורו, זהו מודל לחישוב סיכויי ההכחדות של שמות משפחה. המודל הוא כדלהלן: נניח שיש התפלגות P הקובעת את מספר הילדים הזכרים (שממשיכים את שם המשפחה) לאדם (זכר) נתון. נתחיל בזכר אחד בדור הראשון. בדור השני נגריל את מספר הילדים שלו לפי התפלגות P. בדור הבא לכל אחד מהם נגריל ילדים גם לפי התפלגות P, עד אשר המשפחה נכחדת או לנצח. ברור1 שאם התוחלת של P קטנה מ-1, ההכחדות היא ודאית. מה שפחות ברור הוא שאם התוחלת של P גדולה מ-1, יש סיכויי חיובי להשרדות (עד אינסוף). הסיכוי המדויק תלוי בהתפלגות והוא יכול להיות קטן כרצוננו, אבל הוא תמיד חיובי. עבור P עם תוחלת 1 בדיוק, ההכחדות היא ודאית2, אבל תוחלת גודל המשפחה ומספר הדורות היא אינסופית. מכאן, שעבור פרקולציה על העץ הבינארי, p_c=1/2 ועבורו אין רכיבים אינסופיים. 1 הוכח. 2 מלבד במקרה הטריויאלי, בו בהסתברות 1 יש ילד אחד. |
|
|
|
|
|
|
||
|
||||
|
אתה פחות או יותר עשית את החישוב שמסלול נתון קיים בגרף. זה כמובן 0, אבל יש הרבה מסלולים אפשריים. | |
|
|
|
|
|
||
|
||||
|
2 נראה לי שהפה נפער רק *אחרי* ששומעים מהו החוק הזה. אפשר סקיצה של ההוכחה? | |
|
|
|
|
|
||
|
||||
|
הדבר הראשון שעולה על דעתי הוא שזה נובע בקלות מהרגולריות של המידה הרלוונטית. הרגולריות אומרת שאם יש לי קבוצה מדידה A, אז יש קבוצה פתוחה B שמכילה את A ועם מידה קרובה ל-A כרצוננו. אם מקרבים את B ע"י איחוד של מספר סופי של קבוצות פתוחות, נסמנו C. אם ההסתברות של A היתה חיובית אז ההסתברות המותנית של A בהנתן C היא גדולה כרצוננו. C הוא מאורע שתלוי במספר סופי של המשתנים ולכן A צריך להיות בלתי תלוי בו. מסקנה: ההסתברות של A היא 1. עכשיו רק נותר לחשוב איך מוכיחים את הרגולריות של המידה הרלוונטית ולקוות שזה לא נעשה בעזרת חוק ה-0-1 של קולמוגורוב. |
|
|
|
|
|
|
||
|
||||
|
את זה אני פחות או יותר מכיר, אבל ראיתי שאפשר לעשות הרבה דברים יפים כאשר ''מניחים'' סימטריה קונפורמית. הבעיה היא שמעבר להגיד את המילים הללו, אני לא מבין בזה כלום. | |
|
|
|
|
|
||
|
||||
|
אח, הנוסטלגיה...גם לך גיטיק נתן איזה 20 שאלות מהפרק בקומבינטוריקה של Kunen ? | |
|
|
|
|
|
||
|
||||
|
25, כמדומני. אודה ולא אבוש, עבדנו על השאלות הללו בקבוצה (!) וזה היה אחד הדברים המהנים ביותר בתואר הראשון. | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |