Home > Kernel of a function

In mathematics, the kernel of a function f may be taken to be either

• the equivalence relation on the function's domain that roughly expresses the idea of "equivalent as far as the function f can tell", or
• the corresponding partition of the domain.

Note that there are several other meanings of the word "kernel" in mathematics; see kernel (mathematics) for these.

For the formal definition, let X and Y be sets and let f be a function from X to Y. Elements x₁ and x₂ of X are equivalent if f(x₁) and f(x₂) are equal, i.e. are the same element of Y. The kernel of f is the equivalence relation thus defined.

The kernel, in the equivalence-relation sense, may be denoted "=_f" (or a variation) and may be defined symbolically as

Like any equivalence relation, the kernel can be modded out by to form a quotient set, and the quotient set is the partition:

This quotient set X/=_f is called the coimage of the function f, and denoted "coim f" (or a variation). The coimage is naturally isomorphic (in the set-theoretic sense of a bijectionIn mathematics, a bijection bijective function or one-to-one correspondence is a function that is both injective ("one-to-one") and surjective ("onto"), and therefore bijections are also called one-to-one and onto . Intuitively, a bijective function creat) to the image, im f; specifically, the equivalence classIn mathematics, given a set X and an equivalence relation ~ on X the equivalence class of an element a in X is the subset of all elements in X which are equivalent to a :[a] { x in X | x ~ a } The notion of equivalence classes is useful for constructing s of x in X (which is an element of coim f) corresponds to f(x) in Y (which is an element of im f).

Like any binary relationIn mathematics, the concept of binary relation is exemplified by such ideas as "is greater than" and "is equal to" in arithmetic, or "is congruent to" in geometry, or "is an element of" or "is a subset of" in set theory. Definition Formally, a binary rela, the kernel of a function may be thought of as a subsetIf X and Y are sets and every element of X is also an element of Y, then we say or write: X is a subset of (or is included in) Y; X ⊆ Y; Y is a superset of (or includes X; Y ⊇ X. Every set Y is a subset of itself. A subset of Y which is not equa of the Cartesian productIn mathematics, the Cartesian product (or direct product X × Y of two sets X and Y is the set of all ordered pairs whose first component is a member of X and whose second component is a member of Y''. This concept is named after Rene Descartes. X × Y { x X × X. In this guise, the kernel may be denoted "ker f" (or a variation) and may be defined symbolically as

But this is not useful merely as a formalisation in set theorySet theory is the mathematical theory of sets, which represent collections of abstract objects. It has a central role in modern mathematical theory, providing the basic language in which most of mathematics is expressed. For more information on set theory! In fact, the study of the properties of this subset can shed important light on the function in question. We give here two examples.

First, if X and Y are algebraic structures of some fixed type (such as groups, rings, or vector spaces), and if the function f from X to Y is a homomorphism, then ker f will be a subalgebra of the direct product X × X. Subalgebras of X × X that are also equivalence relations (called congruence relations) are important in abstract algebra, because they define the most general notion of quotient algebra. Thus the coimage of f is a quotient algebra of X much as the image of f is a subalgebra of Y; and the bijection between them becomes an isomorphism in the algebraic sense as well (this is the most general form of the first isomorphism theorem in algebra). The use of kernels in this context is discussed further in the article Kernel (algebra).

Secondly, if X and Y are topological spaces and f is a continuous function between them, then the topological properties of ker f can shed light on the spaces X and Y. For example, if Y is a Hausdorff space, then ker f must be a closed set. Conversely, if X is a Hausdorff space and ker f is a closed set, then the coimage of f, if given the quotient space topology, must also be a Hausdorff space.