若A和B都是有限的，证明所有函数f:A-＞B的集合是一个有限集.

题：若$A$和$B$都是有限的，证明所有函数$f:A\to B$的集合是一个有限集.
(摘自《拓扑学第二版》6.7)

证：

设 S = { f ∣ f : A → B } S = \{ f \mid f:A \to B \} S={f∣f:A→B}

$\because A=\varnothing \vee B=\varnothing \Rightarrow S=\varnothing$

$\therefore A=\varnothing \vee B=\varnothing$时成立

以下证明 $A\ne \varnothing \wedge B\ne \varnothing$情形

$\because$$A$和$B$都是有限

∴ ∃ g : A → { 1 , 2 , ⋯   , m } , ∃ h : B → { 1 , 2 , ⋯   , n } \therefore \exists g: A \to \{1, 2, \cdots, m \}, \exists h: B \to \{1, 2, \cdots, n \} ∴∃g:A→{1,2,⋯,m},∃h:B→{1,2,⋯,n}，其中$m,n\in Z_{+}$

易知$S$的基数是$n^m$，那么必然 ∃ i : S → { 1 , 2 , ⋯   , n m } \exists i: S \to \{ 1, 2, \cdots, n^m \} ∃i:S→{1,2,⋯,nm} 一一对应函数

直接给出函数:

$i(f)=1+{\sum }_{j=1}^m[f(g^{-1}(j))-1]\ast n^{j-1}$

可知 $\inf S=1,\sup S=1+(n-1)(1+n^1+\cdots +n^{m-1})=n^m$

易得其一一对应性，一如十进制数的表示