濃度の計算について

α・α = α^2 を証明せよ

上の問で困っています。

α= |A| となる集合Aをとるとき

α・α = |A×A|

α^2 = |A^{a, b} |　　({a, b} から Aへの写像全部の集合の濃度)

なので、A×A → A^{a, b} の全単射の存在を示せばいいと思うのですが

どうつくればいいのか教えてください。

よろしくお願いします。

No.1 ベストアンサー 回答者： Ginzang 回答日時： 2010/02/25 22:57

A×A の元 (x, y) に対し、A^{a, b} の元 f: f(a)=x, f(b)=y を対応させるような写像が、求める全単射になっている。

証明くらいは、自分でやってみて欲しい。

この回答へのお礼

回答ありがとうございます。
どうして全単射になるのかパッとしませんが、証明がんばります。

お礼日時：2010/02/26 20:28