交代関数
📂関数交代関数
定義
集合Xが与えられたとする。以下を満たす関数を交代関数alternating functionと呼ぶ。
ϕ:X×X×⋯×Xn→Rϕ(x1,…,xi,xi+1,…,xn)=−ϕ(x1,…,xi+1,xi,…,xn)
説明
隣り合う二つの変数の位置を変えるときに関数の符号が変わる関数だ。もちろん、定義により隣り合っていない二つの変数に対しても成り立つことを示すことができる。
変数に重複する要素が一つでもあれば、関数の値は0である。
性質
ϕ(x1,…,xi,…,xi+k,…,xn)=−ϕ(x1,…,xi+k,…,xi,…,xn)
ϕが交代関数であるための必要十分条件は以下の通りである。
ϕ(x1,…,xi,xi,…,xn)=0
証明
証明 (1)
==⋮==⋮==ϕ(x1,…,xi,…,xi+k−1,xi+k,…,xn) −ϕ(x1,…,xi,…,xi+k,xi+k−1,…,xn) (−1)2ϕ(x1,…,xi,…,xi+k,xi+k−2,xi+k−1,…,xn) (−1)kϕ(x1,…,xi+k,xi,…,xi+k−2,xi+k−1,…,xn) (−1)k+1ϕ(x1,…,xi+k,xi+1,xi,…,xi+k−2,xi+k−1,…,xn) (−1)k+(k−1)ϕ(x1,…,xi+k,…,xi+k−1,xi,…,xn) −ϕ(x1,…,xi+k,…,xi+k−1,xi,…,xn)
■
証明 (2)
⟺⟺ϕ(x1,…,xi,xi,…,xn)=2ϕ(x1,…,xi,xi,…,xn)=ϕ(x1,…,xi,xi,…,xn)= −ϕ(x1,…,xi,xi,…,xn) 0 0
■
