Baustelle:Funktion

Verfasst von Horst Hischer

Übersicht .

Der mit „Funktion“ bezeichnete Begriff nimmt in der Mathematik die zentrale Stellung eines nicht mehr weg zu denkenden Grundbegriffs ein. Erstaunlicherweise trifft man derzeit auf unterschiedliche und kaum vereinbare Sprech- bzw. Schreibweisen wie z. B.:

„die Funktion $y=f(x)$”, „die Funktion $f(x)$“, „die Funktion $f$“, „die Funktion $y=y(x)$“, „die Funktion $x\mapsto f(x)$“,

weiterhin z. B.: „der Weg ist eine Funktion der Zeit“ – es wird eine Parabel als „quadratische Funktion“ bezeichnet – es wird eine Wertetabelle als „Funktion“ bezeichnet – ...

Strengen formalen Ansprüchen hält nur die Formulierung „die Funktion $f$“ stand, mit Abstrichen auch noch „die Funktion $x\mapsto f(x)$“. Somit scheint es kein einheitliches Begriffsverständnis dessen zu geben, was eine „Funktion“ ist. Dieser Verdacht wird genährt, wenn man berücksichtigt, dass z. B. (auch in der Mathematik) in zunehmendem Maße (wieder!) von „Funktionen mit mehreren Veränderlichen“ gesprochen wird (etwa bei Titeln von Lehrbüchern oder von Vorlesungen) – und dabei hat eine Funktion in strenger Begriffsauffassung (als rechtseindeutige Relation) gar keine Veränderlichen (korrekt wäre hier: „einstellige“ bzw. „mehrstellige“ Funktionen). Diese Sprechweise weist aber darauf hin, dass solche Autoren neuerdings Funktionen wieder als Terme auffassen, also der Sprechweise „die Funktion $f(x)$“ zuneigen – wie es bis etwa zur Mitte des 20. Jahrhunderts üblich war. Spürt man dem in Gesprächen mit Mathematikern nach, so wird diese Vermutung insofern bestätigt, als dass das, was für sie eine Funktion ist, von dem Kontext abhängt, in dem sie forschend tätig sind:
Beispielsweise sind für viele Numeriker (kontextbezogen nachvollziehbar) „Funktion“ und „Tabelle“ Synonyme, oder sie identifizieren (ebenfalls kontextbezogen nachvollziehbar) „Funktion“ mit „Term“. Und man findet (z. B. in der Analysis) die Auffassung, Funktionen seien spezielle Abbildungen, und zwar von ${{\mathbb {R} }^{n}}$ in $\mathbb {R}$. „Abbildung“ ist dann lediglich eine „eindeutige Zuordnung“ im Sinne eines undefinierten und unmittelbar einleuchtenden Grundbegriffs, womit dann „Funktion“ und „Abbildung“ – im Gegensatz zur mengentheoretisch begründeten Auffassung – z. T. nicht identifiziert werden. Für Zahlentheoretiker sind Funktionen oft nur Abbildungen von $\mathbb {Z}$ in $\mathbb {R}$ oder in $\mathbb {C}$, weil sie im Wesentlichen nur solche Funktionen untersuchen. Und die Bezeichnung „Funktionentheorie“ ist mitnichten eine „Theorie der Funktionen“ im Sinne der Auffassung von „Funktion als rechtseindeutiger Relation“. Vielmehr verweist diese Bezeichnung auf ein historisches Verständnis von „Funktion“.
Physiker nennen z. B. die Gleichung $s=s(t)$ eine „Weg-Zeit-Funktion“, obwohl hier die Variable $s$ in zwei formal unterschiedlichen und unvereinbaren Rollen auftritt. Andererseits kommt in dieser Formulierung eine sehr schöne und inhaltlich sehr reichhaltige Auffassung zum Ausdruck, die in einer formal einwandfreien (und dann auch aufgeblähten!) Darstellung verloren gehen würde. Physiker werden es sich auch nicht nehmen lassen, $\Psi (x,t)$ als „Wellenfunktion“ zu bezeichnen, und sie werden beispielsweise die für sie schöne Formulierung $U=U(t)$ verwenden, um damit auszudrücken, dass die „Spannung eine Funktion der Zeit“ sei. Zusammengefasst: Im physikalischen Kontext ist eine solche Sichtweise von „Funktion“ nicht nur nachvollziehbar, sondern gewiss auch sinnvoll und situationsadäquat, im rein mathematischen Kontext ist sie aber kaum tragbar – und beide Standpunkte haben ihre Berechtigung. Ein Paradoxon?
So scheint es in der Mathematik, diesem Prototyp der exakten Wissenschaften, keine einheitliche Auffassung dessen zu geben, was eine Funktion ist. Das lässt sich sowohl durch individuelle Umfragen als auch durch einen Blick in die aktuelle Lehrbuchliteratur belegen. Und dennoch bezeichnet „Funktion“ einen wesentlichen Grundbegriff der Mathematik, der in nahezu allen Teilgebieten und auch in den Anwendungen der Mathematik vorkommt, und zwar gerade wegen dieser Uneinheitlichkeit! Genauer:
Der mit „Funktion“ bezeichnete Begriff weist u. a. wegen der hier skizzierten Vagheit eine große Reichhaltigkeit auf, wie es für fundamentale Ideen der Mathematik typisch ist. Zugleich weisen die oben angedeuteten Formulierungen, die einen unterschiedlichen Gebrauch des Wortes „Funktion“ aufzeigen, auf einen gemeinsamen Kern von Eigenschaften hin, die den mit „Funktion“ bezeichneten mathematischen Begriff ausmachen, was wie folgt beschreibbar ist:

Funktionen haben viele Gesichter, in denen sie uns begegnen.

Zur kulturhistorischen Begriffsgenese

Problematisierung

Wo liegen die kulturhistorischen Wurzeln des mathematischen Funktionsbegriffs, und wie hat dieser sich Laufe der Geschichte der Mathematik entwickelt? Dieser Aspekt ist auch für die ontogenetische Entwicklung eines Begriffs im Individuum bedeutsam. Dabei geht es nicht darum, wann und unter welchen Bedingungen das Wort „Funktion” in der Mathematik auftauchte (was schnell auf Leibniz und Jakob I Bernoulli führen würde, jedoch nicht weiterhilft). Vielmehr geht es um die mit dem Funktionsbegriff intendierten Inhalte, denn es ist zwischen dem Begriffsnamen und dem Begriffsinhalt zu unterscheiden! Solche Inhalte ergeben sich anhand der oben angedeuteten

Erscheinungsformen von Funktionen in Gestalt „vieler Gesichter“:

• eindeutige Zuordnung
• Abhängigkeit einer Größe (als einer „abhängigen Variablen“) von einer anderen (als einer „unabhängigen Variablen“), speziell auch zeitabhängige Größen
• (Werte-)Tabelle, insbesondere auch empirische Wertetabelle
• Kurve, Graph, Datendiagramm, Funktionsplot
• Formel
• ...?

Legt man diese offen gehaltene Liste zugrunde, so begegnet uns der Funktionsbegriff erstmalig in einigen numerischen Tabellen bei den Babyloniern im 19. Jh. v. Chr., und es ergibt sich folgende grobe Zeittafel:

Zeittafel

Stationen der kulturhistorischen Entwicklung des Funktionsbegriffs

19. Jh. v. Chr.	• Babylonier: Tabellierung von Funktionen
ab 5. Jh. v. Chr.	• griechische Antike: kinematisch erzeugte Kurven
ca. 950 v. Chr.	• Klosterschule: erste dokumentierte zeitachsenorientierte Funktion
Anfang des 11. Jhs.	• Guido von Arezzo: Erfindung der Notenschrift – eine weitere zeitachsenorientierte Funktion
14. Jh.	• Mittelalter, insbesondere Nicole d'Oresme: graphische Darstellung zeitabhängiger Größen
17. Jh.	• Isaac Newton: Fluxionen, Fluenten • Gottfried Wilhelm Leibniz, Jakob I Bernoulli: erstmalig das Wort „Funktion“ • Johann I Bernoulli: „Ordinaten“
18. Jh.	• Johann I Bernoulli, Leonhard Euler: Funktion „als analytischer Ausdruck“, d. h.: als „Term“ • Leonhard Euler: Funktion als „freihändig gezeichnete Kurve“ • Johann Heinrich Lambert und andere: graphische Darstellung empirischer Zusammenhänge (als Funktionsgraph) • William Playfaire: „Lineare Arithmetik“ zur Darstellung empirischer Daten durch Balkendiagramme und Kreisdiagramme
19. Jh.	• Joseph Fourier, Peter Gustav Lejeune Dirichlet , Richard Dedekind: Funktion (Abbildung) als eindeutige Zuordnung (nicht mehr notwendig termdefiniert) • Paul Du Bois-Reymond: Funktion als Tabelle • Guiseppe Peano, Charles Sanders Peirce, Ernst Schröder: Relation als Menge geordneter Paare
Anfang des 20. Jhs.	• Felix Hausdorff (1914): Funktion als spezielle Relation
seit Ende des 20. Jhs.	• ... die große Vielfalt ??? • ... viele Gesichter von Funktionen ???

Erörterung

Während im 18. Jh. für Euler Funktionen noch entweder „analytische Ausdrücke“ (also „Terme“ im heutigen Verständnis) oder „freihändig gezeichnete Kurven“ waren, begegnen uns darüber hinaus Funktionen im selben Jahrhundert (aus unserer heutigen Sicht) auch als graphisch oder tabellarisch dargestellte empirische Zusammenhänge, was im 19. Jh. über empirische Untersuchungen von Fourier bei ihm und Dirichlet zu einem „termfreien“ Funktionsbegriff führte, bei dem die Funktionswerte keinem Bildungsgesetz mehr folgen (müssen). Der Grundlagenforscher und Mathematikhistoriker Ulrich Felgner schreibt hierzu:

Funktionen sind [...] bei Fourier und Dirichlet dem Begriffe nach eindeutige Zuordnungen. Im Begriff der Funktion ist die Definierbarkeit durch einen analytischen Ausdruck nicht eingeschlossen. Dieser Funktionsbegriff wird oft nur mit dem Namen Dirichlets in Verbindung gebracht, obwohl doch Fourier der eigentliche Urheber ist.

[...] Funktionen im Sinne von Fourier und Dirichlet müssen weder differenzierbar noch stetig sein.

<div id="nicht termdefinierbar"Es ist zu beachten, dass damit bei Fourier und Dirichlet Funktionen ertsmalig nicht mehr (wie bei Euler) einem „Bildungsgesetz“ gehorchen müssen, weil sie nicht mehr termdefinierbar sein müssen (was für empirische Funktionen der „Normalfall“ ist).

Auch Richard Dedekind fasst Funktionen als eindeutige Zuordnungen auf, verwendet aber die Bezeichnung „Abbildung“, wobei er noch von einem „Gesetz“ spricht.
Paul Du Bois-Reymond erfasst den Aspekt der eindeutigen Zuordnung durch die Auffassung von „Funktion als Tabelle“ (wie bei den Babyloniern), was Felgner wie folgt kommentiert:

Auch diese Beschreibung des Funktionsbegriffes ist recht allgemein. Eine Gesetzmäßigkeit muss einer Tabelle nicht unbedingt zugrunde liegen. In die Spalte der Funktionswerte kann man ja nach Belieben Werte hineinschreiben.

Daran anschließend versuchen Peirce, Schröder und Peano erstmalig, Funktionen als Relationen und Relationen als Mengen geordneter Paare zu beschreiben, wobei sie „geordnetes Paar“ noch undefiniert verwenden.
Felix Hausdorff definiert 1914 erstmalig „geordnetes Paar“ auf mengentheoretischer Grundlage (wenn auch noch nicht so elegant wie 1921 Kazimierz Kuratowski) und darauf aufbauend „Funktion“ als das, was wir heute „binäre, rechtseindeutige Relation“ nennen: Damit wurde erstmalig der moderne Funktionsbegriff formal sauber definiert, basierend auf den Vorarbeiten vor allem der Mathematiker des 19. Jahrhunderts, wobei die vorherige Betrachtung und Einbeziehung empirischer Funktionen die Abkehr von der Forderung nach einem „Bildungsgesetz“ erzwungen hatte.

Mengentheoretische Betrachtungen

Grundlegende Definitionen

Unter Bezug auf den mit „binäre Relation“ bezeichneten Begriff lässt sich „Funktion“ knapp und elegant definieren, wobei hier statt „binäre Relation“ kurz „Relation“ gesagt wird:

Definition	Anmerkungen
„Funktion“ ist eine Kurzbezeichnung für „rechtseindeutige Relation“.	• „Abbildung“ ist meist ein Synonym für „Funktion“. • „Operatoren“ sind ebenfalls Funktionen, wenn auch in speziellen Themenbereichen.

Die Schreib- bzw. Sprechweisen „$f$ ist eine Funktion“ und „$f$ ist eine rechtseindeutige Relation“ sind also gemäß dieser Definition gleichbedeutend. Ihr liegt Folgendes zugrunde:

Fehler beim Erstellen des Vorschaubildes: Datei fehlt

Pfeildiagramme von zwei Relationen:
links: die Relation ist nicht rechtseindeutig;
rechts: die Relation ist rechtseindeutig, sie zeigt eine
„Funktion“ als rechtseindeutige Relation.
Nur die Relation rechts ist auch linkseindeutig.

vorausgehende Definitionen	Erläuterungen
Es sei $R$ eine (binäre) Relation, $R\neq \varnothing$. Dann gilt:	$R$ ist also eine Menge von geordneten Paaren, z. B. $R\subseteq A\times B$ mit der nicht leeren Ausgangsmenge $A$ und der nicht leeren Zielmenge $B$. (Man kann ggf. auch „leere Relationen“ und damit auch „leere Funktionen“ betrachten.)
(1) $R$ ist genau dann rechtseindeutig, wenn für alle $x,{{y}_{1}},{{y}_{2}}$ gilt: aus $xR{{y}_{1}}\wedge xR{{y}_{2}}$ folgt stets ${{y}_{1}}={{y}_{2}}$.	Jedem Element aus der Ausgangsmenge $A$ wird höchstens ein Element aus der Zielmenge $B$ zugeordnet. Oder: Die Zuordnung verläuft von links nach rechts eindeutig.
(2) $R$ ist genau dann linkseindeutig, wenn für alle ${{x}_{1}},{{x}_{2}},y$ gilt: aus ${{x}_{1}}Ry\wedge {{x}_{2}}Ry$ folgt stets ${{x}_{1}}={{x}_{2}}$.	Jedes Element aus der Zielmenge $A$ ist höchstens einem Element aus der Ausgangsmenge $B$ zugeordnet. Oder: Die inverse Zuordnung verläuft von rechts nach links eindeutig.
(3) $R$ ist genau dann injektiv, wenn $R$ sowohl rechtseindeutig als auch linkseindeutig ist.	Die Zuordnung verläuft in beiden Richtungen eindeutig. Gleichbedeutend mit „injektiv“ ist „eineindeutig“.

Weitergehende Bezeichnungen und Definitionen

übliche Bezeichnungen bzw. symbolische Darstellungen	Erläuterungen
$f$ sei eine (nicht leere) Funktion und $f\subseteq A\times B$ mit nicht leeren Mengen $A$ und $B$.	(generelle Voraussetzung für das Folgende)
Es sei $x\in A$ und $y\in B$. Falls von $x$ ein (und damit genau ein) Zuordnungspfeil nach $y$ verläuft, dann wird notiert:: $x\mapsto y$	gelesen: „dem $x$ wird das $y$ zugeordnet“ oder: „das $y$ wird dem $x$ zugeordnet“ oder: „aus $x$ wird $y$“, aber nicht : „$x$ wird zugeordnet $y$“ (weil nicht klar, wer wem zugeordnet wird).
Es sei $x\in A$ und $y\in B$. Falls $x\mapsto y$ bezüglich der Funktion $f$ gilt, dann ist:: $f(x):=y$	$f(x)$ heißt dann Funktionswert von „$x$ bezüglich $f$, gelesen: „f von x“. $f(x)$ muss nicht als Term darstellbar sein.
${{\operatorname {D} }_{f}}:=\{x\in A|$ es gibt ein $y\in B$ mit $y=f(x)\}$	Definitionsmenge von $f$, auch „Definitionsbereich“, es ist ${{\operatorname {D} }_{f}}\subseteq A$.
${{\operatorname {W} }_{f}}:=\{y\in B|$ es gibt ein $x\in A$ mit $y=f(x)\}$	Wertemenge von $f$, auch „Wertebereich“, es ist ${{\operatorname {W} }_{f}}=\{f(x)|x\in A\}\subseteq B$.
Falls ${{\operatorname {D} }_{f}}=A$, dann wird notiert:: $f\,:A\to B$	gelesen: „$f$ ist eine Funktion von $A$ in $B$“. Die Zuordnungspfeile $\mapsto$ und $\to$ sind streng zu unterscheiden, denn z. B. gilt: $\{1\}\to \{2,3\}$ bedeutet: Dem Element $1$ wird das Element $2$ oder $3$ zugeordndet. $\{1\}\mapsto \{2,3\}$ bedeutet: Der Menge $\{1\}$ wird die Menge $\{2,3\}$ zugeordnet.
Falls $f\,:A\to B$ und ${{\operatorname {W} }_{f}}=B$, dann heißt $f$ surjektiv.	Man sagt dann: „$f$ ist eine Funktion von $A$ auf $B$“
Falls $f$ surjektiv und injektiv ist, dann heißt $f$ bijektiv.	$f$ ist dann eine Bijektion.
Eine beliebige Bijektion einer Menge $A$ auf sich selber ist eine Transformation von $A$.	Automorphismen (z. B. in Algebra und Geometrie) sind stets strukturerhaltende Transformattonen.
Eine beliebige Transformation einer endlichen Menge $A$ ist eine Permutation .	Umordnungen der Elemente einer endlichen Menge sind stets Permutationen.
${{\operatorname {G} }_{f}}:=\{(x,f(x))|x\in A\}$	${{\operatorname {G} }_{f}}$ heißt Graph von $f$.

Literatur

• Deiser, Oliver [2010]: Einführung in die Mengenlehre. Berlin / Heidelberg: Springer (3., korrigierte Auflage; 1. Auflage 2000; 2., korrigierte und erheblich erweiterte Auflage 2004).
• Felgner, Ulrich [2002]: Der Begriff der Funktion. In: Felix Hausdorff – Gesammelte Werke Band II, Grundzüge der Mengenlehre. New York / Berlin / Heidelberg: Springer, S. 621–633.
• Herget, Wilfried & Malitte, Eva & Richter, Karin [2000]: Funktionen haben viele Gesichter – auch im Unterricht! In: Flade, Lothar & Herget, Wilfried (Hrsg.): Mathematik lehren und lernen nach TIMSS – Anregungen für die Sekundarschulen. Berlin: Verlag Volk und Wissen, 2000, 115–124.
• Hischer, Horst [2012]: Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung. Struktur – Funktion – Zahl. Wiesbaden: Springer Spektrum.

Anmerkungen

Wenn dieser Artikel aus dem Baustellen-Namensraum in den normalen Namensraum verschoben wird, dann erhält er einen Zitierhinweis ähnlich zu diesem: Madipedia (2013): Baustelle:Funktion. Version vom 16.08.2013. In: dev_madipedia. URL: http://dev.madipedia.de/index.php?title=Baustelle:Funktion&oldid=12117.