Jądro (teoria mnogości)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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ż[edytuj | edytuj kod]