Μιγαδικός αριθμός: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Αντικατάσταση της σελίδας με '{{πηγές|29|07|2014}} == Δείτε ακόμα == * Θεμελιώδες θεώρημα άλγεβρας|Το Θεμελιώδες...' Ετικέτες: Αντικατάσταση μεγάλη αφαίρεση Οπτική επεξεργασία |
μ Αναστροφή της επεξεργασίας από τον 46.12.116.218 (συνεισφ.), επιστροφή στην τελευταία εκδοχή υπό 2A02:587:5410:A400:B9E5:D9DE:EE6D:BF37 Ετικέτα: Επαναφορά |
||
Γραμμή 1:
{{πηγές|29|07|2014}}
Στα [[μαθηματικά]], οι '''μιγαδικοί αριθμοί''' είναι μία επέκταση του συνόλου των [[πραγματικός αριθμός|πραγματικών αριθμών]] με την προσθήκη του στοιχείου <math>i</math>, που λέγεται [[Φανταστικός αριθμός|φανταστική μονάδα]], και έχει την ιδιότητα:
<math>i^2=-1</math>
Κάθε μιγαδικός αριθμός μπορεί να γραφτεί με τη μορφή <math>a+ib</math>, όπου τα <math>a</math> και <math>b</math> είναι [[πραγματικός αριθμός|πραγματικοί αριθμοί]] και λέγονται ''πραγματικό μέρος'' και ''φανταστικό μέρος'' του μιγαδικού αριθμού, αντίστοιχα.
Για παράδειγμα, ο <math>3+2i</math> είναι ένας μιγαδικός, με ''πραγματικό μέρος'' <math>3</math> και ''φανταστικό μέρος'' <math>2</math>.
Για τους μιγαδικούς αριθμούς ορίζονται οι πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού και της διαίρεσης, όπως και στους πραγματικούς αριθμούς. Στην ορολογία των μαθηματικών, αυτό σημαίνει ότι το σύνολο των μιγαδικών είναι [[Σώμα (άλγεβρα)|σώμα]].
Η βασική διαφορά των μιγαδικών αριθμών με τους [[πραγματικός αριθμός|πραγματικούς]] είναι η ύπαρξη του στοιχείου ''i'' και των πολλαπλασίων του, που όταν υψωθούν στο τετράγωνο δίνουν αρνητικούς πραγματικούς αριθμούς. Επιπλέον, στους μιγαδικούς δεν ορίζεται η ''διάταξη'', δηλαδή δεν έχει έννοια να συγκρίνουμε δύο μιγαδικούς ώστε να πούμε ότι ένας μιγαδικός αριθμός είναι ''μεγαλύτερος'' ή ''μικρότερος'' από κάποιον άλλον μιγαδικό αριθμό
Οι μιγαδικοί αριθμοί έχουν, μεταξύ άλλων, σημαντικές εφαρμογές στη λύση [[διαφορική εξίσωση|διαφορικών εξισώσεων]] αλλά και στη μελέτη διάφορων φυσικών προβλημάτων [[οπτική]]ς, [[ηλεκτρομαγνητισμός|κυματικής]], [[κβαντική μηχανική|κβαντομηχανικής]] και [[ηλεκτρονική]]ς.
== Ιστορικό ==
Οι μιγαδικοί αριθμοί επινοήθηκαν από τον Ιταλό [[μαθηματικός|μαθηματικό]] [[Τζερόλαμο Καρντάνο]], ο οποίος τους χαρακτήριζε ως ''φανταστικούς'', στην προσπάθειά του να βρει αναλυτικές λύσεις σε κυβικές εξισώσεις. Η διαδικασία επίλυσης τέτοιων εξισώσεων απαιτεί ενδιάμεσους υπολογισμούς, οι οποίοι μπορεί να περιλαμβάνουν τετραγωνικές ρίζες αρνητικών αριθμών, ακόμα κι όταν η [[Ρίζα (μαθηματικά)|ρίζα]] είναι πραγματικός αριθμός. Το γεγονός αυτό οδήγησε τελικά στο [[Θεμελιώδες θεώρημα άλγεβρας|Θεμελιώδες Θεώρημα της Άλγεβρας]], που δείχνει ότι στο σώμα των μιγαδικών αριθμών κάθε μη μηδενικό [[πολυώνυμο]] έχει τουλάχιστον μια ρίζα.
== Ορισμοί ==
=== Συμβολισμοί και πράξεις ===
Το [[σύνολο]] όλων των μιγαδικών αριθμών συμβολίζεται συνήθως ως '''C''', ή <math>\mathbb{C}</math> και ορίζεται ως εξής: <math>\mathbb{C}=\lbrace a+ib~\vert\ a,b\in\mathbb{R},\ i^2=-1\rbrace</math>
Το σύνολο των μιγαδικών περιέχει επιπλέον όλους τους πραγματικούς αριθμούς, καθώς κάθε πραγματικός αριθμός μπορεί να γραφτεί ως ένας μιγαδικός με μηδενικό φανταστικό μέρος<math>:\ a+0i</math>.
Αν το φανταστικό μέρος ενός μιγαδικού είναι ίσο με το [[μηδέν]], τότε αυτός ο μιγαδικός ταυτίζεται με τον πραγματικό αριθμό <math>a</math>.
Το πραγματικό μέρος ενός μιγαδικού <math>z=a+ib</math> συμβολίζεται με <math>Re(z)</math> ενώ το φανταστικό μέρος με <math>Im(z)</math>, δηλαδή ισχύει:
* <math>Re(z)=a</math>
* <math>Im(z)=b</math>
Δύο μιγαδικοί αριθμοί <math>,z_1=x_1+iy_1,\ z_2=x_2+iy_2</math>, είναι ίσοι μεταξύ τους [[αν και μόνο αν]] τα πραγματικά τους μέρη και τα φανταστικά τους μέρη είναι μεταξύ τους ίσα. Δηλαδή, αν <math>x_1=x_2,\ y_1=y_2</math>.
Πράξεις μεταξύ μιγαδικών αριθμών, γίνονται με βάση τους γνωστούς κανόνες αντιμετάθεσης, προσεταιρισμού και επιμερισμού, της [[Άλγεβρα]]ς:
* <math>(a+ib)+(c+id)=(a+c)+i(b+d)</math>
* <math>(a+ib)-(c+id)=(a-c)+i(b-d)</math>
* <math>(a+ib)(c+id)=ac+ibc+iad+i^2bd=(ac-bd)+i(bc+ad)</math>
Πιο αυστηρά, οι μιγαδικοί αριθμοί ορίζονται ως το σώμα <math>\mathbb{C}=\left \{(a,b),\oplus,\otimes \right\}</math> με <math>(a,b) \in \mathbb{R}^2</math> και
<math>\oplus: </math> προσθετική πράξη <math>\mathbb{R}^2 \times \mathbb{R}^2 \to \mathbb{R}^2 : (a,b) \oplus (c,d)= (a+c,b+d)</math>
<math>\otimes: </math> πολλαπλασιαστική πράξη <math>\mathbb{R}^2 \times \mathbb{R}^2 \to \mathbb{R}^2 : (a,b) \otimes (c,d)= (a \cdot c-b \cdot d,a \cdot d+c \cdot b)</math>
όπου + και <math> \cdot </math> η κοινή πρόσθεση και ο κοινός πολλαπλασιασμός των πραγματικών.
Αποδεικνύεται εύκολα ότι το υποσύνολο του <math>\mathbb{C}</math>
<math>\mathbf{R}=\lbrace (a,0)\vert a\in\mathbb{R}\rbrace</math>
είναι [[υπόσωμα]] του <math>\mathbb{C}</math> και είναι ισόμορφο με το <math>\mathbb{R}</math>. Με βάση αυτό, πολλές φορές συμβολίζουμε το <math>(a,0)</math> με <math>a</math>, έτσι π.χ. συμβολίζουμε το <math>(3,0)=3,\ \left(\tfrac{5}{11},0\right)=\tfrac{5}{11}</math> κτλ.
Το στοιχείο <math> (0,1) \in \mathbb{C}</math> το συμβολίζουμε <math>i</math> και το ονομάζουμε φανταστική μονάδα.
Το αυστηρά ορισμένο αυτό σώμα έχει όλες τις ιδιότητες που προαναφέρθηκαν για τους μιγαδικούς και αποφεύγει την "αντιδιαισθητική" αναφορά στο <math>\sqrt{-1}</math>. Για το σώμα αυτό ισχύει:
<math> i^2=(0,1) \otimes (0,1)=(0 \cdot 0 - 1 \cdot 1, 1 \cdot 0+0 \cdot1)=(-1,0)=-1</math>
όπου όμως το <math>-1</math> δεν είναι ο πραγματικός <math>-1</math> αλλά ο εναλλακτικός συμβολισμός του μιγαδικού <math>(-1,0)</math>, κι έτσι δεν δημιουργείται πρόβλημα. Οι μιγαδικοί δηλαδή δεν είναι μια αυθαίρετη επίκληση στην ύπαρξη ριζών αρνητικών πραγματικών, αλλά ένα εντελώς διαφορετικό σώμα του οποίου τουλάχιστον ένα υπόσωμα είναι ισόμορφο με τους πραγματικούς.
=== Μιγαδικό επίπεδο ===
[[Αρχείο:Complex number illustration.svg|thumb|right|Ένας μιγαδικός <math>z=a+ib</math> παριστάνεται και με το [[διάνυσμα]] με αρχή το κέντρο των αξόνων και πέρας το σημείο <math>(a,b)</math>. ]]
Κάθε μιγαδικός αριθμός <math>z=a+ib</math> μπορεί να αντιστοιχιστεί σε ένα σημείο <math>M(a,b)</math> ενός δισδιάστατου [[Καρτεσιανό σύστημα συντεταγμένων|καρτεσιανού συστήματος συντεταγμένων]]. Κάθε τέτοιο σημείο <math>M</math> λέγεται "εικόνα" του αντίστοιχου μιγαδικού αριθμού <math>z</math> και συμβολίζεται με <math>M(z)</math> ή <math>M(a,b)</math>. Σε αυτή την περίπτωση, το καρτεσιανό σύστημα συντεταγμένων λέγεται "μιγαδικό επίπεδο" (ή "διάγραμμα Argand").
Λόγω της παραπάνω αντιστοίχισης μιγαδικού με σημείο, κάθε μιγαδικός αριθμός <math>z</math> μπορεί να αναπαρασταθεί στο μιγαδικό επίπεδο με το [[διάνυσμα]] <math> \overrightarrow{OM}</math>, που έχει αρχή το κέντρο <math>O</math> των αξόνων και τέλος το σημείο <math>M(a,b)</math>.
Το ''[[μέτρο]]'' του μιγαδικού αριθμού ορίζεται ως το μέτρο του διανύσματος <math> \overrightarrow{OM}</math> ή, ισοδύναμα, ως η [[Απόσταση (γεωμετρία)|απόσταση]] του <math>M</math> από το κέντρο <math>O</math> του μιγαδικού επιπέδου: <math> |z|=\sqrt{x^2+y^2}\geq 0</math>
=== Συζυγής μιγαδικός ===
{{Κύριο|Συζυγής μιγαδικός αριθμός}}
Ο ''συζυγής'' ενός μιγαδικού αριθμού <math>z=a+ib</math> ορίζεται ως <math>a-ib</math>, και συμβολίζεται <math>\bar{z}</math>. Γεωμετρικά, ο <math>\bar{z}</math> αποτελεί τον κατοπτρισμό του <math>z</math> ως προς τον άξονα των πραγματικών (βλ. σχήμα). Για ένα μιγαδικό αριθμό <math>z</math>, τον συζυγή και το μέτρο του ισχύουν οι ακόλουθες σχέσεις:
* <math>|z|^2 = z\bar{z}</math>
* <math>|z|=|\bar{z}|=|-z|=|\bar{-z}|</math>
* <math>\overline{z+w} = \bar{z} + \bar{w}</math>
* <math>\overline{zw} = \bar{z}\bar{w}</math>
* <math>\overline{\left(\frac{z}{w}\right)} = \frac{\bar{z}}{\bar{w}}</math>
* <math>\bar{z}=z</math> αν και μόνο αν <math>Im(z)=0</math>
* <math>\bar{z}=-z</math> αν και μόνο αν <math>Re(z)=0</math>
* <math>\overline{\left(\bar{z}\right)}=z</math>
* <math>\frac{1}{z}=\frac{\bar{z}}{|z|^{2}},\ z\neq 0</math>
=== Τριγωνομετρική μορφή ===
[[Αρχείο:Complex number.jpg|right|200px]]
Εκτός από τις καρτεσιανές συντεταγμένες του, ένας μιγαδικός μπορεί να γραφεί και με ''πολική'' ή ''τριγωνομετρική μορφή''. Οι ''[[Πολικό σύστημα συντεταγμένων |πολικές συντεταγμένες]]'' ενός μιγαδικού <math>z</math> είναι το ζευγάρι <math>(r,\phi)</math>, όπου <math>r=\left|z\right|</math>, είναι το [[μέτρο (διανύσματος)|μέτρο]] του μιγαδικού και <math>\phi</math>, το ''πρωτεύον όρισμα'' του <math>z</math>.
''Όρισμα'' ενός μιγαδικού <math>z</math> είναι κάθε μία από τις γωνίες που σχηματίζει ο θετικός οριζόντιος ημιάξονας <math>\mathbb{R}</math> με το αντίστοιχο διάνυσμα του <math>z</math>. ''Πρωτεύον όρισμα'' είναι η γωνία εκείνη που βρίσκεται στο διάστημα <math>\left(-\pi,\pi\right \rbrack</math>, και συμβολίζεται με <math>Arg(z)</math>. Οπότε κάθε άλλο όρισμα του <math>z</math>, διαφέρει κατά <math>2\kappa\pi</math> από το <math>Arg(z)</math>, όπου <math>\kappa\in\mathbb{Z}</math> ([[ακέραιος]]).
Ισχύει ότι:
<math> z = x + iy = r (\cos \phi + i\sin \phi )</math>
όπου:
<math> r=|z|=\sqrt{x^2+y^2}\geq 0</math>
και το όρισμα <math>\phi</math> προσδιορίζεται με προσθετέο <math>2\kappa\pi</math>, δηλαδή ορίσματα που διαφέρουν κατά ένα ακέραιο πολλαπλάσιο του <math>2\pi</math> είναι ισοδύναμα.
=== Εκθετική μορφή ===
Χρησιμοποιώντας την [[ταυτότητα του Όιλερ|εξίσωση του Όιλερ]], η τριγωνομετρική μορφή μετατρέπεται σε:
:<math> z=|z|e^{i\phi}</math>
που λέγεται ''εκθετική μορφή''.
Με βάση την εκθετική μορφή των μιγαδικών αριθμών, μπορούν να οριστούν ο πολλαπλασιασμός ή η διαίρεσή τους ως εξής:
:<math>r_1 e^{i\phi_1} \cdot r_2 e^{i\phi_2}
= r_1r_2 e^{i(\phi_1 + \phi_2)}</math>
και
:<math>\frac{r_1 e^{i\phi_1}}
{r_2 e^{i\phi_2}}
=\frac{r_1}{r_2}e^{i(\phi_1-\phi_2)}</math>
Κατά αυτό τον τρόπο, η πρόσθεση μιγαδικών ταυτίζεται με πρόσθεση διανυσμάτων ενώ ο πολλαπλασιασμός μπορεί να θεωρηθεί ως μία ''στροφή'' (και ''ομοιοθεσία'', δηλ. επιμήκυνση ή σμίκρυνση) διανύσματος. Ο πολλαπλασιασμός με τον φανταστικό αριθμό <math>i</math> αντιστοιχεί σε μία στροφή <math>90^\circ</math> (με φορά αντίθετη των δεικτών του ρολογιού). Η γεωμετρική επομένως σημασία της εξίσωσης <math>i^2=-1</math>, που ορίζει τη φανταστική μονάδα, είναι πως δύο διαδοχικές στροφές <math>90^\circ</math> ταυτίζονται με μία στροφή <math>180^\circ</math>.
== Δείτε ακόμα ==
* [[Θεμελιώδες θεώρημα άλγεβρας|Το Θεμελιώδες Θεώρημα της Άλγεβρας]]
| |||