有限コーン
定義1
をの単位ベクトル2としよう。ゼロでない各に対して、を二つのベクトル間の角度としよう。それで、与えられた、、に対して、集合を高さが、軸の方向が、開口角がで原点が頂点の有限コーンa finite cone of height , axis direction and aperture angle with vertex at the originと呼ぶ。
はコーンを平行移動したもので、頂点が原点からに変わったものだ。
説明
コーンは幾何学で「円錐」と訳されることもあるが、実際の3D形状は円錐ではない。だから、「コーン」とそのまま読む方が良い。2Dでは、コーンは扇形になる。
簡単に言うと、コーンはある点(下図での)を基準に、そこから伸びる直線を角度とサイズという条件が付いて集めたものだ。直線を集めると考えるのが線分条件、弱いコーン条件などと関連付けて考えると当然だ。与えられたドメインが十分に良くない時に使われる。例えば、ある点を中心とするオープンボールを取れない場合でも、その点を頂点とする有限コーンは存在できる。次元の有限コーンは次元ボールの一部だからだ。
3次元のコーンは上の図のように見える。円錐に似ているが、円錐ではない。具体的には、コーンアイスのように見える。上の図はが視点であり、ベクトルを基準に角度差が以下で、サイズが以下の全てのベクトルを集めたものだ。
2次元の場合は、扇形のようだ。