In

Dirac delta function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

can both be used to represent a

{{Tensors
Mathematical notation
Elementary special functions

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, the Kronecker delta (named after Leopold Kronecker
Leopold Kronecker (; 7 December 1823 – 29 December 1891) was a German mathematician
A mathematician is someone who uses an extensive knowledge of mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics a ...

) is a function
Function or functionality may refer to:
Computing
* Function key
A function key is a key on a computer
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations automatically. Modern comp ...

of two variables, usually just non-negative integer
An integer (from the Latin
Latin (, or , ) is a classical language belonging to the Italic branch of the Indo-European languages. Latin was originally spoken in the area around Rome, known as Latium. Through the power of the Roman Re ...

s. The function is 1 if the variables are equal, and 0 otherwise:
:$\backslash delta\_\; =\; \backslash begin\; 0\; \&\backslash text\; i\; \backslash neq\; j,\; \backslash \backslash \; 1\; \&\backslash text\; i=j.\; \backslash end$
or with use of Iverson brackets:
:$\backslash delta\_\; =;\; href="/html/ALL/s/=j.html"\; ;"title="=j">=j$
where the Kronecker delta is a piecewise
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

function of variables and . For example, , whereas .
The Kronecker delta appears naturally in many areas of mathematics, physics and engineering, as a means of compactly expressing its definition above.
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mat ...

, the identity matrix
In linear algebra, the identity matrix of size ''n'' is the ''n'' × ''n'' square matrix
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structu ...

has entries equal to the Kronecker delta:
:$I\_\; =\; \backslash delta\_$
where and take the values , and the inner product
In mathematics, an inner product space or a Hausdorff space, Hausdorff pre-Hilbert space is a vector space with a binary operation called an inner product. This operation associates each pair of vectors in the space with a Scalar (mathematics), ...

of vector
Vector may refer to:
Biology
*Vector (epidemiology)
In epidemiology
Epidemiology is the study and analysis of the distribution (who, when, and where), patterns and risk factor, determinants of health and disease conditions in defined pop ...

s can be written as
:$\backslash mathbf\backslash cdot\backslash mathbf\; =\; \backslash sum\_^n\; a\_\backslash delta\_b\_\; =\; \backslash sum\_^n\; a\_\; b\_.$
Here the Euclidean vectors are defined as -tuples: $\backslash mathbf\; =\; (a\_1,\; a\_2,\; ...,\; a\_n)$ and $\backslash mathbf=\; (b\_1,\; b\_2,\; ...,\; b\_n)$ and the last step is obtained by using the values of the Kronecker delta to reduce the summation over .
The restriction to positive or non-negative integers is common, but in fact, the Kronecker delta can be defined on an arbitrary set.
Properties

The following equations are satisfied: :$\backslash begin\; \backslash sum\_\; \backslash delta\_\; a\_j\; \&=\; a\_i,\backslash \backslash \; \backslash sum\_\; a\_i\backslash delta\_\; \&=\; a\_j,\backslash \backslash \; \backslash sum\_\; \backslash delta\_\backslash delta\_\; \&=\; \backslash delta\_.\; \backslash end$ Therefore, the matrix can be considered as an identity matrix. Another useful representation is the following form: :$\backslash delta\_\; =\; \backslash frac\; \backslash sum\_^N\; e^$ This can be derived using the formula for the finite geometric series.Alternative notation

Using theIverson bracketIn mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...

:
: $\backslash delta\_\; =;\; href="/html/ALL/s/=j\_.html"\; ;"title="=j\; ">=j$
Often, a single-argument notation is used, which is equivalent to setting :
:$\backslash delta\_\; =\; \backslash begin\; 0,\; \&\; \backslash mbox\; i\; \backslash ne\; 0\; \backslash \backslash \; 1,\; \&\; \backslash mbox\; i=0\; \backslash end$
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mat ...

, it can be thought of as a tensor
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

, and is written . Sometimes the Kronecker delta is called the substitution tensor.
Digital signal processing

In the study ofdigital signal processing
Digital signal processing (DSP) is the use of digital processing
Digital data, in information theory and information systems, is information represented as a string of discrete symbols each of which can take on one of only a finite number of ...

(DSP), the unit sample function $\backslash delta;\; href="/html/ALL/s/.html"\; ;"title="">$Einstein summation convention
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

.
The discrete unit sample function is more simply defined as:
:$\backslash delta;\; href="/html/ALL/s/.html"\; ;"title="">$
In addition, DSP has a function called the Dirac delta function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

, that is often confused for both the Kronecker delta function and the unit sample function. The Dirac Delta is defined as:
:$\backslash delta(t)\; =\; \backslash begin\; \backslash infty\; \&\; t\; =\; 0\; \backslash \backslash \; 0\; \&\; t\; \backslash text\backslash end$
Unlike the Kronecker delta function $\backslash delta\_$ and the unit sample function $\backslash delta;\; href="/html/ALL/s/.html"\; ;"title="">$Dirac delta function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

$\backslash delta(t)$, or the unit sample function $\backslash delta;\; href="/html/ALL/s/.html"\; ;"title="">$Properties of the delta function

The Kronecker delta has the so-called ''sifting'' property that for : :$\backslash sum\_^\backslash infty\; a\_i\; \backslash delta\_\; =a\_j.$ and if the integers are viewed as ameasure space
A measure space is a basic object of measure theory
Measure is a fundamental concept of mathematics. Measures provide a mathematical abstraction for common notions like mass, distance/length, area, volume, probability of events, and — after si ...

, endowed with the counting measure In mathematics, specifically measure theory, the counting measure is an intuitive way to put a Measure (mathematics), measure on any Set (mathematics), set – the "size" of a subset is taken to be the number of elements in the subset if the subset ...

, then this property coincides with the defining property of the Dirac delta function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

:$\backslash int\_^\backslash infty\; \backslash delta(x-y)f(x)\backslash ,\; dx=f(y),$
and in fact Dirac's delta was named after the Kronecker delta because of this analogous property. In signal processing it is usually the context (discrete or continuous time) that distinguishes the Kronecker and Dirac "functions". And by convention, generally indicates continuous time (Dirac), whereas arguments like , , , , , and are usually reserved for discrete time (Kronecker). Another common practice is to represent discrete sequences with square brackets; thus: . The Kronecker delta is not the result of directly sampling the Dirac delta function.
The Kronecker delta forms the multiplicative identity element
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

of an incidence algebraIn order theory
Order theory is a branch of mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, cha ...

.
Relationship to the Dirac delta function

Inprobability theory
Probability theory is the branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are containe ...

and statistics
Statistics is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data
Data (; ) are individual facts, statistics, or items of information, often numeric. In a more technical sens ...

, the Kronecker delta and discrete distribution
In probability theory and statistics
Statistics is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a scientific, industrial, or social problem, it is ...

. If the support
Support may refer to:
Business and finance
* Support (technical analysis)
In stock market technical analysis, support and resistance are certain predetermined levels of the price of a security (finance), security at which it is thought that th ...

of a distribution consists of points , with corresponding probabilities , then the probability mass function
In probability
Probability is the branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which th ...

of the distribution over can be written, using the Kronecker delta, as
:$p(x)\; =\; \backslash sum\_^n\; p\_i\; \backslash delta\_.$
Equivalently, the probability density function
In probability theory
Probability theory is the branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces ...

of the distribution can be written using the Dirac delta function as
:$f(x)\; =\; \backslash sum\_^n\; p\_i\; \backslash delta(x-x\_i).$
Under certain conditions, the Kronecker delta can arise from sampling a Dirac delta function. For example, if a Dirac delta impulse occurs exactly at a sampling point and is ideally lowpass-filtered (with cutoff at the critical frequency) per the Nyquist–Shannon sampling theorem
The Nyquist–Shannon sampling theorem is a theorem in the field of signal processing
Signal processing is an electrical engineering
Electrical engineering is an engineering discipline concerned with the study, design, and application of ...

, the resulting discrete-time signal will be a Kronecker delta function.
Generalizations

If it is considered as a typetensor
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

, the Kronecker tensor can be written
with a covariant index and contravariant index :
:$\backslash delta^\_\; =\; \backslash begin\; 0\; \&\; (i\; \backslash ne\; j),\; \backslash \backslash \; 1\; \&\; (i\; =\; j).\; \backslash end$
This tensor represents:
* The identity mapping (or identity matrix), considered as a linear mapping
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

or
* The trace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* ''Trace'' (Died Pretty album), 1993
* Trace (band)
Trace was a Netherlands, Dutch progressive rock trio founded by Rick van der Linden in 1974 after leavin ...

or tensor contraction
In multilinear algebra, a tensor contraction is an operation on a tensor that arises from the natural pairing of a finite-dimensional vector space and its dual vector space, dual. In components, it is expressed as a sum of products of scalar compo ...

, considered as a mapping
* The map , representing scalar multiplication as a sum of outer product
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and t ...

s.
The or multi-index Kronecker delta of order is a type tensor that is completely antisymmetric in its upper indices, and also in its lower indices.
Two definitions that differ by a factor of are in use. Below, the version is presented has nonzero components scaled to be . The second version has nonzero components that are , with consequent changes scaling factors in formulae, such as the scaling factors of in ' below disappearing.
Definitions of the generalized Kronecker delta

In terms of the indices, the generalized Kronecker delta is defined as: :$\backslash delta^\_\; =\; \backslash begin\; +1\; \&\; \backslash quad\; \backslash text\; \backslash nu\_1\; \backslash dots\; \backslash nu\_p\; \backslash text\; \backslash mu\_1\; \backslash dots\; \backslash mu\_p\; \backslash \backslash \; -1\; \&\; \backslash quad\; \backslash text\; \backslash nu\_1\; \backslash dots\; \backslash nu\_p\; \backslash text\; \backslash mu\_1\; \backslash dots\; \backslash mu\_p\; \backslash \backslash \; \backslash ;\backslash ;0\; \&\; \backslash quad\; \backslash text.\backslash end$ Let be thesymmetric group
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathemati ...

of degree , then:
:$\backslash delta^\_\; =\; \backslash sum\_\; \backslash sgn(\backslash sigma)\backslash ,\; \backslash delta^\_\backslash cdots\backslash delta^\_\; =\; \backslash sum\_\; \backslash sgn(\backslash sigma)\backslash ,\; \backslash delta^\_\backslash cdots\backslash delta^\_.$
Using anti-symmetrization:
:$\backslash delta^\_\; =\; p!\; \backslash delta^\_\; \backslash dots\; \backslash delta^\_\; =\; p!\; \backslash delta^\_\; \backslash dots\; \backslash delta^\_.$
In terms of a determinant
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

:
:$\backslash delta^\_\; =\; \backslash begin\; \backslash delta^\_\; \&\; \backslash cdots\; \&\; \backslash delta^\_\; \backslash \backslash \; \backslash vdots\; \&\; \backslash ddots\; \&\; \backslash vdots\; \backslash \backslash \; \backslash delta^\_\; \&\; \backslash cdots\; \&\; \backslash delta^\_\; \backslash end.$
Using the Laplace expansion
In linear algebra, the Laplace expansion, named after Pierre-Simon Laplace, also called cofactor expansion, is an expression of the determinant of an matrix as a weighted sum of minors, which are the determinants of some submatrices of . S ...

( Laplace's formula) of determinant, it may be defined recursively
Recursion (adjective: ''recursive'') occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in mathematics ...

:
:$\backslash begin\; \backslash delta^\_\; \&=\; \backslash sum\_^p\; (-1)^\; \backslash delta^\_\; \backslash delta^\_\; \backslash \backslash \; \&=\; \backslash delta^\_\; \backslash delta^\_\; -\; \backslash sum\_^\; \backslash delta^\_\; \backslash delta^\_,\; \backslash end$
where the caron, , indicates an index that is omitted from the sequence.
When (the dimension of the vector space), in terms of the Levi-Civita symbol
In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol represents a collection of numbers; defined from the parity of a permutation, sign of a permutation of the natural numbers , for som ...

:
:$\backslash delta^\_\; =\; \backslash varepsilon^\backslash varepsilon\_.$
Contractions of the generalized Kronecker delta

Kronecker Delta contractions depend on the dimension of the space. For example, :$\backslash delta^\_\; \backslash delta^\_\; =\; (d-1)\; \backslash delta^\_\; ,$ where is the dimension of the space. From this relation the full contracted delta is obtained as :$\backslash delta^\_\; \backslash delta^\_\; =\; 2d(d-1)\; \backslash delta^\_\; .$ The generalization of the preceding formulas is \left(x^2+y^2+z^2\right)^ \begin x & y & z \\ \frac & \frac & \frac \\ \frac & \frac & \frac \end \, ds \, dt.See also

*Dirac measure
Image:Hasse diagram of powerset of 3.svg, 250px, A diagram showing all possible subsets of a 3-point set . The Dirac measure assigns a size of 1 to all sets in the upper-left half of the diagram and 0 to all sets in the lower-right half.
In mathem ...

*Indicator function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

*Levi-Civita symbol
In mathematics, particularly in linear algebra, tensor analysis, and differential geometry, the Levi-Civita symbol represents a collection of numbers; defined from the parity of a permutation, sign of a permutation of the natural numbers , for som ...

* 't Hooft symbol
*Unit functionIn number theory, the unit function is a completely multiplicative function
:''Outside number theory, the term multiplicative function is usually used for completely multiplicative functions. This article discusses number theoretic multiplicative f ...

* XNOR gate
References