線型空間
満たすべき論理式
$ \forall u,v\in V; u+v\in V
$ \forall k\in K\forall u\in V; k\cdot u\in V
$ \forall u,v\in V;u+v=v+u
$ \forall k\in K\forall u,v\in V;k\cdot(u+v)=k\cdot u+k\cdot v
$ \forall k,l\in K\forall u\in V;(k+l)\cdot u=k\cdot u+k\cdot u
$ \forall u,v,w\in V;u+(v+w)=(u+v)+w
$ \forall k,l\in K\forall u\in V;(k\cdot l)\cdot u=k\cdot (l\cdot u)
演算子が交換されていることに注意
$ (k\cdot_K l)\cdot_{K\times V}u=k\cdot_{K\times V}(l\cdot_K u)
$ \exist u\in V\forall v\in V\exist w\in V;u+v=v\land v+w=u
抽象代数学の言葉を使うとすっきりする
$ \cdot_{K\times V}が以下を満たす
$ \forall k\in K\forall u\in V; k\cdot u\in V
$ \forall k\in K\forall u,v\in V;k\cdot(u+v)=k\cdot u+k\cdot v
$ \forall k,l\in K\forall u\in V;(k+l)\cdot u=k\cdot u+k\cdot u
$ \forall k,l\in K\forall u\in V;(k\cdot l)\cdot u=k\cdot (l\cdot u)
厳密に定義するなら、前述した論理式を満たす組$ (V,(K,+_K,\cdot_K),+_V,\cdot_{K\times V})を線型空間とすればいいかな
$ \cdot_{K\times V}は、左にscalarを書けるscalar積のつもりで書いた 右からかけるscalar積も定義した方がいいのか?
あとnablaを線型空間でとらえるには、右scalar積のみを定義しないといけない 函数を左からしか作用させない場合は
明らかにsalarの集合が体をなさない