שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעא: הבדלים בין גרסאות בדף
שורה 88: | שורה 88: | ||
אתה צודק הוכחנו בהרצאה ועכשיו לשאלה אם המאפיין לא יהיה ראישוני אז יהיו מחלקי אפס בשדה | אתה צודק הוכחנו בהרצאה ועכשיו לשאלה אם המאפיין לא יהיה ראישוני אז יהיו מחלקי אפס בשדה | ||
*אני חושב שיש לי מושג למה: באחד התרגילים התבקשנו להוכיח שבשדה עם מאפיין p ישנו תת שדה שאיזומורפי (בעל אותן תכונות) ל Zp. בהוכחה* אני לא השתמשתי בעובדה ש p ראשוני. אז אם '''נניח''' שלשדה F יש מאפיין פריק n, אזי קיים תת שדה בF שאיזומורפי למבנה Zn. וכמובן Zn יש מחלקי אפס ולכן ב F יש מחלקי אפס. (סתירה להנחה, <math> | *אני חושב שיש לי מושג למה: באחד התרגילים התבקשנו להוכיח שבשדה עם מאפיין 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)--[[משתמש:Ohadklein|Ohadklein]] 18:09, 20 ביולי 2011 (IDT) | (*תסתכל על הקבוצה <math>\{1, 1+1, 1+1+1,... (p-1)1, p\cdot 1\}</math> ותוכיח שהחיבור והכפל שלה זהים לשל Zp)--[[משתמש:Ohadklein|Ohadklein]] 18:09, 20 ביולי 2011 (IDT) |
גרסה מ־15:18, 20 ביולי 2011
הוספת שאלה חדשה
הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).
-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן
אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.
שאלות
מטריצות
בשאלה 1.7 בעמ 12 מבקשים מאיתנו למצוא מערכת משוואת עם כמות מסויימת של פתרונות,לא עברנו על כך בשיעור האם מישהו יוכל לעוזר לי בבקשה . איך אנו בודקים\מבקרים על כמות הפתרונות של מערכת משוואות ?
- כמות הפתרונות של מערכת משוואות הינה מספר האיברים בשדה בחזקת מספר המשתנים החופשיים. זה נכון מכיוון שכל משתנה חופשי יכול לקבל כל איבר מהשדה באופן בלתי תלוי באחרים. זה כמו לשאול כמה אפשרויות קיימות למצב 3 נורות כאשר כל אחד יכולה להיות דולקת או כבוייה (התשובה היא 2 בחזקת שלוש במקרה זה...) --ארז שיינר 20:35, 18 ביולי 2011 (IDT)
לא מצויין גם באיזה שדה הפתרונות צריכים להיות, ולא מצויין סוג מערכת המשוואות. אתה יכול להגדיר פולינום כמו x^49 = 1 שיש לו 49 פתרונות במרוכבים, או שני פולינומים שיש לכל אחד 7 פתרונות. יש כמובן עוד הרבה דרכים (יש גם מערכות לינאריות בעלות 49 פתרונות).
הוכחת שדה
לא הבנתי איך מוכיחים ששדה קיים. הבעיה צצה בתרגיל 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]\displaystyle{ \neg A \rightarrow F }[/math])
(*תסתכל על הקבוצה [math]\displaystyle{ \{1, 1+1, 1+1+1,... (p-1)1, p\cdot 1\} }[/math] ותוכיח שהחיבור והכפל שלה זהים לשל Zp)--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]\displaystyle{ let: 2a = 1 \Rightarrow 2 | 1 }[/math] וזה כמובן לא נכון. אפשר גם להסתכל על זה mod 2 ובטח לא מושג שוויון. --Ohadklein 00:19, 19 ביולי 2011 (IDT)
- לא הבנתי את מה שעשית, ונראה לי שאסור להשתמש בmod כי הכוונה היא לשדה עם הפעולות הרגילות.
תשובה: (לא מתרגל), mod זו פעולה ב Z, ב Zp היא פועלת אוטומטית. אולי אפשר להגיד גם שמכיוון ש a*2 מונוטונית אז מספיק לבדוק את ערכי הפונקציה עבור a = 0,1 ולראות שהיא לא שווה 1.
סימון סכום
אם יש לי את הקבוצה A, האם ניתן לסמן (Σ(A כסכום כל האיברים ב A, או שאני חייב להגדיר אינדקס שרץ מ 1 עד גודל הקבוצה?
- חייבים להגדיר אינדקס, אנחנו נלמד בעתיד שעבור קבוצות אינסופיות הסימון הזה יהיה מאד בעייתי. כלומר [math]\displaystyle{ \sum_{i=1}^na_n }[/math] כאשר [math]\displaystyle{ 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]\displaystyle{ \sqrt[n]{1} }[/math]) כך שכל החזקות שלו נותנות את כל שורשי היחידה מסדר n. --ארז שיינר 06:53, 19 ביולי 2011 (IDT)
3.1 סעיף ב
מה זה אומר FXF ? ואיך ניתן להוכיח שזה לא שדה ? בעזרת איזה תכונה של שדה ניתן להוכיח שFXF אינו שדה בגלל תכונתו a*a+1=0 ?
- FXF הינו קבוצה של זוגות סדורים של איברים מF; למשל [math]\displaystyle{ \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 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]\displaystyle{ \forall x \in FxF: \exists a,b \in F: x = (a,b) }[/math]. יש תכונה שלא תעבוד לפחות עבור (i,1) א .--Ohadklein 21:52, 19 ביולי 2011 (IDT)
??????????????????
כדי להוכיח שF לא שדה ע"י תכונה צריך להסביר למה התכונה הזאת חייבת להיות בשדה ? (כמו למשל איברים נייטלים )
- ידוע לכולם מהן תכונות השדה, אין מה להסביר פה --ארז שיינר 18:55, 19 ביולי 2011 (IDT)
אוסף שורשי היחיחדה
מה זה?
- [math]\displaystyle{ \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) לא?