<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="he">
	<id>https://math-wiki.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%D7%A9%D7%97%D7%A84299</id>
	<title>Math-Wiki - תרומות המשתמש [he]</title>
	<link rel="self" type="application/atom+xml" href="https://math-wiki.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%D7%A9%D7%97%D7%A84299"/>
	<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php/%D7%9E%D7%99%D7%95%D7%97%D7%93:%D7%AA%D7%A8%D7%95%D7%9E%D7%95%D7%AA/%D7%A9%D7%97%D7%A84299"/>
	<updated>2026-04-23T01:00:53Z</updated>
	<subtitle>תרומות המשתמש</subtitle>
	<generator>MediaWiki 1.39.4</generator>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36763</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36763"/>
		<updated>2013-08-17T17:46:22Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* תרגיל 5 שאלה 11 (דחוף!) */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36762</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36762"/>
		<updated>2013-08-17T17:46:21Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* תרגיל 5 שאלה 11 (דחוף!) */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36761</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36761"/>
		<updated>2013-08-17T17:46:19Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* תרגיל 5 שאלה 11 (דחוף!) */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36760</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36760"/>
		<updated>2013-08-17T17:46:18Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* תרגיל 5 שאלה 11 (דחוף!) */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36759</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36759"/>
		<updated>2013-08-17T17:46:18Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* תרגיל 5 שאלה 11 (דחוף!) */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36758</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36758"/>
		<updated>2013-08-17T17:46:14Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* תרגיל 5 שאלה 11 (דחוף!) */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 שאלה 11 (דחוף!) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל 5 שאלה 11 מה זה z עם 3 וp? זה סימון שאני לא חושב שלמדנו...&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
	<entry>
		<id>https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36757</id>
		<title>שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעג</title>
		<link rel="alternate" type="text/html" href="https://math-wiki.com/index.php?title=%D7%A9%D7%99%D7%97%D7%94:88-112_%D7%9C%D7%99%D7%A0%D7%90%D7%A8%D7%99%D7%AA_1_%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D_%D7%A7%D7%99%D7%A5_%D7%AA%D7%A9%D7%A2%D7%92&amp;diff=36757"/>
		<updated>2013-08-17T14:45:00Z</updated>

		<summary type="html">&lt;p&gt;שחר4299: /* שאלה על מרחבים וקטוריים.... */ פסקה חדשה&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{הוראות דף שיחה}}&lt;br /&gt;
&lt;br /&gt;
=שאלות=&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה מטלה:&lt;br /&gt;
בנו שדה בן 4 איברים. ציינו מהם האיברים הניטרליים לחיבור וכפל.&lt;br /&gt;
&lt;br /&gt;
לא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
&lt;br /&gt;
:שדה הינו אוסף של איברים, עם פעולות חיבור וכפל בינהם כך שמתקיימים תוכנות מסוימות (חילוף, פילוג, קיבוציות, וכדומה). את רשימת התכונות ניתן למצוא בהגדרה של [[שדה]].&lt;br /&gt;
:ידוע לפי התכונות שבשדה יש איבר נייטלי לחיבור ואיבר נייטרלי לכפל, נקרא להם אחד ואפס. לשני האיברים הנותרים נקרא a,b.&lt;br /&gt;
:כך, עליך להגדיר פעולות כפל וחיבור בין האיברים, וחשוב לזכור שהתוצאה &#039;&#039;&#039;חייבת להיות בשדה&#039;&#039;&#039;. למשל ניתן להגדיר כי &amp;lt;math&amp;gt;1+1=0&amp;lt;/math&amp;gt;, ואולי &amp;lt;math&amp;gt;a\cdot b = 1&amp;lt;/math&amp;gt;.&lt;br /&gt;
:ניתן לרשום את פעולות הכפל והחיבור בטבלאות כמו שראינו בהרצאה.&lt;br /&gt;
:דבר אחרון, יש להוכיח כי הפעולות שהגדרת אכן תואמות את כל התכונות של ה[[שדה]]. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:41, 9 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תשובות לשאלות ==&lt;br /&gt;
&lt;br /&gt;
יש אפשרות לתת תשובות סופיות או אופציה לתשובה אפשרית לשאלות?&lt;br /&gt;
כדי שנוכל לדעת אם צדקנו.. תודה:)&lt;br /&gt;
&lt;br /&gt;
:ארז אמר שכל שבוע יעלו פתרונות של תרגיל הבית מהשבוע הקודם. (אני לא מרצה/מתרגל אז נא לקחת את התשובה שלי בערבון מוגבל)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
איך אפשר להראות קיבוץ ופילוג כדי להוכיח שקבוצה היא שדה? צריך להראות את זה על כל האיברים? או שאפשר פשוט להגיד שאני משתמש בכפל וחיבור רגילים רק עם מודולו וזה מספיק? תודה מראש&lt;br /&gt;
:תלוי. אם אלה המספרים הרגילים עם הפעולות הרגילות אין צורך להוכיח בשנית. אם אתה ממציא איברים חדשים ופעולות עליהם (כמו a,b) אז כן צריך להראות לכל האיברים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 11:47, 10 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מס&#039; 7 ==&lt;br /&gt;
&lt;br /&gt;
יצא לי בשאלה 7א מטריצה עם המון 13, השורה הראשונה נראתה (26 13 13- 13), זה נכון או שלא הבנתי את פעולת הכפל?&lt;br /&gt;
ב-7ב יצא לי שזו מטריצה זהה לזו המקורית, זה נכון?&lt;br /&gt;
&lt;br /&gt;
תודה למי שעונה...:)&lt;br /&gt;
&lt;br /&gt;
:יצא לי כמוך ב-7ב  אבל ב-7א יצא לי מטריצת האפס..&lt;br /&gt;
&lt;br /&gt;
:גם לי יצא מטריצת האפס ב-א&#039; וב-ב&#039; יצאה לי המטריצה המקורית&lt;br /&gt;
&lt;br /&gt;
: *אני שאלתי את השאלה* תראו, כתבתי תוכנית שמכפילה מטריצות ויצא לי &amp;lt;math&amp;gt;\begin{pmatrix} -2 &amp;amp;0  &amp;amp;-2  &amp;amp;-6 \\ -24 &amp;amp;28  &amp;amp;-26  &amp;amp;58 \\ -7 &amp;amp;19  &amp;amp;-13  &amp;amp;44 \\ 13 &amp;amp;-13  &amp;amp;13  &amp;amp;26 \end{pmatrix}&amp;lt;/math&amp;gt;&lt;br /&gt;
:אז בחישובים אין לי טעות, השאלה היא אם לא הבנתי את הפעולה עצמה.&lt;br /&gt;
&lt;br /&gt;
::לרשותך תוכנה שכופלת מטריצות: [http://www.bluebit.gr/matrix-calculator/matrix_multiplication.aspx כלי עזר לכפל מטריצות- bluebit] &lt;br /&gt;
::כפל מטריצות מתבצע בצורה הבאה: כדי לגלות את האיבר בשורה ה- i ובעמודה ה- j של AB אנחנו נעבור על השורה ה- i של A ועל העמודה ה- j של B, נכפול איבר-איבר (איבר ראשון בשורה ה- i של A כפול איבר ראשון בעמודה ה- j של B, אח&amp;quot;כ אותו דבר על האיבר השני בשורה i של A ועמודה j של B וכך הלאה...) אחרי זה נסכום את כל מה שיצא, וזה יהיה האיבר במקום ה-i,j ב-A*B. -[[משתמש:ofekgillon10| אופק גילון]]&lt;br /&gt;
&lt;br /&gt;
::: עכשיו הבנתי את הכפל, תודה רבה :)&lt;br /&gt;
&lt;br /&gt;
== דוגמא לתרגיל 9 ==&lt;br /&gt;
&lt;br /&gt;
אפשר דוגמא להוכחה בתרגיל 9, כי לא בדיוק תרגלנו את זה או עברנו על דבר כזה בהרצאה.&lt;br /&gt;
אם מישהו מוכן לכתוב איך מוכיחים ש&amp;quot;מטריצה משולשית עליונה&amp;quot; סגורה לכפל (או לא), הוא יעזור מאוד. תודה.&lt;br /&gt;
&lt;br /&gt;
* דבר ראשון, אתה צודק שעוד לא ראינו כל כך דוגמאות לזה. ביום ראשון תראו בעזרת ה&#039; יותר דוגמאות להוכחות כאלה.&lt;br /&gt;
&lt;br /&gt;
עכשיו בקשר לשאלה עצמה - לפי ההגדרה מטריצה משולשית עליונה היא מטריצה שבה &amp;lt;math&amp;gt;A_{i,j}=0&amp;lt;/math&amp;gt; כאשר &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
כלומר (אם אתה מחליט שאתה רוצה להוכיח ולא להפריך) אתה רוצה להוכיח שאם &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; מקיימות את התנאי הזה אז גם &amp;lt;math&amp;gt;AB&amp;lt;/math&amp;gt; מקיימת אותו&lt;br /&gt;
&lt;br /&gt;
עכשיו, לפי הגדרת כפל אתה יודע למה שווה &amp;lt;math&amp;gt;(AB)_{i,j}&amp;lt;/math&amp;gt;. אתה צריך להראות שאם &amp;lt;math&amp;gt;j&amp;lt;i&amp;lt;/math&amp;gt; אז זה שווה ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:35, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:זה ברור, השאלה היא איך ההוכחה מתבצעת - באיזו דרך. באופן כללי הצלחתי להפוך את הטענה לטענה הבאה: בכל עבור כל שורה &amp;lt;math&amp;gt;i&amp;lt;/math&amp;gt; ועמודה &amp;lt;math&amp;gt;j&amp;lt;/math&amp;gt;, מובטח שכאשר &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; יהיו אפסים באופן הבא: עד ההגעה ל&amp;quot;אלכסון הראשי&amp;quot; במטריצה הראשונה, האפסים במכפלה ילקחו ממנה, ומן ההגעה האפסים ילקחו מהמטריצה השנייה (מקווה שהבהרתי את עצמי). אבל איך אני מוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אני לא בטוח שהבנתי את המשפט &amp;quot;להוכיח שבכל המכפלות יש &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&amp;quot; (באיזה מכפלות?). לפי מה שאתה כותב כאן, יש לך כמעט את התשובה ביד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 19:01, 11 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
:הכוונה היא שאחד מהגורמים במכפלה הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; בכל אחת מהמכפלות &amp;lt;math&amp;gt;\sum_{k=0}^{l}A_{i,k}B_{k,j}&amp;lt;/math&amp;gt; ולכן גם הסכום הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;, ומכאן שערך כל אחד מהתאים עבור &amp;lt;math&amp;gt;i&amp;gt;j&amp;lt;/math&amp;gt; הוא גם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; ולכן הטענה נכונה.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אתה הרי יודע ש &amp;lt;math&amp;gt;A,B&amp;lt;/math&amp;gt; הם מטריצות משולשיות עליונות ולכן אתה יודע שהרבה מהאיברים שלהם הם &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
אתה רק צריך להסביר למה לכל &amp;lt;math&amp;gt;k&amp;lt;/math&amp;gt; שהוא בין &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; ל &amp;lt;math&amp;gt;l&amp;lt;/math&amp;gt; אחד מהגורמים במכפלה שכתבת &amp;lt;math&amp;gt;A_{i,k}&amp;lt;/math&amp;gt; או &amp;lt;math&amp;gt;B_{k,j}&amp;lt;/math&amp;gt; (או שניהם כמובן) יהיה &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;. יש לך ממש את התשובה, זה רק עוד טיעון קטן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:47, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
בוקר טוב !&lt;br /&gt;
&lt;br /&gt;
בשאלה ארבע ישנה מערכת משוואות עם פרמטר b. האם ידוע לנו אודות הפרמטר? האם הוא שונה מאפס? או שהאם הוא יכול להיות גם שווה?&lt;br /&gt;
&lt;br /&gt;
תודה ושבת שלום!&lt;br /&gt;
&lt;br /&gt;
* לא ידוע כלום. יכול להיות שווה ויכול להיות שונה (כמובן שאתה יכול לחלק את התשובה שלך לפי המצבים השונים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8ד&#039; ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 8ד&#039; שכתוב &amp;lt;math&amp;gt;A_{j,k}&amp;lt;/math&amp;gt; האם הכוונה היא ל-&amp;lt;math&amp;gt;[A]_{j,k}&amp;lt;/math&amp;gt; (סקלר)?&lt;br /&gt;
--[[משתמש:Omer rosler|Omer rosler]] 12:02, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן, זה סקלר. האיבר ה &amp;lt;math&amp;gt;j,k&amp;lt;/math&amp;gt; של &amp;lt;math&amp;gt;A&amp;lt;/math&amp;gt;.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:49, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== mod 2 ==&lt;br /&gt;
&lt;br /&gt;
אפשר בmod 2 את הדבר הבא?&lt;br /&gt;
שבגלל ש-1=1&lt;br /&gt;
cis 240=cis60 *cis 180=-1*cis 60=1*cis 60=cis60&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:מה זה מוד 2? אנו מכירים את השדה &amp;lt;math&amp;gt;\mathbb{Z}_2&amp;lt;/math&amp;gt; שמכיל את האיברים 0 ו-1 בלבד. אין קשר בינו לבין מספרים מרוכבים. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt; 19:48, 12 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלות תרגיל 1 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 בסעיף ב׳ קיבלתי שעבור חזקות אי זוגיות המטריצה שמתקבלת שווה למטריצה בהתחלה. האם צריך להוכיח את התכונה? או שמספיק לרשום אותה במילים?&lt;br /&gt;
בשאלה 8 בסעיפים ב׳ ו-ד׳ כתוב Ek,l האם זוהי מטריצה אחרת ואם כן מה ידוע עליה?&lt;br /&gt;
:לגבי שאלה 7, פשוט תכתוב שהמטריצה בחזקת 2013 שווה למטריצה אחרת בחזקת 2012 ואז למקורית בחזקת 2011, ואז לרשום שבגלל שהמטריצה חזרה להיות מקורית יש מחזוריות - בכל 2 הכפלות המטריצה חוזרת לעצמה. לגבי שאלה 8, ידוע שלמטריצה &amp;lt;math&amp;gt;E_{k,l}&amp;lt;/math&amp;gt; יש 1 במיקום ה-&amp;lt;math&amp;gt;k,l&amp;lt;/math&amp;gt; ובכל שאר המקומות אפסים. -[[משתמש:The Yair| יאיר]] (אני לא מרצה / מתרגל אז נא לקחת את התשובה בעירבון מוגבל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
בשאלה 7 אתה לא חייב להוכיח את התכונה, כל דרך שבה תסביר למה שווה המטריצה בחזקת 2013 זה בסדר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:05, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה מתרגיל הבית (תרגיל 1) ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל הבית ישנה תרגיל 4:אני לא יודע כלום על משתנים a b &lt;br /&gt;
ולא הבנתי כיצד לענות על השאלה ואני לא יודע אפילו מהיכן להתחיל.&lt;br /&gt;
אשמח לקבל אולי דוגמא לפתרון תרגיל דומה שמכיל משתנים וגם מסדר MOD או הסבר שיעזור לי לפתור את זה&lt;br /&gt;
&lt;br /&gt;
:a,b הם פרמטרים. בעצם אתה צריך לפתור 3 משוואות ב-3 נעלמים כאשר a,b פרמטרים, ממש כמו בתיכון. ההבדל היחיד פה הוא שאתה ב- &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; ולכן עליך לדאוג לכך שאתה משתמש רק באיברי השדה. ככה אם תקבל מצב של a+6+4 (סתם דוגמה),  אתה צריך להמיר את זה ל- a+3 ולא a+10. הנה קישור לאלגוריתם לדירוג מטריצה שיכול לעזור : [[מדיה:10Linear1Gauss.pdf|אלגוריתם לדירוג מטריצות]], מקווה שזה עוזר.- [[משתמש:ofekgillon10|אופק]]&lt;br /&gt;
&lt;br /&gt;
== תרגיל 5 ==&lt;br /&gt;
&lt;br /&gt;
איך אני אמור למצוא מערכת משוואות עבור 121 פתרונות בתרגיל כזה או למשל עבור N פתרונות אחרים?&lt;br /&gt;
אם אפשר אני זקוק לדוגמה או הסבר.&lt;br /&gt;
&lt;br /&gt;
:&#039;&#039;&#039;משפט:&#039;&#039;&#039; למערכת משוואות מעל שדה עם מאפיין &amp;lt;math&amp;gt;p\neq0&amp;lt;/math&amp;gt; ועם n משתנים חופשיים, יהיו &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; פתרונות.(ההיגיון הוא שלכל משתנה חופשי יש לי p אפשרויות להציב בו) --[[משתמש:Ofekgillon10|Ofekgillon10]] 21:03, 13 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
בשאלה 2, האם מספיק למצוא את טבלאות החיבור והכפל של השדה, או שחייבים להוכיח שכל התכונות מתקיימות. אם כן, יש דרך לעשות את זה מלבד לעבור על כל האיברים ולהראות?&lt;br /&gt;
&lt;br /&gt;
* צריך גם להוכיח שזה שדה. את הקיום של רוב התכונות קל לראות מהטבלאות. גם את התכונות שלא קל לראות מהטבלאות לא בהכרח צריך לעבור על &#039;&#039;&#039;כל&#039;&#039;&#039; המקרים הקיימים - כי יכול להיות שקל מאוד להסביר את חלקם. אבל כן, עבור חלק מהתכונות צריך לעבור על חלק מהאפשרויות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:08, 14 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 4 ==&lt;br /&gt;
&lt;br /&gt;
אם לאחר דירוג המטריציה יצא  לי שורת אפסים אחת כאשר אני נמצא מעל Z7 אז יש לי 7 פתרונות אפשריים?&lt;br /&gt;
והאם אני רושם את התשובה באופן הבא:&lt;br /&gt;
פתרון אחד...&lt;br /&gt;
אין פתרון...&lt;br /&gt;
7 פתרונות...&lt;br /&gt;
?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן. אם מעל &amp;lt;math&amp;gt;\mathbb{Z}_7&amp;lt;/math&amp;gt; יש משתנה אחד חופשי אז יש &amp;lt;math&amp;gt;7&amp;lt;/math&amp;gt; פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 18 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
::אז בעצם בתשובה אני רושם : אם a=2,5 וגם b=0 יש 7 פתרונות ולא אינסוף פתרונות?&lt;br /&gt;
&lt;br /&gt;
:::מספר הפתרונות שווה למספר האיברים בשדה בחזקת מספר המשתנים החופשיים. מעל שדה סופי לא ייתכנו איסוף פתרונות, ולכן אסור לרשום זאת. --&amp;lt;font size=&#039;4&#039;&amp;gt;[[משתמש:ארז שיינר|ארז שיינר]]&amp;lt;/font&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== תרגיל 1 שאלה 2 ==&lt;br /&gt;
&lt;br /&gt;
למדנו בהרצאה (למרות שלא כתבנו) משפט שאומר כי לכל p ראשוני קיים שדה אחד ויחיד בעל &amp;lt;math&amp;gt;p^n&amp;lt;/math&amp;gt; איברים.&lt;br /&gt;
אם מניחים כי קיים שדה בעל 4 איברים, אפשר להראות כי הכפל והחיבור שלו יכולים להיות מוגדרים בדרך אחת בלבד, לכן זה חייב להיות השדה ללא הוכחת כל התכונות של שדה. כי אם הקבוצה {0,1,a,b} עם הפעולות שהגדרנו לא שדה אז זו סתירה למשפט (הפעולות לא יכולות להיות מוגדרות אחרת כי זו סתירה לתכונות של שדה).&lt;br /&gt;
האם זו הוכחה מספקת לשאלה 2?--[[משתמש:Omer rosler|Omer rosler]] 23:33, 19 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* אם אתה יודע מראש שקיים שדה בגודל &amp;lt;math&amp;gt;4&amp;lt;/math&amp;gt; אז זאת הוכחה נכונה. למרות שבעיקרון הכוונה הייתה גם שתוכיחו שזה שדה.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:06, 22 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== הרצאות כתובות ==&lt;br /&gt;
&lt;br /&gt;
איפה אפשר לראות את ההרצאות המוקלדות? לא התרגולים...&lt;br /&gt;
כלומר את כל מה שנרשם בהרצאה (בעיקר הוכחות למשפטים שהיו בהרצאה)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אני לא חושב שיש את ההרצאות מוקלדות איפשהוא. הוכחות למשפטים אפשר למצוא בספרים. כולל אלה שיש להם קישורים באתר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 29 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== span ==&lt;br /&gt;
&lt;br /&gt;
איך אני מוצא כי (B מוכל ב - V)&lt;br /&gt;
&lt;br /&gt;
SPAN(B) = V&lt;br /&gt;
&lt;br /&gt;
אם נתון לי B?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* תשובה: אם אני מבין את השאלה שלך. אתה שואל, בהינתן קבוצה &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; איך אני מראה ש &amp;lt;math&amp;gt;span B=V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
יש 2 דרכים די סטנדרטיות:&lt;br /&gt;
&lt;br /&gt;
דרך 1: להראות שבעזרת צירופים לינאריים של איברי &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; אפשר להגיע לקבוצה שפורשת את &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
דרך 2: להראות ש &amp;lt;math&amp;gt;B&amp;lt;/math&amp;gt; מכילה קבוצה בת&amp;quot;ל בגודל המימד של &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; (ואז לפי השלישי חינם היא גם פורשת).&lt;br /&gt;
&lt;br /&gt;
מקווה שההסבר הזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:09, 30 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== כמה הגדרות ואי-הבנות ==&lt;br /&gt;
&lt;br /&gt;
החסרתי כמה שיעורים, ולא הצלחתי להשלים את כל החומר. אשמח לתשובה קצרה על כמה שאלות:&lt;br /&gt;
* המושגים - &amp;lt;math&amp;gt;Dim, Rank, Char&amp;lt;/math&amp;gt;, מה כל אחד מהם אומר?&lt;br /&gt;
* כשמתכוונים לבסיס סטנדרטי (S) של &amp;lt;math&amp;gt;\mathbb{R}^3&amp;lt;/math&amp;gt;, הכוונה היא לווקטורים &amp;lt;math&amp;gt;(0,0,1), (0,1,0), (1,0,0)&amp;lt;/math&amp;gt;?&lt;br /&gt;
* מטריצת מעבר בין בסיסים היא בין שני בסיסים שונים שפורשים את אותו מרחב ווקטורי?&lt;br /&gt;
תודה מראש...&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
תשובות:&lt;br /&gt;
&lt;br /&gt;
* &lt;br /&gt;
&lt;br /&gt;
1) &amp;lt;math&amp;gt;char&amp;lt;/math&amp;gt; זה מאפיין של שדה. המאפיין של שדה &amp;lt;math&amp;gt;\mathbb{F}&amp;lt;/math&amp;gt; הוא מספר הפעמים שצריך לסכום את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt; כדי להגיע ל &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
למשל ב &amp;lt;math&amp;gt;\mathbb{Z}_p&amp;lt;/math&amp;gt; אם תסכום &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; פעמים את &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;  תקבל 0.&lt;br /&gt;
&lt;br /&gt;
אם לעולם לא תקבל 0, אז המאפיין הוא &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
לכן &amp;lt;math&amp;gt;char\mathbb{Z}_p=p&amp;lt;/math&amp;gt; ו &amp;lt;math&amp;gt;char{\mathbb{Q}}=char{\mathbb{R}}=char{\mathbb{C}}=0&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
אפשר להוכיח שהמאפיין הוא תמיד &amp;lt;math&amp;gt;0&amp;lt;/math&amp;gt; או מספר ראשוני.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
2)&amp;lt;math&amp;gt;dim&amp;lt;/math&amp;gt;. לכל מרחב וקטורי &amp;lt;math&amp;gt;V&amp;lt;/math&amp;gt; המימד שלו &amp;lt;math&amp;gt;dimV&amp;lt;/math&amp;gt; הוא מספר הוקטורים שיש בבסיס.&lt;br /&gt;
&lt;br /&gt;
(אחד המשפטים שהוכחתם בהרצאה אומר שכל שני בסיסים הם באותו גודל).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
3)&amp;lt;math&amp;gt;rank&amp;lt;/math&amp;gt; : דרגה של מטריצה היא המימד של מרחב השורות ומסתבר (זה משפט שראיתם/תראו בהרצאה) שזה שווה למימד של מרחב העמודות.&lt;br /&gt;
&lt;br /&gt;
(יש גם מושג של דרגה של העתקה לינארית - שיש לו קשר הדוק לדרגה של מטריצה אבל לזה עוד לא הגענו).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
* כן.&lt;br /&gt;
&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:41, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== מימד של Rn[x] ==&lt;br /&gt;
&lt;br /&gt;
מה המימד של המ&amp;quot;ו Rn[x]=V? ע&amp;quot;פ הבסיסים הסטנדרטיים, DimV=n+1, האם זה נכון?&lt;br /&gt;
&lt;br /&gt;
אם כן, בשאלה 1ג בתרגיל 3, כיצד ייתכן ש-3 ווקטורים יפרשו את R3[x]=V?&lt;br /&gt;
אם לא, ומתקיים DimV=n, אז איך בבסיס, לדוגמא של R3[x]=V יש את &amp;lt;math&amp;gt;1,x,x^2,x^3&amp;lt;/math&amp;gt;?&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
:(לא מתרגל / מרצה) אכן, &amp;lt;math&amp;gt;\dim\left (\mathbb{R}_n\left [ x \right ]  \right )=n+1&amp;lt;/math&amp;gt; (ניתן להוכיח, למשל, עם הבסיס הסטנדרטי). אם הם אינם יכולים לפרוש את הקבוצה, לפי השאלה, יש למצוא בסיס שיכיל את הקבוצה, כלומר להרחיב את הקבוצה הזו לבסיס. --[[משתמש:גיא|גיא בלשר]] 17:03, 31 ביולי 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
גיא צודק. באמת לא ייתכן ש &amp;lt;math&amp;gt;3&amp;lt;/math&amp;gt; וקטורים יפרשו את &amp;lt;math&amp;gt;\mathbb{R}_3[x]&amp;lt;/math&amp;gt;. נימוק משיקולי מימד הוא באמת הנימוק הפשוט ביותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:42, 1 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4, שאלות 1,2 ==&lt;br /&gt;
&lt;br /&gt;
לגבי שאלה 1ב - איך אני מוצא את הבסיס ל-W?&lt;br /&gt;
ולגבי שאלה 2 - למה מתכוונים בסעיף א&#039;? זה לא ברור, לפחות לי.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
*תשובה: לגבי 1: אתה יכול לתאר את &amp;lt;math&amp;gt;W&amp;lt;/math&amp;gt; בתור פתרון למערכת משוואות הומוגנית.&lt;br /&gt;
&lt;br /&gt;
אחרי שיש לך מערכת משוואות הומוגנית אפשר לפתור אותה, וקל למצוא את הבסיס מהפתרון הכללי. (כמו בתרגיל 3 - שאלה 5).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
שאלה 2: צריך למצוא מערכת משוואות לינארית הומוגנית שמרחב הפתרונות שלה הוא בדיוק &amp;lt;math&amp;gt;span \{v_1,v_2,v_3\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:15, 9 באוגוסט 2013 (IDT)&lt;br /&gt;
&lt;br /&gt;
== תרגיל 4 שאלות 3 ו6 ==&lt;br /&gt;
&lt;br /&gt;
בס&amp;quot;ד&lt;br /&gt;
&lt;br /&gt;
*בשאלה 3 סעיף ד&#039;-כיצד ניתן למצוא את מטריצת המעבר?&lt;br /&gt;
&lt;br /&gt;
*בשאלה 6-מה אומר לנו המשפט C(B) n N(A)=0 ? &lt;br /&gt;
&lt;br /&gt;
(n זה החיתוך...) לא הבנתי את המשפט...&lt;br /&gt;
&lt;br /&gt;
תודה מראש :)&lt;br /&gt;
&lt;br /&gt;
:(לא מרצה / מתרגל).&lt;br /&gt;
:*לגבי 3-ד&#039;, בתרגול קיבלנו אלגוריתם למציאת מטריצת מעבר בין בסיסים. מצא את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; ואת &amp;lt;math&amp;gt;[I]_{B}^{S}&amp;lt;/math&amp;gt;. כעת הפוך את &amp;lt;math&amp;gt;[I]_{C}^{S}&amp;lt;/math&amp;gt; (כלומר מצא את ההופכית) וקיבלת את &amp;lt;math&amp;gt;[I]_{S}^{C}&amp;lt;/math&amp;gt; ע&amp;quot;פ המשפט שלמדנו בשיעור. כעת מתקבל &amp;lt;math&amp;gt;[I]_{C}^{B}=[I]_{C}^{S}*[I]_{S}^{B}&amp;lt;/math&amp;gt; וקיבלת את מטריצת המעבר מ-B ל-C.&lt;br /&gt;
:*לגבי 6 - כל הקטע בשאלה הוא להבין מה אומר המשפט. אני אתן רמז כי חבל לגלות את התשובה, הפתרון יפה. אני אגיד רק שמתקיים &amp;lt;math&amp;gt;Dim(C(A))+Dim(N(A))=n&amp;lt;/math&amp;gt; עבור &amp;lt;math&amp;gt;\forall A\in F^{n*n}&amp;lt;/math&amp;gt; וכן שכל &amp;lt;math&amp;gt;n+1&amp;lt;/math&amp;gt; ווקטורים במ&amp;quot;ו &amp;lt;math&amp;gt;\mathbb{F}^n&amp;lt;/math&amp;gt; תלויים ליניארית (כמובן שזכור ש-&amp;lt;math&amp;gt;Dim(SpanA)=|A|&amp;lt;/math&amp;gt;). זה אמור להספיק, חבל לגלות הכל. &lt;br /&gt;
:-- [[משתמש:Math5|יאיר קורנגוט]] 23:32, 8 באוגוסט 2013  (IDT)&lt;br /&gt;
&lt;br /&gt;
== שאלה 8 ==&lt;br /&gt;
&lt;br /&gt;
בתרגיל בית האחרון (5), לא הבנתי איך תיראה דוגמא להעתקה לינארית בתרגיל השמיני.&lt;br /&gt;
איך מביעים העתקה ממרחב הפולינומים למרחב הפולינומים ? ( (?)T =? )&lt;br /&gt;
&lt;br /&gt;
== שאלה על מרחבים וקטוריים.... ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
אם הווקטור היחיד במרחב וקטורי כלשהו הוא ווקטור האפס, &lt;br /&gt;
אז הבסיס למרחב הוא ווקטור האפס או הקבוצה הריקה?&lt;/div&gt;</summary>
		<author><name>שחר4299</name></author>
	</entry>
</feed>