Funktionsdefinitionen mit Abbildungsvorschrift erstellen
Verfasst: Mi 4. Jul 2012, 09:43
Hallo Community,
ich möchte Funktionsdefinitionen mit Funktionsvorschrift erstellen, in etwa
Allerdings sollen die beiden durch das Semikolon getrennte Blöcke direkt untereinander angeordnet werden, wobei das x aus der unteren Zeile genau unter dem V aus der oberen steht.
Ich weiß, dass man so einen Effekt mit einer eqnarray-Umgebung erreichen kann, aber einerseits ist das das typische Schießen mit Kanonen auf Spatzen, andererseits muss man irgendwie am Zeilenabstand schrauben, da er sonst zu groß ist. Außerdem wird es bei verschachtelten Abbildungen (also bei Abbildungen, die ein Element aus dem Definitionsbereich auf eine ganze Funktion abbilden) etwas unübersichtlich.
Gibt es da vielleicht etwas Fertiges? Also in etwa
also würde die obere Funktion so aussehen:
Hab schon das halbe Google durch und bisher nichts Passendes gefunden. 
Danke für alle Tipps,
Photon
edit: Ich hab das jetzt mal selbst versucht zusammenzubasteln:
Sieht an sich auch nicht übel aus:

Hat aber ein Problem: Es lässt sich nicht in einer Mathe-Umgebung verwenden (weil ja align selbst eine generiert). Dadurch funktioniert ein verschachtelter Aufruf nicht, etwa so einer:
Die Ausrichtung ist auch nicht ganz perfekt (der Doppelpunkt sollte näher ans f und weg vom V), das sind aber Kleinigkeiten.
Was kann man da machen?
edit2: Habs nun mit aligned anstatt align versucht:
Bekomme aber den Fehler:
Offenbar wird die Matheumgebung nicht in den Funktionsaufruf weitergereicht. Also hab ich versucht $-Zeichen in die Funktionsdefinition einzufügen, das führt aber zu einem vollkommen unerklärlichen
ich möchte Funktionsdefinitionen mit Funktionsvorschrift erstellen, in etwa
f: V \to W; x \mapsto f(x)
Ich weiß, dass man so einen Effekt mit einer eqnarray-Umgebung erreichen kann, aber einerseits ist das das typische Schießen mit Kanonen auf Spatzen, andererseits muss man irgendwie am Zeilenabstand schrauben, da er sonst zu groß ist. Außerdem wird es bei verschachtelten Abbildungen (also bei Abbildungen, die ein Element aus dem Definitionsbereich auf eine ganze Funktion abbilden) etwas unübersichtlich.
Gibt es da vielleicht etwas Fertiges? Also in etwa
\function{name}{ausgangsraum}{bildraum}[element][abgebildetes element]
\function{f}{V}{W}[x][f(x)]

Danke für alle Tipps,
Photon
edit: Ich hab das jetzt mal selbst versucht zusammenzubasteln:
% Definition: \newcommand {\map}[5]{ \setlength{\jot}{0pt} \begin{align} #1: \to #3\\ & #4 \mapsto #5\notag \end{align} } % Aufruf: \map{f}{V}{W}{x}{f(x)}

Hat aber ein Problem: Es lässt sich nicht in einer Mathe-Umgebung verwenden (weil ja align selbst eine generiert). Dadurch funktioniert ein verschachtelter Aufruf nicht, etwa so einer:
% Verschachtelter Aufruf: \map{f}{V}{W}{x}{\map{f(x)}{X}{Y}{y}{f(x)(y)}}
Was kann man da machen?
edit2: Habs nun mit aligned anstatt align versucht:
% Definition: \newcommand {\map}[5]{ \setlength{\jot}{0pt} \begin{aligned} #1: \to #3\\ & #4 \mapsto #5 \end{aligned} } % Aufruf: \begin{equation} \map{f}{V}{W}{x}{f(x)} \end{equation}
[Zeile des Aufrufs]: Missing $ inserted
[Zeile des Aufrufs]: Missing } inserted