שיחה:מערכת דינקין

תוכן הדף אינו נתמך בשפות אחרות.
מתוך ויקיפדיה, האנציקלופדיה החופשית

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

  • "אם ו-, אז ".

אני מציע גרסה פשוטה יותר:

  • "לכל מערכת מתקיים ".

הגרסה הזו מספיקה, משום שעכשיו אם מתקיימות הנחות המשפט אז . מאידך אם בוחרים במשפט , מקבלים שאם אז ; כשמחליפים ההנחה מתקיימת, ולכן לכל מתקיים , כמו בגרסה שלי. השוויון נובע מההגדרות. עוזי ו. - שיחה 23:53, 24 בפברואר 2015 (IST)[תגובה]

עשיתי כעצתך. ויתרתי על האופרטור כי לדעתי אין לו תפקיד מעניין כאן. Redbrave - שיחה 12:55, 26 בפברואר 2015 (IST)[תגובה]


"שימוש יסודי"[עריכת קוד מקור]

היכן מופיע ? עוזי ו. - שיחה 14:29, 25 בפברואר 2015 (IST)[תגובה]

מתנצל, נשמט. תיקנתי. בקרוב אשתדל להוסיף את ההוכחה. 192.114.7.2 14:38, 25 בפברואר 2015 (IST)[תגובה]