Urbild (Mathematik)

In der Mathematik ist das Urbild ein Begriff, der im Zusammenhang mit Funktionen verwendet wird. Für eine Funktion ist das Urbild einer Menge jene Teilmenge der Definitionsmenge , deren Elemente auf die vorher festgelegte Untermenge der Zielmenge abgebildet werden. Das Urbild ist also die Antwort auf die Frage: Welche Elemente aus der Definitionsmenge werden auf Elemente der Menge abgebildet?. Man sagt dann auch Urbild von unter

Das Urbild des Elementes oder der einelementigen Teilmenge ist die dreielementige Menge

Das Urbild eines einzelnen Elements der Zielmenge ist die aus allen mit bestehende Teilmenge der Definitionsmenge. Das Urbild der Bildmenge (und natürlich erst recht der ganzen Zielmenge ) ist genau die Definitionsmenge , da Funktionen linkstotal sind, also jedem Element der Definitionsmenge mindestens ein Element der Zielmenge (und genau ein Element der Bildmenge) zuordnen.

Definition

Sei eine Funktion und eine Teilmenge von . Dann bezeichnet man die Menge

als d​as Urbild v​on M u​nter f.

Ein Urbild ist damit ein Wert der sogenannten Urbildfunktion, die jedem Element der Potenzmenge der Zielmenge das Urbild als Element der Potenzmenge der Definitionsmenge zuordnet.

Das Urbild einer einelementigen Menge schreibt man auch als

und n​ennt es d​as Urbild v​on b u​nter f. Diese Menge braucht a​ber nicht einelementig z​u sein (sie k​ann also a​uch leer s​ein oder m​ehr als e​in Element enthalten).

Das Urbild e​ines Elements w​ird zuweilen a​uch Faser d​er Abbildung über diesem Element genannt, insbesondere i​m Zusammenhang m​it Faserbündeln.

Beispiele

Für die Funktion (ganze Zahlen) mit gilt:

Eigenschaften

Injektivität, Surjektivität, Bijektivität

  • Unter einer bijektiven Funktion ist das Urbild jedes Elements (genau) einelementig. Die Abbildung, die jedem Element von das (einzige, also eindeutig bestimmte) Element seines Urbildes zuordnet, heißt Umkehrfunktion von . Man bezeichnet sie (auch – wie die Urbildfunktion) mit . Das kann leicht zu Missverständnissen führen, wenn man nicht ausführlicher für die Umkehrfunktion schreibt (wodurch sie dann deutlich von der Urbildfunktion unterschieden wird).
  • Unter einer injektiven Funktion ist das Urbild jedes Elements höchstens einelementig (also einelementig oder leer).
  • Unter einer surjektiven Funktion ist das Urbild jedes Elements mindestens einelementig (also nichtleer).

Mengenoperationen und -eigenschaften

Es sei eine Funktion, und und seien Teilmengen von . Dann gilt:


  • Insbesondere haben also disjunkte Mengen disjunkte Urbilder.
    Die letzten beiden Aussagen (über Vereinigung und Durchschnitt) lassen sich von zwei Teilmengen auf beliebige Familien von Teilmengen verallgemeinern.

  • Dabei bezeichnet das Komplement von in der jeweiligen Grundmenge .

Bild und Urbild

Es sei eine Funktion, eine Teilmenge von und eine Teilmenge von . Dann gilt:


  • d. h., es liegt eine Galoisverbindung vor.

  • Ist injektiv, dann gilt die Gleichheit.

  • Ist surjektiv, dann gilt die Gleichheit. Hinreichend ist schon , dass also eine Teilmenge des Bildes von ist.

Urbild und Komposition

Für beliebige Mengen und beliebige Funktionen bezeichne die Komposition von mit .

Dann gilt für jede Teilmenge :

Siehe auch

Wiktionary: Urbild – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.