Verträglichkeit (Mathematik)

In der Mathematik ist eine Abbildung zwischen zwei Mengen, die nicht verschieden sein müssen und die Strukturen der gleichen Art besitzen, dann mit deren Strukturen verträglich, wenn sie die Elemente aus der einen Menge so in die andere Menge abbildet, dass sich ihre Bilder dort hinsichtlich der Relationen sowie Abbildungen der Struktur ebenso verhalten, wie sich deren Urbilder in der Ausgangsstruktur verhalten.

Ein wichtiger Sonderfall hierfür sind die Distributivgesetze als Charakterisierung von zweistelligen Verknüpfungen, die linksverträglich bzw. rechtsverträglich mit anderen Verknüpfungen sind.

Gegeben seien zwei nichtleere Mengen ${\displaystyle A}${\displaystyle A} und ${\displaystyle B}${\displaystyle B} sowie beliebige nichtleere Indexmengen ${\displaystyle I,J,K}${\displaystyle I,J,K} und ${\displaystyle J_{i}}${\displaystyle J_{i}} für jedes ${\displaystyle i\in I,}${\displaystyle i\in I,} die im Folgenden immer auch unendlich sein können.

Weiterhin seien ${\displaystyle R\subseteq A^{J}}${\displaystyle R\subseteq A^{J}} und ${\displaystyle S\subseteq B^{J}}${\displaystyle S\subseteq B^{J}} zwei Relationen ^[1] mit gleichen Eigenschaften sowie ${\displaystyle (F_{i})_{i\in I}}${\displaystyle (F_{i})_{i\in I}} und ${\displaystyle (G_{i})_{i\in I}}${\displaystyle (G_{i})_{i\in I}} zwei Familien von Relationen ${\displaystyle F_{i}\subseteq A^{J_{i}}}${\displaystyle F_{i}\subseteq A^{J_{i}}} und ${\displaystyle G_{i}\subseteq B^{J_{i}},}${\displaystyle G_{i}\subseteq B^{J_{i}},} die für jeden Index ${\displaystyle i\in I}${\displaystyle i\in I} jeweils gleiche Eigenschaften haben, sodass ${\displaystyle (A,(F_{i})_{i\in I})}${\displaystyle (A,(F_{i})_{i\in I})} und ${\displaystyle (B,(G_{i})_{i\in I})}${\displaystyle (B,(G_{i})_{i\in I})} zwei Strukturen der gleichen Art sind.

Eine Relation ${\displaystyle \varrho \subseteq A\times B}${\displaystyle \varrho \subseteq A\times B} heißt dann verträglich mit den Relationen ${\displaystyle R}${\displaystyle R} und ${\displaystyle S,}${\displaystyle S,} wenn für alle ${\displaystyle (a_{j},b_{j})\in \varrho ,\;j\in J,}${\displaystyle (a_{j},b_{j})\in \varrho ,\;j\in J,} gilt:

${\displaystyle (a_{j})_{j\in J}\in R\implies (b_{j})_{j\in J}\in S.}${\displaystyle (a_{j})_{j\in J}\in R\implies (b_{j})_{j\in J}\in S.}

Demnach ist insbesondere eine Abbildung ${\displaystyle \varphi \colon ,円A\to B,,円a\mapsto \varphi (a),}${\displaystyle \varphi \colon ,円A\to B,,円a\mapsto \varphi (a),} verträglich mit den Relationen ${\displaystyle R}${\displaystyle R} und ${\displaystyle S,}${\displaystyle S,} wenn gilt:

${\displaystyle \alpha \in R\implies \varphi \circ \alpha \in S.}${\displaystyle \alpha \in R\implies \varphi \circ \alpha \in S.}

${\displaystyle \varphi }${\displaystyle \varphi } ist verträglich mit den Strukturen ${\displaystyle (A,(F_{i})_{i\in I})}${\displaystyle (A,(F_{i})_{i\in I})} und ${\displaystyle (B,(G_{i})_{i\in I}),}${\displaystyle (B,(G_{i})_{i\in I}),}^[2] wenn für jeden Index ${\displaystyle i\in I}${\displaystyle i\in I} die Abbildung ${\displaystyle \varphi }${\displaystyle \varphi } verträglich ist mit ${\displaystyle F_{i}}${\displaystyle F_{i}} und ${\displaystyle G_{i}.}${\displaystyle G_{i}.} Man nennt dann ${\displaystyle \varphi }${\displaystyle \varphi } auch einen Homomorphismus oder kurz Morphismus dieser Strukturart.

Nun sei ${\displaystyle \chi \colon ,円A^{K}\to A}${\displaystyle \chi \colon ,円A^{K}\to A} eine innere Verknüpfung auf ${\displaystyle A}${\displaystyle A} (${\displaystyle K}${\displaystyle K} darf auch unendlich sein) und ${\displaystyle R\subseteq A^{J},}${\displaystyle R\subseteq A^{J},} sodass auf ${\displaystyle A^{K}}${\displaystyle A^{K}} komponentenweise die Relation ${\displaystyle S:={\bigl \{}\alpha {\bigr |},円{\hat {\alpha }}(k)\in R,円{\text{ für alle }},円k\in K,円{\bigl \}}\subseteq {\bigl (}A^{K}{\bigr )}{\bigr .}^{J}}${\displaystyle S:={\bigl \{}\alpha {\bigr |},円{\hat {\alpha }}(k)\in R,円{\text{ für alle }},円k\in K,円{\bigl \}}\subseteq {\bigl (}A^{K}{\bigr )}{\bigr .}^{J}} auf ${\displaystyle A}${\displaystyle A} gegeben ist. ${\displaystyle \chi }${\displaystyle \chi } heißt dann verträglich mit ${\displaystyle R,}${\displaystyle R,} wenn ${\displaystyle \chi }${\displaystyle \chi } verträglich ist mit ${\displaystyle S}${\displaystyle S} und ${\displaystyle R.}${\displaystyle R.}

Hierbei (und auch im Folgenden, für beliebige ${\displaystyle A,K,J,\alpha }${\displaystyle A,K,J,\alpha }) sei für ${\displaystyle \alpha \in {\bigl (}A^{K}{\bigr )}^{J}}${\displaystyle \alpha \in {\bigl (}A^{K}{\bigr )}^{J}} das ${\displaystyle {\hat {\alpha }}\in {\bigl (}A^{J}{\bigr )}^{K}}${\displaystyle {\hat {\alpha }}\in {\bigl (}A^{J}{\bigr )}^{K}} definiert per ${\displaystyle {\hat {\alpha }}(k)(j):=\alpha (j)(k)}${\displaystyle {\hat {\alpha }}(k)(j):=\alpha (j)(k)}.

• Sind zwei Relationen mit gleichen Eigenschaften ${\displaystyle R_{A}\subseteq A^{I}\!\times A}${\displaystyle R_{A}\subseteq A^{I}\!\times A} und ${\displaystyle R_{B}\subseteq B^{I}\!\times B}${\displaystyle R_{B}\subseteq B^{I}\!\times B} Abbildungen (d. h. linkstotal und rechtseindeutig) ${\displaystyle f_{A}\colon ,円A^{I}\to A,}${\displaystyle f_{A}\colon ,円A^{I}\to A,} und ${\displaystyle f_{B}\colon ,円B^{I}\to B,}${\displaystyle f_{B}\colon ,円B^{I}\to B,} so ist eine Abbildung ${\displaystyle \varphi \colon ,円A\to B}${\displaystyle \varphi \colon ,円A\to B} genau dann verträglich mit den Abbildungen ${\displaystyle f_{A}}${\displaystyle f_{A}} und ${\displaystyle f_{B},}${\displaystyle f_{B},} wenn

${\displaystyle \varphi \left(f_{A}(\alpha )\right)=f_{B}\left(\varphi \circ \alpha \right)}${\displaystyle \varphi \left(f_{A}(\alpha )\right)=f_{B}\left(\varphi \circ \alpha \right)}   für alle ${\displaystyle \alpha \in A^{I}.}${\displaystyle \alpha \in A^{I}.}

• Zwei nullstellige Abbildungen ${\displaystyle f_{A}\colon ,円A^{0}\to A,,円()\mapsto f_{A}(),}${\displaystyle f_{A}\colon ,円A^{0}\to A,,円()\mapsto f_{A}(),} und ${\displaystyle f_{B}\colon ,円B^{0}\to B,,円()\mapsto f_{B}(),}${\displaystyle f_{B}\colon ,円B^{0}\to B,,円()\mapsto f_{B}(),} können stets als die einelementigen einstelligen Relationen ${\displaystyle R_{A}=\{f_{A}()\}\subseteq A}${\displaystyle R_{A}=\{f_{A}()\}\subseteq A} und ${\displaystyle R_{B}=\{f_{B}()\}\subseteq B}${\displaystyle R_{B}=\{f_{B}()\}\subseteq B} aufgefasst werden. Eine Abbildung ${\displaystyle \varphi \colon ,円A\to B}${\displaystyle \varphi \colon ,円A\to B} ist daher genau dann verträglich mit den Abbildungen ${\displaystyle f_{A}}${\displaystyle f_{A}} und ${\displaystyle f_{B},}${\displaystyle f_{B},} wenn ${\displaystyle \varphi }${\displaystyle \varphi } die Konstanten ${\displaystyle f_{A}()}${\displaystyle f_{A}()} und ${\displaystyle f_{B}()}${\displaystyle f_{B}()} aufeinander abbildet:

${\displaystyle \varphi (f_{A}())=f_{B}().}${\displaystyle \varphi (f_{A}())=f_{B}().}

• ${\displaystyle \chi \colon ,円A^{K}\to A}${\displaystyle \chi \colon ,円A^{K}\to A} ist genau dann verträglich mit einer Abbildung ${\displaystyle f_{A}\colon ,円A^{I}\to A,}${\displaystyle f_{A}\colon ,円A^{I}\to A,} wenn gilt:

${\displaystyle \chi \left(f_{A}\circ {\hat {\alpha }}\right)=f_{A}\left(\chi \circ \alpha \right)}${\displaystyle \chi \left(f_{A}\circ {\hat {\alpha }}\right)=f_{A}\left(\chi \circ \alpha \right)}   für alle ${\displaystyle \alpha \in {\bigl (}A^{K}{\bigr )}^{I}.}${\displaystyle \alpha \in {\bigl (}A^{K}{\bigr )}^{I}.}

Sei nun zusätzlich eine nichtleere Menge ${\displaystyle C}${\displaystyle C} gegeben. Man nennt dann eine zweistellige Verknüpfung ${\displaystyle \star \colon ,円C\times A\to B,,円(c,a)\mapsto c\star a,}${\displaystyle \star \colon ,円C\times A\to B,,円(c,a)\mapsto c\star a,} linksverträglich mit ${\displaystyle R_{A}}${\displaystyle R_{A}} und ${\displaystyle R_{B},}${\displaystyle R_{B},} wenn für jedes ${\displaystyle c\in C}${\displaystyle c\in C} die Linkstransformation

${\displaystyle \tau _{c\star }\colon ,円A\to B,,円a\mapsto \tau _{c\star }(a):=c\star a,}${\displaystyle \tau _{c\star }\colon ,円A\to B,,円a\mapsto \tau _{c\star }(a):=c\star a,}

nach obiger Definition mit ${\displaystyle R_{A}}${\displaystyle R_{A}} und ${\displaystyle R_{B}}${\displaystyle R_{B}} verträglich ist. Ebenso nennt man eine zweistellige Verknüpfung ${\displaystyle *\colon ,円A\times C\to B,,円(a,c)\mapsto a*c,}${\displaystyle *\colon ,円A\times C\to B,,円(a,c)\mapsto a*c,} rechtsverträglich mit ${\displaystyle R_{A}}${\displaystyle R_{A}} und ${\displaystyle R_{B},}${\displaystyle R_{B},} wenn für jedes ${\displaystyle c\in C}${\displaystyle c\in C} die Rechtstransformation

${\displaystyle \tau _{*c}\colon ,円A\to B,,円a\mapsto \tau _{*c}(a):=a*c,}${\displaystyle \tau _{*c}\colon ,円A\to B,,円a\mapsto \tau _{*c}(a):=a*c,}

mit ${\displaystyle R_{A}}${\displaystyle R_{A}} und ${\displaystyle R_{B}}${\displaystyle R_{B}} verträglich ist.

Falls ${\displaystyle \star }${\displaystyle \star } linksverträglich ist sowie ${\displaystyle *}${\displaystyle *} rechtsverträglich ist mit Abbildungen ${\displaystyle f_{A}\colon ,円A^{I}\to A}${\displaystyle f_{A}\colon ,円A^{I}\to A} und ${\displaystyle f_{B}\colon ,円B^{I}\to B,}${\displaystyle f_{B}\colon ,円B^{I}\to B,} dann sagt man auch, dass ${\displaystyle \star }${\displaystyle \star } linksdistributiv ist bzw. ${\displaystyle *}${\displaystyle *} rechtsdistributiv ist über ${\displaystyle f_{A}}${\displaystyle f_{A}} und ${\displaystyle f_{B}\colon }${\displaystyle f_{B}\colon }

${\displaystyle c\star f_{A}(a_{i})_{i\in I}=f_{B}(c\star a_{i})_{i\in I}}${\displaystyle c\star f_{A}(a_{i})_{i\in I}=f_{B}(c\star a_{i})_{i\in I}}   bzw.   ${\displaystyle f_{A}(a_{i})_{i\in I}*c=f_{B}(a_{i}*c)_{i\in I}}${\displaystyle f_{A}(a_{i})_{i\in I}*c=f_{B}(a_{i}*c)_{i\in I}}   für alle ${\displaystyle c\in C}${\displaystyle c\in C} und für alle ${\displaystyle (a_{i})_{i\in I}\in A^{I}.}${\displaystyle (a_{i})_{i\in I}\in A^{I}.}

Eine innere zweistellige Verknüpfung ${\displaystyle \cdot \colon ,円A\times A\to A}${\displaystyle \cdot \colon ,円A\times A\to A} auf ${\displaystyle A}${\displaystyle A} heißt distributiv über ${\displaystyle f_{A},}${\displaystyle f_{A},} wenn ${\displaystyle \cdot }${\displaystyle \cdot } links- und rechtsdistributiv über ${\displaystyle f_{A}}${\displaystyle f_{A}} ist.

• Die mit geordneten Strukturen ${\displaystyle (A,\leq )}${\displaystyle (A,\leq )} und ${\displaystyle (B,\sqsubseteq )}${\displaystyle (B,\sqsubseteq )} verträglichen Abbildungen ${\displaystyle \varphi \colon ,円A\to B}${\displaystyle \varphi \colon ,円A\to B} heißen isoton oder auch monoton (steigend) :

${\displaystyle a_{1}\leq a_{2}\implies \varphi (a_{1})\sqsubseteq \varphi (a_{2})}${\displaystyle a_{1}\leq a_{2}\implies \varphi (a_{1})\sqsubseteq \varphi (a_{2})}   für alle ${\displaystyle a_{1},a_{2}\in A.}${\displaystyle a_{1},a_{2}\in A.}

• Eine Kongruenzrelation ist eine auf einer algebraischen Struktur ${\displaystyle \left(A,(f_{i})\right)}${\displaystyle \left(A,(f_{i})\right)} derart erklärte Äquivalenzrelation ${\displaystyle {\sim }\subseteq A^{2},}${\displaystyle {\sim }\subseteq A^{2},} dass alle inneren Verknüpfungen ${\displaystyle f_{i}}${\displaystyle f_{i}} verträglich sind mit ${\displaystyle {\sim }.}${\displaystyle {\sim }.}

• Die mit algebraischen Strukturen verträglichen Abbildungen sind (algebraische) Homomorphismen.

• Vollständige Verbandshomomorphismen von unendlichen vollständigen Verbänden sind Beispiele für unendlichstellige Homomorphismen.

• Die Topologie ${\displaystyle {\mathcal {O}}}${\displaystyle {\mathcal {O}}} eines topologischen Raums ${\displaystyle (X,{\mathcal {O}})}${\displaystyle (X,{\mathcal {O}})} ist eindeutig durch das Hüllensystem ${\displaystyle {\mathcal {A}}}${\displaystyle {\mathcal {A}}} aller abgeschlossenen Mengen des Raumes gegeben und ebenso ist ${\displaystyle {\mathcal {A}}}${\displaystyle {\mathcal {A}}} durch das Kernsystem ${\displaystyle {\mathcal {O}}}${\displaystyle {\mathcal {O}}} eindeutig bestimmt, denn jede offene Menge ${\displaystyle O\in {\mathcal {O}}}${\displaystyle O\in {\mathcal {O}}} ist das (absolute) Komplement einer abgeschlossenen Menge ${\displaystyle A\in {\mathcal {A}}}${\displaystyle A\in {\mathcal {A}}} und umgekehrt. Jede abgeschlossene Menge ${\displaystyle A\in {\mathcal {A}}}${\displaystyle A\in {\mathcal {A}}} lässt sich wiederum dadurch charakterisieren, dass jeder Punkt ${\displaystyle a\in X}${\displaystyle a\in X} genau dann in ${\displaystyle A}${\displaystyle A} liegt, wenn gegen ihn ein Netz ${\displaystyle (a_{i})_{i\in I}}${\displaystyle (a_{i})_{i\in I}} konvergiert mit ${\displaystyle a_{i}\in A}${\displaystyle a_{i}\in A} für alle ${\displaystyle i\in I.}${\displaystyle i\in I.} Die Topologie ${\displaystyle {\mathcal {O}}}${\displaystyle {\mathcal {O}}} und das Konvergenzverhalten aller Netze in ${\displaystyle X}${\displaystyle X} sind also äquivalent.

Mit der gemeinsamen topologischen Struktur zweier topologischer Räume ${\displaystyle (X,{\mathcal {O}})}${\displaystyle (X,{\mathcal {O}})} und ${\displaystyle (Y,{\mathcal {P}})}${\displaystyle (Y,{\mathcal {P}})} ist daher eine Abbildung ${\displaystyle \varphi \colon ,円X\to Y}${\displaystyle \varphi \colon ,円X\to Y} genau dann verträglich oder stetig , falls sie für jeden Punkt ${\displaystyle x\in X}${\displaystyle x\in X} mit allen gegen ${\displaystyle x}${\displaystyle x} konvergenten Netzen verträglich ist:

${\displaystyle (x_{i})_{i\in I}\longrightarrow _{X}x\implies \left(\varphi (x_{i})\right)_{i\in I}\longrightarrow _{Y}\varphi (x)}${\displaystyle (x_{i})_{i\in I}\longrightarrow _{X}x\implies \left(\varphi (x_{i})\right)_{i\in I}\longrightarrow _{Y}\varphi (x)}   für alle Netze ${\displaystyle (x_{i})_{i\in I}}${\displaystyle (x_{i})_{i\in I}} mit ${\displaystyle x_{i}\in X}${\displaystyle x_{i}\in X} für alle ${\displaystyle i\in I.}${\displaystyle i\in I.}

• Mit Kategorien verträgliche Abbildungen nennt man Funktoren.

• Die Distributivität spielt bei vielen algebraischen Strukturen eine wichtige Rolle.

• Garrett Birkhoff: Lattice Theory. 3rd Edition. AMS, Providence, RI 1973, ISBN 0-8218-1025-1. 
• Marcel Erné: Einführung in die Ordnungstheorie. Bibliographisches Institut, Mannheim 1982, ISBN 3-411-01638-8. 
• Hans Hermes: Einführung in die Verbandstheorie. 2. Auflage. Springer, Berlin – Heidelberg 1967. 
• Wilhelm Klingenberg: Lineare Algebra und Geometrie. Springer, Berlin – Heidelberg 1984, ISBN 3-540-13427-1. 
• Boto von Querenburg: Mengentheoretische Topologie. 3., neu bearb. und erw. Auflage. Springer, Berlin / Heidelberg / New York 2001, ISBN 3-540-67790-9. 
• F. Reinhardt, H. Soeder: dtv-Atlas Mathematik. 11. Auflage. Band 1: Grundlagen, Algebra und Geometrie. Deutscher Taschenbuchverlag, München 1998, ISBN 3-423-03007-0. 
• Heinrich Werner: Einführung in die allgemeine Algebra. Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8. 

1. ↑ Die Menge ${\displaystyle A^{J}}${\displaystyle A^{J}} aller Familien in ${\displaystyle A}${\displaystyle A} mit Indexmenge ${\displaystyle J}${\displaystyle J} wird, falls ${\displaystyle J}${\displaystyle J} endlich ist und genau ${\displaystyle n}${\displaystyle n} Elemente enthält, ebenso mit ${\displaystyle A^{n}=\{(a_{0},\ldots ,a_{n-1})\mid a_{0},\ldots ,a_{n-1}\in A\}}${\displaystyle A^{n}=\{(a_{0},\ldots ,a_{n-1})\mid a_{0},\ldots ,a_{n-1}\in A\}} oder für ${\displaystyle {\underline {n}}:=\{1,\ldots ,n\}}${\displaystyle {\underline {n}}:=\{1,\ldots ,n\}} mit ${\displaystyle A^{\underline {n}}}${\displaystyle A^{\underline {n}}} identifiziert, wobei man zwischen ${\displaystyle A^{n}}${\displaystyle A^{n}} und ${\displaystyle A^{\underline {n}}}${\displaystyle A^{\underline {n}}} in der Regel nicht unterscheidet.
2. ↑ Eine Struktur ${\displaystyle ((A_{k})_{k\in K},(R_{i})_{i\in I})}${\displaystyle ((A_{k})_{k\in K},(R_{i})_{i\in I})} mit einem Tupel bzw. einer Familie von mehreren Trägermengen ${\displaystyle A_{k}}${\displaystyle A_{k}} und mit Relationen ${\displaystyle R_{i}}${\displaystyle R_{i}} in (auch verschiedenen) kartesischen Produkten dieser Trägermengen lässt sich als eine Struktur mit der Trägermenge ${\displaystyle A:=\bigcup (A_{k})_{k\in K}}${\displaystyle A:=\bigcup (A_{k})_{k\in K}} auffassen, da stets jede Relation ${\displaystyle R_{i}}${\displaystyle R_{i}} auch Teilmenge eines kartesischen Produkts von ${\displaystyle A}${\displaystyle A} ist.

• Mathematischer Grundbegriff
• Kategorientheorie
• Ordnungstheorie
• Topologie
• Universelle Algebra

• Wikipedia:Belege fehlen