Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 6/latex
\setcounter{section}{6}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller3.jpg} }
\end{center}
\bildtext {Vorli lässt sich gerne knuddeln. Dabei räkelt sie sich in alle Himmelsrichtungen und hinterher weiß niemand mehr, wo vorne und hinten ist.} }
\bildlizenz { Waeller3.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\zwischenueberschrift{Relationen}
Sei $P$ eine Menge von Personen und $E$ eine Menge von Eigenschaften, die eine Person haben kann oder auch nicht, und zwar sollen hier nur solche Eigenschaften betrachtet werden, wo es nur die beiden Möglichkeiten des Zukommens oder des Nichtzukommens gibt. Die Gesamtinformation, welche der beteiligten Personen welche Eigenschaft besitzt, kann man dann auf verschiedene Arten ausdrücken. Man kann beispielsweise eine Liste von allen zutreffenden Person-Eigenschafts-Paaren erstellen, also \einrueckung{(Anna, klug), (Hans, schön), (Berta, schön), (Hans, lustig), (Anna, lustig)} oder man kann zu jeder Person die ihr zukommenden Eigenschaften auflisten, also \einrueckung{Anna: klug, lustig} \einrueckung{Berta: schön}\einrueckung{Hans: schön, lustig} oder umgekehrt zu einer Eigenschaft die Personen auflisten, die diese Eigenschaft erfüllen, also \einrueckung{Schön: Berta, Hans} \einrueckung{Klug: Anna} \einrueckung{Lustig: Anna, Hans}
Man kann auch das ganze in eine Tabelle schreiben, wo die eine Leiste die Personen und die andere Leiste die Eigenschaften repräsentiert, und dann diejenigen Kreuzungspunkte, die eine zutreffende Beziehung repräsentieren, ankreuzen, also
\tabelleviervier {\zeileundvier {} {Anna} {Berta} {Hans} }
{\zeileundvier {Schön} {} {x} {x} }
{\zeileundvier {Klug} {x} {} {} }
{\zeileundvier {Lustig} {x} {} {x} }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {AnnaBertaHans.png} }
\end{center}
\bildtext {} }
\bildlizenz { AnnaBertaHans.png } {} {MGausmann} {Commons} {CC-by-da 4.0} {}
Eine weitere Möglichkeit besteht darin, die Information durch ein Verbindungsdiagramm auszudrücken, bei dem Person und Eigenschaft genau dann durch eine Strecke oder eine Kurve verbunden werden, wenn die Eigenschaft zutrifft.
Der mathematische Begriff, um Beziehungen zwischen den Elementen von zwei Mengen zu beschreiben, heißt Relation.
\inputdefinition
{}
{
Es seien \mathkor {} {M} {und} {N} {}
Mengen. Eine \definitionswort {Relation}{} $R$ zwischen den Mengen
\mathkor {} {M} {und} {N} {}
ist eine
\definitionsverweis {Teilmenge}{}{}
der
\definitionsverweis {Produktmenge}{}{}
\mathl{M \times N}{,} also
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{ M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Statt
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man häufig auch
\mathl{R(x,y)}{} oder
\mathl{xRy}{} und sagt, dass \anfuehrung{$x$ in Relation $R$ zu $y$ steht}{.} Typische mathematische Relationen sind: ist gleich, ist größer als, ist Element von, ist Teilmenge von, ist disjunkt zu, usw.
Wenn
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{ M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Relation ist, so heißt für jedes
\mavergleichskette
{\vergleichskette
{m
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Menge
\mavergleichskettedisp
{\vergleichskette
{ N_m
}
{ =} { { \left\{ y \in N \mid R(m,y) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \stichwort {Faser} {} durch $m$ und für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt die Menge
\mavergleichskettedisp
{\vergleichskette
{ M_n
}
{ =} { { \left\{ x \in M \mid R(x,n) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Faser durch $n$.
\inputbeispiel{}
{
Wir betrachten auf einer Auswahl von Speisen und Getränken die Relation, die angibt, ob ein Gericht zu einem Getränk passt. Sei
\mavergleichskettedisp
{\vergleichskette
{E
}
{ =} {\{ \text{Hecht}, \text{Nudeln}, \text{Kartoffelgratin}, \text{Zupfkuchen} \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{G
}
{ =} { \{ \text{Rotwein}, \text{heiße Schokolade}, \text{Wasser}, \text{Kamillentee}, \text{Kaffee} \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wasser passt zu allen Gerichten, Kamillentee zu keinem der Gerichte. Rotwein passt zu Nudeln und Kartoffelgratin, aber nicht zu Hecht oder zu Zupfkuchen. Heiße Schokolade und Kaffee passt zu Zupfkuchen, nicht zu den anderen Gerichten.
}
\inputbeispiel{
}
{
Es sei $S$ die Menge der Städte und $A$ die Menge der Autobahnen. Dann ist die Beziehung \anfuehrung{liegt an}{} eine Relation $L$ zwischen
\mathkor {} {S} {und} {A} {.} Zwischen einer Stadt
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einer Autobahn
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet
\mathdisp {sLa \text{ oder } L(s,a)} { }
einfach, dass die konkrete Stadt $s$ an der Autobahn $a$ liegt. Zu $s$ ist dann die Menge
\mavergleichskettedisp
{\vergleichskette
{A_s
}
{ =} { { \left\{ a \in A \mid L(s,a) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Menge der Autobahnen, an denen $s$ liegt, und zu
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{S_a
}
{ =} { { \left\{ s \in S \mid L(s,a) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Teilmenge der Städte, an denen die Autobahn $a$ vorbeifährt. Für $s=\text{Osnabr}\ddot {\rm u}\text{ck}$ ergibt sich also
\mavergleichskettedisp
{\vergleichskette
{ A_{\text{Osnabr}\ddot {\rm u}\text{ck} }
}
{ =} { \{A1,A30,A33\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und für die $A1$ ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ S_{A1}
}
{ =} {\{\ldots, \text{Hamburg}, \text{Bremen}, \text{Osnabr}\ddot {\rm u}\text{ck}, \ldots \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Relation wird vollständig beschrieben, wenn man zu jeder Stadt die daran vorbeiführenden Autobahnen oder aber wenn man zu jeder Autobahn die daran liegenden Städte aufführt. Genauso gut kann man die Relation durch eine Tabelle ausdrücken mit einer Leitzeile für die Autobahnen und einer Leitspalte für die Städte, und wo im Kreuzungspunkt
\mathl{(s,a)}{} ein Kreuz gemacht wird genau dann, wenn
\mathl{L(s,a)}{} gilt. Die Aussage
\mathdisp {\forall s (\exists a L(s,a))} { }
bedeutet, dass jede Stadt an einer Autobahn liegt
\zusatzklammer {wohl falsch} {} {}
und die Aussage
\mathdisp {\forall a (\exists s L(s,a))} { }
bedeutet, dass jede Autobahn an mindestens einer Stadt vorbeiführt
\zusatzklammer {wohl wahr} {} {.}
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{E
}
{ = }{\R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die reelle Ebene und $G$ die Menge aller Geraden in der Ebene. Die
\definitionsverweis {Produktmenge}{}{}
\mathdisp {E \times G} { }
besteht aus allen Paaren
\mathl{(P,g)}{,} wobei $P$ ein Punkt der Ebene und $g$ eine Gerade ist. Es gibt mehrere Möglichkeiten, eine Gerade zu beschreiben, und damit auch mehrere Möglichkeiten, ein solches Paar zu beschreiben. Beispielsweise ist
\mathdisp {((2,-5), { \left\{ (u,v) \mid 4u-3v = 6 \right\} })} { }
ein Paar, wobei der Punkt vorne durch die beiden Koordinaten und die Gerade hinten durch eine Geradengleichung angegeben wird. Bei einem solchen Paar besteht keine Bedingung zwischen dem Punkt und der Geraden.
Die \stichwort {Inzidenzrelation} {} zwischen Punkten und Geraden wird ausgedrückt durch
\mavergleichskettedisp
{\vergleichskette
{I
}
{ =} { { \left\{ (P,g) \in E \times G \mid P \text{ liegt auf } g \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Statt \anfuehrung{liegt auf}{} kann man auch einfach
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{g
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben.
}
\inputbeispiel{}
{
Es sei $M$ eine Menge und $P$ die
\definitionsverweis {Potenzmenge}{}{}
von $M$. Dann wird auf
\mathl{M \times P}{} die \stichwort {Inzidenzrelation} {} $I$ erklärt durch
\mathdisp {I(x,T) \text{ genau dann, wenn } x \in T} { . }
Die Inzidenzrelation drückt also aus, ob ein Element $x$ zu einer bestimmten Teilmenge $T$ gehört oder nicht. Die Faser zu einem Element besteht aus sämtlichen Teilmengen, die dieses Element enthalten, und die Faser zu einer Teilmenge besteht aus allen Elementen dieser Teilmenge.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Relation binaire.png} }
\end{center}
\bildtext {} }
\bildlizenz { Relation binaire.png } {} {HB} {fr. Wikipedia} {CC-by-sa 3.0} {}
\zwischenueberschrift{Relationen und Abbildungen}
Abbildungen kann man als spezielle Relationen auffassen.
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen und es sei
\maabbdisp {F} {L} {M} {}
eine
\definitionsverweis {Abbildung}{}{.} Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{\Gamma
}
{ =} { \Gamma_F
}
{ =} { { \left\{ (x,F(x)) \mid x \in L \right\} }
}
{ \subseteq} { L \times M
}
{ } {
}
}
{}{}{}
den \definitionswort {Graphen}{} der Abbildung $F$.
}
Abbildungen und ihre Graphen sind im wesentlichen äquivalente Objekte. Um Abbildungen innerhalb der Relationen herauszustellen, sind die folgenden Begriffsbildungen sinnvoll
\zusatzklammer {die Begriffe sind sinnvoll, ob die gewählten Bezeichnungen sinnvoll sind, ist eine andere Frage} {} {.}
\inputdefinition
{}
{
Eine
\definitionsverweis {Relation}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {linkseindeutig}{,}
wenn es zu jedem
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
maximal ein
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ (x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Relation}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {rechtseindeutig}{,}
wenn es zu jedem
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
maximal ein
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Relation}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {linksvollständig}{,}
wenn es zu jedem
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Relation}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {rechtsvollständig}{,}
wenn es zu jedem
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Wenn ein Paar
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben ist, so meint rechtseindeutig, dass
\zusatzklammer {bei gegebenem} {} {}
$x$ die rechte Seite, also das $y$, eindeutig bestimmt ist. Wenn man sich aber die Relation auf
\mathl{M \times N}{} dadurch gegeben denkt, dass zwischen den Elementen der linken Menge $M$ und den Elementen der rechten Menge $N$ genau dann eine verbindende Strecke
\zusatzklammer {kein Pfeil} {} {}
vorliegt, wenn das entsprechende Paar zu $R$ gehört, so hat rechtseindeutig die Auswirkung, dass von jedem Punkt der linken Seite (!) aus maximal eine Verbindungsstrecke abgeht.
\inputfaktbeweis
{Relation/Abbildung/Charakterisierung/Fakt}
{Lemma}
{}
{
\faktsituation {Eine
\definitionsverweis {Relation}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {ist genau dann eine
\zusatzklammer {der
\definitionsverweis {Graph}{}{}
einer} {} {}
\definitionsverweis {Abbildung}{}{,}
wenn sie
\definitionsverweis {linksvollständig}{}{}
und
\definitionsverweis {rechtseindeutig}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Eine Abbildung
\maabbdisp {\varphi} { M} {N
} {}
ordnet jedem
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau ein
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu, das ist nach Definition die Linksvollständigkeit und die Rechtseindeutigkeit.
Eine rechtseindeutige Relation, die nicht unbedingt linksvollständig ist, nennt man auch manchmal eine \anfuehrung{partielle Abbildung}{,} eine
\zusatzklammer {insbesondere linksvollständige} {} {}
Relation nennt man manchmal auch eine \anfuehrung{mehrdeutige Abbildung}{.}
\inputbemerkung
{}
{
Eine Abbildung \maabb {f} {M} {N } {} ist genau dann \definitionsverweis {surjektiv}{}{,} wenn der Graph der Abbildung \zusatzklammer {als Relation aufgefasst} {} {} \definitionsverweis {rechtsvollständig}{}{} ist, und genau dann \definitionsverweis {injektiv}{}{,} wenn der Graph \definitionsverweis {linkseindeutig}{}{} ist.
}
\zwischenueberschrift{Relationen auf einer Menge}
Im eingangs erwähnten Beispiel gab es einerseits Personen und andererseits Eigenschaften, die diese Personen haben konnten oder nicht. Die beiden beteiligten Mengen hatten also eine unterschiedliche Funktion. Wenn man aber z.B. zwischenmenschliche Beziehungen ausdrücken möchte, so stimmen die beiden Mengen häufig überein, und es ergeben sich neuartige strukturelle Möglichkeiten, da ein Element sowohl vorne als auch hinten stehen kann. Betrachten wir in der studentischen Dreier-WG die Relation \anfuehrung{kann gut leiden}{.} Die zugehörige Relationstabelle sieht vielleicht so aus.
\tabelleviervier {\zeileundvier {} {Anna} {Berta} {Hans} }
{\zeileundvier {Anna} {} {x} {x} }
{\zeileundvier {Berta} {x} {x} {} }
{\zeileundvier {Hans} {x} {x} {x} }
Hier ist zunächst wichtig, die Bedeutung der Spalte und der Zeile festzulegen; sagen wir, dass die Tabelle so zu verstehen ist, dass in der Leitspalte das grammatische Subjekt und in der Leitzeile das grammatische Objekt steht. Damit besagt die Tabelle, dass Hans alle Personen der WG gut leiden kann, dass Berta sich und Anna gut leiden kann, aber nicht Hans, und dass Anna ihre beiden Mitbewohner gut leiden kann, aber nicht sich selbst. Die Relation ist also weder \anfuehrung{reflexiv}{,} da sich Anna nicht gut leiden kann, noch \anfuehrung{symmetrisch}{,} da Hans zwar Berta gut leiden kann, aber nicht umgekehrt.
\inputdefinition
{}
{
Eine \definitionswort {Relation}{} $R$ auf einer Menge $M$ ist eine Teilmenge der Produktmenge
\mathl{M \times M}{,} also
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Wenn ein Paar
\mathl{(x,y)}{} zu $R$ gehört, so sagt man auch, dass $x$ und $y$ in der Relation $R$ stehen. Statt
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verwendet man häufig suggestivere Schreibweisen wie
$xRy,\, x \sim y$ oder $x \leq y$.
Dabei werden manche Symbole nur verwendet, wenn die Relation gewisse zusätzliche Eigenschaften erfüllt. Die wichtigsten Eigenschaften fasst die folgende Definition zusammen
\zusatzklammer {die bei zwei verschiedenen Mengen keinen Sinn ergeben} {} {.}
\inputdefinition
{}
{
Es sei $M$ eine Menge und
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{M \times M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Relation}{}{}
auf $M$. Man nennt $R$
\auflistungvier{\definitionswort {reflexiv}{,} wenn
\mavergleichskette
{\vergleichskette
{(x,x)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{\definitionswort {transitiv}{,} wenn für beliebige
\mavergleichskette
{\vergleichskette
{x,y,z
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus
\mathkor {} {(x,y) \in R} {und aus} {(y,z) \in R} {}
stets
\mavergleichskette
{\vergleichskette
{(x,z)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}{\definitionswort {symmetrisch}{,} wenn für beliebige
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskette
{\vergleichskette
{(y,x)
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}{\definitionswort {antisymmetrisch}{,} wenn für beliebige
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus
\mathkor {} {(x,y) \in R} {und} {(y,x) \in R} {}
die Gleichheit
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Relacion_binaria_11.svg} }
\end{center}
\bildtext {Ein Pfeildiagramm ist eine Möglichkeit, eine Relation darzustellen.} }
\bildlizenz { Relación binaria 11.svg } {} {HiTe} {Commons} {PD} {}
Eine wichtige Darstellungsmöglichkeit für eine Relation auf einer Menge ist durch ein Pfeildiagramm gegeben, man spricht auch von einem \stichwort {gerichteten Graphen} {.} Dabei werden die Elemente der Grundmenge $M$ als Punkte
\zusatzklammer {Knoten} {} {}
gezeichnet, und es wird genau dann ein Pfeil von Punkt $x$ zu Punkt $y$ gezeichnet, wenn
\mathl{xRy}{} gilt. Die Richtung des Pfeiles ist dabei wichtig. Wenn allerdings die Relation symmetrisch ist, so gibt es zu jedem Pfeil den entsprechenden Rückpfeil. Daher drückt man symmetrische Relationen direkt durch ungerichtete Pfeile
\zusatzklammer {Kanten, Verbindungsstrecken} {} {}
aus und spricht von \stichwort {ungerichteten Graphen} {.}
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Fussball1.png} }
\end{center}
\bildtext {} }
\bildlizenz { Fussball1.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Fussball2.png} }
\end{center}
\bildtext {} }
\bildlizenz { Fussball2.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Fussball3.png} }
\end{center}
\bildtext {} }
\bildlizenz { Fussball3.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
Eine (Fußball-)Spielgruppe bei einer Europa- oder Weltmeisterschaft besteht aus vier Mannschaften, und jede spielt gegen jede. Ein Spiel kann unentschieden oder mit einem Sieg für eine der beiden Mannschaften enden. Wir interessieren uns für die Gewinnrelation in einer Spielgruppe, die man durch einen gerichteten Graphen beschreiben kann, wobei man einen Sieg von $A$ über $B$ durch einen Pfeil von $A$ nach $B$ \zusatzklammer {und ein Unentschieden durch keine Verbindung} {} {} ausdrücken kann.
}
\zwischenueberschrift{Relationserhaltende Abbildungen}
\inputdefinition
{}
{
Es seien
\mathkor {} {(M,R)} {und} {(N,S)} {}
Mengen mit darauf erklärten
\definitionsverweis {Relationen}{}{}
\mathkor {} {R} {bzw.} {S} {.}
Man nennt eine Abbildung
\maabbdisp {\varphi} { M} {N
} {}
\definitionswort {relationstreu}{}
\zusatzklammer {oder
\definitionswort {relationserhaltend}{}} {} {,}
wenn für alle
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{xRy}{} auch
\mathl{\varphi(x) S \varphi(y)}{} gilt.
}
\inputdefinition
{}
{
Es seien
\mathkor {} {(M,R)} {und} {(N,S)} {}
Mengen mit
\definitionsverweis {Relationen}{}{.}
Eine
\definitionsverweis {relationserhaltende Abbildung}{}{}
\maabbdisp {\varphi} {(M,R)} {(N,S)
} {}
heißt
\definitionswort {Isomorphismus}{,}
wenn es eine relationserhaltende Abbildung
\maabbdisp {\psi} {(N,S) } {(M,R)
} {}
derart gibt, dass
\mavergleichskettedisp
{\vergleichskette
{ \psi \circ \varphi
}
{ =} {
\operatorname{Id}_{ M }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \varphi \circ \psi
}
{ =} {
\operatorname{Id}_{ N }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}