bijection
全単射
名詞
複数形: bijections
bijectionは数学、特に集合論や関数論において非常に厳格な定義を持つ用語です。単に二つの集合を繋ぐだけでなく、injection(単射)とsurjection(全射)の両方の性質を同時に満たしている必要があります。つまり、漏れがなく、かつ重複がない完璧な一対一の対応関係がある状態を指します。
数学的な厳密性と概念の区別
日常会話で一対一の対応と言う場合、単にペアになっていることを指すことが多いですが、数学的な文脈でbijectionを用いる場合は、以下の二つの条件が不可欠です。
異なる要素が同じ要素に写らないこと(単射であること)
相手側の集合に、対応しない要素が一つも残っていないこと(全射であること)
もしどちらか一方が欠けていれば、それはbijectionとは呼べません。例えば、injectionであれば要素が余る可能性があり、surjectionであれば複数の要素が一つの要素に集中する可能性があります。
日本語での表現上の注意点
日本語では全単射という専門用語で定着していますが、文脈によっては一対一対応と訳されることもあります。しかし、学習者が注意すべきは、一般的な一対一という言葉が、数学的な厳密さを持たずに使われるケースがある点です。学術的な議論や証明においては、曖昧さを避けるためにbijectionという概念に基づいた全単射という言葉を正確に使用することが求められます。