En matemáticas, la delta de Kronecker (llamada así en referencia al matemático alemán Leopold Kronecker) es una función de dos variables, generalmente solo números enteros no negativos. La función vale 1 si las dos variables son iguales y 0 en caso contrario:

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

o con el uso de corchetes de Iverson:

${\displaystyle \delta _{ij}=[i=j]\,}$

donde la delta de Kronecker δ_ij es una función definida a intervalos de las variables i y j. Por ejemplo, δ_1 2 = 0, mientras que δ_3 3 = 1.

La delta de Kronecker aparece de forma natural en muchas áreas de las matemáticas, la física y la ingeniería, como un medio para expresar de manera compacta su definición anterior.

En álgebra lineal, la matriz identidad I de orden n × n tiene entradas iguales a la delta de Kronecker:

${\displaystyle I_{ij}=\delta _{ij}}$

donde i y j toman los valores 1, 2, ..., n, y el espacio prehilbertiano de vectores se puede escribir como

${\displaystyle \mathbf {a} \cdot \mathbf {b} =\sum _{i,j=1}^{n}a_{i}\delta _{ij}b_{j}=\sum _{i=1}^{n}a_{i}b_{i}.}$

Aquí los vectores euclídeos se definen como n-tuplas: ${\displaystyle \mathbf {a} =(a_{1},a_{2},...,a_{n})}$ y ${\displaystyle \mathbf {b} =(b_{1},b_{2},...,b_{n})}$ y el último paso se obtiene utilizando los valores de la delta de Kronecker para reducir la suma sobre j.

La restricción a números enteros positivos o no negativos es común, pero de hecho, la delta de Kronecker se puede definir en un conjunto arbitrario.

Se satisfacen las siguientes ecuaciones:

${\displaystyle {\begin{aligned}\sum _{j}\delta _{ij}a_{j}&=a_{i},\\\sum _{i}a_{i}\delta _{ij}&=a_{j},\\\sum _{k}\delta _{ik}\delta _{kj}&=\delta _{ij}.\end{aligned}}}$

Por tanto, la matriz δ puede considerarse como una matriz identidad.

Otra representación útil es la siguiente forma:

${\displaystyle \delta _{nm}={\frac {1}{N}}\sum _{k=1}^{N}e^{2\pi i{\frac {k}{N}}(n-m)}}$

lo que se puede deducir usando la fórmula de una progresión geométrica.

Usando el corchete de Iverson:

${\displaystyle \delta _{ij}=[i=j].}$

A menudo, se usa una notación de un solo argumento δ_i, que es equivalente a establecer j = 0:

${\displaystyle \delta _{i}={\begin{cases}0,&{\mbox{si }}i\neq 0\\1,&{\mbox{si }}i=0\end{cases}}}$

En álgebra lineal, se puede considerar como un tensor y se escribe δi
j. A veces, la delta de Kronecker se denomina tensor de sustitución.^[1]​

En el estudio del procesamiento digital de señales, la función de muestra unitaria ${\displaystyle \delta [n]}$ representa un caso especial de una función delta de Kronecker bidimensional ${\displaystyle \delta _{ij}}$, donde los índices de kronecker incluyen el número cero, y donde uno de los índices es cero. En este caso:

${\displaystyle \delta [n]\equiv \delta _{n0}\equiv \delta _{0n}~~~{\text{donde}}-\infty <n<\infty }$

O más generalmente, donde:

${\displaystyle \delta [n-k]\equiv \delta [k-n]\equiv \delta _{nk}\equiv \delta _{kn}{\text{donde}}-\infty <n<\infty ,-\infty <k<\infty }$

Sin embargo, este es solo un caso muy especial. En el cálculo tensorial, es más común numerar los vectores base en una dimensión particular comenzando con el índice 1, en lugar del índice 0. En este caso, la relación ${\displaystyle \delta [n]\equiv \delta _{n0}\equiv \delta _{0n}}$ no existe y, de hecho, la delta de Kronecker y la muestra unitaria son funciones realmente diferentes que por casualidad se superponen en un caso específico, en el que los índices incluyen el número 0, el número de índices es 2 y uno de los índices tiene el valor de cero.

Si bien la función de muestra unitaria discreta y la función delta de Kronecker usan la misma letra, difieren de las siguientes maneras. Para la función de muestra unitaria discreta, es más convencional colocar un único índice entero entre llaves; por el contrario, la delta de Kronecker puede tener cualquier número de índices. Además, el propósito de la función de muestra unitaria discreta es diferente de la función delta de Kronecker. La función de muestra unitaria discreta se usa típicamente como una función de entrada a un sistema discreto para descubrir la función de salida del sistema que se generará. Por el contrario, el propósito típico de la función delta de Kronecker es filtrar los términos de un convenio de suma de Einstein.

La función de muestra de unidad discreta se define más simplemente como:

${\displaystyle \delta [n]={\begin{cases}1&n=0\\0&n{\text{ es otro entero}}\end{cases}}}$

Además, el procesamiento de señales digitales dispone de una función llamada delta de Dirac, que a menudo se confunde tanto con la función delta de Kronecker como con la función de muestra unitaria. La delta de Dirac se define como:

${\displaystyle \delta (t)={\begin{cases}\infty &t=0\\0&t{\text{ es otro real}}\end{cases}}}$

A diferencia de la función delta de Kronecker ${\displaystyle \delta _{ij}}$ y la función de muestra unitaria ${\displaystyle \delta [n]}$, la función delta de Dirac ${\displaystyle \delta (t)}$ no tiene un índice entero, tiene un único valor continuo no entero t.

Para confundir más las cosas, la función de impulso unitario a veces se usa para referirse a la delta de Dirac ${\displaystyle \delta (t)}$ o a la función de muestra unitaria ${\displaystyle \delta [n]}$.

la delta de Kronecker tiene la propiedad llamada tamizado que para j ∈ ℤ:

${\displaystyle \sum _{i=-\infty }^{\infty }a_{i}\delta _{ij}=a_{j}.}$

y si los números enteros se ven como un espacio de medida, dotados con la medida de conteo, entonces esta propiedad coincide con la propiedad definitoria de la delta de Dirac

${\displaystyle \int _{-\infty }^{\infty }\delta (x-y)f(x)\,dx=f(y),}$

y de hecho, la delta de Dirac a veces se denomina delta de Kronecker debido a esta propiedad análoga. En el procesamiento de señales, suele ser el contexto (tiempo discreto o continuo) el que distingue las "funciones" de Kronecker y de Dirac. Y por convención, δ(t) generalmente indica tiempo continuo (Dirac), mientras que argumentos como i, j, k, l, m y n generalmente se reservan para tiempo discreto (Kronecker). Otra práctica común es representar secuencias discretas con corchetes; así: δ[n]. La delta de Kronecker no es el resultado de muestrear directamente la función delta de Dirac.

La delta de Kronecker forma el elemento neutro multiplicativo de un álgebra de incidencia.^[2]​

En teoría de la probabilidad y estadística, la delta de Kronecker y la delta de Dirac se pueden usar para representar una distribución de probabilidad. Si el soporte de una distribución consta de puntos x = {x₁, ..., x_n}, con las probabilidades correspondientes p₁, ..., p_n, entonces la función de probabilidad p(x) de la distribución sobre x se puede escribir, utilizando la delta de Kronecker, como

${\displaystyle p(x)=\sum _{i=1}^{n}p_{i}\delta _{xx_{i}}.}$

De manera equivalente, la función de densidad de probabilidad f(x) de la distribución se puede escribir usando la función delta de Dirac como

${\displaystyle f(x)=\sum _{i=1}^{n}p_{i}\delta (x-x_{i}).}$

En determinadas condiciones, la delta de Kronecker puede surgir del muestreo de una función delta de Dirac. Por ejemplo, si un impulso delta de Dirac ocurre exactamente en un punto de muestreo e idealmente se filtra en paso bajo (con corte en la frecuencia crítica) según el teorema de muestreo de Nyquist-Shannon, la señal de tiempo discreto resultante será una función delta de Kronenberg.

Si se considera como un tipo de tensor (1,1), el tensor de Kronecker se puede escribir como δi
j con un índice covariante j y un índice contravariante i:

${\displaystyle \delta _{j}^{i}={\begin{cases}0&(i\neq j),\\1&(i=j).\end{cases}}}$

Este tensor representa:

• La aplicación identidad (o matriz de identidad), considerado como la aplicación lineal V → V o V^∗ → V^∗
• La traza o tensor contracción, considerado como una aplicación V^∗ ⊗ V → K
• La aplicación K → V^∗ ⊗ V, que representa la multiplicación escalar como una suma de producto externo.

La delta generalizada de Kronecker o delta de Kronecker multi-índice de orden 2p es un tensor tipo (p,p) que es completamente antisimétrico en sus índices superiores p, y también en sus índices inferiores p.

Se utilizan dos definiciones que difieren en un factor de p!. A continuación, la versión que se presenta tiene componentes distintos de cero escalados para ser ±1. La segunda versión tiene componentes distintos de cero que son ±1/p!, con los consiguientes cambios en los factores de escala en las fórmulas, como los factores de escala de 1/p! en propiedades de la delta de Kronecker generalizada que figuran a continuación, desaparecen.^[3]​

En términos de índices, la delta de Kronecker generalizada se define como:^[4]​^[5]​

${\displaystyle \delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}={\begin{cases}+1&\quad {\text{si }}\nu _{1}\dots \nu _{p}{\text{ son enteros distintos y son una permutación par de }}\mu _{1}\dots \mu _{p}\\-1&\quad {\text{si }}\nu _{1}\dots \nu _{p}{\text{ son enteros distintos y son una permutación impar de }}\mu _{1}\dots \mu _{p}\\\;\;0&\quad {\text{en todos los otros casos}}.\end{cases}}}$

Sea S_p el grupo simétrico de grado p. Entonces:

${\displaystyle \delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}=\sum _{\sigma \in \mathrm {S} _{p}}\operatorname {sgn}(\sigma )\,\delta _{\nu _{\sigma (1)}}^{\mu _{1}}\cdots \delta _{\nu _{\sigma (p)}}^{\mu _{p}}=\sum _{\sigma \in \mathrm {S} _{p}}\operatorname {sgn}(\sigma )\,\delta _{\nu _{1}}^{\mu _{\sigma (1)}}\cdots \delta _{\nu _{p}}^{\mu _{\sigma (p)}}.}$

Usando antisimetrización:

${\displaystyle \delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}=p!\delta _{\lbrack \nu _{1}}^{\mu _{1}}\dots \delta _{\nu _{p}\rbrack }^{\mu _{p}}=p!\delta _{\nu _{1}}^{\lbrack \mu _{1}}\dots \delta _{\nu _{p}}^{\mu _{p}\rbrack }.}$

En términos de un determinante p × p:^[6]​

${\displaystyle \delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}={\begin{vmatrix}\delta _{\nu _{1}}^{\mu _{1}}&\cdots &\delta _{\nu _{p}}^{\mu _{1}}\\\vdots &\ddots &\vdots \\\delta _{\nu _{1}}^{\mu _{p}}&\cdots &\delta _{\nu _{p}}^{\mu _{p}}\end{vmatrix}}.}$

Usando el teorema de Laplace (la fórmula de Laplace) para un determinante, se puede definir recursivamente:^[7]​

${\displaystyle {\begin{aligned}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}&=\sum _{k=1}^{p}(-1)^{p+k}\delta _{\nu _{k}}^{\mu _{p}}\delta _{\nu _{1}\dots {\check {\nu }}_{k}\dots \nu _{p}}^{\mu _{1}\dots \mu _{k}\dots {\check {\mu }}_{p}}\\&=\delta _{\nu _{p}}^{\mu _{p}}\delta _{\nu _{1}\dots \nu _{p-1}}^{\mu _{1}\dots \mu _{p-1}}-\sum _{k=1}^{p-1}\delta _{\nu _{k}}^{\mu _{p}}\delta _{\nu _{1}\dots \nu _{k-1}\,\nu _{p}\,\nu _{k+1}\dots \nu _{p-1}}^{\mu _{1}\dots \mu _{k-1}\,\mu _{k}\,\mu _{k+1}\dots \mu _{p-1}},\end{aligned}}}$

donde el símbolo denominado carón, ˇ, indica un índice que se omite en la secuencia.

Cuando p = n (la dimensión del espacio vectorial), en términos del símbolo de Levi-Civita:

${\displaystyle \delta _{\nu _{1}\dots \nu _{n}}^{\mu _{1}\dots \mu _{n}}=\varepsilon ^{\mu _{1}\dots \mu _{n}}\varepsilon _{\nu _{1}\dots \nu _{n}}.}$

La delta de Kronecker generalizada se puede utilizar para obtener una antisimetrización:

${\displaystyle {\begin{aligned}{\frac {1}{p!}}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}a^{\nu _{1}\dots \nu _{p}}&=a^{\lbrack \mu _{1}\dots \mu _{p}\rbrack },\\{\frac {1}{p!}}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}a_{\mu _{1}\dots \mu _{p}}&=a_{\lbrack \nu _{1}\dots \nu _{p}\rbrack }.\end{aligned}}}$

De las ecuaciones anteriores y de las propiedades del tensor antisimétrico, se pueden deducir las propiedades de la delta de Kronecker generalizada:

${\displaystyle {\begin{aligned}{\frac {1}{p!}}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}a^{\lbrack \nu _{1}\dots \nu _{p}\rbrack }&=a^{\lbrack \mu _{1}\dots \mu _{p}\rbrack },\\{\frac {1}{p!}}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}a_{\lbrack \mu _{1}\dots \mu _{p}\rbrack }&=a_{\lbrack \nu _{1}\dots \nu _{p}\rbrack },\\{\frac {1}{p!}}\delta _{\nu _{1}\dots \nu _{p}}^{\mu _{1}\dots \mu _{p}}\delta _{\rho _{1}\dots \rho _{p}}^{\nu _{1}\dots \nu _{p}}&=\delta _{\rho _{1}\dots \rho _{p}}^{\mu _{1}\dots \mu _{p}},\end{aligned}}}$

que son la versión generalizada de fórmulas descritas en el apartado Propiedades. La última fórmula es equivalente a la fórmula de Cauchy–Binet.

La reducción del orden mediante la suma de los índices puede expresarse mediante la identidad^[8]​

${\displaystyle \delta _{\nu _{1}\dots \nu _{s}\,\mu _{s+1}\dots \mu _{p}}^{\mu _{1}\dots \mu _{s}\,\mu _{s+1}\dots \mu _{p}}={\frac {(n-s)!}{(n-p)!}}\delta _{\nu _{1}\dots \nu _{s}}^{\mu _{1}\dots \mu _{s}}.}$

Usando tanto la regla de la suma para el caso p = n como la relación con el símbolo de Levi-Civita, la regla de suma del símbolo de Levi-Civita se deduce como:

${\displaystyle \delta _{\nu _{1}\dots \nu _{s}}^{\mu _{1}\dots \mu _{s}}={\frac {1}{(n-s)!}}\varepsilon ^{\mu _{1}\dots \mu _{s}\,\rho _{s+1}\dots \rho _{n}}\varepsilon _{\nu _{1}\dots \nu _{s}\,\rho _{s+1}\dots \rho _{n}}.}$

La versión 4D de la última relación aparece en el enfoque espinorial de la relatividad general^[9]​ de Penrose que luego él mismo generalizó, mientras desarrollaba los diagramas de Aitken,^[10]​ para convertirse en parte de la técnica de notación gráfica de Penrose.^[11]​ Además, esta relación se usa ampliamente en las teorías dualidad-S, especialmente cuando están escritas en el lenguaje de formas diferenciales y duales de Hodge.

Para cualquier entero n, utilizando un cálculo de residuos estándar, se puede escribir una representación integral para la delta de Kronecker como la integral de abajo, donde el contorno de la integral va en sentido antihorario alrededor de cero. Esta representación también es equivalente a una integral definida por una rotación en el plano complejo.

${\displaystyle \delta _{x,n}={\frac {1}{2\pi i}}\oint _{|z|=1}z^{x-n-1}\,dz={\frac {1}{2\pi }}\int _{0}^{2\pi }e^{i(x-n)\varphi }\,d\varphi }$

La función peine de Kronecker con el período N se define (utilizando la notación usada en procesamiento digital de señales) como:

${\displaystyle \Delta _{N}[n]=\sum _{k=-\infty }^{\infty }\delta [n-kN],}$

donde N y n son números enteros. El peine de Kronecker consta así de una serie infinita de impulsos unitarios N separados, e incluye el impulso unitario en cero. Puede considerarse que es el análogo discreto del peine de Dirac.

La delta de Kronecker también se denomina grado de aplicación de una superficie a otra.^[12]​ Supóngase que se lleva a cabo una aplicación desde la superficie S_uvw a S_xyz que son los límites de las regiones, R_uvw y R_xyz, y que están simplemente conectadas con una correspondencia de uno a uno. En este marco, si s y t son parámetros para S_uvw, y S_uvw a S_uvw están orientados según la normal externa de orden n:

${\displaystyle u=u(s,t),\quad v=v(s,t),\quad w=w(s,t),}$

mientras que la normal tiene la dirección de

${\displaystyle (u_{s}\mathbf {i} +v_{s}\mathbf {j} +w_{s}\mathbf {k} )\times (u_{t}\mathbf {i} +v_{t}\mathbf {j} +w_{t}\mathbf {k} ).}$

Sean x = x(u,v,w), y = y(u,v,w), z = z(u,v,w) definidas y suaves en un dominio que contenga S_uvw, de forma que estas ecuaciones definan la aplicación de S_uvw en S_xyz. Entonces, el grado δ de mapeo es 1/4π veces el ángulo sólido de la imagen S de S_uvw con respecto al punto interior de S_xyz, O. Si O es el origen de la región, R_xyz, entonces el grado, δ viene dado por la integral:

${\displaystyle \delta ={\frac {1}{4\pi }}\iint _{R_{st}}\left(x^{2}+y^{2}+z^{2}\right)^{-{\frac {3}{2}}}{\begin{vmatrix}x&y&z\\{\frac {\partial x}{\partial s}}&{\frac {\partial y}{\partial s}}&{\frac {\partial z}{\partial s}}\\{\frac {\partial x}{\partial t}}&{\frac {\partial y}{\partial t}}&{\frac {\partial z}{\partial t}}\end{vmatrix}}\,ds\,dt.}$

• Medida de Dirac
• Función indicatriz
• Símbolo de Levi-Civita
• Función unidad
• Puerta XNOR
• Álgebra de Virasoro
• Delta de Dirac
• Delta de Donsker

• Weisstein, Eric W. «Kronecker Delta». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.