Skoða frumkóða fyrir Átæk vörpun

'''Átæk vörpun''' er [[vörpun]] þar sem varpar að minnsta kosti einu staki úr [[bakmengi]] sínu í hvert stak [[myndmengi]]sins. Myndmengi átækrar vörpunar er í mesta lagi jafnstórt bakmenginu.

Dæmi: [[fall (stærðfræði)|fallið]] ''f''(''x'') =''x''<sup>3</sup>, með [[rauntala|rauntalnaásinn]] sem for- og bakmengi, er átækt, því myndmengið er einnig rauntalnaásinn. Fallið <math>f(x) = 2x, f:\mathbb{Z} \to \mathbb{Z}</math>, með mengi [[heiltala|heiltalna]] sem [[formengi|for-]] og myndmengi, er ekki átækt því myndmengið inniheldur aðeins [[slétt tala|sléttar tölur]]. Vörpun, sem er bæði [[eintæk vörpun|eintæk]] og átæk kallast [[gagntæk vörpun]].

<math> g = 1, g: \mathbb{R} \to \{1\}</math> er einnig átæk vörpun. Eina stakið í myndmenginu á sér óteljandi samsvarandi stök í bakmenginu.

[[Flokkur:Mengjafræði]]
[[Flokkur:Fallafræði]]