„Gagntæk vörpun“: Munur á milli breytinga

Efni eytt Efni bætt við
Thvj (spjall | framlög)
m Gagntækt fall færð á Gagntæk vörpun: almennara
Thvj (spjall | framlög)
mEkkert breytingarágrip
Lína 1:
'''Gagntæk vörpun''' er [[ vörpun]], sem er bæði [[eintæk vörpun|eintæk]] og [[átæk vörpun|átæk]]. Gagntæk [[fall (stærðfræði)|föll]] eiga sér ávallt vel skilgreinda [[andhverfa|andhverfu]].
Dæmi: Ef fallið ''f'', skilgreint sem <math>f:\ A\to B</math>, þar sem ''A'' er [[formengi]] og ''B'' [[bakmengi]], er gagntækt þá er til annað fall ''g'', <math>g:\ B\to A</math>, með þann eiginleika að fyrir sérhvert stak ''x'' í ''A'' þá er <math>g(f(x))=x</math>. Sö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]].