„Gagntæk vörpun“: Munur á milli breytinga
Efni eytt Efni bætt við
m robot Breyti: sv:Bijektiv funktion |
Eyddi stórkostlega bullinu "Gagntæk föll eru sívaxandi eða síminnkandi." |
||
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ð <math>f:\ A\to B</math>, þar sem ''A'' er [[formengi]] og ''B'' [[bakmengi]], er gagntækt þá er til annað fall <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>.
[[Flokkur:Mengjafræði]]
|