אנליזה מתקדמת למורים תרגול 1

הגדרה

כידוע אין שורש ממשי למספר [math]\displaystyle{ -1 }[/math]. כלומר [math]\displaystyle{ \sqrt{-1}\notin \mathbb{R} }[/math].

בתחילת הקורס נלמד על מבנה מתמטי בו יש שורש ל [math]\displaystyle{ -1 }[/math]: שדה המספרים המרוכבים!

אז מי הם בעצם המספרים המרוכבים? בעצם מה שאנחנו צריכים להגדיר כאן זה שלושה דברים:

1. האיברים עצמם - המספרים המרוכבים.

2. איך לחבר ביניהם.

3. איך להכפיל ביניהם.

נסמן ב [math]\displaystyle{ i }[/math] איבר מסויים, ונגדיר [math]\displaystyle{ i\cdot i=-1 }[/math]. במילים אחרות [math]\displaystyle{ i=\sqrt{-1} }[/math]. המספרים המרוכבים הם כל המספרים מהצורה [math]\displaystyle{ a+bi }[/math] כאשר [math]\displaystyle{ a,b\in \mathbb{R} }[/math]. כלומר, [math]\displaystyle{ \mathbb{C}=\{a+bi|a,b\in \mathbb{R}\} }[/math]. שימו לב שכמובן שהמספרים הממשיים מוכלים במרוכבים, פשוט לוקחים [math]\displaystyle{ b=0 }[/math].

חיבור: [math]\displaystyle{ (a+bi)+(x+yi):=(a+x)+(b+y)i }[/math].

כפל: [math]\displaystyle{ (a+bi)\cdot (x+yi):=(ax-by)+(ay+bx)i }[/math].

לדוגמא: נסמן [math]\displaystyle{ z=5+\frac{1}{3}i,w=2+\frac{2}{3}i }[/math]. נקבל: [math]\displaystyle{ z+w=(5+2)+(\frac{1}{3}+\frac{2}{3})i=7+i }[/math], וכן [math]\displaystyle{ z\cdot w=(5\cdot 2-\frac{1}{3}\cdot \frac{2}{3})+(5\cdot \frac{2}{3}+\frac{1}{3}\cdot 2)i=9\frac{2}{9}+4i }[/math].

נורמה

במספרים הממשיים יש לנו ערך מוחלט, והוא מוגדר כמרחק של המספר מאפס. נגדיר משהו דומה על המספרים המרוכבים - הנורמה (ויש שקוראים לזה ערך מוחלט). הנורמה זו בעצם פונקציה [math]\displaystyle{ |\cdot |:\mathbb{C}\to \mathbb{R} }[/math] המוגדרת ע"י: [math]\displaystyle{ |z=a+bi|=\sqrt{a^2+b^2} }[/math]. מאיפה הגיעה הפונקציה הזו? אם נתבונן על המספרים המרוכבים במערכת צירים נוכל לשים לב שהנורמה היא המרחק (האוקלידי) מראשית הצירים. דוגמאות נחמדות כיד המתרגל הטובה עליו.

תכונות הנורמה

1. כפליות: [math]\displaystyle{ \forall z_1,z_2\in \mathbb{C}:|zz_1\cdot z_2|=|z_1|\cdot |z_2| }[/math].

2. אי שליליות: [math]\displaystyle{ \forall z\in \mathbb{C}:|z|\geq 0 }[/math], ומתקיים: [math]\displaystyle{ |z|=0\iff z=0 }[/math].

3. אי שיוויון המשולש: [math]\displaystyle{ \forall z_1,z_2\in \mathbb{C}:|z_1+z_2|\leq |z_1|+|z_2| }[/math].

תרגיל

הוכיחו: [math]\displaystyle{ \forall z_1,z_2\in \mathbb{C}:|z_1-z_2|\geq ||z_1|-|z_2|| }[/math]