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)

Przypisy

• Kernel of a function (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].