a^a(a∈A)是增函数,
a^(a^a)也是增函数,
∴f(a)=a^a+a^(a^a)是增函数,
设g:a→f(a),
若a≠b,a,b∈A,则f(a)≠f(b),∴g是单射;
B中的元素都可以表示成f(a),于是都有a∈A,使得a→f(a),∴g是满射.
∴g是从A到B的双射函数.
a^a(a∈A)是增函数,
a^(a^a)也是增函数,
∴f(a)=a^a+a^(a^a)是增函数,
设g:a→f(a),
若a≠b,a,b∈A,则f(a)≠f(b),∴g是单射;
B中的元素都可以表示成f(a),于是都有a∈A,使得a→f(a),∴g是满射.
∴g是从A到B的双射函数.