Darstellungssatz für Boolesche Algebren

Darstellungssatz für Boolesche Algebren

Der Darstellungssatz für Boolesche Algebren (auch: Darstellungssatz von Stone) ist ein Satz aus der Mengenlehre, der 1936 von dem US-amerikanischen Mathematiker Marshall Harvey Stone entdeckt wurde. Er besagt, dass jede Boolesche Algebra zu einer Mengenalgebra isomorph ist.

Inhaltsverzeichnis

Aussage

Sei \langle B,\wedge,\lor,\neg,0,1\rangle eine Boolesche Algebra. Dann gibt es eine Menge M und eine injektive Abbildung h\colon\, B\to \mathcal P(M), sodass für alle b,c\in B gilt:

  • h(0)=\emptyset, h(1) = M
  • h(b\wedge c)=h(b)\cap h(c)
  • h(b\lor c)=h(b)\cup h(c)
  • h(\neg b)=M\setminus h(b)

Die Boolesche Algebra ist also isomorph zu der Mengenalgebra auf h(B).

Beweis

Sei M die Menge aller Ultrafilter auf B. Für b\in B definiere h(b)=\lbrace U\in M\mid b\in U\rbrace. Dann gilt:

  • Injektivität: Sei b\neq c, also b\not\le c oder c\not\le b. Ohne Einschränkung gelte b\not\le c. Daher ist \lbrace b\wedge (\neg c)\rbrace\neq\lbrace\emptyset\rbrace, lässt sich also zu einem Ultrafilter erweitern. Dieser enthält b aber nicht c, also h(b)\neq h(c)
  • h(0)=\emptyset und h(1) = M, denn kein Ultrafilter enthält die 0 und jeder Ultrafilter enthält die 1
  • h(b\wedge c)=h(b)\cap h(c), weil für jeden Filter U gilt: b\wedge c\in U\Leftrightarrow \lbrace b,c\rbrace\subseteq U
  • h(b\lor c)=h(b)\cup h(c)
    • "\subseteq": Sei U Ultrafilter mit b\lor c=\neg(\neg b\wedge\neg c)\in U, angenommen b,c\notin U, also \lbrace\neg b,\neg c\rbrace\subseteq U, und daher \neg b\wedge\neg c\in U, dies steht im Widerspruch dazu, daß U Ultrafilter ist.
    • "\supseteq": Sei U Ultrafilter mit b\lor c\notin U, dann ist \neg b\wedge\neg c=\neg(b\lor c)\in U, also b\notin U und c\notin U
  • h(\neg b)=M\setminus h(b), weil \neg b\in U\Leftrightarrow b\notin U

Dualitätstheorie

Der Darstellungssatz von Stone macht eigentlich eine noch präzisere Aussage und lässt sich zu einer Dualitätstheorie ausbauen, wie im unten angegeben Lehrbuch von Paul Halmos ausgeführt wird.

Ist B eine Boolesche Algebra und steht 2: = {0,1} für die zweielementige Boolesche Algebra, so sei X der Raum der Homomorphismen B\rightarrow 2. Dieser Raum ist eine abgeschlossene Menge in 2B = {0,1}B, wobei letzterer mit der Produkttopologie versehen sei. Daher ist X ein total unzusammenhängender, kompakter Hausdorffraum; man nennt ihn den zu B dualen Raum. Aus diesem Grunde nennt man total unzusammenhängende, kompakte Hausdorffräume auch Boolesche Räume.

Ist umgekehrt X ein Boolescher Raum, so sei B die Boolesche Algebra der offen-abgeschlossenen Mengen in X; diese nennt man die zu X duale Boolesche Algebra.

Der Darstellungssatz von Stone sagt nun aus, dass jede Boolesche Algebra zu ihrem Bidual isomorph ist, das heißt zur dualen Algebra ihres dualen Raums. Daher kann man genauer sagen, dass jede Boolesche Algebra zu einer Mengenalgebra isomorph ist, wobei die Mengen genau die offen-abgeschlossenen Mengen eines total unzusammenhängenden, kompakten Hausdorffraumes sind.

Die Dualität gilt auch für die Booleschen Räume: Jeder Boolesche Raum ist homöomorph zu seinem Bidual, das heißt zum dualen Raum seiner dualen Booleschen Algebra.

Literatur

  • Paul R. Halmos: Lectures on Boolean Algebra, Springer-Verlag (1974), ISBN 0-387-90094-2
  • Stone, Marshall Harvey: The theory of representations for Boolean algebras, Transactions of the American Mathematical Society 40, 1936.
  • Koppelberg, Sabine: Handbook of Boolean Algebras, Vol. 1, North-Holland Publishing Co., Amsterdam, 1989.

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Boolesche Algebra — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Boolesche Aussagenlogik — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Boolesche Logik — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Marshall Stone — Marshall Harvey Stone (* 8. April 1903 in New York City; † 9. Januar 1989 in Madras, Indien) war ein US amerikanischer Mathematiker, der sich vor allem mit Funktionalanalysis beschäftigte. Leben und Werk Stone besuchte die Schule in Englewood in… …   Deutsch Wikipedia

  • Marshall Harvey Stone — (* 8. April 1903 in New York City; † 9. Januar 1989 in Madras, Indien) war ein US amerikanischer Mathematiker, der sich vor allem mit Funktionalanalysis beschäftigte. Inhaltsverzeichnis 1 Leben und Werk 2 Namensgeber …   Deutsch Wikipedia

  • Boole'sche Algebra — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Boole'scher Verband — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Boolescher Ring — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Boolescher Verband — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Huntingtonsches Axiomensystem — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”