Injectie (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: hi:एकैकी फलन |
Geen bewerkingssamenvatting |
||
Regel 17:
*Uit de injectiviteit van <math>g \circ f</math> volgt dat <math>f</math> injectief is.
*Een functie <math>f : A \to B</math> is injectief dan en slechts dan als voor iedere verzameling <math>C</math> en ieder tweetal functies <math>h_1,h_2 : C \to A</math> de implicatie <math>f \circ h_1=f \circ h_2\Rightarrow h_1=h_2</math> geldt.
Dit betekent dat, in de categorie van verzamelingen en functies, de [[monomorfisme|monomorfismen]] precies de injectieve functies zijn.
*Een functie <math>f : A \to B</math> is injectief dan en slechts dan als zij een ''linksinverse'' heeft, d.w.z. een functie <math>g : B \to A</math> met de eigenschap dat <math>g \circ f=id_A</math> (hier wordt met <math>id_A</math> de identiteitsfunctie bedoeld).
==Zie ook==
| |||