Baustelle:Funktion: Unterschied zwischen den Versionen

Zeile 148: Zeile 148:
* Wenn die Ausgangsmenge mit dem Definitionsbereich übereinstimmt, also <math>{{\operatorname{D}}_{f}}:=\{x\in A|</math> es gibt ein <math>y\in B</math> mit <math>y=f(x)\}</math>, wird ''jedem Elemente der Ausgangsmenge genau ein Element der Zielmenge'' zugeordnet, so dass also <math>f\,:A\to B</math> gilt. Es bietet sich an, mit dieser engeren Sichtweise zu beginnen (und ggf. dabei zu bleiben).
* Wenn die Ausgangsmenge mit dem Definitionsbereich übereinstimmt, also <math>{{\operatorname{D}}_{f}}:=\{x\in A|</math> es gibt ein <math>y\in B</math> mit <math>y=f(x)\}</math>, wird ''jedem Elemente der Ausgangsmenge genau ein Element der Zielmenge'' zugeordnet, so dass also <math>f\,:A\to B</math> gilt. Es bietet sich an, mit dieser engeren Sichtweise zu beginnen (und ggf. dabei zu bleiben).
* Der Aspekt der eindeutigen Zuordnung liegt in zweispaltigen Tabellen automatisch vor, wenn sich in der „Eingangspalte“ (links) kein Element wiederholt. Damit kann eine „Funktion“ alternativ von Anbeginn an auch mit einer solchen Tabelle identifiziert werden, dieses in Übereinstimmung mit der Auffassung der Numeriker und ganz in der kulturhistorischen Tradition der Mathematik von den Babyloniern bis Du Bois-Reymond (s. o).
* Der Aspekt der eindeutigen Zuordnung liegt in zweispaltigen Tabellen automatisch vor, wenn sich in der „Eingangspalte“ (links) kein Element wiederholt. Damit kann eine „Funktion“ alternativ von Anbeginn an auch mit einer solchen Tabelle identifiziert werden, dieses in Übereinstimmung mit der Auffassung der Numeriker und ganz in der kulturhistorischen Tradition der Mathematik von den Babyloniern bis Du Bois-Reymond (s. o).
* Es ist zu beachten, dass bei Funktionen <math>f(x)</math> (ganz im Sinne der kulturhistorischen Tradition) nicht notwendig ein [[Term]] sein muss, so dann man hier also auch nicht von einem „Funktionsterm“ sprechen sollte. Ganz anders ist die Situation bin [[Funktionenplotter|Funktionenplottern]], die nur die Darstellung termdefinierter Funktionen ermöglichen können.
* Die symbolische Darstellung „<math>f\,:A\to B</math>“ ist eine Aussage (bzw. Eigenschaft) und bedeutet definitionsgemäß und ist so zu lesen: „<math>f</math> ist eine Funktion von <math>A</math> in <math>B</math>“. Damit ist es sprachlich nicht korrekt, „die Funktion <math>f\,:A\to B</math>“ zu schreiben, sondern korrekt wäre z. B. entweder „die Funktion von <math>A</math> in <math>B</math>“ oder „die Funktion <math>f</math> mit der Eigenschaft <math>f\,:A\to B</math>“.
* Es ist zu beachten, dass bei Funktionen das Symbol <math>f(x)</math> (ganz im Sinne der kulturhistorischen Tradition) nicht notwendig ein [[Term]] sein muss, so dann man hier also auch nicht von einem „Funktionsterm“ sprechen sollte. Ganz anders ist die Situation bin [[Funktionenplotter|Funktionenplottern]], die ''nur die Darstellung termdefinierter Funktionen'' ermöglichen können.
* Offensichtlich kann man nicht termdefinierbare Funktionen mit endlichem Definitionsbereich durch eine Tabelle darstellen. Aber das ist auch bei nicht endlichem Definitionsbereich möglich, wie etwa folgendes Beispiel zeigt: Es sei <math>f(n)</math> für alle natürlichen Zahlen <math>n</math> die <math>n</math>-te Dezimalstelle von <math>pi</math>, also <math>f(0)=3</math>, <math>f(1)=1</math>, <math>f(2)=4</math> ..., dann lässt sich dies mit einer unendlichen Tabelle erfassen.  
* Offensichtlich kann man nicht termdefinierbare Funktionen mit endlichem Definitionsbereich durch eine Tabelle darstellen. Aber das ist auch bei nicht endlichem Definitionsbereich möglich, wie etwa folgendes Beispiel zeigt: Es sei <math>f(n)</math> für alle natürlichen Zahlen <math>n</math> die <math>n</math>-te Dezimalstelle von <math>pi</math>, also <math>f(0)=3</math>, <math>f(1)=1</math>, <math>f(2)=4</math> ..., dann lässt sich dies mit einer unendlichen Tabelle erfassen.  
* Wenn nun <math>y=f(x)</math> gilt und <math>f(x)</math> für alle betrachteten <math>x</math> ein [[Term]] ist, so nennt man dies eine '''Funktionsgleichung'''.
* Wenn nun <math>y=f(x)</math> gilt und <math>f(x)</math> für alle betrachteten <math>x</math> ein [[Term]] ist, so nennt man „<math>y=f(x)</math>“ eine '''Funktionsgleichung''' (und also nur dann!).


====Funktionsgraph====
====Funktionsgraph====
* Die übliche o. g. Definition des Funktionsgraphen gemäß <math>{{\operatorname{G}}_{f}}:=\{(x,f(x))|x\in A\}</math> resultiert aus dem Wunsch der Darstellung der Wertepaare <math>(x,f(x))</math> durch Punkte in einem Koordinatensystem, wobei diese Wertepaare <math>(x,f(x))</math> nicht notwendig numerischer Art sein müssen. Wenn nun aber eine Funktion formal streng als spezielle Relation definiert wird und eine Relation ja gerade eine Menge geordneter Paare ist, so erhalten wir: <math>f=\{(x,f(x))|x\in A\}={{\operatorname{G}}_{f}}</math>
* Die übliche o. g. Definition des Funktionsgraphen gemäß <math>{{\operatorname{G}}_{f}}:=\{(x,f(x))|x\in A\}</math> resultiert aus dem Wunsch der Darstellung der Wertepaare <math>(x,f(x))</math> durch Punkte in einem Koordinatensystem, wobei diese Wertepaare <math>(x,f(x))</math> nicht notwendig numerischer Art sein müssen. Wenn nun aber eine Funktion formal streng als spezielle Relation definiert wird und eine Relation ja gerade eine Menge geordneter Paare ist, so erhalten wir: <math>f=\{(x,f(x))|x\in A\}={{\operatorname{G}}_{f}}</math>
* Konsequenz: Es gibt keinen Unterschied zwischen „Funktion“ und „Funktionsgraph“, wenn man diesen so wie oben definiert. Das hat zur weiteren Konsequenz, dass der „Funktionsgraph“ bereits eine Funktion '''ist''' und man in der Tat beispielsweise eine ''„Parabel als quadratische Funktion“'' bezeichnen kann. <ref>Vgl. den ersten Abschnitt.</ref> Auch der von einem [[Funktionenplotter]] erzeugte Funktionsplot ist damit eine Funktion.<br />
* Konsequenz: Es gibt keinen Unterschied zwischen „Funktion“ und „Funktionsgraph“, wenn man beide so wie oben mengentheoretisch definiert. Das hat zur weiteren Konsequenz, dass der „Funktionsgraph“ bereits eine Funktion '''ist''' und man in der Tat beispielsweise eine ''„Parabel als quadratische Funktion“'' bezeichnen kann. <ref>Vgl. den ersten Abschnitt.</ref> Auch der von einem [[Funktionenplotter]] erzeugte Funktionsplot ist damit eine Funktion.<br />
Das leitet ueber zu den vielen Gesichtern von Funktionen:
Das führt zu einer durchaus erfreulichen Weite des mit „Funktion“ bezeichneten Begriffs leitet ueber zu den vielen „Gesichtern von Funktionen“. Zugleich ist anzumerken, dass die mengentheoretische Auffassung von „Funktion als rechtseindeutiger Relation“ beweistechnisch erhebliche Möglichkeiten eröffnet.
 
== Funktionen haben viele Gesichter ==
== Funktionen haben viele Gesichter ==
===Grundsätzliches===
===Grundsätzliches===