このセクションでポイント
最高で定義された関数
F"=[ I∈N トン↦私+1 ]このように
次の2つの式を考えてみましょう:
(6.6)
F"=[ I∈N トン↦私+1 ]
(6.7)
∀ I∈N トン:F「 [I]=私+1
両方の自然数の各々について
私は、持っています
F「 [I]=私+1、彼らは同じではありません。式(6.6)一意的に決定します
F"、それはのドメインで宣言します
N A Tの関数が、式(6.7)は、多くの異なるがあります
F「条件を満たす、例えば次のような機能:
[ I∈R E L↦IF I∈N トン THEN I+1つの ELSE I2 ]実際には、式(6.7)から、私たちもを推論できません
F"機能です。式(6.6)式(6.7)ではなく、その逆を含んでいます。
法令を書くとき、私たちは一般的に、変数に好き
Fラインに一度の単純な割り当て、コレクションのすべての要素ではありません
私は再びODE
F [ I ]の値。したがって、我々は通常、書き込み式(6.6)の代わりに、(6.7)にお勧めします。