集合X から 集合Y への「 写像 」があるとき、
-
単射: 集合Xのすべての要素は集合Yの1つの要素と対応しており、かつ、
集合Yの各要素は2つ以上の集合Xの要素と対応していない。
全射: 集合Xのすべての要素は集合Yの1つの要素と対応しており、かつ、
集合Yの各要素は1つ以上の集合Xの要素と対応している。
全単射: 集合Xのすべての要素は集合Yの1つの要素と対応しており、かつ、
集合Yのすべての要素は集合Xの1つの要素と対応しいる。
集合Xから集合Yへの写像が全単射であるとき、次のことが言えます。
「 集合Xの要素 と 集合Yの要素 とは 1対1対応である。」
集合X と 集合Y が同等である必要十分条件は、次のいずれかを満たすことです。
-
集合X から 集合Y への写像が全単射である。
集合Y から 集合X への写像が全単射である。
集合X から 集合Y への写像が単射であり、かつ、集合Y から 集合X への写像が単射である。
( ベルンシュタインの定理 )
論理学 へ戻る