surjective

surjectiveは数学、特に集合論や関数論において、ある写像が終域のすべての要素をカバーしていることを示す専門用語です。日本語では一般的に全射と訳されます。この概念は、出力側の集合に余りがない状態を指し、定義域から終域への写像において、終域のどの要素を選んでも、それに対応する定義域の要素が少なくとも一つ存在することを意味します。

injectiveおよびbijectiveとの違い

数学的な写像の性質を理解する際、injective（単射）やbijective（全単射）との対比が重要になります。

injectiveは、異なる入力が異なる出力に結びつくことを保証しますが、終域に未使用の要素が残っていても構いません。
surjectiveは、終域のすべての要素が使用されていることを保証しますが、一つの出力に複数の入力が対応していても構いません。
bijectiveは、これら両方の性質を兼ね備えた状態で、入力と出力が完全に一対一で対応している状態を指します。

実用的な文脈での利用

この用語は主に純粋数学や計算機科学の理論的な文脈で使用されます。例えば、この関数はsurjectiveであると言うとき、それはその関数によって到達不可能な値が終域の中に存在しないことを数学的に証明していることになります。日常会話で使われることはまずありませんが、アルゴリズムの正当性証明やデータ構造の解析など、厳密な定義が必要な場面で不可欠な概念です。