Trong toán học, ký hiệu Kronecker delta là một hàm số của hai biến, thường là các số nguyên không âm. Hàm số có giá trị 1 nếu hai biến bằng nhau, và 0 nếu chúng khác nhau: hoặc bằng dấu ngoặc Iverson: trong đó Kronecker delta δij là một hàm số xác định theo từng khoảng của các giá trị i và j. Ví dụ, δ1 2 = 0, còn δ3 3 = 1. Hàm Kronecker delta xuất hiện thường xuyên trong các ngành toán học, vật lý, và kỹ thuật để đơn giản hóa định nghĩa ở trên. Hàm số được đặt tên theo Leopold Kronecker.
Trong đại số tuyến tính, ma trận đơn vị I kích thước n × n có các phần tử xác định bằng Kronecker delta: trong đó i và j mang các giá trị 1, 2, ..., n. Ngoài ra, tích trong của các vectơ có thể được viết dưới dạng
Thông thường, hàm Kronecker delta chỉ được xét trên tập số nguyên, tuy nhiên nó có thể được định nghĩa trên một tập hợp bất kỳ.
Ta có những đẳng thức sau Do đó, ma trận δ có thể được coi như một ma trận đơn vị.
Một dạng khác cũng đôi khi được sử dụng là dạng chuỗi cấp số nhân:
Ta có thể biểu diễn Kronecker delta bằng dấu ngoặc Iverson:
Ngoài ra, ký hiệu một biến δi cũng thường xuất hiện, tương đương với việc cho j = 0:
Trong đại số tuyến tính, Kronecker delta có thể được coi là một tensor và ký hiệu bằngδi
j. Đôi khi nó được gọi là tensor thay thế.[1]