Zum Inhalt springen

Kurs:Analysis (Osnabrück 2013-2015)/Teil I/Vorlesung 1

Aus Wikiversity



Mengen
Georg Cantor (1845-1918) ist der Schöpfer der Mengentheorie.
David Hilbert (1862-1943) nannte sie ein Paradies, aus dem die Mathematiker nie mehr vertrieben werden dürfen.


Eine Menge ist eine Ansammlung von wohlunterschiedenen Objekten, die die Elemente der Menge heißen. Mit „wohlunterschieden“ meint man, dass es klar ist, welche Objekte als gleich und welche als verschieden angesehen werden. Die Zugehörigkeit eines Elementes zu einer Menge wird durch

ausgedrückt, die Nichtzugehörigkeit durch

Für jedes Element(symbol) gilt stets genau eine dieser zwei Möglichkeiten.

Für Mengen gilt das 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.

Die Menge, die kein Element besitzt, heißt leere Menge und wird mit

bezeichnet.

Eine Menge heißt Teilmenge einer Menge , wenn jedes Element aus auch zu gehört. Man schreibt dafür

(manche schreiben dafür ). Man sagt dafür auch, dass eine Inklusion vorliegt. Im Nachweis, dass ist, muss man zeigen, dass für ein beliebiges Element ebenfalls die Beziehung gilt.[1] Dabei darf man lediglich die Eigenschaft verwenden.

Aufgrund des Extensionalitätsprinzips hat man das folgende wichtige Gleichheitsprinzip für Mengen, dass

gilt. In der mathematischen Praxis bedeutet dies, dass man die Gleichheit von zwei Mengen dadurch nachweist, dass man (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 spiegelt sich das aussagenlogische Prinzip wider, dass die Äquivalenz von zwei Aussagen die wechselseitige Implikation bedeutet, und durch den Beweis der beiden einzelnen Implikationen bewiesen wird.



Beschreibungsmöglichkeiten für Mengen

Es gibt mehrere Möglichkeiten, eine Menge anzugeben. Die einfachste ist, die zu der Menge gehörenden Elemente aufzulisten, wobei es auf die Reihenfolge der Elemente nicht ankommt. Bei endlichen Mengen ist dies unproblematisch, bei unendlichen Mengen muss man ein „Bildungsgesetz“ für die Elemente angeben.

Die wichtigste Menge, die man zumeist als eine fortgesetzte Auflistung einführt, ist die Menge der natürlichen Zahlen

Hier wird eine bestimmte Zahlenmenge durch die Anfangsglieder von erlaubten Zifferfolgen angedeutet. Wichtig ist, dass mit nicht eine Menge von bestimmten Ziffern gemeint ist, sondern die durch die Ziffern repräsentierten Zahlwerte. Eine natürliche Zahl hat viele Darstellungsarten, die Ziffernrepräsentation im Zehnersystem ist nur eine davon, wenn auch eine besonders übersichtliche.

Wir besprechen die Mengenbeschreibung durch eine Eigenschaft. Es sei eine Menge und eine gewisse Eigenschaft (Prädikat) gegeben, die die Elemente von erfüllen oder aber nicht. Zu einer Eigenschaft gehört innerhalb von die Teilmenge bestehend aus allen Elementen aus , die diese Eigenschaft erfüllen. Man beschreibt eine durch eine Eigenschaft definierte Teilmenge meist als

Dies geht natürlich nur mit solchen Eigenschaften, für die die Aussage eine wohldefinierte Bedeutung hat. Dieser Konstruktion entspricht in der Alltagssprache eine Formulierung mit einem Relativsatz, im Sinne von diejenigen Objekte, auf die die Eigenschaft zutrifft. Wenn man eine solche Teilmenge einführt, so gibt man ihr häufig sofort einen Namen (in dem auf die Eigenschaft Bezug genommen werden kann, aber nicht muss). Z.B. kann man die Mengen

einführen. 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 der Studierenden in einem Kurs, gibt es viele wichtige Eigenschaften, die gewisse Teilmengen festlegen, wie etwa

Die Menge ist dabei selbst durch eine Eigenschaft festgelegt, es ist ja



Mengenoperationen

So, wie man Aussagen zu neuen Aussagen verknüpfen kann, gibt es Operationen, mit denen aus Mengen neue Mengen entstehen.


    • Vereinigung
    • Durchschnitt
    • Differenzmenge

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 Komplement einer Teilmenge , das durch

definiert ist. Wenn zwei Mengen einen leeren Schnitt haben, also gilt, so nennen wir sie disjunkt.



Konstruktion von Mengen

Die meisten Mengen in der Mathematik ergeben sich ausgehend von einigen wenigen Mengen wie beispielsweise den endlichen Mengen und durch bestimmte Konstruktionen von neuen Mengen aus schon bekannten oder schon zuvor konstruierten Mengen.[2] Wir definieren:[3]


Es seien zwei Mengen und gegeben. Dann nennt man die Menge

die Produktmenge[4] der beiden Mengen.

Die Elemente der Produktmenge nennt man Paare und schreibt . Dabei kommt es wesentlich auf die Reihenfolge an. Die Produktmenge besteht also aus allen Paarkombinationen, wo in der ersten Komponente ein Element der ersten Menge und in der zweiten Komponente ein Element der zweiten Menge steht. Zwei Paare sind genau dann gleich, wenn sie in beiden Komponenten gleich sind.

Bei einer Produktmenge können natürlich auch beide Mengen gleich sein, beispielsweise ist die reelle Ebene. In diesem Fall ist es verlockend, die Reihenfolge zu verwechseln, und also besonders wichtig, darauf zu achten, dies nicht zu tun. Wenn es in der ersten Menge Elemente und in der zweiten Menge Elemente gibt, so gibt es in der Produktmenge Elemente. Wenn eine der beiden Mengen leer ist, so ist auch die Produktmenge leer. Man kann auch für mehr als nur zwei Mengen die Produktmenge bilden, worauf wir bald zurückkommen werden.


Es sei die Menge aller Vornamen (sagen wir der Vornamen, die in einer bestimmten Grundmenge an Personen wirklich vorkommen) und die Menge aller Nachnamen. Dann ist

die Menge aller Namen. Elemente davon sind in Paarschreibweise beispielsweise , und . Aus einem Namen lässt sich einfach der Vorname und der Nachname herauslesen, indem man entweder auf die erste oder auf die zweite Komponente des Namens schaut. Auch wenn alle Vornamen und Nachnamen für sich genommen vorkommen, so muss natürlich nicht jeder daraus gebastelte mögliche Name wirklich vorkommen. Bei der Produktmenge werden eben alle Kombinationsmöglichkeiten aus den beiden beteiligten Mengen genommen.



Ein Schachbrett (genauer: die Menge der Felder auf einem Schachbrett, auf denen eine Figur stehen kann) ist die Produktmenge

Jedes Feld ist ein Paar, beispielsweise . Da die beteiligten Mengen verschieden sind, kann man statt der Paarschreibweise einfach schreiben. Diese Notation ist der Ausgangspunkt für die Beschreibung von Stellungen und von ganzen Partien.


Wenn zwei geometrische Punktmengen und gegeben sind, beispielsweise als Teilmengen einer Ebene , so kann man die Produktmenge als Teilmenge von auffassen. Dadurch entsteht ein neues geometrisches Gebilde, das man manchmal auch in einer kleineren Dimension realisieren kann.


Ein Zylindermantel ist die Produktmenge aus einem Kreis und einer Strecke

Es sei ein Kreis, worunter wir die Kreislinie verstehen, und eine Strecke. Der Kreis ist eine Teilmenge einer Ebene und die Strecke ist eine Teilmenge einer Geraden , sodass für die Produktmenge die Beziehung

gilt. Die Produktmenge stellt man sich als einen dreidimensionalen Raum vor, und darin ist die Produktmenge ein Zylindermantel.


Eine andere wichtige Konstruktion, um aus einer Menge eine neue Menge zu erhalten, ist die Potenzmenge.


Zu einer Menge nennt man die Menge aller Teilmengen von die Potenzmenge von . Sie wird mit

bezeichnet.

Es ist also

Wenn die Menge der Kursteilnehmer ist, so kann man sich jede Teilmenge als eine kursinterne Party vorstellen, zu der eine gewisse Auswahl an Leuten hingeht (es werden also die Partys mit den anwesenden Leuten identifiziert). Die Potenzmenge ist dann die Menge aller möglichen Partys. Wenn eine Menge Elemente besitzt, so besitzt ihre Potenzmenge Elemente.



Induktion

Mathematische Aussagen, die von natürlichen Zahlen abhängen, können mit dem Beweisprinzip der vollständigen Induktion bewiesen werden. Die folgende Aussage begründet dieses Prinzip.


Für jede natürliche Zahl sei eine Aussage gegeben. Es gelte

  1. ist wahr.
  2. Für alle gilt: wenn gilt, so ist auch wahr.

Dann gilt für alle .

Es sei

Wir wollen zeigen, dass ist, denn genau dies bedeutet, dass die Aussage für alle gilt. Nach der ersten Bedingung ist

Nach der zweiten Voraussetzung gilt für , dass aus stets folgt. Damit erfüllt beide Voraussetzungen im Induktionsprinzip für Mengen, sodass gilt.


Der Nachweis von (der Gültigkeit von) heißt dabei der Induktionsanfang und der Schluss von auf heißt der Induktionsschluss. Innerhalb des Induktionsschlusses nennt man die Gültigkeit von auch die Induktionsvoraussetzung. In manchen Situationen ist die Aussage erst für für ein gewisses (definiert oder) wahr. Dann beweist man im Induktionsanfang die Aussage und den Induktionsschluss führt man für durch.

Das folgende Standardbeispiel für einen Induktionsbeweis verwendet das Summenzeichen. Für gegebene (natürliche, reelle, komplexe) Zahlen bedeutet

Dabei hängen im Allgemeinen die in einer formelhaften Weise von ab. Entsprechend ist das Produktzeichen definiert, nämlich durch

Insbesondere sind für die Potenzen durch

definiert. Dabei gelten die Konventionen und (die erste lässt sich auch über die Multiplikation begründen, die zweite ist aber auch sinnvoll). Als Rechenregeln für das Potenzieren gelten


Beweise durch Induktion die folgende Formel für .


Lösung

Beim Induktionsanfang ist , daher besteht die Summe links nur aus einem Summanden, nämlich der , und daher ist die Summe . Die rechte Seite ist , sodass die Formel für stimmt.

Für den Induktionsschritt setzen wir voraus, dass die Formel für ein gilt, und müssen zeigen, dass sie auch für gilt. Dabei ist beliebig. Es ist

Dabei haben wir für die zweite Gleichheit die Induktionsvoraussetzung verwendet. Der zuletzt erhaltene Term ist die rechte Seite der Formel für , also ist die Formel bewiesen.


Zeige durch vollständige Induktion, dass für jedes die Zahl

ein Vielfaches von ist.


Lösung

Induktionsanfang. Für ist

ein Vielfaches von . Induktionsschritt. Es sei nun die Aussage für bewiesen und betrachten wir den Ausdruck für . Dieser ist

wobei im vorletzten Schritt die Induktionsvoraussetzung verwendet wurde (nämlich die Eigenschaft, dass ein Vielfaches von ist). Daher ist diese Zahl ein Vielfaches von .




Fußnoten
  1. In der Sprache der Quantorenlogik kann man eine Inklusion verstehen als die Aussage .
  2. Darunter fallen auch der Schnitt und die Vereinigung, doch bleiben diese innerhalb einer vorgegebenen Grundmenge, während es hier um Konstruktionen geht, die darüber hinaus gehen.
  3. Definitionen werden in der Mathematik zumeist als solche deutlich herausgestellt und bekommen eine Nummer, damit man auf sie einfach Bezug nehmen kann. Es wird eine Situation beschrieben, bei der die verwendeten Begriffe schon zuvor definiert worden sein mussten, und in dieser Situation wird einem neuen Konzept ein Name (eine Bezeichnung) gegeben. Dieser Name wird kursiv gesetzt. Man beachte, dass das Konzept auch ohne den neuen Namen formulierbar ist, der neue Name ist nur eine Abkürzung für das Konzept. Sehr häufig hängen die Begriffe von Eingaben ab, wie den beiden Mengen in dieser Definition. Bei der Namensgebung herrscht eine gewisse Willkür, sodass die Bedeutung der Bezeichnung im mathematischen Kontext sich allein aus der expliziten Definition, aber nicht aus der alltäglichen Wortbedeutung erschließen lässt.
  4. Man spricht auch vom kartesischen Produkt der beiden Mengen.


Kurs:Analysis (Osnabrück 2013-2015)/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)