32 ビット Linux 上の Mathematica 8.0.1.0 では、式
InverseFunction[0 &]@0
戻ります33/10
。(他の整数値と有理数についても同じことが起こります。0
例として使用しています。)
のドキュメントによるとInverseFunction
:
一意の値を持たない関数で説明したように、多くの数学関数には一意の逆数がありません。そのような場合、InverseFunction[f] は f の可能な逆数の 1 つだけを表すことができます。
定数関数0&
は入力に関係なく戻る0
ため、無限に多くの逆関数があります (それぞれが 0 でのみ定義されます)。したがって、定義されているように、この答えは仕様の範囲内です。
謎は、なぜそれが33/10
他の値ではなく与えるのかということです。