Class Hub
Foundations · Reference·~25 min read

Μιγαδικοί αριθμοί

1. Νιώσε — γιατί χρειαζόμαστε τους μιγαδικούς εδώ

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

Τέσσερα συγκεκριμένα σημεία του υπόλοιπου μαθήματος όπου θα εμφανιστούν:

  • AM σήμα στο φάσμα. Όταν δεις στις διαφάνειες ότι ένα tone εμφανίζεται ως δύο κρουστικές, μία στο και μία στο , ο λόγος είναι η ταυτότητα — ένα πραγματικό cosine είναι το άθροισμα δύο μιγαδικών εκθετικών. Χωρίς αυτή την ανάγνωση, τα sidebands μοιάζουν με μαγεία.
  • Φάσμα πραγματικού φίλτρου. Όταν θα δεις σε ένα exam ότι («conjugate symmetry»), αυτή η ισότητα έρχεται απ' ευθείας από την ιδιότητα — αν το είναι πραγματικό, ο Fourier τύπος αναγκάζει το να έχει αυτή τη συμμετρία.
  • I/Q αναπαράσταση bandpass σήματος. Κάθε bandpass σήμα γράφεται ως , όπου είναι ένας μιγαδικός σε πολική μορφή. Όλη η AM, DSB-SC, SSB, FM περιγραφή που θα δεις περνάει από αυτό το «ένας μιγαδικός = δύο πραγματικά σήματα ταυτόχρονα».
  • Hilbert + SSB. Ο μετασχηματισμός Hilbert ισοδυναμεί με πολλαπλασιασμό του φάσματος με — δηλαδή στροφή κατά 90° για θετικές συχνότητες και κατά για αρνητικές. Αν δεν ξέρεις ότι «πολλαπλασιασμός με = στροφή 90°», το SSB γίνεται αλγεβρικός εφιάλτης.

2. Τι είναι ένας μιγαδικός αριθμός

Ένας πραγματικός αριθμός είναι ένα σημείο πάνω σε ευθεία. Ένας μιγαδικός είναι ένα σημείο στο επίπεδο — χρειάζονται δύο πραγματικοί για να τον περιγράψουν.

Γράφουμε:

όπου είναι το real part, το imaginary part, και — η φανταστική μονάδα.

Παραδείγματα: , , (καθαρά imaginary), (καθαρά real· ένας πραγματικός είναι ειδική περίπτωση μιγαδικού).

3. Μιγαδική επίπεδη — γεωμετρική ερμηνεία

Σχεδιάζουμε τους μιγαδικούς σε ένα επίπεδο: οριζόντιος άξονας = real part, κάθετος άξονας = imaginary part. Ένας μιγαδικός μπορεί να ιδωθεί ισοδύναμα ως σημείο ή ως διάνυσμα από την αρχή των αξόνων στο σημείο.

Cartesian
z = 1.50 + 1.00j
Polar
|z| = 1.80
∠z = 0.59 rad(34°)

Σύρε το σημείο. Real part στον οριζόντιο άξονα, imaginary στον κάθετο.

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

4. Πολική μορφή

Αντί για real + imaginary parts, μπορούμε να γράψουμε έναν μιγαδικό σαν μέτρο και γωνία:

  • μέτρο (magnitude): η απόσταση του σημείου από την αρχή των αξόνων. Πάντα .
  • γωνία (phase / argument): η γωνία που σχηματίζει το διάνυσμα με τον θετικό real άξονα. Σε rad.

Cartesian → Polar:

Polar → Cartesian:

Πάτα την «Πολική επικάλυψη» στο viz παραπάνω για να δεις τα και πάνω στο διάνυσμα.

5. Η ταυτότητα του Euler

Η μαγική ταυτότητα που συνδέει εκθετικά με τριγωνομετρία:

Γεωμετρικά: το είναι ένα σημείο στον μοναδιαίο κύκλο (ακτίνα 1, κέντρο 0), στη γωνία . Real part = , imaginary part = . Άρα κάθε μιγαδικός με μέτρο 1 γράφεται , και πιο γενικά κάθε μιγαδικός γράφεται .

e^(jθ)
= 0.707 + 0.707j
cos(θ) = Re
0.707
sin(θ) = Im
0.707

Σημεία-κλειδιά:

  • (η διάσημη ταυτότητα του Euler: )
  • (επιστροφή στην αρχή)

Από το «σημείο στο επίπεδο» στο «περιστρεφόμενο διάνυσμα στον χρόνο»

Αν θεωρήσεις τη γωνία ως συνάρτηση του χρόνου — π.χ. — τότε το είναι ένα διάνυσμα που περιστρέφεται στο μιγαδικό επίπεδο με σταθερή γωνιακή ταχύτητα . Η προβολή του στον real άξονα είναι · η προβολή του στον imaginary άξονα είναι . Αυτή η εικόνα — το ως ρολόι — είναι το νοητικό μοντέλο για όλη τη Fourier ανάλυση.

ejωt = cos(ωt) + j · sin(ωt)

Το μπλε σημείο τρέχει κυκλικά γύρω από το μοναδιαίο κύκλο με γωνιακή ταχύτητα ω. Η x-προβολή του είναι το cos(ωt), η y-προβολή είναι το sin(ωt). Δύο διαφορετικά πράγματα, ίδια κίνηση. Όταν θα φτάσουμε στο Fourier, θα δούμε γιατί τα LTI συστήματα «σκέφτονται» σε μιγαδικά εκθετικά αντί για cos/sin.

Καθώς το διάνυσμα περιστρέφεται, παρακολούθησε τις δύο time-plots δεξιά: το cosine προηγείται κατά από το sine. Αυτή η διαφορά φάσης είναι ακριβώς η σχέση που υπάρχει μεταξύ I (in-phase) και Q (quadrature) συνιστωσών — που θα δεις στο /modulation/bridge.

Γιατί το cosine «εμφανίζεται και στις αρνητικές συχνότητες»

Αν θεωρήσεις την Euler decomposition του , βλέπεις ότι ο πραγματικός κυματισμός είναι το άθροισμα του (διάνυσμα που περιστρέφεται αριστερόστροφα με ρυθμό ) και του (διάνυσμα που περιστρέφεται δεξιόστροφα με τον ίδιο ρυθμό), καθένα με βάρος . Τα imaginary parts τους ακυρώνουν το ένα το άλλο σε κάθε στιγμή· τα real parts προστίθενται. Το αποτέλεσμα είναι ένα πραγματικό cosine.

Αυτό είναι το «τι σημαίνει αρνητική συχνότητα» — δεν είναι ξεχωριστό φυσικό σήμα, είναι ο counter-rotating partner που χρειάζεται κάθε πραγματικό cosine για να μη βγει μιγαδικό. Από εδώ προέρχεται το ότι το φάσμα του έχει δύο κρουστικές, μία στο και μία στο .

Δύο phasors που στρίβουν αντίθετα = ένα cosine

Δες ότι οι δύο phasors είναι μιγαδικά συζυγείς ο ένας του άλλου σε κάθε στιγμή — οι imaginary parts τους ακυρώνονται και μένει μόνο το διπλάσιο του real part, που είναι το cosine. Αυτή είναι η Euler cos θ = ½(e^(jθ) + e^(−jθ)) σε action.

Σύρε τον σύρτη για να αλλάξεις τη συχνότητα και παρατήρησε ότι (α) τα δύο διανύσματα μένουν πάντα συζυγή σε κάθε στιγμή, (β) το άθροισμά τους είναι πάντα πραγματικός αριθμός (μένει στον real άξονα), και (γ) μόλις βάλεις , και τα δύο σταματούν στο και προσθέτονται σε .

6. Συζυγής αριθμός (complex conjugate)

Αν , ο συζυγής του είναι:

Ίδιο real part, αντίθετο imaginary part. Σε πολική μορφή:

Ίδιο μέτρο, αντίθετη γωνία. Γεωμετρικά: ο συζυγής είναι το καθρέπτισμα του ως προς τον real άξονα. (Ενεργοποίησε τον toggle «Δείξε τον συζυγή» στο viz της §3 για να το δεις.)

Σύμβολα: γράφουμε ή . Σε αυτό το μάθημα: .

Οι ιδιότητες (1) και (3) είναι αυτές που τραβάνε το πιο πολύ φορτίο στο υπόλοιπο μάθημα — από τον υπολογισμό ισχύος cosines μέχρι την conjugate symmetry του Fourier transform.

Συμπύκνωσε — πώς βγάζεις Re, Im, |z|² από έναν μιγαδικό

Λέξεις-κλειδιά
  • συζυγής: real ίδιο, imag αντίθετο
  • καθρέφτισμα γύρω από τον real άξονα
Βήματα
  1. **Real part:** . Προσθέτοντας τον συζυγή, τα imag parts ακυρώνονται.
  2. **Imag part:** . Πρόσεξε τον παρονομαστή — είναι , όχι σκέτο .
  3. **Τετράγωνο μέτρου:** . Πάντα πραγματικός μη-αρνητικός — χρήσιμος όταν θέλεις ισχύ ή ενέργεια χωρίς να ξέρεις φάση.
  4. **Σε πολική:** . Ίδιο μέτρο, αντίθετη γωνία.
  5. **Στον Fourier:** αν πραγματικό ⇒ («conjugate symmetry»). Είναι ακριβώς η ιδιότητα (1) εφαρμοσμένη στον ορισμό του Fourier.
Η συχνότερη παγίδα
Δύο συχνά λάθη: (α) ξεχνάς το ή το και γράφεις · (β) βάζεις αντί για στον τύπο του . Το δεν είναι παράληψη — έρχεται από το ότι το , και διαιρείς με για να μείνει σκέτο .

7. Πράξεις

Πρόσθεση και αφαίρεση

Σε Cartesian μορφή, κατά συνιστώσα:

Γεωμετρικά: σαν να προσθέτεις διανύσματα (κανόνας του παραλληλόγραμμου).

Στην πολική μορφή η πρόσθεση είναι δύσκολη — μετάτρεψε πρώτα σε Cartesian. Η πολική λάμπει στους πολλαπλασιασμούς.

Πολλαπλασιασμός

Σε Cartesian (από τον ορισμό ):

Σε πολική — εδώ είναι η ομορφιά:

Τα μέτρα πολλαπλασιάζονται. Οι γωνίες προστίθενται.

Γεωμετρικά, πολλαπλασιασμός με ένα είναι scaling κατά + στροφή κατά . Παράδειγμα-κλειδί: πολλαπλασιασμός με είναι στροφή κατά 90° (αριστερόστροφα). Πολλαπλασιασμός με είναι στροφή κατά 180°. Πολλαπλασιασμός με για οποιοδήποτε είναι καθαρή στροφή κατά χωρίς αλλαγή μέτρου — και αυτό είναι ακριβώς που κάνει ένα φίλτρο all-pass στο φάσμα.

z₁
|z₁| = 1.00 · ∠z₁ = 0.17π rad
z₂
|z₂| = 1.50 · ∠z₂ = 0.33π rad
z₁ · z₂
|z₁·z₂| = |z₁| · |z₂| = 1.50
∠(z₁·z₂) = ∠z₁ + ∠z₂ = 0.50π rad

Πολλαπλασιασμός σε πολική μορφή: μέτρα πολλαπλασιάζονται, γωνίες προστίθενται. Γεωμετρικά είναι scaling κατά |z| και στροφή κατά ∠z.

Διαίρεση

Σε πολική:

Μέτρα διαιρούνται, γωνίες αφαιρούνται.

Σε Cartesian η τυπική τεχνική είναι πολλαπλασιασμός αριθμητή και παρονομαστή με τον συζυγή του παρονομαστή:

Παράδειγμα: . Δηλαδή — μια από τις πιο χρήσιμες σχέσεις στις τηλεπικοινωνίες, και εμφανίζεται απευθείας στο integration property του Fourier ().

Ύψωση σε δύναμη

Σε πολική:

Μέτρο στη δύναμη , γωνία πολλαπλασιάζεται με .

Παράδειγμα: . Σε πολική, . Άρα .

De Moivre's theorem (ειδική περίπτωση όταν ):

8. Quick reference

9. Ανακάλεσε — δοκίμασε από μνήμης

Βάλε τα βήματα στη σωστή σειρά
Σου ζητούν να υπολογίσεις το . Βάλε τα 4 βήματα στη σωστή σειρά για το πιο γρήγορο μονοπάτι (μέσω πολικής μορφής).

Σύρε τις γραμμές για αναδιάταξη — ή χρησιμοποίησε τα βελάκια .

  1. 1.
    Πολική μετατροπή: |1+j| = √2 και arg(1+j) = π/4, οπότε 1+j = √2 · e^(jπ/4).
  2. 2.
    Cartesian επιστροφή: 2√2 · (cos(3π/4) + j·sin(3π/4)) = 2√2 · (−√2/2 + j·√2/2).
  3. 3.
    Ύψωση: (1+j)³ = (√2)³ · e^(j·3π/4) = 2√2 · e^(j3π/4).
  4. 4.
    Απλοποίηση: −2 + 2j.
Συμπλήρωσε τα κενά
Συμπλήρωσε τους δύο τύπους Euler που μετατρέπουν cosine και sine σε άθροισμα μιγαδικών εκθετικών. **Πρόσεξε τον παρονομαστή στον τύπο του sin** — δεν είναι σκέτο 2.
Ανακάλεσε από μνήμη
Χωρίς να ανοίξεις το viz, πες γεωμετρικά τι κάνει ο πολλαπλασιασμός με , με , και με σε έναν μιγαδικό αριθμό. Γιατί; (σύνδεσέ το με την Euler).

10. Αναγνώρισε — πού θα δεις τα παραπάνω σε εξέταση

Πώς θα το αναγνωρίσεις

Αν δεις στην εκφώνηση
  • «φάσμα πλάτους και φάσης του cos(2πf₀t + φ)»
  • «δείξε ότι H*(f) = H(-f) όταν h(t) πραγματικό»
  • «phase error φ στον σύμφωνο αποδιαμορφωτή — βρες το output»
  • «εξήγησε γιατί το φάσμα του cos έχει impulses στα ±f_c»
  • «υπολόγισε ισχύ αθροίσματος cosines + sines»
  • «εκφράζεται ως άθροισμα δύο complex exponentials»
  • «(1+j)ⁿ ή άλλη ύψωση μιγαδικού σε δύναμη»

Όταν εμφανιστεί κάποιο από τα σινιάλα, διάλεξε από αυτές τις τέσσερις «πατέντες» — η σωστή επιλογή φαίνεται από τη δομή του ερωτήματος:

  1. «Πλάτος και φάση cosine» ⇒ Euler decomposition + πολική ανάγνωση. Ένα γράφεται στο φάσμα ως δύο κρουστικές πλάτους , στο , με φάσεις και αντίστοιχα. Πάντα η ίδια Euler decomposition.

  2. «Δείξε conjugate symmetry» ⇒ ιδιότητα . Από τον ορισμό του Fourier μαζί με « πραγματικό» προκύπτει και άρα άρτιο, περιττό. Αυτή η συμμετρία είναι η βάση για το γιατί σχεδιάζουμε μόνο τις θετικές συχνότητες σε πολλά spectra.

  3. «Phase error στον σύμφωνο αποδιαμορφωτή» ⇒ θυμήσου ότι το LO γράφεται ως , και ο πολλαπλασιασμός δύο cosines δίνει product-to-sum (Euler). Ο όρος που μένει μετά το LPF περιέχει παράγοντα — δηλαδή η εξαρτώμενη από τη φάση εξασθένηση είναι η προβολή του LO πάνω στο σήμα. Στις 90°, ο coherent demodulator δίνει 0.

  4. «Ισχύς αθροίσματος sinusoids» ⇒ ιδιότητα εφαρμοσμένη στο spectrum (ή απευθείας Parseval). Για άθροισμα διαφορετικών συχνοτήτων χωρίς overlap, η ισχύς προστίθεται κατά συνιστώσα: . Η ορθογωνιότητα cos διαφορετικών συχνοτήτων είναι η ίδια ιδέα.

  5. «(1+j)ⁿ» ⇒ πάντα μέσω πολικής μορφής — Cartesian expansion γίνεται κουραστικό μετά την . Μέτρο: · γωνία: · επιστροφή σε Cartesian με cos / sin των γνωστών γωνιών.

Πού εμφανίζεται στα παλιά θέματα

11. Πού θα χρειαστείς τα παραπάνω αργότερα

  • /foundations/fourier-series — οι FS συντελεστές είναι μιγαδικοί, το θεώρημα Parseval γράφεται ως (που είναι ), και κάθε πραγματική περιοδική συνάρτηση έχει — η ίδια conjugate symmetry, εφαρμοσμένη στους FS αντί για FT.
  • /foundations/fourier-transform — ο ίδιος ο ορισμός είναι ολοκλήρωμα μιγαδικού. Η ιδιότητα conjugate symmetry ( όταν πραγματικό), η modulation theorem ( — άμεση εφαρμογή της Euler decomposition), και η integration property ( — άμεση εφαρμογή του ) χτίζονται όλες πάνω σε αυτή τη σελίδα.
  • /foundations/systems — τα μιγαδικά εκθετικά είναι eigenfunctions των LTI συστημάτων — βγαίνουν αμετάβλητα από οποιοδήποτε φίλτρο πολλαπλασιασμένα μόνο με την τιμή . Αυτή είναι η μηχανική βάση για όλη τη Fourier ανάλυση: γιατί αντί να συνελίσσουμε στον χρόνο, πολλαπλασιάζουμε στη συχνότητα.
  • /modulation/bridge — η I/Q αναπαράσταση είναι κυριολεκτικά «γράψε το bandpass σήμα ως πραγματικό μέρος ενός περιστρεφόμενου μιγαδικού» — όπου είναι ο complex envelope (μιγαδικός σε πολική μορφή).
  • /am/conventional, /am/dsb-sc — οι ταυτότητες που χρησιμοποιούνται κάθε φορά στον συγχρονισμένο αποδιαμορφωτή προέρχονται από Euler — πολλαπλασιάζεις δύο cosines σαν εκθετικά, τα ονόματα αλλάζουν, η ουσία είναι ίδια.
  • /am/ssb — ο μετασχηματισμός Hilbert είναι πολλαπλασιασμός του φάσματος με · δηλαδή στροφή 90° στις θετικές και στις αρνητικές συχνότητες. Όλη η phasing-method παραγωγή του SSB είναι «εφαρμογή της Euler και κρατώ μόνο τη μία πλευρά του φάσματος».
  • /fm/bessel — η αναπτυχή Jacobi-Anger είναι κατά πάσα κυριολεξία μια σειρά μιγαδικών εκθετικών — γι' αυτό το FM σήμα παράγει sidebands σε όλες τις αρμονικές της .

12. Συμπύκνωσε όλο το κεφάλαιο

Συμπύκνωσε όλο το κεφάλαιο

Λέξεις-κλειδιά
  • Cartesian
  • Polar
  • Euler
  • συζυγής: ίδιο real, αντίθετο imag
  • ,
  • = στροφή 90°
  • πολική: × εύκολο, + δύσκολο
Βήματα
  1. **Cartesian ↔ Polar:** , . Όχι σκέτο — χάνεις τα δεύτερο/τρίτο τεταρτημόριο.
  2. **Cos/sin ως εκθετικά:** , . Όποτε βλέπεις cosine σε ένα Fourier πρόβλημα, σκέψου άμεσα αυτή την Euler decomposition.
  3. **Συζυγής:** Cartesian — flip imag part· πολική — αντίθετη γωνία. Βγάλε real με , imag με , τετράγωνο μέτρου με .
  4. **Πολλαπλασιασμός/διαίρεση:** σε πολική, μέτρα ×/÷, γωνίες +/−. Σε Cartesian για διαίρεση: πολλαπλασίασε αριθμητή και παρονομαστή με τον συζυγή του παρονομαστή.
  5. **Δύναμη :** πάντα μέσω πολικής — . γίνεται τετριμμένο μετά τη μετατροπή.
  6. ** ως στροφή:** = 90°, = 180°, = 270°, . Πιο γενικά = στροφή κατά .
Η συχνότερη παγίδα
Τρεις παγίδες που πέφτουν κατά σειρά συχνότητας: (α) αντί για — χάνεις 2ο και 3ο τεταρτημόριο· (β) παρονομαστής αντί για στον τύπο του — έρχεται από βιασύνη ότι «το είναι σαν το »· (γ) θεωρείς ότι το είναι μηδέν επειδή «τα αντίθετα ακυρώνονται» — όχι, οι imag parts ακυρώνονται αλλά τα real parts διπλασιάζονται. Το ίδιο σφάλμα προφανώς σπάει και την «Re από conjugate sum» πατέντα.

Τι μάθαμε

  • Ένας μιγαδικός έχει δύο ισοδύναμες αναπαραστάσεις: Cartesian () και polar (). Η πολική λάμπει σε πολλαπλασιασμούς, η Cartesian σε προσθέσεις.
  • Η ταυτότητα του Euler είναι η γέφυρα — από εκεί προκύπτει η έκφραση κάθε cosine ως άθροισμα δύο complex exponentials, που είναι το οικοδομικό υλικό όλης της Fourier ανάλυσης.
  • Ο συζυγής είναι η αντικατοπτρική εικόνα του ως προς τον real άξονα. Οι ιδιότητες , , τραβάνε το πιο πολύ φορτίο στο υπόλοιπο μάθημα — από conjugate symmetry του Fourier μέχρι ισχύ και Parseval.
  • Πολλαπλασιασμός με = στροφή 90°. Γενικότερα, πολλαπλασιασμός με = καθαρή στροφή κατά . Αυτή η εικόνα ξεκλειδώνει το Hilbert + SSB και τη «phase factor» ερμηνεία του time-shift.
  • Όλη η AM, DSB-SC, SSB, FM παραγωγή στο μάθημα μεταφράζεται σε εφαρμογή των ταυτοτήτων αυτής της σελίδας. Κράτα τη ανοιχτή όταν διαβάζεις τα downstream chapters.

Παραδείγματα και ασκήσεις

0 / 8 λυμένα

Οκτώ ασκήσεις. Οι πρώτες πέντε δοκιμάζουν κατά σειρά: μετατροπή σε πολική, j-ως-στροφή, την πατέντα , την Euler decomposition, και την conjugate symmetry του . Οι τελευταίες τρεις (self-check) δοκιμάζουν quadrant gotchas, κατά-συνιστώσα πρόσθεση, και ύψωση σε δύναμη μέσω πολικής.

Τελείωσες αυτή τη σελίδα;

Φόρτωση σχολίων…
Μιγαδικοί αριθμοί — Reference · Signal Processing Class Hub