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