Väldefinierad

Inom matematiken innebär väldefinierad att definitionen av ett uttryck har en unik tolkning eller ger endast ett värde. En funktion däremot är väldefinierad när den ger samma resultat då ingångsvärdets representativa värde ändras utan att dess kvantitiva värde gör det. Exempelvis om $f$ har reella ingångsvärden och $f(0,5)\ne f(1/2)$ så är $f$ inte väldefinierad och därmed inte en funktion. Termen kan även användas till logiska uttryck som är entydiga och omotsägelsefulla.

Att en funktion inte är väldefinierad är inte detsamma som att funktionen inte är odefinierad. Om exempevis $f(x)=x^{-1}$ så är funktionen odefinierad för $f(0)$, men det betyder inte att den är väldefinierad; 0 är helt enkelt inte en del av domänet $f$.

Exempel

Låt $A_0$ och $A_1$ vara mängder, $A=A_0\cup A_1$och "definiera" $f:A\to \{0,1\}$ som $f(a)=0$ om $a\in A_0$ och $f(a)=1$ om $a\in A_1$. Då är $f$ väldefinierad om $A_0\cap A_1=\mathrm{\varnothing }$. Om exmpelvis $A_0:=\{2,4\}$ och $A_1:=\{3,5\}$ så är $f(a)$ väldefinierad och lika med $\mathrm{mod}(a,2)$. Om emellertid $A_0\cap A_1\ne \mathrm{\varnothing }$ så är $f$ inte väldefinierad eftersom $f(a)$ är "tvetydig" för $a\in A_0\cap A_1$. Om exempelvis $A_0:=\{2\}$ och $A_1:=\{2\}$ så måste $f(2)$ både vara 0 och 1, vilket gör det tvetydigt. Detta gör att den senare $f$ inte är väldefinierad och är då inte en funktion.

Se även

• Definitionism
• Entydighet
• Odefinierad

Referenser

Mall:Auktoritetsdata