MathLabs

第3問

とする。S S be set のnon-negative 整数s. すべて求めよ 関数s f:S→S f:S\to S を満たす f(m+f(n))=f(f(m))+f(n) f(m+f(n))=f(f(m))+f(n) すべての m,n∈S m,n\in S .
ステップ 2/4: Choose least nonzero fixed 点
ざっくり言うと

Choose least nonzero fixed 点

f(qk)=qkf(qk)=qk
詳しい解説

もし no positive fixed 点 exists, then すべてのvalue f(n) f(n) はa fixed 点 およびtherefore f f はidentically zero. それ以外では let k k be least positive fixed 点. Inducti上のを用いてsimplified equati上のgives f(qk)=qk f(qk)=qk 任意の q≥0 q\ge0.