Unità immaginaria

Da Wikipedia, l'enciclopedia libera.

In matematica l' unità immaginaria i (a volte rappresentata dalla lettera j o dalla lettera greca iota) permette di estendere il sistema dei numeri reali R al sistema dei numeri complessi C. La sua esatta definizione dipende dal particolare metodo utilizzato per l'estensione.

La motivazione primaria per questa estensione consiste nel fatto che non tutte le equazioni polinomiali f(x) = 0 hanno una soluzione nei numeri reali. In particolare l'equazione x² + 1 = 0 non ha soluzioni reali. Ma, se si considerano i numeri complessi, allora quella equazione, e in effetti tutte le equazioni polinomiali f(x) = 0 hanno almeno una soluzione: questo fatto prende il nome di teorema fondamentale dell'algebra, e dice formalmente che C è la chiusura algebrica di R.

Indice 1 Definizione 2 i e −i 3 Avvertenza 4 Potenze di i 5 i e la formula di Eulero 6 Notazione alternativa 7 Voci correlate

[modifica] Definizione

Per definizione, l'unità immaginaria i è una soluzione dell'equazione

x² + 1 = 0.

Le operazioni sui numeri reali possono essere estese ai numeri complessi considerando i come una quantità incognita durante la manipolazione delle espressioni, e poi usando la definizione per sostituire i² con −1.

[modifica] i e −i

L'equazione x² + 1 = 0 ha, in effetti, due soluzioni distinte che sono opposte. Più precisamente, una volta che è stata fissata una soluzione i dell'equazione, allora −i (≠ i) è anch'essa una soluzione. Dato che l'equazione stessa è l'unica definizione per i, sembra che questa definizione sia ambigua (più precisamente, non sia ben definita). Però non si ha alcuna ambiguità una volta che si sceglie una soluzione e la si fissa, indicandola con i "positivo".

Questa considerazione è sottile. Una spiegazione più precisa consiste nell'affermare che, sebbene il campo complesso definito come R[X]/(X² + 1) è unico a meno di isomorfismi, esso non è unico a meno di un unico isomorfismo — esistono esattamente 2 automorfismi di R[X]/(X² + 1), l'identità e l'automorfismo che manda X in −X. Si noti che questi non sono solo gli unici automorfismi del campo C, ma sono gli unici automorfismi del campo C che tengono fisso qualunque numero reale. Si vedano le voci complesso coniugato e gruppo di Galois.

Un problema simile si ha se i numeri complessi vengono interpretati come matrici reali 2 × 2, perché entrambe le seguenti matrici

sono soluzioni dell'equazione x² = −1. In questo caso l'ambiguità è dovuta alla scelta che si fa riguardo a quale sia la "direzione positiva" con cui viene percorso la circonferenza unitaria]. Una spiegazione più precisa è la seguente: il gruppo degli automorfismi del gruppo ortogonale speciale SO(2, R) ha esattamente 2 elementi — l'identità e l'automorfismo che scambia le rotazioni in senso orario in rotazioni in senso antiorario.

[modifica] Avvertenza

Talvolta l'unità immaginaria viene scritta come , ma bisogna fare molta attenzione quando si manipolano formule che contengono radicali. Questa notazione è riservata alla funzione radice quadrata principale, che è definita solo per numeri reali x ≥ 0, o alla parte principale della funzione radice quadrata complessa. L'applicazione delle proprietà delle radici quadrate principali (reali) al ramo principale delle radici quadrate complesse produce risultati scorretti:

La regola

è valida solo per valori di a e b reali e non negativi.

Per evitare di fare errori nel manipolare i numeri complessi la strategia migliore è quella di non usare mai un numero negativo sotto a un segno di radice quadrata che non è preceduto da ±, in modo da far intendere che vengono considerate entrambe le radici.

[modifica] Potenze di i

Le potenze di i si ripetono periodicamente (sono cicliche con periodo 4):

Questa proprietà può essere espressa in forma più compatta in questo modo, dove n è un qualunque intero:

[modifica] i e la formula di Eulero

Prendendo la formula di Eulero e^ix = cosx + isinx, e sostituendo π / 2 al posto di x, si ottiene

Se entrambi i membri dell'uguaglianza vengono elevati alla potenza i, ricordando che i² = − 1, si ottiene l'identità

In effetti è facile trovare che iⁱ ha un infinito numero di soluzioni nella forma di

dove N è un qualunque intero. Dal punto di vista della teoria dei numeri, i è un numero irrazionale quadratico, come , e applicando il teorema di Gelfond-Schneider si può concludere che tutti i valori ottenuti sopra, e in particolare e ^{− π / 2}, sono trascendenti.

Sempre dalla formula di Eulero, o elevando al quadrato ambo i membri della precedente identità , si arriva elegantemente all'identità di Eulero:

,

che mette in relazione cinque delle più significative entità matematiche, assieme al principio di uguaglianza e le operazioni di addizione, moltiplicazione e potenza, in una semplice espressione.

[modifica] Notazione alternativa

In ingegneria elettrica e campi ad essa relativi l'unità immaginaria è spesso indicata con j per evitare confusione con il simbolo di corrente elettrica variabile, tradizionalmente indicato con i. Anche il linguaggio di programmazione Python usa j per l'unità immaginaria.

Occorre prestare ulteriore attenzione ad alcuni libri di testo che definiscono "j"="-i", particolarmente in argomenti legati alla propagazione delle onde (per esempio, un'onda piana che viaggia verso destra nella direzione delle x è indicata con e^{i(kx − ωt)} = e^{j(ωt − kx)}).

Alcuni testi usano la lettera greca iota per l'unità immaginaria per evitare confusione.

[modifica] Voci correlate

• numero complesso
• piano complesso