Lawvere-Tierney-Topologie

Eine Lawvere-Tierney-Topologie ist ein nach William Lawvere und Myles Tierney benannter Begriff aus der Kategorientheorie.

Einführende Begriffe

Ein Topos ist definitionsgemäß eine Kategorie, die unter allen endlichen Limiten abgeschlossen ist, sie enthält also insbesondere ein mit $1$ bezeichnetes terminales Objekt und alle endlichen Produkte. Weiter enthält ein Topos einen Unterobjekt-Klassifizierer, das ist ein mit $true$ bezeichneter Morphismus $1\rightarrow \Omega$ , wobei $\Omega$ ein festes Objekt des Topos ist, so dass Folgendes gilt: Ist $m\colon D\rightarrowtail C$ ein Unterobjekt (genauer ein Vertreter der zugehörigen Äquivalenzklasse), so gibt es genau einen Morphismus $\chi _{m}\colon C\rightarrow \Omega$ , der das Diagramm

{\begin{array}{ccc}D&\rightarrow &1\\{\Bigg \downarrow }{}_{m}&&\quad {\Bigg \downarrow }{}_{true}\\C&{\xrightarrow[{}]{\chi _{m}}}&\Omega \end{array}}

zu einem Pullback macht, diesen nennt man die charakteristische Funktion von $m$ bzw. des Unterobjekts. Die Zuordnung $m\mapsto \chi _{m}$ ist damit eine Bijektion zwischen $\mathrm {Sub} (C)$ , der Menge der Unterobjekte von $C$ , und $\mathrm {Hom} (C,\Omega )$ . $\mathrm {Sub} (C)$ ist bezüglich der Unterobjekt-Beziehung eine geordnete Menge und man kann zeigen, dass sogar eine Heyting-Algebra vorliegt und dass diese Konstruktion natürlich in $C$ ist. Die zugehörigen Operationen $0,1,\land ,\lor ,\neg ,\Rightarrow$ der Heyting-Algebra übertragen sich nach Obigem auf $\mathrm {Hom} (C,\Omega )$ und die Natürlichkeit in $C$ führt mittels des Yoneda-Lemmas zu entsprechenden Morphismen

\land \colon \Omega \times \Omega \rightarrow \Omega

\lor \colon \Omega \times \Omega \rightarrow \Omega

\Rightarrow \colon \Omega \times \Omega \rightarrow \Omega

\neg \colon \Omega \rightarrow \Omega

Genauer heißt das: Repräsentieren $m_{1}\colon D_{1}\rightarrowtail C$ und $m_{2}\colon D_{2}\rightarrowtail C$ Unterobjekte von $C$ mit charakteristischen Funktionen $\chi _{m_{1}}$ und $\chi _{m_{2}}$ , so hat das Infimum der beiden Unterobjekte in der Heyting-Algebra $\mathrm {Sub} (C)$ die charakteristische Funktion

\land \circ (\chi _{m_{1}},\chi _{m_{2}})\colon C\rightarrow \Omega \times \Omega \rightarrow \Omega

,

und Entsprechendes gilt für die anderen Operationen.

Definition

Eine Lawvere-Tierney-Topologie auf einem Topos mit einem Unterobjekt-Klassifizierer $true\colon 1\rightarrow \Omega$ ist ein Morphismus $j\colon \Omega \rightarrow \Omega$ mit folgenden drei Eigenschaften:

{\begin{array}{ll}{\text{Idempotenz:}}&j\circ j=j\colon \Omega \rightarrow \Omega \\{\text{Verträglichkeit mit }}true{\text{:}}&j\circ true=true\colon 1\rightarrow \Omega \\{\text{Verträglichkeit mit }}\land {\text{:}}&j\circ \wedge =\wedge \circ (j,j)\colon \Omega \times \Omega \rightarrow \Omega \end{array}}

Zusammenhang mit Grothendieck-Topologien

Es sei $J$ eine Grothendieck-Topologie auf einer kleinen Kategorie ${\mathcal {C}}$ , das heißt, $J$ wählt zu jedem Objekt $C$ in ${\mathcal {C}}$ eine Menge $J(C)$ von Sieben aus, so dass gewisse Bedingungen erfüllt sind.

${\hat {\mathcal {C}}}={\mathcal {Set}}^{{\mathcal {C}}^{op}}$ , die Funktorkategorie der Funktoren ${\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$ in die Kategorie der Mengen ${\mathcal {Set}}$ , ist ein Topos und hat als Unterobjekt-Klassifizierer den Funktor $\Omega \colon {\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$ , wobei $\Omega (C)$ die Menge aller Siebe auf $C$ ist, mit der natürlichen Transformation $true=(true_{C})_{C\in {\mathcal {C}}}\colon 1\rightarrow \Omega$ , die dadurch definiert ist, dass $true_{C}$ das einzige Element aus $1(C)$ auf das maximale Sieb $t_{C}$ aller Morphismen mit Ziel $C$ abbildet. Das Stabilitätsaxiom einer Grothendieck-Topologie zeigt, dass $J$ ein Unterfunktor von $\Omega$ ist. Nach Definition des Unterobjekt-Klassifizierers existiert daher ein eindeutig bestimmter Morphismus in der Funktorkategorie (d. h. eine natürliche Transformation) $j\colon \Omega \rightarrow \Omega$ , der das Diagramm

{\begin{array}{ccc}J&\rightarrow &1\\{\Bigg \downarrow }{}_{m}&&\quad {\Bigg \downarrow }{}_{true}\\\Omega &{\xrightarrow[{}]{j}}&\Omega \end{array}}

zu einem Pullback macht. Man kann nun zeigen, dass dieses $j$ eine Lawvere-Tierney-Topologie ist und weiterhin, dass jede Lawvere-Tierney-Topologie auf ${\hat {\mathcal {C}}}$ auf diese Weise von einer Grothendieck-Topologie auf ${\mathcal {C}}$ herkommt. Damit ist die Theorie der Grothendieck-Topologien auf einer kleinen Kategorie ${\mathcal {C}}$ äquivalent zur Theorie der Lawvere-Tierney-Topologien auf dem Prägarben-Topos ${\hat {\mathcal {C}}}$ . Da es Topoi mit Lawvere-Tierney-Topologien gibt, die nicht von dieser Art sind, stellen diese eine echte Verallgemeinerung der Grothendieck-Topologien dar.

Beispiele

Prägarben auf topologischen Räumen

Es sei $X$ ein topologischer Raum und ${\mathcal {O}}(X)$ die Kategorie der offenen Mengen von $X$ , das heißt, die Objekte sind die offenen Mengen $U\subset X$ und die einzigen Morphismen sind die Inklusionsabbildungen $V\subset U$ zwischen offenen Mengen $V\subset U\subset X$ . Dies nehmen wir als kleine Kategorie ${\mathcal {C}}$ .

Da jeder Morphismus $f\colon V\rightarrow U$ definitionsgemäß eine Inklusionsabbildung ist, kann man ihn mit seinem Quellobjekt $V$ identifizieren. Ein Sieb auf $U$ ist dann ein System $S$ offener Teilmengen von $U$ mit der Eigenschaft, dass aus $W\subset V\in S$ bereits $W\in S$ folgt. Insbesondere ist $\bigcup S\subset U$ . Die sogenannte Grothendieck-Topologie der offenen Überdeckungen $J$ , die zu $X$ gehört, ist definiert durch

J(U):=\{S\mid S{\text{ Sieb auf }}U{\text{ mit }}\bigcup S=U\}

.

Der Unterobjekt-Klassifizierer im Topos ${\mathcal {Set}}^{{\mathcal {O}}(X)^{op}}$ der mengenwertigen Prägarben auf $X$ ist gegeben durch

\Omega (U):=\{S\mid S{\text{ Sieb auf }}U\}

mit

true_{U}(*)=\{V\mid V{\text{ offen und }}V\subset U\}

.

Die gemäß dem oben beschriebenen Zusammenhang zugehörige Lawvere-Tierney-Topologie ist gegeben durch

j=(j_{U})_{U}\colon \Omega \rightarrow \Omega

j_{U}\colon \Omega (U)\rightarrow \Omega (U),\quad j_{U}(S)=\{V\mid V{\text{ offen und }}V\subset \bigcup S\}

.

Die Kategorie der Mengen

Betrachtet man im vorangegangenen Beispiel den topologischen Raum $X=\emptyset$ , so erhält man die beiden Lawvere-Tierney-Topologien auf der Kategorie ${\mathcal {Set}}$ der Mengen. Da ${\mathcal {O}}(\emptyset )=\{\emptyset \}$ , ist dies die Kategorie mit genau einem Objekt $\emptyset$ und dem identischen Morphismus $\emptyset$ darauf als einzigem Morphismus. Der zugehörige Topos ${\mathcal {Set}}^{\{\emptyset \}^{op}}$ ist isomorph zum Topos ${\mathcal {Set}}$ , indem man jeden Funktor $\{\emptyset \}^{op}\rightarrow {\mathcal {Set}}$ mit derjenigen Menge identifiziert, auf die der Funktor das einzige Objekt schickt.

Es gibt zwei Siebe auf $\emptyset$ , nämlich das leere Sieb $\emptyset$ und das maximale Sieb $\{\emptyset \}$ . Mit den Bezeichnungen des vorangegangenen Beispiels ist also

\Omega (\emptyset )=\{\emptyset ,\{\emptyset \}\}=\{0,1\}

, wobei wie üblich

0=\emptyset

und

1=\{\emptyset \}

.

Eine Grothendieck-Topologie $J$ ist eine Auswahl $J(\emptyset )$ von Sieben, und dazu gibt es genau vier Möglichkeiten. Diese Anzahl reduziert sich auf zwei, da $J(\emptyset )$ das maximale Sieb $1$ enthalten muss, und wir haben daher nur noch die zwei Möglichkeiten

J_{1}(\emptyset )=\{1\}

die triviale Grothendieck-Topologie

J_{2}(\emptyset )=\{0,1\}

die Grothendieck-Topologie der offenen Überdeckungen aus obigem Beispiel

Die zu $J_{1}$ und $J_{2}$ gehörigen Lawvere-Tierney-Topologien $j_{1}$ bzw. $j_{2}$ sind:

j_{1}\colon \quad {\begin{array}{ccc}0&\mapsto &0\\1&\mapsto &1\end{array}}

und

j_{2}\colon \quad {\begin{array}{ccc}0&\mapsto &1\\1&\mapsto &1\end{array}}

Dichte Topologien

Ist ${\mathcal {E}}$ ein Topos mit einem Unterobjekt-Klassifizierer $true\colon 1\rightarrow \Omega$ , so gibt es nach obigen einleitenden Bemerkungen einen Morphismus $\neg \colon \Omega \rightarrow \Omega$ , der die Bildung des Pseudokomplements beschreibt. Dann kann man zeigen, dass $\neg \circ \neg \colon \Omega \rightarrow \Omega$ eine Lawvere-Tierney-Topologie auf ${\mathcal {E}}$ ist. Man nennt sie auch die dichte Topologie auf dem Topos.

Die Lawvere-Tierney-Topologie $j_{1}$ aus dem vorangegangenen Beispiel ist ein sehr einfacher Fall dieser Konstruktion, denn in ${\mathcal {Set}}$ ist $\neg \colon \{0,1\}\rightarrow \{0,1\}$ diejenige Abbildung, die 0 und 1 vertauscht, so dass $\neg \circ \neg$ die identische Funktion auf $\{0,1\}$ und damit gleich $j_{1}$ ist.

Diese dichten Topologien, die man auch einfach als $\neg \neg$ -Topologien bezeichnet, spielen eine wichtige Rolle in der Logik, insbesondere in der Konstruktion von Modellen der Mengenlehre. Dies ist im mehrfach zitierten Lehrbuch von Saunders Mac Lane, Ieke Moerdijk ausgeführt, im Kapitel VI wird mit diesen Methoden die Unabhängigkeit der Kontinuumshypothese bewiesen.

Abschluss

Ist $m\colon D\rightarrowtail C$ ein Monomorphismus in einem Topos, so gehört dazu nach Definition des Unterobjekt-Klassifizierers $true\colon 1\rightarrow \Omega$ genau eine charakteristische Funktion $\chi _{m}\colon C\rightarrow \Omega$ wie in obiger Einführung. Ist nun $j\colon \Omega \rightarrow \Omega$ eine Lawvere-Tierney-Topologie, so ist auch $j\circ \chi _{m}$ ein Morphismus $C\rightarrow \Omega$ , das heißt dazu korrespondiert ein mit ${\overline {D}}$ bezeichnetes Unterobjekt von $C$ , das man den Abschluss, genauer den $j$ -Abschluss, von $D$ in $C$ nennt. Diese Abschlussoperation hat folgende Eigenschaften für Unterobjekte $D,D_{1},D_{2}$ von $C$ :

D\subset {\overline {D}}

,

D

ist Unterobjekt von

{\overline {D}}

in

\mathrm {Sub} (C)

{\overline {D}}={\overline {\overline {D}}}

, das heißt, der Abschluss eines Abschlusses bringt nichts Neues

{\overline {D_{1}\cap D_{2}}}={\overline {D_{1}}}\cap {\overline {D_{2}}}

, das heißt die Abschlussoperation ist mit der Infimumsbildung je zweier Objekte in

\mathrm {Sub} (C)

verträglich.

Weiter ist die Abschlussbildung $D\rightarrow {\overline {D}}$ in $\mathrm {Sub} (C)$ natürlich in $C$ . Das bedeutet Folgendes: Ist $m\colon D\rightarrowtail C$ eine Unterobjekt-Beziehung und ist $f\colon C'\rightarrow C$ ein Morphismus, so definiert man $f^{-1}(D)$ durch das Pullback-Diagramm

{\begin{array}{ccc}f^{-1}(D)&\rightarrow &D\\{\Bigg \downarrow }m'&&{\Bigg \downarrow }m\\C'&{\xrightarrow[{}]{f}}&C\end{array}}

Beachte, dass $m'$ wieder ein Monomorphismus und damit $f^{-1}(D)$ Unterobjekt von $C'$ ist. Die Natürlichkeit in $C$ bedeutet mit diesen Bezeichnungen, dass

{\overline {f^{-1}(D)}}=f^{-1}({\overline {D}})

Auf der linken Seite dieser Gleichung ist der $j$ -Abschluss in $\mathrm {Sub} (C')$ gebildet, auf der rechten Seite in $\mathrm {Sub} (C)$ .

Ist umgekehrt in jedem $\mathrm {Sub} (C)$ eine Abschluss-Operation $D\mapsto {\overline {D}}$ gegeben, die die oben genannten drei Eigenschaften erfüllt und zudem natürlich in $C$ ist, so gibt es genau eine Lawvere-Tierney-Topologie $j$ , deren $j$ -Abschluss gerade diese Abschluss-Operation ist.

Garben

Ist ${\mathcal {E}}$ ein Topos mit einer Lawvere-Tierney-Topologie $j:\Omega \rightarrow \Omega$ , so sondert man mit Hilfe des $j$ -Abschlusses gewisse Objekte als Garben aus. Ein Objekt $F$ heißt Garbe, genauer $j$ -Garbe, wenn für jedes Objekt $C$ und jedes darin enthaltene $j$ -dichte Unterobjekt $D$ (das heißt ${\overline {D}}=C$ in $\mathrm {Sub} (C)$ ) die natürliche Abbildung

\mathrm {Hom} (C,F)\rightarrow \mathrm {Hom} (D,F),\quad f\mapsto f\circ (D\hookrightarrow C)

bijektiv ist. Das heißt $F$ ist eine Garbe, wenn es zu jedem Monomorphismus $m:D\rightarrow C$ mit ${\overline {D}}=C$ in $\mathrm {Sub} (C)$ und zu jedem $f:D\rightarrow F$ genau einen Morphismus $g:C\rightarrow F$ mit $f=g\circ m$ gibt.

Dies verallgemeinert den Begriff der Garbe auf einem Situs.

Sei $\mathrm {Sh} _{j}({\mathcal {E}})$ die volle Unterkategorie der $j$ -Garben in ${\mathcal {E}}$ . So ist das terminale Objekt $1$ stets eine Garbe, denn da $\mathrm {Hom} (C,1)$ und $\mathrm {Hom} (D,1)$ nach Definition des terminalen Objekts beide einelementig sind, ist die definierende Bedingung trivialer Weise erfüllt. Man kann zeigen, dass $\mathrm {Sh} _{j}({\mathcal {E}})$ selbst wieder ein Topos ist, als Unterobjekt-Klassifizierer nimmt man

\Omega _{j}=

Equalizer von

\Omega {\underset {1_{\Omega }}{\overset {j}{\rightrightarrows }}}\Omega

.

Wie schon im Falle des Situs hat die Einbettung $\mathbf {i} \colon \mathrm {Sh} _{j}({\mathcal {E}})\rightarrow {\mathcal {E}}$ einen linksadjungierten Funktor $\mathbf {a} \colon {\mathcal {E}}\rightarrow \mathrm {Sh} _{j}({\mathcal {E}})$ , den man auch hier Vergarbung nennt. Man hat also für $j$ -Garben $F$ und Objekte $E$ aus ${\mathcal {E}}$ eine natürliche Isomorphie

\mathrm {Hom} _{\mathrm {Sh} _{j}({\mathcal {E}})}(\mathbf {a} E,F)=\mathrm {Hom} _{\mathcal {E}}(F,\mathbf {i} E)

Viele wichtige Topoi sind solche Garbentopoi, denn die Garbeneigenschaft führt dazu, dass der Unterobjekt-Klassifizierer nicht nur eine Heyting-Algebra, sondern sogar eine boolesche Algebra ist.

Einzelnachweise

↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Theorem IV.8.1
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Kapitel V.1
↑ P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Definition 3.11
↑ Claudia Centazzo, Enrico M. Vitale in: Categorical Foundations - Special Topics in Order, Topology, Algebra, and Sheaf Theory. Cambridge University Press, 2004, ISBN 0-521-83414-7, Kap. VII.3.14: Lawvere-Tierney topologies
↑ Dov M. Gabbay, Akihiro Kanamori, John Woods (Hrsg.): Handbook of the History of Logic. Volume 6: Sets and Extensions in the Twentieth Century. Elsevier-Verlag, 2012, ISBN 978-0-444-51621-3, Definition auf S. 723
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Theorem V.1.2
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Theorem V.4.1
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, aus Kapitel V.1
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Theorem VI.1.3
↑ P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Theorem 3.14
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Kapitel V.2: Sheaves
↑ P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Definition 3.21
↑ P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Korollar 3.39
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Theorem V.3.1

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Theorem IV.8.1

[2] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Kapitel V.1

[3] P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Definition 3.11

[4] Claudia Centazzo, Enrico M. Vitale in: Categorical Foundations - Special Topics in Order, Topology, Algebra, and Sheaf Theory. Cambridge University Press, 2004, ISBN 0-521-83414-7, Kap. VII.3.14: Lawvere-Tierney topologies

[5] Dov M. Gabbay, Akihiro Kanamori, John Woods (Hrsg.): Handbook of the History of Logic. Volume 6: Sets and Extensions in the Twentieth Century. Elsevier-Verlag, 2012, ISBN 978-0-444-51621-3, Definition auf S. 723

[6] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Theorem V.1.2

[7] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Theorem V.4.1

[8] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, aus Kapitel V.1

[9] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Theorem VI.1.3

[10] P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Theorem 3.14

[11] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Definition in Kapitel V.2: Sheaves

[12] P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Definition 3.21

[13] P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Korollar 3.39

[14] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic. Springer-Verlag, 1992, ISBN 0-387-97710-4, Theorem V.3.1