MathLabs

第4题

构造函数 f:Q+→Q+f:\mathbb Q^+\to\mathbb Q^+,使任意正有理数 f(xf(y))=f(x)/yf(xf(y))=f(x)/y 都满足 x,yx,y。
第 2/5 步:证明乘法性与满射性
f(xy)=f(x)f(y)f(xy)=f(x)f(y)
详细分析

对任意 y,利用 1=f(1)=f((1/f(y))f(y))=f(1/f(y))/y1=f(1)=f((1/f(y))f(y))=f(1/f(y))/y 得 f(1/f(y))=yf(1/f(y))=y,所以 f 满射。给定 y 取 z=1/f(y),则 f(z)=y;于是 f(xy)=f(xf(z))=f(x)/z=f(x)f(y)f(xy)=f(xf(z))=f(x)/z=f(x)f(y)。