In algebra lineare, i numeri duali sono un'estensione dei numeri reali, introdotti nel XIX secolo da William Clifford, ottenuta aggiungendo a essi un elemento caratterizzato dalla proprietà di essere nilpotente, ovvero tale che il suo quadrato è pari a zero. I numeri duali, nonostante non possiedano le proprietà di un campo, costituiscono un insieme con proprietà complementari a quelle dei numeri complessi. Essi trovano diverse applicazioni in fisica, sia nelle teorie classiche, sia in quelle riguardanti la relatività einsteiniana e la fisica delle particelle.
Algebra dei numeri duali
[modifica | modifica wikitesto]Indicato con 👁 {\displaystyle \varepsilon }
l'elemento nilpotente, ogni numero duale può quindi essere scritto nella forma:
dove 👁 {\displaystyle a}
e 👁 {\displaystyle b}
sono numeri reali, e vale la relazione
L'elemento 👁 {\displaystyle \varepsilon }
ha una funzione analoga all'unità immaginaria dei numeri complessi, e spesso viene definito anch'esso unità immaginaria.
In generale, è possibile eseguire le normali operazioni algebriche sui numeri duali, considerando 👁 {\displaystyle \varepsilon }
come una variabile e avendo cura di sostituire 👁 {\displaystyle \varepsilon ^{n}}
con 0 quando 👁 {\displaystyle n\geq 2}
. È così possibile calcolare la somma e il prodotto di due numeri duali 👁 {\displaystyle z_{1}=a_{1}+b_{1}\varepsilon }
e 👁 {\displaystyle z_{2}=a_{2}+b_{2}\varepsilon }
:
Con le operazioni sopra descritte, i numeri duali formano un'algebra associativa e commutativa dotata di unità.
Divisione
[modifica | modifica wikitesto]L'operazione di divisione tra due numeri duali è definita come moltiplicazione per l'inverso moltiplicativo del divisore; analogamente ai numeri complessi, è possibile eseguire la divisione moltiplicando dividendo e divisore per il coniugato del divisore:
La divisione è definita per 👁 {\displaystyle c\neq 0}
, per cui tutti i duali privi di parte reale non sono invertibili e i numeri duali non costituiscono un campo.
Calcolo numerico delle derivate
[modifica | modifica wikitesto]L'unità immaginaria dei numeri duali ha proprietà analoghe agli infinitesimi utilizzati nell'analisi non standard, i cui quadrati hanno valore "quasi" nullo (più precisamente, sono infinitesimi di ordine superiore). Questa caratteristiche hanno interessanti applicazioni nella definizione dei polinomi su numeri duali: dato il polinomio 👁 {\displaystyle P(z)=\sum _{k=0}^{n}p_{k}z^{k}}
, è possibile scrivere il suo sviluppo di Taylor, centrato nel punto 👁 {\displaystyle a+b\varepsilon }
; questo sviluppo è troncato al secondo termine, in quanto tutti i termini successivi contengono potenze dell'unità immaginaria superiori a uno:
Dalla formula sopra segue che conoscendo il valore del polinomio in un determinato numero duale, è possibile conoscere il valore della derivata del polinomio, calcolato sulla parte reale. È anche possibile generalizzare questa formula utilizzandola per definire le funzioni trascendenti sui numeri duali:
Rappresentazioni
[modifica | modifica wikitesto]Rappresentazione matriciale
[modifica | modifica wikitesto]I numeri duali sono identificabili con le matrici reali 👁 {\displaystyle 2\times 2}
della forma:
che rappresenta il numero 👁 {\displaystyle a+b\varepsilon }
.
In questo modo, le usuali operazioni di somma e prodotto tra matrici coincidono con la somma e il prodotto di numeri duali; l'elemento nilpotente è dato dalla matrice
Rappresentazione polare
[modifica | modifica wikitesto]È possibile definire il modulo di un numero duale come:
La circonferenza unitaria è allora costituita dalle rette di equazione 👁 {\displaystyle a=\pm 1}
, mentre l'equivalente della formula di Eulero è:
Dato allora il numero 👁 {\displaystyle z=a+\varepsilon b}
, se 👁 {\displaystyle a\neq 0}
è possibile scomporlo come:
I due parametri 👁 {\displaystyle a}
e 👁 {\displaystyle b/a}
si possono considerare le coordinate polari del numero duale.
Generalizzazioni
[modifica | modifica wikitesto]La costruzione eseguita può essere generalizzata a qualunque anello commutativo 👁 {\displaystyle A}
: i numeri duali su 👁 {\displaystyle A}
sono gli elementi dell'anello quoziente 👁 {\displaystyle A[X]/\left(X^{2}\right)}
, dove 👁 {\displaystyle A[X]}
è l'anello dei polinomi a coefficienti in 👁 {\displaystyle A}
e 👁 {\displaystyle \left(X^{2}\right)}
è l'ideale generato da 👁 {\displaystyle X^{2}}
.
L'ideale 👁 {\displaystyle \left(X^{2}\right)}
non è massimale [1], per cui l'anello dei duali non è mai un campo; l'inverso dell'elemento 👁 {\displaystyle a+b\varepsilon }
è 👁 {\displaystyle a^{-1}-ba^{-2}\varepsilon }
, ed è definito se 👁 {\displaystyle a}
è una unità in 👁 {\displaystyle A}
.
Applicazioni
[modifica | modifica wikitesto]Trasformazioni di Galileo
[modifica | modifica wikitesto]In cinematica, le trasformazioni di Galileo possono essere rappresentate mediante i numeri duali: dato il sistema di riferimento 👁 {\displaystyle O^{\prime }(x^{\prime },t^{\prime })}
, che si muove con velocità relativa 👁 {\displaystyle v}
rispetto al sistema di riferimento 👁 {\displaystyle O(x,t)}
, la trasformazione delle coordinate tra i due sistemi è data dalla matrice del numero duale 👁 {\displaystyle 1+v\varepsilon }
:
ovvero:
Superspazi in fisica
[modifica | modifica wikitesto]I numeri duali costituiscono un semplice esempio di superspazio, utilizzato da alcune teorie fisiche, quali la relatività generale e le teorie supersimmetriche, per descrivere la configurazione spaziale. Ad esempio, nella Supersimmetria la loro componente reale è detta direzione bosonica, quella immaginaria direzione fermionica. Quest'ultima deriva il proprio nome dai fermioni, particelle che obbediscono al principio di esclusione di Pauli: con uno scambio di coordinate, la loro funzione d'onda cambia di segno, e considerando entrambe le coordinate, la funzione d'onda si annulla. Questo comportamento può essere sintetizzato nelle proprietà dell'elemento nilpotente.
Note
[modifica | modifica wikitesto]- ↑ 👁 {\displaystyle \left(X^{2}\right)}
è contenuto nell'ideale 👁 {\displaystyle \left(X\right)}
Bibliografia
[modifica | modifica wikitesto]- Isaak Yaglom, Complex Numbers in Geometry, Academic Press, 1968.
- Vladimir V. Kisil, Erlangen Program at Large--2: Inventing a wheel. The parabolic one, 27 luglio 2007, DOI:10.48550/arXiv.0707.4024. URL consultato il 1º giugno 2025.
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- (EN) dual number, su Enciclopedia Britannica, Encyclopædia Britannica, Inc. 👁 Modifica su Wikidata
- (EN) Eric W. Weisstein, Dual Number, su MathWorld, Wolfram Research. 👁 Modifica su Wikidata
- Numeri duali e dinamica galileiana, su google.it.
