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

 

Gagntæk föll eiga sér ávallt vel skilgreinda [[andhverfa falls|andhverfu]].

Þannig að ef fallið <math>f:\ A\to B</math> er gagntækt þá er til annað fall fall <math>g:\ B\to A</math> sem

hefur þann eiginleika að um fyrir sérhvert stak ''x'' í ''A'' er <math>g(f(x))=x</math> og sömuleikið gildir um ''y'' í ''B'' að <math>f(g(y))=y</math>.

 

{{stubbur}}