Achtung: Dies ist eine historische Web-Site. Aktuell ist https://rainer.gerhards.net/ (engl) bzw https://www.rainer-gerhards.de/ (deutsch). Alle dynamischen Funktionen, Formulare etc auf dieser Seite sind abgeschaltet.
Datenschutzerklärung Impressum

 
01.08.2017, 22:53 Uhr
Hauptmenü
|--> Infos
|--> Forum
|--> Fotos


Sprachwahl
Sprache auswählen:




Online
Aktuell 1 Gast und 0 registrierte Benutzer online.

Anmeldung

Anmeldung




 





Neues Thema eröffnen   Neue Antwort erstellen
Vorheriges Thema anzeigen Druckerfreundliche Version Einloggen, um private Nachrichten zu lesen Nächstes Thema anzeigen
Autor Nachricht
rgerhards
Titel: An einer Komposition beteiligte Mengen  BeitragVerfasst am: 15.10.2008, 13:30 Uhr



Anmeldung: 25. Sep 2006
Beiträge: 688

Eine Komposition ist nichts anderes als eine eigene Abbildung, deren Rechenvorschrift nun "zufälligerweise" die Komposition von zwei anderen Abbildungen ist. Also so etwas:

k: A \rightarrow C : x \mapsto g(f(x)

Das ist übrigens überhaupt nichts besonders. Ein Beispiel:

h = \mathbb{N}  \rightarrow \mathbb{N} : x \mapsto 2x + 1

ist ja nichts anderes als

g: \mathbb{N}  \rightarrow \mathbb{N} : x \mapsto 2x
f: \mathbb{N}  \rightarrow \mathbb{N}  : x \mapsto x + 1
= h' = \mathbb{N}  \rightarrow \mathbb{N} : x \mapsto  f(g(x))
\Rightarrow h' \Leftrightarrow h

Die Komposition von Abbildungen ist also der absolute Normalfall, nur sehen wir das meist nicht bewusst.

Nun zur Betrachtung der beteiligten Mengen. Es sei:

f: A \rightarrow B  : x \mapsto x + 1
g: B \rightarrow C : x \mapsto 2x
h: A  \rightarrow C : x \mapsto  f(g(x))

A und B sind die Definitions- und Zielmenge der Funktion. Betrachten wir nun die Menge B, quasi die "Zwischenmenge". Die kann unter Umständen sehr "unhandlich" zu notieren sein, so dass man sie nicht mehr einfach benennen kann. Das ist übrigens analog dazu zu sehen, dass ja auch die Bildmenge "sehr unhandlich" zu notieren ist. Bei der Bildmenge hat man daher die Zielmenge als Generalisierung eingeführt, nämlich die Menge, die eine einfach zu notierenden Obermenge der Bildmenge ist.

So etwas gibt es bei der Definitionsmenge nicht - oder etwa doch? Ich habe in einigen Quellen (darunter auch Wikipedia[1]) den Begriff der Quellmenge gefunden. Auch diese ist eine Obermenge der Urbildmenge, analog zu Bild-/Definitionsmenge zu verstehen. Mit Hilfe der Quellmenge kann ich nun wieder kompakt notieren, welche Werte ein Abbildung potentiell abbilden kann. Dies ist zu unterscheiden von den Werten, die sie aktuell, im konkreten Fall, auch tatsächlich abbildet.

Die "Zwischenmenge B" der Komposition ist nun eine Obermenge sowohl der Zielmenge von g als auch der Quellmenge von f. Dies ist notwendig, damit g nur Bilder erzeugt, die f auch potentiell abbilden kann. Aus Gründen der Übersichtlichkeit und leichten Handhabbarkeit wird die Menge der aktuell abgebildeten Elemente demgegenüber nicht spezifiziert.

Und jetzt kommt die ganz dicke Warnung: das ist mein Verständnis der Sachlage. Ich bin mir zwar mittlerweile ziemlich sicher, dass es so ist. Da es sich dann aber nur um Notationskonventionen handelt, kann ich es nicht wirklich beweisen. Eine sonstige starke Bestätigung dieser Sichtweise steht noch aus. Was ich sage kann also auch gänzlich falsch sein! (Darum würde ich mich auch über Feedback sehr freuen).


[1] http://de.wikipedia.org/wiki/Funktion_(Mathematik)
 
 Benutzer-Profile anzeigen Private Nachricht senden  
Antworten mit Zitat Nach oben
Beiträge vom vorherigen Thema anzeigen:     
Gehe zu:  
Alle Zeiten sind GMT + 1 Stunde
Neues Thema eröffnen   Neue Antwort erstellen
Vorheriges Thema anzeigen Druckerfreundliche Version Einloggen, um private Nachrichten zu lesen Nächstes Thema anzeigen
PNphpBB2 © 2003-2007 
:: RSS Feed: ::
Page created in 0.134525060654 seconds.

Ferientips - das Urlaubsweb - Jan Gerhards - Ulrike Gerhards - Ulrike Gerhards Foto Site