Gerichtete Menge

Verallgemeinerung der nichtleeren, linear geordneten Mengen

Gerichtete Mengen bezeichnen in der Mathematik eine Verallgemeinerung der nichtleeren, linear geordneten Mengen. Sie werden in der Topologie verwendet, um Netze, und in der Kategorientheorie, um Limites und Kolimites zu definieren.

Definition

Bearbeiten

Eine nichtleere Menge   heißt gerichtet, falls auf ihr eine Relation   (genannt Richtung) erklärt ist, die die folgenden Forderungen erfüllt:[1]

(R1)   (Reflexivität)
  (R2)   (Transitivität)
  (R3)   (Existenz einer 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 untere Schranke ersetzt:

(R3’)   (Existenz einer unteren Schranke)

Einige Autoren (wie 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 halbgeordnete Menge mit Supremum nach oben gerichtet.

  wird als „  vor  “ oder auch als „  nach  “ gelesen, für welch letzteres auch die Schreibweise   mit dem gespiegelten Dreieck zu finden ist.

Es kann sinnvoll sein, auf einer Menge verschiedene Richtungen zu definieren (siehe Beispiele). Um die gemeinte Richtung hervorzuheben, nennt man auch das geordnete Paar   gerichtete Menge und spricht von der bezüglich Relation   gerichteten Menge  .

So ist eine bezüglich der Relation   nach oben gerichtete Menge   immer bezüglich der gespiegelten Relation   nach unten gerichtet, denn es gilt  .

Beispiele

Bearbeiten
  • Beispiel für eine Menge, die nur nach unten und nicht auch nach oben gerichtet ist:
  und  .
Es ist   und   und   eine untere Schranke.
Zum Paar   gibt es aber keine obere Schranke.
  •  
(Sprechweisen: „  ist auf   gerichtet“ oder „  ist Richtungszentrum von  “.) Man kann durch diese Richtung den Grenzwert einer Funktion   für   als (Netz-)Konvergenz des zugehörigen Netzes auffassen.
  •  
In der Bedeutung „  teilt  “. Die Forderung (R3) wird erfüllt durch das kleinste gemeinsame Vielfache (kgV). Die gerichtete Menge   kommt zum Einsatz bei kategoriellen Limites, bspw. den proendlichen Zahlen.
  •  
  •  
Mit Hilfe dieser gerichteten Menge lassen sich Grenzwerte von Funktionen respektive Folgen für   bzw.  , ähnlich dem ersten Beispiel, als (Netz-)Konvergenzen ihrer zugehörigen Netze auffassen.
  •  
Mit dieser Richtung auf   lässt sich Konvergenz von Doppelfolgen, wiederum als Netzkonvergenz, definieren.
  •   eine beliebige Menge und   (die Potenzmenge) 
Die Forderung (R3) wird erfüllt durch die Vereinigungsmenge.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. Heuser, S. 249/250.