Kurs:Diskrete Mathematik (Osnabrück 2020)/Arbeitsblatt 4/kontrolle

Die Pausenaufgabe

Aufgabe Referenznummer erstellen

Zeige, dass in Beispiel 4.12 das Distributivgesetz nicht gilt, wenn man die Rollen von Addition und Multiplikation vertauscht.

Übungsaufgaben

Aufgabe Referenznummer erstellen

Betrachte die ganzen Zahlen ${}\mathbb {Z}$ mit dem Betrag der Differenz als Verknüpfung, also die Abbildung

$\mathbb {Z} \times \mathbb {Z} \longrightarrow \mathbb {Z} ,\,(a,b)\longmapsto \vert {a-b}\vert .$

Besitzt diese Verknüpfung ein neutrales Element? Ist diese Verknüpfung assoziativ, kommutativ, gibt es zu jedem Element ein inverses Element?

Aufgabe Referenznummer erstellen

Zeige, dass die Verknüpfung auf einer Geraden, die zwei Punkten ihren Mittelpunkt zuordnet, kommutativ, aber nicht assoziativ ist. Gibt es ein neutrales Element?

Aufgabe Referenznummer erstellen

Zeige, dass die Verknüpfung auf einer Geraden, die zwei Punkten ihren Mittelpunkt zuordnet, kommutativ, aber nicht assoziativ ist. Gibt es ein neutrales Element?

Aufgabe * Referenznummer erstellen

Wir betrachten auf der Menge

${}M=\{a,b,c,d\}\,$

die durch die Tabelle

${}\star$	${}a$	${}b$	${}c$	${}d$
${}a$	${}b$	${}a$	${}c$	${}a$
${}b$	${}d$	${}a$	${}b$	${}b$
${}c$	${}a$	${}b$	${}c$	${}c$
${}d$	${}b$	${}d$	${}d$	${}d$

gegebene Verknüpfung ${}\star$.

1. Berechne

   $b\star (a\star (d\star a)).$

2. Besitzt die Verknüpfung ${}\star$ ein neutrales Element?

Aufgabe * Referenznummer erstellen

Es sei ${}M$ eine ${}k$-elementige Menge. Wie viele Verknüpfungen gibt es auf ${}M$?

Aufgabe * Referenznummer erstellen

Wir betrachten den Binomialkoeffizienten als eine Verknüpfung

$\mathbb {N} \times \mathbb {N} \longrightarrow \mathbb {N} ,\,(n,k)\longmapsto {\binom {n}{k}},$

wobei bei ${}k>n$ der Binomialkoeffizient als ${}0$ zu interpretieren ist. Diese Verknüpfung ist offenbar nicht kommutativ.

1. Besitzt diese Verknüpfung ein neutrales Element von links?
2. Besitzt diese Verknüpfung ein neutrales Element von rechts?
3. Bestimme ${}{\binom {\binom {3}{2}}{1}}$ und ${}{\binom {3}{\binom {2}{1}}}$.
4. Ist diese Verknüpfung assoziativ?

Aufgabe * Referenznummer erstellen

Es sei ${}M$ eine Menge. Wir betrachten die Verknüpfung

${\mathfrak {P}}\,(M)\times {\mathfrak {P}}\,(M)\longrightarrow {\mathfrak {P}}\,(M),\,(A,B)\longmapsto A\setminus B.$

Ist diese Verknüpfung assoziativ?

Aufgabe * Referenznummer erstellen

Es sei ${}G$ eine zweielementige Menge. Erstelle eine Verknüpfungstabelle für die Verknüpfung „Vereinigung“ auf der Potenzmenge ${}{\mathfrak {P}}\,(G)$.

Aufgabe * Referenznummer erstellen

Es sei ${}S=\{0,1\}$. Betrachte das Monoid ${}M$, das aus allen Abbildungen von ${}S$ nach ${}S$ besteht mit der Hintereinanderschaltung ${}\circ$ von Abbildungen als Verknüpfung.

1. Beschreibe die Elemente in ${}M$ und erstelle eine Verknüpfungstabelle für ${}M$.
2. Bestimme sämtliche Untermonoide von ${}M$ und entscheide jeweils, ob sie kommutativ sind und ob es sich um Gruppen handelt.

Aufgabe Aufgabe 4.11 ändern

Es sei ${}M$ ein Monoid, ${}a,b\in M$ und ${}m,n\in \mathbb {N}$. Zeige die folgenden Potenzgesetze.

1. ${}a^{m+n}=a^{m}\cdot a^{n}\,.$

2. ${}(a^{m})^{n}=a^{mn}\,.$

3. Wenn ${}M$ kommutativ ist, so ist

   ${}(a\cdot b)^{n}=a^{n}\cdot b^{n}\,.$

Aufgabe Referenznummer erstellen

Es sei ${}(M,\circ ,e)$ ein Monoid und ${}x,y,a\in M$.

a) Folgt aus ${}x=y$ die Beziehung ${}a\circ x=a\circ y$?

b) Folgt aus ${}a\circ x=a\circ y$ die Beziehung ${}x=y$?

Seien ${}(G,\circ ,e_{G})$ und ${}(H,\circ ,e_{H})$ Monoide. Eine Abbildung

$\psi \colon G\longrightarrow H$

heißt Monoidhomomorphismus, wenn ${}\psi (e_{G})=e_{H}$ und die Gleichheit

${}\psi (g\circ g')=\psi (g)\circ \psi (g')\,$

für alle ${}g,g'\in G$ gilt.

Aufgabe Aufgabe 4.13 ändern

Es sei ${}(M,\cdot ,1)$ ein Monoid und ${}N=\operatorname {Abb} \,{\left(M,M\right)}$ das Monoid der Abbildungen von ${}M$ nach ${}M$. Zeige, dass durch

$M\longrightarrow \operatorname {Abb} \,{\left(M,M\right)},\,x\longmapsto \lambda _{x},$

mit ${}\lambda _{x}(y):=x\cdot y$ ein injektiver Monoidhomomorphismus gegeben ist.

Kommentar:

Hier sollte man sich zunächst klar machen, worum es überhaupt geht. Man hat einerseits ein Monoid ${}M$ mit einer Verknüpfung ${}\cdot$ und einem neutralen Element. Andererseits hat man nach Beispiel 4.7 das Abbildungsmonoid ist ${}N=\operatorname {Abb} \,{\left(M,M\right)}$, mit der Hintereinanderschaltung von Abbildungen als Verknüpfung und der Identität ${}\operatorname {Id} _{M}$ auf ${}M$ als neutrales Element. Dies hängt nur von der Menge ${}M$, aber nicht von der Verknüpfung des Monoids ab.

Betrachten wir beispielsweise ${}M=(\mathbb {N} ,+,0)$. Das Abbildungsmonoid zu ${}\mathbb {N}$ besteht aus allen möglichen Abbildungen von ${}\mathbb {N}$ nach ${}\mathbb {N}$, das ist riesengroß und die allermeisten haben nichts mit der Addition auf den natürlichen Zahlen zu tun. Der Punkt der Aufgabe ist, dass dennoch jedes Element des Monoids eine Abbildung des Monoids in sich festlegt. Im Beispiel der natürlichen Zahlen mit der Addition legt etwa ${}5\in \mathbb {N}$ die Abbildung

$\mathbb {N} \longrightarrow \mathbb {N} ,\,n\longmapsto 5+n$

fest. Man betrachtet also einfach die Wirkungsweise eines Elements auf alle anderen Elemente. Wenn man stattdessen ${}(\mathbb {N} ,\cdot ,1)$, also mit der Multiplikation, betrachtet, so ist die zugehörige Abbildung

$\mathbb {N} \longrightarrow \mathbb {N} ,\,n\longmapsto 5\cdot n.$

Es geht also immer um die Gesamtabbildung

$M\longrightarrow \operatorname {Abb} \,{\left(M,M\right)},\,x\longmapsto (z\mapsto x\cdot z),$

einem jeden Element aus ${}M$ wird eine Abbildung zugeordnet, die die Verknüpfung mit diesem Element ist. Diese Abbildung nennen wir ${}\lambda _{x}$. Wenn man sich dies klar gemacht hat, ist der Nachweis einfach.

Zu zeigen sind also die folgenden Aussagen:

1. ${}\lambda _{1}=\operatorname {Id} _{M}$,
2. ${}\lambda _{x\cdot y}=\lambda _{x}\circ \lambda _{y}$ für alle ${}x,y\in M$,
3. für je zwei verschiedene Elemente ${}x,y\in M$ sind auch ${}\lambda _{x}$ und ${}\lambda _{y}$ verschieden.

Die 1. Aussage ist klar. Die 2. Aussage ergibt sich aus

$\lambda _{x\cdot y}(z)=(x\cdot y)\cdot z=x\cdot (y\cdot z)=x\cdot \lambda _{y}(z)=\lambda _{x}(\lambda _{y}(z))=\lambda _{x}\circ \lambda _{y}(z)$

für alle ${}z\in M$. Für die letzte Aussage beachtet man, dass

$\lambda _{x}(1)=x\neq y=\lambda _{y}(1),$

also ${}\lambda _{x}\neq \lambda _{y}$.

Die Gesamtaussage bedeutet, dass jedes Monoid ein Untermonoid eines Abbildungsmonoides ist. In einem gewissen Sinne gilt deshalb: Wenn man die Abbildungsmonoide versteht, so versteht man alle Monoide.

 

Aufgabe * Referenznummer erstellen

Es seien ${}(M,*)$ und ${}(N,\circ )$ Mengen mit Verknüpfungen und es sei

$\varphi \colon M\longrightarrow N$

eine mit den Verknüpfungen verträgliche surjektive Abbildung, es gelte also

${}\varphi (x*y)=\varphi (x)\circ \varphi (y)\,.$

Die Verknüpfung auf ${}M$ sei assoziativ. Zeige, dass auch die Verknüpfung auf ${}N$ assoziativ ist.

Aufgabe Referenznummer erstellen

Es seien ${}a,b\in R$ Elemente in einem kommutativen Halbring ${}R$. Berechne

$(a+b)\cdot (a+2b)\cdot (a+3b).$

Aufgabe Referenznummer erstellen

Es seien ${}a,b,c,d\in R$ Elemente in einem kommutativen Halbring ${}R$. Berechne

$(ab+2d)\cdot (a^{2}+4bc)\cdot (3bd+ac).$

Aufgabe Referenznummer erstellen

Es seien ${}a,b,c\in R$ Elemente in einem kommutativen Halbring ${}R$. Berechne

$(a+b+c)^{2}.$

Aufgabe Referenznummer erstellen

Berechne

$(2+4+3)\cdot (4+5+1+2)$

mit und ohne Distributivgesetz.

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Halbring und ${}f,a_{i},b_{j}\in R$. Zeige die folgenden Gleichungen:

$\sum _{i=0}^{n}a_{i}f^{i}+\sum _{j=0}^{m}b_{j}f^{j}=\sum _{k=0}^{\max(n,m)}(a_{k}+b_{k})f^{k}$

und

${\left(\sum _{i=0}^{n}a_{i}f^{i}\right)}\cdot {\left(\sum _{j=0}^{m}b_{j}f^{j}\right)}=\sum _{k=0}^{n+m}c_{k}f^{k}{\text{ mit }}c_{k}=\sum _{r=0}^{k}a_{r}b_{k-r}.$

Bei einer Summe oder einem Produkt von mehreren Zahlen (oder Elementen eines kommutativen Halbringes) ist es nicht immer sinnvoll, eine feste Reihenfolge der Indexmenge zu haben. Häufig ist es besser, die Reihenfolge zu wechseln und oft gibt es gar keine natürliche Reihenfolge. Man muss sich zuerst klar machen, dass die Summe nicht von der Reihenfolge abhängt. Die Argumente sind ähnlich wie im Beweis zu Lemma 1.2.

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Halbring, ${}I$ eine endliche Menge und seien ${}a_{i}$, ${}i\in I$, Elemente aus ${}R$. Man definiert die Summe ${}\sum _{i\in I}a_{i}$, indem man eine Nummerierung (eine Bijektion)

$\varphi \colon \{1,\ldots ,n\}\longrightarrow I$

fixiert und

${}\sum _{i\in I}a_{i}:=\sum _{k=1}^{n}a_{\varphi (k)}\,$

setzt.

1. Zeige, dass diese Summe unabhängig von der gewählten Nummerierung ist.
2. Zeige

   ${}\sum _{i\in I}a_{i}={\left(\sum _{i\in I\setminus \{j\}}a_{i}\right)}+a_{j}\,$

   für ein beliebiges ${}j\in I$.

3. Es sei

   ${}I=I_{1}\cup I_{2}\,$

   eine disjunkte Vereinigung. Zeige

   ${}\sum _{i\in I}a_{i}={\left(\sum _{i\in I_{1}}a_{i}\right)}+{\left(\sum _{i\in I_{2}}a_{i}\right)}\,.$

4. Formuliere die entsprechenden Gesetze für das Produkt ${}\prod _{i\in I}a_{i}$.

Kommentar:

1. Die Definition der Summe ${}\sum _{i\in I}a_{i}$ bedeutet: für eine gewählte Nummerierung ${}\varphi$ von ${}I$ ist ${}\sum _{i\in I}a_{i}$ das Ergebnis der folgenden endlich viele Summen

$(\cdots ((a_{\varphi (1)}+a_{\varphi (2)})+a_{\varphi (3)})+\cdots +a_{\varphi (n-1)})+a_{\varphi (n)},$

also das letzte Element der folgenden Folge

${\begin{aligned}&a_{\varphi (1)}+a_{\varphi (2)},\ (a_{\varphi (1)}+a_{\varphi (2)})+a_{\varphi (3)},\ ((a_{\varphi (1)}+a_{\varphi (2)})+a_{\varphi (3)})+a_{\varphi (4)},\dots ,\\&(\cdots ((a_{\varphi (1)}+a_{\varphi (2)})+a_{\varphi (3)})+\cdots +a_{\varphi (n-1)})+a_{\varphi (n)}.\end{aligned}}$

Da die Addition auf ${}R$ kommutativ ist, soll es "klar" sein, dass diese Definition nicht von der Nummerierung von ${}I$ abhängig ist. Für einen strengen Beweis muss mann aber zeigen, dass

$\sum _{k=1}^{n}a_{\varphi (k)}=\sum _{k=1}^{n}a_{\psi (k)}$

für jede andere Nummerierung ${}\psi$ von ${}I$, also eine beliebige Bijektion

$\psi \colon \{1,\ldots ,n\}\longrightarrow I.$

Dies kann man eine Induktion nach ${}n$ durchführen. Die Behauptung ist klar für ${}n\leq 2$. Sei ${}l\in \{1,\ldots ,n\}$ mit ${}\psi (l)=\varphi (n)$. Es ist dann zu zeigen

$\sum _{k=1}^{n-1}a_{\varphi (k)}=\sum _{k=1}^{l-1}a_{\psi (k)}+\sum _{k=l+1}^{n}a_{\psi (k)},$

da die Addition kommutativ ist. Im Beweis zu Lemma 1.2 sieht man schon, dass die Abbildung

$\lambda \colon \{1,\ldots ,n-1\}\longrightarrow \{1,\ldots ,n\}\setminus \{l\}$

gegeben durch

$\lambda (k)={\begin{cases}k&{\text{falls }}1\leq k\leq l-1,\\k+1&{\text{falls }}l\leq k\leq n-1\end{cases}}$

eine Bijektion ist. Nun sind sowohl ${}\varphi$ als auch ${}\psi \circ \lambda$ Bijektionen von ${}\{1,\ldots ,n-1\}$ auf ${}I\setminus \{\varphi (n)\}$, und man kann die Induktionsvoraussetzung verwenden.

2. Die Behauptung ist "klar", da die Addition kommutativ ist. Für einen Beweis sollte man geeignete Nummerierungen ${}\varphi$ von ${}I$ und ${}\varphi '$ von ${}I\setminus \{j\}$ wählen. Da wir ${}\sum _{i\in I}a_{i}$ und ${}\sum _{i\in I\setminus \{j\}}a_{i}$ vergleichen wollen, sollte ${}\varphi '$ die Einschränkung von ${}\varphi$ sein. Dies ist aber einfach zu erreichen: man wählt zuerst eine beliebige Nummerierung ${}\varphi '$ von ${}I\setminus \{j\}$ und dann erweitert ${}\varphi '$ auf eine Nummerierung ${}\varphi$ von ${}I$, indem man ${}\varphi (n)=j$ setzt. Dann gilt

$\sum _{i\in I}a_{i}=\sum _{k=1}^{n}a_{\varphi (k)}=\sum _{k=1}^{n-1}a_{\varphi (k)}+a_{\varphi (n)}=\sum _{k=1}^{n-1}a_{\varphi '(k)}+a_{\varphi (n)}=\sum _{i\in I\setminus \{j\}}a_{i}+a_{j}.$

3. Gegenben Nummerierungen ${}\varphi _{1}$ von ${}I_{1}$ und ${}\varphi _{2}$ von ${}I_{2}$, wie konstruiert man eine geeignete Nummerierung ${}\varphi$ von ${}I$? Welches Ergebnis der Vorlesung kann man hier verwenden?

 

Aufgabe * Aufgabe 4.21 ändern

Beweise die folgende Form des allgemeinen Distributivgesetzes für einen kommutativen Halbring ${}R$ durch Induktion über ${}k$, wobei der Fall ${}k=2$ verwendet werden darf (dabei sind ${}n_{1},\ldots ,n_{k}$ natürliche Zahlen und ${}a_{j,i}\in R$).

${}{\begin{aligned}{\left(\sum _{i_{1}=1}^{n_{1}}a_{1,i_{1}}\right)}\cdot {\left(\sum _{i_{2}=1}^{n_{2}}a_{2,i_{2}}\right)}\cdots {\left(\sum _{i_{k}=1}^{n_{k}}a_{k,i_{k}}\right)}&=\sum _{(i_{1},i_{2},\ldots ,i_{k})\in \{1,\ldots ,n_{1}\}\times \{1,\ldots ,n_{2}\}\times \cdots \times \{1,\ldots ,n_{k}\}}a_{1,i_{1}}\cdot a_{2,i_{2}}\cdots a_{k,i_{k}}\\\end{aligned}}$

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Halbring. Zeige, dass

${}0\cdot {\left(1+1+\cdots +1\right)}=0\,$

ist (mit einer beliebig langen Summe von Einsen).

Aufgabe Aufgabe 4.23 ändern

Es sei ${}R$ ein kommutativer Halbring, ${}a,b\in R$ und ${}m,n\in \mathbb {N}$. Zeige, dass die folgenden Potenzgesetze gelten.

1. ${}a^{m+n}=a^{m}\cdot a^{n}\,.$

2. ${}(a^{m})^{n}=a^{mn}\,.$

3. ${}(a\cdot b)^{n}=a^{n}\cdot b^{n}\,.$

Aufgabe Referenznummer erstellen

Zeige, dass ${}\mathbb {N} ^{2}=\mathbb {N} \times \mathbb {N}$ mit der komponentenweisen Addition und der komponentenweisen Multiplikation ein kommutativer Halbring ist. Gilt in diesem Halbring die Eigenschaft, dass aus ${}xy=0$ folgt, dass ${}x$ oder ${}y$ gleich ${}0$ ist?

Kommentar:

1. Die Eigenschaften der Addition und Multiplikation auf ${}\mathbb {N} ^{2}$ ergeben sich aus den entsprechenden Eigenschaften der Addition und Multiplikation auf ${}\mathbb {N}$. Zum Beispiel gilt das Distributivgesetz, da

${\begin{aligned}(a_{1},a_{2})\cdot ((b_{1},b_{2})+(c_{1},c_{2}))&=(a_{1},a_{2})\cdot (b_{1}+c_{1},b_{2}+c_{2})=(a_{1}\cdot (b_{1}+c_{1}),a_{2}\cdot (b_{2}+c_{2}))\\&=(a_{1}\cdot b_{1}+a_{1}\cdot c_{1},a_{2}\cdot b_{2}+a_{2}\cdot c_{2})=(a_{1}\cdot b_{1},a_{2}\cdot b_{2})+(a_{1}\cdot c_{1},a_{2}\cdot c_{2})\\&=(a_{1},a_{2})\cdot (b_{1},b_{2})+(a_{1},a_{2})\cdot (c_{1},c_{2}).\end{aligned}}$

2. Man überlegt sich, was sind die neutralen Elemente der Addition und Multiplikation auf ${}\mathbb {N} ^{2}$? Was ist nun das Ergebnis der Multiplikation ${}(0,1)\cdot (1,0)$?

 

Für die folgenden Aufgaben ist die allgemeine binomische Formel hilfreich.

Aufgabe * Referenznummer erstellen

Beweise durch Induktion, dass für ${}n\geq 10$ die Abschätzung

${}3^{n}\geq n^{4}\,$

gilt.

Aufgabe * Referenznummer erstellen

Zeige, dass für ${}n\geq 3$ die Abschätzung

${}n^{n+1}\geq (n+1)^{n}\,$

gilt.

Aufgaben zum Abgeben

Aufgabe (4 (2+2) Punkte)Referenznummer erstellen

Es sei ${}M$ eine Menge mit einer Verknüpfung darauf, die wir als Produkt schreiben.

1. Wie viele sinnvollen Klammerungen gibt es für die Verknüpfung von vier Elementen?
2. Die Verknüpfung sei nun assoziativ. Zeige, dass das Produkt von vier Elementen nicht von irgendeiner Klammerung abhängt.

Aufgabe (4 Punkte)Referenznummer erstellen

Es sei ${}S=\{1,2,3\}$. Schreibe ein Computerprogramm, dass die Menge ${}M$ aller Abbildungen von ${}S$ nach ${}S$ auflistet und eine Verknüpfungstabelle für ${}M$ ausgibt.

Aufgabe (3 Punkte)Referenznummer erstellen

Wir betrachten die natürlichen Zahlen ${}\mathbb {N}$ mit den beiden Verknüpfungen Addition und Potenzierung und den ausgezeichneten Elementen ${}0$ und ${}1$. Welche Eigenschaften eines kommutativen Halbringes erfüllt diese Struktur, welche nicht?

Aufgabe (2 Punkte)Referenznummer erstellen

Es seien ${}a,b,c\in R$ Elemente in einem kommutativen Halbring ${}R$. Berechne

$(2ac+b^{2})\cdot (a+5bc)\cdot (2a+3bc).$

Aufgabe (4 (2+2) Punkte)Referenznummer erstellen

Es seien ${}a,b\in R$ Elemente in einem kommutativen Halbring ${}R$. Zeige die Formel für die vierte Potenz,

${}(a+b)^{4}=a^{4}+4a^{3}b+6a^{2}b^{2}+4ab^{3}+b^{4}\,$

auf die beiden folgenden Arten.

1. Berechne

   ${\left(a+b\right)}\cdot {\left(a+b\right)}^{3}.$

2. Berechne

   ${\left(a+b\right)}^{2}\cdot {\left(a+b\right)}^{2}.$