有限次元ユークリッド空間Eに全順序>が与えられたとき、
E^(+)={v|v>0}とおけば、EはE^(+)、−E^(+)、および
{0}の直和集合となることがよく分からないのですが、どのように示せば
いいのでしょうか?
∀u∈E に対して、u=u_{1}+u_{2}+u_{3}
(u_{1}∈E^(+),u_{2}∈−E^(+),u_{3}∈{0})と表す方法が
ただ一通りしかないことを示せばいいと思うのですが、よく分かりません。
例えば、v>0であれば、v=2v+(−v)+0=3v+(−2v)+0
=・・・といろいろ表し方があるのではないでしょうか?