Talk:Kronecker delta

Kronecker Delta as a sampling of the Dirac Delta
The article states, "It is important to note that the Kronecker delta is not the result of sampling the Dirac delta function." Isn't this incorrect? If we use the ideal lowpass to limit the bandwidth for sampling, then we will be sampling a sinc function at the middle peak and then zero-crossings. I won't change anything until I cook up a proof or find a ref to add here, or until someone (myself included) shows I'm wrong. Any thoughts? Herr Lip (talk) 19:50, 31 March 2011 (UTC)

I went ahead and put something in, albeit without a proof or ref, for now. I also changed "It is important to note that the Kronecker delta is not the result of sampling the Dirac delta function." to "It is important to note that the Kronecker delta is not the result of directly sampling the Dirac delta function." Adding the "directly" to clarify (what I assume is) the point of the original statement, and help compare to my addition. Herr Lip (talk) 01:16, 30 April 2011 (UTC)

I think what this statement means is that sampling a Dirac delta function at x=0 (for a sufficiently short sample "time" around x=0) must yield a value greater than 1, the expected discrete Kronecker delta value for [0,0]. The reason is that the value of a Dirac delta at exactly x=0 (with infinitely small sample time) must be infinite for the total integral over the number line to be 1. Does anyone agree? David Spector (talk) 22:01, 23 July 2013 (UTC)

what is the discrete convolution of sampled Dirac delta function with discrete sinc function? 1*delta(x)= delta(x), but what about 0*delta(x)=?, since 0*infinity is undetermined or undefined, so the lowpass filter idea is questionable. the idea indeed seems to implicitly take continuous convolution of sampled Dirac delta function with discrete sinc function first and then sample the convolution and get the Kronecker delta, that's no problem — Preceding unsigned comment added by 123.119.83.143 (talk)

Regarding the section "algebraic expression"
I agree that it may look like original research, but it is nonetheless a true algebraic representation, as long as it is used only on integers. I have my doubts about how useful it is, though, as all practical programming languages interprets boolean truth as 1 if converted to integer, which means that the Kronecker delta function can simply be represented as something like: int(i==j) —Preceding unsigned comment added by 77.40.128.194 (talk) 14:27, 6 December 2009 (UTC)


 * I've removed it because it is original research, is a horribly clunky fragile definition, and I'm not sure it lends any insight. To whoever is using IP addresses to revert this, please stop until you've discussed.  Oli Filth(talk&#124;contribs) 13:29, 22 April 2010 (UTC)


 * Agree with removal. Mathematics must be rigorous. Most programming languages are explicitly non-rigorous. David Spector (talk) 22:05, 23 July 2013 (UTC)

Unit Impulse
Isn't the section on the unit Impusle Misleading? Shouldn't the value at 0 for the impulse be '+inf', not '1'? (I know thats not actually correct either, but I'm saying its not right as is) --143.107.106.100 (talk) 22:50, 14 April 2011 (UTC)


 * There is no value for the Dirac delta at x=0, and it is not a well-behaved function. See my comment above under "Kronecker Delta as a sampling of the Dirac Delta". The proper delta is used in the proper context. David Spector (talk) 22:11, 23 July 2013 (UTC)

Conflicting relationship of the generalized Kronecker delta and Levi-Civita symbol in Gamma matrices
I notice that in this article, the relationship with the Levi-Civita symbol differs by a factor of n!. Here it is given as
 * $$ \delta^{\mu_1 \dots \mu_n}_{\nu_1 \dots \nu_n} = \varepsilon^{\mu_1 \dots \mu_n}\varepsilon_{\nu_1 \dots \nu_n} $$

whereas in Gamma matrices (open the "Proof" box to see it) it is given as
 * $$ \delta^{\alpha\beta\gamma\delta}_{\mu\nu\varrho \sigma} = \frac{1}{4!} \varepsilon^{\alpha\beta\gamma\delta} \varepsilon_{\mu\nu\varrho\sigma} $$.

This discrepancy is possibly a matter of definition of the generalized Kronecker delta, and should be clarified. — Quondum 04:52, 29 October 2012 (UTC)


 * Are you sure that the formula in the Gamma matrices article is based on a reliable source rather than derived from an earlier, internally inconsistent, version of this article? JRSpriggs (talk) 07:36, 29 October 2012 (UTC)


 * No, I am not suggesting that this article is at fault; I was simply pointing out a discrepancy between the two articles that I'd noticed, and hoping someone with more familiarity with it would know. The relevance to this article is that if there is a another accepted definition, this is where it should be noted. The only sources that I've found (and there are not many that I've gone through) support this article's version. The other article's version is "better" in a useful sense (it seems that it represents a projection (being antisymmetrization, an idempotent operation), and unlike this article's version, would mostly eliminate the factorial factors that abound). However, the criterion to be used is notability, not utility. — Quondum 09:14, 29 October 2012 (UTC)


 * Christopher Pope (Geometry and Group Theory, 2008, http://people.physics.tamu.edu/pope/geom-group.pdf) uses a version of the generalized Kronecker δ that differs with a factor of n! from the one in this article. See his equations (1.239) and (1.240). It seems my supervisor uses the same convention as Pope, and if it is a common definition it should be noted in this article. Would have saved me some trouble... — Preceding unsigned comment added by 129.16.200.109 (talk) 13:11, 21 August 2013 (UTC)

infinity
The definition of Dirac delta should not be that it is infinity at x=0, but just that its area is one. That is, it is a special infinity, or a limit value that tends to infinity. Gah4 (talk) 07:01, 20 February 2022 (UTC)