定义在数域 K K 上对函数作用的差分算子:
其中 Δx Δ x 为差分步长,例如:整数 Δx=1 Δ x = 1 步长下, Δf(x)=f(x+1)−f(x) Δ f ( x ) = f ( x + 1 ) − f ( x ) 。
Property 1 若 f(x)=c∈K f ( x ) = c ∈ K 是常值函数,则 Δf≡0 Δ f ≡ 0
证明:
Δf(x)=f(x+Δx)−f(x)=c−c=0. Δ f ( x ) = f ( x + Δ x ) − f ( x ) = c − c = 0.
Property 2 f,g∈I(K),a,b∈K,则Δ(af+bg)=aΔf+bΔg. f , g ∈ I ( K ) , a , b ∈ K , 则 Δ ( a f + b g ) = a Δ f + b Δ g .
证明:
Δ(af