Potenzmengenfunktor

Ein Potenzmengenfunktor ist im mathematischen Teilgebiet der Kategorientheorie ein Funktor in der Kategorie der Mengen, der einer Menge ihre Potenzmenge zuordnet. Für die Operation auf Morphismen unterscheidet man eine kovariante und eine kontravariante Version.

Im Folgenden sei ${\mathcal {Set}}$ die Kategorie der Mengen, das heißt die Objekte sind die Mengen und die Morphismen sind die Abbildungen zwischen den Mengen. Üblicherweise werden beide Funktoren, der kovariante und der kontravariante Funktor, mit $P$ bezeichnet. Zur Unterscheidung innerhalb dieses Artikels bezeichnen wir den kovarianten Funktor mit ${\tilde {P}}$ .

Der kovariante Potenzmengenfunktor

Sei ${\tilde {P}}\colon {\mathcal {Set}}\rightarrow {\mathcal {Set}}$ der wie folgt auf Objekten und Morphismen definierte Endofunktor:

für eine Menge $A$ sei ${\tilde {P}}(A)$ die Potenzmenge von $A$ ,
für eine Abbildung $f\colon A\rightarrow B$ sei ${\tilde {P}}(f)\colon {\tilde {P}}(A)\rightarrow {\tilde {P}}(B)$ definiert durch ${\tilde {P}}(f)(X):=f[X]$ für $X\in P(A)$ , wobei $f[X]$ das Bild von $X$ unter $f$ sei. $P(f)$ wird oft mit $f_{*}$ bezeichnet.^[1]^[2]

Das Bild von $X$ unter $f$ wird häufig auch mit $f(X)$ bezeichnet. Wir verwenden hier eine andere Schreibweise, weil $X$ sowohl als Element als auch als Teilmenge von $A$ vorkommen kann und daher eine solche Unterscheidung nötig wird.

Da ${\tilde {P}}(\mathrm {id} _{A})(X)=\mathrm {id} _{A}[X]=X=\mathrm {id} _{{\tilde {P}}(A)}(X)$ und ${\tilde {P}}(f\circ g)(X)=(f\circ g)[X]=f[g[X]]={\tilde {P}}(f)({\tilde {P}}(g)(X))=({\tilde {P}}(f)\circ {\tilde {P}}(g))(X)$ für alle $X\in {\tilde {P}}(A)$ und Abbildungen $g\colon A\rightarrow B$ und $f\colon B\rightarrow C$ , liegt tatsächlich ein kovarianter Funktor vor.

Der kovariante Potenzmengenfunktor ist nicht darstellbar, denn gäbe es eine Menge $B$ mit $\mathrm {Hom} (B,A)\cong {\tilde {P}}(A)$ für alle Mengen $A$ , so wäre insbesondere $\mathrm {Hom} (B,\{0\})\cong {\tilde {P}}(\{0\})=\{\emptyset ,\{0\}\}$ , was aus Mächtigkeitsgründen nicht sein kann.^[3]

Der kovariante Potenzmengenfunktor ist eine Monade. Einheit $\eta \colon 1_{\mathcal {Set}}\rightarrow {\tilde {P}}$ und Multiplikation $\mu \colon {\tilde {P}}^{2}\rightarrow {\tilde {P}}$ sind gegeben durch $\textstyle \eta _{A}\colon A\rightarrow {\tilde {P}}(A),a\mapsto \{a\}$ und $\textstyle \mu _{A}\colon {\tilde {P}}({\tilde {P}}(A))\rightarrow {\tilde {P}}(A),X\mapsto \bigcup X$ .^[4] Algebren dieser Monade sind gerade vollständige Verbände.

Der kontravariante Potenzmengenfunktor

Sei $P\colon {\mathcal {Set}}\rightarrow {\mathcal {Set}}$ auf Objekten und Morphismen wie folgt definiert:

für eine Menge $A$ sei $P(A)$ die Potenzmenge von $A$ ,
für eine Abbildung $f\colon A\rightarrow B$ sei $P(f)\colon P(B)\rightarrow P(A)$ definiert durch $P(f)(X)\colon =f^{-1}(X)$ für $X\in P(B)$ , wobei $f^{-1}(X)$ das Urbild von $X$ unter $f$ sei.

$P(f)$ wird oft mit $f^{*}$ bezeichnet.^[5]^[6]

Da $P(\mathrm {id} _{A})(X)=\mathrm {id} _{A}^{-1}(X)=X=\mathrm {id} _{P(A)}(X)$ und $P(f\circ g)(X)=(f\circ g)^{-1}(X)=g^{-1}(f^{-1}(X))=P(g)(P(f)(X))=(P(g)\circ P(f))(X)$ für alle $X\in P(A)$ und Abbildungen $g\colon C\rightarrow B$ und $f\colon B\rightarrow A$ , liegt tatsächlich ein kontravarianter Funktor vor.

Der kontravariante Potenzmengenfunktor ist darstellbar, denn bekanntlich besteht eine natürliche Isomorphie $P(A)\cong \mathrm {Hom} (A,\{0,1\})$ , die eine Teilmenge $X\subset A$ auf die Indikatorfunktion dieser Teilmenge abbildet.

Der kontravariante Potenzmengenfunktor $P$ ist ein kovarianter Funktor $P\colon {\mathcal {Set}}^{op}\rightarrow {\mathcal {Set}}$ , wobei ${\mathcal {Set}}^{op}$ die duale Kategorie bezeichnet. (Das ist nicht der oben beschriebene kovariante Potenzmengenfunktor ${\tilde {P}}$ , denn der ist ja auf anderen Kategorien definiert und anders auf Morphismen.) Genauso hat man einen kovarianten Funktor $P^{op}\colon {\mathcal {Set}}\rightarrow {\mathcal {Set}}^{op}$ , der genau wie $P$ definiert ist, aber andere Kategorien als Definitionsbereich bzw. Bildbereich hat und daher anders bezeichnet wird. Es besteht die Adjunktion $P^{op}\dashv P$ . Das ergibt sich aus obiger Darstellbarkeit und folgender Kette natürlicher Isomorphismen:

{\begin{aligned}\mathrm {Hom} _{\mathcal {Set}}(A,P(B))&\cong \mathrm {Hom} _{\mathcal {Set}}(A,\mathrm {Hom} _{\mathcal {Set}}(B,\{0,1\}))\cong \mathrm {Hom} _{\mathcal {Set}}(A\times B,\{0,1\})\\&\cong \mathrm {Hom} _{\mathcal {Set}}(B\times A,\{0,1\})\cong \mathrm {Hom} _{\mathcal {Set}}(B,\mathrm {Hom} _{\mathcal {Set}}(A,\{0,1\}))\cong \mathrm {Hom} _{\mathcal {Set}}(B,P(A))\\&\cong \mathrm {Hom} _{{\mathcal {Set}}^{op}}(P^{op}(A),B).\end{aligned}}

Der kontravariante Potenzmengenfunktor ist monadisch, genauer gilt: $P\colon {\mathcal {Set}}^{op}\rightarrow {\mathcal {Set}}$ ist monadisch.^[7]

Der Potenzmengenfunktor in einem Topos

Ein Topos ist eine Kategorie ${\mathcal {E}}$ , die alle endlichen Limites enthält, mit einem Objekt $\Omega$ und einer Funktion $P$ , die jedem Objekt $B$ aus ${\mathcal {E}}$ ein weiteres $P(B)$ zuordnet, so dass es in $A$ natürliche Isomorphismen

$\mathrm {Sub} _{\mathcal {E}}(A)\cong \mathrm {Hom} _{\mathcal {E}}(A,\Omega )$
$\mathrm {Hom} _{\mathcal {E}}(B\times A,\Omega )\cong \mathrm {Hom} _{\mathcal {E}}(A,P(B))$

gibt.

Dies ist eine der möglichen Definitionen eines Topos.^[8] $\mathrm {Sub} _{\mathcal {E}}$ ist der Unterobjektfunktor. $\Omega$ ist der Unterobjekt-Klassifizierer des Topos und $P$ lässt sich durch passende Definition auf Morphismen zu einem kontravarianten Funktor ${\mathcal {E}}\rightarrow {\mathcal {E}}$ ausbauen, den man den Potenzmengenfunktor des Topos nennt.

Im Falle des Topos der Mengen ${\mathcal {Set}}$ erhält man den oben beschriebenen kontravarianten Potenzmengenfunktor. Viele Eigenschaften dieses Funktors können für beliebige Topoi verallgemeinert werden.

Man erhält kovariante Funktoren $P\colon {\mathcal {E}}^{op}\rightarrow {\mathcal {E}}$ und $P^{op}\colon {\mathcal {E}}\rightarrow {\mathcal {E}}^{op}$ und wie schon in der Kategorie der Mengen besteht die wichtige Adjunktion $P^{op}\dashv P$ .^[9]

Der Potenzmengenfunktor ist auch in einem Topos monadisch, genauer gilt: $P\colon {\mathcal {E}}^{op}\rightarrow {\mathcal {E}}$ ist monadisch.^[10]^[11] Dies ist ein wichtiger Baustein im Beweis der Aussage, dass jeder Topos auch alle endlichen Kolimites enthält.

Einzelnachweise

↑ Saunders Mac Lane: Categories for the Working Mathematician (= Graduate Texts in Mathematics. Band 5). 2. Auflage. Springer, New York 1998, ISBN 0-387-90035-7, S. 13.
↑ Roy L. Crole: Categories for Types, Cambridge University Press 2008, ISBN 0-521-45701-7, Kap 2.3. Beispiel (3)
↑ Daniel Rosiak: Sheaf Theory through Examples: A User's Guide, The MIT Press 2022, ISBN 0-262-54215-3, Seite 181, Beispiel 151
↑ Emily Riehl: Category Theory in Context. AMS Dover Publications, 2016, ISBN 978-0-486-80903-8, S. 157, Beispiel 5.1.5.(i).
↑ Saunders Mac Lane: Categories for the Working Mathematician (= Graduate Texts in Mathematics. Band 5). 2. Auflage. Springer, New York 1998, ISBN 0-387-90035-7, S. 33.
↑ Roy L. Crole: Categories for Types, Cambridge University Press 2008, ISBN 0-521-45701-7, Kap 2.3. Beispiel (4)
↑ Emily Riehl: Category Theory in Context. AMS Dover Publications, 2016, ISBN 978-0-486-80903-8, S. 177, Theorem 5.5.9.
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in geometry and logic: a first introduction to topos theory. Universitext, Berlin 1992, ISBN 0-387-97710-4, erste Definition in Kap. IV.1
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in geometry and logic: a first introduction to topos theory. Universitext, Berlin 1992, ISBN 0-387-97710-4. Kap IV.5 Theorem 1
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in geometry and logic: a first introduction to topos theory. Universitext, Berlin 1992, ISBN 0-387-97710-4. Kap IV.5 Theorem 3
↑ P. T. Johnstone: Topos Theory, Dover Publications Inc. 1977, ISBN 0-486-49336-9

[1] Saunders Mac Lane: Categories for the Working Mathematician (= Graduate Texts in Mathematics. Band 5). 2. Auflage. Springer, New York 1998, ISBN 0-387-90035-7, S. 13.

[2] Roy L. Crole: Categories for Types, Cambridge University Press 2008, ISBN 0-521-45701-7, Kap 2.3. Beispiel (3)

[3] Daniel Rosiak: Sheaf Theory through Examples: A User's Guide, The MIT Press 2022, ISBN 0-262-54215-3, Seite 181, Beispiel 151

[4] Emily Riehl: Category Theory in Context. AMS Dover Publications, 2016, ISBN 978-0-486-80903-8, S. 157, Beispiel 5.1.5.(i).

[5] Saunders Mac Lane: Categories for the Working Mathematician (= Graduate Texts in Mathematics. Band 5). 2. Auflage. Springer, New York 1998, ISBN 0-387-90035-7, S. 33.

[6] Roy L. Crole: Categories for Types, Cambridge University Press 2008, ISBN 0-521-45701-7, Kap 2.3. Beispiel (4)

[7] Emily Riehl: Category Theory in Context. AMS Dover Publications, 2016, ISBN 978-0-486-80903-8, S. 177, Theorem 5.5.9.

[8] Saunders Mac Lane, Ieke Moerdijk: Sheaves in geometry and logic: a first introduction to topos theory. Universitext, Berlin 1992, ISBN 0-387-97710-4, erste Definition in Kap. IV.1

[9] Saunders Mac Lane, Ieke Moerdijk: Sheaves in geometry and logic: a first introduction to topos theory. Universitext, Berlin 1992, ISBN 0-387-97710-4. Kap IV.5 Theorem 1

[10] Saunders Mac Lane, Ieke Moerdijk: Sheaves in geometry and logic: a first introduction to topos theory. Universitext, Berlin 1992, ISBN 0-387-97710-4. Kap IV.5 Theorem 3

[11] P. T. Johnstone: Topos Theory, Dover Publications Inc. 1977, ISBN 0-486-49336-9

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]