射的分解の定義、存在,および構成