|
|
| שורה 7: |
שורה 7: |
|
| |
|
|
| |
|
| ==מטריצות==
| |
| בשאלה 1.7 בעמ 12 מבקשים מאיתנו למצוא מערכת משוואת עם כמות מסויימת של פתרונות,לא עברנו על כך בשיעור האם מישהו יוכל לעוזר לי בבקשה . איך אנו בודקים\מבקרים על כמות הפתרונות של מערכת משוואות ?
| |
|
| |
|
| :כמות הפתרונות של מערכת משוואות הינה מספר האיברים בשדה בחזקת מספר המשתנים החופשיים. זה נכון מכיוון שכל משתנה חופשי יכול לקבל כל איבר מהשדה באופן בלתי תלוי באחרים. זה כמו לשאול כמה אפשרויות קיימות למצב 3 נורות כאשר כל אחד יכולה להיות דולקת או כבוייה (התשובה היא 2 בחזקת שלוש במקרה זה...) --[[משתמש:ארז שיינר|ארז שיינר]] 20:35, 18 ביולי 2011 (IDT)
| |
|
| |
| ::לא מצויין גם באיזה שדה הפתרונות צריכים להיות, ולא מצויין סוג מערכת המשוואות. אתה יכול להגדיר פולינום כמו x^49 = 1 שיש לו 49 פתרונות במרוכבים, או שני פולינומים שיש לכל אחד 7 פתרונות. יש כמובן עוד הרבה דרכים (יש גם מערכות לינאריות בעלות 49 פתרונות).
| |
|
| |
| :::הכוונה בשאלה הינה למערכת משוואות לינאריות בלבד --[[משתמש:ארז שיינר|ארז שיינר]] 18:21, 20 ביולי 2011 (IDT)
| |
|
| |
| == הוכחת שדה ==
| |
|
| |
| לא הבנתי איך מוכיחים ששדה קיים.
| |
| הבעיה צצה בתרגיל 3.1
| |
| אבל אשמח גם להסבר בכלליות.
| |
| גניה שנדלוב
| |
|
| |
| תשובה: (לא מתרגל), למדת את התנאים שחייבים להתקיים בשדה, תעברי תנאי אחרי תנאי ותוכיחי שכולם מתקיימים.
| |
|
| |
| שאומרים להוכיח שקבוצה מסויימת לא שדה מספיק להביא דוגמא נגדית אחת שקיימת? בקשר לשאלה 2.3 סעיף ב
| |
|
| |
| תשובה: (לא מתרגל), דוגמא נגדית + הסבר ראוי יעשה את העבודה.
| |
|
| |
|
| |
| שאלה: נראה לי שהוא התכוון מה זה R*R לא למדנו מכפלה של שדות איך אני מכפיל שדה אחד בשני???
| |
|
| |
| תשובה: (לא מתרגל), הכוונה בטח ל- RxR וזוהי מכפלה קרטזית שיוצרת זוגות סדורים. אתה לא מכפיל שדות אל מכפיל קבוצות. לדוגמה: אם קבוצה X מכילה 13 איברים של ערכי קלפים { A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2 } וקבוצה Y מכילה 4 איברים של סוג הקלף {♠, ♥, ♦, ♣}, אזי המכפלה הקרטזית של שתי הקבוצות היא קבוצת קלפי המשחק המוכרת לנו, בעלת 52 האיברים { (♣ ,A, ♠), (K, ♠), ..., (2, ♠), (A, ♥), ..., (3, ♣), (2) }.
| |
|
| |
| כן אבל מה זה אומר על התרגיל עצמו איך אני משתמש בזה על קבוצות שלא נתון לי אף איבר בהם????
| |
|
| |
| תשובה: (לא מתרגל), אני חושב שאתה מדבר על שאלה 3.1. הכוונה היא להגדיר מספר מרוכב כזוג סדור. אנו הרי מכירים את המספר המרוכב כ- a+bi אז בשאלה רוצים שתציג זאת כ- (a,b), זו הבנתי...
| |
|
| |
|
| |
| כן אבל היתכוונתי ל בת FxF את א הבנתי לבד
| |
|
| |
|
| |
| :אני לא בטוח מה השאלה, אבל אני אנסה להגיב. לא מוכיחים ששדה הוא '''קיים'''. ניתן להוכיח האם קבוצה מסויימת עם פעולות כפל וחיבור מסוימות היא אכן שדה. היא אכן שדה אם '''כל''' תכונות השדה מתקיימות. --[[משתמש:ארז שיינר|ארז שיינר]] 20:41, 18 ביולי 2011 (IDT)
| |
|
| |
| == כתיבת שיעורי הבית ==
| |
|
| |
|
| |
| ----
| |
| מה צריך לכתוב כאשר מגישים את שיעורי הבית?
| |
| האם יש צורך לכתוב כל תרגיל בעמוד נפרד? או שרק להפריד ביניהם?
| |
|
| |
| בשאלה 2.3 סעיף ד, הכוונה שם שזה הקטע עם mod או קבוצת השלמים 0,1,2,3? תודה
| |
|
| |
| : אין צורך לכתוב כל תרגיל בדף נפרד, אך תקפידו להפריד בין התרגילים ולציין את מספר התרגיל.
| |
| : בשאלה 2.3: הפעולות הן מודולו 3. --[[משתמש:לואי פולב|לואי פולב]] 15:06, 18 ביולי 2011 (IDT)
| |
|
| |
| == ניסוח בשאלה 2.3 ==
| |
|
| |
| לא הבנתי את ניסוח הנתונים בסעיף ד שאלה 2.3 - אפשר להסביר אותו? תודה
| |
|
| |
|
| |
| תשובה: אני לא מתרגל, אבל למיטב הבנתי, נותנים לך איזשהו מערך ריק ומגדירים בו חלקים משדה z3, תסתכל
| |
|
| |
| איזו השמה בוצעה לכל איבר במערך ותחליט האם ניתן להגדיר את המערך החדש כשדה או לא.
| |
|
| |
|
| |
| תודה לך אבל בעיקרון את הנקודה הזו הבנתי, השאלה שלי היא מה הסימון F:=Z3 אומר? האם ש ב F מספר איברים כמו ב z3 ? או זו אותה קבוצה? למה לא עברנו על סימונים כאלו בתירגולים?
| |
| תודה מראש
| |
|
| |
| תשובה: (לא מתרגל) כמדומני הסימון אומר: "מעתה,F הוא Z3" (על כל המשתמע מכך), שים לב לשאר ההשמות וצור לעצמך את המערך החדש שהתקבל.
| |
|
| |
| תודה רבה תשובתך עזרה לי מאוד!
| |
|
| |
| == לא הבנתי את חוק הקיבוץ ==
| |
|
| |
| ואם הפשר לדעת מה זה מאפיין CHAR תודה
| |
|
| |
| :מה יש לא להבין בחוק? לא הבנת את הכתב? תכתוב אותו פה, ותגיד מה לא מובן ונוכל לעזור. מאפיין של שדה הינו המספר הקטן ביותר של אחדות שסכומם הוא אפס. למשל, אם 1+1=0 אזי המאפיין של השדה הוא 2. --[[משתמש:ארז שיינר|ארז שיינר]] 20:36, 18 ביולי 2011 (IDT)
| |
|
| |
| == וגם למרות שזה לא בשיעורים ==
| |
|
| |
| אם משהו יכול להסביר מדוע כשCHAR שונה מ0 אז CHAR(F( הוא ראשוני תודה
| |
|
| |
| תשובה: (לא מתרגל), אנסה לענות לשאלתך, ושוב, איני מתרגל אז קח את זה בערבון מוגבל.
| |
|
| |
| char=מאפיין, המאפיין הוא בעצם כמה פעמים אני צריך להוסיף 1 על מנת להגיע לאפס. לדוגמא: בשדה z5 על מנת להגיע לאפס אני צריך להוסיף את הספרה 1 חמש פעמים: 1+1+1+1+1=0. תנסה ותראה שכל תוספת של 5 תיתן לך את האפס. ולכן המאפיין הוא 5. וזה תופס כמובן לכל מספר ראשוני אחר.
| |
|
| |
| אנחנו נקבל שהמאפיין שווה לאפס במידה ומדובר במספר אינסופי של איברי הקבוצה. למשל בקבוצת הרציונליים, ככל שנוסיף אחדות רק נתרחק מהאפס.ולכן המאפיין הוא- אפס. יש מצב שהניסוח קצת לוקה, אבל זה הרעיון...
| |
|
| |
| :אני כן מתרגל. התשובה לא מסבירה מדוע '''בכל שדה''' המאפיין הוא ראשוני, אלא רק למה הוא כזה במקרה של השדות שלמדנו. כמדומני שהוכחתם מדוע מאפיין הוא תמיד ראשוני בהרצאה (אני לא מתחמק מהשאלה, אני פשוט לא בטוח שאני יודע בעצמי). --[[משתמש:ארז שיינר|ארז שיינר]] 20:38, 18 ביולי 2011 (IDT)
| |
|
| |
|
| |
| אתה צודק הוכחנו בהרצאה ועכשיו לשאלה אם המאפיין לא יהיה ראישוני אז יהיו מחלקי אפס בשדה
| |
|
| |
| *אני חושב שיש לי מושג למה: באחד התרגילים התבקשנו להוכיח שבשדה עם מאפיין p ישנו תת שדה שאיזומורפי (בעל אותן תכונות) ל Zp. בהוכחה* אני לא השתמשתי בעובדה ש p ראשוני. אז אם '''נניח''' שלשדה F יש מאפיין פריק n, אזי קיים תת שדה בF שאיזומורפי למבנה Zn. וכמובן Zn יש מחלקי אפס ולכן ב F יש מחלקי אפס. (סתירה להנחה, <math>\neg A \rightarrow F</math> ולכן המאפיין חייב להיות ראשוני)
| |
|
| |
| (*תסתכל על הקבוצה <math>\{1, 1+1, 1+1+1,... (p-1)1, p\cdot 1\}</math> ותוכיח שהחיבור והכפל שלה זהים לשל Zp)
| |
|
| |
| בפרט, אני רואה שמספיק(זה חלק מהפעולה שהיה צריך לעשות קודם) להוכיח שעבור כל m,n טבעיים מתקיים <math>(m\cdot n)\cdot 1 = (m \cdot 1)(n \cdot 1)</math>
| |
| לכן אם המאפיין הוא m*n אז או שאחד מהגורמים שווה 0, וזה אומר שקיים מאפיין קטן יותר (סתירה), או שקיימים מחלקי 0 (סתירה) ולכן המאפיין לא יכול להיות פריק. --[[משתמש:Ohadklein|Ohadklein]] 18:09, 20 ביולי 2011 (IDT)
| |
|
| |
| (לא מתרגל) חשבתי על זה ובהנחה שהמאפיין סופי ופריק, אפשר להוכיח שקיים מאפיין ראשוני קטן יותר לאותו שדה. כשאחזור אני אפרט את ההוכחה שלי.
| |
|
| |
| == תרגיל 2.3 ד-שאלה עם הסימנים ==
| |
|
| |
| לא הבנתי מה זה אומר הסימנים 1F:=2Z3 0F=1Z3
| |
| לפי מה שאני הבנתי זה אומר ש2Z3 אמור לתפקד כאיבר ניטרלי בכפל ו1Z3 בחיבור אבל 2*2=4mod3=1
| |
| ו1+1=2 אז הם לא מתפקדים כמו מה שאני חושב
| |
| אם מישהו יודע מה משמעות הסימונים שיגיד
| |
|
| |
| :הם אמורים לתפקד באופן מסויים אם זה אכן שדה. לא קובעים לך את העובדה שזה שדה אלא שואלים אותך. --[[משתמש:ארז שיינר|ארז שיינר]] 20:38, 18 ביולי 2011 (IDT)
| |
|
| |
| == הגדרת קב׳ השלמים ==
| |
|
| |
| בשאלה 2.3 ב, איך אנחנו אמורים להוכיח שההופכי של 2 (לדוגמא) הוא לא שלם, אם בכלל לא הגדרנו את קבוצת השלמים?
| |
| (אפשר לוותר על הפורמליות שם?)--22:45, 18 ביולי 2011 (IDT)
| |
|
| |
| תשובה: (לא מתרגל), אני [[חושב]] שאפשר לעשות דבר כזה:
| |
| <math>let: 2a = 1 \Rightarrow 2 | 1</math>
| |
| וזה כמובן לא נכון.
| |
| אפשר גם להסתכל על זה mod 2 ובטח לא מושג שוויון. --[[משתמש:Ohadklein|Ohadklein]] 00:19, 19 ביולי 2011 (IDT)
| |
|
| |
| :לא הבנתי את מה שעשית, ונראה לי שאסור להשתמש בmod כי הכוונה היא לשדה עם הפעולות הרגילות.
| |
|
| |
| תשובה: (לא מתרגל), mod זו פעולה ב Z, ב Zp היא פועלת אוטומטית. אולי אפשר להגיד גם שמכיוון ש a*2 מונוטונית אז מספיק לבדוק את ערכי הפונקציה עבור a = 0,1 ולראות שהיא לא שווה 1.
| |
|
| |
| == סימון סכום ==
| |
|
| |
| אם יש לי את הקבוצה A, האם ניתן לסמן (Σ(A כסכום כל האיברים ב A, או שאני חייב להגדיר אינדקס שרץ מ 1 עד גודל הקבוצה?
| |
| :חייבים להגדיר אינדקס, אנחנו נלמד בעתיד שעבור קבוצות אינסופיות הסימון הזה יהיה מאד בעייתי. כלומר <math>\sum_{i=1}^na_n</math> כאשר <math>A=\{a_1,...,a_n\}</math> --[[משתמש:ארז שיינר|ארז שיינר]] 07:19, 19 ביולי 2011 (IDT)
| |
|
| |
|
| |
| יש לי הערה: בסיכום http://www.math-wiki.com/index.php?title=88-101_%D7%97%D7%A9%D7%99%D7%91%D7%94_%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%AA יש משפט "אומרים שקבוצת וקטורים...", אם אני לא טועה זו הגדרה של קבוצה ''שאינה'' תלויה לינארית.
| |
|
| |
| :צודק, תוקן. --[[משתמש:ארז שיינר|ארז שיינר]] 06:50, 19 ביולי 2011 (IDT)
| |
|
| |
| == שדות ==
| |
|
| |
| לא הבנתי מה צריך להוכיח בשאלה 3.11 סעיף א'.
| |
|
| |
| :להוכיח שקיים שורש יחידה (<math>\sqrt[n]{1}</math>) כך שכל החזקות שלו נותנות את כל שורשי היחידה מסדר n. --[[משתמש:ארז שיינר|ארז שיינר]] 06:53, 19 ביולי 2011 (IDT)
| |
|
| |
| כשאומרים מסדר n הכוונה היא שאנחנו מוגבלים עד z^n=1 או שמותר לנו להשתמש בשורש יחידה מהצורה z^(n^2)=1 ?
| |
|
| |
| שורשי היחידה מסדר n זה אומר כל ה z שמקיימים z^n = 1, לא יותר ולא פחות (מה שאתה אמרת אלו שורשי היחידה מסדר n^2).
| |
|
| |
| == 3.1 סעיף ב ==
| |
|
| |
| מה זה אומר FXF ? ואיך ניתן להוכיח שזה לא שדה ? בעזרת איזה תכונה של שדה ניתן להוכיח שFXF אינו שדה בגלל תכונתו a*a+1=0 ?
| |
|
| |
| :FXF הינו קבוצה של זוגות סדורים של איברים מF; למשל <math>\mathbb{Z}_2\times\mathbb{Z}_2=\{(0,0),(0,1),(1,0),(1,1)\}</math>. כמו כן, מגדירים על הקבוצה הזו כפל וחיבור כמו שהגדרנו במשפט אשר בדיוק מעל השאלה הזו. בהתחשב בכל ההגדרות הללו, יש לבדוק האם כל תכונות השדה מתקיימות ואם לא. --[[משתמש:ארז שיינר|ארז שיינר]] 12:48, 19 ביולי 2011 (IDT)
| |
|
| |
|
| |
|
| |
| אם לכל איבר ששייך לF מתקיים שהוא עצמו בריבע + 1 =0 אז כל האיברים שוים i ?
| |
|
| |
| תשובה (לא מתרגל): כתוב שקיים איבר המקיים את התנאי, ולא כל האיברים מקיימים את התנאי. תסתכל מה קורה עם האיבר (i,1) כאשר i^2+1=0 (ו i איבר ב F כמובן).--[[משתמש:Ohadklein|Ohadklein]] 14:33, 19 ביולי 2011 (IDT)
| |
|
| |
| איך אתה יודע איזה איברים מוכלים בF ?
| |
|
| |
| תשובה (לא מתרגל): זה נתון שקיים a ב F המקיים a^2+1 = 0 אז אני פשוט קראתי לו i.
| |
|
| |
| אם מציבים i הטענה נכונה..אבל היא נכונה רק עבור i
| |
|
| |
|
| |
|
| |
| אבל אין שם מספר ראשוני של איברים ב FxF אז זה לא שדה לא???
| |
| כי מספר האיברים שם הוא מספר האיברים ב F בריבוע.... או שזה שדה אין סופי כמו המרוכבים???
| |
|
| |
| תשובה (לא מתרגל): ברור שזה שדה אינסופי, הוא מכיל את Z, את Q, וגם קל להראות שהוא מכיל את {Q(i) = {a+bi|a,b in Q. אם עשית את 3.1 (א') הסעיף הזה אמור להיות קל.
| |
|
| |
| את א הצלחתי זה היה קל אבל פה אין לי מושג מאיפה להתחיל....
| |
| אני הגעתי לזה שאם a^2+1=0 אז a הוא מחלק אפס... אבל שוב זה בשדה F איך אני מוכיח לגבי FxF??? וגם איך בנוי איבר ב fxf האם הוא בנוי כך a+bi??? או שהוא בנוי כך a+b ואיך אפשר לדעת???
| |
|
| |
| לא, אתה לא הוכחת את זה, כי זה לא נכון. C מכיל את i והוא שדה(היית אמור להוכיח את זה ב 3.1א). <math>\forall x \in FxF: \exists a,b \in F: x = (a,b)</math>. יש תכונה שלא תעבוד לפחות עבור (i,1) א
| |
| .--[[משתמש:Ohadklein|Ohadklein]] 21:52, 19 ביולי 2011 (IDT)
| |
|
| |
| == ?????????????????? ==
| |
|
| |
| כדי להוכיח שF לא שדה ע"י תכונה צריך להסביר למה התכונה הזאת חייבת להיות בשדה ?
| |
| (כמו למשל איברים נייטלים )
| |
|
| |
| :ידוע לכולם מהן תכונות השדה, אין מה להסביר פה --[[משתמש:ארז שיינר|ארז שיינר]] 18:55, 19 ביולי 2011 (IDT)
| |
|
| |
| == אוסף שורשי היחיחדה ==
| |
|
| |
| מה זה?
| |
|
| |
| :<math>\sqrt[n]{1}</math>--[[משתמש:ארז שיינר|ארז שיינר]] 23:01, 19 ביולי 2011 (IDT)
| |
|
| |
| == בעמוד 12 שאלה 1.6 (מז"א אסור להשתמש בחילוק אבל מותר צמצום?) ==
| |
|
| |
| הכוונה חילוק בין שורות אסור? וצמצום על שורה עצמה מותר?
| |
|
| |
| תודה
| |
|
| |
| :אסור לחלק כי אין הופכי לאף איבר. אבל מכיוון שאין מחלקי אפס, אם יש בשני צידי המשוואה משהו כפול 2 אז אפשר לצמצם את ה2 --[[משתמש:ארז שיינר|ארז שיינר]] 23:06, 19 ביולי 2011 (IDT)
| |
|
| |
| == 1.7 ==
| |
|
| |
| איך מוצאים את מערכת המשוואת ?
| |
|
| |
| :זה התרגיל. כבר מישהו שאל בנושא, מומלץ לקרוא שאלות ותשובות של אחרים --[[משתמש:ארז שיינר|ארז שיינר]] 23:03, 19 ביולי 2011 (IDT)
| |
|
| |
| == שאלה 3.1 ==
| |
|
| |
| מה הכוונה בהגדרה של השדה ש-C=R*R, צריך להתייחס לכך כמספרים מרוכבים?
| |
|
| |
| לפי מה שהבנתי הכוונה לזוגות סדורים (a,b) כך ש a,b שייכים ל R
| |
|
| |
| == שאלה 4.6 סעיף ב ==
| |
|
| |
| האם חייבים להשתמש בסעיף א או שאם רוצים אפשר לא???
| |
|
| |
| :פתחתי את החוברת ורשום שם "השתמש ב(א)". אז חייבים --[[משתמש:ארז שיינר|ארז שיינר]] 18:06, 20 ביולי 2011 (IDT)
| |
|
| |
| == הוכחה ש C הוא שדה ==
| |
|
| |
| איך אני מוכיח שיש איברים הופכיים ונגדיים ב-C?
| |
|
| |
| :אתה מראה מיהו ההופכי \ הנגדי ל (a,b).
| |
|
| |
|
| |
| ::אבל קודם אני צריך להוכיח שיש בכלל הופכי\ נגדי ל (a,b) לא?
| |
|
| |
| :::אם אתה מראה מיהו, בין היתר הראת שקיים כזה. כלומר, אם מצאת לכל איבר (a,b) איבר (c,d) כך שסכומם הוא אפס, מצאת נגדי והוא אכן קיים. --[[משתמש:ארז שיינר|ארז שיינר]] 18:19, 20 ביולי 2011 (IDT)
| |
|
| |
| == בענין של שדה בן 4 איברים ==
| |
|
| |
| אני יודע ששנים ממנו צריכים להיות 1 ו0 כי הם איברים ניטרלים לחיבור ולכפל בהתאמה ולכן הם צריכים להיות בשדה אבל מה באופן עקרוני צריכים שאר המספרים להיות והאם פה החיבור והכפל זה בMOD4 או שזה רק בשדה סגור?
| |
| נץב הסתכלתי באנרטנט וראיתי שזה משהו שקשור למתמטיקאי בשם גלאון וזה לא בקורס בסיסי אז עדיין לעשות את השאלה?
| |
|
| |
| *זו שאלה למחשבה, אתה לא חייב לעשות. כן, המרצה הזכיר שזה קורס לא-בסיסי בחבורות גלואה אם אני לא טועה. בכל מקרה, זה תרגיל פשוט יחסית כי אם תנסה להגדיר טבלה שמציגה את הקשר בין האיברים, הרוב המוחלט של הטבלה תהיה מלאה מהגדרות ומזהויות בסיסיות, כמו כן לכל איבר מתקיים a+a = 0 כי a*1+a*1 = a*(1+1) = a*0 = 0. עשיתי את התרגיל שוב, השתמשתי בכל התכונות שלמדתי משיעורי הבית, הטבלאות נקבעות באופן יחיד.--[[משתמש:Ohadklein|Ohadklein]] 19:17, 20 ביולי 2011 (IDT)
| |
|
| |
| == תודה לאוהד נ.ב יש לי עוד שאלה ==
| |
|
| |
| כשאמרו לי C:=r*r זה מתכווון שהאיברים במרוכיבים?
| |
|
| |
|
| |
| כן דרך אגב אוהד עוזר פה לכולם הוא סבבה :)
| |
|
| |
| == בנוגע לשאלה 3.1 סעיף א ==
| |
|
| |
| רשמת שבכדי להוכיח שיש איברים נגדיים / הופכיים יש למצוא אותם לפני כן, באיזו דרך ניתן לעשות זאת?(בעזרת שתי משוואות עם ארבעה נעלמים הגעתי לa+c=0, b+d=0 ומכאן אני תקוע)
| |
|
| |
| :שים לב, אלה לא 4 נעלמים, אלא 2. שכן (a,b) הוא איבר מסויים שאתה מחפש לו נגדי, ולכן a,b הם פרמטרים בלבד. --[[משתמש:ארז שיינר|ארז שיינר]] 20:06, 20 ביולי 2011 (IDT)
| |
|
| |
| == בקשר לשלוש משוואות עם שלושה נעלמים ==
| |
|
| |
| מה התנאים לפתרון אחד? אין סוף פתרונות? ואין פתרון?
| |
|
| |
| :בצורה המדורגת
| |
| :אם יש שורת סתירה (כלומר שורת אפסים במטריצת המקדמים, ומספר שונה מאפס בעמודת הקבועים) אזי אין פתרון
| |
| :אם כל המשתנים תלויים (יש איבר פותח בעמודה של כל משתנה) אזי יש פתרון יחיד
| |
| :אחרת, יש מספר פתרונות כמספר האיברים בשדה בחזקת מספר המשתנים החופשיים.
| |
| :--[[משתמש:ארז שיינר|ארז שיינר]] 21:25, 20 ביולי 2011 (IDT)
| |
|
| |
| וד"א איך נרשמים פה?
| |
| :למעלה משמאל, כניסה לחשבון ואז לינק להרשמה --[[משתמש:ארז שיינר|ארז שיינר]] 21:25, 20 ביולי 2011 (IDT)
| |
| == שאלה==
| |
| בשאלה 3.11 לא בדיוק הבנתי מה צריך להוכיח והאם שורשי היחידה הכוונה ל-z^n=1
| |
| בשאלה 4.6 אני לא כל כך מבין את נוסחת הבינום של ניטון ואיך אפשר להיעזר בה לפתרון א'
| |
|
| |
| לא הבנתי כ"כ את השאלה.
| |
| את 4.6 א אפשר לפתור עם נוסחאת הבינום של ניוטון שהרי מתקיים <math>(a+b)^{p}=a^{p}+b^{p} + p \cdot(...) = ...</math> מכאן זה שטויות.
| |
| אגב, חשבתי על עוד הוכחה מגניבה ב Zp לסעיף ב': למדנו בשיעור ש <math>\{a,2a,3a,4a,...,(p-1)a\}=\{1,2,3,..., p-1\}</math> ולכן עכשיו נכפול את כל איברי הסדרה, נצמצם !(p-1) משני האגפים ונקבל <math>a^{p-1} = 1</math>--[[משתמש:Ohadklein|Ohadklein]] 20:57, 20 ביולי 2011 (IDT)
| |
|
| |
|
| |
| אוהד לא הבנתי את הפיתרון שלך למה זה שווה הרי הכפלת את כול השדה ב a???
| |
|
| |
| == בקשר לתרגיל 1.8 עם ערכי a ==
| |
|
| |
| אם יוצא שעבור ערך מסויים בשורה 3 נגיד זה יוצא אינסוף פתרונות ובשורה אחרת זה יוצא אין פתרון אז מה עושים?
| |
|
| |
| תודה
| |
|
| |
| :פתרון הוא הצבה שמקיימת את '''כל''' המשוואות. אין כזה דבר שורת אינסוף פתרונות. ראה תשובה שתי שאלות מעליך --[[משתמש:ארז שיינר|ארז שיינר]] 07:48, 21 ביולי 2011 (IDT)
| |
|
| |
|
| |
| הוא אמר שגם ככה אין דבר כזה אינסוף פיתרונות כי בשדות אין דבר כזה איןנסוף זאת אומרת שיש מספר סופי של פיתרונות אבל הוא גבוה נכון??
| |
|
| |
| אבל אנחנו מדברים על שדה אינסופי (שהמאפיין שלו הוא 0) ולכן יכולים להיות אינסוף פתרונות.
| |
|
| |
| == בקשר ל4.6 אם אני עושה אינדוקציה אני מוכיח בעקרון רק עבור ==
| |
|
| |
| מספרים שלמים ומה אם המספרים הלא שלמים?
| |
|
| |
| אתה נדרש להוכיח את זה ב Zp...
| |
|
| |
| חברה איפה הש"ב של שיעור שני??
| |
|
| |
| == 4.6 סעיף ג' ==
| |
|
| |
| איך אני יכול להוכיח בכלל שהשדה מכיל בתוכו את Zp לא נתון לי כלום על F חוץ מאשר המאפיין שלו (איך ניתן לקשר בין המאפיין לבין האיברים)
| |
|
| |
| אני לא מבין בכלל מה ההבדל בין Zp לבין F שמקיים char(F)=p .. הרעיון הוא שבF יש גם מספרים לא שלמים?
| |
|
| |
| :הכוונה בשאלה היא שתראה שיש p איברים בתוך השדה שהיחסים בינהם זהים ליחסים בZp (מבחינת חיבור וכפל כמובן). זה אותה גברת בשינוי אדרת. בשדה כללי ממאפיין p יכולים להיות יותר מ-p איברים... --[[מיוחד:תרומות/109.65.34.186|109.65.34.186]] 21:17, 21 ביולי 2011 (IDT)
| |
|
| |
| == ש"ב לשיעור שני בליניארית? ==
| |
|
| |
| איפה אני יכול למצוא את שיעורי הבית מהיום ה 21.7
| |
|
| |
| :תמיד בדף התרגילים. הם עלו עכשיו לאתר. --[[משתמש:ארז שיינר|ארז שיינר]] 08:31, 22 ביולי 2011 (IDT)
| |
|
| |
| == בקשר לשאלה 4.6 ==
| |
|
| |
| איך יתכן שיש מאפיין P בשדה הרי זה אומר ש: 1XP=0 כלומר יש מחלקי אפס
| |
|
| |
| :p עצמו הוא אפס במקרה זה ואין הגדרה באמת לאחד כפול p --[[משתמש:ארז שיינר|ארז שיינר]] 15:17, 22 ביולי 2011 (IDT)
| |
|
| |
| == בקשר לשאלה 4.6 ==
| |
|
| |
| איך יתכן שיש מאפיין P בשדה הרי זה אומר ש: 1XP=0 כלומר יש מחלקי אפס
| |
|
| |
| == 3.11 א ==
| |
|
| |
| הבנתי שאם התנאי לא מתקיים אז לכל פתרון קיים מספר טבעי k קטן מ-n שעבורו מתקיים z בחזקת k =1 איך אני ממשיכה?
| |
|
| |
| == מאפיין ראשוני ==
| |
|
| |
| איך יכול ליהיות שדה ממאפיין ראשוני עם יותר איברים מהמאפיין, אפשר דוגמא לשדה כזה?
| |
|
| |
| :אוסף הזוגות הסדורים <math>\mathbb{Z}_2\times\mathbb{Z}_2=\{(0,0),(1,0),(0,1),(1,1)\}</math> מכיל 4 איברים שונים, איבר האפס הוא (0,0) איבר היחידה הוא (1,0), איבר היחידה ועוד איבר היחידה שווה לאפס (ולכן המאפיין הוא 2). שימו לב שהכפל מוגדר כמו כפל מעל המרוכבים <math>(a,b)(c,d)=(ac-bd,ad+cb)</math> (זה מקרה פרטי של שאלה 3.1) --[[משתמש:ארז שיינר|ארז שיינר]] 15:28, 22 ביולי 2011 (IDT)
| |
|
| |
| == 2 שדות בעלי מאפיינים שווים אז השדה בעל מספר האיברים הגדול יותר מכיל את השני???? ==
| |
|
| |
| לא, כי אחד מהם עשוי להיות גדול מהשני. לדוגמא, הממשיים אינם מוכלים ברציונאליים
| |
|
| |
| :התכוונתי אם יש לי שדה עם k איברים שהמאפיין n ושדה אחר בעל k*2 איברים שגם המאפיין הוא n גם
| |
| ::לרוב k בריבוע גדול מk...--[[משתמש:ארז שיינר|ארז שיינר]] 15:29, 22 ביולי 2011 (IDT)
| |
| :::זה לא סימן של ריבוע זה כפל(ממתי כוכבית זה ריבוע?!)
| |
| ::::בשדה מספר האיברים רק יכול להיות חזקה של המאפיין. וממילא גם 2k גדול מk --[[משתמש:ארז שיינר|ארז שיינר]] 18:21, 22 ביולי 2011 (IDT)
| |
| תודה ארז
| |
|
| |
| == שיעורי בית ==
| |
|
| |
| כתוב בשיעורים - מעמ 20 והלאה תרגילים 5.3 5.6 וכו אך אין אותם ...
| |
|
| |
| 5.3 נמצא בעמ 19 -זה מה שצריך לעשות ?
| |
|
| |
| :כן, זה כנראה 20 בacrobat... --[[משתמש:ארז שיינר|ארז שיינר]] 18:27, 22 ביולי 2011 (IDT)
| |
|
| |
| == האם תרגילים 3+4 זה מה שיתנו בראשון ה- 24/07 או שזה שיעורים ליום שלישי? ==
| |
|
| |
| האם תרגילים 3+4 זה מה שיתנו בראשון ה- 24/07 או שזה שיעורים ליום שלישי?
| |
|
| |
| :3+4 הם התרגילים שתצטרכו להגיש בשבוע הבא (ולא הקרוב) --[[משתמש:ארז שיינר|ארז שיינר]] 19:07, 23 ביולי 2011 (IDT)
| |
|
| |
| == תרגיל 2 שאלה 5.16 ==
| |
|
| |
| עפ"י ההוכחה שלי לתרגיל זה, יוצא ש A1^n = I (כאשר I זו מטריצת היחידה מסדר n)
| |
|
| |
| באמת בדקתי את הטענה עבור n = 2, 3 ומתקיים מה שכתבתי לעיל. לעומת זאת, בשאלה כתוב שמתקיים A1^n = O וכמו שציינתי, זה לא מה שיוצא לי.
| |
|
| |
| מה שכן, מתקיים לפי דעתי (Am = A1^m = A1^(m mod n. איפה הטעות שלי? --[[משתמש:Ohadklein|Ohadklein]] 01:12, 24 ביולי 2011 (IDT)
| |
|
| |
| :כנראה שהטעות שלך היא במבנה המטריצה, כי לא יכול להיות שזה יוצא מטריצה היחידה. לדוגמא עבור n=2 מתקיים ש <math>A_1=\begin{pmatrix}0 & 1\\0 &0\end{pmatrix}</math> ואכן מתקיים <math>A_1^2=0</math> --[[משתמש:ארז שיינר|ארז שיינר]] 11:18, 24 ביולי 2011 (IDT)
| |
|
| |
| אויש, כן... הבעיה הייתה שחשבתי שהאחדים נמצאים גם על המשך האלכסון(מצד שמאל של המטריצה)... במקרה כזה התנאי שלי לקיום 1 במיקום i,j היה (i+k = j (mod n... אבל צריך להוריד את ה mod...--[[משתמש:Ohadklein|Ohadklein]] 16:04, 24 ביולי 2011 (IDT)
| |
|
| |
| == שאלה 3.2 עמוד 15 ==
| |
|
| |
| לא ברור מה צריך לעשות. האם צריך לחשב את המטריצה או להגיד מאיזה סדר היא צריכה להיות.
| |
| תודה מראש
| |
|
| |
| : לחשב את המטריצה במפורש, כאמור בשאלה, ע"י שימוש במשוואות לנאריות על אייברי המטריצה. (עדי ניב)
| |
|
| |
| == שאלה מתרגיל 2 ==
| |
|
| |
| בשאלה 5.16 בעמוד 21 איך נראית המטריצה? ומה הכוונה "כל ערכי האלכסון הk מעל האלכסון הראשי"?
| |
|
| |
| : האלכסון הראשי הוא האלכסון של כל הרכיבים ה-i,i ולכן האלכסון ה k מעל הראשי הוא האלכסון של כל הרכיבים ה- i,i+k .
| |
|
| |
| * [[מדיה: Diag88112.pdf|כלומר]]
| |
|
| |
| :ולכן מבקשים בעצם להראות שאם ניקח מטריצה עם אחדים באלכסון שמעל הראשי ואפסים מחוץ לו (<math>A_1</math>) ונעלה אותה בחזקת k, אלכסון האחדים "יטפס" מעלה לאלכסון ה-k מעל הראשי. (עדי ניב)
| |
|
| |
| == בקשר לתרגיל 3.2 ==
| |
|
| |
|
| |
| מה פירוש שימוש במשוואות לינאריות על איברי המטריצה??
| |
|
| |
| : ניתן להסתכל על איברי המטריצה אותה מנסים למצוא כעל נעלמים. לאחר מכן, יש להבין אילו משוואות יש צורך לבנות ולפתור על מנת למצוא את המטריצה הנעלמת. --[[משתמש:לואי פולב|לואי פולב]]
| |
|
| |
| == תרגיל 5.3 ==
| |
|
| |
| לא הבנתי מה אני אמור לעשות להוכיח?
| |
| כבר הבנתי תודה
| |
|
| |
|
| == שאלה מתרגיל 3 == | | == שאלה מתרגיל 3 == |
