W matematyce jądro jest odwrotnym obrazem podzbioru obrazu jakiejś mapy, gdyby ten podzbiór był równy elementowi tożsamości w kodomenie. Jestem pewien, że te nazwy wywodzą się z pojęć matematycznych, ponieważ są one znacznie powiązane w różnych dziedzinach matematyki. Biorąc pod uwagę, że Unix powstał w środowisku akademickim, możliwe, że użycie tego jądra i obrazu tego słowa jest takie samo.
Jeśli masz zestaw, który reprezentuje pewien poziom informacji o „kompletnym” systemie operacyjnym, jeśli te informacje również tworzą grupę, możesz zdefiniować homomorfizm grupy na tym zestawie lub w zasadzie odwzorować na inne zestawy o różnych rozmiarach niż oryginalny zestaw, o ile „szanują” strukturę zbioru orginalnego, co czyniło ją grupą. Widać, że korzystne może być odwzorowanie zestawu na mniejszy zbiór lub podzbiór jakiegoś zestawu, w którym ten podzbiór jest mniejszy.
Obraz - Obraz homomorfizmu grupowego oraz w ogólnych funkcjach i mapach jest tylko podzbiorem jakiegoś zestawu, do którego elementów faktycznie mapowane. Funkcja może nie być odwzorowana na każdy pojedynczy element i elementy te nie zostaną uwzględnione w obrazie.
Jądro - Zasadniczo tylko elementy z oryginalnego zestawu, które mapują na obraz, ale tylko mapują na element tożsamości na obrazie. Zasadniczo elementy odwzorowujące na 0 podobne do rzeczy na obrazie.
Jeśli obraz jest mniejszy niż oryginalny zestaw, możemy zobaczyć, że wiele elementów musi być mapowanych na jeden element. Na przykład, może być wiele elementów z jądra, które mapują na obraz i już wiemy, że wszystkie muszą mapować na 0.
Widzimy, że jeśli wybierzemy oryginalny zestaw jako skończone sekwencje binarne lub 1 i 0 oraz kodomainę (zestaw odwzorowany na) również jako sekwencje binarne, wówczas możemy konstruować takie rzeczy wtedy i tylko wtedy, jeśli, odpowiednia struktura grupy można zdefiniować (ten nieco głębszy i niezwiązany z zadawanym pytaniem).
Widzimy więc z całkowitą pewnością, że „jądro” i „obraz” systemu operacyjnego są całkowicie zdefiniowane i mają znaczenie matematyczne. Niezależny od być może innych zastosowań terminów.