imported>Christian1985: HC: Entferne Kategorie:Mathematischer Grundbegriff; Ergänze Kategorie:Berechenbarkeitstheorie

2025-12-27T16:21:29Z

HC: Entferne Kategorie:Mathematischer Grundbegriff; Ergänze Kategorie:Berechenbarkeitstheorie

Neue Seite

Eine '''partielle Funktion''' von der [[Menge (Mathematik)|Menge]] <math>X</math> nach der Menge <math>Y</math> ist eine binäre, [[Relation (Mathematik)|rechtseindeutige Relation]], das heißt eine Relation, in der jedem Element der Menge <math>X</math> ''höchstens'' ein Element der Menge <math>Y</math> zugeordnet wird. Im Unterschied zum üblichen [[Funktion (Mathematik)|Funktion]]sbegriff der Mathematik kann bei einer partiellen Funktion der Definitionsbereich eine echte Teilmenge von <math>X</math> sein – eine partielle Funktion kann demnach auf einen '''undefinierten Ausdruck''' abbilden. Der Begriff der partiellen Funktion ist in der [[Theoretische Informatik|Theoretischen Informatik]], insbesondere in der [[Berechenbarkeitstheorie]] verbreitet.

== Beschreibung ==

Der Begriff der partiellen Funktion ist eine Verallgemeinerung des Begriffs der [[Funktion (Mathematik)|Funktion]]. Unter einer '''Funktion''' von <math>X</math> nach <math>Y</math> versteht man eine [[Relation (Mathematik)|linkstotale]], rechtseindeutige Relation, also eine Relation, in der jedem Element von <math>X</math> ''genau'' ein Element von <math>Y</math> zugeordnet ist. Jede Funktion von <math>X</math> nach <math>Y</math> ist also insbesondere eine partielle Funktion von <math>X</math> nach <math>Y</math>, nämlich eine (links-)totale partielle Funktion, aber nicht umgekehrt. Insofern kann der Begriff der partiellen Funktion irreführend sein. Falls eine partielle Funktion sogar eine Funktion im eigentlichen Sinn ist, sagt man gelegentlich, es handle sich um eine ''totale Funktion''. Der Unterschied zwischen partiellen Funktionen und (totalen) Funktionen ist: Für partielle Funktionen <math>f\colon\; X \rightharpoonup Y</math> gilt {{nowrap|<math>\operatorname{Def}(f) \subseteq X</math>,}} für (totale) Funktionen <math>f\colon\; X \to Y</math> gilt {{nowrap|<math>\operatorname{Def}(f) = X</math>.}}<ref name="Tu-Bs">Technische Universität Braunschweig ''[https://web.ifis.cs.tu-bs.de/struckmann/progfor13/funktional.pdf Partielle und totale Funktionen]'' (PDF; 112 kB).</ref>

Als [[Definitionsmenge|Definitionsbereich]] <math>\operatorname{Def}(f)</math> der partiellen Funktion <math>f</math> bezeichnet man die Menge aller derjenigen Elemente aus <math>X</math>, denen ein Element aus <math>Y</math> zugeordnet ist. Eine partielle Funktion <math>f</math> ist also genau dann eine Funktion, wenn <math>\mbox{Def}(f) = X</math> gilt.

Eine partielle Funktion <math>f</math> von <math>X</math> nach <math>Y</math> lässt sich auf zweierlei Arten als Funktion modellieren:
# als Funktion <math>f|_{\operatorname{Def}(f)}\colon\; \operatorname{Def}(f) \to Y, x \mapsto f(x),\quad</math> oder
# als Funktion <math>\bar f\colon\; X \to Y\cup\{\bot\},\; x \mapsto \begin{cases}f(x), &\text{ falls } x \in \operatorname{Def}(f),\\
\bot, &\text{ sonst.}\end{cases}</math>
:: Der Wert <math>\bot</math> („undefiniert“) darf dazu nicht in <math>Y</math> sein.<ref name="nLab">Thomas Holder: [https://ncatlab.org/nlab/show/partial+map+classifier partial map classifier], auf: nLab, 3. Juli 2015</ref>

== Schreibweisen ==
Für „<math>f</math> ist eine partielle Funktion von <math>X</math> nach <math>Y</math>“ schreibt man:
<math>f\colon\; X \rightharpoonup Y</math><ref name="nLab" /> oder <math>f\colon\; X \rightsquigarrow Y</math>, alternativ auch <math>f\colon\; \subseteq X \to Y</math>, <math>f\colon\; X \to_p Y</math> oder <math>f\colon\; X \mbox{ ⇢ } Y</math>. Nicht empfehlenswert sind u. a. die Schreibweisen <math>f\colon\; X \to Y</math> sowie <math>f\colon\; X \;{\,\,\shortmid\;\!\!\!\!\!\to}\; Y</math>, denn erstere definiert <math>f</math> als (totale) Funktion und zweitere ist leicht mit <math>f\colon\; X \nrightarrow Y</math> zu verwechseln, was jedoch bedeutet, dass <math>f</math> keine (totale) Funktion von <math>X</math> nach <math>Y</math> ist. Dies ist aber wie ersteres im Allgemeinen nicht zutreffend.

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

== Beispiele ==
* Die partielle Funktion <math>f\colon\; \R \rightharpoonup \R, x \mapsto \frac{1}{x},</math> ist an der Stelle <math>x = 0</math> undefiniert, weil die Division durch <math>0</math> in den reellen Zahlen unzulässig ist. Man kann bilden
: <math>f|_{\R\setminus\{0\}}\colon\; \R\setminus\{0\} \to \R, x \mapsto \tfrac{1}{x},</math>
: oder
: <math>\bar f\colon\; \R \to \R\cup\{\bot\},\; x \mapsto \begin{cases}\tfrac{1}{x}, &\text{ falls } x \neq 0,\\
\bot, &\text{ sonst.}\end{cases}</math>

* [[μ-Rekursion|partiell-rekursive Funktion]]en
* ein unbeschränkter [[linearer Operator]]

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

== Einzelnachweise ==
<references />

[[Kategorie:Theoretische Informatik]]
[[Kategorie:Berechenbarkeitstheorie]]

Partielle Funktion - Versionsgeschichte

imported>Christian1985: HC: Entferne Kategorie:Mathematischer Grundbegriff; Ergänze Kategorie:Berechenbarkeitstheorie