Es seien
A
{\displaystyle {}A}
und
B
{\displaystyle {}B}
Mengen. Es sei weiter
A
×
B
:=
{
(
x
,
y
)
∣
x
∈
A
,
y
∈
B
}
{\displaystyle {}A\times B:={\left\{(x,y)\mid x\in A,\,y\in B\right\}}\,}
das kartesische Produkt von
A
{\displaystyle {}A}
und
B
{\displaystyle {}B}
. Eine Relation von
A
{\displaystyle {}A}
nach
B
{\displaystyle {}B}
ist eine Teilmenge
R
⊆
A
×
B
{\displaystyle {}R\subseteq A\times B}
.
Ist
R
{\displaystyle {}R}
eine Relation von
A
{\displaystyle {}A}
nach
B
{\displaystyle {}B}
und
S
{\displaystyle {}S}
eine Relation von
B
{\displaystyle {}B}
nach
C
{\displaystyle {}C}
, so ist die Komposition
S
∘
R
:=
{
(
x
,
z
)
∈
A
×
C
∣
∃
y
∈
B
mit
(
x
,
y
)
∈
R
und
(
y
,
z
)
∈
S
}
{\displaystyle {}S\circ R:={\left\{(x,z)\in A\times C\mid \exists y\in B{\text{ mit }}(x,y)\in R{\text{ und }}(y,z)\in S\right\}}\,}
Weisen Sie nach, dass die Komposition von Relationen assoziativ ist, also die Gleichheit
T
∘
(
S
∘
R
)
=
(
T
∘
S
)
∘
R
{\displaystyle {}T\circ (S\circ R)=(T\circ S)\circ R\,}
gilt.
Es seien
A
{\displaystyle {}A}
und
B
{\displaystyle {}B}
Mengen. Es sei weiter
A
×
B
:
=
{
(
x
,
y
)
|
x
∈
A
,
y
∈
B
}
{\displaystyle A\times B\colon \!=\{(x,y)\,\vert \,x\in A,\,y\in B\}}
das kartesische Produkt von
A
{\displaystyle {}A}
und
B
{\displaystyle {}B}
.
Eine Relation von
A
{\displaystyle {}A}
nach
B
{\displaystyle {}B}
ist eine Teilmenge
R
⊆
A
×
B
{\displaystyle {}R\subseteq A\times B}
. Die Umkehrrelation
R
−
1
{\displaystyle {}R^{-1}}
ist gegeben durch
(
y
,
x
)
∈
R
−
1
⇔
(
x
,
y
)
∈
R
.
{\displaystyle (y,x)\in R^{-1}\,\,\Leftrightarrow \,\,(x,y)\in R.}
Eine Abbildung von
A
{\displaystyle {}A}
nach
B
{\displaystyle {}B}
ist eine Relation
f
{\displaystyle {}f}
von
A
{\displaystyle {}A}
nach
B
{\displaystyle {}B}
mit der Eigenschaft, dass für jedes Element
x
∈
A
{\displaystyle {}x\in A}
genau ein Element
y
∈
B
{\displaystyle {}y\in B}
mit
(
a
,
b
)
∈
f
{\displaystyle {}(a,b)\in f}
existiert. Zeigen Sie, dass die Umkehrrelation einer Abbildung
f
{\displaystyle {}f}
genau dann eine Abbildung ist, wenn
f
{\displaystyle {}f}
bijektiv ist.
Mengentheorie/Relationen/Äquivalenzrelationen/Aufgabe