支持直線

1 定義

支持直線は、平面上の図形や曲線に対して、その対象に接し、しかも全体が直線の片側に入るように引ける直線である。接する点を少なくとも一つもち、対象を横切らないことが要点となる。幾何学では「外側から支える直線」として扱われ、凸性や境界の形を調べる基本的な道具となる。

1.1 基本定義

平面内の集合や曲線に対し、ある直線がその図形と共有点をもち、かつ図形の各点が直線の同じ半平面側にあるとき、その直線を支持直線という。曲線の場合には、接線が支持直線として働くことがあるが、すべての接線が支持直線になるとは限らない。図形が凸であれば、支持直線は外形を「下から」または「上から」支える境界線として理解しやすい。

1.2 支持点

支持直線と図形が接する点は支持点と呼ばれる。支持点では、直線が図形を切らずにただ触れる形をとるため、局所的な形状の情報が集まる。凸集合では、支持点の存在は境界の性質と深く結びつき、滑らかな部分では接点が比較的安定して現れる一方、鋭い頂点では複数の支持直線が通ることがある。

1.3 支持半平面との関係

直線によって平面は二つの半平面に分けられる。支持直線が図形の全体を含む側の半平面は支持半平面と呼ばれる。支持直線は支持半平面の境界であり、図形はその内部または境界上に収まる。凸解析では、直線そのものよりも支持半平面の記述が重要になる場合が多い。

2 性質

支持直線の性質は、対象がどの程度滑らかか、また凸であるかどうかによって大きく変わる。一般には、境界が滑らかなほど支持直線のふるまいは単純になり、角やくぼみがあるほど複数の可能性が現れやすい。こうした性質は、図形の形状を分類する手がかりになる。

2.1 存在条件

支持直線は任意の図形に対して必ず存在するとは限らないが、凸集合では境界点に対して支持直線が得られることが多い。特に、閉じた凸集合の境界点では、分離の考え方を通じて支持直線の存在が導かれる。非凸な図形では、凹んだ部分のために全体を片側に押さえる直線が見つからない場合がある。

2.2 一意性

支持直線が一意に定まるかどうかは、図形の局所形状に依存する。境界が滑らかな点では、ただ一つの支持直線が定まることが多い。反対に、角点や辺がある場合には、同じ点を通る複数の支持直線が存在しうる。この違いは、境界が丸いか尖っているかを判別する上で有用である。

2.3 曲線に対する性質

曲線では、支持直線は接線として現れることが多いが、局所的な形が重要になる。曲線がある点の周囲で片側に位置するなら、その点における接線が支持直線になる。逆に、曲線が接線をまたぐように振れる場合、その接線は支持直線ではない。

2.3.1 微分可能性との関係

曲線が微分可能であれば、接線の方向は微分係数によって定まる。さらに、その接線の近傍で曲線が一方側にとどまるとき、接線は支持直線として解釈できる。滑らかな曲線ではこの対応が見やすいが、微分可能であっても曲率の変化によって支持性が失われることがある。

2.3.2 角点でのふるまい

角点では、接する方向が一つに定まらず、左右から異なる直線が支えになる。したがって、角点では支持直線が複数本現れるのが普通である。鋭い頂点では支え方の自由度が大きく、境界の不連続な変化を反映する。これにより、角の存在を幾何学的に検出できる。

3 凸集合との関係

支持直線は、凸集合の研究において中心的な役割を果たす。凸集合では、任意の境界点に対して外側から支える直線や超平面を考えることで、全体の形を局所情報から理解できる。これは分離、近似、最適化の理論にもつながる。

3.1 分離定理との関連

分離定理は、互いに交わらない凸集合を直線や超平面で分けられることを述べる。支持直線は、この分離の特殊な形として現れる。ひとつの凸集合に接しつつ、他の領域と接触しない境界線を与えることで、集合の外側と内側を区別する役割を担う。

3.2 境界点と支持直線

閉じた凸集合の境界点では、その点を通る支持直線が存在することが多い。境界の各点にどのような支持直線があるかを調べると、集合の局所的な丸みや平坦さがわかる。平坦な辺では支持直線がその辺に沿って広がり、丸い部分では接触位置が一つに絞られやすい。

3.3 支持超平面への一般化

平面では支持直線が基本だが、より高次元では支持超平面を用いる。これは、対象を一方側に収めつつ境界で接する平面状の構造である。支持直線は、この一般化の二次元版と見なせる。凸解析では、超平面による支持の概念が線形判定や最適条件の記述に広く用いられる。

4 応用

支持直線は、図形の形を測るだけでなく、解析的な問題設定や最適化の条件整理にも役立つ。直感的には、対象を外からぴったり支える線として働き、計算上は境界条件や接触条件を与える。

4.1 幾何学での利用

幾何学では、支持直線を使って図形の外形、凸包、曲率の変化を調べる。多角形では辺や頂点との関係が明確であり、円や楕円のような滑らかな図形では接線の位置関係を理解する助けとなる。図形の幅や最小外接形の議論にも結びつく。

4.2 解析学での利用

解析学では、関数のグラフに対する接線や近似直線が支持直線として機能することがある。これは、関数がある点で下からまたは上から線形関数により押さえられる状況と対応する。凸関数の理論では、この考え方が不等式や接線近似の基礎になる。

4.3 最適化理論での利用

最適化理論では、支持直線は制約集合の境界を表し、目的関数の最小化条件の理解に役立つ。凸最適化では、支持直線や支持超平面が勾配条件や接平面条件と結びつき、解の特徴づけに用いられる。幾何学的な見方を通じて、最適解が境界上に現れる理由を説明しやすくなる。