leképezés magja

Magyar

(matematika) Legyen $\varphi :A\to B$ adott leképezés, és tekintsük a $\sigma =\{(a_{1},a_{2})\in A^{2}:\varphi (a_{1})=\varphi (a_{2})\}$ relációt. Ellenőrizhető, hogy $\sigma$ ekvivalenciareláció. Ezt a relációt a $\varphi$ leképezés magjának nevezzük és $\ker(\varphi )$ -vel is jelöljük (angol neve: kernel).

Például, ha $\varphi :\mathbb {R} \to \mathbb {R} ,\varphi (x)=x^{2}$ akkor $a_{1}\sigma a_{2}$ akkor és csak akkor, ha $a_{1}=\pm a_{2}$