משתמש:יחס הזהב/טיוטה7

מתוך ויקיפדיה, האנציקלופדיה החופשית

מרחבים[עריכת קוד מקור | עריכה]

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

מימדים[עריכת קוד מקור | עריכה]

  • \dim(U+W)=\dim(U)+\dim(W)-\dim(U\cap W)

=== פעולות על תתי מרחבים

=[עריכת קוד מקור | עריכה]

  • תת מרחב אם ורק אם או .
  • תמיד תת מרחב.
  • תמיד תת מרחב.
  • הוא תת המרחב הקטן ביותר המכיל את ואת .
  • הוא סכום ישר אם החיתוך בניהם הוא מרחב האפס.
  • אם ורק אם וגם .
  • חשוב!
  • הוא תמיד תת מרחב.
  • הוא תת המרחב הקטן ביותר שמכיל את .

מעבר בין Span למשוואות ולהפך

מטריצה ריבועית[עריכת קוד מקור | עריכה]

  • מטריצה הפיכה היא בהכרח ריבועית.
  • מטריצת האפס לא הפיכה, מטריצת היחידה כן הפיכה.
  • מטריצה סימטרית ומטריצה אנטי-סמיטרית חייבות להיות ריבועיות.

מערכת הומוגנית[עריכת קוד מקור | עריכה]

  • במערכת הומוגנית אם ו- הם פתרונות אז גם הוא פתרון.
  • אם הוא פתרון אז לכל סקלר גם הוא פתרון.
  • רק במערכת משוואות הומוגנית אם יש יותר נעלמים ממשוואות אז יש אינסוף פתרונות. אם היא לא הומוגנית יכולה להיות סתירה.
  • לכל משוואה הומוגנית יש לפחות פתרון אחד - הפתרון הטרוויאלי.
  • מעל שדה אינסופי, אם למערכת הומוגנית יש פתרון לא טריוויאלי, אז יש לה אינסוף פתרונות.
  • מעל שדה סופי בגודל , מספר הפתרונות הוא תמיד חזקה של .

טענה חמודה[עריכת קוד מקור | עריכה]

  • תלויה ליניארית.
  • - הבסיס למרחב האפס הוא קבוצה ריקה והמימד שלו הוא אפס.
  • וגם
  • אם שניים מבין התנאים הבאים מתקיימים, השלישי מתקיים בהכרח (בחינם) ומתקיים ש היא בסיס ל :
  1. בת"ל
  2. .

טיפים[עריכת קוד מקור | עריכה]

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

טיפ: לפעמים עוזר למצוא דוגמאות נגדיות עם מטריצות בעלות שורות אפסים.