MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In functional analysis, there is the term "integral kernel". Examples are Possion kernel, Dirichlet kernel etc.

In algebra, the term kernel of a homomorphism refers to the inverse image of the zero element.

Are these two terms related? If not, where did the word "kernel" in the term "integral kernel" come from?

share|cite|improve this question
You may find the required history on Wikipedia site. It has several articles about kernels in maths. – Wadim Zudilin May 10 '10 at 13:46
up vote 4 down vote accepted

I think it simply denotes the inner part.

According to dictionary, kernel is "the important, central part of anything". (This is the third meaning in Chambers Concise Dictionary). From O.E. cyrnel=corn,grain + dimin. suffix -el).

I also know the kernel of an operating system.

share|cite|improve this answer
I wrote about this question here:… – SixWingedSeraph May 11 '10 at 21:10

Both the kernel of a linear operator and the integral kernel come from the German word "Kern". Both are translations of it. In German "Kern" means kernel, core, nucleus at the same time. Furthermore, for instance, the place where the seeds are in an apple are also called "Kern". As in English, it refers to something central or essential (as in the integral or in the Earth (the core, "Erdkern")), but also as something hidden (as in an apple or for the linear operator). It might be that this variety of meanings might be lost when you translate it into English.

share|cite|improve this answer

An integral kernel is, of course, an integrable generalization $K(x,y)$ of a matrix $M_{j,k}$. You could very loosely call this a "kernel" in the sense of the "core" of the formula for a integral linear operator. For comparison, Wiktionary tells me that in German, a Kerngehäuse is an apple core, while Kernphysik is nuclear physics.

But mainly, I think that the two uses of kernel, one for the null space and one for an integration matrix, is just a terrible collision of terminology that became standard by accident. It's nice when a mathematical term is an inspired metaphor or neologism. For instance the word "spectrum" for the set of eigenvalues of an operator was not just inspired, but also prescient and profound. (As I understand it, the term was chosen by mathematicians, by analogy with spectral lines in chemistry, shortly before the development of quantum mechanics.) But sometimes we're just unlucky, or maybe collectively stupid.

As Jan Kolar points out, the kernel of an operating system is a third metaphorical use of the word that makes vastly more sense.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.