双対数とも言う

a + b\epsilon

実数の集合\mathbb{R}に元\epsilonを追加したもの

\epsilonは\epsilon^2=0を満たす数

関数f(x+\epsilon)を計算すると\epsilonの係数が\frac{d}{dx}f(x)になる

微分環との関連

参考