Partielle Funktion

Partielle Funktion

Eine partielle Funktion von der Menge X in die Menge Y ist eine rechtseindeutige Relation, das heißt eine Relation, in der jedes Element der Menge X höchstens einem Element der Menge Y zugeordnet wird. Der Begriff der partiellen Funktion ist in der Theoretischen Informatik, insbesondere in der Berechenbarkeitstheorie verbreitet.

Der Begriff der partiellen Funktion ist eine Verallgemeinerung des Begriffs der Funktion. Unter einer Funktion von X nach Y versteht man eine linkstotale, rechtseindeutige Relation, also eine Relation, in der jedem Element von X genau ein Element von Y zugeordnet ist. Jede Funktion von X nach Y ist also insbesondere eine partielle Funktion von X nach Y, aber nicht umgekehrt. Insofern ist der Begriff der partiellen Funktion irreführend. Um auszudrücken, dass eine partielle Funktion eine Funktion ist, sagt man gelegentlich, es handle sich um eine totale Funktion. Der Unterschied zwischen partiellen und totalen Funktion besteht darin, dass für f :  X \to Y für partielle Funktionen \mbox{Def}(f) \subseteq X und für totale Funktionen Def(f) = X gilt[1].

Als Definitionsbereich Def(f) der partiellen Funktion f bezeichnet man die Menge aller derjenigen Elemente aus X, denen ein Element aus Y zugeordnet ist. Eine partielle Funktion f ist also genau dann eine Funktion, wenn Def(f) = X gilt.

Eine partielle Funktion f von X in Y lässt sich auf zweierlei Arten als Funktion modellieren:

  1. als Funktion f':\mbox{Def}(f) \to Y; f'(x) := f(x), oder
  2. als Funktion f'': X\to Y \cup \{\bot\} mit
f''(x) = \begin{cases}f(x), & \mbox{falls } x\in \mbox{Def}(f),\\ \bot, & \mbox{sonst.}\end{cases}

Der Wert \bot („bottom“ oder „undefiniert“) darf dazu nicht in Y sein.

Inhaltsverzeichnis

Schreibweisen

Für „f ist eine partielle Funktion von X nach Y“ schreibt man: f: X\rightsquigarrow Y oder f : \subseteq X \to Y oder auch f : X \to_p Y. Nicht empfehlenswert ist die Schreibweise f: X\to Y, denn sie definiert f als Funktion, was im Allgemeinen nicht wohldefiniert ist.

Die Schreibweise „f(x) ist undefiniert“ oder sogar „f(x) = undefiniert“ ist problematisch, denn der Ausdruck f(x) ist ja dann gerade nicht zulässig. Klarer ist es zu sagen „f ist undefiniert an der Stelle x“ oder als Formel „x\notin \mbox{Def}(f)“.

Beispiele

  • Die partielle Funktion f: \mathbb{R} \rightsquigarrow \mathbb{R}; \quad f(x) := \frac{1}{x} ist an der Stelle x = 0 undefiniert, weil die Division durch 0 in den reellen Zahlen unzulässig ist. Man kann bilden f': \mathbb{R}\setminus \{0\} \to \mathbb{R}; \quad f'(x) := \frac{1}{x}
oder f'': \mathbb{R}\to \mathbb{R} \cup \{\bot\} mit
f''(x) = \begin{cases}\frac{1}{x}, & \mbox{falls } x\neq 0,\\ \bot, & \mbox{sonst.}\end{cases}

Anwendungen

Wenn ein Algorithmus Eingaben aus der Menge X annimmt und Ausgaben aus der Menge Y liefert, dann berechnet er eine partielle Funktion von X nach Y. Der Definitionsbereich dieser Funktion ist die Menge aller Elemente aus X, für die der Algorithmus einen Wert liefert. Um einen Wert zu liefern, muss er insbesondere mit seiner Berechnung an ein Ende kommen (terminieren).

Einzelnachweise

  1. Technische Universität Braunschweig Partielle und totale Funktionen

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Partielle Abbildung — Eine partielle Funktion von der Menge X in die Menge Y ist eine rechtseindeutige Relation, das heißt eine Relation, in der jedes Element der Menge X höchstens einem Element der Menge Y zugeordnet wird. Der Begriff der partiellen Funktion ist in… …   Deutsch Wikipedia

  • Funktion (Mathematik) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y… …   Deutsch Wikipedia

  • Partielle Autokorrelationsfunktion — Partielle Autokorrelation der Zeitreihe der Tiefen des Huronsee Die partielle Autokorrelationsfunktion (PAKF, engl. PACF) ist wie die Autokovarianzfunktion und die Autokorrelationsfunktion ein Instrument, um Abhängigkeiten zwischen den Werten… …   Deutsch Wikipedia

  • Partielle Ableitung — In der Differentialrechnung ist eine partielle Ableitung die Ableitung einer Funktion mit mehreren Argumenten nach einem dieser Argumente. Inhaltsverzeichnis 1 Definition 2 Zusammenhang Ableitung, partielle Ableitung, Stetigkeit 3 …   Deutsch Wikipedia

  • Partielle Differentialgleichung — Eine partielle Differentialgleichung (Abkürzung PDG oder PDGL, beziehungsweise PDE für engl. partial differential equation) ist eine Differentialgleichung, die partielle Ableitungen enthält. Solche Gleichungen dienen der mathematischen… …   Deutsch Wikipedia

  • Partielle Differentiation — In der Differentialrechnung ist eine partielle Ableitung die Ableitung einer Funktion mit mehreren Argumenten nach einem dieser Argumente. Inhaltsverzeichnis 1 Definition 2 Zusammenhang Ableitung, partielle Ableitung, Stetigkeit 3 Verwendung …   Deutsch Wikipedia

  • Partielle Differenzialgleichung — Eine Partielle Differentialgleichung (Abkürzung PDG oder PDGL, beziehungsweise PDE für engl. partial differential equation) ist eine Differentialgleichung, die partielle Ableitungen enthält. Sie dienen der mathematischen Modellierung vieler… …   Deutsch Wikipedia

  • Partielle Differenzierbarkeit — In der Differentialrechnung ist eine partielle Ableitung die Ableitung einer Funktion mit mehreren Argumenten nach einem dieser Argumente. Inhaltsverzeichnis 1 Definition 2 Zusammenhang Ableitung, partielle Ableitung, Stetigkeit 3 Verwendung …   Deutsch Wikipedia

  • Partielle Integration — Die partielle Integration, auch Produktintegration genannt, ist in der Integralrechnung eine Möglichkeit zur Bestimmung von Stammfunktionen. Sie kann als die Umkehrung der Produktregel der Differentialrechnung aufgefasst werden. Für die partielle …   Deutsch Wikipedia

  • Partielle charakteristische Funktion — Die halbe charakteristische Funktion oder partielle charakteristische Funktion ist eine Funktion der Mathematik, die eine Menge identifiziert. Sie ist folgendermaßen definiert: χ A : A → {1}, a → 1. Wie man sehen kann, steckt die ganze „Magie“… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”