Теорема:
Если X, Y и Z – произвольные непустые множества и определены отображения: f:X->Y, g:Y->Z, тогда верны следующие утверждения:
1) Если отображения f и g являются инъективными, то композиция fog так же инъективна;
2) Если отображения f и g являются сюръективными, то композиция fog так же сюръективна;
3) Если отображения f и g являются биективными, то композиция fog так же биективна;
|