חומר עזר

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

שדה הוא קבוצה [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{ 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{ 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{ 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]

[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]

שלושת פעולות הדירוג האלמנטריות:
- [math]\displaystyle{ \alpha R_i }[/math] עבור [math]\displaystyle{ 0\neq \alpha\in\mathbb{F} }[/math] (כפל שורה במטריצה בסקלר שונה מאפס)
- [math]\displaystyle{ R_i+\alpha R_j }[/math] עבור [math]\displaystyle{ i\neq j }[/math] (הוספה לשורה קבוע כפול שורה אחרת)
- [math]\displaystyle{ R_i \leftrightarrow R_j }[/math] (החלפת שתי שורות במטריצה זו בזו)