Mathematik: Lineare Algebra: Grundlagen: Relationen

Aus Wikibooks

Wechseln zu: Navigation, Suche


Wikibooks-logo.svg Mathematik One wikibook.svg Lineare AlgebraWikibooks buchseite.svg GrundlagenWikibooks buchseite.svg Relationen
Wikibooks buchseite.svg Zurück zu Mengen II      Weiter zu Abbildungen Wikibooks buchseite.svg


Eine Relation ist eine Teilmenge des kartesischen Produktes zweier Mengen. Formal bedeutet das R \subseteq A \times B. Für (x,y) \in R kann man dann auch kurz xRy schreiben (man sagt: „x steht in der Relation R zu y.“). Oft werden Relationen mit Schlangen (wie \sim, \simeq oder \approx) bezeichnet.

Inhaltsverzeichnis

[Bearbeiten] Beispiele

  • \sim\ := \{(x, y) \in \mathbb{Z}^2| 10>|x-y|\}. Dann gilt beispielsweise: 2\not\sim12,\ 1\not\sim15,\ 5\sim5
  • \sim\ := \{(x, y) \in \mathbb{Z}^2| (x - y) \equiv 0 \mod x\}. Für x = 3 gilt dann: 2\sim5,\ 3\sim9,\ 4\sim 4,\ 7\not\sim 11
  • \sim\ := \{(x, y) \in \mathbb{R}^2| \exist n \in \mathbb{Z}\colon\ x^{n} = y\}. Dann gilt 2\sim4\sim16\sim\sqrt{2},\ 5\sim5\sim625,\ 4\not\sim8

[Bearbeiten] Äquivalenzrelationen

Sei nun

[Bearbeiten] Äquivalenzklassen

[Bearbeiten] Alt

[Bearbeiten] Definition

Seien A und B Mengen, A \times B ihr kartesisches Produkt und E(x,y) eine Aussageform zweier Variablen aus A und B. Die Menge R = \{(x,y) \in A \times B \mid E(x,y)\} heißt Relation. Für (x,y) \in R schreibt man auch x R y\ und sagt: "x steht in der Relation R zu y".


[Bearbeiten] Äquivalenzrelation

Sei R eine Relation auf einer Menge A. R nennt man Äquivalenzrelation, falls für alle a,b,c \in A gilt:

  • a R a\ (Reflexivität)
  • aRb \Rightarrow bRa (Symmetrie)
  • aRb \and bRc \Rightarrow aRc (Transitivität)
Persönliche Werkzeuge