אלגברה לינארית - ארז שיינר: הבדלים בין גרסאות בדף
שורה 165: | שורה 165: | ||
<videoflash>vijM_8tKysI</videoflash> | <videoflash>vijM_8tKysI</videoflash> | ||
<videoflash>NgjeAJ32klI</videoflash> | |||
<videoflash>d2iJot9FD1I</videoflash> | |||
===שחלוף=== | ===שחלוף=== |
גרסה מ־19:08, 9 ביולי 2020
חומר עזר
סרטוני ותקציר הרצאות
פרק 1 - שדות
הגדרה ותכונות של שדה
- שדה הוא קבוצה [math]\displaystyle{ \mathbb{F} }[/math] יחד עם שתי פעולות [math]\displaystyle{ +,\cdot }[/math] כך שמתקיימות התכונות הבאות:
- סגירות: לכל [math]\displaystyle{ a,b\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a+b,a\cdot b\in\mathbb{F} }[/math]
- קומוטטיביות (חילופיות): לכל [math]\displaystyle{ a,b\in\mathbb{F} }[/math] מתקיים כי [math]\displaystyle{ a+b=b+a }[/math] וכן [math]\displaystyle{ a\cdot b=b\cdot a }[/math]
- אסוציאטיביות (קיבוץ): לכל [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]
- נייטרליים: קיימים [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]
- נגדיים: לכל [math]\displaystyle{ a\in\mathbb{F} }[/math] קיים נגדי [math]\displaystyle{ -a\in\mathbb{F} }[/math] כך ש [math]\displaystyle{ a+(-a)=0_{\mathbb{F}} }[/math]
- הופכיים: לכל [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]
- דיסטריביוטיביות (פילוג): לכל [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]
הגדרת מערכת משוואות לינארית וקבוצת פתרונות
פעולות דירוג אלמנטריות
ייצוג מערכת משוואות בעזרת מטריצה
צורה מדורגת וצורה מדורגת קנונית
משתנים חופשיים ותלויים
דירוג מטריצה עם פרמטר
הוכחת קיום ויחידות צורה מדורגת קנונית
תרגול
פרק 3 - אלגברת מטריצות
חיבור מטריצות וכפל בסקלר
כפל מטריצות
שיטות לחישוב כפל מטריצות
תכונות של אלגברת מטריצות
שחלוף
עקבה
תרגול
מטריצות הופכיות
מטריצות פעולה
תרגול
תרגול בנושא מטריצות הפיכות ומטריצות פעולה
פרק 4 - מרחבים וקטוריים
הגדרה ותכונות של מרחבים וקטוריים
תתי מרחבים
חיתוך, סכום, וסכום ישר של תתי מרחבים
תרגול
פרישה ותלות לינארית
בסיס ומימד
משפט השלישי חינם
תרגול
משפט המימדים
תרגול
הצגה פרמטרית ואלגברית
שלושת מרחבי המטריצה ודרגת מטריצה
תרגול
פרק 5 - העתקות לינאריות
העתקות, הרכבת העתקות, הפיכות העתקות
- מרחב ההעתקות
גרעין ותמונה
משפט הדרגה
תרגול
מטריצה מייצגת העתקה
יחידות הצגה לפי בסיס, קואורדינטות
משפט קיום ויחידות
מטריצת סכום והרכבה
מטריצות מעבר בין בסיסים
תרגול
- תרגול המכיל קואורדינטות ומטריצות מעבר בין בסיסים
- תרגול בנושא מטריצות מייצגות העתקות
- תרגול נוסף בנושא העתקות