Mathematik: Analysis: Grundlagen: Relationen

Aus Wikibooks

Wechseln zu: Navigation, Suche

Analysis

Grundlagen

Mengen – Relationen – Funktionen– Natürliche Zahlen – Ganze Zahlen – Rationale Zahlen

Reelle Zahlen

Inhaltsverzeichnis

1 Relationen

[Bearbeiten] Relationen

Paarmengen und kartesisches Produkt (Kreuzprodukt)

Wie allgemein bekannt lässt sich die Lage eines Punktes in der Ebene durch zwei Zahlen beschreiben. Dazu benutzt man ein rechtwinkliges (kartesisches) Koordinatensystem mit einer x-Achse und y-Achse, die senkrecht aufeinander stehen. Bezeichnet man beispielsweise mit x₁ den Abstand eines Punktes P₁ von der y-Achse (dieser ist negativ, wenn P₁ links der Y-Achse liegt) und mit y₁ man den Abstand eines Punktes P₁ von der x-Achse (dieser ist negativ, wenn P₁ unterhalb der der X-Achse liegt), wo wird durch das Zahlenpaar (x₁, y₁) die Lage des Punktes im Koordinatensystem beschrieben. Bei dem Zahlenpaar (x₁, y₁) ist die Reihenfolge wesentlich. So beschreiben beispielsweise die Zahlenpaare (1,2) und (2,1) unterschiedliche Punkte im Koordinatensystem, es gilt also (1,2) ≠ (2,1).

Diese Paarbildung wird mit den folgenden Definitionen auf allgemeine Mengen erweitert:

Definitionen

Sind M und N Mengen und ist x∈M und y∈N

geordnetes Paar:
(x,y) heißt geordnetes Paar.
Gleichheit von geordneten Paaren
Zwei geordnete Paare "(x₁, y₁) und (x₂, y₂) sind gleich" ⇔ "x₁ = x₂ und y₁ = y₂"
Paarmenge
Die Paarmenge (kartesisches Produkt, Kreuzprodukt) von M und N wird wie folgt definiert:
M×N := { (x,y) | x ∈ M und y ∈N }

Normalerweise spricht man nur von Paaren (statt von geordneten Paaren), die Reihenfolge der Elemente ist aber wesentlich.

Die Menge M×N nennt man auch Rechteckmenge. Man kann die Elemente von M×M in Form von Rechtecken im kartesischen Koordinatensystem aufschreiben. Hierzu folgendes Beispiel: M:={1,2,3,4} und N:={1,2,3}. M×N = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3)}. Die Abbildung rechts veranschaulicht diese Rechteckmenge
	Rechteckmenge M×N

In vielen mathematischen Sachverhalten stehen Objekte in bestimmten Zusammenhängen z. B. "10 ist größer als 5". Der Zusammenhang "10 ist größer als 5" kann auch in der ungewöhnlichen Weise "(10,5) steht in der Relation größer" dargestellt werden. Das Beispiel zeigt aber, wie der Begriff der Relation auf den Mengenbegriff zurückgeführt werden kann.

[Bearbeiten] Definition Relation

M und N seien Mengen
R heißt eine "Relation zwischen M und N" ⇔ " R ⊂ M×N "
Ist M=N, so heißt R eine Relation auf M

Gilt (x,y)∈R dann "erfüllen x und y die Relation R" oder "stehen in der Relation R". Oft wird hierfür auch "xRy" geschrieben.

Stellt man sich zwei Mengen M und N als Punktmengen in einer Ebene vor, kann man die Relation R ⊂ M×N durch Verbindungslinien zwischen den in Relation stehenden Punktepaaren kennzeichnen. Ein Pfeil von einem m∈M zu einem n∈N bedeutet (m,n)∈R:
	Relation zwischen M und N

Beispiel: Sei M eine beliebige Menge. Durch Δ_M:= { (x,x) \| x∈ M } ist eine Relation auf M definiert: die Gleichheitsrelation. Diese lässt sich anschaulich als Diagonale darstellen.
	Gleichheitsrelation

Beispiel:
$G := \lbrace(x,y)\mid x\in \N \text { und } y\in \N \text { und x ist groesser als y }\rbrace$
ist eine Relation auf $\N$ und definiert die oben erwähnte "Größer-Relation".

[Bearbeiten] Äquivalenzrelation

Viele Probleme, auch in der Mathematik, lassen sich vereinfachen, indem man Objekte, die gewissen gemeinsamen Kriterien genügen als äquivalent betrachtet, obwohl sie sich in anderen Kriterien, die aber in diesen Fall als unwichtig gesehen werden, unterscheiden können. Für dieses Vorgehen benutzt man in der Mathematik die Äquivalenzrelation.

Definitionen

Seien M eine Menge und $\thicksim$ eine Relation auf M

Äquivalenzrelation:
$\thicksim$ ist eine Äquivalenzrelation auf M, wenn für alle x,y,z∈M gilt:

Reflexivität: $x \thicksim x$
Symmetrie: $x \thicksim y$ ⇒ $y \thicksim x$
Transitivität: $x \thicksim y$ und $y \thicksim z$ ⇒ $x \thicksim z$

Äquivalenzklasse
Sei R eine Äquivalenzrelation auf M. Die Menge der zu x∈M äquivalenten Element von M

$[x]:= \lbrace y \in M \mid x \sim y \rbrace$

nennt man die Äquivalenzklasse oder Faser von x bezüglich $\thicksim$ . Das x heißt Repräsentant von [x].

Beispiel:
Die oben erwähnte Gleichheitsrelation Δ_M:= { (x,x) | x∈ M } ist die "klassische" Äquivalenzrelation. Reflexivität, Symmetrie und Transitivität sind die bekannten Eigenschaften der Gleichheit. Außerdem gilt für alle x,y ∈ M: "(x,y) ∈ Δ_M ⇔ x=y". Die Äquivalenzklassen von M bezüglich Δ_M sind also Mengen mit genau einem Element, d.h. [x]={x}.
In diesem Zusammenhang der Hinweis, dass eine Menge eine "Zusammenfassung wohl unterschiedener Objekte" ist.

Beispiel und Übung:
Etwas spannender ist schon die Entscheidung, ob es sich bei der Relation

$R := \lbrace(x,y)\mid x,y \in \N \text { und (x=y oder } x \cdot y = 12) \rbrace$

um eine Äquivalenzrelation handelt. Es ist also zu prüfen, ob R auf der Menge $\N$ reflexiv, symmetrisch und transitiv ist.

Satz

Sei $\thicksim$ eine Äquivalenzrelation auf M, dann gilt

$[x] \cap [y] \not= \emptyset \Leftrightarrow [x] = [y]$

Beweis

Sei $z \in [x] \cap [y]$ . Dann ist $x \thicksim z$ und $y \thicksim z$ , und wegen der Transitivität und der Symetrie gilt daher $x \thicksim y$ . Für jedes $a \in [x]$ gilt daher $a \thicksim x \thicksim y$ und wegen der Transitivität auch $a \thicksim y$ . Daraus folgt $[x] \subseteq [y]$ . Ganz analog zeigt man $[y] \subseteq [x]$ . Damit gilt

[x] = [y]

Dass $[x] = [y] \Rightarrow [x] \cap [y] \not= \emptyset$ gilt ist klar.

Bemerkung: Dieser Satz besagt, dass Äquivalenzklassen disjunkt oder gleich sein müssen. D.h. eine Äquivalenzrelation auf der Menge M, bildet eine disjunkte Partition der Menge M.

[Bearbeiten] Ordnungsrelation

Mengen kann man über die Teilmengenbeziehung "⊂" der Größe nach ordnen. Solche Ordnungen werden durch Eigenschaften wie Reflexivität, Antisymmetrie und Transitivität charakterisiert. Dies führt zu der sehr allgemeinen Definition der Ordnungsrelation

[Bearbeiten] Definition - Ordnungsrelation

Seien M eine Menge und R eine Relation auf M

Ordnungsrelation:
R ist eine Ordnungsrelation auf M, wenn für alle x,y,z∈M gilt:

Reflexivität: (x,x)∈R
Antisymmetrie: (x,y)∈R und (y,x)∈R ⇒ x=y
Transitivität: (x,y)∈R und (y,z)∈R ⇒ (x,z)∈R

Ist R eine Ordnungsrelation auf M, so heißt das Paar (M,R) eine geordnete Menge und R eine Ordnung auf M. Die Namensgebung ist hier leider nicht sehr einheitlich. Man sagt statt Ordnung auch Halbordnung, Partialordnung oder teilweise Ordnung.

Statt (x,y)∈ R schreibt man oft xRy, und auch, wie sicherlich vertraut, x≤y [sprich x kleiner y].

(M,R) ist linear (total) geordnet, wenn für alle x,y∈M gilt: "(x,y)∈R oder (y,x)∈R"

[Bearbeiten] Definition - Kette

Eine nicht-leere Teilmenge K⊂M einer geordneten Menge (M,≤) heißt Kette von (M,≤), falls (K, ≤ ∩ K × K) eine total Ordnung ist.

Die vertraute Schreibweise "≤" könnte zu dem Fehlschluss verleiten, dass die Definition nur "gut bekannte" geordnete Mengen, wie z. B. die natürlichen Zahlen beschreibt. Das ist nicht der Fall, der Begriff ist viel allgemeiner. Das sollen die folgenden Beispiele verdeutlichen:

Beispiel:
Die oben erwähnte Gleichheitsrelation Δ_M:= { (x,x) | x∈ M } ist ist eine Ordnungsrelation auf M. Wie schon gesagt ist Δ_M eine Äquivalenzrelation, also ist sie reflexiv und transitiv. Falls (x,y)∈Δ_M und (y,x)∈Δ_M folgt aus der Definition der Gleicheitsrelation x=y, d. h. auch die Antisymmetrie ist erfüllt.

Beispiel und Übung:
Potenzmenge: Sei M eine Menge und $\mathfrak{P}(M)$ die Potenzmenge von M. Durch
U ≤ V := U ⊂ V ⊂ M
wird eine Ordnungsrelation auf $\mathfrak{P}(M)$ definiert. Beweisen lässt sich dies mit den Rechenregeln der Teilmengenbeziehung.

Zum Schluss dieses Abschnitts noch eine Übungsaufgabe, bei der vielleicht erst mit dem "zweiten Blick" klar wird, was hier eigentlich definiert wird:

Übungsaufgabe:
Zeige:
Sei M eine Menge und ≤ eine Ordnung auf M. Für jede Teilmenge N⊂M wird durch
≤_N := ≤ ∩ (N×N)
eine Ordnung auf N definiert. ≤ läßt sich also auf Teilmengen N einschränken.

Hinweise:
Es wird vorausgesetzt, dass M eine Menge und (M,≤) eine geordnete Menge ist.
Sei nun N eine Teilmenge von M. (N×N) ist dann eine Relation auf N, bei der alle Elemente von N miteinander in Beziehung stehen, d. h. für alle x,y∈N gilt (x,y)∈ (N×N).
"≤" steht als Symbol für die vorausgesetzte Ordnungsrelation, d. h. "≤" symbolisiert eine Relation oder Teilmenge von (M×M), also insbesondere ist "≤" eine Paarmenge.
Aus den beiden Paarmengen ≤ und (N×N) wird dann der Durchschnitt "≤ ∩ (N×N)" gebildet. Dieser Durchschnitt ist wieder eine Paarmenge. Und genau für diese Paarmenge soll gezeigt werden, dass sie eine Ordnungsrelation, d. h. reflexiv, antisymmetrisch und transitiv, ist.

Im Folgenden werden ausgezeichnete Elemente geordneter Mengen bezüglich gegebener Teilmengen beschrieben. Diese Begriffe werden in der Analysis und auch vielen anderen Gebieten der Mathematik häufig verwendet.

[Bearbeiten] Maximum - Minimum

Definition

(M,≤) sei eine geordnete Menge und N eine Teilmenge von M

"x heißt Maximum oder größtes Element von N" :⇔ "x∈N und ∀y∈N gilt y≤x"
"x heißt Minimum oder kleinstes Element von N" :⇔ "x∈N und ∀y∈N gilt x≤y"

Satz

Eine Teilmenge einer geordneten Menge besitzt höchstens ein Maximum (Minimum)

Beweis

Seien also a und b Maxima von N. Dann gilt a,b∈N und a≤b (b ist Maximum) sowie b≤a (b ist Maximum. Daraus folgt wegen der Antisymmetrie der Ordnungsrelation sofort a=b.

Eine geordnete Menge muss kein Maximum oder Minimum besitzen, z.B. die Menge ${x | 0 < x < 1}$ , besitzt weder ein Maximum noch ein Minimum, obwohl sie geordnet ist.

Da Maximum und Minimum einer Teilmenge N eindeutig bestimmt sind (vorausgesetzt sie existieren!) definiert man weiter:

Definition

Sei N eine Teilmenge einer geordneten Menge (M,≤) und x sei ein Maximum von N, so setzt man: max N := x (min N := x)

[Bearbeiten] Obere Schranke - untere Schranke

Im Allgemeinen existieren zu einer Teilmenge N einer geordneten Menge (M,≤) weder Minimum noch Maximum. Für solche Teilmengen N ist die obige Definition nicht anwendbar. Mit der folgenden Definition erweitert man Menge der "möglichen Elemente" indem man auch Elemente der Menge M zuläßt.

Definition

(M,≤) sei eine geordnete Menge und N eine Teilmenge von M

"x heißt obere Schranke von N (in M)" :⇔ "x∈M und ∀y∈N gilt y≤x"
"x heißt untere Schranke von N (in M)" :⇔ "x∈M und ∀y∈N gilt x≤y"
Sei $\overline S (N)$ := { x | x ist obere Schranke von N (in M) }.
"N heißt nach oben beschränkt" :⇔ " $\overline S (N) \ne \emptyset$ , d. h. N hat (mindestens) eine obere Schranke"
Sei $\underline S (N)$ := { x | x ist untere Schranke von N (in M) }.
"N heißt nach unten beschränkt" :⇔ " $\underline S (N) \ne \emptyset$ , d. h. N hat (mindestens) eine untere Schranke"
"N heißt beschränkt" :⇔ "N ist nach oben und unten beschränkt"

[Bearbeiten] Supremum - Infimum

Falls ein minimales Element der Menge $\overline S (N)$ := { x | x ist obere Schranke von N (in M) } existiert, so ist es nach dem oben bewiesenen Satz eindeutig und dieses Element nennt man dann Supremum von N. Die Existenz eines solchen Elementes ist jedoch keinesfalls gesichert und im "Einzelfall" nachzuweisen. Erst nachdem dieser Nachweis geglückt ist, dürfen also die folgende Definitionen benutzt werden:

Definition

(M,≤) sei eine geordnete Menge und N eine Teilmenge von M

"x heißt Supremum oder kleinste obere Schranke oder sup N von N (in M)" :⇔ "x:= min $\overline S (N)$ " .

"x heißt Infimum oder größte untere Schranke oder inf N von N (in M)" :⇔ "x:= max $\underline S (N)$ "

Satz

(M,≤) sei eine geordnete Menge, N eine Teilmenge von M und x∈ M. Dann gilt:

x = max N ⇔ x∈ $\overline S (N)$ und x∈N ⇔ x = sup N und x∈N
x = min N ⇔ x∈ $\underline S (N)$ und x∈N ⇔ x = inf N und x∈N

Sup N muss im Gegensatz zum max N nicht zur Teilmenge N gehören. Ein Beispiel hierzu ist die Menge N := { x | x ∈ $\R$ , 1 < x < 2 } ( $\R$ steht für die Menge der reellen Zahlen). Später werden wir solche Beispiele genauer untersuchen.

[Bearbeiten] Wohlordnung

Zum Schluss diese Abschnitts wird noch der Begriff der Wohlordnung eingeführt. Ein Beispiel für eine wohlgeordnete Menge sind die natürlichen Zahlen mit der "natürlichen" Ordnung. Dagegen sind die "normalen" Ordnungen der ganzen oder positiven reellen Zahlen nicht wohlgeordnet.