Kurs:Vorkurs Mathematik (Osnabrück 2009)/Arbeitsblatt 4/kontrolle



Injektivität und Surjektivität



Untersuche für jedes die Funktion

auf Injektivität und Surjektivität.



Zeige, dass weder die Addition

noch die Multiplikation

injektiv ist.



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.



Es sei eine Menge und zwei verschiedene Elemente. Definiere durch eine Fallunterscheidung eine Bijektion von nach , die und vertauscht, und sonst alle Elemente unverändert lässt.

(Eine solche Abbildung heißt Transposition).


Man gebe Beispiele für Abbildungen

derart, dass injektiv, aber nicht surjektiv ist, und dass surjektiv, aber nicht injektiv ist.



Man beschreibe eine Bijektion zwischen und .



Es seien Mengen und

Abbildungen mit der Hintereinanderschaltung

Zeige: Wenn injektiv ist, so ist auch injektiv.



Es seien Mengen und

Abbildungen mit der Hintereinanderschaltung

Zeige: Wenn surjektiv ist, so ist auch surjektiv.

Zeige durch Beispiele, dass bei den beiden vorhergehenden Aufgaben die Umkehrung nicht gilt.



Graph einer Abbildung

Es seien und Mengen und es sei

eine Abbildung mit dem Graphen . Zeige, dass die Abbildung

eine Bijektion zwischen und dem Graphen induziert. Was ist die Verknüpfung von mit der zweiten Projektion



Wie kann man sich den Graphen einer Abbildung

und wie sich den Graphen einer Abbildung

vorstellen?



Skizziere den Graphen der reellen Addition

und den Graphen der reellen Multiplikation




Mengenkonstruktionen und Abbildungen

Es seien und Mengen und sei eine Abbildung. Zeige, dass durch die Festlegung

wenn

eine Äquivalenzrelation auf definiert wird.



Es seien Mengen. Stifte eine Bijektion zwischen

Man mache sich diese Situation für und klar.


Es seien Mengen. Stifte eine Bijektion zwischen



Es sei eine Menge. Stifte eine Bijektion zwischen



Es sei eine Menge, die als disjunkte Vereinigung

gegeben ist. Definiere eine Bijektion zwischen der Potenzmenge und der Produktmenge . Wie verhalten sich diese beiden Mengen, wenn und zwar eine Vereinigung von ergeben, aber nicht disjunkt sind, und umgekehrt?



Es sei eine Abbildung. Zeige, dass das Urbildnehmen

folgende Eigenschaften besitzt (für beliebige Teilmengen ):



Es sei eine Abbildung. Zeige, dass das Bildnehmen

folgende Eigenschaften besitzt (für beliebige Teilmengen ):

  1. ,
  2. ,
  3. .

Zeige durch Beispiele, dass die beiden Inklusionen in (1) und (3) echt sein können.




Abbildungen in der Aussagenlogik

Interpretiere die Wahrheitstabellen zu den Junktoren als Wertetabellen von Funktionen. Was sind die Definitions-, die Werte- und die Bildmengen dieser Funktionen?



Es sei eine Menge von Aussagenvariablen und die damit definierte formale Sprache, also die Menge aller formalen Ausdrücke, die man von ausgehend mittels der Junktoren und mit Klammern sinnvoll basteln kann. Zeige, dass es zu einer gegebenen Belegungsfunktion

eine eindeutig bestimmte Fortsetzung

gibt, die die Bedeutung (die Wahrheitsfunktion) der Junktoren respektiert.



Es sei eine Menge von Aussagenvariablen und eine Aussage in der zugehörigen formalen Sprache . Es sei

eine Abbildung und es sei diejenige Aussage, die entsteht, wenn man in jede Aussagenvariable durch ersetzt. Zeige die folgenden Aussagen.

  1. Wenn eine Tautologie ist, so ist auch eine Tautologie.
  2. Wenn injektiv ist, so ist genau dann eine Tautologie, wenn dies für gilt.
  3. kann eine Tautologie sein, auch wenn keine Tautologie ist.
  4. Die Aussagen gelten ebenso, wenn man überall Tautologie durch Kontradiktion ersetzt.




Abbildungen aus dem Leben

Die folgenden drei Aufgaben sind eher zum Diskutieren als zum Abgeben.


Man mache sich klar, in welcher Weise die in der Vorlesung angeführten Diagramme Abbildungen darstellen.



Modelliere[1] eine Bundestagswahl mit Hilfe von geeigneten Abbildungen.



Studiere die Abbildungen, die in den folgenden Diagrammen beschrieben werden. Ist das Vokabular sinnvoll? Inwiefern sind die Abbildungen politisch, inwiefern mathematisch festgelegt?

































Fußnoten

Bearbeiten
  1. Unter einem Modell für eine alltägliche oder wissenschaftliche Begebenheit versteht man in der Mathematik eine mathematische Nachbildung, die wesentliche Strukturen der Begebenheit widerspiegelt. Dies spielt insbesondere in der angewandten Mathematik, aber auch in der mathematischen Physik, den anderen Naturwissenschaften, der Ökonomie u.s.w. eine große Rolle