Jądro (teoria mnogości)

Jądro (zazwyczaj oznaczane $\mathrm{ker}(f)$) - dla dowolnego przekształcenia $f$ jest to relacja równoważności zadana przez warunek:

$(x, y)\in \mathrm{ker}(f) \iff f(x) = f(y)$

Alternatywna (równoważna) definicja jest następująca:

$\mathrm{ker}(f)=f\circ f^{-1},$

gdzie $\circ$ oznacza złożenie relacji, a $f^{-1}$ jest relacją odwrotną do $f.$

Zobacz też

• jądro (algebra)
• obraz (matematyka)