Värdemängd

Från Wikipedia

Hoppa till: navigering, sök
Illustration av en funktion f med definitionsmängd (grön), värdemängd (gul) och målmängd (blå).

En värdemängd eller bildmängd kallas inom matematiken mängden av alla värden en funktion (avbildning) kan anta. Det vill säga, givet en funktion f från mängden A till mängden B så är f(A) ≡ { f(a) | aA } värdemängden till f. Observera att värdemängden till f inte säkert är samma sak som mängden B, utan begränsas till de värden som f verkligen antar; värdemängden är alltså en delmängd av B.

För en funktion f: X \to Y definieras urbilden av en delmängd till B till Y, eller för ett element b i Y, som mängderna:

f^{-1}(B) = \{x \in X: f(x) \in B\}
f^{-1}(b) = \{x \in X: f(x) = b\}.

f − 1 ska här alltså inte tolkas som funktionsinversen av f.

[redigera] Exempel

Låt f vara en funktion över de reella talen med definitionen f(x) = x2. Då f inte kan anta ett negativt värde är värdemängden till f mängden av alla reella tal som är större än eller lika med 0, det vill säga f(x) ≥ 0 för alla reella tal x.

Som kontrast kan man betrakta funktionen g(x) = x3, också definierad över de reella talen. I detta fall kan g anta vilket reellt tal som helst och har därför mängden av alla reella tal som värdemängd.

[redigera] Se även