¿Qué es el Kronecker Delta?

La función delta de Kronecker, denotada δi, j, es una función binaria que es igual a 1 si i y j son iguales y igual a 0 en caso contrario. Aunque técnicamente es una función de dos variables, en la práctica se utiliza como una forma abreviada de notación, lo que permite escribir enunciados matemáticos complicados de forma compacta. Los matemáticos, físicos e ingenieros que trabajan en álgebra lineal, análisis de tensores y procesamiento de señales digitales utilizan la función delta de Kronecker como un recurso para transmitir en una sola ecuación lo que de otro modo tomaría varias líneas de texto.

Esta función se emplea con mayor frecuencia para simplificar la escritura de ecuaciones que involucran notación sigma, que es en sí misma un método conciso para referirse a sumas complicadas. Por ejemplo, si una empresa tiene 30 empleados {e1, e2 … e30}, y cada empleado trabaja un número diferente de horas {h1, h2 … h30} a una tarifa por hora diferente {r1, r2 … r30}, el dinero total pagado a estos empleados por su trabajo es igual a e1 * h1 * r1 + e2 * h2 * r2 + e3 * h3 * r3 +… e30 * h30 * r30. Los matemáticos pueden escribir esto de manera concisa como ∑i ei * hi * ri.

Al describir sistemas físicos que involucran múltiples dimensiones, los físicos con frecuencia deben usar sumas dobles. Las aplicaciones científicas prácticas son muy complejas, pero un ejemplo concreto muestra cómo la función delta de Kronecker puede simplificar expresiones en estos casos.

Hay tres tiendas de ropa en un centro comercial, y cada una vende una marca diferente. Hay un total de 20 estilos de camisas disponibles: ocho ofrecidos por la tienda 1, siete ofrecidos por la tienda 2 y cinco ofrecidos en la tienda 3. Hay doce estilos de pantalones disponibles: cinco en la tienda 1, tres en la tienda 2 y cuatro en la tienda 3. Se pueden comprar 240 posibles atuendos, porque hay 20 opciones para la camisa y 12 opciones para los pantalones. Cada combinación produce un atuendo diferente.

No es tan sencillo calcular la cantidad de formas de seleccionar un atuendo en el que la camisa y los pantalones son de diferentes tiendas. Se puede seleccionar una camisa de la tienda 1 y pantalones de la tienda 2 de 8 * 3 formas. Hay 8 * 4 formas de seleccionar una camisa de la tienda 1 y pantalones de la tienda 3. Continuando de esta manera, se encuentra que el número total de atuendos que usan artículos de diferentes tiendas es 8 * 3 + 8 * 4 + 7 * 5 + 7 * 4 + 5 * 5 + 5 * 3 = 199.

Se podría considerar la disponibilidad de camisas y pantalones como dos secuencias, {s1, s2, s3} = {8, 7, 5} y {p1, p2, p3} = {5, 3, 4}. Entonces, la función delta de Kronecker permite que esta suma se escriba simplemente como ∑i ∑jsi * pj * (1- δi, j). El término (1- δi, j) elimina aquellos conjuntos que comprenden una camisa y pantalones comprados en la misma tienda porque en ese caso i = j, entonces δi, j = 1 y (1- δi, j) = 0. Multiplicando el término por 0 lo elimina de la suma.
La función delta de Kronecker se utiliza con mayor frecuencia al analizar espacios multidimensionales, pero también se puede utilizar al estudiar espacios unidimensionales, como la recta numérica real. En ese caso, a menudo se utiliza una variante de entrada única: δ (n) = 1 si n = 0; δ (n) = 0 en caso contrario. Para ver cómo se puede usar la función delta de Kronecker para simplificar enunciados matemáticos complejos sobre los números reales, se podrían considerar las siguientes dos funciones cuyas entradas son fracciones simplificadas:
f (a / b) = a si a = b + 1, f (a / b) = -b si b = a + 1, y f (a / b) = 0 en caso contrario g (a / b) = a * δ (ab-1) –b * δ (a-b + 1)

Las funciones fyg son idénticas, pero la definición de g es más compacta y no requiere inglés, por lo que puede ser entendida por cualquier matemático del mundo.
Como se ilustra en estos ejemplos, las entradas de la función delta de Kronecker suelen ser números enteros que están conectados a alguna secuencia de valores. La distribución delta de Dirac es un análogo continuo de la función delta de Kronecker utilizada cuando se integran funciones en lugar de sumar secuencias.