Kronecker delta

E100234

The Kronecker delta is a function of two variables that equals 1 when the variables are equal and 0 otherwise, widely used in linear algebra, tensor calculus, and discrete mathematics to represent identity relations.

All labels observed (2)

Label Occurrences
Kronecker delta canonical 2
Kronecker delta (discrete case) 1

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf concept in discrete mathematics
concept in linear algebra
concept in tensor calculus
mathematical function
symbol
appearsIn Ricci calculus
surface form: Einstein summation convention
category indicator function of equality
codomain {0,1}
componentOf identity matrix entries
contractionRule A_i δ_ij = A_j
δ_ij A_j = A_i
definedOn pair of indices
definition δ_ij = 1 if i = j and 0 otherwise
domain ℤ × ℤ
field mathematics
generalization multi-index Kronecker delta
hasAlternativeNotation δ(i,j)
hasSymbol δ_ij
idempotentProperty δ_ij δ_jk = δ_ik
isDiscreteAnalogOf Dirac delta function
logicalInterpretation truth value of equality between indices
matrixRepresentation identity matrix
namedAfter Leopold Kronecker
orthonormalityRelation e_i · e_j = δ_ij
property symmetric in its indices
δ_ii = 1 for any index i
δ_ij = 0 for i ≠ j
relatedTo Dirac delta function
represents identity relation on a set of indices
roleInEinsteinSummation acts as identity for index substitution
specialCaseOf discrete orthogonality relation
symmetry δ_ij = δ_ji
takesValue 0 when its two arguments are not equal
1 when its two arguments are equal
tensorRank (0,2) tensor in index notation
usedFor discrete convolution identities
encoding equality constraints between indices
selecting components in sums
simplifying tensor expressions
usedIn discrete mathematics
index notation
linear algebra
quantum mechanics
representation of identity operators
summation notation
tensor analysis
Ricci calculus
surface form: tensor calculus
usedToDefine components of identity tensor
usedToExpress orthonormality of basis vectors

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Leopold Kronecker notableWork Kronecker delta
Dirac delta function generalizationOf Kronecker delta
this entity surface form: Kronecker delta (discrete case)
Levi-Civita symbol relatedConcept Kronecker delta