1.053
Bearbeitungen
Funktion: mengentheoretische Auffassung: Unterschied zwischen den Versionen
Funktion: mengentheoretische Auffassung (Quelltext anzeigen)
Version vom 26. August 2013, 15:46 Uhr
, 26. August 2013→Funktionsdefinition
| [gesichtete Version] | [gesichtete Version] |
KKeine Bearbeitungszusammenfassung |
|||
| Zeile 84: | Zeile 84: | ||
* 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). | ||
* 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, <math>f\,:A\to B</math> eine „Funktion“ zu nennen, sondern korrekt wäre z. B. entweder „die Funktion <math>f</math> von <math>A</math> in <math>B</math>“ oder „die Funktion <math>f</math> mit der Eigenschaft <math>f\,:A\to B</math>“. | * 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, <math>f\,:A\to B</math> eine „Funktion“ zu nennen, sondern korrekt wäre z. B. entweder „die Funktion <math>f</math> 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 der mit dem Symbol <math>f(x)</math> bezeichnete „Funktions'''wert'''“ (ganz im Sinne der kulturhistorischen Tradition) nicht notwendig ein [[Term]] sein muss, so dass man hier besser nicht immer von einem „Funktionsterm“ sprechen sollte. Ganz anders ist die Situation bin [[Funktionenplotter|Funktionenplottern]], die ''nur die Darstellung termdefinierter Funktionen'' ermöglichen können. | * Es ist zu beachten, dass bei Funktionen der mit dem Symbol <math>f(x)</math> bezeichnete „Funktions'''wert'''“ (ganz im Sinne der kulturhistorischen Tradition) '''nicht notwendig ein [[Term]]''' sein muss, so dass man hier besser nicht immer 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 (gedachten!) 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 (gedachten!) unendlichen Tabelle erfassen. | ||
* Nur dann, wenn <math>y=f(x)</math> gilt und <math>f(x)</math> für alle betrachteten <math>x</math> ein [[Term]] ist, kann man also „<math>y=f(x)</math>“ eine '''Funktionsgleichung''' nennen. | * Nur dann, wenn <math>y=f(x)</math> gilt und <math>f(x)</math> für alle betrachteten <math>x</math> ein [[Term]] ist, kann man also „<math>y=f(x)</math>“ eine '''Funktionsgleichung''' nennen. | ||
===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>. | ||