%indent
/関数
////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////
* 凌宮表記術： $$ f $$が$$ x $$の関数：$$ f:x $$ [#s24a2e94]
;,一般に、$$ f $$が$$ x $$の関数であることを$$ f(x) $$と表記する。
;,ところが、変数$$ x $$を関数に代入した値を$$ f(x) $$と書くため、
;,関数表記と代入表記が表記だけでは区別できない。
;,これに対し、凌宮数学では$$ f $$が$$ x $$の関数であることを$$ f:x $$と表記する。
;,関数$$ f:x $$に変数$$ x $$を代入した結果である$$ f(x) $$を$$ f:x $ . $ x $$と表示する。
;,一般的に関数表記に使われる変数を従属変数と呼ぶが、凌宮数学では束縛変数と呼ぶ。
;,また、「$$ : $$」を束縛子、「$$ . $$」を代入子と呼ぶ。
;,これらの演算子で関数表記と代入表記を厳密に区別する。
;,束縛子と代入子を使った関数表記体系を束縛表記と言う。
;,以下、具体例により、関数の性質と束縛表記による書き分けを確認する。
////////////////////////////////////////////////////////////////
* 関数の具体的な形 [#v81b8598]
;,具体的な関数に対しても関数記号と同様に束縛子で束縛変数を明記する。
;,固有名のある関数は関数記号に束縛子がそのまま続ける。
;,例えば、正弦関数$$ \sin $ \theta $$は$$ \sin $ : $ \theta $$になる。
;,いわゆる、$$ \sin $ \pi $$は、$$ \sin $ : $ \theta $ . $ \pi $$となる。
;,$$ f(x) $ = $ \sin $ x $$は、$$ f:x $ = $ \sin $ : $ x $$として、
;,関数同士の等価関係になる。
;,固有名の無い関数は、定義式に束縛子を続ける。
;,例えば、$$ f(x) $ = $ 2x $$の束縛表記は$$ f:x $ = $ 2x $ : $ x $$となる。
////////////////////////////////
** 束縛表示の任意性 [#bf8afbf1]
;,一般に、関数は入力と出力の関係であり、束縛変数の表記違いは関数の違いではない。
;,例えば、$$ 2x:x $$と$$ 2y:y $$は同じ数値を代入すると同じ値になるため、同じ関数と見なされる。
;,すなわち、$$ 2x:x $ = $ 2y:y $$。
;,一般に、任意の関数$$ f $$について、束縛変数を任意に文字に差し替えできる。
#ceq(e)
$$ f:x $ = $ f:y $$
#ceq(d)
////////////////////////////////
** 自由変数と変数式 [#q6db3c79]
;,束縛されない変数を自由変数と呼び、束縛変数と区別する。
;,束縛変数を含まないし式を単に変数式と呼び、関数と区別する。
;,例えば、変数式$$ x^2 + x + 1 $$は関数$$ (x^2 + x + 1):x $$とは区別する
#ceq(e)
$$ x^2 + x + 1 $ \neq $ (x^2 + x + 1):x $ = $ (y^2 + y + 1):y $$
#ceq(d)
;,変数式の自由変数は、関数の束縛変数とは異なって差し替えが効かない。
;,変数$$ x $ \neq $ y $$であれば、一般的に$$ x^2 + x + 1 $ \neq $ y^2 + y + 1 $$である。
#ceq(e)
$$ x^2 + x + 1 $ \neq $ y^2 + y + 1 $$
#ceq(d)
;,一般に、多項式は変数式であり、関数ではない。
;,多項式では、不定元の勝手な書き換えは許されない。
////////////////////////////////
** 自由変数の束縛 [#m9c9b544]
;,束縛変数の解放と逆に、自由変数に束縛を付けると、対応する関数が得られる。
////////////////////////////////
** 束縛変数の解放 [#x06fbebb]
;,関数の束縛変数に自由変数を代入すると、束縛変数を自由変数で置換した変数式が得られる。
#ceq(e)
$$ (x^2 + x + 1) $ : $ x $ . $ v $$
#ceq(e)
$$ = $ v^2 + v + 1 $$
#ceq(d)
;,特に同名の自由変数で書き換えた場合、形式的に束縛を解いた変数式が得られる。
#ceq(e)
$$ (x^2 + x + 1) $ : $ x $ . $ x $$
#ceq(e)
$$ = $ x^2 + x + 1 $$
#ceq(d)
;,関数の束縛変数に自由変数を代入する演算を変数に着目して束縛変数の解放と言う。
;,束縛変数の解放により、関数式を変数式に変換できる。
%bodynote
////////////////////////////////////////////////////////////////
* 定数と定数関数 [#s3a8f571]
;,定数関数は代入した値に関係なく、定数を取る関数である。
;,例えば、$$ f(x) $ = $ 1 $$は定数関数であり、代入した値に関係なく関数値が常に$$ 1 $$である。
;,具体的に、$$ f(0) $ = 1 $$、$$ f(1) $ = 1 $$、$$ f(2) $ = 1 $$……
;,束縛表記では、定数$$ 1 $$に対し、定数関数は$$ 1:x $$と表記できるが、
;,この束縛は形式的なもので、実際に束縛される対象となる$$ x $$が式$$ 1 $$に含まれて無い。
;,このため、定数関数に限り、束縛の有無は区別しない。$$ 1 $ = $ 1:x $$。
;,例えば、
#ceq(e)
$$ (x^2 + x + 1):x $$
#ceq(e)
$$ = $ x^2:x + x:x + 1:x $$((束縛子が比の記号と同じに見えるため、また、関数記号が乗算と似てるため、束縛子の優先順位を乗除と同じと定義する。加減算より優先される。))
#ceq(e)
$$ = $ x^2:x + x:x + 1 $$
#ceq(d)
とできる。
////////////////////////////////
** 代入表示 [#m23e1cf1]
;,関数$$ f:x $$に定数$$ a $$を代入した結果である$$ f(a) $$を$$ f:x $ . $ a $$と表記する。
;,例えば、
#ceq(e)
$$ (x^2+x+1) : x $ . $ 3 $$
#ceq(e)
$$ = $ 3^2 + 3 + 1 $$
#ceq(e)
$$ = $ 13 $$
#ceq(d)
////////////////////////////////////////////////////////////////
* 束縛 [#d357ec7a]
%bodynote
////////////////////////////////////////////////////////////////
* 代入 [#re64f32e]
////////////////////////////////////////////////////////////////
** 束縛変数の任意性 [#h889b2b7]
例示2、一般的にf(x)＝2x と書く場合、
f:R:x＝(2x):R:x＝2x:R:x と厳密に表記できる。
f:x＝2x:x と略すが、
f:p＝2p:p と書いても
f:x＝2p:p と書いても同じである。
2x だけなら x を不定元とする多項式に見えるが、
2x:x で x を変数とする関数と書き分けできると理解して良い。
厳密表記では、定数関数と定数を区別する。
例示3
値が2の定数： 2
値が2の定数関数： 2:x＝2:p
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
