All Topics  
Kronecker delta

 
Kronecker Delta

   Email Print
   Bookmark   Link






 

Kronecker delta



 
 
In mathematics
Mathematics

Mathematics is the study of quantity, structure, space, change, and related topics of pattern and form. Mathematicians seek out patterns whether found in numbers, space, natural science, computers, imaginary abstractions, or elsewhere....
, the Kronecker delta or Kronecker's delta, named after Leopold Kronecker
Leopold Kronecker

Leopold Kronecker was a Germany mathematician and logician who argued that arithmetic and Mathematical analysis must be founded on "whole numbers", saying, "God made the integers; all else is the work of man" ....
 (1823-1891), is a function
Function (mathematics)

The mathematical concept of a function expresses dependence between two quantities, one of which is known and the other which is produced. A function associates a single output to each input element drawn from a fixed Set , such as the real numbers , although different inputs may have the same output....
 of two variable
Variable

A variable is a symbol that stands for a value that may vary; the term usually occurs in opposition to constant, which is a symbol for a non-varying value, i.e....
s, usually integer
Integer

The integers are natural numbers including 0 and their negative and non-negative numberss . They are numbers that can be written without a fractional or decimal component, and fall within the set ....
s, which is 1 if they are equal, and 0 otherwise. So, for example, , but . It is written as the symbol dij, and treated as a notational shorthand rather than as a function.

g the Iverson bracket
Iverson bracket

In mathematics, the Iverson bracket is a convenient notation that denotes a number that is 1 if the condition in square brackets is satisfied, and 0 otherwise....
:


Often, the notation is used.

In linear algebra
Linear algebra

Linear algebra is the branch of mathematics concerned with the study of Euclidean vectors, vector spaces , linear maps , and system of linear equations....
, it can be thought of as a tensor
Tensor

A tensor is an object which extends the notion of Scalar , Vector , and Matrix . The term has slightly different meanings in mathematics and physics....
, and is written .

larly, in digital signal processing
Digital signal processing

Digital signal processing is concerned with the representation of the signal s by a sequence of numbers or symbols and the processing of these signals....
, the same concept is represented as a function on (the integers
Number

A number is a mathematical object used in counting and measurement. A notational symbol which represents a number is called a Numeral system, but in common usage the word number is used for both the abstract object and the symbol, as well as for the numeral for the number....
):

The function is referred to as an impulse, or unit impulse.






Discussion
Ask a question about 'Kronecker delta'
Start a new discussion about 'Kronecker delta'
Answer questions from other users
Full Discussion Forum



Recent Posts









Encyclopedia


In mathematics
Mathematics

Mathematics is the study of quantity, structure, space, change, and related topics of pattern and form. Mathematicians seek out patterns whether found in numbers, space, natural science, computers, imaginary abstractions, or elsewhere....
, the Kronecker delta or Kronecker's delta, named after Leopold Kronecker
Leopold Kronecker

Leopold Kronecker was a Germany mathematician and logician who argued that arithmetic and Mathematical analysis must be founded on "whole numbers", saying, "God made the integers; all else is the work of man" ....
 (1823-1891), is a function
Function (mathematics)

The mathematical concept of a function expresses dependence between two quantities, one of which is known and the other which is produced. A function associates a single output to each input element drawn from a fixed Set , such as the real numbers , although different inputs may have the same output....
 of two variable
Variable

A variable is a symbol that stands for a value that may vary; the term usually occurs in opposition to constant, which is a symbol for a non-varying value, i.e....
s, usually integer
Integer

The integers are natural numbers including 0 and their negative and non-negative numberss . They are numbers that can be written without a fractional or decimal component, and fall within the set ....
s, which is 1 if they are equal, and 0 otherwise. So, for example, , but . It is written as the symbol dij, and treated as a notational shorthand rather than as a function.

Alternate notation

Using the Iverson bracket
Iverson bracket

In mathematics, the Iverson bracket is a convenient notation that denotes a number that is 1 if the condition in square brackets is satisfied, and 0 otherwise....
:


Often, the notation is used.

In linear algebra
Linear algebra

Linear algebra is the branch of mathematics concerned with the study of Euclidean vectors, vector spaces , linear maps , and system of linear equations....
, it can be thought of as a tensor
Tensor

A tensor is an object which extends the notion of Scalar , Vector , and Matrix . The term has slightly different meanings in mathematics and physics....
, and is written .

Digital signal processing

Unit Impulse
Similarly, in digital signal processing
Digital signal processing

Digital signal processing is concerned with the representation of the signal s by a sequence of numbers or symbols and the processing of these signals....
, the same concept is represented as a function on (the integers
Number

A number is a mathematical object used in counting and measurement. A notational symbol which represents a number is called a Numeral system, but in common usage the word number is used for both the abstract object and the symbol, as well as for the numeral for the number....
):

The function is referred to as an impulse, or unit impulse. And when it stimulates a signal processing element, the output is called the impulse response
Impulse response

The impulse response of a system is its output when presented with a very brief input signal, an impulse. Mathematically, an impulse can be modeled as a Dirac delta function for continuous-time systems, or as the Kronecker delta for discrete-time systems....
 of the element.

Properties of the delta function

The Kronecker delta has the so-called sifting property that for : and if the integers are viewed as a measure space, endowed with the counting measure
Counting measure

In mathematics, the counting measure is an intuitive way to put a measure on any Set : the "size" of a subset is taken to be the number of the subset's elements if this is finite, and ∞ if the subset is infinite....
, then this property coincides with the defining property of the Dirac delta function
Dirac delta function

The Dirac delta or Dirac's delta is a mathematics construct introduced by theoretical physicist Paul Dirac. Informally, it is a function representing an infinitely sharp peak bounding unit area: a function d that has the value 0 everywhere except at x = 0 where its value is infinity in such a way that its total integral is 1....
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 i, j, k, l, m, and n are usually reserved for discrete time (Kronecker). Another common practice is to represent discrete sequences with square brackets; thus:  . It is important to note that the Kronecker delta is not the result of sampling the Dirac delta function.

The Kronecker delta is used in many areas of mathematics.

Linear algebra

In linear algebra
Linear algebra

Linear algebra is the branch of mathematics concerned with the study of Euclidean vectors, vector spaces , linear maps , and system of linear equations....
, the identity matrix
Identity matrix

In linear algebra, the identity matrix or unit matrix of size n is the n-by-n square matrix with ones on the main diagonal and zeros elsewhere....
 can be written as .

If it is considered as a tensor
Tensor

A tensor is an object which extends the notion of Scalar , Vector , and Matrix . The term has slightly different meanings in mathematics and physics....
, the Kronecker tensor, it can be written with a covariant index j and contravariant index i.

This (1,1) tensor represents:
  • the identity matrix, considered as a linear mapping
  • the trace
    Trace (linear algebra)

    In linear algebra, the trace of an n-by-n square matrix A is defined to be the sum of the elements on the main diagonal of A, i.e.,...
  • the inner product
  • the map , representing scalar multiplication as a sum of outer product
    Outer product

    In linear algebra, the outer product typically refers to the Tensor product of two vector . The result of applying the outer product to a pair of vectors is a matrix ....
    s


Extensions of the delta function

In the same fashion, we may define an analogous, multi-dimensional function of many variables

This function takes the value 1 if and only if all the upper indices match the corresponding lower ones, and the value zero otherwise.

Integral representations

For any integer n, using a standard residue
Residue (complex analysis)

In complex analysis, the residue is a complex number which describes the behavior of line integrals of a meromorphic function around a mathematical singularity....
 calculation we can write an integral representation for the Kronecker delta as

where the contour of the integral goes counterclockwise around zero. This representation is also equivalent to

by a rotation in the complex plane.

See also

  • Levi-Civita symbol
    Levi-Civita symbol

    The Levi-Civita symbol, also called the permutation symbol, antisymmetric symbol, or alternating symbol, is a mathematics symbol used in particular in tensor calculus....
  • Dirac measure
    Dirac measure

    In mathematics, a Dirac measure is a measure δx on a set X that gives the singleton set the measure 1, for a chosen element x ∈ X:...