הצגת המקור של לינארית 1 לתיכוניסטים תש"ע - שאלות ותשובות

<math>\dim W+U= \dim W + \dim U - \dim W\cap U</math>
= הוראות =
כאן המקום לשאול שאלות. כל שעליכם לעשות הוא ללחוץ על ''' [עריכה]''' (משמאל לכותרת "שאלות"), להוסיף בתחילת הדף את השורה הבאה:

'''<nowiki>== כותרת לשאלה ==</nowiki>'''

לכתוב מתחתיה את שאלתכם, וללחוץ על '''שמירה''' למטה מימין

=ארכיון=

'''[[לינארית 1 לתיכוניסטים תשע"א - שאלות ותשובות - ארכיון 1| ארכיון 1]]''' - יהיה בהמשך

=שאלות=

==שאלה==
אם אני מניח ש-<math>\mathbb{C}</math>x<math>\mathbb{C}</math> הוא שדה, האם אני יכול להגיד ש<math>(1,0)</math> הוא איבר יחידה בשדה <math>\mathbb{C}</math>x<math>\mathbb{C}</math>

===בירור השאלה===
אינני מבין את השאלה. למה הכוונה ב"אני מניח ש<math>\mathbb{C}</math>x<math>\mathbb{C}</math> הוא שדה"?
אין פה עניין של הנחה. כדי שמשהו יהיה שדה צריך שתהיה פעולת כפל מוגדרת ולהראות שכל איבר הוא הפיך לפי הפעולה הזו (מלבד איבר האפס).
אם אתה מגדיר כפל ב<math>\mathbb{C}</math>x<math>\mathbb{C}</math> ככפל איבר-איבר, כלומר<math>(a,b) \cdot (c,d)=(a \cdot c, b \cdot d)</math> אז <math>\mathbb{C}</math>x<math>\mathbb{C}</math> איננו שדה, ובפרט הוא מכיל מחלקי אפס כגון <math>(1,0)</math>, והאיבר הזה איננו נייטרלי לכפל ולכן איננו איבר היחידה.
אנא נסח מחדש את השאלה. [[משתמש:Adam Chapman|Adam Chapman]] 15:42, 30 ביולי 2010 (IDT)

==שאלה 1.8==

איך אפשר לבדוק את המקרים??
רק על ידי פתרון מטריצה או שיש דרך נוספת??
בתודה מראש

===תשובה===
כפי שלמדנו בכיתה. יש לדרג את המטריצה בשיטת גאוס, כאשר צריך לשים לב לדקויות הבאות:
*אם כופלים שורה בa אזי יש לבדוק את המקרה a=0 בנפרד
*אם מחלקים בפונקציה של a יש לבדוק את המקרים בהם הפונקציה מתאפסת בנפרד (למשל אם מחלקים בa-1 יש לבדוק את המקרה a=1 בנפרד)
*אם האיבר הפותח לאחר דירוג יוצא a כמובן שיש לבדוק את המקרה בו a=0 ואז זה לא איבר פותח באמת (כי איבר פותח הוא שונה מאפס)

== שאלה 2.8 א' ==

האם f√p הינה קבוצה של כל שורשי המס' הראשוניים או רק של אחד מהם. האם יכול להיות בה גם שורש של שתיים וגם שורש של שלוש?

===תשובה===
מדובר על ראשוני מסויים קבוע p

==שאלה==
אני יודעת שצריך להוכיח שלא קיימים m,n ב-Z כך ש-m*n=1. אבל איך אפשר??

(זאת גם שאלה)אפשר להוכיח ע"י דוגמא נגדית? נגיד להציב a=3 ולהראות ש 3\1 לא בשדה?

===תשובה===
כן אפשר, אבל צריך להסביר מדוע לא יכול להיות הופכי חוץ מ1/3 (מישהו שאלה משהו שיעזור כבר בדף הזה).

== שאלה 3.11 א' ==
אם אני יודע ש-<math>z^n=1</math> אני יכול להגיד שגם <math>z^{n-1}\cdot z=1</math> וגם <math>z^{n-2}\cdot z=1</math> וכך הלאה? תודה מראש!
:הראשון נכון, השני לא (למשל, <math>i^4=1</math> אבל <math>i^2\cdot i = -i \not = 1</math>). -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]],

===תשובה===
אור צודק. <math>z^n=z^{n-1}\cdot z</math> אבל למה שיתקיים <math>z^{n-1}=z^n</math>?

== תת שדה==

האם תת שדה הוא שדה?

===תשובה===
כן, לפי ההגדרה, תקראו בחוברת של ד"ר צבאן

== שאלה 3.5 סעיף ז ==
האם מותר להשתמש בהוכחה גאומטרית כדי להוכיח את אי-שוויון המשולש? או חייבים הוכחה אלגברית?
תודה

===תשובה===
חייבים הוכחה אלגברית.

== 1.6 ב' מטריצות==
מה הכוונה שמותר להשתמש בצמצום אבל אסור להשתמש בחילוק?

===תשובה===
צמצום כלומר לחסר (ליתר דיוק לכפול בשלילי ולחבר). חילוק הוא כפל בהופכי - למשל חצי. זה נכון כי השלמים הנגדיים קיימים (כלומר בחיבור) אבל שלמים הופכיים לא קיימים (בכפל)

== 1.3 ב'==

האם מספיק להשתמש בשאלה זו בתכונת החילוף או שגם צריך להוכיח אותה?

===תשובה===
נתון שF שדה, מתוך הגדרה תכונת החילופיות מתקיימת. איך ניתן להוכיח את תכונת החילופיות על קבוצה כללית F שאת לא יודעת עליה כלום?



==2.3 ב==
ברור ש-Z הוא לא שדה כי אין בו הופכי. אבל איך אני מוכיחה את זה מתמטית?
תודה!

===תשובה===
מוכיחה שאין בו הופכי. מה התכונה שהופכי צריך לקיים?

==שאלה נוספת==
נזכרתי בתרגיל בו הוכחנו ש-ZxZ לא שדה, כי אם היה ל-(2,3) הופכי אז היו שני הופכיים בתוך C שהוכחנו שהוא שדה. האם אני באמת צריכה להוכיח ש-R שדה ולהראות ש-Z אינו שדה בצורה דומה?

שוב תודה מראש, ותודה על התשובה המהירה קודם.

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

==בקשה מהמתרגלים!==
לא כולנו מתיישבים להכין את שיעורי הבית בשלושה ימים שלפני מועד ההגשה, ואם לא היו אומרים לי לא הייתי יודע שנוסף תרגיל. 

בבקשה ודאו שהעלתם את כל התרגילים שאתם רוצים שנגיש יחד, ואם הוספתם מאוחר יותר אנא הודיעו על כך. (לפחות תרשמו בדף הזה הודעה על כך).

תודה מראש

===תשובה===
שיהיה לכם ברור: '''ההודעות באתר מחייבות'''. זו חובתכם להתעדכן בו, ההודעה נכתבה בעמוד הראשי. הדף הזה הוא לשאלות ותשובות, לא להודעות. --[[משתמש:ארז שיינר|ארז שיינר]] 13:32, 29 ביולי 2010 (IDT)

==משוואות ליניאריות==
האם מערכת משוואות לינאריות חייבות להיות מעל שדה כדי להתקיים?

נגיד יש מערכת משוואות מעל Z היא אמורה לא להתקיים כי Z לא שדה.. מה לא ככה?

===תשובה===
משוואה היא שיוון בין שני דברים. לדוגמא, בקבוצה {1,2} ניתן להציג את המשוואה x=2 בעלת פתרון יחיד. כאשר יש חיבור מוגדר בקבוצה אפשר להציג את המשוואה x+y=2 בעלת הפתרון היחיד x=y=1 (שים לב שתחת הגדרה רגילה של חיבור אין פה אפילו סגירות).

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

:אז  מערכת מעל Z אי אפשר לפתור בשיטת גאוס?

::אם אתה מדבר על תרגיל 1.6 יש לכך התייחסות מפורשת. בתכלס מותר לבצע את פעולות גאוס אבל רק עם קבועים שלמים. אסור למשל לחלק ב2 (שזה למעשה לכפול בקבוע חצי שאינו שלם).

==3.11==
בחלק א' מספיק לכתוב (Z) בשלישית=1?

===תשובה===
באיזה אופן זה מספיק? למה <math>z^3=1</math>? איך זה מראה שקיים z שכל החזקות שלו יחד עם אחד מהוות את כל קבוצת השורשים?

==3.1==
האם כדי להוכיח ש-C שדה מותר להשתמש בכך ש-R שדה?
תודה

===תשובה===
כן. מותר להשתמש בכל המידע שיש לכם על שדה הממשיים.

==קריטריון מקוצר לתת-שדה==

לפי הקריטריון צריך להוכיח שהקבוצה הנתונה היא תת-קבוצה של R וכל שני איברים המוכלים בה מהצורה <math>a+b\sqrt p</math> מקיימים <math>((a+b\sqrt p)(c+d\sqrt p)^{-1})\in \mathbb{F} [\sqrt p]</math> ועוד תנאי שאותו קל להוכיח, השאלה איך אפשר בכלל להוכיח שכפל בהופכי של מס' מסויים (המכפלה היא לא בין מספר והופכו אלא הופכי של מס' אחר) תקיים סגירות?
תודה מראש.

===תשובה===
אתה צריך קודם כל להבין מהו ההופכי ואז להראות שכאשר כופלים מקבלים מספר מאותה צורה.

==שאלה 3.1ב'==

נתון לי ש-<math>a^2+1=0-->a=\sqrt (-1)</math> אז בגלל שנתון ששדה FxF עם אותן הגדרות כמו ב-C אז הוא מורכב מזוגות סדורים (a,b) כאשר הם שייכים ל-R. נתון לי ש-<math>a\in \mathbb{F}--->(a,a)\in \mathbb{F} \times \mathbb{F}</math> ולכן לא הגיוני ש-a יהיה שווה לאיבר שאינו ממשי, כי אז תהיה סתירה ו-FxF לא יהיה שדה. האם ההסבר מספיק ונכון?

===תשובה===
לא, מהסיבות הבאות:

*מה הקשר לממשיים ומרוכבים בכלל? מדובר על שדה כלשהו F
*מה ההגדרה של שורש מינוס אחד ואיך היא משפיעה על התשובה?

דוגמא לשדה כזה: <math>\mathbb{Z}_2</math> עם a=1. אין מרוכבים ואין ממשיים כלל.

==תרגיל 2.8א'==
בקושי דיברנו על תתי-שדות בכיתה, ואני לא מבין מה אנחנו צריכים לעשות ב-2.8א'.. זאת בעצם קבוצה שמכילה את שדה F ואת האיבר <math>\sqrt p</math> אז אני צריך להוכיח שהיא שדה? עם כל התכונות? או שאני יכול להסתמך על כך שאם <math>a,b\in \mathbb{F} </math>   וגם <math>  \mathbb{F} \subseteq \mathbb{R} </math> אזי <math> a,b \in \mathbb{R} \wedge \sqrt p \in \mathbb{R}</math>
ואז לכל איבר בקבוצה <math>\mathbb{F}[\sqrt p]</math> מתקיימות התכונות (כי הן מתקיימות גם ב-R).. ו-F בכל מקרה מקיים את התכונות כי F תת-שדה של R..? לא הבנתי כל כך ואשמח להכוונה..

===תשובה===
מה שתארת לא מספיק. העובדה שכל האיברים נמצאים בשדה רק אומר שזה '''תת-קבוצה''' ולא אומרת בהכרח שזה '''תת שדה'''. למשל השלמים הם תת קבוצה של הממשיים אך אינם תת שדה (כי למשל אין להם הופכי).

אפשר להשתמש בקריטריון המקוצר לבדיקת תת שדה שמצויין למעלה באותו עמוד.

--[[משתמש:ארז שיינר|ארז שיינר]] 18:05, 26 ביולי 2010 (IDT)

==שאלה נוספת==

לגבי הרמז: איך שורש P יכול לא להיות שייך ל-F? הרי תמיד אפשר להציב ב-a את האיבר הנייטרלי לחיבור וב-b את האיבר הנייטרלי לכפל ואז יוצא ששורש P תמיד ב-F.
תודה מראש!

==שאלה 1.7==
המרצה הזכיר שכל <math>P^n, P (prime), n\in \mathbb{N}</math> כאשר n פריק ו-P ראשוני (Prime) הוא שדה.. ועבור <math>7^2</math> יש 49 איברים, אם המערכת תניב אינסוף פתרונות, בהנחה שאף פיתרון לא חוזר על עצמו, יהיו 49 פתרונות שונים, נכון? 
או שאוכל להשתמש ב-<math>\mathbb{Z}_7</math> שיש לו 7 פתרונות שונים עבור מקרה של אינסוף פתרונות, ולהגיע איכשהו ל-49 פתרונות.. המרצה אמר לי שעדיף להשתמש בזה בדרך מסויימת.. מתרגל יכול לתת כיוון?
תודה מראש, [[משתמש:תומר זוארץ|תומר זוארץ]] 15:43, 26 ביולי 2010 (IDT)

:לא הבנתי מהו השדה בדוגמא הראשונה ומה אלו הסימונים האלה. יש שדות בגדלים האלה, אני לא בטוח שלמדתם אותם. הכיוון השני אכן עדיף.

::לא למדנו את השדות האלו, אך גם לא למדנו איך להגיע מ-<math>\mathbb{Z}_7</math> לשדה עם 49 איברים.. אחד המתרגלים יכול לתת כיוון/רמז?
:::אתה מדבר עם אחד המתרגלים :) בכל אופן, אתה לא צריך להגיע לשדה עם 49 איברים בשביל למצוא מערכת משוואות עם 49 פתרונות, יש דרכים אחרות. כמו שאמרתי תנסה לעשות לבד כמה דוגמאות עם מספרים קטנים יותר. תיצור מערכות משוואות ותספור את הפתרונות. אם לא תצליח, אז תשאל. --[[משתמש:ארז שיינר|ארז שיינר]] 17:36, 26 ביולי 2010 (IDT)

::::בעצם לכל מערכת משוואות שאפתור, יתקבל פתרון יחיד/אף פתרון/אינסוף פתרונות. אם אפתור מערכת מעל R, אני יכול לקבל פיתרון יחיד עבור x,y,z או אף פיתרון, או אינסוף פיתרונות, כי אינסוף מספרים שייכים ל-R שיקיימו מצב כמו x=x.. לכן, אם אפתור מעל <math>\mathbb{Z}_7</math> ואקבל מצב של אינסוף פיתרונות, כמו למקרה x=x בעצם, זה לא באמת אינסוף, אלה למערכת כזו יש 7 פתרונות, כמספר האיברים במודולו 7. לכן חשבתי אם אקבל מקרה של אינסוף פיתרונות מעל שדה ובו 49 איברים, יהיו לי 49 פתרונות שונים.. גם בהרצאה וגם בתרגול לא דיברנו על הקשר בין מס' המשוואות והנעלמים למס' הפתרונות, ואין לי מושג איזה פעולות עליי לבצע על <math>\mathbb{Z}_7</math> לדוגמא, כדי לקבל מצב כזה..
:::::האם פתרת מערכות משוואות לדוגמא וספרת את מספר הפתרונות? מעל נגיד Z_2

::::::אני יכול לקבל פיתרון יחיד, אף פיתרון או 2 פתרונות עבור מצב של אינסוף פתרונות..

:::::::זה לא נכון. תנסה מספר מערכות עם מספר שונה של משוואות ומספר שונה של נעלמים ותספור את הפתרונות.

תודה רבה, כבר הסתדרתי, זה כל כך פשוט איך לא חשבתי על זה קודם![[משתמש:תומר זוארץ|תומר זוארץ]] 23:38, 26 ביולי 2010 (IDT)

===רמז===
מועצת השבט התכנסה והחליטה לתת לכם מעין רמז מנחה: כמה אפשרויות יש לבחירת זוג סדור מתוך קבוצה בת 5 איברים? [[משתמש:Adam Chapman|Adam Chapman]] 22:48, 26 ביולי 2010 (IDT)

==שאלה 1.7 במשוואות ליניאריות==
אם אני רוצה למצוא מערכת בעלת 49 פתרונות בדיוק מספיק לומר כך:
<math>
\begin{cases} a_{1,1}x_1+\cdots +a_{1,49}x_{49}=b_1 \\ \vdots \\ a_{49,1}x_1+\cdots +a_{49,49}x_{49}=b_{49} \end{cases}
</math>
מעל <math>\mathbb{R}</math> ?

:למערכת זו יש 49 נעלמים לא 49 פתרונות. יכול להיות שיש לה פתרון יחיד, אינסוף פתרון או אין פתרונות כלל. זו אינה תשובה נכונה, תחשוב שוב.
::{{התנגשות}}למה אתה מתכוון "מספיק לומר"? שזה תקני מבחינת הבוחנים (שלא יורידו לך על ניסוח לא נכון, ואז אני מניח שכן)? שזה באמת יתן לך מערכת בעלת 49 פתרונות (ואז לא, אלא אם ידוע גם שבכל משוואה קיים לפחות מקדם לא חופשי אחד השונה מ-0 ואין שתי משוואות שקבוצת הפתרונות שלהן זהה)? -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 22:54, 25 ביולי 2010 (IDT)
:::למערכת משוואות ליניאריות מעל <math>\mathbb{R}</math> לעולם אין 49 פתרונות! ייתכנו אינסוף פתרונות, פיתרון אחד או אף לא פיתרון אחד. כנ"ל לגבי שדה המרוכבים. אתה צריך לפנות למערכות מעל שדות אחרים שנלמדו בקורס. [[משתמש:Adam Chapman|Adam Chapman]] 23:29, 25 ביולי 2010 (IDT)

::::אתם מתכוונים שאני צריך לקחת שדה, שיש בו 49 איברים, כמו <math>Z_{49}</math> ואז ליצור מצב של אינסוף פתרונות, מה שמוביל אותי ל-49?''' '''ודרך אגב, אם המודולו הוא חזקה של מס' ראשוני, הוא גם שדה?

:::::בכל מקרה לא צריך לכתוב פה תשובות, רק שאלות :) אבל זו גם לא תשובה מדויקת. למדנו ש<math>\mathbb{Z}_p</math> שדה אם"ם p ראשוני. 49 אינו ראשוני.

::::::נכון אבל המרצה הזכיר משהו לגבי חזקות של מספרים ראשוניים..
::::::: אז תחשוב כיצד ניתן לפתור את התרגיל בהתחשב בידע הזה, או שתפתח את המחברת ותחפש מה המרצה הזכיר. זה לא מאד מסובך, אני ממליץ לנסות לחשב כמה דוגמאות
===רמז===
קח למשל את השדה Z 2  ??

:אני לא מבין איך רושמים רמז עם סימני שאלה. זו שאלה למתרגלים, שאלה רטורית, תהייה כללית? --[[משתמש:ארז שיינר|ארז שיינר]] 15:29, 29 ביולי 2010 (IDT)

==שאלה 1.3 ב ==
לא הבנתי מה צריך להוכיח שם הרי מה שהם נתנו שם זה בדיוק תכונת הצימצום אז איך אמורים להראות שזה נובע מתכונת הצימצום..?

===תשובה===
שים לב להבדל בין הנוסח של סעיף אחד לסעיף א'. "מצא את ההבדלים"
:או בתשובה קצת יותר ברורה, אתה הופך את הביטוי בסעיף ב לביטוי שבסעיף א (באופן פשוט שהייתי רושם אותו כאן אבל נראה לי שהמתרגלים יכעסו אם אעשה זאת) ואז משתמש בתכונת הצמצום.

==שאלה חשובה וקצרה על 3.1 (לא אותו אחד שכתב את השאלות האחרות)==
איך אפשר להוכיח שהקבוצה עם התכונה הנתונה <math>a^2 +1 =0</math> היא לא שדה, אם בכלל לא הגדרנו מה זה "בריבוע"? אמורים להוכיח שקבוצה כלשהי היא לא שדה אם אחת מהתכונות של השדה (מוגדרות וכו') לא מתקיימת שם. אבל בתכונות האלה של השדה אין אזכור בכלל לאיבר בריבוע, אז איך אפשר להוכיח שהקבוצה היא לא שדה? תודה.

:בעצם <math>a^2=a\cdot a</math> ז"א, זה נובע מכפל, לכן זה לא משנה איך תכתוב את זה.. דרך טובה לפתור את השאלה הזאת, היא להניח ש-<math>F\times F</math> שדה, ואז להראות שכאשר אנו משתמשים באחת התכונות שלו, זה מוביל לסתירה..

::הכותב שמעליי צודק. לפי הגדרה <math>a^2=a\cdot a</math> כפי שהגדרנו בתרגיל כשפתרנו את השאלה עם סכום של סדרה הנדסית <math>S=1+q+q^2+...+q^n</math>.

==עוד שאלה על תרגיל 3.1,סעיף ב==
את רוב הדברים קל להוכיח, ההוכחה זהה בעצם להוכחה בסעיף הקודם, חוץ מהאיברים ההופכים לכפל: צריך להוכיח ש <math>a/(a^2+b^2)</math> ו<math>b-/(a^2+b^2)</math> שונים מ- i, כי הם צריכים להיות איברים של F ובגלל הסגירות של שדה המרוכבים, אני לא רואה סיבה שהם יהיה שונים מ- i. בנוסף ניסיתי ולא הצלחתי להתקרב להוכחה בנושא. יש אולי שגיאה בצורת החשיבה שלי?

===תשובה===
דבר ראשון אני לא מבין את הקישור לשדה המרוכבים ול-i, מדובר על שדה F כללי. הכפל והחיבור מוגדרים בצורה דומה לשדה המרוכבים (הנוסחאות רשומות מעל השאלה).

יש להוכיח שאם התכונה הספציפית בF מתקיימת אזי FxF עם הכפל והחיבור שמוגדרים למעלה אינו שדה.

==תרגיל 3.1,סעיף ב==
בסעיף ב צריך להוכיח שFxF הוא שדה אם הוא מקיים את התנאי, או רק להוכיח שהוא לא שדה אם התנאי לא מתקיים?

:תניח בשלילה ש-FxF שדה, ותשתמש בתכונה שלו <math>a^2+1=0</math> ואז כשתגיע לסתירה, בעצם ההנחה לא נכונה ו-FxF לא שדה..

===תשובה===
צריך רק להוכיח שהוא אינו שדה אם קיים a שכזה. --[[משתמש:ארז שיינר|ארז שיינר]] 15:57, 24 ביולי 2010 (IDT)

==הגשת תרגיל 1==
שלום רב,

למתי צריך להגיש את תרגיל 1?

תודה רבה מראש.

:עוד לא התחלנו ללמוד, וכבר אתה רוצה להגיש תרגיל? :) נודיע לכם מחר בשיעור. (אגב, אם אתה רוצה לרדת שורה, תשאיר שורת רווח - ראה דף עזרה).

::1/8. -[[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 16:01, 22 ביולי 2010 (IDT)