Difference Kernels
A binary equaliser (that is, an equaliser of just two functions) is also called a difference kernel. This may also be denoted DiffKer(f,g), Ker(f,g), or Ker(f − g). The last notation shows where this terminology comes from, and why it is most common in the context of abstract algebra: The difference kernel of f and g is simply the kernel of the difference f − g. Furthermore, the kernel of a single function f can be reconstructed as the difference kernel Eq(f,0), where 0 is the constant function with value zero.
Of course, all of this presumes an algebraic context where the kernel of a function is its preimage under zero; that is not true in all situations. However, the terminology "difference kernel" has no other meaning.
Read more about this topic: Equaliser (mathematics)
Famous quotes containing the word difference:
“Time isn’t so important.... We can say that time is behind us, that we’ve had years together.... I can tell you about a thousand wonderful hours we’ve spent together because I feel we would have, inevitably. And there’s not that much difference between the future and the past.”
—Kurt Neumann (1906–1958)