In mathematics , a mapping between two sets, which do not have to be different and which have structures of the same kind, is then compatible with their structures , a homomorphism or a (concrete) morphism of this type of structure, if the elements from the one set are so in the other set depicts that their images behave there in terms of relations and images of the structure in the same way as their archetypes behave in the initial structure.
An important special case for this are the distributive laws as the characterization of two-digit links that are left compatible or right compatible with other connections.
Given are two non-empty sets and as well as any non-empty index sets and for each which can always be infinite in the following.
Furthermore, let and be two relations with the same properties as well as and two families of relations and each have the same properties for each index , so that and two structures are of the same kind.
A relation is then called compatible with the relations and if the following applies to all :
Accordingly, a mapping in particular is compatible with the relations and if the following applies:
is compatible with the structures and if the mapping for each index is compatible with and One then also calls a homomorphism or morphism for short of this type of structure.
Now let an inner connection be on ( may also be infinite) and so that the relation on is given in component terms . then means compatible with if compatible with and
Here (and below, for any ) was for the defined by .
- Are two relations with the same properties and mappings (i.e. left total and right clear ) and then a map is compatible with the mappings and if and only if
- Two zero-digit mappings and can always be understood as the one-element single - digit relations and . A picture is therefore if and compatible with the pictures and if the constants and maps to each other:
is if and compatible with a picture if the following applies:
In addition, let a non-empty set be given. A two-digit link is then called left compatible with and if the link transformation
is compatible with and according to the above definition . A two-digit link is also called legally compatible with and if for each the legal transformation
is compatible with and .
If the left is tolerated and quite compatible with pictures and then we also say that linksdistributiv is or rechtsdistributiv is over and
or for everyone and for everyone
An inner two-digit link on is called distributive over if left and right distributive is over .
- Those with ordered structures and compatible maps are called isotonic or monotonic (increasing) :
- The topology of a topological space is clearly given by the envelope system of all closed sets of the space and is also clearly determined by the core system , because every open set is the (absolute) complement of a closed set and vice versa. Each closed set can in turn be characterized in that each point then precisely located, if against him a network converges for the topology and the convergence of all the networks are therefore equivalent .
- With the common topological structure of two topological spaces and therefore a mapping is compatible or continuous if and only if it is compatible for every point with all counter- convergent networks :
for all networks with for all
- The Distributivity plays an important role in many algebraic structures.
Garrett Birkhoff : Lattice Theory . 3rd edition. AMS, Providence, RI 1973, ISBN 0-8218-1025-1 .
- Marcel Erné: Introduction to Order Theory . Bibliographisches Institut, Mannheim 1982, ISBN 3-411-01638-8 .
Hans Hermes : Introduction to Association Theory . 2nd Edition. Springer, Berlin - Heidelberg 1967.
Wilhelm Klingenberg : Linear Algebra and Geometry . Springer, Berlin - Heidelberg 1984, ISBN 3-540-13427-1 .
Boto von Querenburg : Set theoretical topology . 3., rework. and exp. Edition. Springer, Berlin / Heidelberg / New York 2001, ISBN 3-540-67790-9 .
- F. Reinhardt, H. Soeder: dtv-Atlas Mathematik . 11th edition. tape 1 : Fundamentals, Algebra and Geometry. Deutscher Taschenbuchverlag, Munich 1998, ISBN 3-423-03007-0 .
- Heinrich Werner: Introduction to general algebra . Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8 .
↑ The set of all families in with index set , if is finite and contains exactly elements , is also identified with or for with , whereby there is usually no distinction between and .
↑ A structure with a tuple or a family of several carrier sets and with relations in (also different) Cartesian products of these carrier sets can be understood as a structure with the carrier set , since every relation is always a subset of a Cartesian product of .