בדידה: תרגיל 1, 4.ג'
צ"ל
ואח"כ אתה משתמש בזה פעמיים (כדי להראות ש:
). -אור שחף, שיחה, 19:01, 26 ביולי 2010 (IDT)
לינארית: תרגיל 1, 2.8א
אתה רוצה להראות ש-
. מתקיים:
. מכיוון ש-
הטענה נכונה. -אור שחף, שיחה, 18:46, 27 ביולי 2010 (IDT)
ולכן
. לפי הגדרת
ולפי דיסטריביוטיביות (שאותה צ"ל, זה קל) נובע ש-
ואז, לפי
(צ"ל),
ואסוציאטיביות (צ"ל) מתקיים
. -אור שחף, שיחה, 19:44, 27 ביולי 2010 (IDT)
- בזכות תומר שמתי לב ש-p לא בהכרח שייך ל-F, חכו. -אור שחף, שיחה, 20:07, 27 ביולי 2010 (IDT)
- ברגע שמוכיחים סגירות נובע מכך:
. ניסיתי להוכיח סגירות:
. בזכות הגדרת
, נותר להוכיח ש-
, אבל בגלל קיום איבר נגדי, איבר הופכי וסגירות החיבור והכפל ב-F, צריך להתקיים ש-p שייך ל-F. חכו רגע, או שטעיתי או שיש פה משהו מתוחכם שלא ראיתי. נ.ב. נמרוד, למה מחקת? -אור שחף, שיחה, 20:37, 27 ביולי 2010 (IDT)
בגלל שעדיף לא לציין מה שיש בו טעות אלה רק מה שנכון
- חשבתי שאולי תנסו למצוא טעות (ואולי נובע מכך שלכל תת-שדה של R כל הראשוניים שייכים לתת-שדה). בכל מקרה, רוב מה שכתבתי ישמש אותנו גם אם טעיתי. -אור שחף, שיחה, 21:20, 27 ביולי 2010 (IDT)
- מצאתי! קודם מוכיחים
(זה קל מאוד), מכאן נובע, עבור x,y ב-F:
. מש"ל!!!!!! -אור שחף, שיחה, 22:07, 27 ביולי 2010 (IDT)