Zum Inhalt springen

Die Sprache der Mathematik: Abbildungen

Aus Wikibooks

Hat man nun zwei Mengen, so kann man jedem Element der einen ein Element aus der anderen Menge zuordnen. Diese Zuordnungsvorschrift nennt man Abbildung.

Die formale Definition dafür sieht so aus:

Seien M, N Mengen. Dann ist (sprich: Phi von M nach N), (sprich: m geht auf n) eine Abbildung . Sie ordnet dem Element das Element zu.

Die Abbildung ist rechtseindeutig, das bedeutet: Aus und folgt stets: .

Man nennt eine Abbildung auch Funktion.

Grundlegende Begriffe

[Bearbeiten]
  • Das Bild einer Abbildung ist die Menge aller Elemente aus N, die den Elementen aus M zugeordnet wurden. Formal: . Beachte, dass im Allgemeinen die Bildmenge von M nicht ganz N ist, sondern eine Teilmenge von N.
  • Dementsprechend definiert man die Bildmenge einer Teilmenge A von M:


  • Die Umkehrrelation (Vorsicht: Sie ist in Allgemeinen KEINE Abbildung, weil sie die Rechtseindeutigkeit nicht erfüllt!) .
  • Die Urbildmenge einer Teilmenge B von N ist dementsprechend:

Grundlegende Eigenschaften von Abbildungen

[Bearbeiten]

Einige der grundlegendsten Eigenschaften von Abbildungen, die jeder Mathe-Anfänger verinnerlicht haben sollte, sind wohl die Begriffe injektiv, surjektiv und bijektiv.

Eine Abbildung heißt:

  • injektiv: Für mit folgt immer: . Das heißt, dass jedes Element aus N höchstens ein Urbild hat.
  • surjektiv: Für alle gibt es ein , so daß . Das heißt also, dass jedes Element aus der Menge N mindestens ein Urbild hat.
  • bijektiv: Die Abbildung ist injektiv und surjektiv. Also hat jedes Element aus der Bildmenge N genau ein Urbild (es soll ja gelten "mindestens ein" und "höchstens ein" Urbild, also bleibt "genau eins" übrig.).


Beispiele

[Bearbeiten]

Im Folgenden bezeichnen M und N Mengen.

  • Sei M = N. Die Abbildung , , die jedes Element wieder auf sich selbst abbildet, nennt sich Identität. Sie ist bijektiv.
  • Sei M=R die Menge der reellen Zahlen. :RR, ist die Abbildung, die jeder reellen Zahl ihr Quadrat zuordnet. Sie ist nicht injektiv, denn: Es sei und es sei . Dann gilt offensichtlich . Aber es ist , also . Also kann die Funktion nicht injektiv sein.