>>526
その前に加法とスカラー倍を定義する必要があるな。
自然に決まるだろうけれど念のため。