Kurs:Diskrete Mathematik (Osnabrück 2020)/Arbeitsblatt 14/kontrolle
- Übungsaufgaben
Aufgabe Referenznummer erstellen
Zeige, dass die Anzahl der geordneten Partitionen mit eventuell leeren Blöcken zum Anzahltupel einer -elementigen Menge gleich
ist.
Aufgabe Referenznummer erstellen
Bestimme die Stirlingzahlen zweiter Art für .
Aufgabe Referenznummer erstellen
Es sei fixiert. Zeige, dass die Stirling-Zahlen zweiter Art ein Polynom in vom Grad ist.
Kommentar:
Für die Stirling-Zahlen zweiter Art gilt generell, wenn nahe bei ist, wenn es also sehr viele Blöcke gibt, dass dann viele Blöcke einelementig sein müssen. Für diese gibt es dann keine Auswahl mehr. Man kann also diese Zahlen dadurch berechnen, dass man sich überlegt, welche Blockgrößen es überhaupt geben kann und wie viele Partitionen zu diesem Blocktyp gehören. Bei
gibt es anzahlmäßig zwei Möglichkeiten: Es gibt einen Block mit drei Elementen, alle weiteren Blöcke sind einelementig, oder es gibt zwei Blöcke mit jeweils zwei Elementen, und wieder sind alle weiteren Blöcke einelementig. Für den ersten Fall gibt es
Möglichkeiten. Dies ist ein Polynom vom Grad . Für den zweiten Fall muss man eine zweielementige Teilmenge aussuchen und dann aus den verbleibenden Elementen eine weitere zweielementige Teilmenge aussuchen, aber zusätzlich berücksichtigen, dass es auf die Reihenfolge der beiden zweielementigen Teilmengen nicht ankommt.
Aufgabe Referenznummer erstellen
Erstelle eine Formel für die Anzahl der „Pseudopartitionen“ einer -elementigen Menge in Blöcke, wenn die Blöcke auch leer sein durfen, mit Hilfe der Stirlingzahlen zweiter Art.
Es sei eine Menge und und seien Partitionen von . Man sagt, dass feiner als ist, wenn jeder Block von eine Teilmenge eines Blockes von ist.
Aufgabe Referenznummer erstellen
Es sei und es sei die Menge der Partitionen auf mit der Verfeinerung als Ordnung. Skizziere diese geordnete Menge.
Aufgabe Referenznummer erstellen
Aufgabe Referenznummer erstellen
Es sei eine Menge und es sei die Menge aller Partitionen auf , versehen mit der Verfeinerung von Partitionen als Relation. Zeige die folgenden Eigenschaften.
- Die Verfeinerung ist eine Ordnung auf .
- ist ein Verband. Was ist die inhaltliche Bedeutung des Infimums und des Supremums?
- ist ein beschränkter Verband.
Kommentar:
Das Hauptproblem ist hierbei, sich die Situation klar zu machen, dass die Partitionen, die ja selbst Teilmengen der Potenzmenge sind, hier als Elemente einer neuen Menge betrachten werden. Das Bildchen zu Beispiel 14.7 gibt darüber einen guten Eindruck. Wenn man sich eine Partition als eine Aufteilung einer Personenmenge in Teams vorstellt, so liegt eine Verfeinerung genau dann vor, wenn die Teams der ersten Partition eventuell weiter aufgeteilt werden, ohne dass was zusammengeführt wird (umgekehrt liegt eine Vergröberung der Partition vor, wenn Teams zusammengeschmissen werden). Es ist klar, dass eine Ordnung vorliegt.
Zum Nachweis, dass ein Verband vorliegt, müssen wir die Rolle des Infimums verstehen. Es seien also zwei Partitionen gegeben, und wir suchen die „feinste gemeinsame Vergröberung“. Wir haben also zwei Teamaufteilung, die nichts miteinander zu tun haben, und diese Teams müssen jeweils als Ganzes in ein gemeinsames Team überführt werden. Wenn eine Teilmenge bei beiden Partitionen ein Team ist, kann man dieses Team direkt übernehmen. Wenn sich ein Team der ersten Aufteilung aus Teams der zweiten Aufteilung zusammensetzt, so müssen wir dieses Team übernehmen. Im Allgemeinen ist die neue Teambildung aber schwieriger. Wenn ein Team aus der ersten Aufteilung und ein Team aus der zweiten Aufteilung sich überschneiden, also ein gemeinsames Element haben, so müssen diese beide Teams als Ganzes zu einem neuen Team gehören. Diese Vereinigung kann auch um ein paar Ecken passieren. Deshalb ist der neue Block, der ein Element enthält, gleich
Aufgabe Referenznummer erstellen
Es sei eine Menge und es sei der Verband der Partitionen auf . Was sind die Atome von ?
Aufgabe Referenznummer erstellen
Es sei eine Menge und es sei der Verband der Partitionen auf .
- Ist komplementär?
- Ist distributiv?
- Ist boolesch?
Aufgabe Aufgabe 14.10 ändern
Zeige, dass die Die Bellzahlen die folgenden Gesetzmäßigkeiten erfüllen.
Aufgabe Referenznummer erstellen
Bestimme die Bellzahlen für
Aufgabe Referenznummer erstellen
Schreibe ein Computerprogramm, dass die Bellzahlen berechnet.
Aufgabe Referenznummer erstellen
Aufgabe Referenznummer erstellen
Bestimme die Anzahl aller Partitionen auf einer zehnelementigen Menge, bei der jeder Block eine gerade Anzahl besitzt.
Aufgabe Aufgabe 14.15 ändern
Es seien und Mengen. Wir betrachten auf der Abbildungsmenge diejenige Relation, bei der die Abbildungen
in Relation stehen, wenn es eine bijektive Abbildung
mit
gibt. Zeige, dass dies eine Äquivalenzrelation ist.
- Aufgaben zum Abgeben
Aufgabe (3 Punkte)Referenznummer erstellen
Es sei eine Menge, und seien Partitionen mit zugehörigen surjektiven Abbildungen
bzw.
im Sinne von Bemerkung 14.4. Zeige, dass genau dann eine Verfeinerung von ist, wenn es eine Faktorisierung von über gibt, wenn es also eine Abbildung
mit gibt.
Aufgabe (5 Punkte)Referenznummer erstellen
Es sei eine Menge mit Elementen und es sei die Menge aller Partitionen auf , versehen mit der Verfeinerung von Partitionen als Ordnungsrelation. Es sei
eine endliche Folge von Partitionen auf mit echten Verfeinerungen, die man weder nach links noch nach rechts noch im Innern verfeinern kann. Zeige .
Aufgabe (2 Punkte)Referenznummer erstellen
Beweise Lemma 14.12 aus Lemma 13.9 und umgekehrt.
Aufgabe (4 Punkte)Referenznummer erstellen
Bestimme die Stirlingzahlen zweiter Art mit den verschiedenen Charakterisierungen aus Satz 14.13.
Aufgabe (5 Punkte)Referenznummer erstellen
Es sei fixiert. Zeige, dass die Stirling-Zahlen zweiter Art durch ein Polynom in beschrieben werden.