Diskussion:Darstellungssatz für Boolesche Algebren
Fehler im Beweis
[Quelltext bearbeiten]Der Beweis enthält 2 Fehler:
- Beweis der Injektivität: Es muss erst (ohne Beschränkung der Allgemeinheit) angenommen werden, dass nicht gilt; ansonsten ist .
- Im Beweis von wird nochmals die "klare" Richtung "" gezeigt (klar ist nämlich: Ist ein Ultrafilter und ist oder , so ist auch ). Gezeigt wird dann: Ist , so sind weder noch in . Daraus folgt durch Umkehrschluss wieder "" (es wird hier also ein falscher Umkehrschluss gemacht!). Richtigerweise müsste der Beweis für "" so lauten: Sind , so sind , und somit ist auch . Daraus folgt , also . Durch Umkehrschluss folgt daraus oder .
-- 85.4.236.62 Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-85.4.236.62-2010-07-02T09:41:00.000Z-Fehler im Beweis11
Danke, hab ich geändert.--SnowIsWhite Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-SnowIsWhite-2010-07-02T18:17:00.000Z-Fehler im Beweis11
Beziehung zu Körpern
[Quelltext bearbeiten]Ist jede Boolesche Algebra ein Körper? Falls nicht, gibt es ein Gegenbeispiel? Grüße, --Martin Thoma Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-MartinThoma-2012-11-08T11:19:00.000Z-Beziehung zu Körpern11
- Ich weiß zwar nicht, was das mit diesem Artikel zu tun haben soll, aber: Jede Boolesche Algebra mit mehr als zwei Elementen ist kein Körper. Sei , dann gilt für alle die Beziehung , es gibt als kein Inverses. --Chricho ¹ ² ³ Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Chricho-2012-11-08T12:21:00.000Z-MartinThoma-2012-11-08T11:19:00.000Z11
- Was soll denn das bedeuten? Kannst du mir Literatur zum Einstieg in die boolesche Algebra empfehlen?
- Wir haben das Thema kurz in Technischer Informatik angeschnitten und ich habe mich halt gefragt, wann eine boolesche Algebra ein Körper ist. Die Schaltalgebra ist mir als Beispiel eingefallen, aber ich konnte nicht ausschließen, dass es noch mehr gibt.
- Mit diesem Artikel hat es an sich nichts zu tun. Er ist mir nur auf der Suche nach einer Antwort aufgefallen.
- Ich glaube das nächste mal, wenn ich so eine allgemeine Frage habe, stelle ich sie einfach auf deiner Diskussionsseite :-)
- Danke für die Antwort! --Martin Thoma Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-MartinThoma-2012-11-08T17:03:00.000Z-Chricho-2012-11-08T12:21:00.000Z11
- Es hat halt auch nichts mit dem Satz zu tun und die Frage hätte hier auch einfach vergammeln können. ;) Nochmal ausführlicher: , somit kein Inverses. Du kannst boolesche Algebren als partielle Ordnungen definieren, wobei die maximal ist und man unter -Bildung immer kleiner oder gleich wird. Hier ist das dargestellt, wie man das als Ordnung auffassen kann. Ist deine boolesche Algebra ein Mengensystem (was laut dem Satz, von dem dieser Artikel handelt, keine Einschränkung ist ;)), so ist diese partielle Ordnung nichts anderes als die Teilmengenrelation. Ein Buch empfehlen kann ich nicht (wenn ich bislang drauf gestoßen bin, fand ich das immer recht trocken und habe es sein gelassen, aber das ist wohl Geschmackssache), aber du kannst ja mal das probieren, da gibt es ein Kapitel dazu (und ganz am Anfang auch ein Kapitel allgemein zu Verbänden, wo sie auch schon eingeführt werden, ohne Abhängigkeiten). Grüße --Chricho ¹ ² ³ Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Chricho-2012-11-08T18:04:00.000Z-MartinThoma-2012-11-08T17:03:00.000Z11 PS: Gibt auch Bücher speziell zur Verbandstheorie (lattice theory), danach kannst du suchen. Und speziell zu booleschen Algebren gibt es auch Bücher, gibt sogar ein Hadbook of Boolean Algebras, wie ich gerade gesehen habe. ;)
Lemmaumbenennung
[Quelltext bearbeiten]Meines Erachtens ist der gängige Name "Stonesche Darstellungssatz". Ich würde gerne darauf verschieben.--Frogfol (Diskussion) Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Frogfol-2014-03-08T22:13:00.000Z-Lemmaumbenennung11
- Da es von dort ja eine Weiterleitung gibt, scheint mir das nicht notwendig. Außerdem verbaut man sich dadurch die Möglichkeit, andere Sätze, die oft auch unter der Bezeichnung "Stonescher Darstellungssatz" zitiert werden (Spezialfälle oder Verallgemeinerungen) einfach zu einzubauen. Jetzt kann man einfach aus der Weiterleitung eine Begriffsklärung o.ä. machen.
- Die Bezeichnung "Stonesche Darstellungssatz" scheint mir außerdem als grammatikalisch eigenwillige Formulierung! Es mus m.E. Stonescher Darstellungssatz heißen!--Mini-floh (Diskussion) Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Mini-floh-2014-03-09T17:08:00.000Z-Frogfol-2014-03-08T22:13:00.000Z11
- Da hab ich einen Verdreher im Kopf, klar, es muss natürlich "Stonescher Darstellungssatz". Dem Rest der Argumentation kann ich nicht folgen. Das Lemma sollte die gängige Bezeichnung sein. Das ist in der Literatur: "Stonescher Darstellungssatz". Wenn du den Begriff "Stonescher Darstellungssatz" suchst, bekommst du erstmal nur diese Bedeutung. Selbst wenn es also mal andere Sätze (welche sind das denn überhaupt?) geben sollte, wäre dies das Hauptlemma, was für eine BKL II spräche. (Ich habe übrigens gerade den Artikel Boolescher Primidealsatz zu Endegeschrieben und Literatur gelesen, da ist nur die Rede vom Stoneschen Darstellungssatz.)--Frogfol (Diskussion) Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Frogfol-2014-03-10T23:04:00.000Z-Mini-floh-2014-03-09T17:08:00.000Z11
- Bin mir unsicher. Halte „Darstellungssatz von Stone“ oder „Stonescher Darstellungssatz“ auch für üblicher. Für Verallgemeinerungen hat die en-WP den Artikel Stone duality. --Chricho ¹ ² ³ Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Chricho-2014-03-11T00:23:00.000Z-Frogfol-2014-03-10T23:04:00.000Z11
- Beim Googeln liefert "Stonescher Darstellungssatz" mehr sinnvolle Ergebnisse als "Darstellungssatz von Stone". Immer noch für Verschieben auf diesen Namen.--Frogfol (Diskussion) Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Frogfol-2014-03-12T22:55:00.000Z-Chricho-2014-03-11T00:23:00.000Z11
- Bin mir unsicher. Halte „Darstellungssatz von Stone“ oder „Stonescher Darstellungssatz“ auch für üblicher. Für Verallgemeinerungen hat die en-WP den Artikel Stone duality. --Chricho ¹ ² ³ Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Chricho-2014-03-11T00:23:00.000Z-Frogfol-2014-03-10T23:04:00.000Z11
- Da hab ich einen Verdreher im Kopf, klar, es muss natürlich "Stonescher Darstellungssatz". Dem Rest der Argumentation kann ich nicht folgen. Das Lemma sollte die gängige Bezeichnung sein. Das ist in der Literatur: "Stonescher Darstellungssatz". Wenn du den Begriff "Stonescher Darstellungssatz" suchst, bekommst du erstmal nur diese Bedeutung. Selbst wenn es also mal andere Sätze (welche sind das denn überhaupt?) geben sollte, wäre dies das Hauptlemma, was für eine BKL II spräche. (Ich habe übrigens gerade den Artikel Boolescher Primidealsatz zu Endegeschrieben und Literatur gelesen, da ist nur die Rede vom Stoneschen Darstellungssatz.)--Frogfol (Diskussion) Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-Frogfol-2014-03-10T23:04:00.000Z-Mini-floh-2014-03-09T17:08:00.000Z11
Fragen zum Text
[Quelltext bearbeiten]Hallo beisammen,
Ich bin ein Leser und habe Fragen zum Artikel-Inhalt:
- Wird "boolesche" mittlerweile klein geschrieben ? Bei Boolesche Algebra offenbar ja, hier im Artikel ist es aktuell gemischt(!).
- In der Einleitung verstehe ich hier den Satzbau nicht:
- "... Er besagt, dass jede boolesche Algebra zu einer Mengenalgebra isomorph ist, und zwar die boolesche Algebra der"
Viele Grüße
Tom --2001:4C50:200:5:FD50:FB6E:C838:232A Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-2001:4C50:200:5:FD50:FB6E:C838:232A-2014-11-21T12:43:00.000Z-Fragen zum Text11
- 1. Nach neuer Rechtschreibung heißt es entweder „boolesche Algebra“ oder „Boole’sche Algebra“. Aber das ist hier in WP eine sehr umstrittenes Thema, ich lass da lieber die Finger davon ;-)
- 2. Habe ich korrigiert, danke! -- HilberTraum (d, m) Diskussion:Darstellungssatz f%C3%BCr Boolesche Algebren#c-HilberTraum-2014-11-22T08:13:00.000Z-2001:4C50:200:5:FD50:FB6E:C838:232A-2014-11-21T12:43:00.000Z11