関数 のバックアップの現在との差分(No.1) |
凌宮表記術: はの関数:凌宮表記術: がの関数:一般に、がの関数であることをと表記する。 ところが、変数を関数に代入した値もと書くため、 関数表記と代入表記が表記だけでは区別できない。 これに対し、凌宮数学ではがの関数であることをと表記する。 関数に変数を代入した結果であるをと表示する。 一般的に関数表記に使われる変数を従属変数と呼ぶが、凌宮数学では束縛変数と呼ぶ。 また、「」を束縛子、「」を代入子と呼ぶ。 これらの演算子で関数表記と代入表記を厳密に区別する。 束縛子と代入子を使った関数表記体系を束縛表記と言う。 以下、具体例により、関数の性質と束縛表記による書き分けを確認する。 問題を簡単にするため、関数を1変数関数に限定する。 関数の具体的な形具体的な関数に対しても関数記号と同様に束縛子で束縛変数を明記する。 固有名のある関数は関数記号に束縛子がそのまま続ける。 例えば、正弦関数はになる。 いわゆる、は、となる。 は、として、関数同士の等価関係になる。 固有名の無い関数は、定義式に束縛子を続ける。 例えば、の束縛表記はとなる。 束縛表記の任意性一般に、関数は入力と出力の関係であり、束縛変数の表記違いは関数の違いではない。 例えば、とは同じ数値を代入すると同じ値になるため、同じ関数と見なされる。 すなわち、。 一般に、任意の関数について、束縛変数を任意に文字に差し替えできる。 自由変数と変数式束縛されない変数を自由変数と呼び、束縛変数と区別する。 束縛変数を含まないし式を単に変数式と呼び、関数と区別する。 例えば、変数式は関数とは区別する 変数式の自由変数は、関数の束縛変数とは異なって差し替えが効かない。 変数であれば、一般的にとは異なる。 一般に、多項式は変数式であり、関数ではない。 多項式では、不定元の勝手な書き換えは許されない。 束縛変数の解放関数の束縛変数に自由変数を代入すると、形式的に束縛変数を自由変数で置換した変数式が得られる。 特に同名の自由変数を代入した場合、形式的に束縛を解いた変数式が得られる。 ところが、同名と言っても、束縛表記の任意性のために実際は別名にも化けられる。 しかし、束縛変数を何に差し替えても、結果は解放で指定する自由変数によって唯一に決まる。 関数の束縛変数に自由変数を代入して関数から変数式を作る操作を解放と言う。 自由変数の束縛束縛変数の解放とは逆に、自由変数を束縛して変数式から関数を作る操作を束縛と言う。 変数式と関数の違いは、形式的に束縛の有無と見なせる。 束縛表記はその特性を生かした表記である。 一般に、と書いた場合、 を関数の独立変数、を関数の従属変数と呼ぶが、 定義式であるは従属変数に相当する変数である。 束縛表記におけるは、 従属変数を独立変数で束縛した式とも解釈できる。 また、従属変数と独立変数を使って、と表しても良いとする。 すなわち、 束縛表記では変数式と関数を厳密に区別するが、 束縛と解放により相互変換が可能になっている。 定数と定数関数定数関数は代入した値に関係なく、定数を取る関数である。 例えば、は定数関数であり、関数値が代入した値に関係なく常にである。 具体には、、、……。 束縛表記では、定数に対し、定数関数はと表記する*1。 ただし、この束縛は形式的なもので、実際に束縛される対象となるが変数式に含まれ無い。 このため、定数関数に限り、束縛の有無は区別しない。 代入定数の代入関数に定数を代入すると、束縛変数の無い定数になる。 例えば、 これらは全て定数である。 |