Core operator

from Wikipedia, the free encyclopedia

In mathematics , the kernel of a set is a subset that is small enough to meet certain requirements, and at the same time the largest set that meets these requirements. The most important example is the open core or the interior of a subset of a topological space . Core operator describes the rule by which every set of objects is assigned its core. The kernels given by a kernel operator form a kernel system , i.e. a set system with certain properties.


Core operators

Over a given basic set , a kernel operator is an intensive , monotonic , idempotent mapping to the power set of , which assigns a further subset of , namely the kernel , to each subset , whereby the following conditions are met:

(It) intensity: that is: the core of is contained at least in the set itself.
(M) Monotony or isotony:, that means: If is a subset of , this also applies accordingly to its nuclei.
(Ip) Idempotence:, that means: If one forms the core of a set again, it remains unchanged.

Because of the other two requirements, instead of idempotence, it is sufficient to just demand, that is: if you build the core of a set again, nothing is taken away.

The following is equivalent to the three named individual claims. is called the core operator if the following applies to all :

(Ok) .

Core systems

A kernel system is a set system closed under any union set formation, i. H. A core system over a set is a set consisting of subsets of the basic set with the following properties:

(Sk 0 ): contains the empty set : .
(Sk 1 ): For each non-empty subset of the union of the elements is an element of , or in short .

Because of this, the two mentioned conditions can be simplified to a single equivalent condition:

(Sk): For each subset of the union of the elements is an element of , or in short .

Relationship between core systems and core operators

Core systems and core operators correspond to one another:

  • Is a core system , then you can a nuclear operator to define as follows:
for everyone .
  • Conversely, from any nuclear operator on a core system about to be won:


See also


  • Marcel Erné: Introduction to Order Theory . Bibliographisches Institut, Mannheim 1982, ISBN 3-411-01638-8 .
  • Heinrich Werner: Introduction to general algebra . Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8 .