George Boole ist 1815 in Lincoln (GB) geboren.
Boole beschäftigt sich in der Freizeit mit Mathematik
und Physik. Mit 20 Jahren eröffnet
Boole seine eigene Schule und erlangt eine
Anstellung an einer bekannten Universität.
Im Jahre 1854 entwickelt Boole elektrische
Schaltkreise, die nach seinem System (Boolesche
Algebra) arbeiten. 1864 stirbt Boole an
einer Lungenentzündung. George Boole regte Untersuchungen zur Analogie von Aussagenlogik,
Mengenlehre und algebraischen Operationen an.
2. Boolesche Algebra
Auf der Booleschen Algebra basieren alle Computer und Programmiersprachen.
Ein distributiver komplementärer Verband [...] heißt eine
Boolesche Algebra. In jeder Booleschen Algebra gelten die
De Morganschen Gesetze (Augustus De Morgan) [...]
Inhaltsverzeichnis
1. George Boole
2. Boolesche Algebra
3. Potenzmenge
4. Verband
4.1 Teilerverbände
4.2 Beispiel für einen Teilerverband
4.3 Boolescher Verband
4.4 Beispiel für einen Booleschen Verband
5. Allgemeingültige Gesetze
6. Weitere Rechenregeln der Booleschen Algebra
7. Isomorphismus
7.1 Isomorphie in der Algebra
7.2 Isomorphie von endlichen Booleschen Algebren
8. Übersicht Mengenalgebra, Aussagenlogik, Schaltalgebra und Teileralgebra
Zielsetzung & Themen
Die vorliegende Arbeit untersucht die theoretischen Grundlagen der Booleschen Algebra sowie deren enge Verbindung zu Teilerverbänden. Das zentrale Ziel ist es, die Isomorphie zwischen verschiedenen algebraischen Strukturen zu verdeutlichen und aufzuzeigen, unter welchen Bedingungen Teilerverbände als Boolesche Algebren fungieren können.
- Grundlagen der Booleschen Algebra und deren historische Bedeutung
- Strukturelle Analyse von Potenzmengen und Verbänden
- Untersuchung von Teilerverbänden als Ordnungsstrukturen
- Nachweis der Isomorphie zwischen Mengenalgebren und Teilerverbänden
Auszug aus dem Buch
4.1 Teilerverbände
In Teilerverbänden als Ordnungsstrukturen ( Tn, / ) ist der Teiler 1 kleinstes Element. Atome sind die Primzahlen der Primfaktorzerlegung (Primteiler) von n. Für je zwei Elemente a, b aus Tn gibt es ein Supremum, das kgV und ein Infimum, der ggT.
Es entsteht der Verband ( Tn, ggT, kgV, / ). Kleinstes Element ist das Nullelement 1. Die Zahl n ist Einselement.
Wir können daher den Halbordnungsstrukturen (Tn, ist Teiler von) Verbände (Tn, ⊔, ⊓) zuordnen, wobei für jedes beliebige Element a, b aus Tn
a ⊔ b := kgV(a, b) a ⊓ b := ggT(a, b)
gelten.
Zusammenfassung der Kapitel
1. George Boole: Einführung in die Biografie und das Wirken von George Boole, dem Begründer des nach ihm benannten Systems.
2. Boolesche Algebra: Definition der Booleschen Algebra als distributiver, komplementärer Verband und Einführung der De Morganschen Gesetze.
3. Potenzmenge: Erläuterung des Potenzmengenbegriffs sowie der Mächtigkeit von Mengen im Kontext ihrer Teilmengen.
4. Verband: Mathematische Herleitung der Verbandsaxiome sowie die Differenzierung zwischen allgemeinen und Booleschen Verbänden.
4.1 Teilerverbände: Analyse von Teilermengen als Ordnungsstrukturen unter Verwendung von ggT und kgV.
4.2 Beispiel für einen Teilerverband: Demonstration an konkreten Beispielen wie T36, warum bestimmte Teilerverbände nicht boolesch sind.
4.3 Boolescher Verband: Vertiefende Charakterisierung der Bedingungen, die einen Verband zu einer Booleschen Algebra machen.
4.4 Beispiel für einen Booleschen Verband: Darstellung des Teilerverbandes T30 als Beispiel für einen endlichen Booleschen Verband.
5. Allgemeingültige Gesetze: Zusammenstellung der zentralen Rechenregeln in einem Booleschen Verband.
6. Weitere Rechenregeln der Booleschen Algebra: Detaillierte Auflistung und Erläuterung von Kommutativ-, Assoziativ- und Distributivgesetzen.
7. Isomorphismus: Definition und Erläuterung des Isomorphiebegriffs in algebraischen Strukturen.
7.1 Isomorphie in der Algebra: Erläuterung der Voraussetzungen für Isomorphie bei Gruppen und anderen Strukturen.
7.2 Isomorphie von endlichen Booleschen Algebren: Erklärung der Strukturgleichheit bei endlichen Verbänden.
8. Übersicht Mengenalgebra, Aussagenlogik, Schaltalgebra und Teileralgebra: Tabellarische Gegenüberstellung der verschiedenen mathematischen Bereiche.
Schlüsselwörter
Boolesche Algebra, Teilerverband, Verbandstheorie, Isomorphismus, Mengenlehre, Potenzmenge, ggT, kgV, Primfaktorzerlegung, De Morgansche Gesetze, Algebraische Struktur, distributive Verbände, komplementäre Verbände, Schaltalgebra, Mathematische Logik.
Häufig gestellte Fragen
Worum geht es in dieser wissenschaftlichen Arbeit grundlegend?
Die Arbeit behandelt die mathematischen Grundlagen von Verbänden und deren spezifische Ausprägung als Boolesche Algebren, mit besonderem Fokus auf Teilerverbände.
Welche zentralen Themenfelder werden bearbeitet?
Die Schwerpunkte liegen auf der Verbandstheorie, der Struktur von Potenzmengen, den Eigenschaften von Teilermengen sowie der Isomorphie zwischen verschiedenen algebraischen Systemen.
Was ist das primäre Ziel der Untersuchung?
Ziel ist es, die strukturellen Analogien zwischen Mengenalgebren, logischen Strukturen und Teilerverbänden aufzudecken und zu beweisen.
Welche wissenschaftliche Methode wird verwendet?
Die Arbeit nutzt deduktive mathematische Methoden, beweisbasierte Herleitungen, Hasse-Diagramme zur Veranschaulichung und den Vergleich von Verknüpfungstafeln.
Was wird im Hauptteil der Arbeit behandelt?
Der Hauptteil umfasst die Definition von Verbänden und Booleschen Algebren, die Analyse von Primfaktorzerlegungen in Teilerverbänden sowie die theoretische Fundierung des Isomorphiebegriffs.
Welche Schlüsselwörter charakterisieren die Arbeit am besten?
Die zentralen Begriffe sind Boolesche Algebra, Teilerverband, Isomorphismus, Verbandstheorie und algebraische Strukturen.
Wann ist ein Teilerverband als Boolescher Verband zu betrachten?
Ein Teilerverband ist genau dann ein Boolescher Verband, wenn die zugrunde liegende natürliche Zahl n in ihre Primfaktoren zerlegbar ist, wobei kein Primfaktor mehrfach vorkommt (Produkt von Primzahlen in erster Potenz).
Warum ist das Beispiel T24 nicht als Boolescher Verband klassifiziert?
T24 ist nicht boolesch, da der Primfaktor 2 mehrfach in der Zerlegung von 24 vorkommt, was dazu führt, dass nicht zu jedem Element ein komplementäres Element im Verband existiert.
- Quote paper
- Katja Biersch (Author), Michaela Kaiser (Author), 2003, Isomorphien zu Teilerverbänden, Munich, GRIN Verlag, https://www.hausarbeiten.de/document/15673
