Funktion: mengentheoretische Auffassung: Unterschied zwischen den Versionen

Funktion: mengentheoretische Auffassung (Quelltext anzeigen)

Version vom 26. August 2013, 15:40 Uhr

153 Bytes hinzugefügt , 26. August 2013

K

keine Bearbeitungszusammenfassung

[gesichtete Version]

Hischer

Bürokraten, Sichter, Prüfer, Administratoren

1.053

Bearbeitungen

@@ Zeile 87: / Zeile 87: @@
 * 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.
 ===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>.
-* Konsequenz: Es gibt in formaler Hinsicht 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“'' auffassen kann. <ref>Vgl. die in der [[Funktion: mengentheoretische Auffassung#Übersicht|Übersicht]] erwähnte [[Funktion: kulturhistorische Aspekte|kulturhistorische Entstehung und Entwicklung des Funktionsbegriffs]].</ref> Auch der von einem [[Funktionenplotter]] erzeugte [[Funktionenplotter#Funktionsplot|Funktionsplot]] kann damit als eine „Funktion“ aufgefasst werden. <ref>Genauer: Sowohl die erwähnte „Parabel“ als auch die Funktionsplots sind eigentlich „Darstellungen“ einer Funktion, was die Frage aufwirft, worin der Unterschied zwischen einer Darstellung und dem dadurch Dargestellten besteht.</ref><br /><br />
+* Konsequenz: Es gibt in formaler Hinsicht 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“'' auffassen kann. <ref>Vgl. die in der [[Funktion: mengentheoretische Auffassung#Übersicht|Übersicht]] erwähnte [[Funktion: kulturhistorische Aspekte|kulturhistorische Entstehung und Entwicklung des Funktionsbegriffs]].</ref> Auch der von einem [[Funktionenplotter]] erzeugte [[Funktionenplotter#Funktionsplot|Funktionsplot]] kann damit als eine „Funktion“ aufgefasst werden. <ref>Genauer: Sowohl die erwähnte „Parabel“ als auch die Funktionsplots sind eigentlich „Darstellungen“ einer Funktion, was die Frage aufwirft, worin der Unterschied zwischen einer Darstellung und dem dadurch Dargestellten besteht.</ref>
+===Fazit===
 Diese Betrachtungen führen zunächst zu einer „Weite“ des mit „Funktion“ bezeichneten Begriffs auf und leiten ueber zu den vielen . <ref>Vgl. [Herget et. al. 2020].</ref> <br />
 '''Aber''': Zugleich ist anzumerken, dass die mengentheoretische Auffassung von ''„Funktion als rechtseindeutiger Relation“'' auf höherem Niveau beweistechnisch sehr gute Möglichkeiten eröffnet und dass auch auf „elementarem“ Niveau (und damit im Mathematikunterricht) in „sauberer“ Sprech- und Schreibweise möglichst unterschieden werden sollte zwischen:
-: ''die Funktion'' <math>f</math>
+* ''die Funktion'' <math>f</math>
-: ''der Funktionswert'' <math>f(x)</math>
+* ''der Funktionswert'' <math>f(x)</math>
-: ''die graphische Darstellung von'' <math>f</math> {{sp}}{{sp}} bzw. {{sp}}{{sp}} ''der Graph von'' <math>f</math>
+* ''die graphische Darstellung von'' <math>f</math> {{sp}}{{sp}} bzw. {{sp}}{{sp}} ''der Graph von'' <math>f</math>
-Dieser hier scheinbar immanent vorliegende Widerspruch gründet sich auf die kontextabhängigen „[[Funktion: viele Gesichter|vielen Gesichter von Funktionen]]“, und er kann und sollte bei strengem Vorgehen durchaus vermieden werden. Bei der jedoch faktisch vorliegenden Vielfalt dessen, was Anwender jeweils unter „Funktion“ verstehen, ist es sinnvoll, flexibel mit diesen „Gesichtern“ umgehen zu können.
+Dieser hier scheinbar immanent vorliegende Widerspruch gründet sich auf die kontextabhängigen „[[Funktion: viele Gesichter|vielen Gesichter von Funktionen]]“, und er kann und sollte bei strengem Vorgehen durchaus vermieden werden. Bei der jedoch faktisch vorliegenden Vielfalt dessen, was Anwender jeweils unter „Funktion“ verstehen, ist es sinnvoll, flexibel mit diesen „Gesichtern“ umgehen zu können. Das betrifft beispielsweise auch die oft so genannten „Funktionen mehrerer Veränderlicher“, die im folgenden Abschnitt „sauber“ definiert werden.
 ==Mehrstellige Funktionen==