Φανταστική μονάδα

Η φανταστική μονάδα Πρότυπο:Mvar στο μιγαδικό επίπεδο: Οι πραγματικοί αριθμοί σχεδιάζονται συμβατικά στον οριζόντιο άξονα και οι φανταστικοί αριθμοί στον κατακόρυφο άξονα.

Η φανταστική μονάδα ή μοναδιαίος φανταστικός αριθμός (Πρότυπο:Mvar) είναι μια μαθηματική σταθερά που αποτελεί λύση της τετραγωνικής εξίσωσης x ² + 1 = 0. Αν και δεν υπάρχει πραγματικός αριθμός με αυτή την ιδιότητα, ο Πρότυπο:Mvar μπορεί να χρησιμοποιηθεί για να επεκτείνει τους πραγματικούς αριθμούς στους λεγόμενους μιγαδικούς αριθμούς, χρησιμοποιώντας την πρόσθεση και τον πολλαπλασιασμό. Ένα απλό παράδειγμα χρήσης του Πρότυπο:Mvar σε έναν μιγαδικό αριθμό είναι ο Πρότυπο:Math

Οι φανταστικοί αριθμοί είναι μια σημαντική μαθηματική έννοια- επεκτείνουν το σύστημα πραγματικών αριθμών $ℝ$ στο σύστημα μιγαδικών αριθμών$ℂ,$ στο οποίο υπάρχει τουλάχιστον μία ρίζα για κάθε μη σταθερό πολυώνυμο (βλέπε Αλγεβρικό κλείσιμο και Θεμελιώδες θεώρημα της άλγεβρας). Εδώ χρησιμοποιείται ο όρος «φανταστικός» επειδή δεν υπάρχει πραγματικός αριθμός που να έχει αρνητικό τετράγωνο.

Υπάρχουν δύο μιγαδικές τετραγωνικές ρίζες του Πρότυπο:Math Πρότυπο:Mvar και Πρότυπο:Math,, όπως ακριβώς υπάρχουν δύο μιγαδικές τετραγωνικές ρίζες κάθε πραγματικού αριθμού εκτός από το μηδέν (που έχει μία διπλή τετραγωνική ρίζα).

Σε περιβάλλοντα στα οποία η χρήση του γράμματος Πρότυπο:Mvar είναι διφορούμενη ή προβληματική, χρησιμοποιείται μερικές φορές το γράμμα Πρότυπο:Mvar. Παραδείγματος χάριν, στην ηλεκτρολογική μηχανική και τη μηχανική συστημάτων ελέγχου, η φανταστική μονάδα συμβολίζεται συνήθως με Πρότυπο:Mvar αντί για Πρότυπο:Mvar, επειδή το Πρότυπο:Mvar χρησιμοποιείται συνήθως για να δηλώσει το ηλεκτρικό ρεύμα.

Ορολογία

Περαιτέρω πληροφορίες: Ιστορία μιγαδικών αριθμών

Οι τετραγωνικές ρίζες των αρνητικών αριθμών ονομάζονται φανταστικοί, επειδή στα πρώιμα-νεωτερικά μαθηματικά, μόνο αυτοί που σήμερα ονομάζονται πραγματικοί αριθμοί, οι οποίοι μπορούσαν να ληφθούν με φυσικές μετρήσεις ή με βασική αριθμητική, θεωρούνταν καθόλου αριθμοί - ακόμη και οι αρνητικοί αριθμοί αντιμετωπίζονταν με σκεπτικισμό - έτσι η τετραγωνική ρίζα ενός αρνητικού αριθμού θεωρούνταν προηγουμένως απροσδιόριστη ή μη λογική. Το όνομα φανταστικό αποδίδεται γενικά στον Ρενέ Ντεκάρτ, ενώ ο Ισαάκ Νεύτων χρησιμοποίησε τον όρο ήδη από το 1670 Ο συμβολισμός i εισήχθη από τον Λέοναρντ Όιλερ.

Η μονάδα είναι ένα αδιαίρετο σύνολο και η μονάδα ή ο μοναδιαίος αριθμός είναι ο αριθμός ένα ένα (Πρότυπο:Math)..

Ορισμός

The powers of Πρότυπο:Mvar are cyclic:
$⋮$
$i^{-4}=\phantom{-}1\phantom{i}$
$i^{-3}=\phantom{-}i\phantom{1}$
$i^{-2}=-1\phantom{i}$
$i^{-1}=-i\phantom{1}$
$i^0=\phantom{-}1\phantom{i}$
$i^1=\phantom{-}i\phantom{1}$
$i^2=-1\phantom{i}$
$i^3=-i\phantom{1}$
$i^4=\phantom{-}1\phantom{i}$
$i^5=\phantom{-}i\phantom{1}$
$i^6=-1\phantom{i}$
$i^7=-i\phantom{1}$
$⋮$

Η φανταστική μονάδα Πρότυπο:Mvar ορίζεται αποκλειστικά από την ιδιότητα ότι το τετράγωνό της είναι -1: $i^2=-1.$

Με το Πρότυπο:Mvar ορισμένο με αυτόν τον τρόπο, προκύπτει άμεσα από την άλγεβρα ότι Πρότυπο:Mvar και Πρότυπο:Math είναι και οι δύο τετραγωνικές ρίζες του -1.

Παρόλο που η κατασκευή ονομάζεται «φανταστική» και παρόλο που η έννοια του φανταστικού αριθμού μπορεί να είναι διαισθητικά πιο δύσκολη να κατανοηθεί από εκείνη του πραγματικού αριθμού, η κατασκευή είναι έγκυρη από μαθηματική άποψη. Οι πράξεις πραγματικών αριθμών μπορούν να επεκταθούν σε φανταστικούς και μιγαδικούς αριθμούς, αντιμετωπίζοντας το Πρότυπο:Mvar ως άγνωστη ποσότητα κατά τον χειρισμό μιας έκφρασης (και χρησιμοποιώντας τον ορισμό για την αντικατάσταση κάθε εμφάνισης του i² με Πρότυπο:Math). Οι υψηλότερες ολοκληρωτικές δυνάμεις του Πρότυπο:Mvar είναι επομένως

$\begin{array}{cccccc}{i}^3& =i^{2}i& & =(-1)i& & =-i,\\ i^4& =i^{3}i& & =(-i)i& & =1,\\ i^5& =i^{4}i& & =(1)i& & =i,\end{array}$

κ.ο.κ., διατρέχοντας κυκλικά τις τέσσερις τιμές Πρότυπο:Math, Πρότυπο:Mvar, Πρότυπο:Math και Πρότυπο:Math. Όπως με κάθε μη μηδενικό πραγματικό αριθμό, i ⁰ = 1.

Ως μιγαδικός αριθμός, το i μπορεί να παρασταθεί σε ορθογώνια μορφή ως 0 + 1i, με μηδενική πραγματική συνιστώσα και μοναδιαία φανταστική συνιστώσα. Σε πολική μορφή, το i μπορεί να αναπαρασταθεί ως 1 × e^{πi /2} (ή απλά e^{πi /2}), με απόλυτη τιμή (ή μέγεθος) 1 και όρισμα (ή γωνία) $\frac{\pi }{2}$ ακτίνια. (Η προσθήκη οποιουδήποτε ακέραιου πολλαπλάσιου του 2π σε αυτή τη γωνία λειτουργεί επίσης.) Στο μιγαδικό επίπεδο, το οποίο είναι μια ειδική ερμηνεία του καρτεσιανού επιπέδου, το i είναι το σημείο που βρίσκεται μία μονάδα από την αρχή κατά μήκος του φανταστικού άξονα (ο οποίος είναι κάθετος στον πραγματικό άξονα).

Πρότυπο:Math vs. Πρότυπο:Math

Ως τετραγωνικό πολυώνυμο χωρίς πολλαπλές ρίζες, η εξίσωση x² = −1 έχει δύο διαφορετικές λύσεις, οι οποίες είναι εξίσου έγκυρες και οι οποίες τυχαίνει να είναι προσθετικές και πολλαπλασιαστικές αντιστροφές η μία της άλλης. Παρόλο που οι δύο λύσεις είναι διαφορετικοί αριθμοί, οι ιδιότητές τους είναι δυσδιάκριτες- δεν υπάρχει καμία ιδιότητα που να έχει η μία που να μην έχει η άλλη. Η μία από αυτές τις δύο λύσεις χαρακτηρίζεται ως Πρότυπο:Math (ή απλά Πρότυπο:Mvar) και η άλλη ως Πρότυπο:Math, αν και είναι εγγενώς διφορούμενο ποιο είναι ποιο.

Οι μόνες διαφορές μεταξύ Πρότυπο:Math και Πρότυπο:Math προκύπτουν από αυτή την επισήμανση. Επί παραδείγματι, κατά σύμβαση το Πρότυπο:Math λέγεται ότι έχει όρισμα $+\frac{\pi }{2}$ και το -i λέγεται ότι έχει όρισμα $-\frac{\pi }{2},$ που σχετίζεται με τη σύμβαση της επισήμανσης των προσανατολισμών στο καρτεσιανό επίπεδο σε σχέση με τον θετικό άξονα Πρότυπο:Mvar με θετικές γωνίες που στρέφονται αριστερόστροφα προς την κατεύθυνση του θετικού άξονα y. Επίσης, παρά τα σύμβολα που γράφονται με αυτά, ούτε το Πρότυπο:Math ούτε το Πρότυπο:Math είναι εγγενώς θετικά ή αρνητικά με την έννοια που είναι οι πραγματικοί αριθμοί.

Μια πιο τυπική έκφραση αυτής της μη διακριτότητας των Πρότυπο:Math και Πρότυπο:Math είναι ότι, παρόλο που το μιγαδικό σώμα είναι μοναδικό (ως επέκταση των πραγματικών αριθμών) μέχρι τον ισομορφισμό, είναι Πρότυπο:Em μοναδικό μέχρι έναν Πρότυπο:Em ισομορφισμό. Δηλαδή, υπάρχουν δύο αυτομορφισμοί του σώματος των μιγαδικών αριθμών $ℂ$ που διατηρούν κάθε πραγματικό αριθμό σταθερό, δηλαδή η ταυτότητα και η μιγαδική σύζευξη. Για περισσότερες πληροφορίες σχετικά με αυτό το γενικό φαινόμενο, δείτε ομάδα Γκαλουά.

Πίνακες

Χρησιμοποιώντας τις έννοιες των πινάκων και του πολλαπλασιασμού πινάκων, οι σύνθετοι αριθμοί μπορούν να αναπαρασταθούν στη γραμμική άλγεβρα. Η πραγματική μονάδα 1 και η φανταστική μονάδα i μπορούν να αναπαρασταθούν από οποιοδήποτε ζεύγος πινάκων Πρότυπο:Mvar και Πρότυπο:Mvar που ικανοποιούν τις σχέσεις I² = I, IJ = JI = J, και J² = −I. Τότε ένας μιγαδικός αριθμός Πρότυπο:Math μπορεί να αναπαρασταθεί από τον πίνακα Πρότυπο:Math και όλοι οι συνήθεις κανόνες της μιγαδικής αριθμητικής μπορούν να προκύψουν από τους κανόνες της αριθμητικής των πινάκων.

Η πιο συνηθισμένη επιλογή είναι να αναπαραστήσουμε το Πρότυπο:Math και το Πρότυπο:Mvar με τον πίνακα ταυτότητας Πρότυπο:Math Πρότυπο:Mvar και τον πίνακα Πρότυπο:Mvar,

$I=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right),J=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right).$

Τότε ένας αυθαίρετος μιγαδικός αριθμός Πρότυπο:Math μπορεί να αναπαρασταθεί από:

$aI+bJ=\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right).$

Γενικότερα, οποιοσδήποτε πίνακας πραγματικών τιμών Πρότυπο:Math με ίχνος μηδέν και ορίζουσα ένα τετράγωνο Πρότυπο:Math, οπότε θα μπορούσε να επιλεγεί για Πρότυπο:Mvar. Θα μπορούσαν επίσης να χρησιμοποιηθούν μεγαλύτεροι πίνακες- για παράδειγμα, ο Πρότυπο:Math θα μπορούσε να αναπαρασταθεί από τον Πρότυπο:Math πίνακα ταυτότητας και ο Πρότυπο:Mvar θα μπορούσε να αναπαρασταθεί από οποιονδήποτε από τους πίνακες Ντιράκ για τις χωρικές διαστάσεις.

Ρίζα του Πρότυπο:Math

Τα πολυώνυμα (σταθμισμένα αθροίσματα των δυνάμεων μιας μεταβλητής) είναι ένα βασικό εργαλείο της άλγεβρας. Τα πολυώνυμα των οποίων οι συντελεστές είναι πραγματικοί αριθμοί σχηματίζουν έναν δακτύλιο, που συμβολίζεται $ℝ[x],$ μια αλγεβρική δομή με πρόσθεση και πολλαπλασιασμό και μοιράζεται πολλές ιδιότητες με τον δακτύλιο των ακεραίων.

Το πολυώνυμο $x^2+1$ δεν έχει ρίζες πραγματικού αριθμού, αλλά το σύνολο όλων των πολυωνύμων με πραγματικό συντελεστή που διαιρείται με το $x^2+1$ αποτελεί ένα ιδεώδες, και έτσι υπάρχει ένας πηλίκο δακτύλιος $ℝ[x]/⟨x^2+1⟩.$ Αυτός ο πηλίκος δακτύλιος είναι ισομορφικός με τους μιγαδικούς αριθμούς, και η μεταβλητή $x$ εκφράζει τη φανταστική μονάδα.

Γραφική αναπαράσταση

Κύριο άρθρο: Μιγαδικό επίπεδο

Οι μιγαδικοί αριθμοί μπορούν να αναπαρασταθούν γραφικά σχεδιάζοντας τη γραμμή των πραγματικών αριθμών ως οριζόντιο άξονα και τους φανταστικούς αριθμούς ως κατακόρυφο άξονα ενός καρτεσιανού επιπέδου που ονομάζεται μιγαδικό επίπεδο. Σε αυτή την αναπαράσταση, οι αριθμοί Πρότυπο:Math και Πρότυπο:Mvar βρίσκονται στην ίδια απόσταση από το Πρότυπο:Math, με ορθή γωνία μεταξύ τους. Η πρόσθεση με έναν μιγαδικό αριθμό αντιστοιχεί σε μετατόπιση στο επίπεδο, ενώ ο πολλαπλασιασμός με έναν μιγαδικό αριθμό μοναδιαίου μεγέθους αντιστοιχεί σε περιστροφή γύρω από την αρχή. Κάθε μετασχηματισμός ομοιότητας του επιπέδου μπορεί να αναπαρασταθεί από μια μιγαδική γραμμική συνάρτηση $z\mapsto az+b.$

Γεωμετρική άλγεβρα

Στη γεωμετρική άλγεβρα του ευκλείδειου επιπέδου, το γεωμετρικό γινόμενο ή πηλίκο δύο αυθαίρετων διανυσμάτων είναι άθροισμα ενός κλιμακωτού (πραγματικός αριθμός) μέρους και ενός 2-διανύσματος μέρους. (Ένα κλιμάκιο είναι μια ποσότητα χωρίς προσανατολισμό, ένα διάνυσμα είναι μια ποσότητα προσανατολισμένη όπως μια γραμμή και ένα διάνυσμα είναι μια ποσότητα προσανατολισμένη όπως ένα επίπεδο). Το τετράγωνο οποιουδήποτε διανύσματος είναι ένα θετικό κλιμάκιο, που αντιπροσωπεύει το μήκος του στο τετράγωνο, ενώ το τετράγωνο οποιουδήποτε διάνυσματός του είναι ένα αρνητικό κλιμάκιο.

Το πηλίκο ενός διανύσματος με τον εαυτό του είναι το κλιμάκιο Πρότυπο:Math, και όταν πολλαπλασιάζεται με οποιοδήποτε διάνυσμα το αφήνει αμετάβλητο (ο μετασχηματισμός ταυτότητας). Το πηλίκο δύο οποιωνδήποτε κάθετων διανυσμάτων του ίδιου μεγέθους, Πρότυπο:Math, το οποίο όταν πολλαπλασιάζεται στρέφει το διαιρέτη κατά ένα τέταρτο προς το μέρισμα, Πρότυπο:Math, είναι ένα μοναδιαίο 2-διάνυσμα που τετραγωνίζεται με Πρότυπο:Math, και μπορεί έτσι να θεωρηθεί ως εκπρόσωπος της φανταστικής μονάδας. Οποιοδήποτε άθροισμα ενός κλιμακωτού και ενός 2-διάνυσματός του μπορεί να πολλαπλασιαστεί με ένα διάνυσμα για να κλιμακωθεί και να περιστραφεί, και η άλγεβρα τέτοιων αθροισμάτων είναι ισομορφική με την άλγεβρα των μιγαδικών αριθμών. Σε αυτή την ερμηνεία τα σημεία, τα διανύσματα και τα αθροίσματα κλιμάκων και 2-διανυσμάτων είναι όλοι ξεχωριστοί τύποι γεωμετρικών αντικειμένων.

Γενικότερα, στη γεωμετρική άλγεβρα οποιουδήποτε Ευκλείδειος χώρος ανώτερης διάστασης, ένας μοναδιαίος διάνυσμα οποιουδήποτε αυθαίρετου επίπεδου προσανατολισμού τετραγωνίζεται σε Πρότυπο:Math, οπότε μπορεί να θεωρηθεί ότι αντιπροσωπεύει τη φανταστική μονάδα Πρότυπο:Mvar.

Κανονική χρήση

Η φανταστική μονάδα γράφτηκε ιστορικά $\sqrt{-1},$ και εξακολουθεί να γράφεται σε ορισμένα σύγχρονα έργα. Ωστόσο, πρέπει να δίνεται μεγάλη προσοχή όταν γίνεται χειρισμός τύπων που περιλαμβάνουν ρίζες. Ο συμβολισμός με το σύμβολο της ρίζας $\sqrt{x}$ προορίζεται είτε για την κύρια συνάρτηση τετραγωνικής ρίζας, η οποία ορίζεται για μόνο πραγματικό Πρότυπο:Math είτε για τον κύριο κλάδο της μιγαδικής συνάρτησης τετραγωνικής ρίζας. Η προσπάθεια εφαρμογής των κανόνων υπολογισμού της κύριας (πραγματικής) συνάρτησης τετραγωνικής ρίζας για τον χειρισμό του κύριου κλάδου της μιγαδικής συνάρτησης τετραγωνικής ρίζας μπορεί να παράγει λανθασμένα αποτελέσματα:

$-1=i\cdot i=\sqrt{-1}\cdot \sqrt{-1}\stackrel{\mathrm{f}\mathrm{a}\mathrm{l}\mathrm{l}\mathrm{a}\mathrm{c}\mathrm{y}}{=}\sqrt{(-1)\cdot (-1)}=\sqrt{1}=1\text{(incorrect).}$

Σε γενικές γραμμές, οι κανόνες υπολογισμού

$\sqrt{x\phantom{ty}}\cdot \sqrt{y\phantom{ty}}=\sqrt{x\cdot y\phantom{ty}}$ και $\sqrt{x\phantom{ty}}/\sqrt{y\phantom{ty}}=\sqrt{x/y}$ είναι εγγυημένα έγκυρες μόνο για πραγματικές, θετικές τιμές του Πρότυπο:Mvar και Πρότυπο:Mvar.

Όταν Πρότυπο:Mvar ή Πρότυπο:Mvar είναι πραγματικό αλλά αρνητικό, τα προβλήματα αυτά μπορούν να αποφευχθούν με τη συγγραφή και τον χειρισμό εκφράσεων όπως $i\sqrt{7}$, αντί για $\sqrt{-7}$. Για μια πιο διεξοδική μελέτη, ανατρέξτε στα άρθρα Τετραγωνική ρίζα και Σημείο διακλάδωσης.

Ιδιότητες

Ως μιγαδικός αριθμός, η φανταστική μονάδα ακολουθεί όλους τους κανόνες της μιγαδικής αριθμητικής.

Φανταστικοί ακέραιοι και φανταστικοί αριθμοί

Όταν η φανταστική μονάδα προστίθεται ή αφαιρείται επανειλημμένα, το αποτέλεσμα είναι κάποιος ακέραιος επί τη φανταστική μονάδα, ένας φανταστικός ακέραιος- οποιοιδήποτε τέτοιοι αριθμοί μπορούν να προστεθούν και το αποτέλεσμα είναι επίσης ένας φανταστικός ακέραιος:

$ai+bi=(a+b)i.$

Έτσι, η φανταστική μονάδα είναι η γεννήτρια μιας ομάδας υπό πρόσθεση, συγκεκριμένα μιας άπειρης κυκλικής ομάδας.

Η φανταστική μονάδα μπορεί επίσης να πολλαπλασιαστεί με οποιονδήποτε αυθαίρετο πραγματικό αριθμό για να σχηματιστεί ένας φανταστικός αριθμός. Αυτοί οι αριθμοί μπορούν να απεικονιστούν σε μια αριθμογραμμή, τον φανταστικό άξονα, ο οποίος ως μέρος του μιγαδικού επιπέδου σχεδιάζεται συνήθως με κατακόρυφο προσανατολισμό, κάθετα στον πραγματικό άξονα που σχεδιάζεται οριζόντια.

Ακέραιοι αριθμοί του Γκάους

Τα αθροίσματα των ακεραίων της πραγματικής μονάδας Πρότυπο:Math και της φανταστικής μονάδας Πρότυπο:Mvar σχηματίζουν ένα τετραγωνικό πλέγμα στο μιγαδικό επίπεδο που ονομάζεται Γκαουσιανοί ακέραιοι. Το άθροισμα, η διαφορά ή το γινόμενο των ακέραιων αριθμών Γκάους είναι επίσης ακέραιος αριθμός Γκάους:

$\begin{array}{cc}(a+bi)+(c+di)& =(a+c)+(b+d)i,\\ (a+bi)(c+di)& =(ac-bd)+(ad+bc)i.\end{array}$

Ακέραιες δυνάμεις

Οι δυνάμεις του Πρότυπο:Mvar επαναλαμβάνονται σε έναν κύκλο που εκφράζεται με το ακόλουθο μοτίβο, όπου Πρότυπο:Mvar είναι οποιοσδήποτε ακέραιος:

$i^{4n}=1,i^{4n+1}=i,i^{4n+2}=-1,i^{4n+3}=-i.$

Έτσι, υπό πολλαπλασιασμό, η Πρότυπο:Mvar είναι γεννήτρια μιας κυκλικής ομάδας τάξης 4, μιας διακριτής υποομάδας της συνεχούς κυκλικής ομάδας των μοναδιαίων μιγαδικών αριθμών υπό πολλαπλασιασμό.

Γράφεται ως ειδική περίπτωση του τύπου του Όιλερ για έναν ακέραιο Πρότυπο:Mvar,

$i^n=\exp (\frac{1}{2}\pi i{)}^n=\exp (\frac{1}{2}n\pi i)=\cos (\frac{1}{2}n\pi )+i\sin (\frac{1}{2}n\pi ).$

Με μια προσεκτική επιλογή των περικοπών των κλάδων και των κύριων τιμών, η τελευταία εξίσωση μπορεί επίσης να εφαρμοστεί σε αυθαίρετες σύνθετες τιμές του Πρότυπο:Mvar, συμπεριλαμβανομένων περιπτώσεων όπως Πρότυπο:Math.

Περιστροφή κατά ένα τέταρτο

Όταν πολλαπλασιάζεται με τη φανταστική μονάδα Πρότυπο:Mvar, οποιοσδήποτε αυθαίρετος μιγαδικός αριθμός στο μιγαδικό επίπεδο περιστρέφεται κατά ένα τέταρτο της στροφής Πρότυπο:Nobr} ή Πρότυπο:Math}) αριστερόστροφα. Όταν πολλαπλασιάζεται με το Πρότυπο:Math, οποιοσδήποτε αυθαίρετος μιγαδικός αριθμός περιστρέφεται κατά ένα τέταρτο της φορά των δεικτών του ρολογιού. Σε πολική μορφή:

$ir{e}^{\phi i}=r{e}^{(\phi +\pi /2)i},-ir{e}^{\phi i}=r{e}^{(\phi -\pi /2)i}.$

Σε ορθογώνια μορφή,

$i(a+bi)=-b+ai,-i(a+bi)=b-ai.$

Ρίζες

Οι δύο τετραγωνικές ρίζες του Πρότυπο:Mvar στο μιγαδικό επίπεδο

Όπως όλοι οι μη μηδενικοί μιγαδικοί αριθμοί, ο $i=e^{\pi i/2}$ έχει δύο διαφορετικές τετραγωνικές ρίζες που είναι προσθετικά αντίστροφα. Σε πολική μορφή, είναι

$\begin{array}{cccc}\sqrt{i}& =\exp (\frac{1}{2}\pi i{)}^{1/2}& & =\exp \left(\frac{1}{4}\pi i\right),\\ -\sqrt{i}& =\exp (\frac{1}{4}\pi i-\pi i)& & =\exp \left(-\frac{3}{4}\pi i\right).\end{array}$

Σε ορθογώνια μορφή, είναι

$\begin{array}{cc}{x}^2-y^2& =0\\ 2xy& =1.\end{array}$

Ο τετραγωνισμός οποιασδήποτε έκφρασης δίνει

${(\pm \frac{1+i}{\sqrt{2}})}^2=\frac{1+2i-1}{2}=\frac{2i}{2}=i.$

Οι τρεις κυβικές ρίζες του Πρότυπο:Mvar στο μιγαδικό επίπεδο

Οι τρεις κυβικές ρίζες του Πρότυπο:Mvar είναι

$\sqrt[3]{i}=\exp \left(\frac{1}{6}\pi i\right)=\frac{\sqrt{3}}{2}+\frac{1}{2}i,\exp \left(\frac{5}{6}\pi i\right)=-\frac{\sqrt{3}}{2}+\frac{1}{2}i,\exp \left(-\frac{1}{2}\pi i\right)=-i.$

Για έναν γενικό θετικό ακέραιο Πρότυπο:Mvar, οι Πρότυπο:Mvar-th ρίζες του Πρότυπο:Mvar είναι, για Πρότυπο:Math

$\exp \left(2\pi i\frac{k+\frac{1}{4}}{n}\right)=\cos \left(\frac{4k+1}{2n}\pi \right)+i\sin \left(\frac{4k+1}{2n}\pi \right).$

Η τιμή που σχετίζεται με Πρότυπο:Math είναι η κύρια Πρότυπο:Mvar-οστή ρίζα της Πρότυπο:Mvar. Το σύνολο των ριζών ισούται με το αντίστοιχο σύνολο των ριζών της μονάδας περιστρεφόμενο κατά την κύρια Πρότυπο:Mvar-οστή ρίζα του Πρότυπο:Mvar. Αυτές είναι οι κορυφές ενός κανονικού πολυγώνου εγγεγραμμένου εντός του μιγαδικού μοναδιαίου κύκλου.

Εκθετικός και λογάριθμος

Η μιγαδική εκθετική συνάρτηση συσχετίζει την μιγαδική πρόσθεση στον τομέα με τον μιγαδικό πολλαπλασιασμό στον συν-περιορισμό. Οι πραγματικές τιμές στο πεδίο αντιπροσωπεύουν την κλιμάκωση στο codomain (πολλαπλασιασμός με ένα πραγματικό κλιμάκιο) με Πρότυπο:Math να αντιπροσωπεύει τον πολλαπλασιασμό με Πρότυπο:Mvar, ενώ οι φανταστικές τιμές στο πεδίο αντιπροσωπεύουν την περιστροφή στο πεδίο τιμών (πολλαπλασιασμός με έναν μοναδιαίο μιγαδικό αριθμό) με Πρότυπο:Mvar να αντιπροσωπεύει μια περιστροφή κατά Πρότυπο:Math ακτίνα. Ο μιγαδικός εκθετικός είναι επομένως μια περιοδική συνάρτηση στη φανταστική κατεύθυνση, με περίοδο Πρότυπο:Math} και εικόνα Πρότυπο:Math στα σημεία Πρότυπο:Math για όλους τους ακέραιους Πρότυπο:Mvar, ένα πραγματικό πολλαπλάσιο του πλέγματος των φανταστικών ακεραίων.

Ο μιγαδικός εκθετικός μπορεί να χωριστεί σε ζυγές και περιττές συνιστώσες, τις υπερβολικές συναρτήσεις Πρότυπο:Math και Πρότυπο:Math ή τις τριγωνομετρικές συναρτήσεις Πρότυπο:Math και Πρότυπο:Math:

$\exp z=\cosh z+\sinh z=\cos (-iz)+i\sin (-iz)$

Ο τύπος του Όιλερ αναλύει το εκθετικό ενός φανταστικού αριθμού που αντιπροσωπεύει μια περιστροφή:

$\exp i\phi =\cos \phi +i\sin \phi .$

Το γεγονός αυτό μπορεί να χρησιμοποιηθεί για να αποδείξει, μεταξύ άλλων, το φαινομενικά αντιφατικό αποτέλεσμα ότι το $i^i$ είναι πραγματικός αριθμός.

Το πηλίκο Πρότυπο:Math με κατάλληλη κλιμάκωση, μπορεί να αναπαρασταθεί ως άπειρη αποσύνθεση μερικών κλασμάτων ως άθροισμα συναρτήσεων μεταφρασμένων με φανταστικούς ακέραιους:

$\pi \coth \pi z=\underset{n\to \mathrm{\infty }}{\lim }\sum _{k=-n}^n\frac{1}{z+ki}.$

Άλλες συναρτήσεις που βασίζονται στο μιγαδικό εκθετικό είναι καλά καθορισμένες με φανταστικές εισόδους. Παραδείγματος χάριν, ένας αριθμός ανυψωμένος στη δύναμη Πρότυπο:Mvar είναι

$x^{ni}=\cos (n\ln x)+i\sin (n\ln x).$

Επειδή ο εκθετικός είναι περιοδικός, ο αντίστροφός του, ο μιγαδικός λογάριθμος, είναι μια συνάρτηση πολλαπλών τιμών, με κάθε μιγαδικό αριθμό στο πεδίο που αντιστοιχεί σε πολλαπλές τιμές στο κωδικοπεδίο, που χωρίζονται μεταξύ τους με οποιοδήποτε ακέραιο πολλαπλάσιο του Πρότυπο:Math Ένας τρόπος για να λάβουμε μια συνάρτηση με μία τιμή είναι να θεωρήσουμε το κωδικοπεδίο ως κύλινδρο, με τις μιγαδικές τιμές που χωρίζονται από οποιοδήποτε ακέραιο πολλαπλάσιο του Πρότυπο:Math να αντιμετωπίζονται ως η ίδια τιμή- ένας άλλος τρόπος είναι να θεωρήσουμε το πεδίο ως μια επιφάνεια Ρίμαν που αποτελείται από πολλαπλά αντίγραφα του μιγαδικού επιπέδου συρραμμένα μεταξύ τους κατά μήκος του αρνητικού πραγματικού άξονα ως διακλάδωση, με κάθε διακλάδωση στο πεδίο να αντιστοιχεί σε μία άπειρη λωρίδα στο πεδίο τιμών. Οι συναρτήσεις που εξαρτώνται από τον μιγαδικό λογάριθμο εξαρτώνται επομένως από την προσεκτική επιλογή του κλάδου για να οριστούν και να αξιολογηθούν με σαφήνεια.

Παραδείγματος χάριν, αν επιλέξουμε έναν κλάδο όπου $\ln i=\frac{1}{2}\pi i$ τότε όταν Πρότυπο:Mvar είναι ένας θετικός πραγματικός αριθμός,

${\log }_{i}x=-\frac{2i\ln x}{\pi }.$

Παραγοντικό

Το παραγοντικό της φανταστικής μονάδας Πρότυπο:Mvar δίνεται συχνότερα με όρους της συνάρτησης γάμμα που αξιολογείται στο Πρότυπο:Math:

$i!=\mathrm{\Gamma }(1+i)=i\mathrm{\Gamma }(i)\approx 0.4980-0.1549i.$

Το μέγεθος και το επιχείρημα αυτού του αριθμού είναι:

$|\mathrm{\Gamma }(1+i)|=\sqrt{\frac{\pi }{\sinh \pi }}\approx 0.5216,\arg \mathrm{\Gamma }(1+i)\approx -0.3016.$

Εξωτερικοί σύνδεσμοι

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
• Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
• Θεωρία Αριθμών και Εφαρμογές
• Υπολογιστική Θεωρία Αριθμών
• Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών

Δείτε επίσης

• Θεωρία αριθμών
• Αλγεβρική θεωρία αριθμών
• Τύπος του Όιλερ
• Αλγεβρική θεωρία αριθμών
• Μοδιακή αριθμητική
• Θεωρία αναπαραστάσεων
• Μη ευκλείδειες γεωμετρίες
• 2-διάνυσμα (bivector)
• Ευκλείδειος χώρος
• Μιγαδικός αριθμός
• Πολλαπλάσιο (μαθηματικά)
• Συνάρτηση μάζας πιθανότητας
• Πολλαπλασιασμός πινάκων
• Διακριτός μετασχηματισμός Φουριέ
• Θεμελιώδες θεώρημα αριθμητικής
• Αλγεβρική γεωμετρία
• Στατιστικός πληθυσμός
• Δισδιάστατος χώρος

Βιβλιογραφία

• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book

Παραπομπές

• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Definitions and examples of quadrilaterals and Definition and properties of tetragons from Mathopenref
• A (dynamic) Hierarchical Quadrilateral Tree at Dynamic Geometry Sketches
• An extended classification of quadrilaterals Πρότυπο:Webarchive at Dynamic Math Learning Homepage Πρότυπο:Webarchive
• Πρότυπο:Citation.

Πηγές

• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Citation
• Πρότυπο:Citation