Lektion 4.1

Was sind Relationen?

12 min Lesezeit

In der Mathematik und im Alltag sprechen wir ständig über Beziehungen zwischen Objekten:

"3 ist kleiner als 5"
"Paris liegt in Frankreich"
"Anna ist die Schwester von Ben"

Wie können wir solche Beziehungen mathematisch präzise beschreiben? Die Mengenlehre gibt uns die Werkzeuge dafür.

Die Grundidee

Erinnere dich an das kartesische Produkt: A×BA \times B ist die Menge aller geordneten Paare (a,b)(a, b) mit aAa \in A und bBb \in B.

Betrachte die Relation "ist kleiner als" auf den natürlichen Zahlen. Welche Paare gehören dazu?

(1,2)(1, 2) – ja, denn 1<21 < 2
(3,7)(3, 7) – ja, denn 3<73 < 7
(5,3)(5, 3) – nein, denn 535 \not< 3

Die Relation << ist also eine Teilmenge von N×N\mathbb{N} \times \mathbb{N}!

Definition

Relation

Eine Relation RR zwischen zwei Mengen AA und BB ist eine Teilmenge des kartesischen Produkts:

RA×BR \subseteq A \times B

Wenn (a,b)R(a, b) \in R, sagen wir "aa steht in Relation RR zu bb" und schreiben auch aRba R b.

Spezialfall: Eine Relation auf einer Menge AA ist eine Teilmenge RA×AR \subseteq A \times A.

RA×BR \subseteq A \times B
Beispiel

Beispiele für Relationen

Die "kleiner als"-Relation auf N\mathbb{N}:
<  ={(a,b)N×Na ist kleiner als b}< \;= \{(a, b) \in \mathbb{N} \times \mathbb{N} \mid a \text{ ist kleiner als } b\}

Die Gleichheit auf einer Menge A:
=  ={(a,a)aA}= \;= \{(a, a) \mid a \in A\}
(Jedes Element steht nur zu sich selbst in Relation)

Die Teilbarkeitsrelation auf N\mathbb{N}:
"aa teilt bb" geschrieben aba \mid b
  ={(a,b)b ist Vielfaches von a}\mid \;= \{(a, b) \mid b \text{ ist Vielfaches von } a\}

Zusammenfassung

  • Eine Relation ist eine Menge von Paaren

  • RA×BR \subseteq A \times B bedeutet: R ist eine Relation von A nach B

  • (a,b)R(a, b) \in R oder aRbaRb: "a steht in Relation zu b"

Übungen

Aufgabe 1Freitext

Gib eine Relation auf {1,2,3}\{1, 2, 3\} an, die genau 3 Elemente hat.

Lektion 4.1 · Relationen und Funktionen
• • •

Was sind Relationen?

In der Mathematik und im Alltag sprechen wir ständig über Beziehungen zwischen Objekten:

"3 ist kleiner als 5"
"Paris liegt in Frankreich"
"Anna ist die Schwester von Ben"

Wie können wir solche Beziehungen mathematisch präzise beschreiben? Die Mengenlehre gibt uns die Werkzeuge dafür.

Die Grundidee

Erinnere dich an das kartesische Produkt: A×BA \times B ist die Menge aller geordneten Paare (a,b)(a, b) mit aAa \in A und bBb \in B.

Betrachte die Relation "ist kleiner als" auf den natürlichen Zahlen. Welche Paare gehören dazu?

(1,2)(1, 2) – ja, denn 1<21 < 2
(3,7)(3, 7) – ja, denn 3<73 < 7
(5,3)(5, 3) – nein, denn 535 \not< 3

Die Relation << ist also eine Teilmenge von N×N\mathbb{N} \times \mathbb{N}!

Definition

Relation

Eine Relation RR zwischen zwei Mengen AA und BB ist eine Teilmenge des kartesischen Produkts:

RA×BR \subseteq A \times B

Wenn (a,b)R(a, b) \in R, sagen wir "aa steht in Relation RR zu bb" und schreiben auch aRba R b.

Spezialfall: Eine Relation auf einer Menge AA ist eine Teilmenge RA×AR \subseteq A \times A.

RA×BR \subseteq A \times B
Beispiel

Beispiele für Relationen

Die "kleiner als"-Relation auf N\mathbb{N}:
<  ={(a,b)N×Na ist kleiner als b}< \;= \{(a, b) \in \mathbb{N} \times \mathbb{N} \mid a \text{ ist kleiner als } b\}

Die Gleichheit auf einer Menge A:
=  ={(a,a)aA}= \;= \{(a, a) \mid a \in A\}
(Jedes Element steht nur zu sich selbst in Relation)

Die Teilbarkeitsrelation auf N\mathbb{N}:
"aa teilt bb" geschrieben aba \mid b
  ={(a,b)b ist Vielfaches von a}\mid \;= \{(a, b) \mid b \text{ ist Vielfaches von } a\}

Zusammenfassung

  • Eine Relation ist eine Menge von Paaren

  • RA×BR \subseteq A \times B bedeutet: R ist eine Relation von A nach B

  • (a,b)R(a, b) \in R oder aRbaRb: "a steht in Relation zu b"