[論文レビュー] Conics in normed planes

Ákos G. Horváth, Horst Martini|Institutional Repository University of Extremadura (University of Extremadura)|Feb 15, 2011

Mathematics and Applications参考文献 15被引用数 5

ひとこと要約

本稿は、古典的なユークリッド幾何学の定義（焦点、母円、母線）を一般化し、ノルム（ミンコフスキー）平面における一般化された円錐曲線を検討する。焦点に基づく定義と母円に基づく定義は、ノルム平面において同値な曲線クラスを生じるが、母線に基づく定義は根本的に異なる非対称な円錐曲線を生じ、ユークリッド幾何学とは顕著に異なる点を示し、非ユークリッド設定における古典的円錐曲線定義の非同値性を強調する。

ABSTRACT

We study the generalized analogues of conics for normed planes by using the following natural approach: It is well known that there are different metrical definitions of conics in the Euclidean plane. We investigate how these definitions extend to normed planes, and we show that in this more general framework these different definitions yield, in almost all cases, different classes of curves.

研究の動機と目的

• ユークリッド平面からノルム（ミンコフスキー）平面への円錐曲線（楕円、双曲線、放物線）の古典的距離的定義を拡張すること。
• ノルム幾何学において、円錐曲線の標準的ユークリッド的同値性が保持されるかを調査すること。
• 非ユークリッド的ノルム平面における、焦点、母円、母線に基づく定義による円錐曲線の幾何的および位相的性質を明確にすること。
• 滑らかで強凸なノルム平面において、バーキホフ直交性と自己随伴作用素が円錐曲線の定義に果たす役割を検討すること。
• ノルム空間における自己随伴作用素を用いた射影的円錐曲線と、ノルム平面における距離的円錐曲線との関係を特定すること。

提案手法

• ノルム平面における3つの距離的円錐曲線定義を採用する：(1) 2つの焦点までの距離の和が一定、(2) 1つの焦点と母円に関連する軌跡、(3) 1つの焦点と母線に関連する軌跡。
• 平面の幾何構造をノルムの単位球体 $K$ を用いて定義し、$S = \partial K$ を単位円とみなす。
• バーキホフ直交性と d-線分を用いて、円錐曲線の幾何的性質および接線の性質を分析する。
• ノルム空間における相似変換（ホモセイ）と距離の加法性を用いて、焦点に基づく定義と母円に基づく定義の同値性を証明する。
• 非対称なノルムにおいて、母線に基づく定義が焦点に基づく定義を含まないことを示す反例を構成する。
• 半内積構造と一般化された随伴作用素を用いて、滑らかで強凸なノルム平面における射影的円錐曲線を定義する。

実験結果

リサーチクエスチョン

• RQ1 ノルム平面において、古典的な距離的定義（焦点、母円、母線）による楕円が、ユークリッド幾何学と同様に同値な円錐曲線クラスを生じるか？
• RQ2 ノルム平面において、母線に基づく定義による円錐曲線と、焦点または母円に基づく定義による円錐曲線との間には、どのような幾何的性質の差が生じるか？
• RQ3 バーキホフ直交性と d-線分の概念が、非ユークリッド的ノルム平面における円錐曲線の構造にどのように影響を与えるか？
• RQ4 半内積空間における自己随伴作用素を用いて定義される射影的円錐曲線は、ノルム平面における距離的円錐曲線とどの程度関連づけられるか？
• RQ5 単位球体 $K$ にどのような条件を課すと、ノルム平面における距離的円錐曲線（例：放物線）が凸または強凸となるか？

主な発見

• ホモセイと距離の加法性を用いることで、任意のノルム平面において、焦点に基づく定義と母円に基づく定義による楕円は同値であることが示された。
• 母線に基づく定義による楕円は、一般に中心対称的ではないため、焦点に基づく定義とは同値でない。反例によりこれが裏付けられた。
• 焦点と母線に基づく定義による放物線は、ノルム平面において凸集合であり、その境界は焦点および母線に関する内部領域と外部領域の共通の境界線である。
• 強凸なノルム平面では、母線法による放物線は厳密に凸であるが、非厳密凸な場合（例：$\ell^\infty$）には線分を含むことがある。
• 滑らかで強凸なノルム平面の射影空間において自己随伴作用素を用いて定義される円錐曲線のクラスは、距離的円錐曲線とは明確に異なるため、距離的定義と代数的定義の根本的な違いを示唆する。
• 滑らかで強凸なノルム空間において、一般化された随伴作用素 $A^T$ が存在し、自己随伴性は射影的同値性のもとで保存されるため、ノルムの幾何構造に基づく射影的円錐曲線理論を構築できる。