概念導讀
雙射:以纖維概況判定給定函數,並與「是否存在某個雙射」分開
設 A={1,2,3}、B={4,5,6},函數 f、g:A→B 由表給出:f(1)=5、f(2)=6、f(3)=4;g(1)=4、g(2)=4、g(3)=6。先對一般總函數證明「雙射 ⇔ 每個 b∈B 的纖維恰有一個元素」,再按陪域 4、5、6 的順序列出 f 與 g 的完整纖維概況,判定 f 是雙射、g 既非單射也非滿射。最後回答另一類問題「是否存在某個雙射」:A→B 存在(f 即是)、{1,2,3}→{4,5} 不存在、∅→∅ 恰有一個空雙射。