Gerichtetes System/Topologischer Filter/Kolimes/Einführung/Textabschnitt

Definition

Es sei $X$ ein topologischer Raum. Ein System $F$ aus offenen Teilmengen von $X$ heißt Filter, wenn folgende Eigenschaften gelten ( $U, V$ seien offen).

$X \in F$ .
Mit $U \in F$ und $U \subseteq V$ ist auch $V \in F$ .
Mit $U \in F$ und $V \in F$ ist auch $U \cap V \in F$ .

Die wichtigsten Filter sind für und die Umgebungsfilter zu einer Punkt, der aus allen offenen Mengen eines fixierten Punktes besteht.

Definition

Eine geordnete Menge $(I, ≼)$ heißt gerichtet geordnet oder gerichtet, wenn es zu jedem $i, j \in I$ ein $k \in I$ mit $i, j ≼ k$ gibt.

Wir fassen einen topologischen Filter als eine durch die Inklusion geordnete Menge auf. Aus der Durchschnittseigenschaft eines Filters ergibt sich, dass eine gerichtete Menge vorliegt (Es ist dabei „ $≼ = \supseteq$ “).

Definition

Es sei $(I, ≼)$ eine geordnete Indexmenge. Eine Familie

M_{i}, i \in I,

von Mengen nennt man ein geordnetes System von Mengen, wenn folgende Eigenschaften erfüllt sind.

Zu $i ≼ j$ gibt es eine Abbildung $φ_{i j} : M_{i} \to M_{j}$ .
Zu $i ≼ j$ und $j ≼ k$ ist $φ_{i k} = φ_{j k} \circ φ_{i j}$ .

Ist die Indexmenge zusätzlich gerichtet, so spricht man von einem gerichteten System von Mengen.

Wenn die beteiligten Mengen $M_{i}$ allesamt Gruppen (Ringe) sind und alle Abbildungen zwischen ihnen Gruppenhomorphismen (Ringhomomorphismen), so spricht man von einem geordneten bzw. gerichteten System von Gruppen (Ringen).

Definition

Es sei $M_{i}$ , $i \in I$ , ein gerichtetes System von Mengen. Dann nennt man

colim_{i \in I} M_{i} = ⨄_{i \in I} M_{i} / \sim

den Kolimes (oder direkten oder induktiven Limes) des Systems. Dabei bezeichnet $\sim$ die Äquivalenzrelation, bei der zwei Elemente $m \in M_{i}$ und $n \in M_{j}$ als äquivalent erklärt werden, wenn es ein $k \in I$ mit $i, j ≼ k$ und mit

φ_{i k} (m) = φ_{j k} (n)

gibt.

Bei dieser Definition ist insbesondere ein Element $s_{i} \in M_{i}$ äquivalent zu seinem Bild $φ_{i k} (s_{i}) \in M_{k}$ für alle $i ≼ k$ . Wenn ein gerichtetes System von Gruppen (Ringen) vorliegt, so kann man auf dem soeben eingeführten Kolimes der Mengen auch eine Gruppenstruktur (Ringstruktur) definieren. Dies beruht darauf, dass zwei Elemente in diesem Kolimes, die durch $s_{i} \in M_{i}$ und $s_{j} \in M_{j}$ repräsentiert seien, mit ihren Bildern in $M_{k}$ ( $i, j ≼ k$ ) identifiziert werden können. Dann kann man dort die Gruppenverknüpfung erklären, siehe Aufgabe. Unser Hauptbeispiel für ein gerichtetes System ist das durch einen topologischen Filter gerichtete System zu einer Prägarbe $ℱ$ auf $X$ , also das System

ℱ (U), U \in F .