Mathe für Nicht-Freaks: Grundlagen der Mathematik: Zusammenfassung

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Logik

Tautologien

Name der Umformungsregeln	Tautologie	Bedeutung
Assoziativgesetze	$(A\vee B)\vee C\iff A\vee (B\vee C)$	Bei der Disjunktion und bei der Konjunktion ist es egal, in welcher Weise die einzelnen Teilaussagen verknüpft werden.
	$(A\wedge B)\wedge C\iff A\wedge (B\wedge C)$
Kommutativgesetze	$(A\vee B)\iff (B\vee A)$	Bei der Disjunktion und bei der Konjunktion ist es egal, in welcher Reihenfolge die einzelnen Teilaussagen verknüpft werden.
	$(A\wedge B)\iff (B\wedge A)$
Distributivgesetze	$A\vee (B\wedge C)\iff (A\vee B)\wedge (A\vee C)$	Eine Disjunktion kann in eine Konjunktion reingezogen werden und umgekehrt.
	$A\wedge (B\vee C)\iff (A\wedge B)\vee (A\wedge C)$
Absorptionsgesetze	$A\wedge (A\vee B)\iff A$
	$A\vee (A\wedge B)\iff A$
Idempotenzgesetze	$A\wedge A\iff A$
	$A\vee A\iff A$
Gesetze vom ausgeschlossenen Dritten	$A\wedge \mathrm{\neg }A\iff \mathrm{F}$
	$A\vee \mathrm{\neg }A\iff \mathrm{W}$
Darstellung von Implikation und Äquivalenz	$A\Rightarrow B\iff \mathrm{\neg }A\vee B$	Mit Hilfe dieser Gesetze kann die Implikation und die Äquivalenz auf Aussagen mit anderen Junktoren zurückgeführt werden. So können bestimmte Aufgaben gelöst werden (wie: Finden sie die Negation der Implikation).
	$(A\iff B)\iff (A\Rightarrow B)\wedge (B\Rightarrow A)$
	$(A\iff B)\iff (\mathrm{\neg }A\vee B)\wedge (A\vee \mathrm{\neg }B)$
	$(A\Rightarrow B)\iff (\mathrm{\neg }B\Rightarrow \mathrm{\neg }A)$	Prinzip der Kontraposition (Diese Äquivalenz kann insbesondere für Beweise verwendet werden)
Negation von zusammengsetzten Aussagen	$\mathrm{\neg }(A\wedge B)\iff \mathrm{\neg }A\vee \mathrm{\neg }B$	Bei der Negation einer Und- bzw. Oder-Verknüpfung wird die Negation in die Klammer gesetzt und das entsprechende Symbol der Verknüpfung umgedreht.
	$\mathrm{\neg }(A\vee B)\iff \mathrm{\neg }A\wedge \mathrm{\neg }B$
	$\mathrm{\neg }(A\Rightarrow B)\iff A\wedge \mathrm{\neg }B$
	$\mathrm{\neg }(A\iff B)\iff (\mathrm{\neg }A\iff B)$
Negation quantifizierter Aussagen	$\mathrm{\neg }(\mathrm{\forall }x:A(x))\iff \mathrm{\exists }x:\mathrm{\neg }A(x)$
	$\mathrm{\neg }(\mathrm{\forall }x\in M:A(x))\iff \mathrm{\exists }x\in M:\mathrm{\neg }A(x)$
	$\mathrm{\neg }(\mathrm{\exists }x:A(x))\iff \mathrm{\forall }x:\mathrm{\neg }A(x)$
	$\mathrm{\neg }(\mathrm{\exists }x\in M:A(x))\iff \mathrm{\forall }x\in M:\mathrm{\neg }A(x)$
Gesetze mit „wahr“ und „falsch“	$A\wedge \mathrm{W}\iff A$
	$A\vee \mathrm{W}\iff \mathrm{W}$
	$A\wedge \mathrm{F}\iff \mathrm{F}$
	$A\vee \mathrm{F}\iff A$
Doppelte Verneinung	$\mathrm{\neg }\mathrm{\neg }A\iff A$	Doppelte Verneinung ist wieder die Ausgangsaussage.
Äquivalenzen zu quantifizierte Aussagen	$(\mathrm{\forall }x:A(x))\iff \mathrm{\neg }(\mathrm{\exists }x:\mathrm{\neg }A(x))$	Aussagen mit dem Allquantor können durch den Existenzquantor ausgedrückt werden und umgekehrt.
	$(\mathrm{\exists }x:A(x))\iff \mathrm{\neg }(\mathrm{\forall }x:\mathrm{\neg }A(x))$
	$\mathrm{\forall }x:\mathrm{\forall }y:A(x,y)\iff \mathrm{\forall }y:\mathrm{\forall }x:A(x,y)$	Allquantoren sind untereinander vertauschbar.
	$\mathrm{\exists }x:\mathrm{\exists }y:A(x,y)\iff \mathrm{\exists }y:\mathrm{\exists }x:A(x,y)$	Existenzquantoren sind untereinander vertauschbar.
	$(\mathrm{\forall }x:A(x))\wedge (\mathrm{\forall }x:B(x))\iff \mathrm{\forall }x:(A(x)\wedge B(x))$	Allquantoren können aus Konjunktionen rausgezogen werden.
	$(\mathrm{\exists }x:A(x))\vee (\mathrm{\exists }x:B(x))\iff \mathrm{\exists }x:(A(x)\vee B(x))$	Existenzquantoren können aus Disjunktionen rausgezogen werden.
Implikation zu quantifizierten Aussagen	$(\mathrm{\forall }x:A(x))\vee (\mathrm{\forall }x:B(x))\Rightarrow \mathrm{\forall }x:(A(x)\vee B(x))$	Implikationen sind im Allgemeinen nicht umkehrbar.
	$\mathrm{\exists }x:(A(x)\wedge B(x))\Rightarrow (\mathrm{\exists }x:A(x))\wedge (\mathrm{\exists }x:B(x))$
	$\mathrm{\forall }x:(A(x)\Rightarrow B(x))\Rightarrow (\mathrm{\forall }x:A(x)\Rightarrow \mathrm{\forall }x:B(x))$
	$\mathrm{\forall }x:(A(x)\iff B(x))\Rightarrow (\mathrm{\forall }x:A(x)\iff \mathrm{\forall }x:B(x))$
	$\mathrm{\exists }x:\mathrm{\forall }y:A(x,y)\Rightarrow \mathrm{\forall }y:\mathrm{\exists }x:A(x,y)$

Vokabelliste

natürliche Sprache	formale Schreibweise
nicht $A$	$\mathrm{\neg }A$
$A$ und $B$	$A\wedge B$
$A$ oder $B$ *)	$A\vee B$
Wenn $A$, dann $B$	$A\Rightarrow B$
$B$ dann, wenn $A$
Aus $A$ folgt $B$
$A$ impliziert $B$
$A$ ist hinreichend für $B$
$B$ ist notwendig für $A$
Genau dann $A$, wenn $B$	$A\iff B$
Dann und nur dann $A$, wenn $B$
$A$ ist gleichwertig mit $B$
$A$ ist äquivalent zu $B$
$A$ ist notwendig und hinreichend für $B$
Für alle $x$ ist $A(x)$	$\mathrm{\forall }x:A(x)$
Jedes $x$ erfüllt $A(x)$
Es ist A(x) für alle $x$
Für alle $x$ aus $M$ ist $A(x)$	$\mathrm{\forall }x\in M:A(x)$
Jedes $x$ der Menge $M$ erfüllt $A(x)$
Es ist A(x) für alle $x\in M$
Es gibt ein $x$ mit $A(x)$	$\mathrm{\exists }x:A(x)$
Es existiert ein $x$, so dass $A(x)$ gilt
Für mindestens ein $x$ gilt $A(x)$
Es gibt ein $x$ aus $M$ mit $A(x)$	$\mathrm{\exists }x\in M:A(x)$
Für mindestens ein $x\in M$ gilt $A(x)$
Es gibt genau ein $x$ mit $A(x)$	$\mathrm{\exists }!x:A(x)$
Es existiert genau ein $x$, so dass $A(x)$ gilt
Für genau ein $x$ gilt $A(x)$
Es gibt genau ein $x$ aus $M$ mit $A(x)$	$\mathrm{\exists }!x\in M:A(x)$
Für genau ein $x\in M$ gilt $A(x)$

*) Hier ist „oder“ als „und/oder“ zu verstehen

Umformungsregeln zur Negation

zu bestimmende Negation	umgeformte Aussage
$\mathrm{\neg }(\mathrm{\neg }A)$	$A$
$\mathrm{\neg }(A\wedge B)$	$(\mathrm{\neg }A)\vee (\mathrm{\neg }B)$
$\mathrm{\neg }(A\vee B)$	$(\mathrm{\neg }A)\wedge (\mathrm{\neg }B)$
$\mathrm{\neg }(A\Rightarrow B)$	$A\wedge (\mathrm{\neg }B)$
$\mathrm{\neg }(A\iff B)$	$A\iff (\mathrm{\neg }B)$
$\mathrm{\neg }(\mathrm{\forall }x:A(x))$	$\mathrm{\exists }x:\mathrm{\neg }A(x)$
$\mathrm{\neg }(\mathrm{\forall }x\in M:A(x))$	$\mathrm{\exists }x\in M:\mathrm{\neg }A(x)$
$\mathrm{\neg }(\mathrm{\exists }x:A(x))$	$\mathrm{\forall }x:\mathrm{\neg }A(x)$
$\mathrm{\neg }(\mathrm{\exists }x\in M:A(x))$	$\mathrm{\forall }x\in M:\mathrm{\neg }A(x)$

Beweis

Beweismethoden

Beweis durch Kontraposition

Anstatt eine Implikation $A\Rightarrow B$ zu beweisen, kann man alternativ auch die Implikation $\mathrm{\neg }B\Rightarrow \mathrm{\neg }A$ beweisen.

Vollständige Induktion

Sei $A(n)$ eine Aussageform in der freien Variablen $n\in \mathbb{N}$. Sei $A(1)$ (oder $A(0)$) eine wahre Aussage (Induktionsanfang) und die Implikation $A(k)\Rightarrow A(k+1)$ für alle $k\in \mathbb{N}$ erfüllt (Induktionsschritt), dann ist die Aussageform allgemeingültig in $\mathbb{N}$.

Mengenlehre

Verknüpfungen zwischen Mengen

Name der Verknüpfung	Schreibweise	Aussprache	Diagramm	Definition
Durchschnitt	$A\cap B$	„$A$ geschnitten $B$“		$A\cap B$ - die Menge aller Objekte, die sowohl in der Menge $A$ als auch in der Menge $B$ enthalten sind
Vereinigung	$A\cup B$	„$A$ vereinigt $B$“		$A\cup B$ - die Menge aller Objekte, die in mindestens einer der Mengen $A,B$ enthalten sind
Differenz	$A\setminus B$	„$A$ ohne $B$“		$A\setminus B$ - die Menge aller Objekte, die in der Menge $A$ enthalten sind und keine Elemente der Menge $B$ sind
Symmetrische Differenz	$A\mathrm{△}B$	„symmetrische Differenz von $A$ und $B$“		$A\mathrm{△}B$ - die Menge aller Objekte, die in genau einer der Mengen $A$ und $B$ enthalten sind
Komplement	$A^{\mathrm{C}}$	„Komplement von $A$“		$A^{\mathrm{C}}$ - die Menge aller Objekte (der Grundmenge), die keine Elemente von $A$ sind

Gesetzmäßigkeiten

Assoziativgesetze

• $(A\cup B)\cup C=A\cup (B\cup C)$
• $(A\cap B)\cap C=A\cap (B\cap C)$
• $\left(A\mathrm{△}B\right)\mathrm{△}C=A\mathrm{△}\left(B\mathrm{△}C\right)$

Kommutativgesetze

• $A\cup B=B\cup A$
• $A\cap B=B\cap A$
• $A\mathrm{△}B=B\mathrm{△}A$

Distributivgesetze

• $A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$
• $A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$
• $A\cap (B\mathrm{△}C)=(A\cap B)\mathrm{△}(A\cap C)$

Idempotenzgesetze

• $A\cap A=A$
• $A\cup A=A$

Absorptionsgesetze

• $A\cap (A\cup B)=A$
• $A\cup (A\cap B)=A$

De-Morgansche Regeln

• $(A\cap B{)}^{\mathrm{C}}=A^{\mathrm{C}}\cup B^{\mathrm{C}}$
• $(A\cup B{)}^{\mathrm{C}}=A^{\mathrm{C}}\cap B^{\mathrm{C}}$

Gesetzmäßigkeiten zur Differenz

• $(A\setminus B)\setminus C=A\setminus (B\cup C)$
• $A\setminus (B\setminus C)=(A\setminus B)\cup (A\cap C)$
• $(A\cap B)\setminus C=(A\setminus C)\cap (B\setminus C)$
• $(A\cup B)\setminus C=(A\setminus C)\cup (B\setminus C)$
• $A\setminus (B\cap C)=(A\setminus B)\cup (A\setminus C)$
• $A\setminus (B\cup C)=(A\setminus B)\cap (A\setminus C)$

Weitere Regeln

Im Folgenden sei $M$ die Grundmenge.

• ${\left(A^{\mathrm{C}}\right)}^{\mathrm{C}}=A$
• $M^{\mathrm{C}}=\mathrm{\varnothing }$
• ${\mathrm{\varnothing }}^{\mathrm{C}}=M$
• $A\cap A^{\mathrm{C}}=\mathrm{\varnothing }$
• $A\cup A^{\mathrm{C}}=M$
• $A\cap M=A$
• $A\cup M=M$
• $A\cap \mathrm{\varnothing }=\mathrm{\varnothing }$
• $A\cup \mathrm{\varnothing }=A$
• $A\mathrm{△}A=\mathrm{\varnothing }$
• $A\mathrm{△}\mathrm{\varnothing }=A$

Relation

Eigenschaften homogener, binärer Relationen

Im Folgenden sei $R$ eine homogene Relation auf der Grundmenge $A$, also $R\subseteq A\times A$.

Eigenschaft	Definition	Definition in formaler Schreibweise	Merkmale
reflexiv	Jedes Objekt der Grundmenge steht mit sich selbst in Relation.	$\mathrm{\forall }a\in A:aRa$	Im Pfeildiagramm ist jedes Objekt mit sich selbst verbunden. In der Relationsmatrix ist die Hauptdiagonale voll besetzt.
irreflexiv	Es gibt kein Objekt, welches mit sich selbst in Relation steht	$\mathrm{\forall }a\in A:\mathrm{\neg }aRa$	Im Pfeildiagramm steht kein Objekt mit sich selbst in Relation In der Relationsmatrix ist die Hauptdiagonale komplett unbesetzt.
symmetrisch	Steht ein Objekt $a$ in Relation mit dem Objekt $b$, dann steht auch $b$ in Relation mit $a$	$\mathrm{\forall }a,b\in A:aRb\Rightarrow bRa$	Die Relationsmatrix ist symmetrisch zur Hauptdiagonale
antisymmetrisch	Zwei verschiedene Objekte $a$ und $b$ stehen nicht gegenseitig in Relation zueinander.	$\mathrm{\forall }a,b\in A:aRb\wedge bRa\Rightarrow a=b$	Die Relationsmatrix ist komplementär zu Hauptdiagonale.
transitiv	Steht $a$ mit $b$ und $b$ mit $c$ in Relation, dann steht auch $a$ mit $c$ in Relation.	$\mathrm{\forall }a,b,c\in A:aRb\wedge bRc\Rightarrow aRc$
linear	Für jeweils zwei Objekte $a$ und $b$ stehen $a$ mit $b$ und/oder $b$ mit $a$ in Relation.	$\mathrm{\forall }a,b\in A:aRb\vee bRa$

Abbildung

Eigenschaften von Abbildungen

Die folgende Tabelle bezieht sich auf Abbildungen $f:D\to Z$.

Eigenschaft	Definition	Definition in formaler Schreibweise	Beispiel
injektiv	Verschiedene Argumente werden auf verschiedene Funktionswerte abgebildet. Jeder Funktionswert besitzt höchstens ein Urbild. Ist $f(x_1)=f(x_2)$, dann ist $x_1=x_2$	$\mathrm{\forall }{x}_1,x_2\in D:f(x_1)=f(x_2)\Rightarrow x_1=x_2$ $\mathrm{\forall }{x}_1,x_2\in D:x_1\ne x_2\Rightarrow f(x_1)\ne f(x_2)$
surjektiv	Jeder Funktionswert wird mindestens einmal durch die Abbildung getroffen. Jeder Funktionswert besitzt mindestens ein Urbild.	$\mathrm{\forall }y\in Z:\mathrm{\exists }x\in D:y=f(x)$
bijektiv bzw. umkehrbar	Die Abbildung ist surjektiv und injektiv. Jeder Funktionswert besitzt genau ein Urbild. Es gibt für die Funktion eine Umkehrfunktion.

Eigenschaften binärer Verknüpfungen

Die folgende Tabelle bezieht sich auf binäre Verknüpfungen auf der Grundmenge $A$.

Eigenschaft	Definition	Definition in formaler Schreibweise
assoziativ	Werden mehrere Verknüpfungen hintereinander ausgeführt, ist die Reihenfolge, in welcher die einzelnen Verknüpfungen ausgerechnet werden, für das Ergebnis egal	$\mathrm{\forall }x,y,z\in A:(x\circ y)\circ z=x\circ (y\circ z)$
kommutativ	Für das Ergebnis ist die Reihenfolge der Operanden egal	$\mathrm{\forall }x,y\in A:x\circ y=y\circ x$

Summe und Produkt

Eigenschaften der Summen- und Produktschreibweise

Eigenschaften der Summe

Eigenschaft	Erklärung
$\sum _{k=m}^{n}a(k)=\sum _{l=m}^{n}a(l)$	Indexumbennungsregel: Die Indizes können beliebig umbenannt werden, solange die neu eingeführte Laufvariable nicht in Konflikt mit einer bereits definierten Variable tritt.
$\sum _{k=m}^{n}a(k)=\sum _{k=m}^{l}a(k)+\sum _{k=l+1}^{n}a(k)$	Summen können in zwei Summen aufgeteilt werden.
$\sum _{k=m}^{n+1}a(k)=\sum _{k=m}^{n}a(k)+a(n+1)$	Spezialfall der obigen Eigenschaften bzw. Rekursionsschritt bei der rekursiven Definition der Summe.
$\sum _{k=m}^n\lambda \cdot a(k)=\lambda \cdot \sum _{k=m}^{n}a(k)$	Konstantenregel: Konstanten können aus Summen rausgezogen werden.
$\sum _{k=m}^n(a(k)+b(k))=(\sum _{k=m}^{n}a(k))+(\sum _{k=m}^{n}b(k))$
$\sum _{l=r}^s\sum _{k=m}^{n}a(l,k)=\sum _{k=m}^n\sum _{l=r}^{s}a(l,k)$	Allgemeines Kommutativgesetz: Die Reihenfolge der Summen bei Doppel- und damit auch bei Mehrfachsummen ist egal.
$(\sum _{k=m}^{n}a(k))\cdot (\sum _{l=r}^{s}b(l))=\sum _{k=m}^n\sum _{l=r}^{s}a(k)\cdot b(l)$	Allgemeines Distributivgesetz

Eigenschaften des Produkts

Eigenschaft	Erklärung
$\prod _{k=m}^{n}a(k)=\prod _{l=m}^{n}a(l)$	Indexumbennungsregel: Die Indizes können beliebig umbenannt werden, solange die neu eingeführte Laufvariable nicht in Konflikt mit einer bereits definierten Variable tritt.
$\prod _{k=m}^{n}a(k)=(\prod _{k=m}^{l}a(k))\cdot (\prod _{k=l+1}^{n}a(k))$	Produkte können in mehrere Produkte aufgeteilt werden.
$\prod _{k=m}^{n+1}a(k)=\prod _{k=m}^{n}a(k)\cdot a(n+1)$	Spezialfall der obigen Eigenschaften bzw. Rekursionsschritt bei der rekursiven Definition des Produkts.
$\prod _{k=m}^n\lambda \cdot a(k)={\lambda }^{n-m+1}\cdot \prod _{k=m}^{n}a(k)$	Konstantenregel: Konstanten können aus Produkten rausgezogen werden (Beachte den dabei entstehenden Exponenten $n-m+1$).
$\prod _{k=m}^n(a(k)\cdot b(k))=(\prod _{k=m}^{n}a(k))\cdot (\prod _{k=m}^{n}b(k))$
$\prod _{l=r}^s\prod _{k=m}^{n}a(l,k)=\prod _{k=m}^n\prod _{l=r}^{s}a(l,k)$	Allgemeines Kommutativgesetz: Die Reihenfolge der Produkte bei Doppel- und damit auch bei Mehrfachprodukten ist egal.

Binomialkoeffizient

Rechenregeln

• $(\genfrac{}{}{0ex}{}{n}{0})=1$
• $(\genfrac{}{}{0ex}{}{n}{n})=1$
• $(\genfrac{}{}{0ex}{}{n}{k})=(\genfrac{}{}{0ex}{}{n}{n-k})$
• $k\cdot (\genfrac{}{}{0ex}{}{n}{k})=n\cdot (\genfrac{}{}{0ex}{}{n-1}{k-1})$
• $(\genfrac{}{}{0ex}{}{n+1}{k+1})=(\genfrac{}{}{0ex}{}{n}{k})+(\genfrac{}{}{0ex}{}{n}{k+1})$

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}