אלגברה לינארית - ארז שיינר

מתוך Math-Wiki

חומר עזר

סרטוני ותקציר הרצאות

פרק 1 - שדות

הגדרה ותכונות של שדה

  • שדה הוא קבוצה [math]\displaystyle{ \mathbb{F} }[/math] יחד עם שתי פעולות [math]\displaystyle{ +,\cdot }[/math] כך שמתקיימות התכונות הבאות:
  1. סגירות: לכל [math]\displaystyle{ a,b\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a+b,a\cdot b\in\mathbb{F} }[/math]
  2. קומוטטיביות (חילופיות): לכל [math]\displaystyle{ a,b\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a+b=b+a }[/math] וכן [math]\displaystyle{ a\cdot b=b\cdot a }[/math]
  3. אסוציאטיביות (קיבוץ): לכל [math]\displaystyle{ a,b,c\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a+(b+c)=(a+b)+c }[/math] וכן [math]\displaystyle{ a\cdot (b\cdot c)=(a\cdot b)\cdot c }[/math]
  4. נייטרליים: קיימים [math]\displaystyle{ 0_{\mathbb{F}}\neq 1_{\mathbb{F}}\in\mathbb{F} }[/math] כך שלכל [math]\displaystyle{ a\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ 0_{\mathbb{F}}+a=1_{\mathbb{F}}\cdot a = a }[/math]
  5. נגדיים: לכל [math]\displaystyle{ a\in\mathbb{F} }[/math] קיים נגדי [math]\displaystyle{ -a\in\mathbb{F} }[/math] כך ש [math]\displaystyle{ a+(-a)=0_{\mathbb{F}} }[/math]
  6. הופכיים: לכל [math]\displaystyle{ 0_{\mathbb{F}}\neq a\in \mathbb{F} }[/math] קיים הופכי [math]\displaystyle{ a^{-1}\in \mathbb{F} }[/math] כך ש [math]\displaystyle{ a\cdot a^{-1}=1_{\mathbb{F}} }[/math]
  7. דיסטריביוטיביות (פילוג): לכל [math]\displaystyle{ a,b,c\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a\cdot(b+c)=a\cdot b+a\cdot c }[/math]



  • יהי שדה [math]\displaystyle{ \mathbb{F} }[/math] אזי לכל [math]\displaystyle{ a,b\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a\cdot b=0_{\mathbb{F}} }[/math] אם ורק אם [math]\displaystyle{ a=0_{\mathbb{F}} }[/math] או [math]\displaystyle{ b=0_{\mathbb{F}} }[/math]



  • תכונות נוספות של שדות
    • [math]\displaystyle{ (-1_{\mathbb{F}})\cdot a = -a }[/math]
    • אם [math]\displaystyle{ a+b=a+c }[/math] אזי [math]\displaystyle{ b=c }[/math]
    • אם [math]\displaystyle{ a\neq 0_{\mathbb{F}} }[/math] וגם [math]\displaystyle{ a\cdot b = a\cdot c }[/math] אזי [math]\displaystyle{ b=c }[/math]

שדות סופיים

שדה המרוכבים

הגדרת המספרים המרוכבים

  • [math]\displaystyle{ \mathbb{C}=\{(a,b)|a,b\in\mathbb{R}\} }[/math]
  • [math]\displaystyle{ (a,b)+(c,d)=(a+b,c+d) }[/math]
  • [math]\displaystyle{ (a,b)\cdot (c,d)=(ac-bd,ad+bc) }[/math]


  • נסמן
    • [math]\displaystyle{ a=(a,0) }[/math]
    • [math]\displaystyle{ i=(0,1) }[/math]
  • נובע כי [math]\displaystyle{ a+b\cdot i =(a,b) }[/math]


  • הגדרות עבור [math]\displaystyle{ z=a+b\cdot i }[/math]
    • [math]\displaystyle{ \overline{Z}=a-b\cdot i }[/math]
    • [math]\displaystyle{ |z|=\sqrt{a^2+b^2} }[/math]
    • [math]\displaystyle{ Re(z)=a }[/math]
    • [math]\displaystyle{ Im(z)=b }[/math]


  • תכונות
    • [math]\displaystyle{ z^{-1}=\frac{\overline{z}}{|z|^2} }[/math] אם [math]\displaystyle{ z\neq 0 }[/math]
    • [math]\displaystyle{ z+\overline{z}=2\cdot Re(z) }[/math]
    • [math]\displaystyle{ z-\overline{z}=2\cdot i\cdot Im(z) }[/math]
    • [math]\displaystyle{ \overline{z+ w}=\overline{z}+ \overline{w} }[/math]
    • [math]\displaystyle{ \overline{z\cdot w}=\overline{z}\cdot \overline{w} }[/math]


צורה קרטזית וצורה קוטבית (פולרית)

  • [math]\displaystyle{ a+b\cdot i = r\cdot cis(\theta) }[/math]
  • [math]\displaystyle{ cis(\theta)=\cos(\theta)+i\cdot \sin(\theta) }[/math]
  • [math]\displaystyle{ r=\sqrt{a^2+b^2} }[/math]
  • עבור הזוית נחלק למקרים:
    • אם [math]\displaystyle{ a\gt 0 }[/math] אזי [math]\displaystyle{ \theta=arctan\left(\frac{b}{a}\right) }[/math]
    • אם [math]\displaystyle{ a=0 }[/math] וגם [math]\displaystyle{ b\gt 0 }[/math] אזי [math]\displaystyle{ \theta=\frac{\pi}{2} }[/math]
    • אם [math]\displaystyle{ a=0 }[/math] וגם [math]\displaystyle{ b\lt 0 }[/math] אזי [math]\displaystyle{ \theta=-\frac{\pi}{2} }[/math]
    • אם [math]\displaystyle{ a\lt 0 }[/math] אזי [math]\displaystyle{ \theta=arctan\left(\frac{b}{a}\right)+\pi }[/math]



  • [math]\displaystyle{ r_1 cis(\theta_1)r_2 cis(\theta_2)=r_1r_2cis(\theta_1+\theta_2) }[/math]



  • [math]\displaystyle{ (r cis(\theta))^n = r^n cis(n\theta) }[/math]


  • עבור [math]\displaystyle{ n\geq 2 }[/math] טבעי, ומספר מרוכב [math]\displaystyle{ a+b\cdot i\neq 0 }[/math] קיימים בדיוק n פתרונות למשוואה [math]\displaystyle{ z^n=a+b\cdot i }[/math]
  • הנוסחא למציאת כל הפתרונות השונים:
    • נעביר את המספר לצורתו הקוטבית [math]\displaystyle{ a+b\cdot i = r cis(\theta) }[/math]
    • הפתרונות הם [math]\displaystyle{ z_k = \sqrt[n]{r} cis\left(\frac{\theta+2\pi k}{n}\right) }[/math] עבור [math]\displaystyle{ k=0,1,...,n-1 }[/math]


תרגול

פרק 2- מערכות משוואות לינאריות

מבוא למטריצות ולמערכות משוואות לינאריות

  • [math]\displaystyle{ \mathbb{F}^n=\{(x_1,...,x_n)|\forall i:x_i\in\mathbb{F}\} }[/math] קבוצת הn-יות הסדורות.
  • [math]\displaystyle{ \mathbb{F}^{n\times m} }[/math] קבוצת המטריצות עם n שורות וm עמודות, ואיברים מהשדה [math]\displaystyle{ \mathbb{F} }[/math]


הגדרת מערכת משוואות לינארית וקבוצת פתרונות

  • מערכת משוואות לינארית היא זוג של מטריצת מקדמים [math]\displaystyle{ A\in\mathbb{F}^{m\times n} }[/math] ומטריצת (וקטור) קבועים [math]\displaystyle{ \vec{b}\in\mathbb{F}^{n\times 1} }[/math].
  • קבוצת הפתרונות למערכת המשוואות הלינארית היא קבוצת כל הn-יות המקיימות:
  • [math]\displaystyle{ \begin{cases} a_{11}x_1+...+a_{1n}x_n=b_1\\ \vdots \\ a_{m1}x_1+...+a_{mn}x_n=b_m \end{cases} }[/math]


פעולות דירוג אלמנטריות


ייצוג מערכת משוואות בעזרת מטריצה


צורה מדורגת וצורה מדורגת קנונית


משתנים חופשיים ותלויים


דירוג מטריצה עם פרמטר


הוכחת קיום ויחידות צורה מדורגת קנונית

תרגול

פרק 3 - אלגברת מטריצות

חיבור מטריצות וכפל בסקלר


כפל מטריצות




שיטות לחישוב כפל מטריצות



תכונות של אלגברת מטריצות


פתרון כללי למערכת משוואות לא הומוגנית

  • פתרון פרטי למערכת הלא הומוגנית + פתרון כללי למערכת ההומוגנית = פתרון כללי למערכת הלא הומוגנית

שחלוף


עקבה

תרגול

מטריצות הפיכות ומטריצות הופכיות


מטריצות פעולה

תרגול

תרגול בנושא מטריצות הפיכות ומטריצות פעולה

פרק 4 - מרחבים וקטוריים

הגדרה ותכונות של מרחבים וקטוריים

תתי מרחבים

חיתוך, סכום, וסכום ישר של תתי מרחבים

תרגול

פרישה ותלות לינארית

בסיס ומימד

משפט השלישי חינם

תרגול

משפט המימדים

תרגול

הצגה פרמטרית ואלגברית

שלושת מרחבי המטריצה ודרגת מטריצה

תרגול

פרק 5 - העתקות לינאריות

העתקות, הרכבת העתקות, הפיכות העתקות

  • מרחב ההעתקות

גרעין ותמונה

משפט הדרגה

תרגול

מטריצה מייצגת העתקה

יחידות הצגה לפי בסיס, קואורדינטות

משפט קיום ויחידות

מטריצת סכום והרכבה

מטריצות מעבר בין בסיסים

תרגול

פרק 6 - דטרמיננטות

תמורות

הגדרת הדטרמיננטה

קשר בין דטרמיננטה להפיכות

כפליות הדטרמיננטה

כלל קרמר

מטריצה נלווית

תרגול