Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My professor gave this subject in the class (analytic geometry) and I thought it was very complicated, then I just decided to open Wikipedia entry on Kronecker's Delta and discovered it is quite simple. (With that I meant that I understand the function $\delta_{ij}$). I got curious with two things:

  • Why is it named after Kronecker? I mean, I tend to assume that results that are named after someone are considered hard/important. This delta seems to be simple - although I am aware that in mathematics, something that seems easy or trivial has deep consequences that only an experienced mathematician can see. If this is the case, I am not experienced.

The Kronecker delta is used in many areas of mathematics, physics and engineering, primarily as an expedient to convey in a single equation what might otherwise take several lines of text.

  • What is the meaning of "convey in a single equation what might otherwise take several lines of text"? I know that there might be some examples in the article I just mentioned, but I can't understand most of the article. Can you provide me an example of such an equation and it's big equivalent form?
share|cite|improve this question
The Wikipedia article provides two examples right at the top: identity matrices and inner product of vectors. – Code-Guru Jul 12 '14 at 3:41
It is very useful in tensor algebra/calculus – TylerHG Jul 12 '14 at 5:48

It's nothing super-special, just a convenient shorthand. It does save typesetting though, because

$$\delta_{ij} = \left \{ \begin{array}{lr} 1 & i=j \\ 0 & i \neq j \end{array} \right.$$

which is a little bit much to write every time you use it. (Feel free to click edit to see how much that takes to write in LaTeX.)

share|cite|improve this answer
(Why) Do you prefer \begin{array} to \begin{cases}? – Eric Towers Jul 12 '14 at 3:49
I've never seen the latter, actually. Is it in the base packages? – Ian Jul 12 '14 at 3:51
Seems to be in amsmath and MathJax and texvc (used by MediaWiki). (Sorry for the lag -- had to go check.) – Eric Towers Jul 12 '14 at 3:55

Consider one example given in the Wikipedia page that you linked. It shows how to describe an identity matrix using the Kronecker's Delta function. If you attempted to describe this in words, it would be something like "a square matrix with one's on the diagonal and zeros everywhere else."

share|cite|improve this answer

An example used routinely in physics is the orthonormality of a basis $\{e_1,e_2,\ldots\}$: $$\langle e_i | e_j \rangle = \delta_{ij}$$ This breaks down into two equations: $\langle e_i | e_j \rangle = 0$ when $i \neq j$ and $\langle e_i | e_i\rangle = 1$. While this may not seem to be much of a simplification, this allows one to simplify formulae containing sums of multiple inner products that occur often in physics.

As for actual mathematical depth, for a physicist, the Kronecker delta is simply a notational shorthand, a way of compactly writing sums and not much else.

You may be interested in this cool formula:

$$ \delta_{nm} = \frac{1}{2\pi} \int_0^{2\pi} e^{it(n-m)}\;\mathrm{d}t$$

share|cite|improve this answer
The integral formula you mentioned is only true for the Dirac delta $\delta(x)$ which is a different object from Kronecker delta. – Minethlos Sep 26 '15 at 14:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.