Partiële functie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
met jouw formulering er nog bij |
+ inleidend voorbeeld |
||
Regel 2:
[[Bestand:Total function.svg|thumb|Partiële functie <math>X \rightharpoonup Y</math> die wel een totale functie is]]
In de [[wiskunde]] is een '''partiële functie''' een [[Relatie (wiskunde)|relatie]] tussen twee [[Verzameling (wiskunde)|verzamelingen]] <math>X</math> en <math>Y</math> die in ieder geval op een deel van <math>X</math> een [[Functie (wiskunde)|functie]] is, maar niet noodzakelijk voor alle [[Element (wiskunde)|elementen]] gedefinieerd is. Een partiële functie heeft,
== Definitie ==
Regel 19:
De deelverzameling <math>D \subseteq X</math> van elementen die in relatie staan met een element van <math>Y</math>, wordt het [[Domein (wiskunde)|domein]] van <math>f</math> genoemd en de verzameling <math>Y</math> het [[codomein]]. De verzameling <math>X</math> wordt wel aangeduid als bron(verzameling) en <math>Y</math> in dat verband als doel(verzameling). Als het domein <math>D</math> gelijk is aan <math>X</math>, zodat elk element van <math>X</math> geassocieerd is met precies één element uit het codomein, spreekt men eenvoudigweg van een [[Functie (wiskunde)|functie]] of eventueel van een totale functie.
== Voorbeelden ==
* de partiële functie <math>g\colon\Z\rightsquigarrow\Z</math> op de [[Geheel getal|gehele getallen]] gegeven door:
::<math>g(n) = \sqrt{n}</math>
| |||