コーンと凸コーンの定義
定義 1
コーン
ベクトル空間 $V$ の 部分集合 $C \subset V$ が全ての スカラー $a > 0$ と $x \in C$ に対して次を満たす時、$C$ を コーンconeと言う。 $$ ax \in C $$
平らなコーンと突出したコーン
コーン $V$ があるゼロベクトルではない $\mathbf{v} \in V$ に対して $-\mathbf{v} \in V$ を満たす場合、平らなコーンflat coneと言い、そうでなければ 突出したコーンsalient coneと言う。
凸コーン
コーン $C \subset V$ が全てのスカラー $a, b > 0$ と $x, y \in C$ に対して次を満たす時、$C$ を 凸コーンconvex coneと言う。 $$ ax + by \in C $$
尖ったコーンと鈍いコーン
凸コーンが ゼロベクトル $\mathbf{0}$ を含む場合、尖ったコーンpointed coneと言い、そうでなければ 鈍いコーンblunt coneと言う。
説明
定義によると、コーンの全ての要素はゼロベクトル $\mathbf{0}$ を始点として伸ばしたり縮めたりできる全てのベクトルの集合であり、そのベクトルの有意な種類は有限であろうと無限であろうと抽象的に全く問題ない。例として ユークリッド空間を考えると、任意の半直線は $\mathbb{R}^{1}$ でコーンであり、第一象限は $\mathbb{R}^{2}$ でコーンであり、実際には全て凸コーンでもある。
コーンが平らであるとは、簡単に言えば少なくとも $1$ 以上の次元を持つ 部分ベクトル空間を持つかどうかということと同じである。例えば $\mathbb{R}^{2}$ で $x$ 軸に平行な直線は $x$ 方向と $-x$ 方向の2つのベクトルを両方含むので平らなコーンであり、これは平面内で平らに伸びた直線という点で直感と一致する名前付けであることがわかる。コーンが突出しているとは、我々が一般的に幾何学的に考えるコーンのように突出した形状であることを意味する。
凸コーン $C$ が突出していることは $C \cap C = \left\{ \mathbf{0} \right\}$ と等価である。
定理
凸コーンの部分順序
尖っていて突出した凸コーン $C$ では、次のように 部分順序 $\ge \subset C^{2}$ を定義できる。 $$ x \ge y \iff x - y \in C \qquad \forall x, y \in C $$
証明
関係 $\ge$ が推移的で、反射的で、反対称的であることを示せば良い。
(推移) $$ \begin{align*} & x \ge y \land y \ge z \\ \iff & x - y \in C \land y - z \in C \\ \implies & x - z = (x - y) + (y - z) \in C \\ \iff & x \ge z \end{align*} $$
(反射) $C$ が尖っているとは、ゼロベクトルが $C$ に含まれているということである。 $$ x \ge x \iff x - x = \mathbf{0} \in C $$
(反対称) $C$ が突出しているとは、$C$ があるベクトル $z$ に対してその加算の逆元 $-z$ を含まないということである。 $$ \begin{align*} & x \ge y \land y \ge x \\ \iff & x - y \in C \land y - x \in C \end{align*} $$ ゼロベクトルでない $(x-y)$ に対して、$(y-x)$ がその逆元であってはならないので、$x = y$ でなければならない。
■