"Completion" einer Booleschen Algebra

05.09.2015, 16:34	Ezio1991	Auf diesen Beitrag antworten »
"Completion" einer Booleschen Algebra Hi, eine "completion" einer Booleschen Algebra $\begin{eqnarray} A \end{eqnarray}$ ist eine Boolesche Algebra $\begin{eqnarray} B \end{eqnarray}$ , sodass $\begin{eqnarray} B \end{eqnarray}$ "komplett" ist (d.h. die unendlichen $\begin{eqnarray} \bigvee \end{eqnarray}$ und $\begin{eqnarray} \bigwedge \end{eqnarray}$ existieren) und soadass $\begin{eqnarray} A \end{eqnarray}$ dicht in $\begin{eqnarray} B \end{eqnarray}$ ist (d.h. $\begin{eqnarray} \forall b \in B \backslash\{0\} \exists a \in A: 0< a \leq b \end{eqnarray}$ ). Ich suche einen Beweis, der mir zeigt dass so eine "completion" immer existiert für jede Boolsche Algebra $\begin{eqnarray} A \end{eqnarray}$ . Kennt jemand einen, bzw weiß jemand wo ich einen solchen finden kann? mfg Ezio1991
05.09.2015, 16:39	Mathema	Auf diesen Beitrag antworten »
Was soll das? Du hast hier doch schon Antworten bekommen. Deine anderen Threads findet man dort übrigens auch...
05.09.2015, 16:42	Captain Kirk	Auf diesen Beitrag antworten »
Hallo, Thomas Jech, Set Theory Theorem 42. Ist per google books einsehbar.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »