imported>Thomas Dresler: Format

2025-07-01T22:02:26Z

Format

Neue Seite

'''Gerichtete Mengen''' bezeichnen in der Mathematik eine Verallgemeinerung der nichtleeren, [[Lineare Ordnung| linear geordneten Mengen]]. Sie werden in der [[Topologie (Mathematik)|Topologie]] verwendet, um [[Netz (Topologie)|Netze]], und in der
[[Kategorientheorie]], um [[Limes (Kategorientheorie)|Limites]] und [[Kolimes|Kolimites]] zu definieren.

== Definition ==
Eine nichtleere Menge <math>X</math> heißt gerichtet, falls auf ihr eine [[Relation (Mathematik)|Relation]] <math> \triangleleft </math> (genannt ''Richtung'') erklärt ist, die die folgenden Forderungen erfüllt:<ref>Heuser, S. 249/250.</ref>

{|
|-
| style="width:1.2em;" | || style="width:2.8em;" | (R1) || style="width:25em;" | <math>\forall x \in X\colon x \triangleleft x</math> || ([[Reflexive Relation|Reflexivität]])
|-
|   || (R2) || <math>\forall x,y,z \in X\colon (x \triangleleft y) \land (y \triangleleft z) \Rightarrow (x \triangleleft z)</math> || ([[Transitive Relation|Transitivität]])
|-
|   || (R3) || <math>\forall x,y \in X\ \exists z \in X\colon (x \triangleleft z) \land (y \triangleleft z)</math> || (Existenz einer [[Infimum und Supremum|oberen Schranke]])
|}
Eine so definierte gerichtete Menge wird auch „nach oben gerichtet“ genannt. Analog dazu kann auch eine „nach unten gerichtete“ Menge definiert werden, wenn man in der dritten Forderung die obere durch eine [[Infimum und Supremum|untere Schranke]] ersetzt:
{|
|-
| style="width:1.2em;" | || style="width:2.8em;" | (R3’) || style="width:25em;" | <math>\forall x,y \in X\ \exists z \in X\colon (z \triangleleft x) \land (z \triangleleft y)</math> || (Existenz einer unteren Schranke)
|}
Einige Autoren (so auch dieser Artikel) verwenden die Bezeichnung „gerichtete Menge“ stellvertretend für „nach oben gerichtete Menge“. Andere sprechen von einer gerichteten Menge nur dann, wenn sie (bezüglich derselben Relation) sowohl nach oben als auch nach unten gerichtet ist.

Die Richtung steht für eine [[Quasiordnung]], bei der jede endliche Teilmenge eine obere Schranke hat. Somit ist jede [[Halbordnung|halbgeordnete]] Menge mit [[Supremum]] nach oben gerichtet.

<math>x \triangleleft y</math> wird als „<math>x</math> vor <math>y</math>“ oder auch als „<math>y</math> nach <math>x</math>“ gelesen, für welch letzteres auch die Schreibweise <math>y \triangleright x</math> mit dem gespiegelten Dreieck zu finden ist.

Es kann sinnvoll sein, auf einer Menge verschiedene Richtungen zu definieren (siehe [[#Beispiele|Beispiele]]). Um die gemeinte Richtung hervorzuheben, nennt man auch das [[Geordnetes Paar|geordnete Paar]] <math>\left(X,\triangleleft \right)</math> ''gerichtete Menge'' und spricht von der bezüglich der Relation <math>\triangleleft</math> gerichteten Menge <math>X</math>.

So ist eine bezüglich der Relation <math>\triangleleft</math> nach oben gerichtete Menge <math>X</math> immer bezüglich der gespiegelten Relation <math>x \triangleright y :\Longleftrightarrow y \triangleleft x</math> nach unten gerichtet, denn es gilt <math>\forall x,y \in X\ \exists z \in X\colon (z \triangleright x) \land (z \triangleright y)</math>.

== Beispiele ==
* Beispiel für eine Menge, die nur nach unten und nicht auch nach oben gerichtet ist:
:: <math>X := \{(0,0),(0,1),(1,0)\}</math> und <math>(x_1,y_1) \triangleleft (x_2,y_2) :\Leftrightarrow (x_1\le x_2) \land (y_1\le y_2) </math>.
: Es ist <math>(0,0) \triangleleft (0,1) </math> und <math>(0,0) \triangleleft (1,0) </math> und <math>(0,0)</math> eine untere Schranke.
: Zum Paar <math>(0,1),(1,0)</math> gibt es aber keine obere Schranke.
* <math> X \subseteq \mathbb{R}^n; \, \rho \in \mathbb{R}^n\ \mathrm{fest}; \,
\forall x,y \in X: (x \triangleleft y) :\Leftrightarrow \left\| x - \rho \right\| \geq \left\| y - \rho \right\| \quad
</math>
: (Sprechweisen: „<math>X</math> ist auf <math>\rho</math> gerichtet“ oder „<math>\mathit{\rho}</math> ist Richtungszentrum von <math>X</math>“.) Man kann durch diese Richtung den [[Grenzwert (Funktion)|Grenzwert]] einer [[Funktion (Mathematik)|Funktion]] <math>f\colon X \to \mathbb{R}^n</math> für <math>x \to \rho</math> als (Netz-)Konvergenz des zugehörigen [[Netz (Topologie)|Netzes]] auffassen.
* <math>X = \N; \, \forall n,m \in X: (n \triangleleft m) :\Leftrightarrow n \mid m </math>
: In der Bedeutung „<math>n</math> [[Teilbarkeit#Definition|teilt]] <math>m</math>“. Die Forderung (R3) wird erfüllt durch das [[Kleinstes gemeinsames Vielfaches|kleinste gemeinsame Vielfache (kgV)]]. Die gerichtete Menge <math>(\N,\mid)</math> kommt zum Einsatz bei [[Limes (Kategorientheorie)|kategoriellen Limites]], bspw. den [[Proendliche Zahl|proendlichen Zahlen]].

* <math> X = \mathbb{N}; \, \forall n,m \in X: (n \triangleleft m) :\Leftrightarrow n \leq m </math>

* <math> X = \mathbb{R}; \, \forall x,y \in X: (x \triangleleft y) :\Leftrightarrow x \leq y </math>
: Mit Hilfe dieser gerichteten Menge lassen sich Grenzwerte von Funktionen respektive [[Folge (Mathematik)|Folgen]] für <math>x \to \infty</math> bzw. <math>n \to \infty</math> ähnlich dem ersten Beispiel als (Netz-)Konvergenzen ihrer zugehörigen Netze auffassen.

* <math> X = \mathbb{N}^2; \, \forall (n,m),(p,q) \in X: ((n,m) \triangleleft (p,q)) :\Leftrightarrow (n \leq p) \land (m \leq q) </math>
: Mit dieser Richtung auf <math>\mathbb{N}^2</math> lässt sich Konvergenz von Doppelfolgen wiederum als Netzkonvergenz definieren.

* <math> M </math> eine beliebige Menge und <math> X = \mathcal{P}(M)</math> (die [[Potenzmenge]])<math>; \, \forall A, B \in X: (A \triangleleft B) :\Leftrightarrow A \subseteq B </math>
: Die Forderung (R3) wird erfüllt durch die [[Vereinigungsmenge]].

== Literatur ==
* [[Harro Heuser]]: ''Lehrbuch der Analysis. Teil 1.'' 15. Auflage. Teubner, Stuttgart u. a. 2003, ISBN 3-519-62233-5.

== Einzelnachweise ==
<references />

[[Kategorie:Ordnungstheorie]]
[[Kategorie:Mengentheoretische Topologie]]

Gerichtete Menge - Versionsgeschichte

imported>Thomas Dresler: Format