Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Repetitorium/Arbeitsblatt 3
- Übungsaufgaben
Bestimme für die Mengen
die Mengen
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- .
Es sei die Menge der Großbuchstaben des lateinischen Alphabets, die Menge der Großbuchstaben des griechischen Alphabets und die Menge der Großbuchstaben des russischen Alphabets. Bestimme die folgenden Mengen.
- .
- .
- .
- .
- .
Es seien und Mengen. Beweise die Identität
Es seien und Mengen. Man beweise die folgenden Identitäten.
Kommentar:
Hier ist die Gleichheit von Mengen zu zeigen. Nach dem Extensionalitätsprinzip stimmen zwei Mengen überein, wenn sie die gleichen Elemente enthalten. Um die Gleichheit zu zeigen müssen wir also zeigen, dass jedes Element der einen Menge in der anderen enthalten ist und umgekehrt.
Wenn wir eine Aussage für jedes Element einer Menge zeigen wollen, nehmen wir uns ein Platzhalterelement als Vertreter her und zeigen die Aussage dafür. Wichtig ist dafür, dass wir das Element beliebig halten und nicht etwa auf ein bestimmtes Element einschränken. Nur so können wir aus dem Beweis für den Platzhalter die Aussage allgemein folgern.
Wir führen das exemplarisch für die erste Gleichheit vor.
Zunächst sei . Wir nennen den Platzhalter also . Die mathematische Aussage bedeutet, dass ist oder . Wir führen eine Fallunterscheidung. Der Fall aber kann nicht auftreten, da die leere Menge genau dadurch definiert wurde, dass sie keine Elemente enthält. In jedem möglichen Fall also folgt aus , dass ist. Also haben wir die Richtung gezeigt.
Betrachten wir als Nächstes die andere Richtung und nehmen dafür ein Element . Da angenommen wird folgt insbesondere, dass oder ist, auch wenn davon immer der erste Fall erfüllt ist. Also gilt und damit haben wir gezeigt.
Aus diesen beiden Teilbeweisen zusammen ergibt sich, dass gilt.
Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen Mengen.
- Modus Barbara: Aus und folgt .
- Modus Celarent: Aus und folgt .
- Modus Darii: Aus und folgt .
- Modus Ferio: Aus und folgt .
- Modus Baroco: Aus und folgt .
Gilt für die Vereinigung von Mengen die „Abziehregel“, d.h. kann man aus auf schließen?
Kommentar:
Da es eine Aussage über alle Mengen ist, muss man, um die Aussage zu beweisen, für beliebige Mengen und die Behauptung impliziert zeigen. Um die Aussage zu widerlegen genügt allerdings ein einziges Gegenbeispiel, also drei Mengen anzugeben, die diese Behauptung nicht erfüllen.
Es scheint also so, als ob es viel einfacher ist eine solche Allgemeinaussage zu widerlegen und in gewisser Hinsicht ist das auch oft so. Allerdings wird uns ein Gegenbeispiel meist nicht einfach geschenkt und oft genug führen die gleichen Überlegungen die zu einem Beweis der Aussage führen würden erst zu einem Gegenbeispiel, weil uns daran klar wird wo der Beweis schief laufen würde. Umgekehrt kann ein mehr oder weniger freies Herumprobieren mit Beispielen, mit dem Ziel ein Gegenbeispiel zu finden, auch die Struktur des Phänomens klarer machen und stattdessen die entscheidende Idee für einen Beweis der Aussage liefern.
Es ist also sinnvoll Aussagen immer wieder von verschiedenen Seiten und Gesichtspunkten anzugehen bis sie sich uns erschließen.
Skizziere die Produktmenge als Teilmenge von .
Beschreibe für je zwei (einschließlich dem Fall, dass das Produkt mit sich selbst genommen wird) der folgenden geometrischen Mengen die Produktmengen.
- Ein Geradenstück .
- Eine Kreislinie .
- Eine Kreisscheibe .
- Eine Parabel .
Welche Produktmengen lassen sich als eine Teilmenge im Raum realisieren, welche nicht?
Skizziere die folgenden Teilmengen im .
- ,
- ,
- ,
- .
- Skizziere die Menge und die Menge .
- Bestimme den Durchschnitt zeichnerisch und rechnerisch.
Es empfiehlt sich, die in den folgenden Aufgaben formulierten Mengenidentitäten zu veranschaulichen.
Es seien und Mengen und seien und Teilmengen. Zeige die Gleichheit
Es seien und Mengen und seien und Teilmengen. Zeige die Gleichheit
Es sei eine Menge von Personen und die Menge der Vornamen von diesen Personen und die Menge der Nachnamen von diesen Personen. Definiere natürliche Abbildungen von nach , nach und nach und untersuche sie in Hinblick auf die relevanten Abbildungsbegriffe.
Bestimme für die folgenden Diagramme, welche empirischen Abbildungen in ihnen dargestellt werden (sollen). Was sind jeweils die Definitionsmengen, die Wertemengen, mit welchen Einheiten wird gearbeitet? Wird (pro Bild) nur eine Abbildung dargestellt oder mehrere? Handelt es sich überhaupt um Abbildungen? Welche Informationen werden über die Abbildung hinaus gegeben? Werden die empirischen Abbildungen mathematisiert?
Man gebe Beispiele für Abbildungen
derart, dass injektiv, aber nicht surjektiv ist, und dass surjektiv, aber nicht injektiv ist.
Welche bijektiven Funktionen (oder zwischen Teilmengen von ) kennen Sie aus der Schule? Wie heißen die Umkehrabbildungen?
Es seien und Mengen. Zeige, dass die Abbildung
eine bijektive Abbildung zwischen den Produktmengen und festlegt.
Es seien und Mengen und es sei
eine Abbildung. Es sei
und erfüllt. Zeige, dass dann die Umkehrabbildung von ist.
Wir betrachten die Mengen
und die Abbildungen und , die durch die Wertetabellen
und
gegeben sind.
- Erstelle eine Wertetabelle für .
- Sind die Abbildungen , , injektiv?
- Sind die Abbildungen , , surjektiv?
Kommentar:
Um also zu bestimmen ersetzen wir in der Abbildungsvorschrift von jedes Vorkommen der Variable (hier ) durch und lösen dann auf. Wichtig ist dabei richtig zu klammern (zur Sicherheit um am Besten eine Klammer setzen).
- Kann eine konstante Abbildung bijektiv sein?
- Ist die Hintereinanderschaltung einer konstanten Abbildung mit einer beliebigen Abbildung (also die konstante Abbildung zuerst) konstant?
- Ist die Hintereinanderschaltung einer beliebigen Abbildung mit einer konstanten Abbildung (also die konstante Abbildung zuletzt) konstant?
Es seien Mengen und
Abbildungen mit der Hintereinanderschaltung
Zeige: Wenn injektiv ist, so ist auch injektiv.
- Aufgaben zum Abgeben
Aufgabe (3 Punkte)
Es sei . Zeige durch Induktion die Gleichheit
Aufgabe (4 Punkte)
Eine -Schokolade ist ein rechteckiges Raster, das durch Längsrillen und Querrillen in () mundgerechte kleinere Rechtecke eingeteilt ist. Ein Teilungsschritt an einer Schokolade ist das vollständige Durchtrennen einer Schokolade längs einer Längs- oder Querrille. Eine vollständige Aufteilung einer Schokolade ist eine Folge von Teilungsschritten (an der Ausgangsschokolade oder an einer zuvor erhaltenen Zwischenschokolade), deren Endprodukt aus den einzelnen Mundgerechtecken besteht. Zeige durch Induktion, dass jede vollständige Aufteilung einer -Schokolade aus genau Teilungsschritten besteht.
Aufgabe (4 Punkte)
Es seien und Mengen. Zeige, dass die folgenden Aussagen zueinander äquivalent sind.
- ,
- ,
- ,
- ,
- Es gibt eine Menge mit ,
- Es gibt eine Menge mit .
Aufgabe (2 Punkte)
Skizziere die folgenden Teilmengen im .
- ,
- ,
- ,
- .
Aufgabe (3 Punkte)
Es seien Mengen und
Abbildungen mit der Hintereinanderschaltung
Zeige: Wenn surjektiv ist, so ist auch surjektiv.
Aufgabe (4 Punkte)
Wir betrachten einen Computer, der nur zwei Speicher besitzt, in denen jeweils eine natürliche Zahl stehen kann. Zu Beginn eines jedes Programms (also einer Aneinanderreihung von Befehlen) lautet die Belegung . Der Computer kann einen Speicher leeren, einen Speicher um erhöhen, zu Befehlen springen (unbedingter Sprungbefehl) und die beiden Inhalte der Speicher der Größe nach miteinander vergleichen. Ferner kann es zu einem Befehl wechseln, wenn die Vergleichsbedingung erfüllt ist (bedingter Sprungbefehl). Schließlich gibt es einen Druckbefehl, bei dem das momentane Belegungspaar ausgedruckt wird. Schreibe ein Computerprogramm, das jedes Paar genau einmal ausdruckt.
Aufgabe (4 Punkte)
Aufgabe (3 Punkte)
Betrachte auf der Menge die Abbildung
die durch die Wertetabelle
gegeben ist. Berechne , also die -te Hintereinanderschaltung (oder Iteration) von mit sich selbst.
<< | Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Repetitorium | >> |
---|