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.
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) .
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:
- The open sets of a topological space form a core system, namely the topology of the space. The associated core operator is the formation of the interior of a subset.