Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 4/latex
\setcounter{section}{4}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller32.jpg} }
\end{center}
\bildtext {Vorli begleitet dich bei den Vorlesungen. Das hilft sehr, denn Vorli sorgt für eine gute Balance aus Energie und Entspannung.} }
\bildlizenz { Waeller32.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\zwischenueberschrift{Quantoren}
Betrachten wir nochmal die beiden Beispielaussagen
\einrueckung{Marsmenschen sind grün} und \einrueckung{Ich fresse einen Besen,}
und schauen uns die innere Struktur genauer an. In der ersten Aussage wird einer gewissen Art von Lebewesen eine Eigenschaft zugesprochen, so wie wenn man sagt, dass Geparden schnell sind oder dass Faultiere faul sind. Damit kann man meinen, dass Marsmenschen \anfuehrung{im Normalfall}{} oder \anfuehrung{fast immer}{} grün sind, oder aber im strengeren Sinn, dass wirklich alle Marsmenschen grün sind. In der Mathematik interessiert man sich für Aussagen, die ohne Ausnahmen gelten
\zusatzklammer {wobei man allerdings in einer mathematischen Aussage die Ausnahmen auch explizit machen kann} {} {,}
sodass wir die Aussage im strengen Sinn verstehen wollen. Es handelt sich um eine sogenannte \stichwort {Allaussage} {.} In ihr kommen zwei \stichwort {Prädikate} {}
\zusatzklammer {Eigenschaften, Attribute} {} {}
vor, nämlich einerseits, ein Marsmensch zu sein, andererseits, grün zu sein. Ein Prädikat $P$ ist etwas, was einem Objekt
\zusatzklammer {grammatisch spricht man von einem Subjekt} {} {,}
einem Gegenstand, einem Element zukommen oder nicht zukommen kann. Ein Prädikat ist für sich genommen keine Aussage; aus einem Prädikat kann man aber grundsätzlich auf zwei verschiedene Arten eine Aussage machen, indem man nämlich einerseits
\zusatzklammer {durch \stichwort {einsetzen} {}} {} {}
für ein konkretes Objekt $a$ die Aussage
\mathdisp {P(a)} { }
bildet, die bedeutet, dass das Objekt $a$ die Eigenschaft $P$ besitzt, was wahr sein kann oder eben auch nicht. Andererseits kann man daraus durch \stichwort {Quantifizierung} {} eine Aussage gewinnen. So kann man die Aussage bilden, dass alle\zusatzfussnote {Andere Formulierungen sind: jedes, ein beliebiges, irgendein Objekt/Element aus der Grundmenge. Wenn die Grundmenge räumlich ist, so spricht man auch von überall, wenn sie zeitlich ist, so spricht man von immer, stets, ...} {.} {} Objekte
\zusatzklammer {typischerweise aus einer bestimmten Grundmenge} {} {}
die Eigenschaft $P$ haben, was wiederum wahr oder falsch sein kann. Das drückt man formallogisch durch
\mathdisp {\forall x P(x)} { }
aus. Das Symbol
\mathdisp {\forall} { }
ist eine abkürzende Schreibweise für \anfuehrung{für alle}{\zusatzfussnote {Man kann mit einiger Berechtigung sagen, dass die Vokabeln \anfuehrung{für alle}{} und \anfuehrung{es gibt}{} die wichtigsten Formulierungen der Mathematik sind} {.} {},} und besitzt ansonsten keine tiefere Bedeutung. Es wird \stichwort {Allquantor} {} genannt. Die obige Marsmenschenaussage kann man als
\mathdisp {\forall x (M(x) \rightarrow G(x))} { }
schreiben. Das bedeutet, dass für alle Objekte ohne weitere Einschränkung gilt: wenn es sich um einen Marsmenschen handelt
\zusatzklammer {wenn also $M$ zutrifft} {} {,}
dann ist er auch grün. Für jedes $x$ steht in der großen Klammer eine Aussage in der Form einer Implikation, die eben besagt, dass wenn der Vordersatz wahr ist, dann auch der Nachsatz wahr sein muss.
Die zweite Beispielaussage kann bedeuten, dass ich genau einen Besen fresse oder aber mindestens einen Besen. Die Wortbedeutung des unbestimmten Artikels ist nicht eindeutig, in einer Aussage wie \anfuehrung{eine Pflanze braucht Wasser}{} bedeutet \anfuehrung{eine}{} sogar \anfuehrung{alle}{.} In der Mathematik bedeutet es fast immer \anfuehrung{mindestens einen}{.} Die Besenaussage kann man also paraphrasieren als
\einrueckung{Es gibt einen Besen, den ich fresse.}
Dies ist eine \stichwort {Existenzaussage} {\zusatzfussnote {Neben \anfuehrung{es gibt}{} trifft man auf Formulierungen wie \anfuehrung{es existiert}{,} \anfuehrung{man findet}{,} \anfuehrung{man kann finden}{.} Wenn die Existenz eines Objektes bekannt ist, so wird in einer mathematischen Argumentation häufig ein solches Element \anfuehrung{hergenommen}{,} irgendwie bezeichnet und dann weiterverarbeitet} {.} {.}}
Eine formallogische Repräsentierung ist
\mathdisp {\exists x (B(x) \wedge F(x))} { , }
wobei
\mathl{B(x)}{} bedeutet, dass das Objekt $x$ ein Besen ist und wobei
\mathl{F(x)}{} bedeutet, dass ich dieses $x$ fresse. Man könnte genauso gut
\mathdisp {\exists x (F(x) \wedge B(x))} { }
schreiben. Das Zeichen
\mathdisp {\exists} { }
wird \anfuehrung{es gibt}{} oder \anfuehrung{es existiert}{} gesprochen und wird der \stichwort {Existenzquantor} {}
\zusatzklammer {oder \stichwort {Existenzoperator} {}} {} {}
genannt.
Eine Allaussage behauptet, dass ein gewisses Prädikat allen Objekten
\zusatzklammer {aus einer gewissen Grundmenge} {} {}
zukommt. Wie alle Aussagen kann dies wahr oder falsch sein. Eine Allaussage ist genau dann falsch, wenn es mindestens ein Objekt
\zusatzklammer {aus der Grundmenge} {} {}
gibt, dem das Prädikat nicht zukommt. Daher sind die beiden Quantoren, also der Allquantor und der Existenzquantor, über die Negation eng miteinander verknüpft und lassen sich gegenseitig ersetzen, und zwar gelten die Regeln
\mathdisp {\neg ( \forall x P(x)) \text{ ist gleichbedeutend mit } \exists x ( \neg P(x))} { , }
\mathdisp {\neg ( \exists x P(x)) \text{ ist gleichbedeutend mit } \forall x ( \neg P(x))} { , }
\mathdisp {\forall x P(x) \text{ ist gleichbedeutend mit } \neg ( \exists x ( \neg P(x)))} { }
und
\mathdisp {\exists x P(x) \text{ ist gleichbedeutend mit } \neg ( \forall x ( \neg P(x)))} { . }
Neben einstelligen Prädikaten wie
\mathl{P(x)}{} gibt es auch mehrstellige Prädikate der Form
\mathdisp {P(x,y) \text{ oder } Q(x,y,z) \text{ etc. }} { , }
die eine Beziehung zwischen mehreren Objekten ausdrücken, wie z.B. \anfuehrung{ist verwandt mit}{,} \anfuehrung{ist größer als}{,} \anfuehrung{sind Eltern von}{} u.s.w. Entsprechend kann dann über die verschiedenen Variablen quantifiziert werden, d.h. man hat mit Ausdrücken der Form
\mathdisp {\forall x (\exists y P(x,y)),\, \exists x (\forall y P(x,y)) ,\, \forall x (\exists y (\forall z Q(x,y,z))) \text{ usw. }} { }
zu tun.
Die Variablenbezeichnung in einer quantifizierten Aussage ist grundsätzlich unwichtig, d.h. es ist egal, ob man
\mathl{\forall a P(a)}{} oder
\mathl{\forall t P(t)}{} schreibt. Man darf dabei aber nur Variablennamen
\zusatzklammer {also Buchstaben} {} {}
verwenden, die im gegenwärtigen Kontext nicht schon anderweitig verwendet sind.
Die Logik, die sich mit quantifizierten Aussagen auseinandersetzt, heißt \stichwort {Prädikatenlogik} {} oder \stichwort {Quantorenlogik} {.} Wir werden sie nicht systematisch entwickeln, da sie in der Mathematik als Mengentheorie auftritt. Statt
\mathl{P(x)}{,} dass also ein Prädikat einem Objekt zukommt, schreiben wir
\mathl{x \in P}{,} wobei dann $P$ die Menge aller Objekte bezeichnet, die diese Eigenschaft haben. Mehrstellige Prädikate treten in der Mathematik als Relationen auf.
\zwischenueberschrift{Mengen}
Die Sprache der Mathematik wird in der Sprache der Mengen formuliert, die eng mit der Quantorenlogik verwandt ist.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Georg_Cantor.jpg} }
\end{center}
\bildtext {Georg Cantor (1845-1918) ist der Schöpfer der Mengentheorie.} }
\bildlizenz { Georg Cantor 1894.jpg } {unbekannt} {Geometry guy} {en wikipedia} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {David_Hilbert_1886.jpg } }
\end{center}
\bildtext {David Hilbert (1862-1943) nannte sie ein
\betonung{Paradies}{}, aus dem die Mathematiker nie mehr vertrieben werden dürfen.} }
\bildlizenz { David Hilbert 1886.jpg } {unbekannt (1886)} {Magnus Manske} {Commons} {PD} {}
Eine \stichwort {Menge} {} ist eine Ansammlung von wohlunterschiedenen Objekten, die die \stichwort {Elemente} {} der Menge heißen. Mit \anfuehrung{wohlunterschieden}{} meint man, dass es klar ist, welche Objekte als gleich und welche als verschieden angesehen werden. Die \stichwort {Zugehörigkeit} {} eines Elementes $x$ zu einer Menge $M$ wird durch
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausgedrückt, die Nichtzugehörigkeit durch
\mavergleichskette
{\vergleichskette
{x
}
{ \notin }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für jedes Element\zusatzklammer {symbol} {} {}
gilt stets genau eine dieser zwei Möglichkeiten. Die wichtigste mathematische Menge ist im Moment für uns die Menge der natürlichen Zahlen
\mavergleichskettedisp
{\vergleichskette
{\N
}
{ =} { \{0, 1,2,3, \ldots\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für Mengen gilt das \stichwort {Extensionalitätsprinzip} {,} d.h. eine Menge ist durch die in ihr enthaltenen Elemente eindeutig bestimmt, darüber hinaus bietet sie keine Information. Insbesondere stimmen zwei Mengen überein, wenn beide die gleichen Elemente enthalten.
\inputdefinition
{}
{
Unter der \definitionswort {leeren Menge}{} versteht man diejenige Menge, die kein Element besitzt. Sie wird mit
\mathdisp {\emptyset} { }
bezeichnet.
}
Eine Menge $N$ heißt \stichwort {Teilmenge} {} einer Menge $M$, wenn jedes Element aus $N$ auch zu $M$ gehört. Man schreibt dafür
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {manche schreiben dafür
\mavergleichskettek
{\vergleichskettek
{ N
}
{ \subset }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Beispielsweise ist die Menge aller durch $6$ teilbaren natürlichen Zahlen eine Teilmenge der Menge aller geraden Zahlen. Bei einer Teilmengenbeziehung sagt man auch, dass eine \stichwort {Inklusion} {}
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegt. Im Nachweis, dass
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, muss man zeigen, dass für ein beliebiges Element
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ebenfalls die Beziehung
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
gilt\zusatzfussnote {In der Sprache der Quantorenlogik kann man eine Inklusion verstehen als die Aussage $\forall x(x \in N \rightarrow x \in M)$.} {} {.}
Dabei darf man lediglich die Eigenschaft
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verwenden. Im Beispiel würde man so argumentieren: $x$ ist eine durch $6$ teilbare Zahl. Daher kann man
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {6 y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer gewissen natürlichen Zahl $y$ schreiben. Dies kann man als
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {6y
}
{ =} {2 (3y)
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben, was eben bedeutet, dass $x$ gerade ist.
Aufgrund des Extensionalitätsprinzips hat man das folgende wichtige \stichwort {Gleichheitsprinzip für Mengen} {,} dass
\mathdisp {M=N \text{ genau dann, wenn } N \subseteq M \text{ und } M \subseteq N} { }
gilt. In der mathematischen Praxis bedeutet dies, dass man die Gleichheit von zwei Mengen dadurch nachweist, dass man
\zusatzklammer {in zwei voneinander unabhängigen Teilargumentationen} {} {}
die beiden Inklusionen zeigt. Dies hat auch den kognitiven Vorteil, dass das Denken eine Zielrichtung bekommt, dass klar die Voraussetzung, die man verwenden darf, von der gewünschten Schlussfolgerung, die man aufzeigen muss, getrennt wird. Hier wiederholt sich das Prinzip, dass die Äquivalenz von zwei Aussagen die wechselseitige Implikation bedeutet, und durch den Beweis der beiden einzelnen Implikationen bewiesen wird.
\zwischenueberschrift{Beschreibungsmöglichkeiten für Mengen}
Es gibt mehrere Möglichkeiten, eine Menge anzugeben. Die einfachste ist wohl, die zu der Menge gehörenden Elemente aufzulisten, wobei es auf die Reihenfolge der Elemente nicht ankommt. In der Abgabegruppe $H$ sind die Personen
\mathl{\{ F,Jo,Je, V, Z\}}{.} Dies sind genau die Personen, die Sonntags im Schwimmbad morgens um $7$ Uhr am Tisch unter der Ulme sitzen. Es handelt sich dann um zwei verschiedene Beschreibungen für die gleiche Menge.
Die wichtigste Beschreibung einer Menge ist die durch eine Eigenschaft. Es sei eine Grundmenge $M$ gegeben
\zusatzklammer {wie die Menge der natürlichen Zahlen, die Leute im Kurs} {} {}
und ferner eine gewisse Eigenschaft $E$
\zusatzklammer {Prädikat} {} {,}
die man auf alle Elemente der Grundmenge sinnvoll anwenden kann und die auf manche Elemente zutrifft, auf manche nicht
\zusatzklammer {wie gerade zu sein oder sich auf die Weihnachtsferien zu freuen} {} {.}
Zu der Eigenschaft $E$ gehört innerhalb von $M$ die Teilmenge bestehend aus allen Elementen aus $M$, die diese Eigenschaft, diese Bedingung, erfüllen. Man beschreibt eine durch eine Eigenschaft definierte Teilmenge meist als
\mavergleichskettedisp
{\vergleichskette
{ { \left\{ x \in M \mid E(x) \right\} }
}
{ =} { { \left\{ x \in M \mid x \text{ besitzt die Eigenschaft } E \right\} }
}
{ =} { { \left\{ x \in M \mid E \text{ trifft auf } x \text{ zu} \right\} }
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies geht natürlich nur mit solchen Eigenschaften, für die die Aussage $E(x)$ eine wohldefinierte Bedeutung hat. Wenn man eine solche Teilmenge einführt, so gibt man ihr häufig sofort einen Namen
\zusatzklammer {in dem auf die Eigenschaft $E$ Bezug genommen werden kann, aber nicht muss} {} {.}
Z.B. kann man einführen
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { { \left\{ x \in \N \mid x \text{ ist gerade} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{U
}
{ =} { { \left\{ x \in \N \mid x \text{ ist ungerade} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{Q
}
{ =} { { \left\{ x \in \N \mid x \text{ ist eine Quadratzahl} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb P}
}
{ =} { { \left\{ x \in \N \mid x \text{ ist eine Primzahl} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für die Mengen in der Mathematik sind meist eine Vielzahl an mathematischen Eigenschaften relevant und daher gibt es meist auch eine Vielzahl an relevanten Teilmengen. Aber auch bei alltäglichen Mengen, wie etwa die Menge $K$ der Studierenden in einem Kurs, gibt es viele wichtige Eigenschaften, die gewisse Teilmengen festlegen, wie etwa
\mavergleichskettedisp
{\vergleichskette
{O
}
{ =} { { \left\{ x \in K \mid x \text{ kommt aus Osnabr}\ddot {\rm u}\text{ck} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{E
}
{ =} { { \left\{ x \in K \mid x \text{ studiert im Nebenfach evangelische Theologie} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{D
}
{ =} { { \left\{ x \in K \mid x \text{ hat im Dezember Geburtstag} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Menge $K$ ist dabei selbst durch eine Eigenschaft festgelegt, es ist ja
\mavergleichskettedisp
{\vergleichskette
{K
}
{ =} { { \left\{ x \mid x \text{ ist Studierender in diesem Kurs} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Mengenoperationen}
So, wie man Aussagen zu neuen Aussagen verknüpfen kann, gibt es Operationen, mit denen aus Mengen neue Mengen entstehen\zusatzfussnote {Man beachte, dass sich die ähnlich geformten Symbole
\mathl{\cap}{} und $\wedge$ und
\mathl{\cup}{} und $\vee$ entsprechen} {.} {.}
\inputdefinition
{}
{
Zu Mengen
\mathkor {} {L} {und} {M} {}
heißt
\mavergleichskettedisp
{\vergleichskette
{ L \cap M
}
{ =} { { \left\{ x \mid x \in L \text{ und } x \in M \right\} }}
{ } {}
{ } {}
{ } {}
}
{}{}{}
der \definitionswort {Durchschnitt}{}
\zusatzklammer {oder die \definitionswort {Schnittmenge}{}} {} {}
der beiden Mengen.
}
\inputdefinition
{}
{
Zu zwei Mengen
\mathkor {} {L} {und} {M} {}
heißt
\mavergleichskettedisp
{\vergleichskette
{ L \cup M
}
{ =} { { \left\{ x \mid x \in L \text{ oder } x \in M \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Vereinigung}{} der beiden Mengen.
}
\inputdefinition
{}
{
Zu Mengen
\mathl{A,B}{} nennt man
\mavergleichskettedisp
{\vergleichskette
{ A \setminus B
}
{ \defeq} { { \left\{ x \mid x \in A \text{ und } x \not\in B \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Differenzmenge}{} \anfuehrung{$A$ ohne $B$ }{.}
}
Diese Operationen ergeben nur dann einen Sinn, wenn die beteiligten Mengen als Teilmengen in einer gemeinsamen Grundmenge gegeben sind. Dies sichert, dass man über die gleichen Elemente spricht. Häufig wird diese Grundmenge nicht explizit angegeben, dann muss man sie aus dem Kontext erschließen. Ein Spezialfall der Differenzmenge bei einer gegebenen Grundmenge ist das \stichwort {Komplement} {} einer Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputdefinition
{}
{
Zu einer
\definitionsverweis {Teilmenge}{}{}
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einer Menge $G$ heißt
\mavergleichskettedisp
{\vergleichskette
{ G \setminus T
}
{ =} { { \left\{ x \in G \mid x \not\in T \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das \definitionswort {Komplement}{} von $T$
\zusatzklammer {in $G$} {} {.}
}
Dafür schreibt man auch
\mathl{\complement T}{.} Es gilt
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { M \cup (M \setminus T)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{M \cap (M \setminus T)
}
{ =} { \emptyset
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Beispielsweise ist das Komplement der Menge der geraden Zahlen die Menge der ungeraden Zahlen. Die Eigenschaft, dass der Durchschnitt von zwei Mengen leer ist, bekommt einen eigenen Namen.
\inputdefinition
{}
{
Zwei Mengen
\mathkor {} {L} {und} {M} {}
heißen \definitionswort {disjunkt}{,} wenn ihr
\definitionsverweis {Durchschnitt}{}{}
\mavergleichskette
{\vergleichskette
{L \cap M
}
{ = }{\emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
Wenn Teilmengen durch geeignete Prädikate definiert sind, so stehen die Mengenoperationen unmittelbar in Zusammenhang mit den logischen Operationen für die Prädikate. Wenn
\zusatzklammer {in einer gewissen Grundmenge} {} {}
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ x \mid \alpha (x) \text{ gilt} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{L
}
{ =} { { \left\{ x \mid \beta (x) \text{ gilt} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vorliegt, so ist
\mavergleichskettedisp
{\vergleichskette
{M \cap L
}
{ =} { { \left\{ x \mid \alpha(x) \text{ und } \beta (x) \text{ gilt} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{M \cup L
}
{ =} { { \left\{ x \mid \alpha(x) \text{ oder }\beta (x) \text{ gilt} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{M \setminus L
}
{ =} { { \left\{ x \mid \alpha(x) \text{ gilt aber }\beta (x) \text{ gilt nicht} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Mengendiagramme}
Eine Möglichkeit, Mengen oder vielmehr die zwischen verschiedenen Mengen möglichen oder existierenden Verhältnisse zueinander abzubilden, liefern \stichwort {Mengendiagramme} {} \zusatzklammer {oder \stichwort {Venn-Diagramme} {}} {} {.} In ihnen werden Mengen durch gewisse Flächenstücke in der Ebene repräsentiert. Die Flächenstücke sollten eine möglichst einfache Form besitzen. Sie sind zumeist \anfuehrung{zusammenhängend}{} \zusatzklammer {d.h. je zwei Punkte des Stückes sind durch einen \anfuehrung{stetigen Weg}{} miteinander verbindbar} {} {.} Die Flächenstücke können sich überlappen, und der Überlappungsbereich repräsentiert die Schnittmenge. Idealerweise sind die auftretenden Überlappungsbereiche selbst wieder zusammenhängend. Die verschiedenen Flächenstücke werden häufig in unterschiedlichen Farben oder Schraffuren gezeichnet, wobei dann die Überlappungsbereiche durch die zugehörigen Farbmischungen bzw. Mischschraffuren wiedergegeben werden.
Einige Beispiele für abstrakte Mengendiagramme
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Absolute_complement.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Absolute complement.svg } {} {BMF81} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Set_intersection.png} }
\end{center}
\bildtext {} }
\bildlizenz { Set intersection.png } {} {Marcelo Reis} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Diagrama1.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Diagrama1.gif } {} {Dante} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {4sets.png} }
\end{center}
\bildtext {} }
\bildlizenz { 4sets.png } {} {Stumps} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn_Diagram_ABCD.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Venn Diagram ABCD.svg } {} {Johannes Rössel} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Edwards-Venn-five.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Edwards-Venn-five.svg } {} {HB} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Edwards-Venn-six.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Edwards-Venn-six.svg } {} {Interiot} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn6.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Venn6.svg } {} {Kopophex} {en Wikipedia} {PD} {}
Diese Diagramme sind vollständig in dem Sinne, dass sie alle möglichen Schnitteigenschaften der beteiligten Mengen repräsentieren. In den folgenden Diagrammen wird nicht jede mögliche Schnitteigenschaft repräsentiert.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Disyuncion_de_clases.JPG} }
\end{center}
\bildtext {} }
\bildlizenz { Disyunción de clases2.JPG } {} {Monimino} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Subset.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Subset.svg } {} {Petr K} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn_diagram_of_three_sets.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Venn diagram of three sets.svg } {} {Oleg Alexandrov} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {CirclesN4xa.GIF} }
\end{center}
\bildtext {} }
\bildlizenz { CirclesN4xa.GIF } {} {Thisisbossi} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {CirclesN4a.GIF} }
\end{center}
\bildtext {} }
\bildlizenz { CirclesN4a.GIF } {} {Thisisbossi} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Standardsemantik_klein.png} }
\end{center}
\bildtext {} }
\bildlizenz { Standardsemantik klein.png } {} {Dhanyavaada} {Commons} {CC-by-sa 3.0} {}
Einige Beispiele für konkrete Mengen-Diagramme
In diesem Fall repräsentieren die beteiligten Mengen einen bestimmten Begriff, das Schnittverhalten hängt dann von inhaltlichen Überlegungen ab. Solche Diagramme spielen in der Mathematik keine große Rolle. Wenn man allerdings z. B. verschiedene algebraische Begriffe wie Gruppe, Ring, kommutativer Ring, Divisionsbereich, Körper in ihrer Hierarchie veranschaulichen möchte, so ist ein solches Diagramm durchaus sinnvoll.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Amino_Acids_Venn_Diagram_(de).svg} }
\end{center}
\bildtext {} }
\bildlizenz { Amino Acids Venn Diagram (de).svg } {} {Hoffmeier} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {British_Isles_Venn_Diagram en.svg} }
\end{center}
\bildtext {} }
\bildlizenz { British Isles Venn Diagram en.svg } {} {Sony-youth} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Geistiges_Eigentum_und_Wettbewerbsrecht.png } }
\end{center}
\bildtext {} }
\bildlizenz { Geistiges Eigentum und Wettbewerbsrecht.png } {} {3247} {Commons} {CC-by-sa 3.0} {}