|
|
|
'''GagntæktGagntæk fallvörpun''' er [[fall (stærðfræði)|fallvörpun]], sem er bæði [[eintækteintæk fallvörpun|eintækteintæk]] og [[átæktátæk fallvörpun|átæktátæk]]. Gagntæk [[fall (stærðfræði)|föll]] eiga sér ávallt vel skilgreinda [[andhverfa|andhverfu]].
Dæmi: efEf fallið ''f'', skilgreint sem <math>f:\ A\to B</math>, þar sem ''A'' er [[formengi]] fallsins og ''B'' [[bakmengi]], er gagntækt þá er til annað fall ''g'', <math>g:\ B\to A</math>, sem hefurmeð þann eiginleika að fyrir sérhvert stak ''x'' í ''A'' þá er <math>g(f(x))=x</math>. og sömuleiðisSömuleiðis gildir um sérhvert stak ''y'' í ''B'' að <math>f(g(y))=y</math>. Gagntæk föll eru [[einhalla fall|sívaxandi eða síminnkandi]].
Gagntæk föll eru [[einhalla fall|sívaxandi eða síminnkandi]].
[[Flokkur:StærðfræðiMengjafræði]][[Flokkur:Fallafræði]]
[[bg:Биекция]]
|
