Delta di Kronecker

In matematica per delta di Kronecker si intende una funzione di due variabili discrete, in particolare di due variabili sugli interi o sui naturali, che vale 1 se i loro valori coincidono, mentre vale 0 in caso contrario. La distribuzione delta di Dirac può essere considerata la sua estensione al caso continuo.

Con il suo nome si ricorda il matematico tedesco Leopold Kronecker (1823-1891).

Definizione

Il delta di Kronecker è abitualmente definito come il tensore $\delta _{ij}$ di componenti:

$\delta _{ij}:={\begin{cases}1,&{\text{se }}i=j,\\0,&{\text{se }}i\neq j.\end{cases}}$

Applicazioni

Il simbolo di Kronecker si incontra in numerose formule concernenti successioni, matrici o altri complessi di numeri espressi mediante indici. Ad esempio la matrice identità di dimensione $n$ si può definire come la matrice:

${\bar {\bar {1}}}=(\delta _{ij})_{i,j=1,\ldots ,n},$

che sta al posto di:

${\bar {\bar {1}}}={\begin{bmatrix}1&0&\cdots &0\\0&1&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &1\end{bmatrix}}.$

Esso può anche essere usato per esprimere la relazione di ortonormalità di una base ortonormale di vettori $\{e_{i}\}_{i=1,\ldots ,n}$:

$\langle e_{i}|e_{j}\rangle =\delta _{ij},$

dove $\langle \cdot |\cdot \rangle$ indica un prodotto scalare (o hermitiano).

Generalizzazioni

Può essere utile introdurre generalizzazioni del delta di Kronecker quando si trattano strutture algebriche dotate di zero e unità, ad esempio quando si considera il semianello dei linguaggi nel quale il linguaggio vuoto funge da zero e l'insieme di tutte le stringhe su un dato alfabeto $A$ funge da unità. Per applicazioni come le descrizioni di certi automi può essere conveniente servirsi di una delta di Kronecker sui linguaggi $L$ e $M$ definita come:

$\delta _{LM}:=\left\{{\begin{matrix}A^{*}&{\mbox{se }}L=M\\\varnothing &{\mbox{se }}L\neq M\end{matrix}}\right.$.

Voci correlate

• Delta di Dirac
• Parentesi di Iverson

Collegamenti esterni

• (EN) Eric W. Weisstein, Delta di Kronecker, su MathWorld, Wolfram Research.